REVIEW 3 major objections 4 minor 37 references
Properties of scalar partition functions of 2d CFTs
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The scalars of any 2d CFT obey a crossing equation whose high-temperature corrections are governed by the nontrivial zeros of the Riemann zeta function.
desk verdict Solid generalization of the Narain scalar bootstrap with a real but openly admitted unproven spectral-density assumption; worth refereeing, but the 'any 2d CFT' claim is conditional. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying object is the MWK-subtracted primary partition function $\hat Z_p = Z_p - Z^{\mathrm{gravity}}$, where $Z^{\mathrm{gravity}}$ is the Poincaré-sum completion of all light primary states. Its scalar part is decomposed spectrally into the constant (the modular integral), a continuum of Eisenstein series, and Maass cusp forms; the cusp forms drop out of the scalar sector. The overlap $(\hat Z_p,E_s)$ is evaluated by unfolding, turning it into an integral of the scalar density against $\Delta^{1/2-s}$; the assumption (3.26) justifies exchanging integrals and deforming the $s$-contour. The factor $\zeta(2s)/\zeta(2s-1)$ in the functional identity places poles at $s=(1+z_k)/2$, which produce the zeta-zero terms, while the residue at $s=1/2$ fixes the light-state contribution. Functionals that annihilate powers $t^{1-z_k}$ convert the second crossing equation into the first one, Eq. (1.6), which is sign-definite and suitable for bootstrap bounds.
What would settle it
Compute the MWK-subtracted scalar density $\rho_p^{\mathrm{scalars}}(\Delta) - \sum \rho_{\mathrm{MWK}}^{\mathrm{scalars}}(\Delta)$ for a CFT with a known spectrum (e.g., a compactified free boson at irrational radius) and fit the large-$\Delta$ decay: if the falloff is slower than $O(\Delta^{-1/2})$ — say $O(\Delta^{-1/4})$ — or has oscillations of that amplitude, the integral exchange behind (3.33) breaks down. Alternatively, evaluate both sides of (3.33) at two small values of $y$ with the zeta-zero sum truncated; any $y$-dependent discrepancy larger than the exponentially small tail would falsify the identity.
Extended reading notes
Core claim
The central discovery is that the scalar sector of a 2d CFT is self-consistent: the scalar Virasoro primaries obey Eq. (1.6), a crossing equation with no reference to spinning operators, and the more powerful Eq. (3.33). In the second equation, $Z_p^{\mathrm{scalars}}(y)$ minus the scalar part of the MWK gravity partition function equals $\frac{3}{\pi}(\hat Z_p,1) + \sum_k \mathrm{Re}(\delta_k y^{(1+z_k)/2})$ plus perturbative terms fixed by the light spectrum and a nonperturbative sum over heavy scalar states. The coefficients $\delta_k$ are theory-dependent residues of the spectral overlap of the subtracted partition function with Eisenstein series, evaluated at the points $s=(1+z_k)/2$ selected by zeros of $\zeta(2s-1)$. This shows that the high-temperature (small $y$) behavior of any modular-invariant primary partition function knows about the nontrivial zeros of the Riemann zeta function, and that the scalar spectrum alone determines the regulated modular integral.
Load-bearing premise
The argument assumes that after subtracting the reference spectrum built from light states, the scalar primary density falls off at least as $O(\Delta^{-1/2})$ with the scaling dimension $\Delta$, so integrals and contour deformations can be exchanged; the paper checks this numerically for solvable theories but does not prove it for all 2d CFTs.
Editorial extensions
If this is right
- For c<7, crossing equation (1.6) gives a positive sum rule; using it with semidefinite programming yields rigorous upper bounds on the scalar gap for 1<c<7, reported in Table 1.
- Identity (3.33) computes regulated modular integrals from scalar spectra, including cases with c>7 where (1.6) diverges; the paper demonstrates this for the (E8)_1 and ((E8)_1)^4 WZW models and for meromorphic modular functions.
- If the Riemann hypothesis is true, the nonperturbative zeta-zero series in (3.33) has an envelope of size y^{3/4} at small y; the paper notes the converse would follow if every zeta zero has at least one CFT with nonzero delta_k.
- The same subtraction strategy gives a formal crossing equation for each spin sector, Eq. (8.3), with Maass cusp-form contributions; for the c=1 free boson it reproduces the known spin-j spectrum.
Reading between the lines
- A direct test of the assumed O(Delta^{-1/2}) falloff in non-rational exactly solvable theories (for instance, free bosons at generic radius) would tell how close this is to a theorem.
- Analytically continuing y to y+it in (3.33) gives a spectral form factor whose late-time behavior might exhibit statistics inherited from the zeta zeros; the paper does not perform this continuation, but the structure invites it.
- If the residues delta_k can be extracted reliably for individual CFTs, their pattern could serve as a measure of how 'chaotic' a spectrum is: rational CFTs with large degeneracies should make the MWK subtraction nearly exact, while chaotic theories might display larger zeta-zero oscillations.
- The r-plane pole structure suggests a possible analytic continuation of (1.6) beyond c=7; if found, it would extend scalar-gap bounds into the holographic regime.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the scalar primary sector of the torus partition function of an arbitrary 2d CFT. Its first main result is Eq. (1.6), a crossing equation for the scalar Virasoro primary density with an r-independent constant epsilon, obtained by unfolding a Petersson inner product against a c=1 free-boson seed. Its second and more elaborate result is Eq. (3.33), an exact high-temperature expansion that expresses the difference between the scalar partition function and the MWK/gravity completion of the light spectrum as the sum of a modular integral term, an infinite series controlled by nontrivial zeros of the Riemann zeta function, terms fixed by the light spectrum, and exponentially small corrections from heavy scalars. The derivation uses harmonic analysis on the modular surface, subtraction of MWK Poincare sums, contour deformation in the Eisenstein spectral parameter, and linear functionals. The paper also contains analytic checks for Liouville theory, MWK and Rademacher sums, numerical fits for WZW models including c>7 cases, and semidefinite-programming bounds on the scalar gap for c<7.
Significance. If the main theorem were established for all 2d CFTs, it would be a substantial extension of the scalar modular bootstrap: it moves from Narain lattices to generic Virasoro primaries and produces a striking structural connection between the high-temperature asymptotics of scalar partition functions and the nontrivial zeros of the Riemann zeta function. The analytic machinery, including the explicit MWK scalar densities and the derivation of sum rules from spectral decomposition, is valuable independent of the final theorem. The paper also demonstrates a practical route to computing regulated modular integrals, with explicit analytic checks and several nontrivial WZW examples. However, the central universal claim is conditional on an unproven spectral falloff assumption, and the numerical evidence does not close that gap; this limits the current significance to a well-developed but conditional framework.
major comments (3)
- [Sec. 3.2.2, Eq. (3.26)] The load-bearing premise of the derivation is stated as an assumption and is not proven, and as written it is not even well-defined pointwise. For a theory with infinitely many scalar primaries, the left-hand side of Eq. (3.26) is a sum of delta functions with degeneracies growing like the Cardy density, so it cannot be O(Delta^{-1/2}) pointwise as Delta tends to infinity; it must be interpreted in some smeared or integrated sense, but no such regularization is defined. This matters because the exchange of integrals leading to Eq. (3.27), and hence the contour deformation leading to Eq. (3.33), rely exactly on this falloff. The numerical evidence in Sec. 6 involves rational WZW models and checks the final crossing equation rather than Eq. (3.26) directly, and footnote 8, which weakens the assumption to 'not superpolynomial,' is likewise unproven. The universal claim for arbitrary 2d CFTs is therefore not established.
- [Introduction and Sec. 5] The paper states that Eq. (1.6) can be defined for c>7 by analytic continuation in r, but no precise analytic-continuation procedure is supplied. Section 5 analyzes pole locations in the complex r plane but concludes only that it would be 'extremely interesting' to extend convergence beyond c=7; it does not provide the continuation. Since the abstract and introduction claim validity for any 2d CFT without a c restriction, the treatment of the c>7 regime is currently not justified. This is not merely a cosmetic issue, because the numerical uses of Eq. (3.33) in Sec. 6 are presented as going beyond the c<7 convergence window of Eq. (1.6).
- [Sec. 6, Eqs. (6.4), (6.13), (6.16)] The numerical extractions of epsilon and delta_k are presented without error bars, fit ranges, or systematic convergence checks with respect to the cutoff in the zeta-zero sum and the neglected nonperturbative terms. For instance, Eq. (6.4) quotes Re(epsilon) ~ -15.07 to two decimals, and the fits in Figs. 1-4 use different cutoffs (5, 5, 20) without demonstrating stability in the cutoff or quantifying the contribution of omitted zeros. Since these numbers are offered both as evidence for Eq. (3.33) and as definite predictions for modular integrals, the numerical support is weaker than stated.
minor comments (4)
- [Table 1] The c=1.3 row is non-monotonic in nmax: the bound is 0.55203 at nmax=30 but 0.57043 at nmax=40. Please check the numerics or explain why the bound can increase with the number of derivatives.
- [Abstract] The phrase 'and an infinite series terms directly related to the nontrivial zeros' should read 'and an infinite series of terms directly related to the nontrivial zeros.'
- [Figs. 1-4] The vertical axes of Figs. 1-4 are unlabeled, and the horizontal axis is written as 'log(T)' without specifying the base; please label the plotted quantity explicitly and state the base.
- [Sec. 4.4] The sentence 'We have checked that their scalar Virasoro primaries numerically obey our crossing equation to arbitrarily high precision' is not quantified; please specify the numerical precision and the range of parameters checked.
Circularity Check
No circularity: the scalar crossing equations are derived from modular invariance, unfolding, and spectral decomposition; the central unproven input (3.26) is an explicit assumption, not a fitted or self-referential one.
full rationale
The derivation chain is self-contained in the relevant sense. Equation (3.21) follows from the spectral decomposition of the subtracted partition function \hat Z_p = Z_p - Z_gravity, with the harmonic-analysis input (3.2)/(3.10) cited to the textbook [14] and to prior work [15] that is itself an externally checkable technique, not the target result. The quantities \epsilon and \delta_k are introduced as integrals/residues: \epsilon via (1.11) and (3.44), and \delta_k via the residue definition after (3.28), so their numerical extraction in Sec. 6 is an output or check, not a fitted input renamed as a prediction. The only fragile step, Eq. (3.26), is explicitly labeled an assumption with numerical evidence in Sec. 6 and is even weakened in footnote 8; an unproven assumption is a correctness or rigor risk, not circularity, because the paper does not define (3.26) in terms of the conclusion (3.33). External anchors also exist: the SU(2)_1 modular integral agrees with [12] (Fig. 2), and the meromorphic-function integral (6.20) agrees with [12, 22]. Minor self-citations to [1] and [15] are to prior methods, and per the review rules these are independent support rather than load-bearing self-reference. I therefore find no step that reduces, by construction, to its own input.
Assumptions & free parameters
assumptions (5)
- domain assumption Spectral decomposition of modular functions with polynomial growth (Rankin-Selberg / Zagier extension).
- ad hoc to paper The subtracted scalar density satisfies O(Delta^{-1/2}) falloff as Delta goes to infinity (Eq. 3.26).
- domain assumption Finiteness of the light spectrum L union J (primaries with Delta <= 0).
- ad hoc to paper Interchange of sums and integrals in Eq. (3.24) and (3.28) for Re(s) > 1.
- standard math Standard facts about the Riemann zeta function and the functional equation of the Eisenstein series.
Cite this review
Pith. "Pith review of Properties of scalar partition functions of 2d CFTs." pith.science (2026). https://pith.science/paper/KEH5CI3R
@misc{pith2026250518314,
author = {Pith},
title = {Pith review of: Properties of scalar partition functions of 2d CFTs},
year = {2026},
howpublished = {\url{https://pith.science/paper/KEH5CI3R}},
note = {Machine review of arXiv:2505.18314}
}
read the original abstract
We study the spectrum of scalar primary operators in any two-dimensional conformal field theory. We show that the scalars alone obey a nontrivial crossing equation. This extends previous work that derived a similar equation for Narain conformal field theories. Additionally, we show that at high temperature, the difference between the true scalar partition function and the one predicted from a semiclassical gravity calculation is controlled by: the modular integral of the partition function, the light states of the theory, and an infinite series terms directly related to the nontrivial zeros of the Riemann zeta function. We give several numerical examples and compute their modular integrals.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[1]
N. Benjamin and C.-H. Chang, Scalar modular bootstrap and zeros of the Riemann zeta function , JHEP 11 (2022) 143, [ arXiv:2208.02259]
arXiv 2022
-
[2]
S. Hellerman, A Universal Inequality for CFT and Quantum Gravity , JHEP 08 (2011) 130, [arXiv:0902.2790]
arXiv 2011
-
[3]
D. Friedan and C. A. Keller, Constraints on 2d CFT partition functions , JHEP 10 (2013) 180, [ arXiv:1307.6562]
arXiv 2013
-
[4]
N. Benjamin, E. Dyer, A. L. Fitzpatrick, and S. Kachru, Universal Bounds on Charged States in 2d CFT and 3d Gravity , JHEP 08 (2016) 041, [ arXiv:1603.09745]
arXiv 2016
-
[5]
S. Collier, Y.-H. Lin, and X. Yin, Modular Bootstrap Revisited, JHEP 09 (2018) 061, [arXiv:1608.06241]
arXiv 2018
-
[6]
N. Afkhami-Jeddi, T. Hartman, and A. Tajdini, Fast Conformal Bootstrap and Constraints on 3d Gravity , JHEP 05 (2019) 087, [ arXiv:1903.06272]. 47
arXiv 2019
-
[7]
T. Hartman, D. Maz´ aˇ c, and L. Rastelli,Sphere Packing and Quantum Gravity , JHEP 12 (2019) 048, [ arXiv:1905.01319]
arXiv 2019
-
[8]
N. Afkhami-Jeddi, H. Cohn, T. Hartman, D. de Laat, and A. Tajdini, High-dimensional sphere packing and the modular bootstrap , JHEP 12 (2020) 066, [arXiv:2006.02560]
arXiv 2020
Show all 37 references
-
[9]
J. L. Cardy, Operator Content of Two-Dimensional Conformally Invariant Theories , Nucl. Phys. B 270 (1986) 186–204
1986
-
[10]
Maloney and E
A. Maloney and E. Witten, Quantum Gravity Partition Functions in Three Dimensions, JHEP 02 (2010) 029, [ arXiv:0712.0155]
2010 arXiv
-
[11]
C. A. Keller and A. Maloney, Poincare Series, 3D Gravity and CFT Spectroscopy , JHEP 02 (2015) 080, [ arXiv:1407.6008]
2015 arXiv
-
[12]
M. M. Baccianti, J. Chandra, L. Eberhardt, T. Hartman, and S. Mizera, Rademacher expansion of modular integrals , arXiv:2501.13827
-
[13]
Callebaut, J
N. Callebaut, J. Kruthoff, and H. Verlinde, T T deformed CFT as a non-critical string , JHEP 04 (2020) 084, [ arXiv:1910.13578]
2020 arXiv
-
[14]
Terras, Harmonic Analysis on Symmetric Spaces—Euclidean Space, the Sphere, and the Poincar´ e Upper Half-Plane
A. Terras, Harmonic Analysis on Symmetric Spaces—Euclidean Space, the Sphere, and the Poincar´ e Upper Half-Plane. Springer New York, 2013
2013
-
[15]
Benjamin, S
N. Benjamin, S. Collier, A. L. Fitzpatrick, A. Maloney, and E. Perlmutter, Harmonic analysis of 2d CFT partition functions , JHEP 09 (2021) 174, [ arXiv:2107.10744]
2021 arXiv
-
[16]
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 Math 28 (1981), no. 3 415–437
1981
-
[17]
Mukhametzhanov and A
B. Mukhametzhanov and A. Zhiboedov, Modular invariance, tauberian theorems and microcanonical entropy, JHEP 10 (2019) 261, [ arXiv:1904.06359]
2019 arXiv
-
[18]
Mukhametzhanov and S
B. Mukhametzhanov and S. Pal, Beurling-Selberg Extremization and Modular Bootstrap at High Energies , SciPost Phys. 8 (2020), no. 6 088, [ arXiv:2003.14316]
2020 arXiv
-
[19]
L. F. Alday and J.-B. Bae, Rademacher Expansions and the Spectrum of 2d CFT , JHEP 11 (2020) 134, [ arXiv:2001.00022]
2020 arXiv
-
[20]
Benjamin and A
N. Benjamin and A. L. Fitzpatrick, Higher d Eisenstein series and a duality-invariant distance measure, JHEP 04 (2024) 142, [ arXiv:2308.11715]
2024 arXiv
-
[21]
Benjamin, S
N. Benjamin, S. Collier, J. Kruthoff, H. Verlinde, and M. Zhang, S-duality in T T -deformed CFT, JHEP 05 (2023) 140, [ arXiv:2302.09677]
2023 arXiv
-
[22]
Lerche, B
W. Lerche, B. E. W. Nilsson, A. N. Schellekens, and N. P. Warner, Anomaly Cancelling Terms From the Elliptic Genus , Nucl. Phys. B 299 (1988) 91–116. 48
1988
-
[23]
Simmons-Duffin, A Semidefinite Program Solver for the Conformal Bootstrap , JHEP 06 (2015) 174, [ arXiv:1502.02033]
D. Simmons-Duffin, A Semidefinite Program Solver for the Conformal Bootstrap , JHEP 06 (2015) 174, [ arXiv:1502.02033]
2015 arXiv
-
[24]
Landry and D
W. Landry and D. Simmons-Duffin, Scaling the semidefinite program solver SDPB , arXiv:1909.09745
1909 arXiv
-
[25]
H. L. Montgomery, The pair correlation of zeros of the zeta function , Proc. Symp. Pure Math. 24 (1973) 181–193
1973
-
[26]
A. M. Odlyzko, On the distribution of spacings between zeros of the zeta function , Math. Comp. 48 (1987), no. 177 273–308
1987
-
[27]
Rudnick and P
Z. Rudnick and P. Sarnak, Zeros of principal L-functions and random matrix theory , Duke Math. J. 81 (1996), no. 2 269–322
1996
-
[28]
J. S. Cotler, G. Gur-Ari, M. Hanada, J. Polchinski, P. Saad, S. H. Shenker, D. Stanford, A. Streicher, and M. Tezuka, Black Holes and Random Matrices , JHEP 05 (2017) 118, [ arXiv:1611.04650]. [Erratum: JHEP 09, 002 (2018)]
2017 arXiv
-
[29]
Dyer and G
E. Dyer and G. Gur-Ari, 2D CFT Partition Functions at Late Times , JHEP 08 (2017) 075, [arXiv:1611.04592]
2017 arXiv
-
[30]
Benjamin, E
N. Benjamin, E. Dyer, A. L. Fitzpatrick, and Y. Xin, The Most Irrational Rational Theories, JHEP 04 (2019) 025, [ arXiv:1812.07579]
2019 arXiv
-
[31]
F. M. Haehl, W. Reeves, and M. Rozali, Euclidean wormholes in two-dimensional conformal field theories from quantum chaos and number theory , Phys. Rev. D 108 (2023), no. 10 L101902, [ arXiv:2309.02533]
2023 arXiv
-
[32]
F. M. Haehl, C. Marteau, W. Reeves, and M. Rozali, Symmetries and spectral statistics in chaotic conformal field theories , JHEP 07 (2023) 196, [ arXiv:2302.14482]
2023 arXiv
-
[33]
Di Ubaldo and E
G. Di Ubaldo and E. Perlmutter, AdS3/RMT2 duality, JHEP 12 (2023) 179, [arXiv:2307.03707]
2023 arXiv
-
[34]
Boruch, G
J. Boruch, G. Di Ubaldo, F. M. Haehl, E. Perlmutter, and M. Rozali, Modular-invariant random matrix theory and AdS 3 wormholes, arXiv:2503.00101
-
[35]
Dorigoni and R
D. Dorigoni and R. Treilis, Two string theory flavours of generalised Eisenstein series , JHEP 11 (2023) 102, [ arXiv:2307.07491]
2023 arXiv
-
[36]
Godet, M¨ obius randomness in the Hartle-Hawking state, arXiv:2505.03068
V. Godet, M¨ obius randomness in the Hartle-Hawking state, arXiv:2505.03068
-
[37]
L. F. Alday, J.-B. Bae, N. Benjamin, and C. Jorge-Diaz, On the Spectrum of Pure Higher Spin Gravity , JHEP 12 (2020) 001, [ arXiv:2009.01830]. 49
2020 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.