In 'Fault-tolerant quantum computation by anyons' (Annals of Physics 303, 2003), A. Yu. Kitaev closed by listing the unresolved problems left by his construction of non-Abelian anyons from the quantum double D(G)D(G) of a finite group: a general theory of anyons and topological quantum order that derives anyon properties from microscopic spin entanglement rather than postulating them; theorems on the existence and number of local degrees of freedom (subtypes) carried by anyonic excitations; a theory of dynamically created ('materialized') gauge symmetry in Hamiltonians with no symmetry; and complete constructions and proofs — beyond the announced sketch — that concrete group-double models yield fault-tolerant universal quantum computation. The search for non-quantum-double models of non-Abelian anyons suitable for universal computation, and the explicit gate constructions proving that concrete group-double models support universal quantum computation, have since been substantially resolved and are out of scope: models based on algebras far more general than group algebras (Levin–Wen string-net and Fibonacci models, Kitaev's honeycomb model) exist and can be universal, and constructive universality proofs for quantum doubles of finite groups were given by Mochon (non-solvable groups, 2003; solvable non-nilpotent groups, 2004) and completed at the circuit level for D(S3)D(S_3) by Cui–Hong–Wang (2015) and Chen–Ren–Fan–Jaffe (2025). The general theory of anyons and topological order that derives anyon properties from the microscopic spin degrees of freedom, including the connection of the local/ribbon-operator description to the quasi-triangular (quasi-)Hopf algebra / unitary-modular-tensor-category framework, remains open and is part of the surviving open core. The surviving open core is precise: (i) general theorems about the existence and number of local degrees of freedom (subtypes) of anyonic excitations and their relation to the absence of symmetry in the underlying Hamiltonian; (ii) a rigorous theory of emergent ('materialized') gauge symmetry — when a local Hamiltonian with no symmetry develops an effective gauge structure, and what conservation laws, confinement, or symmetry breaking follow; and (iii) a rigorous finite-temperature fault-tolerance threshold theorem for universal quantum computation with non-Abelian anyons, for which only numerical evidence and memory-only analytic results currently exist.

Background

In two dimensions, quantum particles can obey statistics that are neither bosonic nor fermionic: exchanging two identical 'anyons' can multiply the wavefunction by a phase (Abelian anyons) or, more powerfully, apply a non-commuting unitary matrix on a degenerate ground space (non-Abelian anyons), so that the ordered sequence of exchanges (braiding, described by the braid group) acts as a computation. Non-Abelian anyons also admit fusion — two anyons combine into a fusion channel that can be measured — and the pair creation, braiding, and fusion operations can in principle implement quantum gates that are insensitive to local noise because the information is stored nonlocally. Kitaev's 2003 paper 'Fault-tolerant quantum computation by anyons' (published version of a 1997 preprint) gave the first microscopic, exactly solvable lattice realization of this idea. Its central object is the quantum double model D(G)D(G): a lattice spin system whose spins take values in a finite group GG, whose excitations are magnetic vortices labelled by conjugacy classes of GG and electric charges labelled by irreducible representations, and whose anyonic statistics is encoded in ribbon operators — nonlocal string-like operators that create, move, and fuse excitations and realize the algebra D(G)D(G), the Drinfeld quantum double of the group algebra. The same formalism generalizes from group algebras to quasi-triangular (quasi-)Hopf algebras, algebraic structures equipped with a coproduct and a universal R-matrix that encode fusion and braiding; the quasi-Hopf framework underlies the Reshetikhin–Turaev topological field theories that had earlier been used to define anyons abstractly. Kitaev's point was that his local/ribbon-operator description derives the excitations and their statistics from an explicit Hamiltonian and its spin entanglement, rather than postulating them. The model exhibits topological order — a gapped phase whose degenerate ground space is protected against local perturbations, now understood to be classified by unitary modular tensor categories (the categorical form of the quasi-Hopf data, of which D(G)D(G) is the Drinfeld-center example, the category-theoretic analogue of the quantum double). Kitaev noted that vortices in D(G)D(G) carry, besides their topological charge, additional local degrees of freedom (subtypes) that are invisible to braiding; he conjectured that their appearance signals that the Hamiltonian has no exact symmetry. A second key observation was that the Z2\mathbb{Z}_2 gauge symmetry of his first model is not put in by hand: it 'materializes' dynamically from a purely local Hamiltonian, and breaking versus confinement of the emergent symmetry control whether charges or vortices survive as excitations. Finally, for universal quantum computation he proposed the model D(S5)D(S_5) — the quantum double of the symmetric group on five letters, a non-solvable finite group — noting that unsolvability of the group seems important, but Section 7 of the paper is explicitly only 'an abstract of results to be presented elsewhere' — the universality construction was announced, not proven. Later developments supply essential context for what remains open: Freedman, Larsen, and Wang showed that Fibonacci-type anyons (non-Abelian anyons whose fusion spaces grow in number according to the Fibonacci recurrence, described by SU(2)3\mathrm{SU}(2)_3-type modular functors) are universal by braiding alone; Levin and Wen's string-net models give exactly soluble Hamiltonians whose input data is an arbitrary unitary fusion category (the algebraic data of anyon species, their fusion rules, and the consistency conditions those rules satisfy) rather than a group algebra; Kitaev's honeycomb model realizes non-Abelian Majorana anyons (Ising-type anyons whose vortices bind Majorana zero modes) from an anisotropic spin model; and Mochon, Cui–Hong–Wang, and Chen–Ren–Fan–Jaffe supplied constructive universality proofs and explicit fault-tolerant circuit sets for quantum doubles. A fault-tolerance threshold is the maximum error rate below which arbitrarily long computation remains possible as the system grows; establishing one for anyonic computation at nonzero temperature is a separate, harder question than the zero-temperature topological protection.

Problem Statement

The source problem is the research program Kitaev posed in the Concluding Remarks of 'Fault-tolerant quantum computation by anyons' (Annals of Physics 303, 2–30 (2003)) — the single coherent objective of building the microscopic theory of anyons and topological order that makes fault-tolerant universal topological quantum computation a property of local Hamiltonians. The following parts of the original list are out of scope: (a) finding non-quantum-double models of non-Abelian anyons suitable for universal computation (string-net models over general unitary fusion categories, Fibonacci and honeycomb models); and (b) proving that concrete group-double models — D(S5)D(S_5) and smaller — support universal quantum computation with explicit gate constructions (Mochon 2003/2004; Cui–Hong–Wang 2015; Chen–Ren–Fan–Jaffe 2025). The surviving open core comprises three linked questions that together constitute the single objective — questions (1) and (2) state the open problems posed in Kitaev's Concluding Remarks and demand the general result, while question (3) sharpens to nonzero temperature the paper's physically-argued fault-tolerance claim for a concrete anyon model: (1) Prove general theorems about the existence and number of local degrees of freedom (subtypes) — the non-topological quantum numbers carried by anyonic excitations in microscopic lattice models such as D(G)D(G) — including the conjecture that their appearance is a signature of an underlying Hamiltonian with no exact symmetry, and connect the local/ribbon-operator description of excitations to the quasi-triangular (quasi-)Hopf algebra / unitary-modular-tensor-category framework in a theory that derives anyon properties from the microscopic spin degrees of freedom rather than postulating them. (2) Develop a rigorous theory of 'materialized' (dynamically emergent) gauge symmetry: characterize the conditions under which a local Hamiltonian with no built-in symmetry gives rise to an effective gauge symmetry, and prove what follows at large scales — conservation laws, confinement of charges or vortices, or symmetry breaking — including the question of whether vortices can be confined without the emergent gauge symmetry being broken. (3) Prove a fault-tolerance threshold theorem for universal quantum computation with non-Abelian anyons at nonzero temperature with realistic (circuit-level and measurement) noise, extending the proven memory-only thresholds and the numerical evidence to full universal computation, and thereby completing the rigorous fault-tolerance claim for a concrete anyon model (such as D(S3)D(S_3), D(S5)D(S_5), or the Fibonacci model) that Kitaev's paper asserted by physical argument and left as announced results.

References

  1. A. Yu. Kitaev, Fault-tolerant quantum computation by anyons, Annals of Physics 303, 2–30 (2003). DOI: 10.1016/S0003-4916(02)00018-0; arXiv:quant-ph/9707021. https://doi.org/10.1016/S0003-4916(02)00018-0
  2. Carlos Mochon, Anyons from non-solvable finite groups are sufficient for universal quantum computation, Physical Review A 67, 022315 (2003). DOI: 10.1103/PhysRevA.67.022315; arXiv:quant-ph/0206128. https://doi.org/10.1103/PhysRevA.67.022315
  3. Carlos Mochon, Anyon computers with smaller groups, Physical Review A 69, 032306 (2004). DOI: 10.1103/PhysRevA.69.032306; arXiv:quant-ph/0306063. https://doi.org/10.1103/PhysRevA.69.032306
  4. Michael H. Freedman, Michael Larsen, Zhenghan Wang, A modular functor which is universal for quantum computation, Communications in Mathematical Physics 227, 605–622 (2002). DOI: 10.1007/s002200200645; arXiv:quant-ph/0001108. https://doi.org/10.1007/s002200200645
  5. Michael H. Freedman, Alexei Kitaev, Michael J. Larsen, Zhenghan Wang, Topological quantum computation, Bulletin of the American Mathematical Society 40, 31–38 (2003). DOI: 10.1090/S0273-0979-02-00964-3; arXiv:quant-ph/0101025. https://doi.org/10.1090/S0273-0979-02-00964-3
  6. Michael A. Levin, Xiao-Gang Wen, String-net condensation: A physical mechanism for topological phases, Physical Review B 71, 045110 (2005). DOI: 10.1103/PhysRevB.71.045110; arXiv:cond-mat/0404617. https://doi.org/10.1103/PhysRevB.71.045110
  7. Alexei Kitaev, Anyons in an exactly solved model and beyond, Annals of Physics 321, 2–111 (2006). DOI: 10.1016/j.aop.2005.10.005; arXiv:cond-mat/0506438. https://doi.org/10.1016/j.aop.2005.10.005
  8. Shawn X. Cui, Seung-Moon Hong, Zhenghan Wang, Universal quantum computation with weakly integral anyons, Quantum Information Processing 14, 2687–2727 (2015). DOI: 10.1007/s11128-015-1016-y; arXiv:1401.7096. https://doi.org/10.1007/s11128-015-1016-y
  9. Bowen Yan, Penghua Chen, Shawn X. Cui, Ribbon operators in the generalized Kitaev quantum double model based on Hopf algebras, Journal of Physics A: Mathematical and Theoretical 55, 185201 (2022). DOI: 10.1088/1751-8121/ac552c; arXiv:2105.08202. https://doi.org/10.1088/1751-8121/ac552c
  10. Zhian Jia, Sheng Tan, Dagomir Kaszlikowski, Liang Chang, On weak Hopf symmetry and weak Hopf quantum double model, Communications in Mathematical Physics 402, 3045–3107 (2023). DOI: 10.1007/s00220-023-04792-9; arXiv:2302.08131. https://doi.org/10.1007/s00220-023-04792-9
  11. H. Bombin, M. A. Martin-Delgado, A family of non-Abelian Kitaev models on a lattice: topological condensation and confinement, Physical Review B 78, 115421 (2008). DOI: 10.1103/PhysRevB.78.115421; arXiv:0712.0190. https://doi.org/10.1103/PhysRevB.78.115421
  12. Guillaume Dauphinais, David Poulin, Fault-tolerant quantum error correction for non-Abelian anyons, Communications in Mathematical Physics 355, 519–560 (2017). DOI: 10.1007/s00220-017-2923-9; arXiv:1607.02159. https://doi.org/10.1007/s00220-017-2923-9
  13. Alexis Schotte, Lander Burgelman, Guanyu Zhu, Fault-tolerant error correction for a universal non-Abelian topological quantum computer at finite temperature (2022, arXiv preprint). arXiv:2301.00054. https://arxiv.org/abs/2301.00054
  14. Liyuan Chen, Yuanjie Ren, Ruihua Fan, Arthur Jaffe, A universal circuit set using the S3S_3 quantum double, npj Quantum Information 11, 112 (2025). DOI: 10.1038/s41534-025-01063-4; arXiv:2411.09697. https://doi.org/10.1038/s41534-025-01063-4
  15. Chiu Fan Bowen Lo, Anasuya Lyons, Ruben Verresen, Ashvin Vishwanath, Nathanan Tantivasadakarn, Universal quantum computation with the S3S_3 quantum double: A pedagogical exposition (2025, arXiv preprint). arXiv:2502.14974. https://arxiv.org/abs/2502.14974
  16. Naren Manjunath, Vieri Mattei, Apoorv Tiwari, Tyler D. Ellison, Universal quantum computation with group surface codes (2026, arXiv preprint). arXiv:2603.05502. https://arxiv.org/abs/2603.05502
  17. Steven D. Bass, Emergent gauge symmetries: making symmetry as well as breaking it, Philosophical Transactions of the Royal Society A 380, 20210059 (2022). DOI: 10.1098/rsta.2021.0059; arXiv:2110.00241. https://doi.org/10.1098/rsta.2021.0059
  18. N. Reshetikhin, V. G. Turaev, Invariants of 3-manifolds via link polynomials and quantum groups, Inventiones Mathematicae 103, 547–597 (1991). DOI: 10.1007/BF01239527. https://doi.org/10.1007/BF01239527