The Heisenberg Representation of Quantum Computers
Open accessAbstract
Since Shor's discovery of an algorithm to factor numbers on a quantum computer in polynomial time, quantum computation has become a subject of immense interest. Unfortunately, one of the key features of quantum computers - the difficulty of describing them on classical computers - also makes it difficult to describe and understand precisely what can be done with them. A formalism describing the evolution of operators rather than states has proven extremely fruitful in understanding an important class of quantum operations. States used in error correction and certain communication protocols can be described by their stabilizer, a group of tensor products of Pauli matrices. Even this simple group structure is sufficient to allow a rich range of quantum effects, although it falls short of the full power of quantum computation.
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
If quantum entanglement is not used in a quantum algorithm, the same algorithm can be worked with classical 0 and 1 bits computer systems without any remarkable change in computational speed.
“It has been demonstrated that if the 'quantum entanglement phenomenon' is not used in the quantum algorithm, then the same algorithm can be worked with classical 0 and 1 bits computer systems without any remarkable change in computational speed.”
From Quantum Computing in the Next-Generation Computational Biology Landscape: From Protein Folding to Molecular Dynamics (2024) · cites this paper as [21]
The Discussion and Summary (p. 19) says that circuits restricted to Clifford operations and Pauli measurements can be simulated in polynomial time on a classical computer. It does not make absence of entanglement the condition for that result or establish that the classical version runs at nearly the same speed. The paper also discusses a Bell-state teleportation circuit (Measurements, p. 15), so its classically simulable circuits are not defined by a lack of entanglement. (LLM, conf=0.87)
Experimental — accuracy not yet measuredQuantum entanglement is the cornerstone of quantum calculation speed.
“The 'quantum entanglement phenomenon' is the cornerstone of quantum calculation speed and pieces of literature are available [21, 22].”
From Quantum Computing in the Next-Generation Computational Biology Landscape: From Protein Folding to Molecular Dynamics (2024) · cites this paper as [21]
The paper discusses entangled Bell states in quantum teleportation (Section 7, p. 15), but does not say that entanglement is the cornerstone of quantum computational speed. Its Discussion and Summary (p. 19) instead says that computation is more powerful than classical computation only when it uses gates outside the Clifford group; that does not settle entanglement’s role in the claimed speed advantage. (LLM, conf=0.72)
Experimental — accuracy not yet measuredColour codes can perform all Clifford gates within a single error correction cycle.
“Colour codes can perform all Clifford gates38 within a single error correction cycle and support resource-efficient magic state injection protocols required to implement non-Clifford gates21,39,40.”
From Scaling and logic in the colour code on a superconducting quantum processor (2025) · cites this paper as [38]
Section 3 (p. 4) identifies gates that generate the Clifford group, and Section 8 (p. 19) discusses Clifford gates in stabilizer codes. Neither passage addresses whether colour codes can perform all Clifford gates within a single error-correction cycle; searches for colour/color codes and that timing claim found no supporting passage. (LLM, conf=0.72)
Experimental — accuracy not yet measured
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Cites
Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer
Shor, P. W. (1997) · SIAM Journal on Computing · doi:10.1137/s0097539795293172 · Cited by 8,472 · see citing works
Class of quantum error-correcting codes saturating the quantum Hamming bound
Gottesman, D. (1996) · Physical Review A · doi:10.1103/physreva.54.1862 · Cited by 1,227 · cited 1× · see citing works
“The set of such operators is closed under multiplication, and therefore forms a group, known as the stabilizer S [4, 5].”
BackgroundQuantum Error Correction and Orthogonal Geometry
Calderbank, A. R., Rains, E. M., Shor, P. W., & Sloane, N. J. A. (1997) · Physical Review Letters · doi:10.1103/physrevlett.78.405 · Cited by 811 · see citing works
A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits
Amy, M., Maslov, D., Mosca, M., & Roetteler, M. (2013) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · doi:10.1109/tcad.2013.2244643 · Cited by 549 · cited 12× · see citing works
“Our results imply new efficient attacks on any scheme for position-verification where the action of the honest party can be written as a low T-depth quantum circuit.”
InfluentialCodes for the quantum erasure channel
Grassl, M., Beth, T., & Pellizzari, T. (1997) · Physical Review A · doi:10.1103/physreva.56.33 · Cited by 374 · see citing works
Flagged first, then by citations
Research works printed but not linked: 6
- [2][2] Daniel Gottesman, 'A Theory of fault-tolerant quantum computation,' Phys. Rev. A 57 , 127 (1998); quant-ph/9702029. - · arXiv
- [3][3] Shyamal S. Somaroo, David G. Cory, and Timothy F. Havel, 'Expressing the operations of quantum computing in multiparticle geometric algebra,' Phys. Lett. A 240 , 1 (1998); quant-ph/9801002. - · arXiv
- [6][6] P. Shor, 'Fault-tolerant quantum computation,' Proceedings of the 37th Symposium on the Foundations of Computer Science , IEEE Computer Society Press, Los Alamitos, CA, 56 (1996); quant-ph/9605011. - · arXiv
- [7][7] L. Vaidman, L. Goldenberg, and S. Weisner, 'Error prevention scheme with four particles,' Phys. Rev. A 54 , 1745 (1996); quant-ph/9603031. - · arXiv
- [9][9] R. Laflamme, C. Miquel, J. P. Paz, and W. Zurek, 'Perfect quantum error correction code,' Phys. Rev. Lett. 77 , 198 (1996); quant-ph/9602019. - · arXiv
- [10][10] C. Bennett, D. DiVincenzo, J. Smolin, and W. Wootters, 'Mixed state entanglement and quantum error correction,' Phys. Rev. A 54 , 3824 (1996); quant-ph/9604024. - · arXiv
Cited by
Sorted by citations
Surface codes: Towards practical large-scale quantum computation
Fowler, A. G., Mariantoni, M., Martinis, J. M., & Cleland, A. N. (2012) · Physical Review A · doi:10.1103/physreva.86.032324 · Cited by 3,059 · see citing works
“[48] for a more complete introduction, and [47] in relation to quantum computing).”
BackgroundGottesman, D., & Chuang, I. L. (1999) · Nature · doi:10.1038/46503 · Cited by 1,860 · see citing works
Self-citationDennis, E., Kitaev, A., Landahl, A., & Preskill, J. (2002) · Journal of Mathematical Physics · doi:10.1063/1.1499754 · Cited by 1,768 · see citing works
Quantum error correction for quantum memories
Terhal, B. M. (2015) · Reviews of Modern Physics · doi:10.1103/revmodphys.87.307 · Cited by 1,354 · see citing works
Simulating Quantum Computation by Contracting Tensor Networks
Markov, I. L., & Shi, Y. (2008) · SIAM Journal on Computing · doi:10.1137/050644756 · Cited by 472 · see citing works
Classical simulation of noninteracting-fermion quantum circuits
Terhal, B. M., & DiVincenzo, D. P. (2002) · Physical Review A · doi:10.1103/physreva.65.032325 · Cited by 329 · see citing works
Information scrambling in quantum circuits
Mi, X., Roushan, P., Quintana, C., Mandrà, S., Marshall, J., Neill, C., Arute, F., Arya, K., Atalaya, J., Babbush, R., et al. (2021) · Science · doi:10.1126/science.abg5029 · Cited by 283 · see citing works
Learning-Based Quantum Error Mitigation
Strikis, A., Qin, D., Chen, Y., Benjamin, S. C., & Li, Y. (2021) · PRX Quantum · doi:10.1103/prxquantum.2.040330 · Cited by 237 · see citing works
Quantum Theory: Informational Foundations and Foils
(2016) · Fundamental Theories of Physics · doi:10.1007/978-94-017-7303-4 · Cited by 178 · see citing works
Pal, S., Bhattacharya, M., Lee, S.-S., & Chakraborty, C. (2024) · Molecular Biotechnology · doi:10.1007/s12033-023-00765-4 · Cited by 84 · see citing works
Designing Codes around Interactions: The Case of a Spin
Gross, J. A. (2021) · Physical Review Letters · doi:10.1103/physrevlett.127.010504 · Cited by 63 · see citing works
Sugisaki, K., Yamamoto, S., Nakazawa, S., Toyota, K., Sato, K., Shiomi, D., & Takui, T. (2016) · The Journal of Physical Chemistry A · doi:10.1021/acs.jpca.6b04932 · Cited by 55 · see citing works
Scaling and logic in the colour code on a superconducting quantum processor
Lacroix, N., Bourassa, A., Heras, F. J. H., Zhang, L. M., Bausch, J., Senior, A. W., Edlich, T., Shutty, N., Sivak, V., Bengtsson, A., et al. (2025) · Nature · doi:10.1038/s41586-025-09061-4 · Cited by 51 · see citing works
Browne, D., & Briegel, H. (2016) · Quantum Information · doi:10.1002/9783527805785.ch21 · Cited by 29 · see citing works
- Authors
- Gottesman, D.
- Venue
- arXiv
- Publisher
- arXiv
- Published
- 1998
- ISSN
- 2331-8422 (ISSN-L)
- arXiv
- quant-ph/9807006
- OpenAlex
- W1923824182
- Cited by
- 489
- References
- 5
- Citations by year
- 2026: 13 · 2025: 27 · 2024: 46 · 2023: 77 · 2022: 57 · 2021: 48 · 2020: 36 · 2019: 16 · 2018: 21 · 2017: 20 · 2016: 14 · 2015: 16 · 2014: 20 · 2013: 10 · 2012: 5
- Type
- posted content
- Language
- en
- Open access
- green
- arxiv.org
- Locations
- arXiv (Cornell University) (submittedVersion)
- arXiv (Cornell University)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Quantum Information and Cryptography
- Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
- Physical Sciences › Computer Science › Artificial Intelligence › Cryptography and Data Security
- Keywords
- Clifford+T gate set, T-depth, pre-shared entanglement, communication complexity, blind quantum computation, delegated quantum computation, position verification, quantum foundations, distributed quantum computing
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review