Pith. sign in

REVIEW 1 major objections 3 minor 1 cited by

Non-perturbative corrections in the semi-classical limit of double-scaled SYK

T0 review · 1 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read The paper claims that in the low-energy limit, the DSSYK disk partition function equals JT gravity plus non-perturbative corrections that resum exactly into the cube of the Dedekind eta function.

desk verdict Compact, likely correct exact resummation of non-perturbative DSSYK corrections into an eta-cube, with a fixable typo in the low-temperature section; worth a careful referee. read the letter →

arxiv 2501.15501 v3 pith:NPRYKNVZ submitted 2025-01-26 hep-th

classification hep-th
keywords double-scaledSYKDSSYKsemi-classicallimitnon-perturbativecorrectionsDedekindetafunctionJTgravitypartitionmodifiedBesselfunctions
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

The paper studies the disk partition function of double-scaled SYK (DSSYK) in the semi-classical limit, where the coupling is λ = -log q and λ goes to zero. It claims that the partition function does not simply reduce to JT gravity: it contains non-perturbative corrections in λ, and in the low-energy and low-temperature limits these corrections can be resummed in closed form as the cube of the Dedekind eta function. The central formulas are (3.18), where the partition function is proportional to η(\tilde q $e^{{16π^2/β_JT}}$)^3, and (3.27), the low-temperature version whose second term is the β → -β continuation coming from the top of the spectrum. If correct, this gives a compact exact resummation of all exponentially small corrections on top of the JT gravity result, and it suggests a bulk picture in which DSSYK is dual to a superposition of JT gravity boundary conditions labeled by odd integers.

What carries the argument

The central machinery is the Gaussian decomposition of the DSSYK measure, μ(θ) = C sin θ ∑_{j∈Z} (-1)^j $e^{{-2(θ-θ_j)^2/λ}}$, obtained by Poisson resummation of the Jacobi $\theta$ function, together with the eta identity (3.16) that resums the j-series into η(q)^3. The Dedekind eta function, η(q) = $q^{{1/24}}$ ∏_{n≥1}(1-q^n), is the closed-form object that carries the resummation. In the low-temperature route, the modified Bessel function I_ν(z), with its full leading exponential plus its exponentially small second term, plays the same role and converts the exact Bessel sum (3.20) into the eta cube. The relative minus signs and the half-integer shifts θ_j = π(j + 1/2) are what keep the measure positive and make the sum tractable.

What would settle it

Evaluate the exact partition function (2.4), or the Bessel sum (3.20) with the corrected factor (2r+1), numerically at small λ (e.g., λ = 0.01) with β_JT of order one, subtract the leading JT gravity term, and compare the remainder to the first non-perturbative correction from (3.18), which is of order \tilde $q^{{1/8}}$ $e^{{2π^2/β_JT}}$; a mismatch at that order, or a dependence on which Bessel formula is used, would disprove the resummation.

Watch

Extended reading notes

Core claim

On the paper's own terms, the exact DSSYK disk partition function (2.4), with the measure μ(θ) rewritten as a sum of Gaussians around θ_j = π(j + 1/2), is evaluated in two overlapping regimes. In the low-energy regime where βE_0 = β_JT/$λ^{2}$ is held fixed, combining the j and -j-1 terms produces a spectral density 2k $\sinh$(2πk(2j+1)) for each j, and the infinite sum over j closes through the identity ∑_{j≥0}(-1)^j \tilde $q^{{(j+1/2)^2/2}}$(2j+1) = η(\tilde q)^3. The result is Z(β) = $2πλ^{2}$ C $e^{{βE_0}}$ ($2πβ_JT^{3}$)^{-1/2} η(\tilde q $e^{{16π^2/β_JT}}$)^3, whose leading term in \tilde q reproduces the JT gravity disk partition function; the higher-order terms are non-perturbative corrections of order $e^{{-4π^2/λ}}$. In the low-temperature limit βE_0 ≫ 1, the same eta-cube structure appears after using the large-argument asymptotic expansion of modified Bessel functions including its exponentially small second term, giving (3.27) with an additional θ = π contribution that is the analytic continuation β → -β and corresponds to an unstable saddle.

Load-bearing premise

The derivation assumes the large-argument Bessel expansion can be interchanged term-by-term with the infinite sum over r, on top of an unstated correction to the displayed (3.20) that changes (2r+1)^2 to (2r+1).

Editorial extensions

If this is right

  • If (3.18) holds, the entire low-energy DSSYK partition function is known in closed form at small λ; every non-perturbative correction, order by order in \tilde q = e^{-4π^2/λ}, is fixed by the eta cube.
  • Writing (3.18) as a sum over j with γ_j = (2j+1)^2 gives a bulk picture: DSSYK at low energy is dual to a superposition of JT gravity boundary conditions with dilaton boundary value γ_j/ε, weighted by (-1)^j \tilde q^{γ_j/8}.
  • The low-temperature formula (3.27) shows that the θ = π endpoint contributes an unstable-saddle term that is the analytic continuation β → -β, enforcing the symmetry Z(-β) = Z(β) beyond the leading saddle.
  • The large-β_JT limit of (3.18) agrees with the first term of (3.27); the paper notes that resumming the subleading corrections in the Bessel expansion should reproduce (3.18) from (3.27).

Reading between the lines

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

  • A natural check is to compute the first subleading correction in (3.18) against exact numerics at finite λ; if it works, the same eta-cube structure may organize non-perturbative corrections to DSSYK correlation functions, not just the disk partition function.
  • The quantized dilaton boundary values γ_j = (2j+1)^2 suggest a spectral interpretation in which the Schwarzian-mode coupling runs over odd squares, which could connect to the analytic structure of Z(β) on the complex β-plane and to its zeros on the imaginary axis.
  • If the θ = π term in (3.27) is a genuine unstable saddle, the same contour-rotation mechanism may explain sign-alternating exponentially small contributions in other systems where modified Bessel functions appear.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 3 minor

Summary. The paper studies the disk partition function of double-scaled SYK in the small-λ semiclassical limit. Starting from the exact integral representation (2.4), the author derives two closed-form resummations of non-perturbative corrections: in the low-energy limit, Eq. (3.18), where the leading term reproduces JT gravity and the corrections are encoded in the cube of a Dedekind eta function; and in the low-temperature limit, Eq. (3.27), where the low- and high-energy ends of the spectrum both contribute. Section 4 discusses a speculative bulk interpretation in terms of a superposition of JT dilaton boundary conditions. The main technical work is in Section 3, using the Gaussian decomposition of the measure μ(θ) and the standard Jacobi/Dedekind identities.

Significance. The low-energy derivation in Section 3.2 is clean and essentially self-contained: it uses the exact Gaussian resummation of μ(θ), a Gaussian integral, and the standard identity (3.16), with an explicit check that the leading term equals the JT gravity partition function. If the low-temperature formula (3.27) is corrected as discussed below, the paper provides a compact, parameter-free resummation of all exponentially small corrections in λ on top of JT gravity, which is a useful and likely-cited result. The bulk interpretation in Section 4 is clearly labeled as speculative and does not affect the central mathematical claims. The paper has no fitted parameters and relies on external exact results; its strengths are the explicit calculations and the modular-eta resummation.

major comments (1)
  1. [3.3, Eq. (3.20)] The displayed exact expression cannot be correct as printed. It uses (2r+1)^2 and lacks the prefactor 2. At β=0, the printed sum tends to 1/2, since I_1(z)/z → 1/2 and I_{2r+1}(z)/z → 0 for r>0, while the exact representation (2.4) gives Z(0)=1. Moreover, the next step in (3.25) uses the coefficient (2r+1) and a prefactor 2, i.e. the corrected formula Z(β)=2∑_{r=0}^∞ (-1)^r q^{r(r+1)/2}(2r+1) I_{2r+1}(βE0)/(βE0). Because the low-temperature result (3.27) is derived from (3.20), the printed derivation is invalid until (3.20) is corrected and the normalization Z(0)=1 is checked. This is a load-bearing point, not merely a typographical annoyance, since (3.27) is one of the two central closed-form results.
minor comments (3)
  1. [3.3, Eqs. (3.24)-(3.25)] The sign and branch convention for sqrt(2π(-βE0)^3) should be stated explicitly; the sign of the exponentially small second term depends on whether one uses the principal square root of -z^3 or the power (-z)^{3/2}, and this affects the interpretation of the θ=π contribution.
  2. [3.3, Eq. (3.25)] The derivation interchanges the large-z asymptotic expansion (3.23) with the infinite sum over r without a uniform error bound. The suppression by q^{r(r+1)/2} makes the step plausible, but a brief justification (for instance, estimating the relevant r ~ λ^{-1/2}) would make the argument self-contained.
  3. [Introduction] There are small stylistic slips (e.g. 'In in section 4' at the end of the Introduction) and the text would benefit from a careful proofread.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central resummations follow from the external exact integral representation and standard theta/Bessel identities, with no fitted parameters or self-referential forcing.

full rationale

The paper's main results, Eqs. (3.18) and (3.27), are derived by taking the exact DSSYK disk partition function (2.4), known from [1], rewriting the measure as a Gaussian sum (2.16) via the Jacobi theta S-transformation, and then applying the Dedekind eta identity (3.16) together with standard asymptotic expansions of modified Bessel functions. None of these steps uses Eq. (3.18) or (3.27) as an input, nor does the paper fit any parameter to the quantity it later calls a prediction. The bulk interpretation in Section 4 is explicitly labeled speculative and is not used to derive the main formulas. The only self-citations appear in peripheral remarks, such as [31] on the high-temperature expansion and [4] on bulk geodesic lengths; they are not load-bearing for the central derivation. The apparent inconsistency between the printed exact sum (3.20) and the resummation (3.25) is a correctness issue involving a typo in the coefficient (2r+1)^2 versus (2r+1), not a circularity; even the corrected form still follows from an independent exact representation and standard identities. Therefore no circular step can be quoted and exhibited, and the appropriate finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no new physical entities. The bulk interpretation involving a superposition of dilaton boundary conditions and the delta function (4.6) is a formal interpretive device, not a new particle or force. All analytic inputs are standard external results or quoted exact formulas. The main dependency is on the correctness of the exact partition function and the unproven interchange of limits.

assumptions (6)
  • domain assumption Exact disk partition function (3.20) quoted from [1], with the weighting (2r+1) as used in the resummation (3.25)
    The low-temperature derivation applies the eta identity (3.16) to a sum over (2r+1). The text displays (2r+1)^2 in (3.20), so the intended formula is not explicitly stated; this is a load-bearing input.
  • domain assumption Gaussian representation of the measure (2.16) from [6]
    Used in both the low-energy and low-temperature analyses. It is exact via Poisson resummation and is acknowledged as previously known.
  • standard math Theta-eta identity (3.16): sum_{j>=0} (-1)^j q^{1/2(j+1/2)^2}(2j+1) = eta(q)^3
    Standard derivative of the Jacobi theta function at zero; used to resum the infinite corrections.
  • standard math Modular transformation eta(q) = sqrt(2 pi / lambda) eta(q_tilde), with q_tilde = e^{-4 pi^2 / lambda}
    Used to rewrite the low-temperature result (3.27) in terms of the S-transformed variable.
  • standard math Large-argument asymptotic expansion of modified Bessel functions including the exponentially small second term (3.23)
    Quoted from DLMF 10.40; the second term yields the theta=pi contribution in the low-temperature limit.
  • domain assumption Uniform validity of the Bessel asymptotic interchange with the infinite sum over r
    The paper assumes the z->infinity asymptotic can be applied term-by-term and then resummed over all r without uniform error bounds. No proof is given.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Non-perturbative corrections in the semi-classical limit of double-scaled SYK." pith.science (2026). https://pith.science/paper/NPRYKNVZ

@misc{pith2026250115501,
  author       = {Pith},
  title        = {Pith review of: Non-perturbative corrections in the semi-classical limit of double-scaled SYK},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NPRYKNVZ}},
  note         = {Machine review of arXiv:2501.15501}
}
abstract

We study the disk partition function of double-scaled SYK model (DSSYK) in the small $\lambda$ limit, where $\lambda=-\log q$ is the coupling of DSSYK. We find that the partition function receives non-perturbative corrections in $\lambda$, which can be resummed by the cubic power of the Dedekind eta function in a certain low temperature limit. We also discuss a possible bulk interpretation of our findings.

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. Modular structures in the DSSYK partition function

    hep-th 2026-07 unverdicted novelty 7.0 of 10

    The low-temperature DSSYK partition function is organized by quasi-modular Eisenstein series, obeys an exact heat-type differential equation, and its non-perturbative sector is supported on triangular exponents matchi...

Reference graph

Works this paper leans on

32 extracted references · 1 canonical work pages · cited by 1 Pith paper

  1. [6]

    Double-scaled SYK, Chords and de Sitter Gravity,

    H. Verlinde, “Double-scaled SYK, Chords and de Sitter Gravity,” arXiv:2402.00635 [hep-th]

  2. [1]

    Towards a full solution of the large N double-scaled SYK model,

    M. Berkooz, M. Isachenkov, V. Narovlansky, and G. Torrents, “Towards a full solution of the large N double-scaled SYK model,” JHEP 03 (2019) 079, arXiv:1811.02584 [hep-th]

  3. [2]

    The bulk Hilbert space of double scaled SYK,

    H. W. Lin, “The bulk Hilbert space of double scaled SYK,” JHEP 11 (2022) 060, arXiv:2208.07032 [hep-th]

  4. [3]

    Jackiw-Teitelboim gravity with matter, generalized eigenstate thermalization hypothesis, and random matrices,

    D. L. Jafferis, D. K. Kolchmeyer, B. Mukhametzhanov, and J. Sonner, “Jackiw-Teitelboim gravity with matter, generalized eigenstate thermalization hypothesis, and random matrices,” Phys. Rev. D 108 no. 6, (2023) 066015, arXiv:2209.02131 [hep-th]

  5. [4]

    End of the world brane in double scaled SYK,

    K. Okuyama, “End of the world brane in double scaled SYK,” JHEP 08 (2023) 053, arXiv:2305.12674 [hep-th]

  6. [5]

    Double-scaled SYK and de Sitter Holography,

    V. Narovlansky and H. Verlinde, “Double-scaled SYK and de Sitter Holography,” arXiv:2310.16994 [hep-th]

  7. [7]

    SYK Correlators from 2D Liouville-de Sitter Gravity,

    H. Verlinde and M. Zhang, “SYK Correlators from 2D Liouville-de Sitter Gravity,” arXiv:2402.02584 [hep-th]

  8. [8]

    Entanglement and Chaos in De Sitter Space Holography: An SYK Example,

    L. Susskind, “Entanglement and Chaos in De Sitter Space Holography: An SYK Example,” JHAP 1 no. 1, (2021) 1–22, arXiv:2109.14104 [hep-th]. 5We would like to thank the anonymous referee of JHEP for suggesting this interpretation. – 9 –

Show all 32 references
  1. [9]

    Scrambling in Double-Scaled SYK and De Sitter Space,

    L. Susskind, “Scrambling in Double-Scaled SYK and De Sitter Space,” arXiv:2205.00315 [hep-th]

  2. [10]

    De Sitter Space, Double-Scaled SYK, and the Separation of Scales in the Semiclassical Limit,

    L. Susskind, “De Sitter Space, Double-Scaled SYK, and the Separation of Scales in the Semiclassical Limit,” arXiv:2209.09999 [hep-th]

  3. [11]

    De Sitter Space has no Chords. Almost Everything is Confined.,

    L. Susskind, “De Sitter Space has no Chords. Almost Everything is Confined.,” JHAP 3 no. 1, (2023) 1–30, arXiv:2303.00792 [hep-th]

  4. [12]

    Comments on a Paper by Narovlansky and Verlinde,

    A. A. Rahman and L. Susskind, “Comments on a Paper by Narovlansky and Verlinde,” arXiv:2312.04097 [hep-th]

  5. [13]

    Infinite Temperature is Not So Infinite: The Many Temperatures of de Sitter Space,

    A. A. Rahman and L. Susskind, “Infinite Temperature is Not So Infinite: The Many Temperatures of de Sitter Space,” arXiv:2401.08555 [hep-th]

  6. [14]

    p-Chords, Wee-Chords, and de Sitter Space,

    A. A. Rahman and L. Susskind, “ p-Chords, Wee-Chords, and de Sitter Space,” arXiv:2407.12988 [hep-th]

  7. [15]

    Double-Scaled SYK, QCD, and the Flat Space Limit of de Sitter Space,

    Y. Sekino and L. Susskind, “Double-Scaled SYK, QCD, and the Flat Space Limit of de Sitter Space,” arXiv:2501.09423 [hep-th]

  8. [16]

    The dilaton gravity hologram of double-scaled SYK,

    A. Blommaert, T. G. Mertens, and J. Papalini, “The dilaton gravity hologram of double-scaled SYK,” arXiv:2404.03535 [hep-th]

  9. [17]

    An entropic puzzle in periodic dilaton gravity and DSSYK,

    A. Blommaert, A. Levine, T. G. Mertens, J. Papalini, and K. Parmentier, “An entropic puzzle in periodic dilaton gravity and DSSYK,” arXiv:2411.16922 [hep-th]

  10. [18]

    Sine-dilaton gravity vs double-scaled SYK: exploring one-loop quantum corrections,

    L. Bossi, L. Griguolo, J. Papalini, L. Russo, and D. Seminara, “Sine-dilaton gravity vs double-scaled SYK: exploring one-loop quantum corrections,” arXiv:2411.15957 [hep-th]

  11. [19]

    The complex Liouville string: the gravitational path integral,

    S. Collier, L. Eberhardt, and B. M¨ uhlmann, “The complex Liouville string: the gravitational path integral,” arXiv:2501.10265 [hep-th]

  12. [20]

    The complex Liouville string,

    S. Collier, L. Eberhardt, B. M¨ uhlmann, and V. A. Rodriguez, “The complex Liouville string,” arXiv:2409.17246 [hep-th]

  13. [21]

    Gapless spin-fluid ground state in a random quantum heisenberg magnet,

    S. Sachdev and J. Ye, “Gapless spin-fluid ground state in a random quantum heisenberg magnet,” Phys. Rev. Lett. 70 no. 21, (1993) 3339–3342, arXiv:cond-mat/9212030

  14. [22]

    A simple model of quantum holography (part 1),

    A. Kitaev, “A simple model of quantum holography (part 1),”. https://online.kitp.ucsb.edu/online/entangled15/kitaev/

  15. [23]

    A simple model of quantum holography (part 2),

    A. Kitaev, “A simple model of quantum holography (part 2),”. https://online.kitp.ucsb.edu/online/entangled15/kitaev2/

  16. [24]

    Remarks on the Sachdev-Ye-Kitaev model,

    J. Maldacena and D. Stanford, “Remarks on the Sachdev-Ye-Kitaev model,” Phys. Rev. D 94 no. 10, (2016) 106002, arXiv:1604.07818 [hep-th]

  17. [25]

    Semiclassical geometry in double-scaled SYK,

    A. Goel, V. Narovlansky, and H. Verlinde, “Semiclassical geometry in double-scaled SYK,” JHEP 11 (2023) 093, arXiv:2301.05732 [hep-th]

  18. [26]

    Fermionic Localization of the Schwarzian Theory,

    D. Stanford and E. Witten, “Fermionic Localization of the Schwarzian Theory,” JHEP 10 (2017) 008, arXiv:1703.04612 [hep-th]

  19. [27]

    JT gravity as a matrix integral,

    P. Saad, S. H. Shenker, and D. Stanford, “JT gravity as a matrix integral,” arXiv:1903.11115 [hep-th]

  20. [28]

    Wilson loops in N=4 supersymmetric Yang-Mills theory,

    J. K. Erickson, G. W. Semenoff, and K. Zarembo, “Wilson loops in N=4 supersymmetric Yang-Mills theory,” Nucl. Phys. B 582 (2000) 155–175, arXiv:hep-th/0003055. – 10 –

  21. [29]

    1/4 BPS circular loops, unstable world-sheet instantons and the matrix model,

    N. Drukker, “1/4 BPS circular loops, unstable world-sheet instantons and the matrix model,” JHEP 09 (2006) 004, arXiv:hep-th/0605151

  22. [30]

    Twisted times, the Schwarzian and its deformations in DSSYK,

    M. Berkooz, R. Frumkin, O. Mamroud, and J. Seitz, “Twisted times, the Schwarzian and its deformations in DSSYK,” arXiv:2412.14238 [hep-th]

  23. [31]

    High temperature expansion of double scaled SYK,

    K. Okuyama, “High temperature expansion of double scaled SYK,” Phys. Lett. B 843 (2023) 138036, arXiv:2304.01522 [hep-th]

  24. [32]

    Wormholes, branes and finite matrices in sine dilaton gravity,

    A. Blommaert, A. Levine, T. G. Mertens, J. Papalini, and K. Parmentier, “Wormholes, branes and finite matrices in sine dilaton gravity,” arXiv:2501.17091 [hep-th]. – 11 –

Pith tools

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