Recognition: 3 theorem links
· Lean TheoremHolographic Equidistribution
Pith reviewed 2026-05-16 02:03 UTC · model grok-4.3
The pith
Equidistribution of Hecke operators in large N CFT limits reduces the partition function to light-state Poincaré series with an immediate interpretation as sums over handlebody geometries.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We use an equidistribution theorem for Hecke operators to show that in each of these large N limits, an entire heavy sector of the partition function gets integrated out, leaving only contributions from Poincaré series of light states. This gives an immediate holographic interpretation as a sum over semiclassical handlebody geometries.
Load-bearing premise
The equidistribution theorem for Hecke operators applies directly and without correction to the specific large-N limits arising in permutation orbifolds, code CFT ensembles, and the AdS3/RMT2 program.
read the original abstract
Hecke operators acting on modular functions arise naturally in the context of 2d conformal field theory, but in seemingly disparate areas, including permutation orbifold theories, ensembles of code CFTs, and more recently in the context of the AdS$_3$/RMT$_2$ program. We use an equidistribution theorem for Hecke operators to show that in each of these large $N$ limits, an entire heavy sector of the partition function gets integrated out, leaving only contributions from Poincar\'e series of light states. This gives an immediate holographic interpretation as a sum over semiclassical handlebody geometries. We speculate on further physical interpretations for equidistribution, including a potential ergodicity statement.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper applies an equidistribution theorem for Hecke operators to large-N limits in permutation orbifold CFTs, ensembles of code CFTs, and the AdS3/RMT2 program. It argues that this integrates out the entire heavy sector of the partition function, leaving only Poincaré series contributions from light states, which admit a direct holographic interpretation as sums over semiclassical handlebody geometries in AdS3. The manuscript also speculates on further physical meanings, including a possible ergodicity statement.
Significance. If the central reduction holds, the result supplies a unified mathematical mechanism explaining light-state dominance across several large-N CFT constructions that are independently motivated by holography. It converts an external number-theoretic statement into a concrete statement about the structure of the gravitational path integral, strengthening the dictionary between modular forms and handlebody sums. The approach is economical and leverages an established theorem rather than deriving equidistribution from scratch.
major comments (2)
- [§3.2] §3.2 (application to AdS3/RMT2): the claim that the equidistribution theorem applies directly to the specific large-N scaling of the RMT2 ensemble is asserted without an explicit error bound or verification that the Hecke-orbit averaging remains uniform under the RMT2 measure; this step is load-bearing for the statement that the heavy sector is fully integrated out.
- [§4] §4 (Poincaré series reconstruction): the identification of the surviving light-state sum with a sum over handlebody geometries relies on the standard dictionary for Poincaré series, but the manuscript does not address whether the equidistribution remainder terms could reintroduce non-handlebody contributions at the same order in 1/N; this needs a quantitative estimate to support the holographic interpretation.
minor comments (2)
- [§2] The statement of the equidistribution theorem in §2 should include the precise hypotheses (e.g., growth conditions on the test functions) so that readers can immediately check applicability to the three examples.
- [Eq. (3.7)] Notation for the Poincaré series in Eq. (3.7) is introduced without a reference to the standard normalization used in the AdS3 literature; adding one sentence of comparison would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback on our manuscript. We address each major comment below and will revise the text accordingly to strengthen the presentation.
read point-by-point responses
-
Referee: [§3.2] §3.2 (application to AdS3/RMT2): the claim that the equidistribution theorem applies directly to the specific large-N scaling of the RMT2 ensemble is asserted without an explicit error bound or verification that the Hecke-orbit averaging remains uniform under the RMT2 measure; this step is load-bearing for the statement that the heavy sector is fully integrated out.
Authors: We thank the referee for this observation. The equidistribution theorem (as stated in the cited reference) holds uniformly with respect to the weight and level parameters that enter the large-N RMT2 scaling; the RMT2 measure is itself defined by averaging over the same Hecke orbits, so the uniformity carries over directly. Nevertheless, to make the error control fully explicit we will add a short paragraph (or appendix note) deriving the O(N^{-1/2+ε}) bound under the RMT2 measure and confirming that the heavy-sector contribution is integrated out with a controlled remainder. This will be included in the revised version. revision: yes
-
Referee: [§4] §4 (Poincaré series reconstruction): the identification of the surviving light-state sum with a sum over handlebody geometries relies on the standard dictionary for Poincaré series, but the manuscript does not address whether the equidistribution remainder terms could reintroduce non-handlebody contributions at the same order in 1/N; this needs a quantitative estimate to support the holographic interpretation.
Authors: We agree that an explicit estimate is desirable. The remainder furnished by the equidistribution theorem is O(N^{-1/2+ε}) for any ε>0. Because the leading light-state Poincaré series already encodes the 1/N corrections from the handlebody geometries, any non-handlebody terms generated by the remainder are suppressed by at least an extra factor of N^{-1/2} relative to the leading semiclassical contribution. We will insert a brief quantitative paragraph in §4 spelling out this suppression and confirming that the leading holographic sum over handlebodies is unaffected. The revision will appear in the next manuscript version. revision: yes
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Equidistribution theorem for Hecke operators on modular functions
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We use an equidistribution theorem for Hecke operators to show that in each of these large N limits, an entire heavy sector of the partition function gets integrated out, leaving only contributions from Poincaré series of light states.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
This gives an immediate holographic interpretation as a sum over semiclassical handlebody geometries.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
lim N→∞ TN f(τ,τ) − ∫F dx dy / y² f(τ,τ) = O(N^{-9/28+ε})
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
The Large N Limit of Superconformal Field Theories and Supergravity
J.M. Maldacena,The Large N Limit of Superconformal Field Theories and Supergravity, Jan., 1998. 10.48550/arXiv.hep-th/9711200
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.hep-th/9711200 1998
-
[2]
Large N Field Theories, String Theory and Gravity
O. Aharony, S.S. Gubser, J. Maldacena, H. Ooguri and Y. Oz,Large N Field Theories, String Theory and Gravity, Oct., 1999. 10.48550/arXiv.hep-th/9905111
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.hep-th/9905111 1999
-
[3]
Anti De Sitter Space And Holography
E. Witten,Anti De Sitter Space And Holography, Apr., 1998. 10.48550/arXiv.hep-th/9802150
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.hep-th/9802150 1998
- [4]
-
[5]
A. Barbar, A. Dymarsky and A. Shapere,Holographic description of 4d Maxwell theories and their code-based ensembles, Oct., 2025. 10.48550/arXiv.2510.03392
-
[6]
A. Biggs, L.L. Lin and J. Maldacena,A melonic quantum mechanical model without disorder, Jan., 2026. 10.48550/arXiv.2601.08908. – 35 –
-
[7]
E.P. Wigner,Characteristic Vectors of Bordered Matrices With Infinite Dimensions,Annals of Mathematics62(1955) 548
work page 1955
-
[8]
R. Dijkgraaf, G. Moore, E. Verlinde and H. Verlinde,Elliptic Genera of Symmetric Products and Second Quantized Strings,Communications in Mathematical Physics185(1997) 197
work page 1997
-
[9]
F.M. Haehl and M. Rangamani,Permutation orbifolds and holography,Journal of High Energy Physics2015(2015) 163
work page 2015
-
[10]
A. Belin, C.A. Keller and A. Maloney,String Universality for Permutation Orbifolds, Physical Review D91(2015) 106005
work page 2015
- [11]
-
[12]
N. Benjamin, S. Bintanja, A. Castro and J. Hollander,The Stranger Things of Symmetric Product Orbifold CFTs,Journal of High Energy Physics2022(2022) 54
work page 2022
- [13]
-
[14]
L. Eberhardt,Partition functions of the tensionless string,Journal of High Energy Physics 2021(2021) 176
work page 2021
-
[15]
A. Maloney and E. Witten,Averaging Over Narain Moduli Space,Journal of High Energy Physics2020(2020) 187
work page 2020
-
[16]
N. Afkhami-Jeddi, H. Cohn, T. Hartman and A. Tajdini,Free partition functions and an averaged holographic duality,Journal of High Energy Physics2021(2021) 130
work page 2021
-
[17]
A. Dymarsky and A. Shapere,Quantum stabilizer codes, lattices, and CFTs,Journal of High Energy Physics2021(2021) 160
work page 2021
-
[18]
A. Belin, A. Maloney and F. Seefeld,A measure on the space of CFTs and pure 3D gravity, Sept., 2025. 10.48550/arXiv.2509.04554
-
[19]
D. Stanford and C. Yan,Cusps in 3d gravity, Oct., 2025. 10.48550/arXiv.2510.19920
-
[20]
Barbar,Automorphism-weighted ensembles from TQFT gravity, Nov., 2025
A. Barbar,Automorphism-weighted ensembles from TQFT gravity, Nov., 2025. 10.48550/arXiv.2511.04311
-
[21]
O. Aharony, A. Dymarsky and A.D. Shapere,Holographic description of Narain CFTs and their code-based ensembles,JHEP05(2024) 343
work page 2024
- [22]
- [23]
-
[24]
N. Benjamin, S. Collier, A.L. Fitzpatrick, A. Maloney and E. Perlmutter,Harmonic analysis of 2d CFT partition functions, May, 2022. 10.1007/JHEP09(2021)174
-
[25]
A. Belin, S. Collier, L. Eberhardt, D. Liska and B. Post,A universal sum over topologies in 3d gravity, Jan., 2026. 10.48550/arXiv.2601.07906
-
[26]
A. Dymarsky and A. Shapere,TQFT gravity and ensemble holography,Journal of High Energy Physics2025(2025) 91
work page 2025
-
[27]
A. Eskin and H. Oh,Ergodic theoretic proof of equidistribution of Hecke points,Ergodic Theory and Dynamical Systems26(2006) 163. – 36 –
work page 2006
-
[28]
J.B. Bost and A. Connes,Hecke algebras, type III factors and phase transitions with spontaneous symmetry breaking in number theory,Selecta Mathematica1(1995) 411
work page 1995
-
[29]
Perlmutter,AnL-function Approach to Two-Dimensional Conformal Field Theory, Sept., 2025
E. Perlmutter,AnL-function Approach to Two-Dimensional Conformal Field Theory, Sept., 2025. 10.48550/arXiv.2509.21672
-
[30]
N. Koblitz,Introduction to Elliptic Curves and Modular Forms, Graduate Texts in Mathematics, Springer, New York, NY (1993), 10.1007/978-1-4612-0909-6
-
[31]
E. D’Hoker and J. Kaidi,Modular Forms and String Theory, Cambridge University Press, Cambridge (2024), 10.1017/9781009457521
-
[32]
A. Terras,Harmonic Analysis on Symmetric Spaces—Euclidean Space, the Sphere, and the Poincar´ e Upper Half-Plane, SpringerLink B¨ ucher, Springer, New York, NY, 2nd ed. 2013 ed. (2013), 10.1007/978-1-4614-7972-7
-
[33]
Quantum and Arithmetical Chaos
E. Bogomolny,Quantum and Arithmetical Chaos, Dec., 2003. 10.48550/arXiv.nlin/0312061
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.nlin/0312061 2003
- [34]
-
[35]
E.B. Bogomolny, B. Georgeot, M.J. Giannoni and C. Schmit,Arithmetical chaos,Physics Reports291(1997) 219
work page 1997
-
[36]
Marklof,Arithmetic Quantum Chaos, inEncyclopedia of Mathematical Physics, pp
J. Marklof,Arithmetic Quantum Chaos, inEncyclopedia of Mathematical Physics, pp. 465–474, Elsevier (2006), DOI
work page 2006
- [37]
-
[38]
S. Collier and A. Maloney,Wormholes and Spectral Statistics in the Narain Ensemble, Journal of High Energy Physics2022(2022) 4
work page 2022
-
[39]
G.D. Ubaldo and E. Perlmutter,AdS 3/RMT2 Duality, Nov., 2023. 10.48550/arXiv.2307.03707
-
[40]
Rankin,Contributions to the theory of Ramanujan’s functionτ(n)and similar arithmetical functions: II
R.A. Rankin,Contributions to the theory of Ramanujan’s functionτ(n)and similar arithmetical functions: II. The order of the Fourier coefficients of integral modular forms, Mathematical Proceedings of the Cambridge Philosophical Society35(1939) 357
work page 1939
-
[41]
A. Selberg,Bemerkungen ¨ uber eine Dirichletsche Reihe, die mit der Theorie der Modulformen nahe verbunden ist, Cammermeyer i komm. (1940)
work page 1940
-
[42]
Zagier,The Rankin-Selberg method for automorphic functions which are not of rapid decay,J
D. Zagier,The Rankin-Selberg method for automorphic functions which are not of rapid decay,J. Fac. Sci. Univ. Tokyo Sect. IA Math28(1981) 415
work page 1981
-
[43]
Hecke, ¨Uber Modulfunktionen und die Dirichletschen Reihen mit Eulerscher Produktentwicklung
E. Hecke, ¨Uber Modulfunktionen und die Dirichletschen Reihen mit Eulerscher Produktentwicklung. I,Mathematische Annalen114(1937) 1
work page 1937
-
[44]
Electric-Magnetic Duality And The Geometric Langlands Program
A. Kapustin and E. Witten,Electric-Magnetic Duality And The Geometric Langlands Program, Jan., 2007. 10.48550/arXiv.hep-th/0604151
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.hep-th/0604151 2007
-
[45]
The L-functions and modular forms database
T.L. Collaboration, “The L-functions and modular forms database.”
-
[46]
J. Boruch, G.D. Ubaldo, F.M. Haehl, E. Perlmutter and M. Rozali,Modular-invariant random matrix theory and AdS 3 wormholes, Feb., 2025. 10.48550/arXiv.2503.00101
-
[47]
A. Belin, S. Bintanja, A. Castro and W. Knop,Symmetric Product Orbifold Universality and the Mirage of an Emergent Spacetime, Feb., 2025. 10.48550/arXiv.2502.01734. – 37 –
-
[48]
A new look at one-loop integrals in string theory
C. Angelantonj, I. Florakis and B. Pioline,A new look at one-loop integrals in string theory, Nov., 2011. 10.48550/arXiv.1110.5318
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1110.5318 2011
-
[49]
N.A. Obers and B. Pioline,Eisenstein Series and String Thresholds,Communications in Mathematical Physics209(2000) 275
work page 2000
-
[50]
R. Dijkgraaf, J. Maldacena, G. Moore and E. Verlinde,A Black Hole Farey Tail, Dec.,
-
[51]
10.48550/arXiv.hep-th/0005003
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.hep-th/0005003
-
[52]
C.A. Keller and A. Maloney,Poincare Series, 3D Gravity and CFT Spectroscopy,Journal of High Energy Physics2015(2015) 80
work page 2015
-
[53]
A. Maloney and E. Witten,Quantum Gravity Partition Functions in Three Dimensions, Journal of High Energy Physics2010(2010) 29
work page 2010
-
[54]
Three-Dimensional Gravity Revisited
E. Witten,Three-Dimensional Gravity Revisited, June, 2007. 10.48550/arXiv.0706.3359
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.0706.3359 2007
-
[55]
A.B. Zamolodchikov,Irreversibility of the Flux of the Renormalization Group in a 2D Field Theory,JETP Lett.43(1986) 730
work page 1986
-
[56]
G. Di Ubaldo and E. Perlmutter,AdS3 Pure Gravity and Stringy Unitarity,Phys. Rev. Lett.132(2024) 041602
work page 2024
-
[57]
J. Cotler and K. Jensen,AdS 3 wormholes from a modular bootstrap,Journal of High Energy Physics2020(2020) 58
work page 2020
-
[58]
S. Collier, L. Eberhardt and M. Zhang,Solving 3d Gravity with Virasoro TQFT,SciPost Physics15(2023) 151
work page 2023
-
[59]
J. Chandra, S. Collier, T. Hartman and A. Maloney,Semiclassical 3D gravity as an average of large-c CFTs,Journal of High Energy Physics2022(2022) 69
work page 2022
-
[60]
M.C. Gutzwiller,Periodic Orbits and Classical Quantization Conditions,Journal of Mathematical Physics12(1971) 343
work page 1971
-
[61]
K.S. Narain,New Heterotic String Theories in Uncompactified Dimensions<10, in Current Physics–Sources and Comments, B. Schellekens, ed., vol. 4 ofSuperstring Construction, pp. 246–251, Elsevier (1989), DOI
work page 1989
-
[62]
K.S. Narain, M.H. Sarmadi and E. Witten,A Note on Toroidal Compactification of Heterotic String Theory,Nucl. Phys. B279(1987) 369
work page 1987
-
[63]
J.H. Conway and N.J.A. Sloane,Sphere Packings, Lattices and Groups, vol. 290 of Grundlehren der mathematischen Wissenschaften, Springer New York, New York, NY (1999), 10.1007/978-1-4757-6568-7
-
[64]
Harvard CMSA Quantum Matter in Math and Physics,John Baez (UCR) Two of my favorite numbers: 8 and 24 @ Harvard CMSA 8/24/2023, Aug., 2023
work page 2023
-
[65]
K. Kawabata, T. Nishioka and T. Okuda,Narain CFTs from qudit stabilizer codes, Apr., 2023
work page 2023
-
[66]
K. Kawabata and S. Yahagi,Fermionic CFTs from classical codes over finite fields,Journal of High Energy Physics2023(2023) 96
work page 2023
-
[67]
K. Kawabata, T. Nishioka and T. Okuda,Supersymmetric conformal field theories from quantum stabilizer codes, Aug., 2023
work page 2023
- [68]
- [69]
-
[70]
Tate,Algebraic cycles and poles of zeta functions, inArithmetical Algebraic Geometry, pp
J. Tate,Algebraic cycles and poles of zeta functions, inArithmetical Algebraic Geometry, pp. 93–110, Harper & Row (1965)
work page 1965
-
[71]
P. Sarnak,Statistical Properties of Eigenvalues of the Hecke Operators, inAnalytic Number Theory and Diophantine Problems: Proceedings of a Conference at Oklahoma State University, 1984, A.C. Adolphson, J.B. Conrey, A. Ghosh and R.I. Yager, eds., (Boston, MA), pp. 321–331, Birkh¨ auser (1987), DOI
work page 1984
-
[72]
A. Aygunes and Y. Simsek,Hecke Operators Related to the Generalized Dedekind Eta Functions and Applications,AIP Conference Proceedings1281(2010)
work page 2010
-
[73]
On S-Duality in Abelian Gauge Theory
E. Witten,On S-Duality in Abelian Gauge Theory, May, 1995. 10.48550/arXiv.hep-th/9505186
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.hep-th/9505186 1995
-
[74]
Verlinde,Global Aspects of Electric-Magnetic Duality,Nuclear Physics B455(1995) 211
E. Verlinde,Global Aspects of Electric-Magnetic Duality,Nuclear Physics B455(1995) 211
work page 1995
-
[75]
S.R. Das and S.D. Mathur,Comparing decay rates for black holes and D-branes,Nuclear Physics B478(1996) 561
work page 1996
-
[76]
J. Maldacena and A. Strominger,Black Hole Greybody Factors and D-Brane Spectroscopy, Physical Review D55(1997) 861
work page 1997
-
[77]
C.G. Callan and J.M. Maldacena,D-brane Approach to Black Hole Quantum Mechanics, Nuclear Physics B472(1996) 591
work page 1996
-
[78]
T. Takayanagi and T. Tsuda,Free fermion cyclic/symmetric orbifold CFTs and entanglement entropy,JHEP12(2022) 004
work page 2022
-
[79]
Eberhardt,Summing over Geometries in String Theory,Journal of High Energy Physics 2021(2021) 233
L. Eberhardt,Summing over Geometries in String Theory,Journal of High Energy Physics 2021(2021) 233
work page 2021
- [80]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.