Advances in Mathematical Physics

Advances in Mathematical Physics / 2010 / Article
Special Issue

Quantum Information and Entanglement

View this Special Issue

Research Article | Open Access

Volume 2010 |Article ID 365653 |

Qiao Bi, Liu Guo, H. E. Ruda, "Quantum Computing in Decoherence-Free Subspace Constructed by Triangulation", Advances in Mathematical Physics, vol. 2010, Article ID 365653, 10 pages, 2010.

Quantum Computing in Decoherence-Free Subspace Constructed by Triangulation

Academic Editor: Nai-Huan Jing
Received17 Aug 2009
Revised02 Nov 2009
Accepted30 Dec 2009
Published16 Feb 2010


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.

1. Introduction

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 [24]. 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 𝐻(𝑡)=𝐻𝑆(𝑡)+𝐻𝐵+𝜆𝐻int with coupling number 𝜆. If one chooses the eigenprojectors and its orthogonal projectors of free Hamiltonian 𝐻0(𝑡)=𝐻𝑆(𝑡)+𝐻𝐵 as 𝑃𝑛 and 𝑄𝑛, respectively (this is possible since the free Hamiltonian is assumed to be easily diagonalized), then by means of the subdynamics theory [37] one can introduce a creation (destruction) correlation operator (as a type of resolvent) as 𝐶𝑛1(𝑡)=𝐸𝑛(𝑡)−𝑄𝑛𝐻(𝑡)𝑄𝑛𝑄𝑛𝐻1(𝑡)𝑃𝑛=𝐷†𝑛(𝑡),(2.1) where 𝐸𝑛(𝑡) is an eigenvalue of 𝐻(𝑡). This allows one to construct a Schrödinger type of kinetic equation for a projected state as 𝑖𝜕𝜙𝜕𝑡proj(𝑡)=Θ(𝑡)𝜙proj(𝑡),(2.2) where the projected wave function 𝜙proj is defined as 𝜙proj(𝑡)=𝑛𝑃𝑛Π𝑛(𝑡)𝜑(𝑡),(2.3) where the operator Π𝑛(𝑡) is expressed by Π𝑛𝑃(𝑡)=𝑛+𝐶𝑛𝑃(𝑡)𝑛+𝐷𝑛(𝑡)𝐶𝑛(𝑡)−1𝑃𝑛+𝐷𝑛(𝑡),(2.4) and the wave function 𝜑(𝑡) satisfies the original Schrödinger equation, while the intermediate operator Θ is defined as Θ(𝑡)=𝐻0(𝑡)+𝜆𝑛𝑃𝑛𝐻1(𝑡)𝐶𝑛(𝑡).(2.5) 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 [35], 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: 𝑖𝜕𝜌𝜕𝑡proj(𝑡)=Θ(𝑡),𝜌proj(𝑡).(2.6)

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: 𝑡∈[0,+∞) or 𝑡∈(−∞,0] 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] Ω(𝑡)Θ(𝑡)Ω−1(𝑡)=𝐻(𝑡), one can arrive at the original Schrödinger equation 𝑖𝜕𝜕𝑡𝜙(𝑡)=Ω(𝑡)Θ(𝑡)Ω−1(𝑡)𝜙(𝑡)=𝐻(𝑡)𝜙(𝑡),(2.7) where the similarity operator is defined as Ω(𝑡)=𝑛𝑃𝑛+𝐶𝑛(𝑡),(2.8) which is also not necessarily unitary. The eigenvectors of the time-independent total Hamiltonian 𝐻 can be given by the eigenvectors of 𝐻0, 𝜙𝑛, 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 𝑃=exp−𝛽𝐻𝐵𝑇𝑟𝐵exp−𝛽𝐻𝐵𝑇𝑟𝐵(2.9) 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 [41].

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 𝐻0=Θ0=𝑛𝐸0𝑛(𝑡)𝑃𝑛⟹𝑛𝐸0𝑛(𝑡)+𝐸1𝑛𝑃𝑛,(3.1) where it is not very difficult to see that the eigenprojector 𝑃𝑛 for the free Hamiltonian 𝐻0(𝑡) is invariant while the eigenvalue 𝐸0𝑛(𝑡) is changed to 𝐸0𝑛(𝑡)+𝐸1𝑛. This produces a phase shift for the evolution state 𝜙proj,𝑛𝐸(𝑡)=exp−𝑖0𝑛(𝑡)+𝐸1𝑛𝑡𝜙proj,𝑛(0),(3.2) which leads to a type of decoherence in the subspaces. For example, if the entangled states evolution in the subspace is ∑𝑛exp(−𝑖𝐸0𝑛(𝑡)𝑡)𝜙𝑛(0) before the interaction is exerted from the environment, then after the interaction the evolution of the state in the subspace becomes 𝑛exp−𝑖𝐸0𝑛(𝜙𝑡)𝑡𝑛(0)⟹𝑛𝐸exp−𝑖0𝑛(𝑡)+𝐸1𝑛𝑡𝜙𝑛(0).(3.3) 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 𝐒1 and 𝐒2, such as the two electrons of two 31𝑃 confined in a germanium/silicon heterostructure of an electron spin-resonance transistor [42, 43] or the two electrons confined in two quantum dots [44]. Ignoring the influence of the environment, the Hamiltonian can be written using the Heisenberg model as 𝐻𝑆(𝑡)=𝐽(𝑡)𝐒1⋅𝐒2, 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 [45]), 𝐽 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 𝐒1⋅𝐒2 and the square of the sum of 𝐒1 and 𝐒2, the eigenvalues and eigenvectors of 𝐒1⋅𝐒2 can be found from 𝐒1⋅𝐒2=(1/2)(𝐒2−(3/2)) by 𝐸1=12⟹||𝜙1||||𝜙⟩=11⟩,2||||𝜙⟩=00⟩,31⟩=√2||||,𝐸01⟩+10⟩23=−4⟹||𝜙41⟩=√2||||01⟩−10⟩.(3.4) A quantum Controlled-Not (CN) gate can be given by the sequence of operations 𝑈CN=𝑒𝑖(𝜋/2)𝑆𝑧1𝑒−𝑖(𝜋/2)𝑆𝑧2𝑈1/2sw𝑒𝑖𝜋𝑆𝑧1𝑈1/2sw,(3.5) where 𝑈sw 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 ∫𝜏𝑠0𝐽(𝑡)𝑑𝑡=𝜋  (mod2𝜋), 𝑈sw=𝑈𝑠(𝜋), and the swap operator which can exchange the quantum states of qubits 1 and 2 is given by [44] 𝑈sw=𝑒∫−𝑖𝜏𝑠0(𝐻𝑆(𝜏))𝑑𝜏=3𝑛=1𝑒−𝑖(𝜋/4)||𝜙𝑛⟩⟨𝜙𝑛||+𝑒𝑖(3𝜋/4)||𝜙4⟩⟨𝜙4||.(3.6)

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 𝜆𝐻int=î“ğ‘˜î€·ğœŽğ‘§1+ğœŽğ‘§2ğ‘”î€¸î€·ğ‘˜ğœŽ+𝑘+ğ‘”âˆ—ğ‘˜ğœŽâˆ’ğ‘˜î€¸,(3.7) 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 𝐻(𝑡)=𝐻𝑆(𝑡)+𝐻𝐵+𝜆𝐻int, 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 𝑃𝑛𝑘≡||𝜑𝑛𝑘⟩⟨𝜑𝑛𝑘||=||𝜙𝑛⟩⟨𝜙𝑛||⊗||||{𝑘}⟩⟨{𝑘}(3.8) and 𝑄𝑛𝑘 as 𝑄𝑛𝑘+𝑃𝑛𝑘=1, 𝑛=1,…,4. Using the definition of the eigen-projectors 𝑃𝑛𝑘, the spectral decomposition of the intermediate operator Θ is given by two cases: Θ(𝑡)=4𝑛=1⟨𝜑𝑛𝑘||𝐻𝑆(𝑡)+𝐻𝐵||𝜑𝑛𝑘⟩𝑃𝑛𝑘,withouttheinteraction,(3.9)Θ(𝑡)=4𝑛=1⟨𝜑𝑛𝑘||𝐻𝑆(𝑡)+𝐻𝐵||𝜑𝑛𝑘⟩𝑃𝑛𝑘+⟨𝜑1𝑘||𝜆𝐻int𝑄1𝑘1𝐸1𝑘(𝑡)−𝑄1𝑘𝐻(𝑡)𝑄1𝑘𝑄1𝑘𝜆𝐻int||𝜑1𝑘⟩𝑃1𝑘+⟨𝜑2𝑘||𝜆𝐻int𝑄2𝑘1𝐸2𝑘(𝑡)−𝑄2𝑘𝐻(𝑡)𝑄2𝑘𝑄2𝑘𝜆𝐻int||𝜑2𝑘⟩𝑃2𝑘,withtheinteraction,(3.10) where 𝐸1𝑘(𝑡) and 𝐸2𝑘(𝑡) are the eigenvalues of the total Hamiltonian, corresponding to the eigen-projectors of Θ(𝑡), 𝑃1𝑘, and 𝑃2𝑘, respectively. This shows that the eigen-projectors 𝑃𝑛𝑘 of Θ(𝑡) are invariant and independent of the interaction in the constructed subspace; however, for 𝑛=1,2, the eigenvalues are changed (index 𝑛 is still diagonal to 𝐻int, while index 𝑘 is off-diagonal to 𝐻int), 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 𝐻int as 𝐻utriint+𝐻dtriint, where 𝐻utriint is upper-triangular part of 𝐻int and 𝐻dtriint is lower-triangular part of 𝐻int. Then it is easy to find that ⟨𝜑𝑛𝑘||𝐻utriint+𝐻dtriint1𝐸𝑛𝑘(𝑡)−𝑄𝑛𝑘𝐻(𝑡)𝑄𝑛𝑘𝐻utriint+𝐻dtriint||𝜑𝑛𝑘⟩𝑃𝑛𝑘=⟨𝜑𝑛𝑘||𝐻utriint1𝐸𝑛𝑘(𝑡)−𝑄𝑛𝑘𝐻(𝑡)𝑄𝑛𝑘𝐻dtriint||𝜑𝑛𝑘⟩𝑃𝑛𝑘+⟨𝜑𝑛𝑘||𝐻dtriint1𝐸𝑛𝑘(𝑡)−𝑄𝑛𝑘𝐻(𝑡)𝑄𝑛𝑘𝐻utriint||𝜑𝑛𝑘⟩𝑃𝑛𝑘,(3.11) which shows that 𝐻utriintpart and 𝐻dtriint part are to be moved out in the upper-triangular or lower-triangular subspace Φutri(Φdtri), respectively. Here the upper-triangular (or lower-triangular) subspace Φutri(Φdtri) can be defined by introducing upper-triangular (or lower-triangular) projector and upper-triangular (or lower-triangular) inner product given by 𝑃𝑘𝑘′=|ğ‘˜âŸ©âŸ¨ğ‘˜î…ž|, ğ‘˜î…žâ‰¤ğ‘˜(orğ‘˜î…žâ‰¥ğ‘˜), and ⟨𝑘|𝐴|ğ‘˜î…žâŸ©, for any operator 𝐴 with ğ‘˜â‰¤ğ‘˜î…ž(orğ‘˜î…žâ‰¥ğ‘˜). 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 Φutri 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, ℋ𝑆⊗Φutri, in which one can allow the interaction terms in (3.10) to be zero 𝜑𝑗𝑘||𝜆𝐻int𝑄𝑗𝑘1𝐸𝑗𝑘(𝑡)−𝑄𝑗𝑘𝐻(𝑡)𝑄𝑗𝑘𝑄𝑗𝑘𝜆𝐻int||𝜑𝑗𝑘𝑃𝑗𝑘=0,for𝑗=1,2.(3.12) This demonstrates that the constructed intermediate operator Θ(𝑡) on the upper-triangular subspace ℋ𝑆⊗Φutri is independent upon the interaction part of the original Hamiltonian 𝐻int; consequently the phase shift introduced by 𝐻int is canceled in the subspaces although the total system experiences the decoherence introduced by 𝐻int.

In the upper-triangular subspace ℋ𝑆⊗Φutri, the quantum Controlled-Not logic operation 𝑒𝑖(𝜋/2)𝑆𝑧1𝑒−𝑖(𝜋/2)𝑆𝑧2𝑈1/2sw𝑒𝑖𝜋𝑆𝑧1𝑈1/2sw can be executed by using a sequence of operations and its relevant swap operator 𝑈sw remains invariant before and after interaction from the environment. This can be described by the following formula: 𝑇𝑟𝐵𝑒∫−𝑖𝜏𝑠0Θ(𝜏)𝑑𝜏=𝑇𝑟𝐵𝑒∫−𝑖𝜏𝑠0(𝐻𝑆(𝜏)+𝐻𝐵)𝑑𝜏=3𝑛=1𝑒−𝑖(𝜋/4)||𝜙𝑛⟩⟨𝜙𝑛||+𝑒𝑖(3𝜋/4)||𝜙4⟩⟨𝜙4||×𝑘𝑒−𝑖(âˆ’ğ‘Ž2𝜔𝑘+𝜔𝑘+1)/(âˆ’ğ‘Ž2+1)+𝑒−𝑖(âˆ’ğ‘Ž2𝜔𝑘+1+𝜔𝑘)/(âˆ’ğ‘Ž2+1).(3.13) 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 𝐻=𝑁−1𝑛=0ğœ€ğœŽğ‘§(𝑛)+𝑘𝜔𝑘𝑏†𝑘𝑏𝑘+𝑁−1𝑛=0î“ğ‘˜ğœŽğ‘§(𝑛)𝜒𝑘𝑛𝑏†𝑘+𝜒∗𝑘𝑛𝑏𝑘.(3.14) 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 𝜙(0), 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 exp(−𝑖Θ(𝑡)𝑡)𝜙(0) 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 𝐻0=𝐻𝑆(𝑡)+𝐻𝐵, then the corresponding matrix of the Hamiltonian 𝐻0 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 𝐻0, and 𝐸𝑛(𝑡) is an eigenvalue of 𝐻𝑆.

Now, if the system is subject to decoherence induced from the environment by (a general) 𝐻int, 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 ℋ𝑠⊗Φutri by defining the rule of upper-triangular inner product in this space such that ⟨𝜑𝑛𝑘|𝐻int|𝜑𝑛′𝑘′⟩≠0, for ğ‘˜â‰¤ğ‘˜î…ž; ⟨𝜑𝑛𝑘|𝐻int|𝜑𝑛′𝑘′⟩=0, only for the index related to the environment 𝑘>ğ‘˜î…ž. This leads to an upper-triangular matrix of 𝐻int. Using this upper-triangular property, the interaction terms in the Θ operator should be zero ∑𝑘′≥𝑘𝑃𝑛𝑘𝐻int𝑃𝑛′𝑘′𝐶𝑛𝑘𝑃𝑛𝑘=0; thus, the spectral decomposition of Θ=𝐻𝑆 maintains invariance, that is, Θ=𝑇𝑟𝑘(∑𝑛,𝑘𝐸𝑛(𝑡)𝑃𝑛𝑘+0)=𝐻𝑆, 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 𝜓proj(𝑡) 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 𝑘𝑒−𝑖(âˆ’ğ‘Ž2𝜔𝑘+𝜔𝑘+1)/(âˆ’ğ‘Ž2+1)+𝑒−𝑖((âˆ’ğ‘Ž2𝜔𝑘+1+𝜔𝑘)/(âˆ’ğ‘Ž2+1))(4.1)

now cannot influence the original quantum Controlled-Not logic operation 3𝑛=1𝑒−𝑖(𝜋/4)||𝜙𝑛⟩⟨𝜙𝑛||+𝑒𝑖(3𝜋/4)||𝜙4⟩⟨𝜙4||.(4.2)

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 𝜙proj(𝑡) 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.


  1. 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.
  2. P. Zanardi and M. Rasetti, “Error avoiding quantum codes,” Modern Physics Letters B, vol. 11, no. 25, pp. 1085–1093, 1997. View at: Publisher Site | Google Scholar | MathSciNet
  3. P. Zanardi and M. Rasetti, “Noiseless quantum codes,” Physical Review Letters, vol. 79, no. 17, pp. 3306–3309, 1997. View at: Google Scholar
  4. P. Zanardi, “Virtual quantum subsystems,” Physical Review Letters, vol. 87, no. 7, Article ID 077901, 4 pages, 2001. View at: Publisher Site | Google Scholar
  5. A. Barenco, A. Berthiaume, D. Deutsch, A. Ekert, R. Jozsa, and C. Macchiavello, “Stabilization of quantum computations by symmetrization,” SIAM Journal on Computing, vol. 26, no. 5, pp. 1541–1557, 1997. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  6. 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
  7. 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
  8. D. A. Lidar, D. Bacon, and K. B. Whaley, “Concatenating decoherence-free subspaces with quantum error correcting codes,” Physical Review Letters, vol. 82, no. 22, pp. 4556–4559, 1999. View at: Publisher Site | Google Scholar
  9. D. Bacon, J. Kempe, D. A. Lidar, and K. B. Whaley, “Universal fault-tolerant quantum computation on decoherence-free subspaces,” Physical Review Letters, vol. 85, no. 8, pp. 1758–1761, 2000. View at: Publisher Site | Google Scholar
  10. A. Shabani and D. A. Lidar, “Theory of initialization-free decoherence-free subspaces and subsystems,” Physical Review A, vol. 72, no. 4, Article ID 042303, 14 pages, 2005. View at: Publisher Site | Google Scholar
  11. G. Gordon, G. Kurizki, and D. A. Lidar, “Optimal dynamical decoherence control of a qubit,” Physical Review Letters, vol. 101, no. 1, Article ID 010403, 4 pages, 2008. View at: Publisher Site | Google Scholar
  12. D. A. Lidar, “Towards fault tolerant adiabatic quantum computation,” Physical Review Letters, vol. 100, no. 16, Article ID 160506, 4 pages, 2008. View at: Publisher Site | Google Scholar
  13. S. D. Kunikeev and D. A. Lidar, “Spin density matrix of a two-electron system. II. Application to a system of two quantum dots,” Physical Review B, vol. 77, no. 4, Article ID 045320, 19 pages, 2008. View at: Publisher Site | Google Scholar
  14. A. Shabani and D. A. Lidar, “Maps for general open quantum systems and a theory of linear quantum error correction,” Physical Review A, vol. 80, no. 1, Article ID 012309, 11 pages, 2009. View at: Publisher Site | Google Scholar
  15. O. Oreshkov, T. A. Brun, and D. A. Lidar, “Fault-tolerant holonomic quantum computation,” Physical Review Letters, vol. 102, no. 7, Article ID 070502, 4 pages, 2009. View at: Publisher Site | Google Scholar
  16. S. De Filippo, “Quantum computation using decoherence-free states of the physical operator algebra,” Physical Review A, vol. 62, no. 5, Article ID 052307, 6 pages, 2000. View at: Publisher Site | Google Scholar
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. M. S. Tame, M. Paternostro, and M. S. Kim, “One-way quantum computing in a decoherence-free subspace,” New Journal of Physics, vol. 9, Article ID 201, 2007. View at: Publisher Site | Google Scholar
  23. C. Bény, A. Kempf, and D. W. Kribs, “Generalization of quantum error correction via the Heisenberg picture,” Physical Review Letters, vol. 98, no. 10, Article ID 100502, 4 pages, 2007. View at: Publisher Site | Google Scholar
  24. 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
  25. D. Kribs, R. Laflamme, and D. Poulin, “Unified and generalized approach to quantum error correction,” Physical Review Letters, vol. 94, no. 18, Article ID 180501, 4 pages, 2005. View at: Publisher Site | Google Scholar
  26. 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
  27. C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, and W. K. Wootters, “Mixed-state entanglement and quantum error correction,” Physical Review A, vol. 54, no. 5, pp. 3824–3851, 1996. View at: Publisher Site | Google Scholar
  28. E. Knill and R. Laflamme, “Theory of quantum error-correcting codes,” Physical Review A, vol. 55, no. 2, pp. 900–911, 1997. View at: Publisher Site | Google Scholar
  29. M.-D. Choi and D. W. Kribs, “Method to find quantum noiseless subsystems,” Physical Review Letters, vol. 96, no. 5, Article ID 050501, 4 pages, 2006. View at: Publisher Site | Google Scholar
  30. E. Knill, “Protected realizations of quantum information,” Physical Review A, vol. 74, no. 4, Article ID 042301, 11 pages, 2006. View at: Publisher Site | Google Scholar
  31. P. G. Kwiat, A. J. Berglund, J. B. Altepeter, and A. G. White, “Experimental verification of decoherence-free subspaces,” Science, vol. 290, no. 5491, pp. 498–501, 2000. View at: Publisher Site | Google Scholar
  32. Q. Zhang, J. Yin, T.-Y. Chen et al., “Experimental fault-tolerant quantum cryptography in a decoherence-free subspace,” Physical Review A, vol. 73, no. 2, Article ID 020301, 4 pages, 2006. View at: Publisher Site | Google Scholar
  33. 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
  34. J. B. Altepeter, P. G. Hadley, S. M. Wendelken, A. J. Berglund, and P. G. Kwiat, “Experimental investigation of a two-qubit decoherence-free subspace,” Physical Review Letters, vol. 92, no. 14, Article ID 147901, 2004. View at: Publisher Site | Google Scholar
  35. I. Antoniou and S. Tasaki, “Generalized spectral decompositions of mixing dynamical systems,” International Journal of Quantum Chemistry, vol. 46, pp. 425–474, 1993. View at: Publisher Site | Google Scholar
  36. T. Petrosky and I. Prigogine, “Alternative formulation of classical and quantum dynamics for non-integrable systems,” Physica A, vol. 175, no. 1, pp. 146–209, 1991. View at: Publisher Site | Google Scholar
  37. B. Qiao, Subdynamics Theory and Application in Complex Dynamical System, Wuhan University of Technology Press, Wuhan, China, 1998.
  38. A. Bohm, H. D. Doebner, and P. Kielanowski, Irreversibility and Causality, Semigroups and Rigged Hilbert Spaces, Springer, Berlin, Germany, 1998.
  39. A. Bohm and M. Gadella, Dirac Kets, Gamow Vector and Gel'fand Triplets, Springer, Berlin, Germany, 1989.
  40. B. Qiao and H. E. Ruda, “Quantum computing using entanglement states in a photonic band gap,” Journal of Applied Physics, vol. 86, no. 9, pp. 5237–5244, 1999. View at: Publisher Site | Google Scholar
  41. R. Balescu, Equilibrium and Non-Equilibrium Statistical Mechanics, John Wiley & Sons, New York, NY, USA, 1975.
  42. B. E. Kane, “A silicon-based nuclear spin quantum computer,” Nature, vol. 393, no. 6681, pp. 133–137, 1998. View at: Publisher Site | Google Scholar
  43. R. Vrijen, E. Yablonovitch, K. Wang et al., “Electron-spin-resonance transistors for quantum computing in silicon-germanium heterostructures,” Physical Review A, vol. 62, no. 1, Article ID 012306, 10 pages, 2000. View at: Publisher Site | Google Scholar
  44. D. Loss and D. P. Divincenzo, “Quantum computation with quantum dots,” Physical Review A, vol. 57, no. 1, pp. 120–126, 1998. View at: Publisher Site | Google Scholar
  45. W. A. Coish and D. Loss, “Quantum computing with spins in solids,” View at: Google Scholar

Copyright © 2010 Qiao Bi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

More related articles

 PDF Download Citation Citation
 Download other formatsMore
 Order printed copiesOrder

Related articles

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.