Unified Quantum Convolutional Coding
We outline a quantum convolutional coding technique for protecting a stream of classical bits and qubits. Our goal is to provide a framework for designing codes that approach the “grandfather” capacity of an entanglement-assisted quantum channel for sending classical and quantum information simultaneously. Our method incorporates several resources for quantum redundancy: fresh ancilla qubits, entangled bits, and gauge qubits. The use of these diverse resources gives our technique the benefits of both active and passive quantum error correction. We can encode a classical-quantum bit stream with periodic quantum gates because our codes possess a convolutional structure. We end with an example of a “grandfather” quantum convolutional code that protects one qubit and one classical bit per frame by encoding them with one fresh ancilla qubit, one entangled bit, and one gauge qubit per frame. We explicitly provide the encoding and decoding circuits for this example and discuss its error-correcting capability.
grandfather quantum convolutional codes, entanglement-assisted quantum convolutional codes
The goal of quantum Shannon theory is to quantify the amount of quantum communication, classical communication, and entanglement required for various information processing tasks [1, 2, 3, 4]. Quantum teleportation and superdense coding  provided the initial impetus for quantum Shannon theory because these protocols demonstrate that we can combine entanglement, noiseless quantum communication, and noiseless classical communication to transmit quantum or classical information. In practice, the above resources are not noiseless because quantum systems decohere by interacting with their surrounding environment. Quantum Shannon theory is a collection of capacity theorems that determine the ultimate limits for noisy quantum communication channels. Essentially all quantum protocols have been unified as special cases of a handful of abstract protocols .
The techniques in quantum Shannon theory determine the asymptotic limits for communication, but these techniques do not produce practical ways of realizing these limits. This same practical problem exists with classical Shannon theory because the proofs that the channel capacities for classical communication are achievable use random coding techniques that are too inefficient in practice .
An example of an important capacity theorem from quantum Shannon theory
results from the “father” protocol
. The father capacity theorem determines the optimal
trade-off between the rate of ebits (entangled qubits in the state
) and the rate of qubits
in entanglement-assisted quantum communication.
The above resource inequality states that uses of the noisy quantum channel and noiseless ebits are sufficient to communicate noiseless qubits in the limit of large . The rates and are related to the noisy channel and there is a mutual dependence between them so that they form a capacity region. The father capacity theorem gives the optimal limits on the resources, but it does not provide a useful quantum coding technique for approaching the above limits.
Another important capacity theorem determines the ability of a noisy quantum channel to send “classical-quantum” states . Let denote one classical bit of noiseless classical communication. The result of the classical-quantum capacity theorem is also a resource inequality:
The resource inequality states that uses of the noisy quantum channel are sufficient to communicate noiseless qubits and noiseless classical bits in the limit of large . The capacity theorem associated to the above resource inequality, in some cases, proves that we can devise clever classical-quantum codes that perform better than time-sharing a noisy quantum channel between purely quantum codes and purely classical codes.
The “grandfather” capacity theorem determines the optimal triple trade-off between qubits, ebits, and classical bits for simultaneous transmission of classical and quantum information using an entanglement-assisted noisy quantum channel . The grandfather resource inequality is as follows:
The above resource inequality is again an asymptotic statement and its meaning is similar to that in (1) and (2). The optimal rates in the above resource inequality coincide with the father inequality (1) when , with the classical-quantum inequality (2) when , and with the quantum capacity [1, 2, 3] when both and . The optimal strategy for the grandfather protocol is not time-sharing the channel between father codes and entanglement-assisted classical codes. It remains to be proven whether this optimal strategy outperforms time-sharing .
The goal of quantum error correction  is to find efficient and practical ways of coding quantum information to protect it against decoherence. One aspiration for this theory is to find quantum codes that approach the rates given by quantum Shannon theory in the limit of large block size.
The entanglement-assisted stabilizer formalism is a method for building a quantum block code using entanglement . This theory has several benefits, such as the ability to produce a quantum code from an arbitrary classical linear block code, and has several generalizations [10, 11, 12]. Entanglement-assisted codes are “father” codes, in the sense that a good entanglement-assisted coding strategy should approach the optimal rates in (1).
In this Proceeding, we design a framework for “grandfather” quantum codes. Our grandfather codes are useful
for the simultaneous transmission of classical and quantum information. Rather
than using block codes for this purpose, we design quantum convolutional
We structure this proceeding as follows. Section 2 details our “grandfather” quantum convolutional codes. We detail the finite-depth operations that quantum convolutional circuits employ when encoding and decoding a stream of quantum information. We explicitly show how to encode a stream of classical-quantum information using finite-depth operations and discuss the error-correcting properties of our codes. We end with an example of a grandfather quantum convolutional code. We discuss errors that the code corrects actively and others that it corrects passively.
2 Grandfather Quantum Convolutional Codes
We now detail the stabilizer formalism for our grandfather quantum convolutional codes and describe how these codes operate. These codes are a significant extension of the existing entanglement-assisted quantum convolutional codes .
An grandfather quantum convolutional code encodes information qubits and information classical bits with the help of ebits, ancilla qubits, and gauge qubits. Each input frame includes the following:
The sender Alice’s half of ebits in the state .
ancilla qubits in the state .
gauge qubits (which can be in any arbitrary state ).
classical information bits , given by a computational basis state .
information qubits in an arbitrary pure state .
The left side of Figure 1 shows an example initial qubit stream before an encoding circuit operates on it.
The stabilizer matrix for the initial qubit stream is as follows:
where all identity matrices in the first two sets of rows are , the identity matrix in the last row is , the three columns of all zeros in both the “Z” and “X” matrices are respectively , , and . The matrices on the left of the vertical bar form the “Z” matrix and those on the right form the “X” matrix according to the Pauli-to-binary-polynomial isomorphism (see Ref.’s [10, 12] for a review of this isomorphism from the set of Pauli sequences to vectors of binary polynomials). The first two sets of rows stabilize a set of ebits and the last set of rows stabilizes a set of ancilla qubits. The first columns of both the “Z” and “X” matrix correspond to halves of ebits that the receiver Bob possesses and the last columns in both matrices correspond to the qubits that Alice possesses. The global generators (including both Alice and Bob’s qubits) form a commuting set of generators for all shifts, but Alice’s local generators do not necessarily form a commuting set.
Different sets of generators for the grandfather code are important in active error correction, in passive error correction, and for the identification of the classical information bits. We first write the unencoded generators that act on the initial qubit stream. The first subgroup of generators is the entanglement subgroup with the following generators:
The above generators are equivalent to the first two sets of rows in (4) acting on Alice’s qubits. The next subgroup is the isotropic subgroup with the following generators:
The above generators are equivalent to the last set of rows in (4) acting on Alice’s qubits. The encoded versions of both of the above two matrices are important for the active correction of errors. The next subgroup is the gauge subgroup whose generators are as follows:
The generators in correspond to quantum operations that have no effect on the encoded quantum information and therefore represent a set of errors to which the code is immune. The last subgroup is the classical subgroup with generators
The grandfather code passively corrects errors corresponding to the encoded version of the above generators because the initial qubit stream is immune to the action of operators in (up to a global phase). Alice could measure the generators in to determine the classical information in each frame. Unlike quantum information, it is possible to measure classical information without disturbing it.
Alice performs a periodic encoding circuit on her qubits to encode the initial set of ebits, ancilla qubits, and information qubits in each frame. She performs encoding operations only on her qubits because the channel spatially separates her qubits from Bob’s qubits. The periodic encoding circuit encodes the information qubits and transforms the initial set of generators in (5-8) to a more general set of encoded generators. We use three types of operations in the example code in Section 3:
Let denote a Hadamard gate acting on qubit of every frame. The effect of is to swap column in the “Z” matrix with column in the “X” matrix.
Let denote a CNOT gate from qubit in every frame to qubit in a frame delayed by where . This gate affects both the “X” and “Z” matrices. In the “X” matrix, it multiplies column by and adds the result to column . In the “Z” matrix, it multiplies column by and adds the result to column . Let be an arbitrary finite binary polynomial. Let denote the sequence of CNOT gates corresponding to the polynomial .
Let swap qubits and in every frame and column and column in both “X” and “Z.”
Quantum convolutional circuits can employ other operations besides the above three , but we need only these three operations for the purposes of the current paper. The above operations and the others in the above references are finite-depth, because they transform any Pauli sequence with a finite number of non-identity entries to a Pauli sequence with a finite number of non-identity entries . Finite-depth operations are desirable because they do not propagate uncorrected errors into the qubit stream when encoding or decoding.
The three gates used in this paper are all their own inverses. Therefore, the operations of the decoding circuit are the encoding operations performed in reverse order. The online nature of the decoding circuit follows directly from the online nature of the encoding circuit.
Alice performs an encoding circuit with finite-depth operations to encode her stream of qubits before sending them over the noisy quantum channel. The encoding circuit transforms the initial stabilizer to the encoded stabilizer as follows:
where , , and are each -dimensional, and and are both -dimensional. The encoding circuit affects only the rightmost entries in both the “Z” and “X” matrix of because these are the qubits in Alice’s possession. It transforms , , , and as follows:
where , , and are each -dimensional and and are each -dimensional. The above polynomial matrices have the same commutation relations as their corresponding unencoded polynomial matrices in (5-8) and respectively generate the entanglement subgroup , the isotropic subgroup , the gauge subgroup , and the classical subgroup .
The condition for a set of generators to form a commuting stabilizer is equivalent to orthogonality of each row in with respect to the shifted symplectic product [14, 10]. This is equivalent to the condition
where represents binary addition of polynomials and the above matrix on the right of the equality is an null matrix. The original generators in (4) obey this condition, and the periodic encoding circuit preserves the condition because any encoding circuit preserves the commutation relations of the original generators.
A grandfather quantum convolutional code operates as follows. Alice begins with an initial qubit stream as above. She performs the finite-depth encoding operations corresponding to a specific grandfather quantum convolutional code. She sends the encoded qubits online over the noisy quantum communication channel. Bob combines the received qubits with his half of the ebits in each frame. He obtains the error syndrome by measuring the generators in (9). He processes these syndrome bits with a classical error estimation algorithm to diagnose errors and applies recovery operations to reverse the errors. He then performs the inverse of the encoding circuit to recover the initial qubit stream with the information qubits and the classical information bits. He recovers the classical information bits either by measuring the generators in before decoding or the generators in after decoding.
A grandfather quantum convolutional code corrects errors in a Pauli error set that obey one of the following conditions :
where denotes the larger group generated by a set of subgroups and denotes the anticomutator for two operators and so that . It corrects errors that anticommute with generators in by employing a classical error estimation algorithm, such as the Viterbi algorithm . The code passively protects against errors in the group .
Our scheme for quantum convolutional coding incorporates many of the known techniques for quantum error correction. It can take full advantage of the benefits of these different techniques.
We present an example of a grandfather quantum convolutional code in this section. The code protects one information qubit and one classical bit with the help of an ebit, an ancilla qubit, and a gauge qubit. The first frame of input qubits has the state
where is the ebit, is the ancilla qubit, is an arbitrary state for the gauge qubit, is a classical bit represented by state or , and is one information qubit equal to . The states of the other input frames have a similar form though recall that information qubits can be entangled across multiple frames.
The initial unencoded stabilizer for the code is as follows:
The first two rows stabilize the ebit shared between Alice and Bob. Bob possesses the half of the ebit in column one and Alice possesses the half of the ebit in column two in both the left and right matrix. The third row stabilizes the ancilla qubit.
The generators for the initial entanglement subgroup , isotropic subgroup , gauge subgroup , and classical subgroup are respectively as follows:
The sender performs the following finite-depth operations (order is from left to right and top to bottom):
Figure 1 details these operations on the initial qubit stream. The initial stabilizer matrix transforms to under these encoding operations, where
and . The generators for the different subgroups transform respectively as follows:
The code actively protects against an arbitrary single-qubit error in every other frame. One can check that the syndromes of the stabilizer in satisfy this property. Consider the Pauli generators corresponding to the generators in the entanglement subgroup and the isotropic subgroup:
where all other entries in the left and right directions are tensor products of the identity. We can use a table-lookup syndrome-based algorithm to determine the error-correcting capability of the code. The method is similar to the technique originally outlined in detail in Ref. . The syndrome vector consists of six bits where . The first bit is one if the error anticommutes with the operator in the first part of the first generator above and zero otherwise. The second bit is one if the error anticommutes with the operator in the delayed part of the first generator above and zero otherwise. The third through sixth bits follow a similar pattern for the second and third generators above. Table 1 lists all single-qubit errors over five qubits and their corresponding syndromes. The code corrects an arbitrary single-qubit error in every other frame using this algorithm because the syndromes are all unique. A syndrome-based Viterbi algorithm might achieve better performance than the simple syndrome table-lookup algorithm outlined above.
This code also has passive protection against errors in . The Pauli form of the errors in this group span over three frames and are as follows:
The smallest weight errors in this group have weight two and three. The code passively corrects the above errors or any product of them or any five-qubit shift of them.
There is a trade-off between passive error correction and the ability to encode quantum information as discussed in Ref. . One can encode more quantum information by dropping the gauge group and instead encoding an extra qubit. The gauge generators then become logical and operators for the extra encoded qubits. One can also turn the classical bit into a qubit by dropping the generators in the classical subgroup. These generators then become logical operators for the extra encoded qubits.
We have presented a framework and a representative example for grandfather quantum convolutional codes. We have explicitly shown how these codes operate, and how to encode and decode a classical-quantum information stream by using ebits, ancilla qubits, and gauge qubits for redundancy. The ultimate goal for this theory is to find quantum convolutional codes that might play an integral part in larger quantum codes that approach the grandfather capacity . One useful line of investigation may be to combine this theory with the recent quantum turbo-coding theory .
The authors thank Isaac Kremsky, Min-Hsiu Hsieh, and Igor Devetak for useful discussions. MMW and TAB acknowledge support from NSF Grants CCF-0545845 and CCF-0448658.
- This protocol is the “father” protocol because it generates many of the protocols in the family tree of quantum information theory . The nickname “father” is a useful shorthand for classifying the protocol—there exists a mother, grandmother, and grandfather protocol as well .
- Kremsky, Hsieh, and Brun address the formulation of grandfather block codes in a recent article .
- This statement is not entirely true because the information qubits can be entangled across multiple frames, or with an external system, but we use it to illustrate the idea.
- S. Lloyd, “Capacity of the noisy quantum channel,” Phys. Rev. A, vol. 55, no. 3, pp. 1613–1622, Mar 1997.
- P. W. Shor, “The quantum channel capacity and coherent information,” in Lecture Notes, MSRI Workshop on Quantum Computation, 2002.
- I. Devetak, “The private classical capacity and quantum capacity of a quantum channel,” IEEE Trans. Inf. Theory, vol. 51, pp. 44–55, 2005.
- I. Devetak, A. W. Harrow, and A. Winter, “A resource framework for quantum shannon theory,” arXiv:quant-ph/0512015, 2005.
- M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information. Cambridge University Press, 2000.
- C. E. Shannon, “A mathematical theory of communication,” Bell System Technical Journal, vol. 27, pp. 379–423, 1948.
- I. Devetak and P. W. Shor, “The capacity of a quantum channel for simultaneous transmission of classical and quantum information,” Communications in Mathematical Physics, vol. 256, pp. 287–303, 2005.
- I. Devetak, P. Hayden, D. Leung, and P. Shor, “Triple trade-offs in quantum shannon theory,” In preparation, 2008.
- T. A. Brun, I. Devetak, and M.-H. Hsieh, “Correcting quantum errors with entanglement,” Science, vol. 314, no. 5798, pp. pp. 436 – 439, October 2006.
- M. M. Wilde, H. Krovi, and T. A. Brun, “Convolutional entanglement distillation,” arXiv:0708.3699, 2007.
- M.-H. Hsieh, I. Devetak, and T. Brun, “General entanglement-assisted quantum error-correcting codes,” Phys. Rev. A, vol. 76, p. 062313, 2007.
- M. M. Wilde and T. A. Brun, “Entanglement-assisted quantum convolutional coding,” arXiv:0712.2223, 2007.
- I. Kremsky, M.-H. Hsieh, and T. A. Brun, arXiv:0802.2414, 2008.
- H. Ollivier and J.-P. Tillich, “Quantum convolutional codes: fundamentals,” arXiv:quant-ph/0401134, 2004.
- M. Grassl and M. Rötteler, “Noncatastrophic encoders and encoder inverses for quantum convolutional codes,” in IEEE International Symposium on Information Theory (quant-ph/0602129), 2006.
- G. D. Forney, M. Grassl, and S. Guha, “Convolutional and tail-biting quantum error-correcting codes,” IEEE Trans. Inf. Theory, vol. 53, pp. 865–880, 2007.
- D. Kribs, R. Laflamme, and D. Poulin, “Unified and generalized approach to quantum error correction,” Physical Review Letters, vol. 94, no. 18, p. 180501, 2005.
- D. Poulin, “Stabilizer formalism for operator quantum error correction,” Physical Review Letters, vol. 95, no. 23, p. 230504, 2005.
- 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, p. 100502, 2007.
- A. J. Viterbi, “Error bounds for convolutional codes and an asymptotically optimum decoding algorithm,” IEEE Trans. Inf. Theory, vol. 13, pp. 260–269, 1967.
- D. Poulin, J.-P. Tillich, and H. Ollivier, “Quantum serial turbo-codes,” arXiv:0712.2888, 2007.