Quantum convolutional code explained
Quantum block codes are useful in quantum computing and in quantum communications. The encoding circuit for a large block code typically has a high complexity although those for modern codes do have lower complexity.
Quantum convolutional coding theory offers a different paradigm for coding quantum information. The convolutional structure is useful for a quantum communication scenario where a sender possesses a stream of qubits to send to a receiver. The encoding circuit for a quantum convolutional code has a much lower complexity than an encoding circuit needed for a large block code. It also has a repetitive pattern so that the same physical devices or the same routines can manipulate the stream of quantum information.
Quantum convolutional stabilizer codes borrow heavily from the structure of their classical counterparts. Quantum convolutional codes are similar because some of the qubits feed back into a repeated encoding unitary and give the code a memory structure like that of a classical convolutional code. The quantum codes feature online encoding and decoding of qubits. This feature gives quantum convolutional codes both their low encoding and decoding complexity and their ability to correct a larger set of errors than a block code with similar parameters.
Definition
which is a countably infinite
tensor product of two-dimensional
qubit Hilbert spaces indexed over integers ≥ 0
| infty |
l{H}=
{\displaystyleotimes\limits | |
| i=0 |
}\ \mathcal_.A sequence
of
Pauli matrices
, where
| infty |
A=
{\displaystyleotimes\limits | |
| i=0 |
}\ A_,can act on states in
. Let
denote the set of all Pauli sequences. The support supp
of a Pauli sequence
is the set of indices of the entries in
that are not equal to the identity. The weight of a sequence
is the size
\left\vertsupp\left(A\right)\right\vert
of its support. The delay del
of a sequence
is the smallest index for an entry not equal to theidentity. The degree deg
of a sequence
is the largest index for an entry not equal to the identity. E.g., the following Pauli sequence
\begin{array}
[c]{cccccccc}
I&X&I&Y&Z&I&I& …
\end{array}
,
has support
, weight three, delay one, and degree four. A sequence has finite support if its weight is finite. Let
denote the set of Pauli sequences with finite support. The following definition for a quantum convolutional code utilizes the set
in its description.
A rate
-convolutional stabilizer code with
is a commuting set
of all
-qubit shifts of a basic generator set
. The basic generator set
has
Pauli sequences of finite support:
l{G}0=\left\{Gi\in
):1\leqi\leq
n-k\right\}.
The constraint length
of the code is the maximum degree of thegenerators in
. A frame of the code consists of
qubits.
A quantum convolutional code admits an equivalent definition in terms of the delay transform or
-transform. The
-transform captures shifts of the basic generator set
. Let us define the
-qubit delay operator
acting on any Pauli sequence
as follows:
We can write
repeated applications of
as a power of
:
Dj\left(A\right)=I ⊗ ⊗ A.
Let
be the set of shifts of elementsof
by
. Then the full stabilizer
for theconvolutional stabilizer code is
l{G}=
{stylecup\limits | |
| j\inZ+ |
}D^\left(\mathcal_\right) .
Operation
The operation of a convolutional stabilizer code is as follows. The protocol begins with the sender encoding a stream of qubits with an online encoding circuit such as that given in (Grassl and Roetteler 2006). The encoding circuit is online if it acts on a few blocks of qubits at a time. The sender transmits a set of qubits as soon as the first unitary finishes processing them. The receiver measures all the generators in
and corrects for errors as he receives the online encoded qubits. He finally decodes the encoded qubits with a decoding circuit. The qubits decoded from this convolutional procedure should be error free and ready for quantum computation at the receiving end.
exists by the algorithm given in (Grassl and Roetteler 2006).
Example
Forney et al. provided an example of a rate-1/3 quantum convolutional code by importing a particular classical quaternary convolutional code (Forney and Guha 2005). Grassl and Roetteler determined a noncatastrophic encoding circuit for Forney et al.'s rate-1/3 quantum convolutional code (Grassl and Roetteler 2006). The basic stabilizer and its first shift are as follows:
…
\begin{array}
{|ccc|ccc|ccc|ccc|ccc|}
I&I&I&X&X&X&X&Z&Y&I&I&I&I&I&I\\
I&I&I&Z&Z&Z&Z&Y&X&I&I&I&I&I&I\\
I&I&I&I&I&I&X&X&X&X&Z&Y&I&I&I\\
I&I&I&I&I&I&Z&Z&Z&Z&Y&X&I&I&I\\
\end{array}
…
The code consists of all three-qubit shifts of the above generators. The vertical bars are a visual aid to illustrate the three-qubit shifts of the basic generators. The code can correct for an arbitrary single-qubit error in every other frame.
Extensions
Wilde and Brun have integrated the theory of entanglement-assisted stabilizer codes and quantum convolutional codes in a series of articles (Wilde and Brun 2007a, 2007b, 2008, 2009) to form a theory of entanglement-assisted quantum convolutional coding. This theory supposes that a sender and receiver share noiseless bipartite entanglement that they can exploit for protecting a stream of quantum information.
(Wilde 2009), building on work of (Ollivier and Tillich 2004) and (Grassl and Roetteler 2006), also showed how to encode these codes with quantum shift register circuits, a natural extension of the theory ofclassical shift register circuits.
References
- quant-ph/0304189 . 10.1103/PhysRevLett.91.177902 . Description of a Quantum Convolutional Code . 2003 . Ollivier . Harold . Tillich . Jean-Pierre . 17261900 . Physical Review Letters . 91 . 17 . 177902 . 14611378 . 2003PhRvL..91q7902O .
- quant-ph/0401134 . Ollivier . H. . Tillich . J. -P. . Quantum convolutional codes: Fundamentals . 2004 . 2004quant.ph..1134O .
- Book: Forney, G. David . Dave Forney
. Dave Forney . 14484674 . Proceedings. International Symposium on Information Theory, 2005. ISIT 2005 . Simple rate-1/3 convolutional and tail-biting quantum error-correcting codes . 2005 . 1028–1032 . 10.1109/ISIT.2005.1523495 . quant-ph/0501099 . 0-7803-9151-9 .
- quant-ph/0511016 . 10.1109/TIT.2006.890698 . Convolutional and Tail-Biting Quantum Error-Correcting Codes . 2007 . David Forney . G. David . Grassl . Markus . Guha . Saikat . 546490 . IEEE Transactions on Information Theory . 53 . 3 . 865–880 .
- M. Grassl and M. Roetteler, “Quantum convolutional codes: Encoders and structural properties,” in Forty-Fourth Annual Allerton Conference, 2006. Available at http://www.csl.illinois.edu/allerton/archives/allerton06/PDFs/papers/0285.pdf
- Book: quant-ph/0602129 . 10.1109/ISIT.2006.261956 . Non-catastrophic Encoders and Encoder Inverses for Quantum Convolutional Codes . 2006 IEEE International Symposium on Information Theory . 2006 . Grassl . Markus . Rotteler . Martin . 1442 . 1109–1113 . 1-4244-0505-X .
- R. Johannesson and K. S. Zigangirov, Fundamentals of Convolutional Coding. Wiley-IEEE Press, 1999.
- Book: 0708.3699 . 10.1109/ISIT.2010.5513666 . Convolutional entanglement distillation . 2010 IEEE International Symposium on Information Theory . 2010 . Wilde . Mark M. . Krovi . Hari . Brun . Todd A. . 2409176 . 2657–2661 . 978-1-4244-7892-7 .
- 0712.2223 . 10.1103/PhysRevA.81.042333 . Entanglement-assisted quantum convolutional coding . 2010 . Wilde . Mark M. . Brun . Todd A. . 8410654 . Physical Review A . 81 . 4 . 042333 . 2010PhRvA..81d2333W .
- 0807.3803 . 10.1007/s11128-010-0179-9 . Quantum convolutional coding with shared entanglement: General structure . 2010 . Wilde . Mark M. . Brun . Todd A. . 18185704 . Quantum Information Processing . 9 . 5 . 509–540 .
- 0806.4214 . Wilde . Mark M. . Quantum Coding with Entanglement . 2008 .
- 0812.4449 . 10.1103/PhysRevA.79.032313 . Extra shared entanglement reduces memory demand in quantum convolutional coding . 2009 . Wilde . Mark M. . Brun . Todd A. . 67826844 . Physical Review A . 79 . 3 . 032313 . 2009PhRvA..79c2313W .
- 0903.3894 . 10.1103/PhysRevA.79.062325 . Quantum-shift-register circuits . 2009 . Wilde . Mark M. . 56351003 . Physical Review A . 79 . 6 . 062325 . 2009PhRvA..79f2325W .
Further reading
Publications
- 10.1109/TIT.2013.2272932 . Recursive Quantum Convolutional Encoders are Catastrophic: A Simple Proof . 2013 . Houshmand . Monireh . Wilde . Mark M. . 15309497 . IEEE Transactions on Information Theory . 59 . 10 . 6724–6731 . 1209.0082 .
- 10.1109/TCOMM.2016.2585641 . On the Mac Williams Identity for Classical and Quantum Convolutional Codes . 2016 . Lai . Ching-Yi . Hsieh . Min-Hsiu . Lu . Hsiao-Feng . 7123143 . IEEE Transactions on Communications . 64 . 8 . 3148–3159 . 1404.5012 .
- 0712.2888 . Poulin . David . Tillich . Jean-Pierre . Ollivier . Harold . Quantum serial turbo-codes . 2007 .
- Book: Djordjevic, Ivan . Quantum information processing and quantum error correction: an engineering approach. . Academic press . 2012 . 9780123854919.
- Book: Lidar . Daniel A. . Todd A. . Brun . Quantum error correction. . Cambridge University Press . 2013 . 9780521897877 . 1910.03672. Brun . Todd A. .