Quantum Information and EntanglementView this Special Issue
Quantum Computing in Decoherence-Free Subspace Constructed by Triangulation
A formalism for quantum computing in decoherence-free subspaces is presented. The constructed subspaces are partial triangulated to an index related to environment. The quantum states in the subspaces are just projected states which are ruled by a subdynamic kinetic equation. These projected states can be used to perform ideal quantum logical operations without decoherence.
Recent publications have formulated a remarkable theory for Decoherence-Free (DF) subspaces and subsystems in which quantum computing is performed in a DF subspace although the total space is still subject to decoherence [1–23]. Many proposals have considered the Born-Markov approximation or restrictions on the type of decoherence (e.g., symmetric and collective decoherence). However, there have been a number of reports on DF subspaces that do not invoke the Born-Markov approximation and do not place constraints on the type of decoherence . These have significance for practical experimental implementation. So far, the most general framework may be called operator quantum error correction (OQEC), which encompasses active error correction and leads to improved threshold results in fault tolerant quantum computing [25–28], and has initiated the development of a structure theory for passive error correction [29, 30]. Experimentally, DF subspaces have recently been observed under some conditions, which shows that such DF subspaces do indeed exist, allowing logical qubits to be encoded without decoherence [22–34]. However, a practical procedure to construct DF subspace is still not a trivial problem, and hence, impedes building practical quantum logic gates. For this study, we present a different scheme to construct a DF subspace based on the Schrödinger type of subdynamic kinetic equation (SSKE) which was inspired by theory of the subdynamics in Brussels-Austin school [35, 36].
2. Subdynamic Formalism
Consider a general quantum open system interacting with an environment , whose Hamiltonian is written as with coupling number . If one chooses the eigenprojectors and its orthogonal projectors of free Hamiltonian as and , respectively (this is possible since the free Hamiltonian is assumed to be easily diagonalized), then by means of the subdynamics theory  one can introduce a creation (destruction) correlation operator (as a type of resolvent) as where is an eigenvalue of . This allows one to construct a Schrödinger type of kinetic equation for a projected state as where the projected wave function is defined as where the operator is expressed by and the wave function satisfies the original Schrödinger equation, while the intermediate operator is defined as The creation operator is independent of the representation with respect to the projectors , and is not necessarily self-adjoint in the sense of extended functional space. This reveals that the eigenvalues of the intermediate operator may be complex and the corresponding evolution operator corresponding to two nonunitary semigroups evolutions, respectively. Using the physical boundary conditions, such as -rule , we can determine which semigroup is the correct one. Therefore, the evolution of the projected density operator for the open system can be time asymmetric and may exist in the generalized functional space beyond Hilbert space, such as rigged Hilbert space [38, 39]. This time asymmetric evolution is consistent with the second law of thermodynamics.
Moreover, by replacing the Hamiltonian with the Liouvillian and wave function with density operator , as well as using the same approach as above, the SSKE can be transformed to the Liouvillian type of SKE (LSKE) for a quantum open system:
The creation (destruction) correlation operator can be available by means of subdynamics theory. In fact, by introducing the eigen-projectors of the total Hamiltonian , using the Heisenberg equation considering the eigenvalue problem of and the definition of the creation (destruction) operators, one can obtain the basic operator equation of the creation operator and its solutions can be expressed as the retarded or advanced integrals, corresponding to the two kinds of time evolution semigroups: or and continuations of up and down half complex planes. In the same way, the basic equation for the destruction operator and relevant solution can be given.
This construction of SSKE or LSKE in subspace can be related to the original Schrödinger or Liouville equation. For instance, using the intertwining relations from subdynamics theory [35, 36, 40] , one can arrive at the original Schrödinger equation where the similarity operator is defined as which is also not necessarily unitary. The eigenvectors of the time-independent total Hamiltonian can be given by the eigenvectors of , , as with the same structure of eigenvalues as .
The second-order approximation for the LSKE also corresponds to the Master, Boltzmann, Pauli, and Fokker-Plank equations of kinetic theory and Brownian motion. For example, from the LSKE for a time-independent open system , one can easily deduce the general Master equation by using Born-Markovian approximation. Indeed, if assuming that projector as giving the reduced density operator for system as , then a general Markovian equation can be obtained. This equation can also be reduced to a type of Lindblad equation or Boltzmann equation .
3. Decoherence-Free Partial Triangular Subspace
An interesting advantage using the above formalism is to construct a precise decoherence-free (DF) subspace. It is remarkable that the projected space on which subdynamics operates is a kind of DF subspace that occurs naturally by choosing a suitable basis to expand that subspace. In fact, if decoherence exists in a system arising from interactions with its environment, then the spectral decomposition of the Hamiltonian can be expressed using the subdynamic formalism as where it is not very difficult to see that the eigenprojector for the free Hamiltonian is invariant while the eigenvalue is changed to . This produces a phase shift for the evolution state which leads to a type of decoherence in the subspaces. For example, if the entangled states evolution in the subspace is before the interaction is exerted from the environment, then after the interaction the evolution of the state in the subspace becomes Hence for constructing an ideal DF subspace, one has to find a procedure to cancel the change of the eigenvalues. How can one realize it? The key idea is to use the partial triangulation.
For example, let us consider a typical two-qubit quantum computing system , consisting of the spins and , such as the two electrons of two confined in a germanium/silicon heterostructure of an electron spin-resonance transistor [42, 43] or the two electrons confined in two quantum dots . Ignoring the influence of the environment, the Hamiltonian can be written using the Heisenberg model as , where is the time-dependent exchange coupling parameter determined by the specific model considerations. In the case of spins of the two electrons (e.g., confined in two vertically, laterally, coupled quantum dots ), is the difference in the energies of two-electrons ground state, a spin singlet at zero magnetic field, and the lowest spin-triplet state; is also a function of the electric and magnetic field and the interdot distance. Using the relationship between and the square of the sum of and , the eigenvalues and eigenvectors of can be found from by A quantum Controlled-Not (CN) gate can be given by the sequence of operations where is an ideal swap operator which can exchange the quantum states of qubits 1 and 2 and is determined generally by an evolution operator by adjusting the coupling time between the two spins in the evolution of the system. For the particular spin-spin coupling duration , where , , and the swap operator which can exchange the quantum states of qubits and is given by 
In the presence of the environment, the nonideal action of the swap operation must be considered because it may introduce decoherence in the ideal swap operation. Here the environment is assumed to consist of a set of two-level particles randomly embedded in an environment . This is a pure dephasing model whose Hamiltonian is given by , and the Hamiltonian coupling the two-qubit spin system is where () is raising/lowering operator for the th two-level particle, characterized by a generally complex coupling parameter . Then, the Hamiltonian for the total system is , and the corresponding complete set of eigenvectors for is denoted as .
To control the induced decoherence, we choose the time-independent eigen-projectors of as and as , . Using the definition of the eigen-projectors , the spectral decomposition of the intermediate operator is given by two cases: where and are the eigenvalues of the total Hamiltonian, corresponding to the eigen-projectors of , , and , respectively. This shows that the eigen-projectors of are invariant and independent of the interaction in the constructed subspace; however, for , the eigenvalues are changed (index is still diagonal to , while index is off-diagonal to ), which may introduce a phase shift in the evolution operator as a kind of decoherence.
For canceling this phase shift, we consider the triangular decomposition of the as , where is upper-triangular part of and is lower-triangular part of . Then it is easy to find that which shows that part and part are to be moved out in the upper-triangular or lower-triangular subspace , respectively. Here the upper-triangular (or lower-triangular) subspace can be defined by introducing upper-triangular (or lower-triangular) projector and upper-triangular (or lower-triangular) inner product given by , , and , for any operator with . For instance, any operator defined in this upper-triangular subspace with respect to the index can only be represented as . Therefore we can construct the DF upper-triangular (or lower-triangular) subspace with respect to the environmental index and, in the same time, enable the Hilbert space to be invariant for the quantum computing system , that is, , in which one can allow the interaction terms in (3.10) to be zero This demonstrates that the constructed intermediate operator on the upper-triangular subspace is independent upon the interaction part of the original Hamiltonian ; consequently the phase shift introduced by is canceled in the subspaces although the total system experiences the decoherence introduced by .
In the upper-triangular subspace , the quantum Controlled-Not logic operation can be executed by using a sequence of operations and its relevant swap operator remains invariant before and after interaction from the environment. This can be described by the following formula: The above formalism can be extended to a general dephasing situation, for instance, a register of two-level elements immersed in a quantized environment, whose Hamiltonian is described by From the preceding study, the procedure to construct the upper-triangular subspaces is simple, that is, if one performs the relevant quantum logical operations using the state , then one should perform the normal inner product with respect to the index for the quantum computing system and the upper-triangular inner product with respect to the index for the environment, and remember that the evolution of the states is described by in the upper-triangular subspace. The general considerations for the above model are given below.
4. General DF Subspace Constructed by Triangulation
Different models treat the interaction of the system with its environments quite differently; here, we propose a general procedure to construct a DF subspace by triangulation. Suppose that the states used in quantum computing system are the eigenvectors of the free Hamiltonian , then the corresponding matrix of the Hamiltonian is diagonal. Thus the spectral decomposition for the intermediate operator based on the above subdynamics formalism can be given by , where is an eigen-projector of , and is an eigenvalue of .
Now, if the system is subject to decoherence induced from the environment by (a general) , then (suppose) the matrix of Hamiltonian becomes off-diagonal to the index introduced from environment (and is diagonal to the index from the original system). Thus, one can construct the upper-triangular subspace by defining the rule of upper-triangular inner product in this space such that , for ; , only for the index related to the environment . This leads to an upper-triangular matrix of . Using this upper-triangular property, the interaction terms in the operator should be zero ; thus, the spectral decomposition of maintains invariance, that is, , where is now chosen as an upper-triangular eigen-projector with respect to .
It may be necessary to emphasize that the states required to perform quantum computing in the DF (triangular) subspace are just the projected states which can be spanned by . The projected states are measurable in this subspace since is orthogonal (and triangular with ) and distinguishable, where the triangular inner product only is valid to the index which is related to the environment; here it means , while for an other index relevant to the original system, such as , the normal inner product is still used. Finally, one may ask whether the rule of the upper-triangular inner product in this space restricts or changes the original Controlled-Not logic operation and results in errors. The answer is no, as one can see there is no influence on decoherence to the quantum Controlled-Not logic operation in (3.13). The term relative to the environment
now cannot influence the original quantum Controlled-Not logic operation
The entanglement between the system and environment is canceled in the constructed partial triangular subspace although it exists indeed in the original total space or even in the subspace with the normal inner product. The role of upper-triangular inner product with respect to the index from environment in the subspace is only to cancel the decoherence (phase shift) from the environment. Then, how can one realize the above procedure in the practical procedure for the quantum computing? We suppose to establish an additional measure or count system to read or calculate some dates, such as the eigenvalues and eigenvectors from the original system, and transfer the relevant dates to the expression in the frame of the partial triangular subspace based on (2.2) and the rule of the partial triangular product. Here the key is to establish a transformation system for the constructed partial triangular subspace, which allows the eigenvalues and eigenvectors from the original system to be expressed in the partial triangular subspace.
5. Conclusions and Remarks
A scheme for quantum computing in the DF triangular subspaces is presented. The DF subspaces are ruled by the subdynamic kinetic equation (SKE). The used quantum computing states in the DF subspaces are just the projected states in the DF triangular subspaces. Moreover, this DF subspace is partial upper-triangular, in which an inner product is only upper-triangulated to index corresponding to environment. That means, in a quantum computing process, that if one takes the upper-triangular inner product with respect to and keeps the ordinary inner product to be invariance with respect to the index related to original quantum computing system, then the decoherence in the subdynamic spaces can be completely cancelled. The Markovian and non-Markovian decoherence and collective decoherence as studied in recent publications seem not to present any restrictions on the DF subspace considered here, and this proposal may be useful generally for the register of two-level elements immersed in a quantized environment.
This work was supported by the grants from the National Natural Science Foundation of China (Grant no. 60874087) as well as Canadian NSERC, CIPI, MMO, and CITO.
D. Giulini, E. Joos, C. Kiefer, J. Kupsch, I.-O. Stamatescu, and H. D. Zeh, Decoherence and the Appearance of a Classical World in Quantum Theory, Springer, Berlin, Germany, 1996.
P. Zanardi and M. Rasetti, “Noiseless quantum codes,” Physical Review Letters, vol. 79, no. 17, pp. 3306–3309, 1997.View at: Google Scholar
L.-M. Duan and G.-C. Guo, “Preserving coherence in quantum computation by pairing quantum bits,” Physical Review Letters, vol. 79, no. 10, pp. 1953–1956, 1997.View at: Google Scholar
D. A. Lidar, I. L. Chuang, and K. B. Whaley, “Decoherence-free subspaces for quantum computation,” Physical Review Letters, vol. 81, no. 12, pp. 2594–2597, 1998.View at: Google Scholar
C. Schön and A. Beige, “Analysis of a two-atom double-slit experiment based on environment-induced measurements,” Physical Review A, vol. 64, no. 2, Article ID 023806, 9 pages, 2001.View at: Google Scholar
L. Viola, “Quantum control via encoded dynamical decoupling,” Physical Review A, vol. 66, no. 1, Article ID 012307, 10 pages, 2002.View at: Google Scholar
S. Gheorghiu-Svirschevski, “From Davydov solitons to decoherence-free subspaces: self-consistent propagation of coherent-product states,” Physical Review E, vol. 64, no. 5, Article ID 051907, 17 pages, 2001.View at: Google Scholar
P. Facchi and S. Pascazio, “Quantum Zeno subspaces and dynamical superselection rules,” in The Physics of Communication: Proceedings of the XXII Solvay Conference on Physics, pp. 251–286, Delphi Lamia, Greece, November 2001.View at: Google Scholar
B. Qiao, H. E. Ruda, and M. S. Zhan, “Two-qubit quantum computing in a projected subspace,” Physical Review A, vol. 65, no. 4, Article ID 042325, 11 pages, 2002.View at: Google Scholar
D. A. Lidar and K. B. Whaley, “Decoherence-free subspaces and subsystems,” in Irreversible Quantum Dynamics, F. Benatti and R. Floreanini, Eds., vol. 622 of Lecture Notes in Physics, pp. 83–120, Springer, Berlin, Germany, 2003.View at: Google Scholar
D. W. Kribs, R. Laflamme, D. Poulin, and M. Lesosky, “Operator quantum error correction,” Quantum Information and Computation, vol. 6, no. 4-5, pp. 382–399, 2006.View at: Google Scholar
M. Mohseni, J. S. Lundeen, K. J. Resch, and A. M. Steinberg, “Experimental application of decoherence-free subspaces in an optical quantum-computing algorithm,” Physical Review Letters, vol. 91, no. 18, Article ID 187903, 4 pages, 2003.View at: Google Scholar
B. Qiao, Subdynamics Theory and Application in Complex Dynamical System, Wuhan University of Technology Press, Wuhan, China, 1998.
A. Bohm, H. D. Doebner, and P. Kielanowski, Irreversibility and Causality, Semigroups and Rigged Hilbert Spaces, Springer, Berlin, Germany, 1998.
A. Bohm and M. Gadella, Dirac Kets, Gamow Vector and Gel'fand Triplets, Springer, Berlin, Germany, 1989.
R. Balescu, Equilibrium and Non-Equilibrium Statistical Mechanics, John Wiley & Sons, New York, NY, USA, 1975.