The existence of a decoherence-free subspace/subsystem (DFS) requires that the noise possesses a symmetry. In this work we consider noise models in which perturbations break this symmetry, so that the DFS for the unperturbed model experiences noise. We ask whether in this case there exist subspaces/subsystems that have less noise than the original DFS. We develop a numerical method to search for such minimal noise subsystems and apply it to a number of examples. For the examples we examine, we find that if the perturbation is local noise then there is no better subspace/subsystem than the original DFS. We also show that if the noise model remains collective, but is perturbed in a way that breaks the symmetry, then the minimal noise subsystem is distinct from the original DFS, and improves upon it.
We show that every correctable subsystem for an arbitrary noise operation can be recovered by a unitary operation, where the notion of recovery is more relaxed than the notion of correction insofar as it does not protect the subsystem from subsequent iterations of the noise. We also demonstrate that in the case of unital noise operations one can identify a subset of all correctable subsystems -- those that can be corrected by a single unitary operation -- as the noiseless subsystems for the composition of the noise operation with its dual. Using the recently developed structure theory for nois…
We develop a structure theory for decoherence-free subspaces and noiseless subsystems that applies to arbitrary (not necessarily unital) quantum operations. The theory can be alternatively phrased in terms of the superoperator perspective, or the algebraic noise commutant formalism. As an application, we propose a method for finding all such subspaces and subsystems for arbitrary quantum operations. We suggest that this work brings the fundamental passive technique for error correction in quantum computing an important step closer to practical realization.
We present control schemes for open quantum systems that combine decoupling and universal control methods with coding procedures. By exploiting a general algebraic approach, we show how appropriate encodings of quantum states result in obtaining universal control over dynamically-generated noise-protected subsystems with limited control resources. In particular, we provide an efficient scheme for performing universal encoded quantum computation in a wide class of systems subjected to linear non-Markovian quantum noise and supporting Heisenberg-type internal Hamiltonians.
Noiseless subsystems offer a general and efficient method for protecting quantum information in the presence of noise that has symmetry properties. A paradigmatic class of error models displaying non-trivial symmetries emerges under collective noise behavior, which implies a permutationally-invariant interaction between the system and the environment. We describe experiments demonstrating the preservation of a bit of quantum information encoded in a three qubit noiseless subsystem for general collective noise. A complete set of input states is used to determine the super-operator for the imple…
When the environmental disturbace to a quantum system has a wavelength much larger than the system size, all qubits localized within a small area are under action of the same error operators. Noiseless subsystem and decoherence free subspace are known to correct such collective errors. We construct simple quantum circuits, which implement these collective error correction codes, for a small number $n$ of physical qubits. A single logical qubit is encoded with $n=3$ and $n=4$, while two logical qubits are encoded with $n=5$. The recursive relations among the subspaces employed in noiseless subs…
Topological subsystem codes proposed recently by Bombin are quantum error correcting codes defined on a two-dimensional grid of qubits that permit reliable quantum information storage with a constant error threshold. These codes require only the measurement of two-qubit nearest-neighbor operators for error correction. In this paper we demonstrate that topological subsystem codes (TSCs) can be viewed as generalizations of Kitaev's honeycomb model to trivalent hypergraphs. This new connection provides a systematic way of constructing TSCs and analyzing their properties. We also derive a necessar…
We characterize the dynamical behavior of continuous-time, Markovian quantum systems with respect to a subsystem of interest. Markovian dynamics describes a wide class of open quantum systems of relevance to quantum information processing, subsystem encodings offering a general pathway to faithfully represent quantum information. We provide explicit linear-algebraic characterizations of the notion of invariant and noiseless subsystem for Markovian master equations, under different robustness assumptions for model-parameter and initial-state variations. The stronger concept of an attractive qua…
We explore a minimal paradigm for thermalization, consisting of two weakly-coupled, low dimensional, non-integrable subsystems. As demonstrated for Bose-Hubbard trimers, chaotic ergodicity results in a diffusive response of each subsystem, insensitive to the details of the drive exerted on it by the other. This supports the hypothesis that thermalization can be described by a Fokker Plank equation. We also observe, however, that Levy-flight type anomalies may arise in mesoscopic systems, due to the wide range of time scales that characterize `sticky' dynamics.
The effect of noise on a quantum system can be described by a set of operators obtained from the interaction Hamiltonian. Recently it has been shown that generalized quantum error correcting codes can be derived by studying the algebra of this set of operators. This led to the discovery of noiseless subsystems. They are described by a set of operators obtained from the commutant of the noise generators. In this paper we derive a general method to compute the structure of this commutant in the case of unital noise.
Minimal Subsystems for Characterizing Genuine Multipartite Entanglement
Department of Physics, Indian Institute of Technology Bombay（印度理工学院孟买分校物理系）；Networked Quantum Devices Unit, Okinawa Institute of Science and Technology Graduate University（冲绳科学技术大学院大学联网量子设备单元）；Center of Excellence in Quantum Information, Computation, Science and Technology, Indian Institute of Technology Bombay（印度理工学院孟买分校量子信息、计算科学与技术卓越中心）
Quantum non-Markovianity modifies the environmental decoherence of a system. This situation is enriched in complex systems owing to interactions among subsystems. We consider the problem of distinguishing the multiple sources of non-Markovianity using a simple power spectrum technique, applied to a qubit interacting with another qubit via a Jaynes-Cummings type Hamiltonian and simultaneously subjected to some well known noise channels, such as, the random telegraph noise and non-Markovian amplitude damping, which exhibit both Markovian as well as non-Markovian dynamics under different paramete…
We present a model of an N-qubit channel where consecutive qubits experience correlated random rotations. Our model is an extension to the standard decoherence-free subsystems approach (DFS) which assumes that all the qubits experience the same disturbance. The variation of rotations acting on consecutive qubits is modeled as diffusion on the SU(2) group. The model may be applied to spins traveling in a varying magnetic field, or to photons passing through a fiber whose birefringence fluctuates over the time separation between photons. We derive an explicit formula describing the action of the…
Quantum information requires protection from the adverse affects of decoherence and noise. This review provides an introduction to the theory of decoherence-free subspaces, noiseless subsystems, and dynamical decoupling. It addresses quantum information preservation as well protected computation.
Based on Greenberger-Horne-Zeilinger ($GHZ$) and $W$ initial states, the tripartite entanglement of a fermionic system under the amplitude damping channel and in depolarizing noise when two subsystems accelerated is investigated. Unlike the case of two-qubit system in which sudden death occurs easily, we find here that the sudden death never occurs even all subsystems are under the noise environment. We note that both acceleration and environment can destroy the symmetry between the subsystems, but the effect of environment is much stronger than that of acceleration. We also show that an entan…
Decoherence-Free Subsystems (DFS) are a powerful means of protecting quantum information against noise with known symmetry properties. Although Hamiltonians theoretically exist that can implement a universal set of logic gates on DFS encoded qubits without ever leaving the protected subsystem, the natural Hamiltonians that are available in specific implementations do not necessarily have this property. Here we describe some of the principles that can be used in such cases to operate on encoded qubits without losing the protection offered by the DFS. In particular, we show how dynamical decoupl…
Recent work on approximate quantum error correction (QEC) has opened up the possibility of constructing subspace codes that protect information with high fidelity in scenarios where perfect error correction is impossible. Motivated by this, we investigate the problem of approximate subsystem codes. Subsystem codes extend the standard formalism of subspace QEC to codes in which only a subsystem within a subspace of states is used to store information in a noise-resilient fashion. Here, we demonstrate easily checkable sufficient conditions for the existence of approximate subsystem codes. Furthe…
Two-body control of noiseless subsystems with mixed $SU(3)$ representations lifts teleportation above the classical fidelity limit
International Centre for Theory of Quantum Technologies (ICTQT), University of Gdańsk（格但斯克大学量子技术理论国际中心）；Department of Computer Science, University of Oxford（牛津大学计算机科学系）
Leakage is a particularly damaging error that occurs when a qubit state falls out of its two-level computational subspace. Compared to independent depolarizing noise, leaked qubits may produce many more configurations of harmful correlated errors during error-correction. In this work, we investigate different local codes in the low-error regime of a leakage gate error model. When restricting to bare-ancilla extraction, we observe that subsystem codes are good candidates for handling leakage, as their locality can limit damaging correlated errors. As a case study, we compare subspace surface co…
We make an explicit connection between fundamental notions in quantum cryptography and quantum error correction. Error-correcting subsystems (and subspaces) for quantum channels are the key vehicles for contending with noise in physical implementations of quantum information-processing. Private subsystems (and subspaces) for quantum channels play a central role in cryptographic schemes such as quantum secret sharing and private quantum communication. We show that a subsystem is private for a channel precisely when it is correctable for a complementary channel. This result is shown to hold even…
We consider a quantum system consisting of a regular chain of elementary subsystems with nearest neighbor interactions and assume that the total system is in a canonical state with temperature $T$. We analyze under what condition the state factors into a product of canonical density matrices with respect to groups of $n$ subsystems each, and when these groups have the same temperature $T$. While in classical mechanics the validity of this procedure only depends on the size of the groups $n$, in quantum mechanics the minimum group size $n_{\text{min}}$ also depends on the temperature $T $! As e…
The interest in decoherence-free, or noiseless subsystems (DFS/NSs) of quantum systems is both of fundamental and practical interest. Understanding the invariance of a set of states under certain transformations is mutually associated with a better understanding of some fundamental aspects of quantum mechanics as well as the practical utility of invariant subsystems. For example, DFS/NSs are potentially useful for protecting quantum information in quantum cryptography and quantum computing as well as enabling universal computation. Here we discuss transformations which are compatible with a DF…
Projective Quantum Eigensolver via Adiabatically Decoupled Subsystem Evolution: a Resource Efficient Approach to Molecular Energetics in Noisy Quantum Computers
We consider quantum Hamiltonian systems composed of mutually interacting "dynamical subsystem" with one or several degrees of freedom and "thermostat" with arbitrary many degrees of freedom, under assumptions that the interaction ensures irreversible behavior of the dynamical subsystem, that is finite diffusivities of its coordinates in thermodynamically equilibrium state and finite drift velocities and mobilities in non-equilibrium steady state in presence of external driving forces. It is shown that, nevertheless, regardless of characteristics of the interaction, the diffusivity and mobility…
We propose a proof-of-principle experiment to encode one logical qubit in noise protected subspace of three identical spins in a methyl group. The symmetry analysis of the wavefunction shows that this fermionic system exhibits a symmetry correlation between the spatial degree of freedom and the spin degree of freedom. We show that one can use this correlation to populate the noiseless subsystem by relying on the interaction between the electric dipole moment of the methyl group with a circularly polarized microwave field. Logical gates are implemented by controlling both the intensity and phas…
We study a mechanism whereby quantum information present in the initial state of a quantum many-body system can be protected for arbitrary times due to a combination of symmetry and spatial locality. Remarkably, the mechanism is sufficiently generic that the dynamics can be fully ergodic upon resolving the protecting symmetry and fixing the encoded quantum state, resulting in an infinite-temperature quantum memory. After exemplifying the mechanism in a strongly nonintegrable two-dimensional (2D) spin model inspired by the surface code, we find it has a natural interpretation in the language of…
Path-Degenerate Quantum Interferometry for Loss Resilience in Gravitational-Wave Detectors
Universität Hamburg（汉堡大学）；Russian Quantum Center, Skolkovo IC（俄罗斯量子中心，斯科尔科沃创新中心）；Faculty of Physics, M V Lomonosov Moscow State University（莫斯科国立大学物理学院）
Fracton models provide examples of novel gapped quantum phases of matter that host intrinsically immobile excitations and therefore lie beyond the conventional notion of topological order. Here, we calculate optimal error thresholds for quantum error correcting codes based on fracton models. By mapping the error-correction process for bit-flip and phase-flip noises into novel statistical models with Ising variables and random multi-body couplings, we obtain models that exhibit an unconventional subsystem symmetry instead of a more usual global symmetry. We perform large-scale parallel temperin…
