REVIEW 2 major objections 5 minor 1 cited by
Universality in the OPE Coefficients of Holographic 2d CFTs
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Universal formulas for averaged OPE coefficients of 2d holographic CFTs, normally valid at infinite dimension, survive down to $\Delta>c/6$ in sparse large-$c$ theories, under conditions that exclude permutation orbifolds.
desk verdict The covariant HKS framework is useful, but the paper's headline sparseness condition for C^2_HLL loses the 16^Δ factor and is too weak by an exponential amount. 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 argument runs on a single modular-covariant object: a spectral sum $X(\beta)=\sum_i C_i e^{-\beta(\Delta_i-c_0)}$ with positive coefficients, transforming as $X(\beta)=(\beta/2\pi)^w X(4\pi^2/\beta)$. Splitting $X$ into light and heavy parts and bounding the heavy part by $rX'_H$ with $r=e^{(\beta'-\beta)\epsilon}(\beta/\beta')^{w/2}$ shows that at $\beta>2\pi$ the quantity is approximated by its light contribution; if that light contribution is in turn close to the vacuum term, an inverse Laplace transform yields the universal asymptotic spectral density. Each OPE coefficient gets its own $X$: the pillow four-point function for $C^2_{HLL}$, the torus two-point function for $C^2_{HHL}$, and the torus one-point function for $C_{HHL}$. The heavy-heavy-heavy case would need the genus-two partition function, whose modular transformation is not known; the paper treats it under two explicit conjectures. The primary-density extension uses the pentagonal number identity to resum eta-function phases, converting the spectral transform into a Bessel-function sum dominated by its zero mode.
What would settle it
Compute the thermal two-point function $X(\beta,t)$ for a large-$c$ CFT that satisfies $\rho(\Delta)\lesssim e^{2\pi\Delta}$ but contains light multitrace operators, at $\beta$ just above $2\pi$; if $X$ deviates from the vacuum sum by more than a subexponential factor, the claim that $C^2_{HHL}$ extends to $\Delta\sim c$ collapses. A complementary check is to read off the light density of states of a permutation orbifold such as the free D1-D5 CFT: the paper predicts it exceeds $e^{\pi\Delta}$, which would exclude it from the $C^2_{HLL}$ extension.
Extended reading notes
Core claim
The paper claims that four universal asymptotic quantities of large-$c$ 2d CFTs — the squared heavy-light-light OPE coefficient average $C^2_{HLL}\approx 16^{-\Delta}e^{-S_{BH}(\Delta)/2}$, the heavy-heavy-light average $C^2_{HHL}\approx e^{-S_{BH}(\Delta)}$, the heavy-light-heavy one-point average $C_{HHL}\approx C_{\chi O\chi} e^{-2\pi\Delta_\chi\sqrt{12\Delta/c-1}}$, and the density of primary states $\rho_p(\Delta)\approx e^{2\pi\sqrt{(c-1)/3}(\Delta-(c-1)/12)}$ — remain valid for every $\Delta>c/6$ under stated sparseness conditions. For $C^2_{HLL}$ the condition is $\rho(\Delta)\lesssim e^{\pi\Delta}$ for $\Delta<c/12+\epsilon$, stronger than the standard $e^{2\pi\Delta}$ bound and violated by permutation orbifolds including the free D1-D5 CFT. For $C^2_{HHL}$ and $C_{HHL}$ the standard bound suffices provided the light thermal correlator factorizes and grows subexponentially in medium states (footnote 3). The density of primary states extension is proven modulo standard sparseness using the pentagonal number theorem. The motivation for expecting the extension is the thermodynamic stability of large AdS$_3$ black holes, whose entropy must match the universal entropy formula for $\Delta>c/6$.
Load-bearing premise
The whole extension for heavy-heavy-light and one-point averages rests on the unproven assumption that at low temperature ($\beta>2\pi$) the light degrees of freedom are all that matter for the thermal correlator, with heavy states contributing only tiny corrections; if that fails, the extended formulas (3.18) and (3.31) do not follow.
Editorial extensions
If this is right
- In any large-$c$ 2d CFT whose light spectrum satisfies $\rho(\Delta)\lesssim e^{\pi\Delta}$, the averaged heavy-light-light OPE coefficient $C^2_{HLL}\approx 16^{-\Delta}e^{-S_{BH}(\Delta)/2}$ holds for all $\Delta>c/6$, not only in the $\Delta\to\infty$ limit.
- Under the standard light-sparseness bound $\rho(\Delta)\lesssim e^{2\pi\Delta}$ plus the footnote-3 factorization assumptions, the heavy-heavy-light average $C^2_{HHL}\approx e^{-S_{BH}(\Delta)}$ and the one-point average $C_{HHL}$ remain valid down to $\Delta>c/6$.
- The density of primary states follows the universal density-of-states formula with $c\to c-1$ for all $\Delta>c/6$ in sparse large-$c$ theories, via the pentagonal number identity.
- Permutation orbifolds, including the free D1-D5 CFT, violate the stricter light-spectrum bound, so the $C^2_{HLL}$ extension does not apply to them even though their density of states may be sparse in the weaker sense.
- Assuming the conjectured OPE-density and block properties, heavy-light four-point functions are dominated by the vacuum conformal block except when the light operator approaches the singular points $z\to 0,\infty$.
Reading between the lines
- If the strict light-spectrum condition $\rho(\Delta)\lesssim e^{\pi\Delta}$ is genuinely necessary for the heavy-light-light extension, it would provide a sharper holography-versus-orbifold diagnostic than the density-of-states bound alone, one that distinguishes weakly coupled symmetric-product theories from genuine semiclassical bulk duals.
- The unproven factorization assumptions of footnote 3 are the main fragility of the $C^2_{HHL}$ and $C_{HHL}$ extensions; a natural numerical test would compute torus two-point functions in symmetric orbifold CFTs at large $N$ and check whether $X(\beta>2\pi)$ stays within a subexponential factor of the vacuum sum.
- If the block $H$-functions of the conformal block recursion exponentiate when $h\sim c$, the same extended formulas should hold for averages over primary states with the $c\to c-1$ shift, unifying the extended density formula, OPE asymptotics, and primary density under one modular-covariant principle.
- The vacuum-block-dominance analysis suggests a testable bootstrap constraint: non-vacuum block contributions in heavy-light correlators are exponentially suppressed at generic cross-ratio, with a sharp transition near $z\to 0,\infty$; this could serve as a working definition of a holographic CFT.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies extensions of universal asymptotic formulas for averaged OPE coefficients in holographic 2d CFTs from Δ→∞ down to Δ>c/6, adapting the HKS modular-invariance argument to modular-covariant quantities. It derives sufficient conditions on the light spectrum under which the formulas for C^2_HLL, C^2_HHL, C_HHL, and the density of primary states remain valid, discusses obstacles to extending C^2_HHH, and applies the results to vacuum block dominance. The main results are conditional on the HKS sparseness condition and on additional assumptions imported from reference [9].
Significance. If the statements hold, the paper provides a useful framework for constraining OPE data of holographic CFTs and identifies conditions stronger than extended Cardy behavior, with implications for permutation orbifolds. The paper is transparent about its conjectural parts, explicitly labels unproved input, and gives a clear covariant generalization of the HKS argument. However, the derivation of the central C^2_HLL extension in Section 3.1 contains a load-bearing error in the stated sufficient condition; once corrected, the framework may survive, but the current abstract and Section 5 uses of the result are unsupported as written.
major comments (2)
- [Section 3.1, Eq. (3.9)] The sufficient condition stated in Eq. (3.9) does not imply g ≈ g_vac. From Eq. (3.4), the contribution of a light state of dimension Δ to g at temperature β is C^2_OOΔ 16^Δ e^{-β/2(Δ-c/12)}, where C is the plane OPE coefficient. Comparing this to the vacuum term e^{βc/24} at the weakest point β→2π gives the ratio C^2_OOΔ 16^Δ e^{-πΔ}. Requiring this ratio to be exponentially small for all Δ ≤ c/12 + ε requires C^2_OOΔ ρ(Δ) ≲ e^{-(π - 4 ln 2)Δ} up to subexponential factors, not C^2 ρ ≲ e^{πΔ}. The stated condition only yields C^2 ρ 16^Δ e^{-πΔ} ≲ 16^Δ, which grows like e^{2.77Δ} and is not small relative to the vacuum term. Therefore the inference that (3.8) remains valid for Δ > c/6 does not follow as written. If the author intended C in (3.9) to be the pillow OPE coefficient, that contradicts the sentence after Eq. (3.4) defining C as the plane OPE coefficient. The same issue affects the abstract's claim about the e^{πΔ} condition and the use of (3.8) in Section 5.
- [Sections 3.2 and 3.3, footnote 3] The extended validity of (1.2) and (3.31) for Δ > c/6 rests on the 'mild additional assumptions' from [9] listed in footnote 3: factorization of light correlators, subexponential growth of light correlators in medium states, and existence of a large-c expansion of the light contribution to the thermal correlator. These assumptions are not proved in the present manuscript. If any of them fail, the replacement X(β>2π) ≈ X_vac is unjustified and the extended formulas in Sections 3.2 and 3.3 do not follow. The paper should either prove these assumptions or clearly state in the abstract and introduction that the C^2_HHL and C_HHL extensions are conditional on conjectural input from [9] rather than solely on the HKS sparseness condition.
minor comments (5)
- [Section 3.4, Eq. (3.39)] The expression after Eq. (3.39) writes a single summation over k, but the term contains (-1)^{k+k'} and the surrounding text refers to the k,k' plane. This should be a double sum over k and k'.
- [Section 3.1] The sentence 'Since the light OPE coefficients are polynomial in c in large c CFTs' introduces an additional assumption that is load-bearing for the claim that (3.9) is essentially a condition on the density of states; it should be stated explicitly as an assumption.
- [Abstract] The abstract states that the relevant condition is ρ(Δ) ≲ e^{πΔ}; after repairing the 16^Δ issue, the actual condition is stronger and also involves the OPE coefficients. The abstract should be updated to reflect the corrected condition.
- [Footnote 3] The phrase 'subexponential growth of light correlators in medium states' would benefit from a precise definition of 'medium states' and of the growth rate being bounded.
- [Section 4.2] The claim that 'preliminary numerics [28] suggest that this is indeed the case' is supported by a private communication; the authors should either include a plot or a more detailed statement, or soften the claim.
Circularity Check
No significant circularity: the paper derives explicit sufficient conditions from external asymptotics and acknowledged assumptions.
full rationale
The central assertions are condition-derivations, not input-output identifications. Section 2 adapts the HKS modular-invariance argument to a modular-covariant quantity X(β), and then Sections 3.1–3.4 derive sufficient sparseness conditions (e.g., (3.9), (3.33)) under which the asymptotic formulas (1.1)–(1.3) extend to Δ>c/6. The asymptotic formulas themselves are cited as prior results [3–6], not fitted or defined by the paper. The Section 3.2 and 3.3 extended-regime arguments rely on the explicitly stated 'mild additional assumptions' of [9] (footnote 3); this is an external, published result, and the assumptions are listed rather than hidden, so it is independent support rather than a self-citation chain. No load-bearing reference is authored by B. Michel, and the private communication [28] is explicitly preliminary and non-essential. Sections 4.1, 4.2, and 5 expressly flag conjectures and missing ingredients ('left for future work'), which is the opposite of a circular derivation. A skeptical reader might question whether the 16^Δ factor in the pillow sum makes (3.9) a sufficient condition, but even if that were a technical gap it would be a correctness issue, not a circularity: (3.9) is not defined in terms of the conclusion, and the claimed reduction is not an equation identity or a renamed fit. Hence no circular step is present.
Assumptions & free parameters
assumptions (8)
- domain assumption Unitarity, a unique vacuum state with C_vac = 1, and a gap in the spectrum.
- domain assumption The HKS sparseness condition ρ(Δ) ≲ e^{2πΔ} for all Δ ≤ c/12 + ε.
- domain assumption For C^2_HLL, the stronger bound ρ(Δ) ≲ e^{πΔ} holds for Δ ≤ c/12 + ε.
- domain assumption The additional assumptions of [9]: factorization of light correlators, subexponential growth in medium states, and existence of a large-c expansion of the light thermal correlator.
- domain assumption Light external operator dimension Δ_O < c/16.
- ad hoc to paper Conjectured plumbing-frame relationships: ℓ = β/2 and non-negative modular weight for the genus-two partition function.
- ad hoc to paper Conformal block H-functions exponentiate at h~c: H(h,q) ≈ q^{a h}.
- standard math The pentagonal number theorem used to resum the η functions.
Cite this review
Pith. "Pith review of Universality in the OPE Coefficients of Holographic 2d CFTs." pith.science (2026). https://pith.science/paper/ZNQCTRNQ
@misc{pith2026190802873,
author = {Pith},
title = {Pith review of: Universality in the OPE Coefficients of Holographic 2d CFTs},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZNQCTRNQ}},
note = {Machine review of arXiv:1908.02873}
}
abstract
The thermodynamic stability of large AdS$_3$ black holes implies that Cardy's $\Delta\rightarrow\infty$ formula for the density of states remains approximately valid when $\Delta\sim c$ in holographic 2d CFTs, constraining their light spectra. Averaged OPE coefficients take a similarly universal asymptotic form, and black hole arguments again imply an extended regime of validity. In this note we study conditions under which the OPE asymptotics extend to $\Delta\sim c$ at large central charge. Some of the conditions found are stronger than required by an extended Cardy regime and are violated by permutation orbifolds, such as the D1-D5 system at zero coupling. Our results suggest new bounds on non-vacuum block contributions to correlation functions in holographic CFTs.
Forward citations
Cited by 1 Pith paper
-
Modern Approach to 2D Conformal Field Theory
A review-style lecture note collection presenting modern bootstrap methods for irrational 2D CFTs, with no new research results.
Reference graph
Works this paper leans on
- [9]
-
[1]
J. L. Cardy, Operator Content of Two-Dimensional Conformally Invariant Theories , Nucl. Phys. B270 (1986) 186–204
work page 1986
-
[2]
T. Hartman, C. A. Keller and B. Stoica, Universal Spectrum of 2d Conformal Field Theory in the Large c Limit , JHEP 09 (2014) 118, 1405.5137
arXiv 2014
-
[3]
D. Das, S. Datta and S. Pal, Universal asymptotics of three-point coefficients from elliptic representation of Virasoro blocks , Phys. Rev. D98 (2018), no. 10, 101901, 1712.01842
arXiv 2018
-
[4]
E. M. Brehm, D. Das and S. Datta, Probing thermality beyond the diagonal , Phys. Rev. D98 (2018), no. 12, 126015, 1804.07924 28
arXiv 2018
- [5]
-
[6]
P. Kraus and A. Maloney, A cardy formula for three-point coefficients or how the black hole got its spots , JHEP 05 (2017) 160, 1608.03284
arXiv 2017
-
[7]
B. Mukhametzhanov and A. Zhiboedov, Modular Invariance, Tauberian Theorems, and Microcanonical Entropy, 1904.06359
arXiv 1904
Show all 35 references
-
[8]
Witten, Anti-de Sitter space, thermal phase transition, and confinement in gauge theories, Adv
E. Witten, Anti-de Sitter space, thermal phase transition, and confinement in gauge theories, Adv. Theor. Math. Phys. 2 (1998) 505–532, hep-th/9803131, [,89(1998)]
1998 arXiv
-
[10]
Maldacena, D
J. Maldacena, D. Simmons-Duffin and A. Zhiboedov, Looking for a bulk point , JHEP 01 (2017) 013, 1509.03612
2017 arXiv
-
[11]
F. M. Haehl and M. Rangamani, Permutation orbifolds and holography , JHEP 03 (2015) 163, 1412.2759
2015 arXiv
-
[12]
Belin, C
A. Belin, C. A. Keller and A. Maloney, String Universality for Permutation Orbifolds , Phys. Rev. D91 (2015), no. 10, 106005, 1412.7159
2015 arXiv
-
[13]
Belin, C
A. Belin, C. A. Keller and A. Maloney, Permutation Orbifolds in the large N Limit , Annales Henri Poincare (2016) 1–29, 1509.01256
2016 arXiv
-
[14]
J. M. Maldacena and A. Strominger, Universal low-energy dynamics for rotating black holes, Phys. Rev. D56 (1997) 4975–4983, hep-th/9702015
1997 arXiv
-
[15]
Hemming, E
S. Hemming, E. Keski-Vakkuri and P. Kraus, Strings in the extended BTZ space-time , JHEP 10 (2002) 006, hep-th/0208003
2002 arXiv
-
[16]
Pal, Bound on asymptotics of magnitude of three point coefficients in 2D CFT , 1906.11223
S. Pal, Bound on asymptotics of magnitude of three point coefficients in 2D CFT , 1906.11223
1906 arXiv
-
[17]
Maxfield, Quantum corrections to the BTZ black hole extremality bound from the conformal bootstrap, 1906.04416
H. Maxfield, Quantum corrections to the BTZ black hole extremality bound from the conformal bootstrap, 1906.04416
1906 arXiv
-
[18]
Calabrese, J
P. Calabrese, J. Cardy and E. Tonni, Entanglement entropy of two disjoint intervals in conformal field theory, J. Stat. Mech. 0911 (2009) P11001, 0905.2069 29
2009 arXiv
-
[19]
Calabrese, J
P. Calabrese, J. Cardy and E. Tonni, Entanglement entropy of two disjoint intervals in conformal field theory II , J. Stat. Mech. 1101 (2011) P01021, 1011.5482
2011 arXiv
-
[20]
M. Cho, S. Collier and X. Yin, Recursive Representations of Arbitrary Virasoro Conformal Blocks, JHEP 04 (2019) 018, 1703.09805
2019 arXiv
-
[21]
M. Cho, S. Collier and X. Yin, Genus Two Modular Bootstrap , JHEP 04 (2019) 022, 1705.05865
2019 arXiv
-
[22]
S. D. Mathur and A. Sen, Differential Equation for Genus Two Characters in Arbitrary Rational Conformal Field Theories , Phys. Lett. B218 (1989) 176–184
1989
-
[23]
Witten, Three-Dimensional Gravity Revisited, 0706.3359
E. Witten, Three-Dimensional Gravity Revisited, 0706.3359
-
[24]
Gaiotto and X
D. Gaiotto and X. Yin, Genus two partition functions of extremal conformal field theories, JHEP 08 (2007) 029, 0707.3437
2007 arXiv
-
[25]
Belin, C
A. Belin, C. A. Keller and I. G. Zadeh, Genus two partition functions and Rnyi entropies of large c conformal field theories , J. Phys. A50 (2017), no. 43, 435401, 1704.08250
2017 arXiv
-
[26]
A. B. Zamolodchikov, CONFORMAL SYMMETRY IN TWO-DIMENSIONS: AN EXPLICIT RECURRENCE FORMULA FOR THE CONFORMAL PARTIAL WAVE AMPLITUDE, Commun. Math. Phys. 96 (1984) 419–422
1984
-
[27]
A. B. Zamolodchikov, Conformal symmetry in two-dimensional space: Recursion representation of conformal block, Theoretical and Mathematical Physics 73 (Oct,
-
[28]
S. Datta. Private communication
-
[29]
C. T. Asplund, A. Bernamonti, F. Galli and T. Hartman, Holographic Entanglement Entropy from 2d CFT: Heavy States and Local Quenches , JHEP 02 (2015) 171, 1410.1392
2015 arXiv
-
[30]
S. H. Shenker and D. Stanford, Black holes and the butterfly effect , JHEP 03 (2014) 067, 1306.0622
2014 arXiv
-
[31]
Anous and J
T. Anous and J. Sonner, Phases of scrambling in eigenstates , SciPost Phys. 7 (2019) 003, 1903.03143 30
2019 arXiv
-
[32]
A. L. Fitzpatrick, J. Kaplan and M. T. Walters, Universality of Long-Distance AdS Physics from the CFT Bootstrap , JHEP 08 (2014) 145, 1403.6829
2014 arXiv
-
[33]
A. L. Fitzpatrick, J. Kaplan and M. T. Walters, Virasoro Conformal Blocks and Thermality from Classical Background Fields , JHEP 11 (2015) 200, 1501.05315
2015 arXiv
-
[34]
Harlow, J
D. Harlow, J. Maltz and E. Witten, Analytic Continuation of Liouville Theory , JHEP 12 (2011) 071, 1108.4417
2011 arXiv
-
[35]
Pappadopulo, S
D. Pappadopulo, S. Rychkov, J. Espin and R. Rattazzi, OPE Convergence in Conformal Field Theory , Phys. Rev. D86 (2012) 105043, 1208.6449 31
2012 arXiv
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.