Entanglement-assisted stabilizer formalism
Introduction In the theory of quantum communication, the '''entanglement-assisted stabilizer formalism''' is a method for protecting quantum information with the help of entanglement shared between a sender and receiver before they transmit quantum data over a quantum communication channel. It extends the standard stabilizer formalismby including shared entanglement (Brun ''et al.'' 2006).The advantage of entanglement-assisted stabilizer codes is that the sender canexploit the error-correcting properties of an arbitrary set of Pauli operators.The sender's Pauli operators do not necessarily have to form anAbelian subgroup of the Pauli group  over  qubits.The sender can make clever use of her sharedebits so that the global stabilizer is Abelian and thus forms a validquantum error-correcting code.
Definition We review the construction of an entanglement-assisted code (Brun ''et al.'' 2006). Suppose thatthere is a nonabelian subgroup  of size .Application of the fundamental theorem of symplectic geometry (Lemma 1 in the first external reference)states that there exists a minimal set of independent generatorsfor  with the following commutation relations:::::The decomposition of  into the above minimal generating setdetermines that the code requires  ancilla qubits and  ebits. The coderequires an ebit for every anticommuting pair in the minimal generating set.The simple reason for this requirement is that an ebit is a simultaneous-eigenstate of the Pauli operators . The second qubitin the ebit transforms the anticommuting pair  into acommuting pair . The above decomposition alsominimizes the number of ebits required for the code---it is an optimal decomposition.We can partition the nonabelian group  into two subgroups: theisotropic subgroup  and the entanglement subgroup. The isotropic subgroup  is a commutingsubgroup of  and thus corresponds to ancillaqubits::.The elements of the entanglement subgroup  come inanticommuting pairs and thus correspond to ebits::.
Entanglement-assisted stabilizer code error correction conditions The two subgroups  and  play a role in theerror-correcting conditions for the entanglement-assisted stabilizerformalism. An entanglement-assisted code corrects errors in a set if for all ,:
Operation The operation of an entanglement-assisted code is as follows. The senderperforms an encoding unitary on her unprotected qubits, ancilla qubits, andher half of the ebits. The unencoded state is a simultaneous +1-eigenstate ofthe following Pauli operators::The Pauli operators to the right of the vertical bars indicate the receiver's halfof the shared ebits. The encoding unitary transforms the unencoded Pauli operatorsto the following encoded Pauli operators::The sender transmits all of her qubits over the noisy quantum channel. Thereceiver then possesses the transmitted qubits and his half of the ebits. Hemeasures the above encoded operators to diagnose the error. The last step isto correct the error.
Rate of an entanglement-assisted code We can interpret the rate of an entanglement-assisted codein three different ways (Wilde and Brun 2007b).Suppose that an entanglement-assisted quantum code encodes  informationqubits into  physical qubits with the help of  ebits. * The ''entanglement-assisted'' rate assumes that entanglement shared between sender and receiver is free. Bennett et al. make this assumption when deriving the entanglement assisted capacity of a quantum channel for sending quantum information. The entanglement-assisted rate is  for a code with the above parameters. * The ''trade-off'' rate assumes that entanglement is not free and a rate pair determines performance. The first number in the pair is the number of noiseless qubits generated per channel use, and the second number in the pair is the number of ebits consumed per channel use. The rate pair is  for a code with the above parameters. Quantum information theorists have computed asymptotic trade-off curves that bound the rate region in which achievable rate pairs lie. The construction for an entanglement-assisted quantum block code minimizes the number  of ebits given a fixed number  and  of respective information qubits and physical qubits. * The ''catalytic rate'' assumes that bits of entanglement are built up at the expense of transmitted qubits. A noiseless quantum channel or the encoded use of noisy quantum channel are two different ways to build up entanglement between a sender and receiver. The catalytic rate of an  code is .Which interpretation is most reasonable depends on the context in which we usethe code. In any case, the parameters , , and  ultimately governperformance, regardless of which definition of the rate we use to interpretthat performance.
Example of an entanglement-assisted code We present an example of an entanglement-assisted codethat corrects an arbitrary single-qubit error (Brun ''et al.'' 2006). Supposethe sender wants to use the quantum error-correcting properties of thefollowing nonabelian subgroup of ::The first two generators anticommute. We obtain a modified third generator bymultiplying the third generator by the second. We then multiply the lastgenerator by the first, second, and modified third generators. Theerror-correcting properties of the generators are invariant under theseoperations. The modified generators are as follows::The above set of generators have the commutation relations given by thefundamental theorem of symplectic geometry::The above set of generators is unitarily equivalent to the following canonicalgenerators::We can add one ebit to resolve the anticommutativity of the first twogenerators and obtain the canonical stabilizer::The receiver Bob possesses the qubit on the left and the sender Alicepossesses the four qubits on the right. The following state is an eigenstateof the above stabilizer:where  is a qubit that the sender wants toencode. The encoding unitary then rotates the canonical stabilizer to the following set of globally commutinggenerators::The receiver measures the above generators upon receipt of all qubits todetect and correct errors.
Encoding algorithm We continue with the previous example. Wedetail an algorithm for determining an encoding circuit and the optimal numberof ebits for the entanglement-assisted code---this algorithm first appeared in the appendix of (Wilde and Brun 2007a) and later in the appendix of (Shaw ''et al.'' 2008). The operators inthe above example have the following representation as a binarymatrix (See the stabilizer code article)::Call the matrix to the left of the vertical bar the "matrix" and the matrix to the right of the vertical bar the" matrix. "The algorithm consists of row and column operations on the above matrix. Rowoperations do not affect the error-correcting properties of the code but arecrucial for arriving at the optimal decomposition from the fundamental theoremof symplectic geometry. The operations available for manipulating columns ofthe above matrix are Clifford operations. Cliffordoperations preserve the Pauli group  under conjugation. TheCNOT gate, the Hadamard gate, and the Phase gate generate the Clifford group.A CNOT gate from qubit  to qubit  adds column  to column  in the matrix and adds column  to column  in the  matrix. A Hadamardgate on qubit  swaps column  in the  matrix with column  in the matrix and vice versa. A phase gate on qubit  adds column  in the matrix to column  in the  matrix. Three CNOT gates implement aqubit swap operation. The effect of a swap on qubits and  is to swap columns  and  in both the  and  matrix.The algorithm begins by computing the symplectic product between the first rowand all other rows. We emphasize that the symplectic product here is thestandard symplectic product. Leave the matrix as it is if the first row is notsymplectically orthogonal to the second row or if the first row issymplectically orthogonal to all other rows. Otherwise, swap the second rowwith the first available row that is not symplectically orthogonal to thefirst row. In our example, the first row is not symplectically orthogonal tothe second so we leave all rows as they are.Arrange the first row so that the top left entry in the  matrix is one. ACNOT, swap, Hadamard, or combinations of these operations can achieve thisresult. We can have this result in our example by swapping qubits one and two.The matrix becomes:Perform CNOTs to clear the entries in the  matrix in the top row to theright of the leftmost entry. These entries are already zero in this example sowe need not do anything. Proceed to the clear the entries in the first row ofthe  matrix. Perform a phase gate to clear the leftmost entry in the firstrow of the  matrix if it is equal to one. It is equal to zero in this caseso we need not do anything. We then use Hadamards and CNOTs to clear the otherentries in the first row of the  matrix.We perform the above operations for our example. Perform a Hadamard on qubitstwo and three. The matrix becomes:Perform a CNOT from qubit one to qubit two and from qubit one to qubit three.The matrix becomes:The first row is complete. We now proceed to clear the entries in the secondrow. Perform a Hadamard on qubits one and four. The matrix becomes:Perform a CNOT from qubit one to qubit two and from qubit one to qubit four.The matrix becomes:The first two rows are now complete. They need one ebit to compensate fortheir anticommutativity or their nonorthogonality with respect to thesymplectic product.Now we perform a "Gram-Schmidtorthogonalization" with respect to the symplectic product.Add row one to any other row that has one as the leftmost entry in its matrix. Add row two to any other row that has one as the leftmost entry in its matrix. For our example, we add row one to row four and we add row two torows three and four. The matrix becomes:The first two rows are now symplectically orthogonal to all other rows per thefundamental theorem of symplectic geometry.We proceed with the same algorithm on the next two rows. The next two rows aresymplectically orthogonal to each other so we can deal with them individually.Perform a Hadamard on qubit two. The matrix becomes:Perform a CNOT from qubit two to qubit three and from qubit two to qubitfour. The matrix becomes:Perform a phase gate on qubit two::Perform a Hadamard on qubit three followed by a CNOT from qubit two to qubitthree::Add row three to row four and perform a Hadamard on qubit two::Perform a Hadamard on qubit four followed by a CNOT from qubit three to qubitfour. End by performing a Hadamard on qubit three::The above matrix now corresponds to the canonical Pauli operators. Adding one half of an ebit to the receiver's sidegives the canonical stabilizer whosesimultaneous +1-eigenstate is the above state.The above operations in reverse ordertake the canonical stabilizer to the encodedstabilizer.
References * * Min-Hsiu Hsieh. ''Entanglement-assisted Coding Theory.'' Ph.D. Dissertation, University of Southern California, August 2008.Available at https://arxiv.org/abs/0807.2080* Mark M. Wilde. ''Quantum Coding with Entanglement.'' Ph.D. Dissertation, University of Southern California, August 2008.Available at https://arxiv.org/abs/0806.4214* * * * * * *