Decoherence is the phenomenon of non-unitary dynamics that arises as a consequence of coupling between a system and its environment. It has important harmful implications for quantum information processing, and various solutions to the problem have been proposed. Here we provide a detailed a review of the theory of decoherence-free subspaces and subsystems, focusing on their usefulness for preservation of quantum information.
Decoherence-free subsystems have been successfully developed as a tool to preserve fragile quantum information against noises. In this letter, we develop a structure theory for decoherence-free subsystems. Based on it, we present an effective algorithm to construct a set of maximal decoherence-free subsystems in the sense that any other such subsystem is a subspace of one of them. As an application of these techniques in quantum many body systems, we propose a simple and numerically robust method to determine if two irreducible tensors are repeated, a key step in deciding if they are equivalen…
We discuss the structure of decoherence-free subsystems for a bosonic channel affected by collective depolarization. A single use of the channel is defined as a transmission of a pair of bosonic modes. Collective depolarization consists in a random linear U(2) transformation of the respective mode operators, which is assumed to be identical for $N$ consecutive uses of the channel. We derive a recursion formula that characterizes the dimensionality of available decoherence-free subsystems in such a setting.
We introduce a generalized theory of decoherence-free subspaces and subsystems (DFSs), which do not require accurate initialization. We derive a new set of conditions for the existence of DFSs within this generalized framework. By relaxing the initialization requirement we show that a DFS can tolerate arbitrarily large preparation errors. This has potentially significant implications for experiments involving DFSs, in particular for the experimental implementation, over DFSs, of the large class of quantum algorithms which can function with arbitrary input states.
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…
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…
This paper provides a general theory for characterizing and constructing a decoherence-free (DF) subsystem for an infinite dimensional linear open quantum system. The main idea is that, based on the Heisenberg picture of the dynamics rather than the commonly-taken Schrodinger picture, the notions of controllability and observability in control theory are employed to characterize a DF subsystem. A particularly useful result is a general if and only if condition for a linear system to have a DF component; this condition is used to demonstrate how to actually construct a DF dynamics in some speci…
We show that private shared reference frames can be used to perform private quantum and private classical communication over a public quantum channel. Such frames constitute a novel type of private shared correlation (distinct from private classical keys or shared entanglement) useful for cryptography. We present optimally efficient schemes for private quantum and classical communication given a finite number of qubits transmitted over an insecure channel and given a private shared Cartesian frame and/or a private shared reference ordering of the qubits. We show that in this context, it is use…
We describe exchange-only universal quantum computation and leakage reduction in the 3-qubit decoherence free subsystem (DFS). We discuss the angular momentum structure of the DFS, the proper forms for the DFS CNOT and leakage reduction operators in the total angular momentum basis, and new exchange-only pulse sequences for the CNOT and leakage reduction operators. Our new DFS CNOT sequence requires 22 pulses in 13 time steps. The DFS leakage reduction sequence, the first explicit leakage reduction sequence of its kind, requires 30 pulses in 20 time steps. Although the search for sequences was…
The Uhrig dynamical decoupling sequence achieves high-order decoupling of a single system qubit from its dephasing bath through the use of bang-bang Pauli pulses at appropriately timed intervals. High-order decoupling of single and multiple qubit systems from baths causing both dephasing and relaxation can also be achieved through the nested application of Uhrig sequences, again using single-qubit Pauli pulses. For the 3-qubit decoherence free subsystem (DFS) and related subsystem encodings, Pauli pulses are not naturally available operations; instead, exchange interactions provide all require…
Quantum entanglement has been used as an experimental tool to control the state of a quantum subsystem by measurements in its twin subsystem by Kwiat and Chiao 21 year ago, already, with entangled subsystems linked by an auxiliary classical coincidence channel. We propose to extend the idea one significant step further consisting essentially in eliminating the coincidence channel in the reminded experiment. The current availability of bright biphoton sources makes such experiments feasible.
In order to analyze the effect of chaos or order on the rate of decoherence in a subsystem, we aim to distinguish effects of the two types of dynamics by choosing initial states as random product states from two factor spaces representing two subsystems. We introduce a random matrix model that permits to vary the coupling strength between the subsystems. The case of strong coupling is analyzed in detail, and we find no significant differences except for very low-dimensional spaces.
We describe a broad dynamical-algebraic framework for analyzing the quantum control properties of a set of naturally available interactions. General conditions under which universal control is achieved over a set of subspaces/subsystems are found. All known physical examples of universal control on subspaces/systems are related to the framework developed here.
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 adiabatic theorem and "shortcuts to adiabaticity" for the adiabatic dynamics of time-dependent decoherence-free subspaces are explored in this paper. Starting from the definition of the dynamical stable decoherence-free subspaces, we show that, under a compact adiabatic condition, the quantum state follows time-dependent decoherence-free subspaces (the adiabatic decoherence free subspaces) into the target subspace with extremely high purity, even though the dynamics of the quantum system may be non-adiabatic. The adiabatic condition mentioned in the adiabatic theorem is very similar with t…
We present a detailed analysis of decoherence free subspaces and develop a rigorous theory that provides necessary and sufficient conditions for dynamically stable decoherence free subspaces. This allows us to identify a special class of decoherence free states which rely on incoherent generation of coherences. We provide examples of physical systems that support such states. Our approach employs Markovian master equations and applies primarily to finite-dimensional quantum systems.
Quantum computation that combines the coherence stabilization virtues of decoherence-free subspaces and the fault tolerance of geometric holonomic control is of great practical importance. Some schemes of adiabatic holonomic quantum computation in decoherence-free subspaces have been proposed in the past few years. However, non-adiabatic holonomic quantum computation in decoherence-free subspaces, which avoids long run-time requirement but with all the robust advantages, remains an open problem. Here, we demonstrate how to realize non-adiabatic holonomic quantum computation in decoherence-free…
A generalized formal framework for decoherence, that can be used both in open and closed quantum systems, is sketched. In this context, the relationship between the decoherence of a closed system and the decoherence of its subsystems is studied, and the corresponding decoherence times are defined: for macroscopic systems, the decoherence time of the closed system is much greater than the decoherence time of its subsystems. Finally, it is shown that the application of the new formal framework to a well-known model leads to physically adequate results.
We propose a new approach to the implementation of quantum gates in which decoherence during the gate operations is strongly reduced. This is achieved by making use of an environment induced quantum Zeno effect that confines the dynamics effectively to a decoherence-free subspace.
The dynamics of two coupled spins-1/2 coupled to a spin-bath is studied as an extended model of the Tessieri-Wilkie Hamiltonian \cite{TWmodel}. The pair of spins served as an open subsystem were prepared in one of the Bell states and the bath consisted of some spins-1/2 is in a thermal equilibrium state from the very beginning. It is found that with the increasing the coupling strength of the bath spins, the bath forms a resonant antiferromagnetic order. The polarization correlation between the two spins of the subsystem and the concurrence are recovered in some extent to the isolated subsyste…
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…
We propose and analyse a robust quantum state transfer protocol by the use of a combination of coherent quantum coupling and decoherence-free subspaces in a coupled quantum spin chain. Under decoherence, an arbitrary unknown quantum state embedded in a decoherence-free subspace can be perfectly transferred through a noisy channel being weakly coupled to two end registers. The method protects quantum information from both the channel noise and the environmental decoherence. A special case of utilizing two physical qubits to encode one logical qubit is considered as an example and the robustness…
We study a model of a quantum spin register interacting with an environment of spin particles in quantum-measurement limit. In the limit of collective decoherence we obtain the form of state vectors that constitute high-dimensional decoherence-free subspaces (DFS). In a more general setting we present sufficient and necessary conditions for existence of low-dimensional DFSs that can be used to construct subspaces of higher dimension.
Quantum Fourier transform is of primary importance in many quantum algorithms. In order to eliminate the destructive effects of decoherence induced by couplings between the quantum system and its environment, we propose a robust scheme for quantum Fourier transform over the intrinsic decoherence-free subspaces. The scheme is then applied to the circuit design of quantum Fourier transform over quantum networks under collective decoherence. The encoding efficiency and possible improvements are also discussed.
We study a quantum repeater which is based on decoherence free quantum gates recently proposed by Klein et al. [Phys. Rev. A 73, 012332 (2006)]. A number of operations on the decoherence free subspace in this scheme makes use of an ancilla qubit, which undergoes dephasing and thus introduces decoherence to the system. We examine how this decoherence affects entanglement swapping and purification as well as the performance of a quantum repeater. We compare the decoherence free quantum repeater with a quantum repeater based on qubits that are subject to decoherence and show that it outperforms t…
Two initially correlated coherent states, each interacting with its own independent dissipative environment exhibit a sudden transition from classical to quantum decoherence. This change in the dynamics is a turning point in the decoherence, in the sense that depending on the average number of photons of each cavity, decoherence can even be suppressed. Indeed, the quantum state is time-independent for a time span in the mesoscopic regime, revealing a decoherence-free subspace. Furthermore, the absence of decoherence is manifested in the apparition of a metastable pointer state basis.
We show how to realize, by means of non-abelian quantum holonomies, a set of universal quantum gates acting on decoherence-free subspaces and subsystems. In this manner we bring together the quantum coherence stabilization virtues of decoherence-free subspaces and the fault-tolerance of all-geometric holonomic control. We discuss the implementation of this scheme in the context of quantum information processing using trapped ions and quantum dots.
We show how to use decoherence-free subspaces over collective-noise quantum channels to convey classical information in perfect secrecy. We argue that codes defined over decoherence-free subspaces are codes for quantum wiretap channels in which the gain of information by a non-authorized receiver is zero. We also show that if some symmetry conditions are guaranteed, the maximum rate on which these secret communications take place is equal to the Holevo-Schumacher-Westmoreland capacity of the quantum channel.
The three-spin-$1/2$ decoherence-free subsystem defines a logical qubit protected from collective noise and supports exchange-only universal gates. Such logical qubits are well-suited for implementation with electrically-defined quantum dots. Exact exchange-only entangling logical gates exist but are challenging to construct and understand. We use a decoupling strategy to obtain straightforward approximate entangling gates. A benefit of the strategy is that if the physical spins are aligned, then it can implement evolution under entangling Hamiltonians. Hamiltonians expressible as linear combi…
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 propose a decoherence-free subspaces (DFS) scheme to realize scalable quantum computation with trapped ions. The spin-dependent Coulomb interaction is exploited, and the universal set of unconventional geometric quantum gates is achieved in encoded subspaces that are immune from decoherence by collective dephasing. The scalability of the scheme for the ion array system is demonstrated, either by an adiabatic way of switching on and off the interactions, or by a fast gate scheme with comprehensive DFS encoding and noise decoupling techniques.
Coherence in an open quantum system is degraded through its interaction with a bath. This decoherence can be avoided by restricting the dynamics of the system to special decoherence-free subspaces. These subspaces are usually constructed under the assumption of spatially symmetric system-bath coupling. Here we show that decoherence-free subspaces may appear without spatial symmetry. Instead, we consider a model of system-bath interactions in which to first order only multiple-qubit coupling to the bath is present, with single-qubit system-bath coupling absent. We derive necessary and sufficien…
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$ …
Non-adiabatic holonomic quantum gate in decoherence-free subspaces is of greatly practical importance due to its built-in fault tolerance, coherence stabilization virtues, and short run-time. Here we propose some compact schemes to implement two- and three-qubit controlled unitary quantum gates and Fredkin gate. For the controlled unitary quantum gates, the unitary operator acting on the target qubit is an arbitrary single-qubit gate operation. The controlled quantum gates can be directly implemented using non-adiabatic holonomy in decoherence-free subspaces and the required resource for the d…
Nonadiabatic holonomic quantum computation in decoherence-free subspaces has attracted increasing attention recently, as it allows for high-speed implementation and combines both the robustness of holonomic gates and the coherence stabilization of decoherence-free subspaces. Since the first protocol of nonadiabatic holonomic quantum computation in decoherence-free subspaces, a number of schemes for its physical implementation have been put forward. However, all previous schemes require two noncommuting gates to realize an arbitrary one-qubit gate, which doubles the exposure time of gates to er…
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…
We consider a universal set of quantum gates encoded within a perturbed decoherence-free subspace of four physical qubits. Using second-order perturbation theory and a measuring device modeled by an infinite set of harmonic oscillators, simply coupled to the system, we show that continuous observation of the coupling agent induces inhibition of the decoherence due to spurious perturbations. We thus advance the idea of protecting or even creating a decoherence-free subspace for processing quantum information.
We develop a method to determine spatial configurations to realize decoherence-free subspaces for spatially extended multi-particle systems. We have assumed normal reservoir behavior including translational invariance of the reservoir and preparation in stationary states or mixture thereof and weak Markovian system-reservoir coupling that requires energy transfer. One important outcome of our method is a proof that there does not exist a multi-particle decoherence-free subspace in such systems except in the limit that the spatial extent of the system becomes infinitesimal.
We investigate how to carry out universal quantum computation deterministically with free electrons in decoherence-free subspace by using polarizing beam splitters, charge detectors, and single-spin rotations. Quantum information in our case is encoded in spin degrees of freedom of the electron-pairs which construct a decoherence-free subspace. We design building blocks for two noncommutable single-logic-qubit gates and a logic controlled phase gate, based on which a universal and scalable quantum information processing robust to dephasing is available in a deterministic way.
With time-dependent Lindblad operators, an open system may have a time-dependent decoherence-free subspace (t-DFS). In this paper, we define the t-DFS and present a necessary and sufficient condition for the t-DFS. Two examples are presented to illustrate the t-DFS, showing that this t-DFS is not trivial, when the dimension of the t-DFS varies.
We consider a network of interacting resonators and analyze the physical ingredients that enable the emergence of relaxation-free and decoherence-free subspaces. We investigate two different situations: i) when the whole network interacts with a common reservoir and ii) when each resonator, strongly coupled to each other, interacts with its own reservoir. Our main result is that both subspaces are generated when all the resonators couple with the same group of reservoir modes, thus building up a correlation (among these modes), which has the potential to shield particular network states agains…
We consider interactions that generate a universal set of quantum gates on logical qubits encoded in a collective-dephasing-free subspace, and discuss their implementations with trapped ions. This allows for the removal of the by-far largest source of decoherence in current trapped-ion experiments, collective dephasing. In addition, an explicit parametrization of all two-body Hamiltonians able to generate such gates without the system's state ever exiting the protected subspace is provided.
We propose a geometric phase gate in a decoherence-free subspace with trapped ions. The quantum information is encoded in the Zeeman sublevels of the ground-state and two physical qubits to make up one logical qubit with ultra long coherence time. Single- and two-qubit operations together with the transport and splitting of linear ion crystals allow for a robust and decoherence-free scalable quantum processor. For the ease of the phase gate realization we employ one Raman laser field on four ions simultaneously, i.e. no tight focus for addressing. The decoherence-free subspace is left neither …
We propose a feasible scheme to achieve holonomic quantum computation in a decoherence-free subspace (DFS) with trapped ions. By the application of appropriate bichromatic laser fields on the designated ions, we are able to construct two noncommutable single-qubit gates and one controlled-phase gate using the holonomic scenario in the encoded DFS.
Nonadiabatic geometric quantum computation in decoherence-free subspaces has received increasing attention due to the merits of its high-speed implementation and robustness against both control errors and decoherence. However, all the previous schemes in this direction have been based on the conventional geometric phases, of which the dynamical phases need to be removed. In this paper, we put forward a scheme of nonadiabatic geometric quantum computation in decoherence-free subspaces based on unconventional geometric phases, of which the dynamical phases do not need to be removed. Specifically…
Quantum state transfer and teleportation, with qubits encoded in internal states of the atoms in cavities, among spatially separated nodes of a quantum network in decoherence-free subspace are proposed, based on a cavity-assisted interaction by single-photon pulses. We show in details the implementation of a logic-qubit Hadamard gate and a two-logic-qubit conditional gate, and discuss the experimental feasibility of our scheme.
We construct a model which describes a recently performed experiment (Phys. Rev. A 64, 050301(R) (2001)) in which an entangled state between two modes of a single cavity is built. Environmental effects are taken into account and the results agree with the experimental findings. Moreover the model predicts, for different conditions of the same experiment, a decoherence-free subspace. These conditions are analyzed and slightly different experiments suggested in order to test its viability.
For a practical quantum computer to operate, it will be essential to properly manage decoherence. One important technique for doing this is the use of "decoherence-free subspaces" (DFSs), which have recently been demonstrated. Here we present the first use of DFSs to improve the performance of a quantum algorithm. An optical implementation of the Deutsch-Jozsa algorithm can be made insensitive to a particular class of phase noise by encoding information in the appropriate subspaces; we observe a reduction of the error rate from 35% to essentially its pre-noise value of 8%.
Decoherence free subspaces (DFS) is a theoretical tool towards experimental implementation of quantum information storage and processing. However, they represent an experimental challenge, since conditions for their existence are very stringent. This work explores the situation in which a system of $N$ oscillators coupled to a bath of harmonic oscillators is close to satisfy the conditions for the existence of DFS. We show, in the Born-Markov limit and for small deviations from separability and degeneracy conditions, that there are {\emph{weak decoherence subspaces}} which resemble the origina…
A scheme to implement a quantum computer subjected to decoherence and governed by an untunable qubit-qubit interaction is presented. By concatenating dynamical decoupling through bang-bang (BB) pulse with decoherence-free subspaces (DFSs) encoding, we protect the quantum computer from environment-induced decoherence that results in quantum information dissipating into the environment. For the inherent qubit-qubit interaction that is untunable in the quantum system, BB control plus DFSs encoding will eliminate its undesired effect which spoils quantum information in qubits. We show how this qua…
We propose a scheme to implement geometric entangling gates for two logical qubits in a coupled cavity system in decoherence-free subspaces. Each logical qubit is encoded with two atoms trapped in a single cavity and the geometric entangling gates are achieved by cavity coupling and controlling the external classical laser fields. Based on the coupled cavity system, the scheme allows the scalability for quantum computing and relaxes the requirement for individually addressing atoms.
The bidirectional steerability between different-size subsystems is discussed for a single parameter accelerated qubit-qutrit system. The decoherence due to the mixing and acceleration parameters is investigated, where for the total system and the qutrit, it increases as the mixing parameter increases, while it decreases for the qubit. The non-classical correlations are quantified by using the local quantum uncertainty, where it increases at large values of the acceleration parameter. The possibility that each subsystem steers each other is studied, where the behavior of the steering inequalit…
We present a scheme to drive a finite-dimensional quantum system into the decoherence-free subspaces(DFS) by Lyapunov control. Control fields are established by Lyapunov function. This proposal works well for both closed and open quantum systems, with replacing the DFS by desired subspaces for closed systems. An example which consists of a four-level system with three degenerate states driven by three lasers is presented to gain further insight of the scheme, numerical simulations for the dynamics of the system are performed and the results are good.
Choosing a specific way of dividing a closed system into parts is a starting point for the decoherence program and for the quantum thermalization program. It is shown that one can always chose such way of partitioning that decoherence-assisted classicality does not emerge and thermalization does not occur. Implications of this result are discussed.
We introduce a novel scheme for one-way quantum computing (QC) based on the use of information encoded qubits in an effective cluster state resource. With the correct encoding structure, we show that it is possible to protect the entangled resource from phase damping decoherence, where the effective cluster state can be described as residing in a Decoherence-Free Subspace (DFS) of its supporting quantum system. One-way QC then requires either single or two-qubit adaptive measurements. As an example where this proposal can be realized, we describe an optical lattice setup where the scheme provi…
The dynamic of correlations in a system composed of a two-mode quantum field coupled with the environment is studied. The quantum field corresponds to two entangled coherent states whose amplitude we vary up to the mesoscopic regime. We show that under the onset of decoherence, correlations in the quantum field are not lost but transferred to the environment. We also found that sudden transitions in the decoherence regimes appear along with the dynamics depending on the coherent states' amplitude. Increasing the amplitude of the entangled coherence state results in the apparition of a metastab…
We demonstrate that two recent innovations in the field of practical quantum key distribution (one-way autocompensation and passive detection) are closely related to the methods developed to protect quantum computations from decoherence. We present a new scheme that combines these advantages, and propose a practical implementation of this scheme that is feasible using existing technology.
