This paper studies the combinatoric structure of the set of all representations, up to equivalence, of a finite-dimensional semisimple Lie algebra. This has intrinsic interest as a previously unsolved problem in representation theory, and also has applications to the understanding of quantum decoherence. We prove that for Hilbert spaces of sufficiently high dimension, decoherence-free subspaces exist for almost all representations of the error algebra. For decoherence-free subsystems, we plot the function $f_d(n)$ which is the fraction of all $d$-dimensional quantum systems which preserve $n$ bits of information through DF subsystems, and note that this function fits an inverse beta distribution. The mathematical tools which arise include techniques from classical number theory.
We examine the use of noiseless subsystems for quantum information processing between two parties who do not share a common reference frame. In particular we focus on Bell inequalities in curved spaces and outline a theoretical procedure to test a Bell inequality, demonstrating the wide applicability of noiseless subsystems.
We establish conditions under which the experimental verification of quantum error-correcting behavior against a linear set of error operators $\ce$ suffices for the verification of noiseless subsystems of an error algebra $\ca$ contained in $\ce$. From a practical standpoint, our results imply that the verification of a noiseless subsystem need not require the explicit verification of noiseless behavior for all possible initial states of the syndrome subsystem.
We derive the general structure of noiseless subsystems for optical radiation contained in a sequence of pulses undergoing collective depolarization in an optical fiber. This result is used to identify optimal ways to implement quantum communication over a collectively depolarizing channel, which in general combine various degrees of freedom, such as polarization and phase, into joint hybrid schemes for protecting quantum coherence.
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.
Encoding and manipulation of quantum information by means of topological degrees of freedom provides a promising way to achieve natural fault-tolerance that is built-in at the physical level. We show that this topological approach to quantum information processing is a particular instance of the notion of computation in a noiseless quantum subsystem. The latter then provide the most general conceptual framework for stabilizing quantum information and for preserving quantum coherence in topological and geometric systems.
We give a full explanation of the noiseless subsystem that protects a single-qubit against collective errors and the corresponding recursive scheme described by C.-K. Li et. al. [Phys. Rev. A 84, 044301 (2011)] from a representation theory point of view. Furthermore, we extend the construction to qudits under the influence of collective SU($d$) errors. We find that under this recursive scheme, the asymptotic encoding rate is $1/d$.
Quantum information processing requires a high degree of isolation from the detrimental effects of the environment as well as an extremely precise level of control on the way quantum dynamics unfolds in the information-processing system. In this paper, we show how these two goals can be ideally achieved by hybridizing the concepts of noiseless subsystems and of holonomic quantum computation. An all-geometric universal computation scheme based on non-adiabatic and non-Abelian quantum holonomies embedded in a four-qubit noiseless subsystem for general collective decoherence is proposed. The impl…
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…
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…
We study noiseless subsystems on collective rotation channels of qudits, i.e., quantum channels with operators in the set ${\mathcal E}(d,n) = \{ U^{\otimes n}: U \in {\mathrm{SU}}(d)\}.$ This is done by analyzing the decomposition of the algebra ${\mathcal A}(d,n)$ generated by ${\mathcal E}(d,n)$. We summarize the results for the channels on qubits ($d=2$), and obtain the maximum dimension of the noiseless subsystem that can be used as the quantum error correction code for the channel. Then we extend our results to general $d$. In particular, it is shown that the code rate, i.e., the number …
We outline a proposal for a method of preparing an encoded two-state system (logical qubit) that is immune to collective noise acting on the Hilbert space of the states supporting it. The logical qubit is comprised of three photonic three-state systems (qutrits) and is generated by the process of spontaneous parametric down conversion. The states are constructed using linear optical elements along with three down-conversion sources, and are deemed successful by the simultaneous detection of six events. We also show how to select a maximally entangled state of two qutrits by similar methods. Fo…
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…
Many theories are formulated as constrained systems. We provide a mechanism that explains the origin of physical states of a constrained system by a process of selection of noiseless subsystems when the system is coupled to an external environment. Effectively, physical states that solve all the constraints are selected by a passive error correction scheme which has been developed in the context of quantum information processing. We apply this mechanism to several constrained theories including the relativistic particle, electromagnetism, and quantum gravity, and discuss some interesting (and …
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…
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.
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.
The use of d-state systems, or qudits, in quantum information processing is discussed. Three-state and higher dimensional quantum systems are known to have very different properties from two-state systems, i.e., qubits. In particular there exist qudit states which are not equivalent under local unitary transformations unless a selection rule is violated. This observation is shown to be an important factor in the theory of decoherence-free, or noiseless, subsystems. Experimentally observable consequences and methods for distinguishing these states are also provided, including the explicit const…
We introduce a general operational characterization of information-preserving structures (IPS) -- encompassing noiseless subsystems, decoherence-free subspaces, pointer bases, and error-correcting codes -- by demonstrating that they are isometric to fixed points of unital quantum processes. Using this, we show that every IPS is a matrix algebra. We further establish a structure theorem for the fixed states and observables of an arbitrary process, which unifies the Schrodinger and Heisenberg pictures, places restrictions on physically allowed kinds of information, and provides an efficient algo…
We propose a theory of adiabaticity in quantum Markovian dynamics based on a decomposition of the Hilbert space induced by the asymptotic behavior of the Lindblad semigroup. A central idea of our approach is that the natural generalization of the concept of eigenspace of the Hamiltonian in the case of Markovian dynamics is a noiseless subsystem with a minimal noisy cofactor. Unlike previous attempts to define adiabaticity for open systems, our approach deals exclusively with physical entities and provides a simple, intuitive picture at the underlying Hilbert-space level, linking the notion of …
Collective rotation channels are a fundamental class of channels in quantum computing and quantum information theory. The commutant of the noise operators for such a channel is a C*-algebra which is equal to the set of fixed points for the channel. Finding the precise spatial structure of the commutant algebra for a set of noise operators associated with a channel is a core problem in quantum error prevention. We draw on methods of operator algebras, quantum mechanics and combinatorics to explicitly determine the structure of the commutant for the class of collective rotation channels.
There are two complementary approaches to realizing quantum information so that it is protected from a given set of error operators. Both involve encoding information by means of subsystems. One is initialization-based error protection, which involves a quantum operation that is applied before error events occur. The other is operator quantum error correction, which uses a recovery operation applied after the errors. Together, the two approaches make it clear how quantum information can be stored at all stages of a process involving alternating error and quantum operations. In particular, ther…
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（牛津大学计算机科学系）
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…
Since there are many examples in which no decoherence-free subsystems exist (among them all cases where the error generators act irreducibly on the system Hilbert space), it is of interest to search for novel mechanisms which suppress decoherence in these more general cases. Drawing on recent work (quant-ph/0502153) we present three results which indicate decoherence suppression without the need for noiseless subsystems. There is a certain trade-off; our results do not necessarily apply to an arbitrary initial density matrix, or for completely generic noise parameters. On the other hand, our c…
The dynamical-algebraic structure underlying all the schemes for quantum information stabilization is argued to be fully contained in the reducibility of the operator algebra describing the interaction with the environment of the coding quantum system. This property amounts to the existence of a non-trivial group of symmetries for the global dynamics. We provide a unified framework which allows us to build systematically new classes of error correcting codes and noiseless subsystems. It is shown how by using symmetrization strategies one can artificially produce noiseless subsystems supporting…
This paper is an expanded and more detailed version of our recent work in which the Operator Quantum Error Correction formalism was introduced. This is a new scheme for the error correction of quantum operations that incorporates the known techniques - i.e. the standard error correction model, the method of decoherence-free subspaces, and the noiseless subsystem method - as special cases, and relies on a generalized mathematical framework for noiseless subsystems that applies to arbitrary quantum operations. We also discuss a number of examples and introduce the notion of ``unitarily noiseless…
Subsystem codes are a generalization of noiseless subsystems, decoherence free subspaces, and quantum error-correcting codes. We prove a Singleton bound for GF(q)-linear subsystem codes. It follows that no subsystem code over a prime field can beat the Singleton bound. On the other hand, we show the remarkable fact that there exist impure subsystem codes beating the Hamming bound. A number of open problems concern the comparison in performance of stabilizer and subsystem codes. One of the open problems suggested by Poulin's work asks whether a subsystem code can use fewer syndrome measurements…
We present a unified approach to quantum error correction, called operator quantum error correction. This scheme relies on a generalized notion of noiseless subsystems that is not restricted to the commutant of the interaction algebra. We arrive at the unified approach, which incorporates the known techniques -- i.e. the standard error correction model, the method of decoherence-free subspaces, and the noiseless subsystem method -- as special cases, by combining active error correction with this generalized noiseless subsystem method. Moreover, we demonstrate that the quantum error correction …
Operator quantum error correction provides a unified framework for the known techniques of quantum error correction such as the standard error correction model, the method of decoherence-free subspaces, and the noiseless subsystem method. We first show an example of a new quantum error correction scheme which can not be described by operation quantum error correction. Then we introduce a different notion of noiseless subsystems according to the example. Base on this notion, we present a more unified approach which incorporates operator quantum error correction as a special case. Moreover, we a…
A critical step in experimental quantum information processing (QIP) is to implement control of quantum systems protected against decoherence via informational encodings, such as quantum error correcting codes, noiseless subsystems and decoherence free subspaces. These encodings lead to the promise of fault tolerant QIP, but they come at the expense of resource overheads. Part of the challenge in studying control over multiple logical qubits, is that QIP test-beds have not had sufficient resources to analyze encodings beyond the simplest ones. The most relevant resources are the number of avai…
Quantum mechanics imposes that any amplifier that works independently on the phase of the input signal has to introduce some excess noise. The impossibility of such a noiseless amplifier is rooted into unitarity and linearity of quantum evolution. A possible way to circumvent this limitation is to interrupt such evolution via a measurement, providing a random outcome able to herald a successful - and noiseless - amplification event. Here we show a successful realisation of such an approach; we perform a full characterization of an amplified coherent state using quantum homodyne tomography, and…
We present and investigate a new class of quantum channels, what we call `universal collective rotation channels', that includes the well-known class of collective rotation channels as a special case. The fixed point set and noise commutant coincide for a channel in this class. Computing the precise structure of this C*-algebra is a core problem in a particular noiseless subsystem method of quantum error correction. We prove that there is an abundance of noiseless subsystems for every channel in this class and that Young tableaux combinatorics can be used to explicitly compute these subsystems…
Noiseless subsystems were proved to be an efficient and faithful approach to preserve fragile information against decoherence in quantum information processing and quantum computation. They were employed to design a general (hybrid) quantum memory cell model that can store both quantum and classical information. In this paper, we find an interesting new phenomenon that the purely classical memory cell can be super-activated to preserve quantum states, whereas the null memory cell can only be super-activated to encode classical information. Furthermore, necessary and sufficient conditions for t…
We study the approximate correctability of general algebras of observables, which represent hybrid quantum-classical information. This includes approximate quantum error correcting codes and subsystems codes. We show that the main result of arXiv:quant-ph/0605009 yields a natural generalization of the Knill-Laflamme conditions in the form of a dimension independent estimate of the optimal reconstruction error for a given encoding, measured using the trace-norm distance to a noiseless channel.
The central issue in this article is to transmit a quantum state in such a way that after some decoherence occurs, most of the information can be restored by a suitable decoding operation. For this purpose, we incorporate redundancy by mapping a given initial quantum state to a messenger state on a larger-dimensional Hilbert space via a $C^*$-algebra embedding. Our noise model for the transmission is a phase damping channel which admits a noiseless or decoherence-free subspace or subsystem. More precisely, the transmission channel is obtained from convex combinations of a set of lowest rank ye…
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…
Quantum error correction protects quantum information against environmental noise. When using qubits, a measure of quality of a code is the maximum number of errors that it is able to correct. We show that a suitable notion of ``number of errors'' e makes sense for any system in the presence of arbitrary environmental interactions. In fact, the notion is directly related to the lowest order in time with which uncorrectable errors are introduced, and this in turn is derived from a grading of the algebra generated by the interaction operators. As a result, e-error-correcting codes are effective …
Operator quantum error-correction is a technique for robustly storing quantum information in the presence of noise. It generalizes the standard theory of quantum error-correction, and provides a unified framework for topics such as quantum error-correction, decoherence-free subspaces, and noiseless subsystems. This paper develops (a) easily applied algebraic and information-theoretic conditions which characterize when operator quantum error-correction is feasible; (b) a representation theorem for a class of noise processes which can be corrected using operator quantum error-correction; and (c)…
``Leakage'' errors are particularly serious errors which couple states within a code subspace to states outside of that subspace thus destroying the error protection benefit afforded by an encoded state. We generalize an earlier method for producing leakage elimination decoupling operations and examine the effects of the leakage eliminating operations on decoherence-free or noiseless subsystems which encode one logical, or protected qubit into three or four qubits. We find that by eliminating the large class of leakage errors, under some circumstances, we can create the conditions for a decohe…
Universal quantum computation on decoherence-free subspaces and subsystems (DFSs) is examined with particular emphasis on using only physically relevant interactions. A necessary and sufficient condition for the existence of decoherence-free (noiseless) subsystems in the Markovian regime is derived here for the first time. A stabilizer formalism for DFSs is then developed which allows for the explicit understanding of these in their dual role as quantum error correcting codes. Conditions for the existence of Hamiltonians whose induced evolution always preserves a DFS are derived within this st…
The Fenna-Matthews-Olson (FMO) antennae complex, responsible for light harvesting in green sulfur bacteria, consists of three monomers, each with seven chromophores. Here we show that multiple subsystems of the seven chromophores can transfer energy from either chromophore 1 or 6 to the reaction center with an efficiency matching or in many cases exceeding that of the full seven chromophore system. In the FMO complex these functional subsystems support multiple quantum pathways for efficient energy transfer that provide a built-in quantum redundancy. There are many instances of redundancy in n…
Steady-state manifolds of open quantum systems, such as decoherence-free subspaces and noiseless subsystems, are of great practical importance to the end of quantum information processing. Yet, it is a difficult problem to find steady-state manifolds of open quantum systems, especially of non-Markovian systems. In this paper, we propose an approach to find the steady-state manifolds, which is generally applicable to both Markovian and non-Markovian systems. Our approach is based on an arbitrarily given steady state, and by following the standard steps of the approach, the steady-state manifold…
Phononic quantum networks feature distinct advantages over photonic networks for on-chip quantum communications, providing a promising platform for developing quantum computers with robust solid-state spin qubits. Large mechanical networks including one-dimensional chains of trapped ions, however, have inherent and well-known scaling problems. In addition, chiral phononic processes, which are necessary for conventional phononic quantum networks, are difficult to implement in a solid-state system. To overcome these seemingly unsolvable obstacles, we have developed a new network architecture tha…
Given a completely positive map, we introduce a set of algebras that we refer to as its generalized multiplicative domains. These algebras are generalizations of the traditional multiplicative domain of a completely positive map and we derive a characterization of them in the unital, trace-preserving case, in other words the case of unital quantum channels, that extends Choi's characterization of the multiplicative domains of unital maps. We also derive a characterization that is in the same flavour as a well-known characterization of bimodules, and we use these algebras to provide a new repre…
In this thesis, we focus on the energetic analysis within autonomous quantum systems. To this aim, we propose a novel and general formalism for a dynamic description of the energy exchanges between interacting subsystems. From the Schmidt decomposition approach, we identify effective Hamiltonians as the representative operators for characterizing the local internal energies, whose expectation values satisfy the usual thermodynamic notion of energy additivity. In contrast to the currently used methodologies, such procedure treats the subsystems with equal footing and do not rely on any sort of …
We present a new application of harmonic analysis to quantum information by constructing intriguing classes of quantum channels stemming from specific representations of multiplier algebras over locally compact groups $G$. Beginning with a representation of the measure algebra $M(G)$, we unify and elaborate on recent counter-examples to fixed point subalgebras in infinite dimensions, as well as present an application to the noiseless subsystems method of quantum error correction. Using a representation of the completely bounded Fourier multiplier algebra $McbA(G)$, we provide a new class of co…
We present an algorithmic method for the digital quantum simulation of many-body locally indivisible non-Markovian open quantum systems. It consists of two parts: firstly, a Suzuki-Lie-Trotter decomposition of the global system propagator into the product of subsystem propagators, which may not be quantum channels, and secondly, an algorithmic procedure for the implementation of the subsystem propagators through unitary operations and measurements on a dilated space. By providing rigorous error bounds for the relevant Suzuki-Lie-Trotter decomposition, we are able to analyze the efficiency of t…
We shall revisit the conventional adiabatic or Markov approximation, which --contrary to the semiclassical case-- does not preserve the positive-definite character of the corresponding density matrix, thus leading to highly non-physical results. To overcome this serious limitation, originally pointed out and partially solved by Davies and co-workers almost three decades ago, we shall propose an alternative more general adiabatic procedure, which (i) is physically justified under the same validity restrictions of the conventional Markov approach, (ii) in the semiclassical limit reduces to the s…
We report two results complementing the second law of thermodynamics for Markovian open quantum systems coupled to multiple reservoirs with different temperatures and chemical potentials. First, we derive a nonequilibrium free energy inequality providing an upper bound for a maximum power output, which for systems with inhomogeneous temperature is not equivalent to the Clausius inequality. Secondly, we derive local Clausius and free energy inequalities for subsystems of a composite system. These inequalities differ from the total system one by the presence of an information-related contributio…
