{
 "id": "ep2ejpv4ez",
 "slug": "daniel-gottesman",
 "title": "Daniel Gottesman",
 "updated": "2026-10-15",
 "topic_path": [
  {
   "id": "physical",
   "label": "Physical world and mathematics",
   "api_url": "https://www.edgepedia.org/api/v1/topics/physical"
  },
  {
   "id": "physical.scientists",
   "label": "Physical and mathematical scientists",
   "api_url": "https://www.edgepedia.org/api/v1/topics/physical.scientists"
  },
  {
   "id": "physical.scientists.physics-astronomy",
   "label": "Physicists and astronomers",
   "api_url": "https://www.edgepedia.org/api/v1/topics/physical.scientists.physics-astronomy"
  },
  {
   "id": "physical.scientists.physics-astronomy.phys-amo",
   "label": "Researchers in atomic, molecular, and optical physics and quantum information",
   "api_url": "https://www.edgepedia.org/api/v1/topics/physical.scientists.physics-astronomy.phys-amo"
  },
  {
   "id": "physical.scientists.physics-astronomy.phys-amo.quantum-information-and-quantum-computing",
   "label": "Quantum information and quantum computing",
   "api_url": "https://www.edgepedia.org/api/v1/topics/physical.scientists.physics-astronomy.phys-amo.quantum-information-and-quantum-computing"
  }
 ],
 "geo": [
  {
   "id": "geo.us.t1946.physical.scientists.physics-astronomy.phys-amo",
   "label": "United States · 1946 to 2000: Researchers in atomic, molecular, and optical physics and quantum information",
   "api_url": "https://www.edgepedia.org/api/v1/geo/geo.us.t1946.physical.scientists.physics-astronomy.phys-amo",
   "path": [
    {
     "id": "geo.us",
     "label": "United States",
     "api_url": "https://www.edgepedia.org/api/v1/geo/geo.us"
    },
    {
     "id": "geo.us.t1946",
     "label": "United States · 1946 to 2000",
     "api_url": "https://www.edgepedia.org/api/v1/geo/geo.us.t1946"
    },
    {
     "id": "geo.us.t1946.physical",
     "label": "Physical world and mathematics",
     "api_url": "https://www.edgepedia.org/api/v1/geo/geo.us.t1946.physical"
    },
    {
     "id": "geo.us.t1946.physical.scientists",
     "label": "Physical and mathematical scientists",
     "api_url": "https://www.edgepedia.org/api/v1/geo/geo.us.t1946.physical.scientists"
    },
    {
     "id": "geo.us.t1946.physical.scientists.physics-astronomy",
     "label": "Physicists and astronomers",
     "api_url": "https://www.edgepedia.org/api/v1/geo/geo.us.t1946.physical.scientists.physics-astronomy"
    },
    {
     "id": "geo.us.t1946.physical.scientists.physics-astronomy.phys-amo",
     "label": "Researchers in atomic, molecular, and optical physics and quantum information",
     "api_url": "https://www.edgepedia.org/api/v1/geo/geo.us.t1946.physical.scientists.physics-astronomy.phys-amo"
    }
   ]
  }
 ],
 "excerpt": "Daniel Gottesman is a professor at the University of Maryland and co-director of QuICS, best known for developing the stabilizer code formalism and fault-tolerant quantum computation.",
 "snippet": "Daniel Gottesman is a professor at the University of Maryland and co-director of QuICS, best known for developing the stabilizer code formalism and fault-tolerant quantum computation.",
 "node": "physical.scientists.physics-astronomy.phys-amo.quantum-information-and-quantum-computing",
 "markdown": "# Daniel Gottesman\n\n**Daniel Gottesman** is the Brin Family Endowed Professor in Theoretical Computer Science at the University of Maryland, a QuICS Fellow, and Co-director of the [Joint Center for Quantum Information and Computer Science](https://www.edgepedia.org/joint-center-for-quantum-information-and-computer-science) (QuICS)<sup>[1](https://www.cs.umd.edu/~dgottesm/)</sup>. He is best known for developing the stabilizer code formalism, a group-theoretical framework for creating and describing a large class of quantum error-correcting codes, and for work on performing quantum gates using quantum teleportation<sup>[1](https://www.cs.umd.edu/~dgottesm/)</sup>. His research spans quantum error correction, fault-tolerant quantum computation, quantum cryptography, and quantum complexity<sup>[2](https://quics.umd.edu/people/daniel-gottesman)</sup>.\n\n| Key fact | Detail |\n|---|---|\n| Current position | Brin Family Endowed Professor in Theoretical Computer Science, University of Maryland; Co-director of QuICS<sup>[1](https://www.cs.umd.edu/~dgottesm/)</sup> |\n| Signature contribution | The stabilizer code formalism, introduced in his 1996 Physical Review A paper and 1997 Caltech PhD thesis<sup>[3](https://www.cs.umd.edu/~dgottesm/papers.html)</sup><sup> • </sup><sup>[4](https://arxiv.org/abs/quant-ph/9705052v1)</sup> |\n| Gottesman–Knill theorem | Stabilizer circuits (CNOT, Hadamard, and phase gates only) can be simulated efficiently on a classical computer; simulation is complete for the class ⊕L<sup>[5](https://journals.aps.org/pra/abstract/10.1103/PhysRevA.70.052328)</sup> |\n| Fault tolerance | Showed universal fault-tolerant computation is possible for any stabilizer code (Phys. Rev. A 57, 127, 1998)<sup>[6](https://journals.aps.org/pra/abstract/10.1103/PhysRevA.57.127)</sup> |\n| Threshold values | Rigorous proofs give a threshold of at least 2×10⁻⁵ (one error per 50,000 operations); optimized simulations suggest the true threshold may be as high as 5%<sup>[7](https://ar5iv.labs.arxiv.org/html/quant-ph/0507174)</sup> |\n| Constant overhead | Showed the ratio of physical to logical qubits can be constant in large circuits, using quantum LDPC codes with overhead equal to the inverse rate 1/R<sup>[8](https://ar5iv.labs.arxiv.org/html/1310.2984)</sup> |\n\n## Education and career\n\nGottesman received his PhD at Caltech in 1997, then did postdocs at Los Alamos National Lab and [Microsoft Research](https://www.edgepedia.org/microsoft-research)<sup>[1](https://www.cs.umd.edu/~dgottesm/)</sup>. He next served in the UC Berkeley computer science department as a Long-Term Prize Fellow with the [Clay Mathematics Institute](https://www.edgepedia.org/clay-mathematics-institute)<sup>[9](https://simons.berkeley.edu/people/daniel-gottesman)</sup>. He then spent 19 years as a faculty member at Perimeter Institute in [Waterloo, Ontario](https://www.edgepedia.org/waterloo-ontario) before moving to Maryland<sup>[1](https://www.cs.umd.edu/~dgottesm/)</sup>.\n\nHis honors include selection for MIT Technology Review's TR100: Top Young Innovators for 2003 and election as a Fellow of the [American Physical Society](https://www.edgepedia.org/american-physical-society)<sup>[1](https://www.cs.umd.edu/~dgottesm/)</sup>.\n\n## Stabilizer codes and the Heisenberg representation\n\nGottesman's 1996 paper \"Class of quantum error-correcting codes saturating the quantum Hamming bound\" (Phys. Rev. A 54, 1862) develops the formalism of stabilizer codes and describes a class of codes that correct one error using 2ʲ qubits; he calls it probably his most important paper<sup>[3](https://www.cs.umd.edu/~dgottesm/papers.html)</sup>. His 1997 Caltech thesis, *Stabilizer Codes and Quantum Error Correction*, presents the group-theoretical structure in full, arguing that this subclass of quantum codes \"has proved particularly fruitful in producing codes and in understanding the structure of both specific codes and classes of codes,\" and surveys known codes, quantum channel capacity, and bounds on quantum codes<sup>[4](https://arxiv.org/abs/quant-ph/9705052v1)</sup>.\n\nIndependent credit is established in the literature. Andrew M. Steane writes in his 2006 tutorial that \"the important concept of the stabilizer is due to Gottesman and independently Calderbank et. al.; this yielded many useful insights into the subject, and permitted many new codes to be discovered\"<sup>[10](https://www.cpt.univ-mrs.fr/~verga/pdfs/Steane-2006.pdf)</sup>. Steane's review also records that Gottesman, independently of Ekert and Macchiavello and others, derived the quantum [Hamming bound](https://www.edgepedia.org/hamming-bound)<sup>[10](https://www.cpt.univ-mrs.fr/~verga/pdfs/Steane-2006.pdf)</sup>.\n\n## The Gottesman–Knill theorem\n\nThe [Gottesman–Knill theorem](https://www.edgepedia.org/gottesman-knill-theorem) states that a stabilizer circuit, meaning a quantum circuit consisting solely of controlled-NOT (CNOT), Hadamard, and phase gates, can be simulated efficiently on a classical computer<sup>[5](https://journals.aps.org/pra/abstract/10.1103/PhysRevA.70.052328)</sup>.\n\n[Scott Aaronson](https://www.edgepedia.org/scott-aaronson) and Gottesman showed in 2004 that the problem of simulating stabilizer circuits is complete for the classical complexity class ⊕L, which means stabilizer circuits are probably not even universal for classical computation<sup>[5](https://journals.aps.org/pra/abstract/10.1103/PhysRevA.70.052328)</sup>. The same paper improved the speed of simulation from O(n³) to O(n²) for n qubits, and implemented the algorithm in a freely available program called CHP (CNOT-Hadamard-phase), which can handle thousands of qubits easily<sup>[3](https://www.cs.umd.edu/~dgottesm/papers.html)</sup><sup> • </sup><sup>[5](https://journals.aps.org/pra/abstract/10.1103/PhysRevA.70.052328)</sup>.\n\n## Fault-tolerant quantum computation and thresholds\n\nTo use quantum error-correcting codes to improve a quantum computer's performance, operations must be performed fault-tolerantly on encoded states. Gottesman's 1998 paper \"A Theory of Fault-Tolerant Quantum Computation\" (Phys. Rev. A 57, 127) presents a general theory of fault-tolerant operations based on symmetries of the code stabilizer, allowing a straightforward determination of which operations can be performed fault-tolerantly on a given code; a transversal operation, which acts independently on each qubit in the block, is the prototypical fault-tolerant operation<sup>[11](https://arxiv.org/abs/quant-ph/9702029)</sup>. The paper demonstrates that fault-tolerant universal computation is possible for any stabilizer code, discussing the five-quantum-bit code among its examples<sup>[6](https://journals.aps.org/pra/abstract/10.1103/PhysRevA.57.127)</sup>.\n\nA fault-tolerance threshold is a protocol-dependent bound on the error rate. In a distance-3 fault-tolerant protocol, the probability of logical error for a single logical gate or timestep is at most Cp², so fault tolerance helps when the physical error rate p is below the threshold pₜ = 1/C<sup>[7](https://ar5iv.labs.arxiv.org/html/quant-ph/0507174)</sup>. The best rigorous proofs of the threshold show it is at least 2×10⁻⁵, meaning one error per 50,000 operations, while optimized simulations of fault-tolerant protocols suggest the true threshold may be as high as 5%<sup>[7](https://ar5iv.labs.arxiv.org/html/quant-ph/0507174)</sup>. The Aliferis–Gottesman–Preskill 2006 paper pushed rigorous proof further, establishing a threshold above 1/1000 error rate per gate for concatenated error-detecting codes<sup>[3](https://www.cs.umd.edu/~dgottesm/papers.html)</sup>.\n\nThe gap between proven and simulated thresholds has a practical cost: to tolerate error rates near 5%, existing protocols require enormous overhead, perhaps increasing the number of gates and qubits by a factor of a million or more for typical computations<sup>[7](https://ar5iv.labs.arxiv.org/html/quant-ph/0507174)</sup>.\n\n## By the numbers\n\nThe aggregator's per-paper counts for key works:\n\n- 1996 Hamming-bound paper (Phys.\n- 1998 fault-tolerance paper (Phys.\n- 2001 Kitaev–Preskill–Gottesman paper \"Encoding a qubit in an oscillator\" (Phys.\n\n## How it compares with Shor, Steane, and Kitaev\n\nThe stabilizer formalism organized a field that had begun with specific constructions. Steane's review records the lineage: [Peter Shor](https://www.edgepedia.org/peter-shor) proved that 9 qubits could be used to protect a single qubit against general errors, while Steane described a general code construction whose simplest example does the same job using 7 qubits<sup>[10](https://www.cpt.univ-mrs.fr/~verga/pdfs/Steane-2006.pdf)</sup>. Gottesman's contribution was the general framework that produced and classified such codes, plus the independent derivation of the quantum Hamming bound<sup>[10](https://www.cpt.univ-mrs.fr/~verga/pdfs/Steane-2006.pdf)</sup>.\n\nHis collaboration with [Alexei Kitaev](https://www.edgepedia.org/alexei-kitaev) and John P. Preskill produced the 2001 [Physical Review A](https://www.edgepedia.org/physical-review-a) paper \"Encoding a qubit in an oscillator\".<sup>[12](https://journals.aps.org/pra/abstract/10.1103/PhysRevA.64.012310)</sup>\n\n## References\n\n1. [Daniel Gottesman personal homepage, University of Maryland](https://www.cs.umd.edu/~dgottesm/)\n2. [Daniel Gottesman, QuICS, University of Maryland](https://quics.umd.edu/people/daniel-gottesman)\n3. [Daniel Gottesman's Papers (official publication list)](https://www.cs.umd.edu/~dgottesm/papers.html)\n4. [Stabilizer Codes and Quantum Error Correction (PhD thesis, arXiv:quant-ph/9705052)](https://arxiv.org/abs/quant-ph/9705052v1)\n5. [Aaronson & Gottesman, \"Improved Simulation of Stabilizer Circuits,\" Phys. Rev. A 70, 052328 (2004)](https://journals.aps.org/pra/abstract/10.1103/PhysRevA.70.052328)\n6. [Gottesman, \"A Theory of Fault-Tolerant Quantum Computation,\" Phys. Rev. A 57, 127 (1998)](https://journals.aps.org/pra/abstract/10.1103/PhysRevA.57.127)\n7. [Gottesman, \"Quantum Error Correction and Fault-Tolerance\" (review, arXiv:quant-ph/0507174)](https://ar5iv.labs.arxiv.org/html/quant-ph/0507174)\n8. [Gottesman, \"Fault-Tolerant Quantum Computation with Constant Overhead\" (arXiv:1310.2984)](https://ar5iv.labs.arxiv.org/html/1310.2984)\n9. [Daniel Gottesman, Simons Institute, UC Berkeley](https://simons.berkeley.edu/people/daniel-gottesman)\n10. [A. M. Steane, \"A Tutorial on Quantum Error Correction\" (2006)](https://www.cpt.univ-mrs.fr/~verga/pdfs/Steane-2006.pdf)\n11. [Gottesman, \"A Theory of Fault-Tolerant Quantum Computation\" (arXiv:quant-ph/9702029)](https://arxiv.org/abs/quant-ph/9702029)\n12. [journals.aps.org](https://journals.aps.org/pra/abstract/10.1103/PhysRevA.64.012310)\n\n---\n*Topic: Encyclopedia › Physical world and mathematics › Physical and mathematical scientists › Physicists and astronomers › Researchers in atomic, molecular, and optical physics and quantum information › Quantum information and quantum computing*\n\n*Initially written Oct 10, 2026 · Edited: Oct 11, 2026; Oct 15, 2026*\n\n*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*\n\nLicense: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license\n",
 "same_as": [
  "https://www.cs.umd.edu/~dgottesm/",
  "https://quics.umd.edu/people/daniel-gottesman",
  "https://www.cs.umd.edu/~dgottesm/papers.html",
  "https://simons.berkeley.edu/people/daniel-gottesman"
 ],
 "url": "https://www.edgepedia.org/daniel-gottesman",
 "markdown_url": "https://www.edgepedia.org/daniel-gottesman.md",
 "license": {
  "name": "Edgepedia Community License 1.0",
  "url": "https://www.edgepedia.org/edgepedia/license",
  "summary": "Free with credit, commercial use included. AI training is open to everyone. For other uses, organizations over USD 100M in revenue or 100M monthly users license separately.",
  "spdx": "LicenseRef-Edgepedia-Community-1.0"
 },
 "credit": "\"Daniel Gottesman\", Edgepedia (EdgeChat), https://www.edgepedia.org/daniel-gottesman. Edgepedia Community License 1.0.",
 "credit_md": "\"[Daniel Gottesman](https://www.edgepedia.org/daniel-gottesman)\", Edgepedia (EdgeChat), [https://www.edgepedia.org/daniel-gottesman](https://www.edgepedia.org/daniel-gottesman). [Edgepedia Community License 1.0](https://www.edgepedia.org/edgepedia/license).",
 "credit_html": "\"<a href=\"https://www.edgepedia.org/daniel-gottesman\">Daniel Gottesman</a>\", Edgepedia (EdgeChat), <a href=\"https://www.edgepedia.org/daniel-gottesman\">https://www.edgepedia.org/daniel-gottesman</a>. <a href=\"https://www.edgepedia.org/edgepedia/license\">Edgepedia Community License 1.0</a>.",
 "speakable": "Daniel Gottesman is a professor at the University of Maryland and co-director of QuICS, best known for developing the stabilizer code formalism and fault-tolerant quantum computation."
}