Chapter 8 - Decoherence-Free/Noiseless Subsystems

Introduction

In the last chapter we saw that it is possible, at least in principle, to detect and correct errors in quantum systems. In this chapter a different method for protecting against errors is explored. This method encodes information into quantum states such that the information avoids errors. The information is encoded in such a way that it is invariant under the errors produced by the system-bath Hamiltonian. This requires the identification of a symmetry and then subsequently taking advantage of that symmetry. It turns out that there is one main advantage to this method of encoding against errors which was not initially a motivation for their study. In some important examples, the states can be used to enable universal quantum computing on a set of encoded states even when it is not possible on the set of physical states. This will be explored in Section 8.5 below, and further applications will be discussed in Chapter 10.

The initial work to find error-avoiding codes involved what are called decoherence-free subspaces. They were later generalized to subsystems. These terms are defined below and reviews may be found in Whaley/Lidar and Byrd/Wu/Lidar. Although there are alternative descriptions of decoherence-free subspaces and the subsystem generalization in terms of master equations (see Whaley/Lidar and references therein), in this chapter the Hamiltonian description is used. This aids in the intuition behind these constructions and, as an introduction, this preferred here.

General Considerations

In what follows, a general quantum system will be assumed to be coupled non-trivially to a bath such that the entire system-bath Hamiltonian is given by

	$H=H_{S}\otimes I_{B}+I_{S}\otimes H_{B}+H_{I},\,\!$	(8.1)

where $H_{S}\,\!$ acts only on the system, $H_{B}\,\!$ acts only on the bath, and

	$H_{I}=\sum _{\alpha }S_{\alpha }\otimes B_{\alpha },\,\!$	(8.2)

is the interaction Hamiltonian with the $S_{\alpha }\,\!$ acting only on the system and the $B_{\alpha }\,\!$ acting only on the bath. The "error algebra" is denoted ${\mathcal {A}}\,\!$ and is the algebra generated by the set $\{H_{S},S_{\alpha }\}\,\!$. (In the words of Paulo Zanardi, these are all the bad things that can happen to the system.) The $S_{\alpha }\,\!$ obviously cause errors because they describe the interaction between the system and the bath. The reason the error algebra contains other terms is that when the system and bath together evolve unitarily, the exponential of the Hamiltonian $H\,\!$ gives products of the $S_{\alpha }\,\!$ with each other and also with $H_{S}\,\!$, and will be present in the unitary evolution. In the case that $H_{S}\,\!$ is identically zero, or we can remove it by changing basis (to a rotating frame), the problem simplifies to the consideration only of the algebra of the $S_{\alpha }\,\!$ or the modified $S_{\alpha }\,\!$ ($S_{\alpha }\,\!$ in the rotating frame) need be considered, respectively.

At this point, the objective is to find a set of states which will be immune to the errors which are present. Such states are identified using the error algebra. The way this is done is to put the algebra in a form which is block-diagonal. This type of algebra is said to be "reducible" which means that one may always block-diagonalize it. (See Appendix D.) Suppose that each element of the algebra can be put into the same block-diagonal form using a particular unitary transformation $U_{dns}\,\!$. Then for any element of the error algebra, $A_{\alpha }\,\!$, $U_{dns}A_{\alpha }U_{dns}^{\dagger }\,\!$ is block-diagonal. If the information is stored in states which are acted upon by these blocks, and only these blocks, then the information is protected because the information stays in the states which are defined by these blocks. If the blocks are $1\times 1\,\!$ blocks, i.e., $1\times 1\,\!$ submatrices, which are just numbers, then the states which make up such a system are called decoherence-free "subspaces". If the blocks are larger, then they are called decoherence-free subsystems, or noiseless subsystems.

In the next few sections, the examples will illustrate this construction and how the states are protected.

A Phase-Protected Two-Qubit Decoherence-Free Subspace

One of the simplest example of a decoherence-free subspace is a method for using two physical qubits to encode one logical qubit in such a way that the logical qubit is protected against phase errors which operate on both physical qubits in the same way. This is called a collective phase error and is quite useful as will be shown in Chapter 10.

Let us begin by assuming there is no system Hamiltonian and that the two physical qubits in the system are acted upon by the Hamiltonian

	$H_{cpe}=Z^{(1)}\otimes B+Z^{(2)}\otimes B=(Z^{(1)}+Z^{(2)})\otimes B,\,\!$	(8.3)

where $Z^{(i)}\equiv \sigma _{z}^{(i)}\,\!$ is a phase operator which acts on the $i\,\!$th qubit. This Hamiltonian acts the same on each of the two qubits to produce the same phase error on each. If we now choose our logical states two be

	$\left\vert 0_{L}\right\rangle =\left\vert 01\right\rangle ,\;\;\;\left\vert 1_{L}\right\rangle =\left\vert 10\right\rangle ,\,\!$	(8.4)

then our logical states will be given by

	$\left\vert \psi _{L}\right\rangle =a\left\vert 0_{L}\right\rangle +b\left\vert 1_{L}\right\rangle .\,\!$	(8.5)

If we now suppose that the system and bath are initially uncoupled, $\left\vert \Psi _{SB}\right\rangle =\left\vert \psi _{L}\right\rangle \otimes \left\vert \psi _{B}\right\rangle ,\,\!$ then the states, acted upon by the Hamiltonian $H_{cpe}\,\!$ gives

	$H_{cpe}\left\vert \Psi _{SB}\right\rangle =(0)\left\vert \psi _{L}\right\rangle \otimes B\left\vert \psi _{B}\right\rangle ,\,\!$	(8.6)

which gives a decoupled system and bath. This is clear since the exponential of this Hamiltonian gives the unitary evolution of the state. Thus

	$\exp(-iH_{cpe}t/\hbar )\left\vert \Psi _{SB}\right\rangle =(\left\vert \psi _{L}\right\rangle \otimes U_{B}\left\vert \psi _{B}\right\rangle ),\,\!$	(8.7)

where $U_{B}=\exp(-iBt/\hbar )\,\!$. This Hamiltonian acts as the identity on the logical states of the system. To be even more explicit, when one can trace out the bath degrees of freedom to find that the state of the system remains unchanged by this Hamiltonian. Thus the system has been encoded in such a way that this type of error does not adversely affect the state of the system. This allows for perfect storage.

It is perhaps worth emphasizing that this is a simple model of a particular type of decoherence which would ordinarily lead to collective phase errors on the system states. Such noise has also been called "weak decoherence." However, because the information is encoded, it is protected against these types of errors. In the language of a quantum error correcting codes, this is an infinite distance code since the error does not lead to an error no matter how long, or to what extent the error acts. In the next subsection we will see how this can be extended to collective errors acting on a number of qubits in an arbitrary way, not just codes that will protect against phase errors.

A Decoherence-Free Subspace Using Four Qubits

Consider a Hamiltonian which causes arbitrary collective errors on a collection of four qubits,

	${\begin{aligned}H_{ce4}&=a_{1}(X^{(1)}+X^{(2)}+X^{(3)}+X^{(4)})\otimes B\\&\;\;+a_{2}(Y^{(1)}+Y^{(2)}+Y^{(3)}+Y^{(4)})\otimes B\\&\;\;+a_{3}(Z^{(1)}+Z^{(2)}+Z^{(3)}+Z^{(4)})\otimes B,\end{aligned}}$	(8.8)

where $a_{1},a_{2},a_{3}\,\!$ are arbitrary constants. The standard procedure would be to find irreducible representations of the algebra of errors which is generated by the three collective errors

	${\begin{aligned}S_{x}&=X^{(1)}+X^{(2)}+X^{(3)}+X^{(4)}\\S_{y}&=Y^{(1)}+Y^{(2)}+Y^{(3)}+Y^{(4)}\\S_{z}&=Z^{(1)}+Z^{(2)}+Z^{(3)}+Z^{(4)}.\end{aligned}}$	(8.9)

Here again we are supposing that there is no system Hamiltonian, $H_{S}=0\,\!$.

The standard procedure would be to block-diagonalize the set of $S_{\alpha }\;\!$, which can be done. However, there are at least two other methods for identifying the decoherence-free subspace of states. One is to use the condition that we found in the last subsection that $S_{\alpha }\;\!$ acting on the states will give zero thus ensuring their invariance. This can be done by noticing that collective errors are angular momentum operators and that we could try to identify states which give zero when acted upon by these operators. A little thought would lead one to the conclusion that singlet states do not transform under the angular momentum operators since they have total angular momentum zero as well as the z-component of their angular momenta zero. Another way is to know from previous experience that the addition of angular momenta of four spin-1/2 particles will produce two singlet states. More generally, for collective errors, one may simply note that degeneracies in the representations may be used for the storage and manipulation of information. This allows one to use other techniques, such as the Young Tableaux, to identify such degeneracies. Still, this is a bit unsatisfying to those who are not familiar with any of these methods. For that reason, and also for generalizations, there does exist an algorithm for the identification of these systems which will be discussed later. For now, it will be shown that it is possible to construct states which are immune to this type of noise.

As stated, there are two singlet states in the tensor product of three two-state systems. These can be obtained by using the Wigner-Clebsch-Gordan coefficients for the addition of angular momenta. (There are many good reference for this in standard texts including Griffiths book (introductory) and Arno Bohm's book (more advanced).) The objective is to find linear combinations of the states of the two-state systems which will give singlet states. In standard spin notation the states of the two-state systems include the following basis elements:

	${\begin{aligned}&\left\vert 1/2,1/2,1/2,1/2\right\rangle ,\;\left\vert 1/2,1/2,1/2,-1/2\right\rangle ,\;\left\vert 1/2,1/2,-1/2,1/2\right\rangle ,\;\left\vert 1/2,1/2,-1/2,-1/2\right\rangle ,\\&\left\vert 1/2,-1/2,1/2,1/2\right\rangle ,\;\left\vert 1/2,-1/2,1/2,-1/2\right\rangle ,\;\left\vert 1/2,-1/2,-1/2,1/2\right\rangle ,\;\left\vert 1/2,-1/2,-1/2,-1/2\right\rangle ,\\&\left\vert -1/2,1/2,1/2,1/2\right\rangle ,\;\left\vert -1/2,1/2,1/2,-1/2\right\rangle ,\;\left\vert -1/2,1/2,-1/2,1/2\right\rangle ,\;\left\vert -1/2,1/2,-1/2,-1/2\right\rangle ,\\&\left\vert -1/2,-1/2,1/2,1/2\right\rangle ,\;\left\vert -1/2,-1/2,1/2,-1/2\right\rangle ,\;\left\vert -1/2,-1/2,-1/2,1/2\right\rangle ,\;\left\vert -1/2,-1/2,-1/2,-1/2\right\rangle ,\end{aligned}}\,\!$	(8.10)

which correspond to the computational basis states

	${\begin{aligned}&\left\vert 0,0,0,0\right\rangle ,\;\left\vert 0,0,0,1\right\rangle ,\;\left\vert 0,0,1,0\right\rangle ,\;\left\vert 0,0,1,1\right\rangle ,\\&\left\vert 0,1,0,0\right\rangle ,\;\left\vert 0,1,0,1\right\rangle ,\;\left\vert 0,1,1,0\right\rangle ,\;\left\vert 0,1,1,1\right\rangle ,\\&\left\vert 1,0,0,0\right\rangle ,\;\left\vert 1,0,0,1\right\rangle ,\;\left\vert 1,0,1,0\right\rangle ,\;\left\vert 1,0,1,1\right\rangle ,\\&\left\vert 1,1,0,0\right\rangle ,\;\left\vert 1,1,0,1\right\rangle ,\;\left\vert 1,1,1,0\right\rangle ,\;\left\vert 1,1,1,1\right\rangle .\end{aligned}}\,\!$	(8.11)

In the language of angular momentum, the objective is to change basis to obtain states of a given total angular momentum given by the standard angular momentum addition rules. For our purposes here, the transformation which takes these states to the new basis will be denoted $U_{dns}\,\!$ and is a unitary transformation corresponding to the collection of Wigner-Clebsch-Gordan coefficients. This is the matrix which will block-diagonalize all of the collective operators $S_{\alpha }\,\!$. Explicitly, the singlet states are

	${\begin{aligned}\left\vert S_{0}\right\rangle &={\frac {1}{2}}(\left\vert 0101\right\rangle +\left\vert 1010\right\rangle -\left\vert 1001\right\rangle -\left\vert 0110\right\rangle ),\\\left\vert S_{1}\right\rangle &={\frac {1}{\sqrt {12}}}(2\left\vert 0011\right\rangle +2\left\vert 1100\right\rangle -\left\vert 0110\right\rangle -\left\vert 1001\right\rangle )-\left\vert 0101\right\rangle -\left\vert 1010\right\rangle ).\end{aligned}}\,\!$	(8.12)

One can show by explicit computation that

	$S_{\alpha }\left\vert S_{i}\right\rangle =0,\,\!$	(8.13)

for $\alpha =x,y,z\,\!$ and $0,1\,\!$. The two states $\left\vert S_{0}\right\rangle \,\!$ and $\left\vert S_{0}\right\rangle \,\!$ can now be used as logical zero and logical one for a logical qubit state which is immune to any collective error on the four physical qubits.

$\,\!$

Quantum Computing on a DNS

$\,\!$