Pith. sign in

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 →

arxiv 1908.02873 v1 pith:ZNQCTRNQ submitted 2019-08-07 hep-th

classification hep-th PACS 11.25.Hf04.70.Dy
keywords 2dconformalfieldtheoryholographicdualityOPEcoefficientsmodularcovarianceblackholeentropysparsenessconditionvacuumblockdominancepermutationorbifolds
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

At the core of this paper is a simple question: do the universal asymptotic formulas for averaged operator-product-expansion (OPE) coefficients of two-dimensional conformal field theories, derived in the limit of infinite operator dimension, remain valid when the dimension is only of order the central charge $c$? The author adapts the modular-covariance argument that extends the density-of-states formula, and finds a conditional yes in the extended regime $\Delta>c/6$. Heavy-light-light coefficients stay universal if the light spectrum obeys the stricter bound $\rho(\Delta)\lesssim e^{\pi\Delta}$; heavy-heavy-light and one-point averages require only the standard light-sparseness condition together with a set of stated factorization assumptions about light thermal correlators. These conditions exclude permutation orbifolds such as the free D1-D5 CFT, and the results point to new bounds on non-vacuum block contributions in holographic theories.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

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)
  1. [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.
  2. [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)
  1. [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'.
  2. [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.
  3. [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.
  4. [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.
  5. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 8 assumptions · 0 invented entities

The central derivations rest on standard CFT assumptions (unitarity, gap, unique vacuum, large central charge) and on the HKS sparseness condition, plus unproved extras from [9] and two explicit conjectures in Section 4.1. No parameters are fitted to data. The paper introduces no new entities.

assumptions (8)
  • domain assumption Unitarity, a unique vacuum state with C_vac = 1, and a gap in the spectrum.
    Invoked in Section 2, after Eq. (2.1), to write X as a nonnegative spectral sum with dominant vacuum term; standard for holographic CFTs.
  • domain assumption The HKS sparseness condition ρ(Δ) ≲ e^{2πΔ} for all Δ ≤ c/12 + ε.
    Used in Section 2 to ensure Z(β>2π)≈Z_vac, and inherited by the C^2_HHL and C_HHL extensions via [9].
  • domain assumption For C^2_HLL, the stronger bound ρ(Δ) ≲ e^{πΔ} holds for Δ ≤ c/12 + ε.
    Derived in Section 3.1 as a sufficient condition (Eq. 3.9); the paper notes it is unclear whether holography implies it.
  • 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.
    Listed in footnote 3 and required for X(β>2π)≈X_vac in Sections 3.2 and 3.3; not proven here.
  • domain assumption Light external operator dimension Δ_O < c/16.
    Section 3.1 states 'we assume Δ_O<c/16' so the modular weight w=c/2-8Δ_O is positive and g≈g_L holds at large c.
  • ad hoc to paper Conjectured plumbing-frame relationships: ℓ = β/2 and non-negative modular weight for the genus-two partition function.
    Section 4.1: 'First we conjecture that ℓ=β/2' and 'Second we conjecture that the partition function transforms as a modular form with non-negative weight.'
  • ad hoc to paper Conformal block H-functions exponentiate at h~c: H(h,q) ≈ q^{a h}.
    Section 4.2: assumed to invert the Laplace transform when h~c; supported only by preliminary private numerics [28].
  • standard math The pentagonal number theorem used to resum the η functions.
    Section 3.4, Eq. (3.38): known identity, quoted without proof, on which the density-of-primaries extension relies.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Modern Approach to 2D Conformal Field Theory

    hep-th 2024-12 unverdicted novelty 1.0 of 10

    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

35 extracted references · 9 canonical work pages · cited by 1 Pith paper

  1. [9]

    Kraus, A

    P. Kraus, A. Sivaramakrishnan and R. Snively, Black holes from CFT: Universality of correlators at large c , JHEP 08 (2017) 084, 1706.00771

  2. [1]

    J. L. Cardy, Operator Content of Two-Dimensional Conformally Invariant Theories , Nucl. Phys. B270 (1986) 186–204

  3. [2]

    Hartman, C

    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

  4. [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

  5. [4]

    E. M. Brehm, D. Das and S. Datta, Probing thermality beyond the diagonal , Phys. Rev. D98 (2018), no. 12, 126015, 1804.07924 28

  6. [5]

    Cardy, A

    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, 1705.05855

  7. [6]

    Kraus and A

    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

  8. [7]

    Mukhametzhanov and A

    B. Mukhametzhanov and A. Zhiboedov, Modular Invariance, Tauberian Theorems, and Microcanonical Entropy, 1904.06359

Show all 35 references
  1. [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)]

  2. [10]

    Maldacena, D

    J. Maldacena, D. Simmons-Duffin and A. Zhiboedov, Looking for a bulk point , JHEP 01 (2017) 013, 1509.03612

  3. [11]

    F. M. Haehl and M. Rangamani, Permutation orbifolds and holography , JHEP 03 (2015) 163, 1412.2759

  4. [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

  5. [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

  6. [14]

    J. M. Maldacena and A. Strominger, Universal low-energy dynamics for rotating black holes, Phys. Rev. D56 (1997) 4975–4983, hep-th/9702015

  7. [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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [20]

    M. Cho, S. Collier and X. Yin, Recursive Representations of Arbitrary Virasoro Conformal Blocks, JHEP 04 (2019) 018, 1703.09805

  13. [21]

    M. Cho, S. Collier and X. Yin, Genus Two Modular Bootstrap , JHEP 04 (2019) 022, 1705.05865

  14. [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

  15. [23]

    Witten, Three-Dimensional Gravity Revisited, 0706.3359

    E. Witten, Three-Dimensional Gravity Revisited, 0706.3359

  16. [24]

    Gaiotto and X

    D. Gaiotto and X. Yin, Genus two partition functions of extremal conformal field theories, JHEP 08 (2007) 029, 0707.3437

  17. [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

  18. [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

  19. [27]

    A. B. Zamolodchikov, Conformal symmetry in two-dimensional space: Recursion representation of conformal block, Theoretical and Mathematical Physics 73 (Oct,

  20. [28]

    S. Datta. Private communication

  21. [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

  22. [30]

    S. H. Shenker and D. Stanford, Black holes and the butterfly effect , JHEP 03 (2014) 067, 1306.0622

  23. [31]

    Anous and J

    T. Anous and J. Sonner, Phases of scrambling in eigenstates , SciPost Phys. 7 (2019) 003, 1903.03143 30

  24. [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

  25. [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

  26. [34]

    Harlow, J

    D. Harlow, J. Maltz and E. Witten, Analytic Continuation of Liouville Theory , JHEP 12 (2011) 071, 1108.4417

  27. [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

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.