Abstract
Code CFTs are 2d conformal field theories defined by error-correcting codes. Recently, Dymarsky and Shapere generalized the construction of code CFTs to include quantum error-correcting codes. In this paper, we explore this connection at higher genus. We prove that the higher-genus partition functions take the form of polynomials of higher-weight theta functions, and that the higher-genus modular group acts as simple linear transformations on these polynomials. We explain how to solve the modular constraints explicitly, which we do for genus 2. The result is that modular invariance at genus 1 and genus 2 is much more constraining than genus 1 alone. This allows us to drastically reduce the space of possible code CFTs. We also consider a number of examples of “isospectral theories” — CFTs with the same genus 1 partition function — and we find that they have different genus 2 partition functions. Finally, we make connection to some 2d CFTs known from the modular bootstrap. The n = 4 theory conjectured to have the largest possible gap in Virasoro characters, the SO(8) WZW model, is a code CFT, allowing us to give an expression for its genus 2 partition function. We also find some other known CFTs which are not code theories but whose partition functions satisfy the same simple polynomial ansatz as the code theories. This leads us to speculate about the usefulness of the code polynomial form beyond the study of code CFTs.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
J. Leech and N.J.A. Sloane, Sphere Packings and Error-Correcting Codes, Can. J. Math. 23 (1971) 718.
L. Dolan, P. Goddard and P. Montague, Conformal Field Theory, Triality and the Monster Group, Phys. Lett. B 236 (1990) 165 [INSPIRE].
L. Dolan, P. Goddard and P. Montague, Conformal field theories, representations and lattice constructions, Commun. Math. Phys. 179 (1996) 61 [hep-th/9410029] [INSPIRE].
A. Dymarsky and A. Shapere, Quantum stabilizer codes, lattices, and CFTs, JHEP 21 (2020) 160 [arXiv:2009.01244] [INSPIRE].
J. Macwilliams, A Theorem on the Distribution of Weights in a Systematic Code, Bell Syst. Tech. J. 42 (1963) 79.
J. Henriksson, A. Kakkar and B. McPeak, Classical codes and chiral CFTs at higher genus, JHEP 05 (2022) 159 [arXiv:2112.05168] [INSPIRE].
K. Betsumiya, M. Harada and A. Munemasa, A Complete Classification of Doubly Even Self-dual Codes of Length 40, Electronic J. Combin. 19 (2012) P18 [arXiv:1104.3727].
H.-V. Niemeier, Definite quadratische formen der dimension 24 und diskriminante 1, J. Number Theory 5 (1973) 142.
A.N. Schellekens, Meromorphic C = 24 conformal field theories, Commun. Math. Phys. 153 (1993) 159 [hep-th/9205072] [INSPIRE].
D. Gaiotto and T. Johnson-Freyd, Holomorphic SCFTs with small index, Can. J. Math. 74 (2022) 573 [arXiv:1811.00589] [INSPIRE].
A. Dymarsky and A. Shapere, Solutions of modular bootstrap constraints from quantum codes, Phys. Rev. Lett. 126 (2021) 161602 [arXiv:2009.01236] [INSPIRE].
M. Gunaydin, R. Kallosh, A. Linde and Y. Yamada, M-theory Cosmology, Octonions, Error Correcting Codes, JHEP 01 (2021) 160 [arXiv:2008.01494] [INSPIRE].
A. Dymarsky and A. Shapere, Comments on the holographic description of Narain theories, JHEP 10 (2021) 197 [arXiv:2012.15830] [INSPIRE].
M. Buican, A. Dymarsky and R. Radhakrishnan, Quantum codes, CFTs, and defects, JHEP 03 (2023) 017 [arXiv:2112.12162] [INSPIRE].
A. Dymarsky and A. Sharon, Non-rational Narain CFTs from codes over F4, JHEP 11 (2021) 016 [arXiv:2107.02816] [INSPIRE].
Y. Furuta, Relation between spectra of Narain CFTs and properties of associated boolean functions, JHEP 09 (2022) 146 [arXiv:2203.11643] [INSPIRE].
S. Yahagi, Narain CFTs and error-correcting codes on finite fields, JHEP 08 (2022) 058 [arXiv:2203.10848] [INSPIRE].
K.S. Narain, New Heterotic String Theories in Uncompactified Dimensions < 10, Phys. Lett. B 169 (1986) 41 [INSPIRE].
K.S. Narain, M.H. Sarmadi and E. Witten, A Note on Toroidal Compactification of Heterotic String Theory, Nucl. Phys. B 279 (1987) 369 [INSPIRE].
M.R. Gaberdiel and R. Volpato, Higher genus partition functions of meromorphic conformal field theories, JHEP 06 (2009) 048 [arXiv:0903.4107] [INSPIRE].
M.R. Gaberdiel, C.A. Keller and R. Volpato, Genus Two Partition Functions of Chiral Conformal Field Theories, Commun. Num. Theor. Phys. 4 (2010) 295 [arXiv:1002.3371] [INSPIRE].
C.A. Keller, G. Mathys and I.G. Zadeh, Bootstrapping Chiral CFTs at Genus Two, Adv. Theor. Math. Phys. 22 (2018) 1447 [arXiv:1705.05862] [INSPIRE].
M. Cho, S. Collier and X. Yin, Genus Two Modular Bootstrap, JHEP 04 (2019) 022 [arXiv:1705.05865] [INSPIRE].
J. Cardy, A. Maloney and H. Maxfield, A new handle on three-point coefficients: OPE asymptotics from genus two modular invariance, JHEP 10 (2017) 136 [arXiv:1705.05855] [INSPIRE].
F.J. MacWilliams and N.J.A. Sloane, The Theory of Error-Correcting Codes, no. 16 in North-Holland Mathematical Library, North-Holland (1977).
F.J. MacWilliams, A.M. Odlyzko, N.J.A. Sloane and H.N. Ward, Self-dual codes over GF(4), J Combin. Theory Ser. A 25 (1978) 288.
P. Shor and R. Laflamme, Quantum Analog of the MacWilliams Identities for Classical Coding Theory, Phys. Rev. Lett. 78 (1997) 1600.
G. Nebe, E.M. Rains and N.J.A. Sloane, Self-Dual Codes and Invariant Theory, no. 17 in Algorithms and Computation in Mathematics, Springer-Verlag (2006).
M.A. Nielsen and I.L. Chuang, Quantum Computation and Quantum Information: 10th Anniversary Edition, Cambridge University Press, U.S.A. (2011).
N.D. Elkies, Lattices, linear codes, and invariants, Part I, Notices Amer. Math. Soc. 47 (2000) 1238.
N.D. Elkies, Lattices, linear codes, and invariants, Part II, Notices Amer. Math. Soc. 47 (2000) 1382.
E. Knill and R. Laflamme, A Theory of quantum error correcting codes, Phys. Rev. Lett. 84 (2000) 2525 [quant-ph/9604034] [INSPIRE].
A.R. Calderbank, E.M. Rains, P.W. Shor and N.J.A. Sloane, Quantum error correction via codes over GF(4), IEEE Trans. Information Theory 44 (1998) 1369 quant-ph/9608006 [INSPIRE].
V.G. Knizhnik, Analytic Fields on Riemann Surfaces. 2, Commun. Math. Phys. 112 (1987) 567 [INSPIRE].
J.-I. Igusa, Theta Functions, no. 194 in Grundlehren der mathematischen Wissenschaften, Springer Berlin Heidelberg (1972).
D. Mumford, Tata Lectures on Theta I, Birkhäuser, Boston (2007), https://doi.org/10.1007/978-0-8176-4577-9.
D. Mumford, Tata Lectures on Theta II, Birkhäuser Boston (2007), https://doi.org/10.1007/978-0-8176-4578-6.
L. Alvarez-Gaume, G.W. Moore and C. Vafa, Theta Functions, Modular Invariance and Strings, Commun. Math. Phys. 106 (1986) 1 [INSPIRE].
M. Oura, C. Poor and D.S. Yuen, Towards the Siegel ring in genus four, Int. J. Number Theory 04 (2008) 563.
P. Stanek, Concerning a theorem of L. K. Hua and I. Reiner, Proc. Am. Math. Soc. 14 (1963) 751.
R.P. Stanley, Invariants of finite groups and their applications to combinatorics, Bull. Am. Math. Soc. 1 (1979) 475.
D. Friedan and S.H. Shenker, The Analytic Geometry of Two-Dimensional Conformal Field Theory, Nucl. Phys. B 281 (1987) 509 [INSPIRE].
S. Grushevsky and R. Salvati Manni, The superstring cosmological constant and the Schottky form in genus 5, Am. J. Math. 133 (2011) 1007 [arXiv:0809.1391] [INSPIRE].
B. Runge, Codes and Siegel modular forms, Discrete Math. 148 (1996) 175.
A. Castro et al., The Gravity Dual of the Ising Model, Phys. Rev. D 85 (2012) 024032 [arXiv:1111.1987] [INSPIRE].
C.-M. Jian et al., Establishing strongly-coupled 3D AdS quantum gravity with Ising dual using all-genus partition functions, JHEP 10 (2020) 129 [arXiv:1907.06656] [INSPIRE].
M. Leitner, The (2, 5) minimal model on genus two surfaces, arXiv:1801.08387 [INSPIRE].
M. Oura and R.S. Manni, On the image of code polynomials under theta map, Kyoto J. Math. 48 (2008) 895 [arXiv:0803.4389].
H. Cohn et al., The sphere packing problem in dimension 24, Annals Math. 185 (2017) 1017 [arXiv:1603.06518].
T. Hartman, D. Mazáč and L. Rastelli, Sphere Packing and Quantum Gravity, JHEP 12 (2019) 048 [arXiv:1905.01319] [INSPIRE].
J. Henriksson and B. McPeak, Averaging over codes and an SU(2) modular bootstrap, arXiv:2208.14457 [INSPIRE].
S. Collier, Y.-H. Lin and X. Yin, Modular Bootstrap Revisited, JHEP 09 (2018) 061 [arXiv:1608.06241] [INSPIRE].
J.-B. Bae, S. Lee and J. Song, Modular Constraints on Conformal Field Theories with Currents, JHEP 12 (2017) 045 [arXiv:1708.08815] [INSPIRE].
N. Afkhami-Jeddi, T. Hartman and A. Tajdini, Fast Conformal Bootstrap and Constraints on 3d Gravity, JHEP 05 (2019) 087 [arXiv:1903.06272] [INSPIRE].
N. Angelinos, D. Chakraborty and A. Dymarsky, Optimal Narain CFTs from codes, JHEP 11 (2022) 118 [arXiv:2206.14825] [INSPIRE].
N. Afkhami-Jeddi, H. Cohn, T. Hartman and A. Tajdini, Free partition functions and an averaged holographic duality, JHEP 01 (2021) 130 [arXiv:2006.04839] [INSPIRE].
A. Maloney and E. Witten, Averaging over Narain moduli space, JHEP 10 (2020) 187 [arXiv:2006.04855] [INSPIRE].
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
ArXiv ePrint: 2205.00025
Rights and permissions
Open Access . This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Henriksson, J., Kakkar, A. & McPeak, B. Narain CFTs and quantum codes at higher genus. J. High Energ. Phys. 2023, 11 (2023). https://doi.org/10.1007/JHEP04(2023)011
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP04(2023)011