CSS code: Difference between revisions
StanislovAI (talk | contribs) over-write |
add |
||
| Line 1: | Line 1: | ||
{{Short description|Class of quantum error correcting codes}} | {{Short description|Class of quantum error correcting codes}} | ||
{{For|the document presentation language|CSS}} | {{For|the document presentation language|CSS}}In [[Quantum error correction|quantum error correction]], '''Calderbank–Shor–Steane''' ('''CSS''') '''codes''', named after their inventors, Robert Calderbank, [[Biography:Peter Shor|Peter Shor]]<ref>{{cite journal | ||
In [[Quantum error correction|quantum error correction]], '''Calderbank–Shor–Steane''' ('''CSS''') '''codes''', named after their inventors, Robert Calderbank, [[Biography:Peter Shor|Peter Shor]]<ref>{{cite journal | |||
| author = Robert Calderbank and [[Biography:Peter Shor|Peter Shor]] | | author = Robert Calderbank and [[Biography:Peter Shor|Peter Shor]] | ||
| title = Good quantum error-correcting codes exist | | title = Good quantum error-correcting codes exist | ||
| Line 28: | Line 27: | ||
|bibcode=1996RSPSA.452.2551S | |bibcode=1996RSPSA.452.2551S | ||
|s2cid=8246615 | |s2cid=8246615 | ||
}}</ref> are a special type of [[Stabilizer code|stabilizer code]] constructed from classical codes with some special properties. Examples of CSS codes include the [[Steane code]], the [[Physics:Toric code|toric code]], and more general [[Physics:Toric code#Generalizations|surface codes]]. | }}</ref> are a special type of [[Stabilizer code|stabilizer code]] constructed from classical [[Linear code|linear codes]] with some special properties. Examples of CSS codes include the Shor code, [[Steane code]], the [[Physics:Toric code|toric code]], and more general [[Physics:Toric code#Generalizations|surface codes]]. | ||
== Construction == | == Construction == | ||
Let <math>C_1</math> and <math>C_2</math> be two (classical) <math> [n,k_1]</math> | Let <math>C_1</math> and <math>C_2</math> be two (classical) <math> [n,k_1]</math> and <math> [n,k_2]</math> linear codes such, that <math> C_2 \subset C_1 </math> and <math> C_1 , C_2^\perp</math> both have [[Block code|minimal distance]] <math> \geq 2t+1</math>, where <math> C_2^\perp</math> is the [[Dual code|dual code]] to <math> C_2</math>. Then define <math> \text{CSS}(C_1,C_2)</math>, the CSS code of <math> C_1</math> over <math> C_2</math> as an <math> [n,k_1 - k_2, d]</math> code, with <math> d \geq 2t+1 </math> as follows: | ||
Define for <math> x \in C_1 : {{|}} x + C_2 \rangle := | Define for <math display="block"> x \in C_1 : {{|}} x + C_2 \rangle :=\frac1{\sqrt{ | C_2|} }\sum_{y \in C_2} {{|}} x + y \rangle, </math> where <math> + </math> is bitwise addition modulo 2. Then <math> \text{CSS}(C_1,C_2) </math> as quantum correcting code <math> n,k 1 - k 2, d</math> defined as <math> \{ {{|}} x + C_2 \rangle \mid x \in C_1 \} </math>.<ref name=":0">{{Cite book |last=Nielsen |first=Michael A. |url=https://www.google.fr/books/edition/Quantum_Computation_and_Quantum_Informat/-s4DEy7o-a0C?hl=en&gbpv=1&dq=nielsen+chuang&printsec=frontcover |title=Quantum Computation and Quantum Information: 10th Anniversary Edition |last2=Chuang |first2=Isaac L. |date=2010-12-09 |publisher=Cambridge University Press |isbn=978-1-139-49548-6 |language=en}}</ref> | ||
== Properties == | |||
In the [[Stabilizer code|stabilizer code]] formalism, all CSS codes have stabilizers composed of tensor products of [[Pauli matrices]] such that each stabilizer contains either only Pauli X operations or only Pauli Z operations. The Shor code and the [[Steane code]] are examples of this condition. The [[Five-qubit error correcting code|five-qubit error correcting code]] is not a CSS code because it mixes X and Z in its stabilizers.<ref>{{Cite book |last=Williams |first=Colin P. |url=https://www.google.fr/books/edition/Explorations_in_Quantum_Computing/QE8S--WjIFwC?hl=en&gbpv=0 |title=Explorations in Quantum Computing |date=2010-12-07 |publisher=Springer Science & Business Media |isbn=978-1-84628-887-6 |language=en}}</ref> | |||
As with classical [[Linear code|linear codes]], the limit of how many qubits can be corrected is also given by the [[Gilbert–Varshamov bound for linear codes|Gilbert–Varshamov bound]].<ref name=":0" /> | |||
== References == | == References == | ||
<!--- See Wikipedia:Footnotes on how to create references using <ref></ref> tags which will then appear here automatically --> | <!--- See Wikipedia:Footnotes on how to create references using <ref></ref> tags which will then appear here automatically --> | ||
{{Reflist}} | {{Reflist}} | ||
== External links == | == External links == | ||
*{{Cite book|last1=Nielsen|first1=Michael A.|last2=Chuang|first2=Isaac L.|title=Quantum Computation and Quantum Information|publisher=Cambridge University Press|location=Cambridge|year=2010|edition=2nd|oclc=844974180|isbn=978-1-107-00217-3}} | |||
{{Quantum computing}} | {{Quantum computing}} | ||
Latest revision as of 02:28, 14 April 2026
In quantum error correction, Calderbank–Shor–Steane (CSS) codes, named after their inventors, Robert Calderbank, Peter Shor[1]
and Andrew Steane,[2] are a special type of stabilizer code constructed from classical linear codes with some special properties. Examples of CSS codes include the Shor code, Steane code, the toric code, and more general surface codes.
Construction
Let and be two (classical) and linear codes such, that and both have minimal distance , where is the dual code to . Then define , the CSS code of over as an code, with as follows:
Define for where is bitwise addition modulo 2. Then as quantum correcting code defined as .[3]
Properties
In the stabilizer code formalism, all CSS codes have stabilizers composed of tensor products of Pauli matrices such that each stabilizer contains either only Pauli X operations or only Pauli Z operations. The Shor code and the Steane code are examples of this condition. The five-qubit error correcting code is not a CSS code because it mixes X and Z in its stabilizers.[4]
As with classical linear codes, the limit of how many qubits can be corrected is also given by the Gilbert–Varshamov bound.[3]
References
- ↑ Robert Calderbank and Peter Shor (1996). "Good quantum error-correcting codes exist". Physical Review A 54 (2): 1098–1105. doi:10.1103/PhysRevA.54.1098. PMID 9913578. Bibcode: 1996PhRvA..54.1098C.
- ↑ Steane, Andrew (1996). "Multiple-Particle Interference and Quantum Error Correction". Proc. R. Soc. Lond. A 452 (1954): 2551–2577. doi:10.1098/rspa.1996.0136. Bibcode: 1996RSPSA.452.2551S.
- ↑ 3.0 3.1 Nielsen, Michael A.; Chuang, Isaac L. (2010-12-09) (in en). Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press. ISBN 978-1-139-49548-6. https://www.google.fr/books/edition/Quantum_Computation_and_Quantum_Informat/-s4DEy7o-a0C?hl=en&gbpv=1&dq=nielsen+chuang&printsec=frontcover.
- ↑ Williams, Colin P. (2010-12-07) (in en). Explorations in Quantum Computing. Springer Science & Business Media. ISBN 978-1-84628-887-6. https://www.google.fr/books/edition/Explorations_in_Quantum_Computing/QE8S--WjIFwC?hl=en&gbpv=0.
External links
- Nielsen, Michael A.; Chuang, Isaac L. (2010). Quantum Computation and Quantum Information (2nd ed.). Cambridge: Cambridge University Press. ISBN 978-1-107-00217-3. OCLC 844974180.
