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 …
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$ …
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…
Indian Institute of Technology Bombay(印度理工学院孟买分校);Indian Institute of Technology Jodhpur(印度理工学院焦浦分校);Indian Institute of Science Education and Research Kolkata(印度科学教育与研究学院加尔各答);TCG CREST
In this work a general relativistic generalization of Bell inequality is suggested. Namely,it is proved that practically in any general relativistic metric there is a generalization of Bell inequality.It can be satisfied within theories of local (subluminal) hidden variables, but it cannot be satisfied in the general case within standard quantum mechanical formalism or within theories of nonlocal (superluminal) hidden variables. It is shown too that within theories of nonlocal hidden variables but not in the standard quantum mechanical formalism a paradox appears in the situation when one of t…
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 …
The quantum teleportation process is composed of a joint measurement performed upon two subsystems A and B (uncorrelated), followed by a unitary transformation (parameters of which depend on the outcome of the measurement) performed upon a third subsystem C (EPR correlated with system B). The information about the outcome of the measurement is transferred by classical means. The measurement performed upon the systems A and B collapses their joint wavefunction into one of the four {\it entangled} Bell states. It is shown here that this measurement process plus a possible measurement on the thir…
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…
Greenberger-Horne-Zeilinger states are intuitively known to be the most non-classical ones. They lead to the most radically nonclassical behavior of three or more entangled quantum subsystems. However, in case of two-dimensional systems, it has been shown that GHZ states lead to more robustness of Bell nonclassicality in case of geometrical inequalities than in case of Mermin inequalities. We investigate various strategies of constructing geometrical Bell inequalities (BIs) for GHZ states for any dimensionality of subsystems.
We show that the use of probabilistic noiseless amplification in entangled coherent state-based schemes for the test of quantum non locality provides substantial advantages. The threshold amplitude to falsify a Bell-CHSH non locality test, in fact, is significantly reduced when amplification is embedded into the test itself. Such a beneficial effect holds also in the presence of detection-inefficiency. Our study helps in affirming noiseless amplification as a valuable tool for coherent information processing and the generation of strongly non classical states of bosonic systems.
The dynamics of entanglement and fidelity for a subsystem of two separate spin-1/2 qubits prepared in Bell states is investigated. One of the subsystem qubit labelled $A$ is under the influence of a Heisenberg XY spin-bath, while another one labelled $B$ is uncoupled with that. We discuss two cases: (i) the number of bath spins $N\to\infty$; (ii) $N$ is finite: N=40. In both cases, the bath is initially prepared in a thermal equilibrium state. It is shown that the time dependence of the concurrence and the fidelity of the two subsystem qubits can be controlled by tuning the parameters of the s…
Recently, it was demonstrated by Son et al., Phys. Rev. Lett. \textbf{102}, 110404 (2009), that a separable bipartite continuous variable quantum system can violate the Clauser-Horne-Shimony-Holt (CHSH) inequality via operationally local transformations. Operationally local transformations are parameterized only by local variables, however in order to allow violation of the CHSH inequality a maximally entangled ancilla was necessary. The use of the entangled ancilla in this scheme caused the state under test to become dependent on the measurement choice one uses to calculate the CHSH inequalit…
We study violations of n particle Bell inequalities (as developed by Mermin and Klyshko) under the assumption that suitable partial transposes of the density operator are positive. If all transposes with respect to a partition of the system into p subsystems are positive, the best upper bound on the violation is 2^((n-p)/2). In particular, if the partial transposes with respect to all subsystems are positive, the inequalities are satisfied. This is supporting evidence for a recent conjecture by Peres that positivity of partial transposes could be equivalent to existence of local classical mode…
We show that bipartite Bell inequalities based on the Einstein-Podolsky-Rosen criterion for elements of reality and derived from the properties of some hyperentangled states allow feasible experimental verifications of the fact that quantum nonlocality grows exponentially with the size of the subsystems, and Bell loophole-free tests with currently available photodetection efficiencies.
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…
We study the curves of coherence for the Bell-diagonal states including $l_{1}$-norm of coherence and relative entropy of coherence under the Markovian channels in the first subsystem once. For a special Bell-diagonal state under bit-phase flip channel, we find frozen coherence under $l_{1}$ norm occurs, but relative entropy of coherence decrease. It illustrates that the occurrence of frozen coherence depends on the type of the measure of coherence. We study the coherence evolution of Bell-diagonal states under Markovian channels in the first subsystem $n$ times and find coherence under depola…
A class of self-similar sets of entangled quantum states is introduced, for which a recursive definition is provided. These sets, the "Bell gems," are defined by the subsystem exchange symmetry characteristic of the Bell states. Each Bell gem is shown to be an orthonormal basis of maximally entangled elements. A non-trivial example Bell gem is presented. Quantum circuits for producing the elements of this example from the computational basis states are provided.
In this work we study a state which is a random mixture of a two qubit subsystem of a $N$-qubit W state and GHZ state. We analyze several possibilities like separability criterion (Peres-Horodecki criterion [14,15]), non violation of Bell's inequality [6]($M(ρ)<1$)and teleportation fidelity [1,2,3,4] ($(F_{max}>{2/3})$) for this state. We also obtain a relationship between $N$ (number of qubits) and $p$ (the classical probability of random mixture) for each of these possibilities. Finally we present a detailed analysis of all these possibilities for $N=3,4,5$ qubit systems. We also report that…
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…
We study for a composite quantum system with a quantum Turing architecture the temporal non-locality of quantum mechanics by using the temporal Bell inequality, which will be derived for a discretized network dynamics by identifying the subsystem indices with (discrete) parameter time. However, the direct ``observation'' of the quantum system will lead to no violation of the temporal Bell inequality and to consistent histories of any subsystem. Its violation can be demonstrated, though, for a delayed-choice measurement.
We examine the non-Markovian dynamics in a multipartite system of two initially correlated atomic qubits, each located in a single-mode leaky cavity and interacting with its own bosonic reservoir. We show the dominance of non-Markovian features, as quantified by the difference in fidelity of the evolved system with its density matrix at an earlier time, in three specific two-qubit partitions associated with the cavity-cavity and atom-reservoir density matrices within the same subsystem, and the cavity-reservoir reduced matrix across the two subsystems. The non-Markovianity in the cavity-cavity…
We introduce Bell-type inequalities allowing for non-locality and entanglement tests with two cold heteronuclear molecules. The proposed inequalities are based on correlations between each molecule spatial orientation, an observable which can be experimentally measured with present day technology. Orientation measurements are performed on each subsystem at diferent times. These times play the role of the polarizer angles in Bell tests realized with photons. We discuss the experimental implementations of the proposed tests, which could also be adapted to other high dimensional quantum angular m…
Fundamental investigations in non-locality have shown that while the no-signaling principle alone is not sufficient to single out the set of quantum non-local correlations, local quantum mechanics and no-signaling together exactly reproduce the set of quantum correlations in the two-party Bell scenario. Here, we introduce and study an intermediate hybrid no-signaling quantum set of non-local correlations that we term $\textbf{HNSQ}$ in the multi-party Bell scenario where some subsystems are locally quantum while the remaining subsystems are only constrained by the no-signaling principle. Speci…
We experimentally demonstrate the achievement of the entanglement assisted capacity for classical information transmission over a depolarizing channel. The implementation is based on the generation and local manipulation of 2-qubit Bell states, which are finally measured at the receiver by a complete Bell state analysis. The depolarizing channel is realized by introducing quantum noise in a controlled way on one of the two qubits. This work demonstrates the achievement of the maximum allowed amount of information that can be shared in the presence of noise and the highest reported value in the…
We consider quantum systems, whose dynamical symmetry groups are semisimple Lie groups, which can be split or decay into two subsystems of the same symmetry. We prove that the only states of such a system that factorize upon splitting are the generalized coherent states. Since Bell's inequality is never violated by the direct product state, when the system prepared in the generalized coherent state is split, no quantum correlations are created. Therefore, the generalized coherent states are the unique Bell states, i.e., the pure quantum states preserving the fundamental classical property of s…
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 derive N-particle Bell-type inequalities under the assumption of partial separability, i.e. that the N-particle system is composed of subsystems which may be correlated in any way (e.g. entangled) but which are uncorrelated with respect to each other. These inequalities provide, upon violation, experimentally accessible sufficient conditions for full N-particle entanglement, i.e. for N-particle entanglement that cannot be reduced to mixtures of states in which a smaller number of particles are entangled. The inequalities are shown to be maximally violated by the N-particle Greenberger-Horne…
We construct a set of 2^(2^n) independent Bell correlation inequalities for n-partite systems with two dichotomic observables each, which is complete in the sense that the inequalities are satisfied if and only if the correlations considered allow a local classical model. All these inequalities can be summarized in a single, albeit non-linear inequality. We show that quantum correlations satisfy this condition provided the state has positive partial transpose with respect to any grouping of the n systems into two subsystems. We also provide an efficient algorithm for finding the maximal quantu…
Quantum Computation and Quantum Information are continuously growing research areas which are based on nature and resources of quantum mechanics, as superposition and entanglement. In its gate array version, the use of convenient and appropriate gates is essential. But while those proposed gates adopt convenient forms for computational algorithms, in the practice, their design depends on specific quantum systems and stuff being used. Gates design is restricted to properties and limitations of interactions and physical elements being involved, where Quantum Control plays a deep role. Quantum co…