Kitaev and Preskill (Phys. Rev. Lett. 96, 110404 (2006)) proved, within topological quantum field theory (TQFT), that the von Neumann entropy of a large simply connected region in a gapped two-dimensional topologically ordered medium has the form S=αL−γS=\alpha L-\gamma with γ=log⁡D\gamma=\log\mathcal{D}, where D\mathcal{D} is the total quantum dimension of the anyon superselection sectors. The paper itself flagged four unfinished threads: the unquantified finite-size, finite-correlation-length, and lattice-corner corrections to StopoS_{\text{topo}}; the unproven assumption underlying the heuristic derivation, namely that the logarithm of the reduced density matrix of a disk behaves as a (1+1)-dimensional conformal field theory Hamiltonian; the construction of explicit microscopic lattice Hamiltonians realizing given non-Abelian anyon theories together with numerical or experimental verification of γ=log⁡D\gamma=\log\mathcal{D}; and the extension of topological entanglement entropy to higher spatial dimensions and its precise relation to the (1+1)-dimensional boundary entropy. This problem states those four linked questions as a single research objective.

Background

A two-dimensional (2D) quantum many-body system with a gap to all excitations can form a topologically ordered phase: a state of matter with no local order parameter, a ground-state degeneracy that depends on the topology of the surface on which the system lives, and quasiparticle excitations (anyons) whose exchange statistics differ from those of bosons and fermions. At distances long compared to the correlation length ξ\xi, such a medium is described by a topological quantum field theory (TQFT), a field theory with no propagating local degrees of freedom that encodes the anyons' fusion and braiding data. The anyon types label superselection sectors aa, and each sector has a quantum dimension dad_a, the asymptotic growth rate of the number of distinct fusion states of nn anyons of type aa; the total quantum dimension is D=∑ada2\mathcal{D}=\sqrt{\sum_a d_a^2}.

Entanglement entropy quantifies quantum correlations across a spatial bipartition: tracing out the degrees of freedom outside a disk of boundary length LL gives a reduced density operator ρ\rho, and its von Neumann entropy S(ρ)=−tr ρlog⁡ρS(\rho)=-\mathrm{tr}\,\rho\log\rho obeys an area law S(ρ)=αL−γ+⋯S(\rho)=\alpha L-\gamma+\cdots, where α\alpha is nonuniversal and the ellipsis vanishes as L→∞L\to\infty. Kitaev and Preskill showed that the additive constant −γ-\gamma, the topological entanglement entropy, is universal: by dividing the plane into four regions A, B, C, D, all large compared to ξ\xi, and forming the linear combination Stopo≡SA+SB+SC−SAB−SBC−SAC+SABCS_{\text{topo}}\equiv S_A+S_B+S_C-S_{AB}-S_{BC}-S_{AC}+S_{ABC}, all boundary-length terms cancel and one obtains Stopo=−γS_{\text{topo}}=-\gamma; a closely related Kitaev-Preskill evaluation for a disk enclosing an anyon of charge aa gives S=αL−log⁡(D/da)S=\alpha L-\log(\mathcal{D}/d_a). Via a TQFT computation on a doubled (wormhole) surface they derived γ=log⁡D\gamma=\log\mathcal{D}, and Levin and Wen, in a simultaneous independent work, obtained the equivalent statement for string-net models, where the same constant measures the quantum dimension of the underlying string-net condensate. Two caveats in the original paper motivate this problem. First, the construction assumes region sizes large compared to ξ\xi and boundaries free of 'sharp' microscopic features, while any lattice boundary has unavoidable sharp corners; the rate at which subleading terms approach their asymptotic values, and the control of corner effects, were not quantified. Second, alongside the TQFT derivation the paper gave a more transparent but heuristic derivation: writing ρ=e−βH\rho=e^{-\beta H} (a definition of the entanglement, or modular, Hamiltonian HH with arbitrary temperature T=β−1T=\beta^{-1}), it assumed that HH can be regarded as the Hamiltonian of a (1+1)-dimensional conformal field theory (CFT, a scale-invariant two-dimensional spacetime field theory whose anyon content matches the medium's modular SS-matrix, the matrix of mutual braiding phases between anyon pairs), and computed γ\gamma from the CFT torus partition function. The authors noted that this derivation is 'not on so firm a footing'; the conditions under which the modular Hamiltonian of a gapped 2D medium restricted to a disk is actually a 1+1D CFT Hamiltonian, and which CFT data control the universal constants beyond leading order, were not established.

Microscopic context: exactly solvable commuting-projector lattice models (Hamiltonians whose terms all commute, so the ground space can be written down exactly) were known to realize a large class of topological orders: Kitaev's quantum-double models (commuting-projector lattice gauge theories based on a finite group GG, whose simplest case G=Z2G=\mathbb{Z}_2 is the toric code) realize discrete gauge theories, including non-Abelian ones when GG is non-Abelian, and the Levin-Wen string-net models (lattice models whose fluctuating loops of condensed 'strings' realize the low-energy TQFT) realize precisely the 'doubled' topological orders whose left- and right-moving anyon contents are time-reversal conjugates, including the doubled Fibonacci theory (the doubled version of the anyon theory whose single nontrivial anyon has quantum dimension equal to the golden ratio). Neither construction produces intrinsically chiral orders, orders whose anyons have handed braiding not equal to their mirror images, such as the standalone Fibonacci or SU(2)k\mathrm{SU}(2)_k Chern-Simons theories (topological gauge theories in 2+1 spacetime dimensions, labeled by an integer level kk) realized by fractional quantum Hall states (two-dimensional electron fluids at rational Landau-level fillings, whose quasiparticles carry fractional charge and anyonic statistics). Finally, the paper pointed to two forward-looking questions: higher-dimensional analogs of StopoS_{\text{topo}} for topological phases in three and more spatial dimensions, and the mathematical relationship between γ\gamma and the Affleck-Ludwig boundary entropy gg (a universal, non-integer ground-state degeneracy contribution carried by the boundary of a 1+1D critical system, which enters boundary CFT partition functions as log⁡g\log g).

Problem Statement

The common objective is to place the topological entanglement entropy Stopo=−γS_{\text{topo}}=-\gamma, γ=log⁡D\gamma=\log\mathcal{D}, on rigorous, controllable, and general footing, and to extend it beyond the setting in which Kitaev and Preskill derived it. Within that single objective, the source paper's four linked questions are: (1) Corrections: quantify the finite-size and finite-correlation-length corrections to StopoS_{\text{topo}} in a gapped 2D topologically ordered medium, including the rate at which subleading terms approach their asymptotic values and the control of lattice-corner effects (sharp features that the TQFT derivation assumes away), and delimit when the extracted constant is free of spurious contributions. (2) Entanglement Hamiltonian: establish the conditions under which the modular Hamiltonian HH defined by ρ=e−βH\rho=e^{-\beta H} for a disk in a gapped 2D medium can be treated as the Hamiltonian of a (1+1)-dimensional conformal field theory, and identify which CFT data control the universal constant terms beyond leading order, so that the heuristic derivation of log⁡(D/da)\log(\mathcal{D}/d_a) (reducing to γ=log⁡D\gamma=\log\mathcal{D} for the vacuum disk) becomes a rigorous one. (3) Microscopic realizations: construct explicit microscopic lattice Hamiltonians that realize given non-Abelian anyon theories (the deliverable being a chiral, non-doubled theory; doubled ones, already realized by quantum-double and string-net models, do not count) and verify the predicted γ=log⁡D\gamma=\log\mathcal{D} numerically or experimentally. (4) Extensions: develop the concept of topological entanglement entropy for topological phases in higher spatial dimensions (including the role of surface topology and, e.g., fracton orders, three-dimensional phases with exactly immobile point-like excitations), and make precise its relation to other entropic invariants such as the (1+1)-dimensional Affleck-Ludwig boundary entropy. These four questions are jointly the source paper's unfinished agenda for its own central result; each is independently open (none is a corollary of the others or sufficient on its own), and an answer to the problem as a whole requires all four, since they supply respectively the error control, the derivation, the existence evidence, and the scope of the entropic characterization of topological order.

References

  1. A. Kitaev and J. Preskill, 'Topological entanglement entropy', Phys. Rev. Lett. 96, 110404 (2006), DOI: 10.1103/PhysRevLett.96.110404, arXiv:hep-th/0510092, https://arxiv.org/abs/hep-th/0510092
  2. M. Levin and X.-G. Wen, 'Detecting topological order in a ground state wave function', Phys. Rev. Lett. 96, 110405 (2006), DOI: 10.1103/PhysRevLett.96.110405, arXiv:cond-mat/0510613, https://arxiv.org/abs/cond-mat/0510613
  3. A. Yu. Kitaev, 'Fault-tolerant quantum computation by anyons', Ann. Phys. 303, 2-30 (2003), DOI: 10.1016/S0003-4916(02)00018-0, https://doi.org/10.1016/S0003-4916(02)00018-0
  4. M. A. Levin and X.-G. Wen, 'String-net condensation: A physical mechanism for topological phases', Phys. Rev. B 71, 045110 (2005), DOI: 10.1103/PhysRevB.71.045110, arXiv:cond-mat/0404617, https://arxiv.org/abs/cond-mat/0404617
  5. I. Affleck and A. W. W. Ludwig, 'Universal noninteger ground-state degeneracy in critical quantum systems', Phys. Rev. Lett. 67, 161 (1991), DOI: 10.1103/PhysRevLett.67.161, https://doi.org/10.1103/PhysRevLett.67.161
  6. S. Dong, E. Fradkin, R. G. Leigh and S. Nowling, 'Topological entanglement entropy in Chern-Simons theories and quantum Hall fluids', J. High Energy Phys. 2008(05), 016 (2008), DOI: 10.1088/1126-6708/2008/05/016, https://doi.org/10.1088/1126-6708/2008/05/016
  7. H. Li and F. D. M. Haldane, 'Entanglement Spectrum as a Generalization of Entanglement Entropy: Identification of Topological Order in Non-Abelian Fractional Quantum Hall Effect States', Phys. Rev. Lett. 101, 010504 (2008), DOI: 10.1103/PhysRevLett.101.010504, https://doi.org/10.1103/PhysRevLett.101.010504
  8. T. Grover, A. M. Turner and A. Vishwanath, 'Entanglement entropy of gapped phases and topological order in three dimensions', Phys. Rev. B 84, 195120 (2011), DOI: 10.1103/PhysRevB.84.195120, https://doi.org/10.1103/PhysRevB.84.195120
  9. Y. Zhang, T. Grover and A. Vishwanath, 'Topological Entanglement Entropy of Z2 Spin liquids and Lattice Laughlin states', Phys. Rev. B 84, 075128 (2011), DOI: 10.1103/PhysRevB.84.075128, arXiv:1106.0015, https://arxiv.org/abs/1106.0015
  10. Y. Zhang, T. Grover, A. Turner, M. Oshikawa and A. Vishwanath, 'Quasi-particle Statistics and Braiding from Ground State Entanglement', Phys. Rev. B 85, 235151 (2012), DOI: 10.1103/PhysRevB.85.235151, arXiv:1111.2342, https://arxiv.org/abs/1111.2342
  11. H.-C. Jiang, R. R. P. Singh and L. Balents, 'Accuracy of topological entanglement entropy on finite cylinders', Phys. Rev. Lett. 111, 107205 (2013), DOI: 10.1103/PhysRevLett.111.107205, arXiv:1304.0780, https://arxiv.org/abs/1304.0780
  12. B. Estienne, N. Regnault and B. A. Bernevig, 'Correlation Lengths and Topological Entanglement Entropies of Unitary and Non-Unitary Fractional Quantum Hall Wavefunctions', Phys. Rev. Lett. 114, 186801 (2015), DOI: 10.1103/PhysRevLett.114.186801, arXiv:1406.6262, https://arxiv.org/abs/1406.6262
  13. L. Zou and J. Haah, 'Spurious Long-range Entanglement and Replica Correlation Length', Phys. Rev. B 94, 075151 (2016), DOI: 10.1103/PhysRevB.94.075151, arXiv:1604.06101, https://arxiv.org/abs/1604.06101
  14. J. Cardy and E. Tonni, 'Entanglement hamiltonians in two-dimensional conformal field theory', J. Stat. Mech. 2016(12), 123103 (2016), DOI: 10.1088/1742-5468/2016/12/123103, arXiv:1608.01283, https://arxiv.org/abs/1608.01283
  15. X. Wen, S. Matsuura and S. Ryu, 'Edge theory approach to topological entanglement entropy, mutual information, and entanglement negativity in Chern-Simons theories', Phys. Rev. B 93, 245140 (2016), DOI: 10.1103/PhysRevB.93.245140, https://doi.org/10.1103/PhysRevB.93.245140
  16. M. Pretko and T. Senthil, 'Entanglement Entropy of U(1) Quantum Spin Liquids', Phys. Rev. B 94, 125112 (2016), DOI: 10.1103/PhysRevB.94.125112, arXiv:1510.03863, https://arxiv.org/abs/1510.03863
  17. D. J. Williamson, A. Dua and M. Cheng, 'Spurious topological entanglement entropy from subsystem symmetries', Phys. Rev. Lett. 122, 140506 (2019), DOI: 10.1103/PhysRevLett.122.140506, arXiv:1808.05221, https://arxiv.org/abs/1808.05221
  18. K. Kato and F. G. S. L. Brandao, 'Toy model of boundary states with spurious topological entanglement entropy', Phys. Rev. Research 2, 032005 (2020), DOI: 10.1103/PhysRevResearch.2.032005, arXiv:1911.09819, https://arxiv.org/abs/1911.09819
  19. A. Kapustin and L. Spodyneiko, 'Thermal Hall conductance and a relative topological invariant of gapped two-dimensional systems', Phys. Rev. B 101, 045137 (2020), DOI: 10.1103/PhysRevB.101.045137, https://doi.org/10.1103/PhysRevB.101.045137
  20. Y. Zheng, H. He, B. Bradlyn, J. Cano, T. Neupert and B. A. Bernevig, 'Structure of the Entanglement Entropy of (3+1)D Gapped Phases of Matter', Phys. Rev. B 97, 195118 (2018), DOI: 10.1103/PhysRevB.97.195118, arXiv:1710.01747, https://arxiv.org/abs/1710.01747
  21. B. Shi and Y.-M. Lu, 'Deciphering the nonlocal entanglement entropy of fracton topological orders', Phys. Rev. B 97, 144106 (2018), DOI: 10.1103/PhysRevB.97.144106, arXiv:1705.09300, https://arxiv.org/abs/1705.09300
  22. C. Chen, L.-Y. Hung, Y. Li and Y. Wan, 'Entanglement entropy of topological orders with boundaries', J. High Energy Phys. 2018(06), 113 (2018), DOI: 10.1007/JHEP06(2018)113, https://doi.org/10.1007/JHEP06(2018)113
  23. J. P. Ibieta-Jimenez, M. Petrucci, L. N. Queiroz Xavier and P. Teotonio-Sobrinho, 'Topological entanglement entropy in d-dimensions for Abelian higher gauge theories', J. High Energy Phys. 2020(03), 167 (2020), DOI: 10.1007/JHEP03(2020)167, https://doi.org/10.1007/JHEP03(2020)167
  24. J. C. Bridgeman, B. J. Brown and S. J. Elman, 'Boundary topological entanglement entropy in two and three dimensions', Commun. Math. Phys. 389, 1241-1276 (2022), DOI: 10.1007/s00220-021-04191-y, arXiv:2012.05244, https://arxiv.org/abs/2012.05244
  25. I. H. Kim, M. Levin, T.-C. Lin, D. Ranard and B. Shi, 'Universal lower bound on topological entanglement entropy', Phys. Rev. Lett. 131, 166601 (2023), DOI: 10.1103/PhysRevLett.131.166601, arXiv:2302.00689, https://arxiv.org/abs/2302.00689
  26. Google Quantum AI and Collaborators (T. I. Andersen, Y. D. Lensky, K. Kechedzhi, et al.), 'Non-Abelian braiding of graph vertices in a superconducting processor', Nature 618, 264-269 (2023), DOI: 10.1038/s41586-023-05954-4, arXiv:2210.10255, https://arxiv.org/abs/2210.10255
  27. C.-Y. Lo and P.-Y. Chang, 'Towards a Topological Proof of the Strong Subadditivity', arXiv:2411.05077 (2024), https://arxiv.org/abs/2411.05077
  28. P. Han, Z. Liang, Y. Wang, B. Yang, Y. Gu and Y.-A. Chen, 'Resolving spurious topological entanglement entropy in stabilizer codes', arXiv:2604.27053 (2026), https://arxiv.org/abs/2604.27053