Decoherence in quantum computers is formulated within the Semigroup approach. The error generators are identified with the generators of a Lie algebra. This allows for a comprehensive description which includes as a special case the frequently assumed spin-boson model. A generic condition is presented for error-less quantum computation: decoherence-free subspaces are spanned by those states which are annihilated by all the generators. It is shown that these subspaces are stable to perturbations and moreover, that universal quantum computation is possible within them.
An operator sum representation is derived for a decoherence-free subspace (DFS) and used to (i) show that DFSs are the class of quantum error correcting codes (QECCs) with fixed, unitary recovery operators, and (ii) find explicit representations for the Kraus operators of collective decoherence. We demonstrate how this can be used to construct a concatenated DFS-QECC code which protects against collective decoherence perturbed by independent decoherence. The code yields an error threshold which depends only on the perturbing independent decoherence rate.
The aim of this paper is to present a general algebraic formulation for the Decoherence-Free Subspaces (DFSs). For this purpose, we initially generalize some results of Pauli and Artin about semisimple algebras. Then we derive orthogonality theorems for algebras analogous to finite groups. In order to build the DFSs we consider the tensor product of Clifford algebras and left minimal ideals. Furthermore, we show that standard applications of group theory in quantum chemistry can be obtained in our formalism. Advantages and some perspectives are also discussed.
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…
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.
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…
Quantum error avoiding codes are constructed by exploiting a geometric interpretation of the algebra of measurements of an open quantum system. The notion of a generalized Dirac operator is introduced and used to naturally construct families of decoherence free subspaces for the encoding of quantum information. The members of the family are connected to each other by the discrete Morita equivalences of the algebra of observables, which render possible several choices of noiseless code in which to perform quantum computation. The construction is applied to various examples of discrete and conti…
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.
On the Complexity of Finding Decoherence Free Subspaces
Center for Quantum Information and Control, University of New Mexico（新墨西哥大学量子信息与控制中心）；Department of Physics and Astronomy, University of New Mexico（新墨西哥大学物理与天文学系）
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.
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…
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 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.
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.
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.
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.
We consider an ensemble of atoms with $Λ$-type level structure trapped in a single-mode cavity, and propose a geometric scheme of coherent manipulation of quantum states on the subspace of zero-energy states within the quantum Zeno subspace of the system. We find that the particular subspace inherits the decoherence-free nature of the quantum Zeno subspace and features a symmetry-protected degeneracy, fulfilling all the conditions for a universal scheme of arbitrary unitary operations on it.
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 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.
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.
A simplified Bogoliubov transform reduces a fully-interacting many-fermion spin-1/2 system-plus-environment to a more tractable many-to-one variant. The transform additionally yields exact solutions for bosonic multi-particle interactions sans the approximation introduced by using discrete time steps to deal with quantum parallelism. The decohering effect of relatively general finite environments is therewith modeled and compared to the decohering effect of an infinite environmental "bath." The anti-symmetric singlet state formed by two maximally-entangled two-state particles is shown to be in…
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.
Decoherence-free subspaces (DFSs) shield quantum information from errors induced by the interaction with an uncontrollable environment. Here we study a model of correlated errors forming an Abelian subgroup (stabilizer) of the Pauli group (the group of tensor products of Pauli matrices). Unlike previous studies of DFSs, this type of errors does not involve any spatial symmetry assumptions on the system-environment interaction. We solve the problem of universal, fault-tolerant quantum computation on the associated class of DFSs.
We experimentally demonstrate room-temperature storage of quantum entanglement using two nuclear spins weakly coupled to the electronic spin carried by a single nitrogen-vacancy center in diamond. We realize universal quantum gate control over the three-qubit spin system and produce entangled states encoded within the decoherence-free subspace of the two nuclear spins. By injecting arbitrary collective noise, we demonstrate that the decoherence-free entangled state has coherence time longer than that of other entangled states by an order of magnitude in our experiment.
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.
We demonstrate that for an ensemble of qudits, subjected to collective decoherence in the form of perfectly correlated random SU(d) unitaries, quantum superpositions stored in the decoherence free subspace are fully immune against the removal of one particle. This provides a feasible scheme to protect quantum information encoded in the polarization state of a sequence of photons against both collective depolarization and one photon loss, and can be demonstrated with photon quadruplets using currently available technology.
Holonomic quantum computation (HQC) may not show its full potential in quantum speedup due to the prerequisite of a long coherent runtime imposed by the adiabatic condition. Here we show that the conventional HQC can be dramatically accelerated by using external control fields, of which the effectiveness is exclusively determined by the integral of the control fields in the time domain. Remarkably this control scheme can be realized with net zero energy cost and it is fault-tolerant against fluctuation and noise, significantly relaxing the experimental constraints. We demonstrate how to realiz…
Quantum reservoir networks based on decoherence-free subspaces
School of Nanoscience and Nanotechnology, Mahatma Gandhi University（马哈特玛甘地大学纳米科学与技术学院）；Space Research Institute RAS（俄罗斯科学院空间研究所）；National University of Science and Technology ’MISIS’（莫斯科国立科学技术大学 MISIS）
A scheme to drive and manipulate a finite-dimensional quantum system in the decoherence-free subspaces(DFS) by Lyapunov control is proposed. Control fields are established by Lyapunov function. This proposal can drive the open quantum system into the DFS and manipulate it to any desired eigenstate of the free Hamiltonian. An example which consists of a four-level system with three long-lived states driven by two lasers is presented to exemplify the scheme. We have performed numerical simulations for the dynamics of the four-level system, which show that the scheme works good.
A decoherence-free subspace (DFS) isolates quantum information from deleterious environmental interactions. We give explicit sequences of strong and fast (``bang-bang'', BB) pulses that create the conditions allowing for the existence of DFSs that support scalable, universal quantum computation. One such example is the creation of the conditions for collective decoherence, wherein all system particles are coupled in an identical manner to their environment. The BB pulses needed for this are generated using only the Heisenberg exchange interaction. In conjunction with previous results, this sho…
We study the non-Markovian entanglement dynamics of two qubits in a common squeezed bath. We see remarkable difference between the non-Markovian entanglement dynamics with its Markovian counterpart. We show that a non-Markovian decoherence free state is also decoherence free in the Markovian regime, but all the Markovian decoherence free states are not necessarily decoherence free in the non-Markovian domain. We extend our calculation from squeezed vacuum bath to squeezed thermal bath, where we see the effect of finite bath temperatures on the entanglement dynamics.
We propose a scheme to implement quantum computation in decoherence-free subspace with superconducting devices inside a cavity by unconventional geometric manipulation. Universal single-qubit gates in encoded qubit can be achieved with cavity assisted interaction. A measurement-based two-qubit Controlled-Not gate is produced with parity measurements assisted by an auxiliary superconducting device and followed by prescribed single-qubit gates. The measurement of currents on two parallel devices can realize a projective measurement, which is equivalent to the parity measurement on the involved d…
In this paper, we propose a way to achieve protected universal computation in a neutral atom quantum computer subject to collective dephasing. Our proposal relies on the existence of a Decoherence Free Subspace (DFS), resulting from symmetry properties of the errors. After briefly describing the physical system and the error model considered, we show how to encode information into the DFS and build a complete set of safe universal gates. Finally, we provide numerical simulations for the fidelity of the different gates in the presence of time-dependent phase errors and discuss their performance…
We propose easy implementable protocols for robust quantum key distribution with the collective dephasing channel or collective rotating channel. In these protocols, Bob only takes passive photon detection to measure the polarization qubits in the random bases. The source for the protocol with collective rotating channel is made by type 2 spontaneous parametric down conversion with random unitary rotation and phase shifter, no quantum disentangler is required. A simple proof for unconditionally security is shown.
