REVIEW 2 major objections 4 minor 38 references
Deriving the $\text{AdS}_3\times\text{S}^3\times \text{T}^4$ Quantum Spectral Curve I: Y-system and discontinuity relations
T0 review · 2 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read The paper claims that the mirror TBA for pure-RR AdS3×S3×T4 is fully captured by an extended Y-system—two PSU(1,1|2) Y-systems plus local discontinuity relations—and proves this by reconstructing all TBA equations from that data.
desk verdict Solid, technically heavy derivation of the extended Y-system for pure-RR AdS3; the ground-state equivalence is credible, but the excited-state universality is assumed, not proven, and that is the load-bearing step for the QSC follow-up. 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 extended Y-system: functional finite-difference equations assembled from two PSU(1,1|2) Y-systems (drawn on two T-hook diagrams), supplemented by discontinuity relations specifying how Y functions behave across their branch cuts in the mirror rapidity plane. The load-bearing data are the local, state-independent expressions for the discontinuities of the lowest massive Y functions, expressed through Y0, the auxiliary Y functions, and a fixed constant c defined by a product of auxiliary Y functions; these data drive the inversion procedure that reconstructs the TBA.
What would settle it
Compute an excited-state (e.g., one-particle) Y function at finite coupling—numerically from the original mirror TBA or from a large-volume expansion—and verify that its discontinuity across the cut at Im(u)=1/h equals the universal local expression (3.16) with c defined by (3.19). A violation, or the appearance of branch cuts not listed in table 1, would settle that the extended Y-system does not describe the full spectrum.
Extended reading notes
Core claim
The central discovery is that the pure-RR AdS3×S3×T4 ground-state mirror TBA is completely equivalent to an extended Y-system: two PSU(1,1|2) T-hooks (left and right) that interact only through discontinuity relations, together with a single massless Y0 that sits on neither hook but appears in the discontinuities of the auxiliary and massive Y functions. The paper proves a Z2 chiral symmetry exchanging the two hooks, derives remarkably local expressions for the key massive discontinuities Δ1 and Δ̄1, and shows that removing a problematic factor from the massless-massless dressing phase is both necessary and consistent. It then inverts the extended Y-system to recover all TBA equations, estab
Load-bearing premise
The discontinuity relations are derived from the twisted ground-state TBA and then assumed to hold unchanged for all excited states in the μ→0 limit; if excited-state Y functions develop additional or non-logarithmic branch cuts, the extended Y-system is incomplete and the QSC derivation built on it fails.
Editorial extensions
If this is right
- The mirror TBA equations for pure-RR AdS3×S3×T4 can be replaced by a local set of functional equations plus branch-cut data without loss of information.
- Massless excitations enter the formalism only through discontinuity relations, so a future QSC can account for them without adding new nodes to the Y-system.
- The chiral Z2 symmetry of the TBA is a symmetry of the whole construction and matches the interchangeability of the two PSU(1,1|2) halves in the proposed QSC.
- The problematic factor in the massless-massless dressing phase must be dropped for a standard analytic Y-system; the successful reconstruction of the TBA is a consistency check of that removal.
- The work lays the foundation for deriving the T-system and QSC in the follow-up, completing the AdS3 analogue of earlier AdS5 derivations.
Reading between the lines
- A direct test of the central assumption would be to compute an excited-state (e.g., one-particle) Y function at finite coupling—numerically from the original mirror TBA or via a large-volume expansion—and check that its discontinuity across the cut at Im(u)=1/h still equals the universal local expression with the same constant c; any state-dependence of c would invalidate the QSC step.
- The result implies that the massless degrees of freedom should be encoded in the QSC's analytic continuation data rather than in new Q-functions, predicting the form the AdS3 QSC must take and how its branch points emerge from the discontinuities.
- The authors note that the h→0 tensionless limit and the Y-system derivation do not commute; if the discontinuity relations develop extra cuts at small tension, the extended Y-system would need modification in that regime, a case not addressed here.
- Because the same PSU(1,1|2)^2 Y-system appears in a pair of decoupled integrable lattice models, the specific physics of AdS3 lies entirely in the discontinuity relations—which sharpens where mixed-flux and other deformations should enter.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives an extended Y-system for the pure-RR AdS3×S3×T4 mirror theory: two PSU(1,1|2) Y-systems plus a set of local, state-independent discontinuity relations for auxiliary, massless, and massive Y functions, including a universal constant c in the discontinuities of the first massive nodes. The discontinuity relations are derived from the twisted ground-state TBA of [12], after two modifications: removal of the dressing-phase factor a(γ) in (B.15) and use of a single massless Y0. The paper proves a Z2 chiral symmetry of the TBA equations and reconstructs the auxiliary and massless TBA equations from the Y-system and discontinuity relations by contour inversion; the massive reconstruction is only summarized. The stated goal is to provide the analyticity data needed for the companion Quantum Spectral Curve derivation.
Significance. If the central claim holds, this is a substantial step toward deriving the AdS3 QSC from the mirror TBA, analogous to what was done for AdS5 and AdS4. The paper contains long, explicit computations (Appendices D–H), the chiral-symmetry proof is a useful new structural result, and the local formulas (3.16) for Δ1 and ¯Δ1 are remarkably simple and likely important. No parameters are fitted and the inversion procedure is non-circular for the sectors that are worked out. However, the claim as stated is broader than what is proven: the state-independence of the discontinuity relations and the μ→0 validity are assumed, and the massive TBA reconstruction is not actually carried out in the text. These are gaps in the argument, not merely presentational issues.
major comments (2)
- [Section 3.4.3, Eqs. (3.16)–(3.19); §2.2 and §3.2] The local expressions for Δ1, ¯Δ1 and the constant c are derived from the twisted ground-state TBA (Appendix F) and then 'promoted' to a universal, state-independent relation. The manuscript explicitly states: 'This relies on the assumption that the Y-system and the discontinuity relations established here remain valid throughout the entire spectrum in the μ→0 limit' (§2.2) and 'we assume is valid for excited states as well' (§3.2). No argument shows that excited-state Y functions have the same logarithmic branch-point structure as in Table 1, or that no additional non-logarithmic cuts appear. The derivation in Appendix D also assumes a left-right symmetric ground state (see the discussion after (D.6)). This is load-bearing because the companion QSC derivation is intended to use (3.16) for all states. Please either provide a derivation, or state the universality as a precise conjecture w
- [Section 4.3] The paper claims 'the TBA equations can be fully reconstructed from the Y-system and the discontinuity relations' (Section 1 and Conclusion), but the massive-particle reconstruction is not carried out in the text. Section 4.3 only gives a summary, stating 'without going into the full details' and appealing to 'standard arguments of [34]'. Since the massive TBA equations (2.10)–(2.11) are part of the claimed equivalence, this is an omitted proof of a central assertion. The inversion of the auxiliary and massless sectors is detailed, but the massive sector needs a real derivation or an explicit appendix; alternatively, the equivalence claim should be restricted to what is actually demonstrated.
minor comments (4)
- [Abstract and §1] The phrase 'valid for any state' overstates the proven content. It should be qualified as 'for the twisted ground state, and conjecturally for excited states', pending the missing derivation.
- [§1 and B.15] The equivalence statement is not literally to the TBA of [12]: the S-matrix is modified by removing a(γ), and the massless sector is reduced to a single Y0. This is a deliberate and potentially correct modification, but the main theorem should state explicitly that it applies to this modified TBA, not to [12] verbatim.
- [§3.3, Eqs. (3.3)–(3.5)] The two notions of discontinuity, [f]_N and {f}_N, are easy to confuse. A short summary table or a remark distinguishing the 'signed' and 'symmetrised' discontinuities would improve readability.
- [Reference [25]] The argument rests substantially on the companion paper [25], which is listed only as 'in preparation'. If possible, include a version of the companion's main results or at least a more precise statement of which equations from [25] are being used.
Circularity Check
No significant circularity: the TBA/Y-system equivalence is a genuine two-way derivation; the state-independence assumptions are gaps, not circular reductions.
full rationale
The paper's central claim is an equivalence proof: from the mirror TBA of [12] it derives a Y-system plus discontinuity relations (Appendices D-G), and in Section 4 it reconstructs the TBA equations from those data by Cauchy inversion. This is not circular because the reconstructed TBA is not fed back into the derivation of the Y-system/discontinuities; the inversion uses only the functional equations and discontinuity data as hypotheses. In Sec. 4.2.2 the paper substitutes the already-derived auxiliary TBA equation (from Sec. 4.1) into a rewritten discontinuity of logY0; that equation was obtained from the Y-system without assuming the massless TBA equation, so the later reconstruction of the logY0 TBA is a genuine derivation rather than a restatement. The constant c in (3.16)/(3.19) is expressed in terms of boundary values of Y functions; this is a local re-parameterization, not a fitted-input-called-prediction. The main caveats are explicit assumptions - the state-independence of the discontinuity relations and their validity in the mu->0 excited spectrum (quoted in Secs. 2.2 and 3.2: 'we assume is valid for excited states as well'; 'This relies on the assumption that the Y-system and the discontinuity relations established here remain valid throughout the entire spectrum in the mu->0 limit') - and the removal of the dressing factor a(gamma) following [20,28]. These are unsupported extrapolations or choices, not circular reductions: no equation in the derivation is equivalent to its input by construction, and no fitted parameter is renamed a prediction. Self-citations such as [18,25,29,31] supply prior constructions or methods, but the load-bearing derivation here is carried out with explicit equations and does not collapse to those citations.
Assumptions & free parameters
free parameters (2)
- Twist parameter μ =
generic; taken to 0 for the QSC limit
- Constant c in Δ1 and ¯Δ1 =
state-dependent, defined by (3.17)/(3.19)
assumptions (6)
- domain assumption The ground-state mirror TBA equations of [12] correctly describe pure-RR AdS3×S3×T4 strings.
- domain assumption The branch-cut structure of all Y functions is as stated in Table 1, with logarithmic branch points and the chosen mirror-section cuts.
- domain assumption The ground-state-derived discontinuity relations are state-independent and valid for all excited states, including μ→0.
- ad hoc to paper The factor a(γ) in the massless-massless dressing phase, equation (B.15), is absent from the physical S-matrix.
- domain assumption There is a single massless Y function Y0 rather than separate chiral/anti-chiral massless species.
- standard math The Y functions and kernels have the analyticity and asymptotic behavior needed for Jordan's lemma and the contour inversions in §4 and Appendix H.
Cite this review
Pith. "Pith review of Deriving the $\text{AdS}_3\times\text{S}^3\times \text{T}^4$ Quantum Spectral Curve I: Y-system and discontinuity relations." pith.science (2026). https://pith.science/paper/EOG6PEVX
@misc{pith2026260713673,
author = {Pith},
title = {Pith review of: Deriving the $\textAdS_3\times\textS^3\times \textT^4$ Quantum Spectral Curve I: Y-system and discontinuity relations},
year = {2026},
howpublished = {\url{https://pith.science/paper/EOG6PEVX}},
note = {Machine review of arXiv:2607.13673}
}
abstract
The mirror Thermodynamic Bethe Ansatz (TBA) describes the spectrum of $\text{AdS}_3\times\text{S}^3\times \text{T}^4$ superstrings supported by a mixture of Ramond-Ramond (RR) and Neveu-Schwarz-Neveu-Schwarz (NSNS) flux. In recent years, a conjecture was put forward regarding the Quantum Spectral Curve (QSC) formulation in the Ramond-Ramond case. In this paper, we initiate the derivation of the Ramond-Ramond QSC from the mirror TBA equations. We describe the Y-system underlying the TBA and its discontinuity relations for pure-RR backgrounds. This provides the foundation for the derivation of the T-system and the Quantum Spectral Curve, which will be presented in a follow-up paper.
Reference graph
Works this paper leans on
-
[12]
S. Frolov and A. Sfondrini,Mirror thermodynamic Bethe ansatz for AdS 3/CFT2,JHEP03 (2022) 138 [2112.08898]
arXiv 2022
-
[34]
A. B. Zamolodchikov,On the thermodynamic Bethe ansatz equations for reflectionless ADE scattering theories,Phys. Lett. B253(1991) 391
1991
-
[1]
J. M. Maldacena,The Large N limit of superconformal field theories and supergravity,Int. J. Theor. Phys.38(1999) 1113 [hep-th/9711200]
arXiv 1999
-
[2]
J. M. Maldacena and H. Ooguri,Strings in AdS 3 and SL(2,R) WZW model 1.: The Spectrum,J. Math. Phys.42(2001) 2929 [hep-th/0001053]. – 64 –
arXiv 2001
-
[3]
M. Cho, S. Collier and X. Yin,Strings in Ramond-Ramond Backgrounds from the Neveu-Schwarz-Ramond Formalism,JHEP12(2020) 123 [1811.00032]
arXiv 2020
-
[4]
A. Cagnazzo and K. Zarembo,B-field in AdS 3/CFT2 Correspondence and Integrability, JHEP11(2012) 133 [1209.4049]
arXiv 2012
-
[5]
A. Babichenko, B. Stefanski and K. Zarembo,Integrability and the AdS 3/CFT2 correspondence,JHEP03(2010) 058 [0912.1723]
arXiv 2010
-
[6]
R. Borsato, O. Ohlsson Sax, A. Sfondrini, B. Stefański and A. Torrielli,The all-loop integrable spin-chain for strings on AdS3 ×S 3 ×T 4: the massive sector,JHEP08(2013) 043 [1303.5995]
arXiv 2013
Show all 38 references
-
[7]
Borsato, O
R. Borsato, O. Ohlsson Sax, A. Sfondrini and B. Stefanski,Towards the All-Loop Worldsheet S Matrix forAdS3 ×S 3 ×T 4,Phys. Rev. Lett.113(2014) 131601 [1403.4543]
2014 arXiv
-
[8]
Borsato, O
R. Borsato, O. Ohlsson Sax, A. Sfondrini and B. Stefanski,The complete AdS 3×S 3×T 4 worldsheet S matrix,JHEP10(2014) 066 [1406.0453]
2014 arXiv
-
[9]
Hoare and A
B. Hoare and A. A. Tseytlin,On string theory onAdS 3 ×S 3 ×T 4 with mixed 3-form flux: tree-level S-matrix,Nucl. Phys. B873(2013) 682 [1303.1037]
2013 arXiv
-
[10]
Lloyd, O
T. Lloyd, O. Ohlsson Sax, A. Sfondrini and B. Stefański, Jr.,The complete worldsheet S matrix of superstrings on AdS3×S 3×T 4 with mixed three-form flux,Nucl. Phys. B891 (2015) 570 [1410.0866]
2015 arXiv
-
[11]
Frolov and A
S. Frolov and A. Sfondrini,New dressing factors for AdS 3/CFT2,JHEP04(2022) 162 [2112.08896]
2022 arXiv
-
[13]
Frolov, D
S. Frolov, D. Polvara and A. Sfondrini,Massive dressing factors for mixed-flux AdS 3/CFT2, JHEP07(2025) 171 [2501.05995]
2025 arXiv
-
[14]
Frolov, D
S. Frolov, D. Polvara and A. Sfondrini,Dressing factors for mixed-flux AdS 3×S3×T4 superstrings,Phys. Rev. D111(2025) L081901 [2402.11732]
2025 arXiv
-
[15]
Frolov, D
S. Frolov, D. Polvara and A. Sfondrini,Dressing factors and mirror thermodynamic Bethe ansatz for mixed-flux AdS3/CFT2,JHEP02(2026) 237 [2507.12191]
2026 arXiv
-
[16]
Ohlsson Sax, D
O. Ohlsson Sax, D. Riabchenko and B. Stefański Jr.,Worldsheet kinematics, dressing factors and odd crossing in mixed-flux AdS3 backgrounds,JHEP09(2024) 132 [2312.09288]
2024 arXiv
-
[17]
Gromov,Introduction to the Spectrum ofN= 4SYM and the Quantum Spectral Curve, 1708.03648
N. Gromov,Introduction to the Spectrum ofN= 4SYM and the Quantum Spectral Curve, 1708.03648
-
[18]
Cavaglià, N
A. Cavaglià, N. Gromov, B. Stefański and A. Torrielli,Quantum Spectral Curve for AdS3/CFT2: a proposal,JHEP12(2021) 048 [2109.05500]
2021 arXiv
-
[19]
Ekhammar and D
S. Ekhammar and D. Volin,Monodromy bootstrap for SU(2|2) quantum spectral curves: from Hubbard model to AdS3/CFT2,JHEP03(2022) 192 [2109.06164]
2022 arXiv
-
[20]
Ekhammar, N
S. Ekhammar, N. Gromov and B. Stefański,Demystifying the Massless Sector in AdS 3 Quantum Spectral Curve,2412.11915
-
[21]
Cavaglià, S
A. Cavaglià, S. Ekhammar, N. Gromov and P. Ryan,Exploring the Quantum Spectral Curve for AdS3/CFT2,JHEP12(2023) 089 [2211.07810]
2023 arXiv
-
[22]
Ekhammar, N
S. Ekhammar, N. Gromov, B. Stefański and C. Thull,Short Strings in Three-Dimensional – 65 – Anti-de Sitter Space: from Weak to Strong Coupling,2601.21992
-
[23]
Brollo, D
A. Brollo, D. le Plat, A. Sfondrini and R. Suzuki,Tensionless Limit of Pure–Ramond-Ramond Strings and AdS3/CFT2,Phys. Rev. Lett.131(2023) 161604 [2303.02120]
2023 arXiv
-
[24]
Brollo, D
A. Brollo, D. le Plat and A. Sfondrini,Revisiting the tensionless limit of pure-Ramond-Ramond AdS3/CFT2,2512.15697
-
[25]
Cavaglià, D
A. Cavaglià, D. Polvara, N. Primi, A. Sfondrini and R. Tateo,Deriving the AdS 3×S 3×T 4 Quantum Spectral Curve II : T-system and QSC,in preparation(2026)
2026
-
[26]
Gromov, V
N. Gromov, V. Kazakov, S. Leurent and D. Volin,Quantum spectral curve for arbitrary state/operator in AdS5/CFT4,JHEP09(2015) 187 [1405.4857]
2015 arXiv
-
[27]
Bombardelli, A
D. Bombardelli, A. Cavaglià, D. Fioravanti, N. Gromov and R. Tateo,The full Quantum Spectral Curve forAdS4/CF T3,JHEP09(2017) 140 [1701.00473]
2017 arXiv
-
[28]
Frolov, D
S. Frolov, D. Polvara and A. Sfondrini,Exchange relations and crossing,J. Phys. A58 (2025) 415402 [2506.04096]
2025 arXiv
-
[29]
Frolov, A
S. Frolov, A. Pribytok and A. Sfondrini,Ground state energy of twisted AdS 3 ×S 3 ×T 4 superstring and the TBA,JHEP09(2023) 027 [2305.17128]
2023 arXiv
-
[30]
Gromov, V
N. Gromov, V. Kazakov, S. Leurent and D. Volin,Solving the AdS/CFT Y-system,JHEP07 (2012) 023 [1110.0562]
2012 arXiv
-
[31]
Cavaglià, D
A. Cavaglià, D. Fioravanti and R. Tateo,Extended Y-system for theAdS 5/CF T4 correspondence,Nucl. Phys. B843(2011) 302 [1005.3016]
2011 arXiv
-
[32]
Brollo, D
A. Brollo, D. le Plat, A. Sfondrini and R. Suzuki,More on the tensionless limit of pure-Ramond-Ramond AdS3/CFT2,JHEP12(2023) 160 [2308.11576]
2023 arXiv
-
[33]
Fendley,Excited state energies and supersymmetric indices,Adv
P. Fendley,Excited state energies and supersymmetric indices,Adv. Theor. Math. Phys.1 (1998) 210 [hep-th/9706161]
1998 arXiv
-
[35]
Cavaglià, D
A. Cavaglià, D. Fioravanti and R. Tateo,Discontinuity relations for theAdS 4/CF T3 correspondence,Nucl. Phys. B877(2013) 852 [1307.7587]
2013 arXiv
-
[36]
Cavaglià, M
A. Cavaglià, M. Cornagliotto, M. Mattelliano and R. Tateo,A Riemann-Hilbert formulation for the finite temperature Hubbard model,JHEP06(2015) 015 [1501.04651]
2015 arXiv
-
[37]
Frolov, D
S. Frolov, D. Polvara and A. Sfondrini,On mixed-flux worldsheet scattering in AdS 3/CFT2, JHEP11(2023) 055 [2306.17553]
2023 arXiv
-
[38]
Gromov, V
N. Gromov, V. Kazakov, A. Kozak and P. Vieira,Exact Spectrum of Anomalous Dimensions of Planar N = 4 Supersymmetric Yang-Mills Theory: TBA and excited states,Lett. Math. Phys.91(2010) 265 [0902.4458]. – 66 –
2010 arXiv
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.