CSS code: Difference between revisions

From HandWiki
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>, <math> [n,k_2]</math> 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 code [[Dual code|dual]] 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:  
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  := </math> <math> 1 / \sqrt{ {{|}} C_2 {{|}} } </math> <math> \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> is defined as <math> \{ {{|}} x + C_2 \rangle \mid x \in C_1 \} </math>.
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}}
{{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}}


== 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

Short description: Class of quantum error correcting codes

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 C1 and C2 be two (classical) [n,k1] and [n,k2] linear codes such, that C2C1 and C1,C2 both have minimal distance 2t+1, where C2 is the dual code to C2. Then define CSS(C1,C2), the CSS code of C1 over C2 as an [n,k1k2,d] code, with d2t+1 as follows:

Define for xC1:|x+C2:=1|C2|yC2|x+y, where + is bitwise addition modulo 2. Then CSS(C1,C2) as quantum correcting code n,k1k2,d defined as {|x+C2xC1}.[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

  1. 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. Bibcode1996PhRvA..54.1098C. 
  2. 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. Bibcode1996RSPSA.452.2551S. 
  3. 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. 
  4. 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. 
  • 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.