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 →
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 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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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)
- [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.
- [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.
- [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
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
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)
- domain assumption Gaussian representation of the measure (2.16) from [6]
- 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 math Modular transformation eta(q) = sqrt(2 pi / lambda) eta(q_tilde), with q_tilde = e^{-4 pi^2 / lambda}
- standard math Large-argument asymptotic expansion of modified Bessel functions including the exponentially small second term (3.23)
- domain assumption Uniform validity of the Bessel asymptotic interchange with the infinite sum over r
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.
Forward citations
Cited by 1 Pith paper
-
Modular structures in the DSSYK partition function
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
-
[6]
Double-scaled SYK, Chords and de Sitter Gravity,
H. Verlinde, “Double-scaled SYK, Chords and de Sitter Gravity,” arXiv:2402.00635 [hep-th]
-
[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]
arXiv 2019
-
[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]
arXiv 2022
-
[3]
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]
arXiv 2023
-
[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]
arXiv 2023
-
[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]
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]
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 –
arXiv 2021
Show all 32 references
-
[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]
-
[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]
-
[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]
2023 arXiv
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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
1993 arXiv
-
[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/
-
[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/
-
[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]
2016 arXiv
-
[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]
2023 arXiv
-
[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]
2017 arXiv
-
[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]
1903 arXiv
-
[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 –
2000 arXiv
-
[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
2006 arXiv
-
[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]
-
[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]
2023 arXiv
-
[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 –
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.