Pith. Sign in

REVIEW

Y-system, TBA and Quasi-Classical Strings in AdS4 x CP3

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Nikolay Gromov, Fedor Levkovich-Maslyuk

High Energy Physics - Theory · Submitted 24 Dec 2009 · 64 references

Pith's verdict: The asymmetric Y-system correction for ABJM is the real result here; the strong-coupling 'complete agreement' is a consistency check inside one framework, and one of the four matching equations is never verified.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 11, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID0912.4911 (version 4)
Pith IDJXZ45WM7, Pith's permanent record of this paper and its review
CitationFedor Levkovich-Maslyuk, Nikolay Gromov. "Y-system, TBA and Quasi-Classical Strings in AdS4 x CP3." arXiv:0912.4911 (2009). https://pith.science/paper/JXZ45WM7
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The exact-spectrum equations for the ABJM duality need an asymmetric correction, and the corrected system reproduces the one-loop string spectrum to all orders in wrapping.

The reading

The paper asks what the exact, finite-volume spectral equations are for the three-dimensional ABJM theory (the AdS$_4$/$CFT_3$ duality), the younger sibling of the better-known AdS$_5$/$CFT_4$ case. Its answer is that the Y-system previously conjectured for this theory is right for most of the diagram but wrong for the nodes that carry momentum: those must be replaced by a pair of asymmetric equations, one for $Y^{◭}_a$ and a mirror-image one for $Y^{◮}_a$, which collapse to the old proposal only when the two functions coincide. The authors get there by conjecturing a set of mirror Bethe equations, building thermodynamic Bethe ansatz equations from them, and reading the Y-system off by applying a discrete Laplacian. The payoff is a strong-coupling test: solving the corrected system in the scaling limit yields three products of Y-functions that match, term by term, the fluctuation determinants computed from the classical algebraic curve of the string. If the construction holds, the exact spectrum of ABJM is pinned down in precisely the sector where the earlier conjecture failed.

What carries the argument

The load-bearing device is the derivation of the Y-system from TBA by a discrete Laplacian in the node index and the spectral parameter: acting on the TBA kernels with $K_n(u+i/2)+K_n(u-i/2)-K_{n+1}(u)-K_{n-1}(u)$ turns convolution equations into local functional equations. For the momentum-carrying nodes this fails, and the paper introduces two new kernels $T^{||}_{nm}$ and $T^{⊥}_{nm}$, built from $B^{(11)}_{nm}$, the dressing kernel $S_{nm}$ and the fused $K^{||}$, $K^{⊥}$, which obey a non-Laplacian identity mixing $T^{||}$ and $T^{⊥}$ at shifted arguments. That identity is what generates the asymmetric equations. The second device is the Hirota parameterisation: $1+Y_{△a} = T^2_{a,0}/(T_{a+1,0}T_{a-1,0})$ and $1+Y_{•a} = T^2_{a,1}/(T_{a+1,1}T_{a-1,1})$, with the general vertical-strip solution written in terms of two functions $y_1, y_2$ and two constants $S_1, S_2$, fixed by matching the large-$a$ asymptotics of the infinite-length solution. The third device is the 'magic products' $e^{M_0}$, $e^{M_+}$, $e^{M_-}$ — closed-form products of $(1+Y)$ factors — which are exactly the objects the algebraic-curve one-loop computation produces.

Extended reading notes

Core claim

The central claim is that the Y-system of [19] for AdS$_4$/$CFT_3$ is only valid in a large subsector, and that for the momentum-carrying nodes the local equation $Y^+_A Y^-_A = (1+Y_{B})(1+Y_{C})/[(1+1/Y_{C'})(1+1/Y_{B'})]$ must be replaced by $Y^+_{◮a}Y^-_{◭a} = (1+Y_{△a})/[(1+1/Y_{◭a+1})(1+1/Y_{◮a-1})]$ together with the mirror equation with $◭$ and $◮$ exchanged. The two node types are the two species of momentum-carrying Bethe roots, $u_4$ and $u_{4̄}$, which form alternating odd-even and even-odd strings; when they are set equal the new equations reduce to the old ones, which is why the discrepancy is invisible in the symmetric $sl(2)$ sector. The authors then exhibit the general infinite-length solution of the corrected system, and in the strong-coupling scaling limit solve it explicitly, obtaining $e^{M_0}$, $e^{M_+}$ and $e^{M_-}$ as functions of the classical monodromy eigenvalues. These three expressions coincide exactly with the corresponding $e^{N_0}$, $e^{N_+}$ and $e^{N_-}$ computed from the algebraic curve, including the heavy/light factor-of-two pattern of ABJM fluctuations, which is the paper's evidence that the corrected Y-system captures the full wrapping series.

Load-bearing premise

The whole derivation starts from mirror Bethe equations that the authors explicitly present as a conjecture, so if those equations are not the right mirror description of the ABJM worldsheet, the corrected Y-system has not actually been derived from anything.

Editorial extensions

If this is right

  • The exact spectrum of planar ABJM is fixed in the sector where the earlier Y-system proposal was wrong, so the finite-volume spectral problem for this theory is well posed rather than merely conjectural.
  • The general infinite-length solution of the Y-system gives a dictionary between any exact solution and a state of the asymptotic Bethe ansatz, which is what a numerical or perturbative solve needs as a starting configuration.
  • The strong-coupling solution provides a first-principles route to one-loop string energies with all wrapping orders summed, rather than truncated at the leading Lüscher correction.
  • The heavy/light splitting of ABJM fluctuation frequencies is reproduced automatically by the Y-system, so the same structure should appear in any future worldsheet computation of the same quantities.

Reading between the lines

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

  • The asymmetric equations are a structural statement about the two node species, not a technicality: any theory whose momentum-carrying roots come in two distinguishable species (as in the ABJM case, and plausibly in AdS$_3$/CFT$_2$ with mixed boundary conditions) should show the same splitting, which makes this a template rather than a one-off repair.
  • Because the correction disappears when $Y^{◭}_a = Y^{◮}_a$, weak-coupling tests restricted to the $sl(2)$ sector cannot discriminate the old and new systems; a decisive perturbative check would need an operator whose Bethe roots populate both $u_4$ and $u_{4̄}$ asymmetrically.
  • The matching is between products of $(1+Y)$ factors and fluctuation determinants, so it is a statement about the functional form of the one-loop answer rather than its numerical value; the natural next test is a specific classical string solution where the individual fluctuation frequencies, not just their product, can be compared.
  • If the conjectured mirror Bethe equations were later revised, the corrected Y-system would have to be re-derived, but the observed agreement with the algebraic curve would then become evidence for the revised mirror equations rather than for the Y-system.
Original abstract

We study the exact spectrum of the AdS4/CFT3 duality put forward by Aharony, Bergman, Jafferis and Maldacena (ABJM). We derive thermodynamic Bethe ansatz (TBA) equations for the planar ABJM theory, starting from "mirror" asymptotic Bethe equations which we conjecture. We also propose generalization of the TBA equations for excited states. The recently proposed Y-system is completely consistent with the TBA equations for a large subsector of the theory, but should be modified in general. We find the general asymptotic infinite length solution of the Y-system, and also several solutions to all wrapping orders in the strong coupling scaling limit. To make a comparison with results obtained from string theory, we assume that the all-loop Bethe ansatz of N.G. and P. Vieira is the valid worldsheet theory description in the asymptotic regime. In this case we find complete agreement, to all orders in wrappings, between the solution of our Y-system and generic quasi-classical string spectrum in AdS3 x S.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 6,238 input tokens, $0.0003 reported.

What the abstract itself states, as probabilities: claims first 0.05 · states limitation 0.78 · human participants 0.01 · controlled comparison 0.05 · randomized assignment 0.01 · states quantitative result 0.08 · compares with prior results 0.96 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v4. Results and the main claim are underlined; .

We study the exact spectrum of the AdS4/CFT3 duality put forward by Aharony, Bergman, Jafferis and Maldacena (ABJM). We derive thermodynamic Bethe ansatz (TBA) equations for the planar ABJM theory, starting from "mirror" asymptotic Bethe equations which we conjecture. We also propose generalization of the TBA equations for excited states. The recently proposed Y-system is completely consistent with the TBA equations for a large subsector of the theory, but should be modified in general. We find the general asymptotic infinite length solution of the Y-system, and also several solutions to all wrapping orders in the strong coupling scaling limit. To make a comparison with results obtained from string theory, we assume that the all-loop Bethe ansatz of N.G. and P. Vieira is the valid worldsheet theory description in the asymptotic regime. In this case we find complete agreement, to all orders in wrappings, between the solution of our Y-system and generic quasi-classical string spectrum in AdS3 x S.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We study the exact spectrum of the AdS4/CFT3 duality put forward by Aharony, Bergman, Jafferis and Maldacena (ABJM). contribution 0.63 0.84 0.05 asserted 0.93
s1 We derive thermodynamic Bethe ansatz (TBA) equations for the planar ABJM theory, starting from "mirror" asymptotic Bethe equations which we conjecture. contribution 0.74 0.96 0.12 asserted 0.94
s2 We also propose generalization of the TBA equations for excited states. contribution 0.98 0.91 0.07 asserted 0.74
s3 The recently proposed Y-system is completely consistent with the TBA equations for a large subsector of the theory, but should be modified in general. result 0.90 0.58 0.21 asserted 0.64
s4 We find the general asymptotic infinite length solution of the Y-system, and also several solutions to all wrapping orders in the strong coupling scaling limit. result 0.93 0.96 0.19 asserted 1.00
s5 To make a comparison with results obtained from string theory, we assume that the all-loop Bethe ansatz of N.G. and P. method 0.90 0.37 0.04 hedged possibility 0.58
s6 Vieira is the valid worldsheet theory description in the asymptotic regime. method 0.83 0.18 0.06 asserted 0.87
s7 In this case we find complete agreement, to all orders in wrappings, between the solution of our Y-system and generic quasi-classical string spectrum in AdS3 x S. result 1.00 0.94 0.42 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v4
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. Graphical representation of the Y-systems [19]. Circles correspond to Y-functions. Black nodes are the “massive” nodes which are suppressed for asymptotically large length L. For gray circles in the corners the equation cannot be written “locally” in terms of Y’s. Remarkably, evidence for integrability has been found both in the gauge theory [3, 4] and in the string theory [5, 6] in the planar limit of large number of colors. In SYM further intensive development [7, 8] has led to complete description of anomalous dimensions of infinitely long operators by means of the Asymptotic…
Figure 2. Strings of alternating roots on the {Re u,Im u} plane. Black circles denote u4 roots, gray circles denote u¯4 roots. Vertical spacing between roots is i. In the thermodynamic limit, solutions of the above ABA are described by complexes of Bethe roots. Among those complexes are n,△n,⊕,⊗, which are the same complexes as in the mirror AdS5/CFT4 (see [28]). In addition, the momentum-carrying roots u4 and u¯4 form two new types of complexes, which we call Odd-Even and Even-Odd. They were recently considered in [44]. Those complexes are real-centered strings of alternating u4 and u¯4…
Figure 3. Elementary excitations of the string in AdS4 × CP3 and Y◮n is obtained from Y◭n by replacing β → 1/β. We can easily compute M0 for this solution, eM0 = (αβ + 1)(α + β) (α2 − 1)2 β (4.43) and by matching with the asymptotic solution we identify λ1 = α , λ2 = λ3 = λ4 = 0 , λ5 = −β . (4.44) so that we get eM0 = (λ5 − λ1)(1 − λ1λ5)

Figures reproduced from arXiv:0912.4911 by the authors.

References
How later papers used it

46 later papers cite it

Evidence: some. 35 of the citing papers share no author with it, and 3 of those carry a confident label from Pith's citation classifier.

Pith read 11 of the 80 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 3 papers · 2 by the same authors

By the same authors

How the literature uses it

46 arXiv papers cite this in 80 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 58 sentences without a confident label

Uses its method or tool 3 papers
Compares with it 1 paper
  • The result for $h_4$ in ([ref]) is strikingly similar to the leading wrapping correction for length four operators, which has been obtained by Gromov, Kazakov and Vieira [ref] by means of the proposed $Y$-system [ref] for the ABJM model.[This result is not altered by a correction [ref] of the originally proposed $Y$-system.] In this paper we explicitly compute the wrapping correction with our methods and find agreement with their result.

    Magnon dispersion to four loops in the ABJM and ABJ models · Introduction and summary of results · 0.99

Cites it as support 1 paper
  • In particular, the planar dilatation operator in the gauge theory was shown to be integrable up to six loops [ref] , classical integrability was demonstrated in various subsectors of the dual string theory [ref] , an $AdS_4/CFT_3$ algebraic curve was formulated in [ref] , an all-loop Bethe Ansatz was conjectured in [ref] , and a Thermodynamic Bethe Ansatz for the ABJM theory was proposed in [ref] .

    Integrability of N = 6 Chern-Simons Theory · Introduction · 0.98

Cites it as background 15 papers

What it cites · 92 sentences without a confident label

Contests 5 papers
Builds on 1 paper
  • In view of its importance we will review the construction of [ref] for the asymptotic large $L$ solution of the Y-system in this section and extend it to the case $Y_≠Y_$.

    Integrability for the Full Spectrum of Planar AdS/CFT · General asymptotic solution · 0.94

Uses the method or tool of 11 papers
  • Thus we can use the same trick as in [ref] to get the expression for $Y__1$ in physical kinematics: YmTBA logY__1^/Y__1^0 = T^,_1m*log(1+Y__m)+ R^(10),log\(1+Y_/1+Y_^0\) + R^(10),K_m-1*log\(1+Y__m/1+Y__m^0\) +K_m-1(z_k-i4h)*log\(1+Y__m/1+Y__m^0\) .

    Y-system and Quasi-Classical Strings · The spectrum from Y-system · 0.89

  • We construct the polynomial P(x) = ∏_j=1^K_4(x-x_4,j^+)∏_j=1^K_4̅(x-x_4̅,j^+) ∏_j=1^K_2(x-x_2,j^-)(x-1/x_2,j^-) - ∏_j=1^K_4(x-x_4,j^-)∏_j=1^K_4̅(x-x_4̅,j^-) ∏_j=1^K_2(x-x_2,j^+)(x-1/x_2,j^+) from the Bethe equations of [ref] (given in section 2.1 of the present work) for the fermionic roots $u_1$ and $u_3$.

    The all loop AdS4/CFT3 Bethe ansatz · Fermionic duality transformation and $𝔰𝔲(2)$ · 0.84

  • The algebraic curve described in [ref] can be used to compute the one-loop correction for a generic finite gap classical string state by computing the spectrum of fluctuations around a given solution.

    The AdS4/CFT3 algebraic curve · One-loop strong coupling quasi-classical string spectrum · 0.91

Uses data or values from 2 papers
Compares with 9 papers
Cites as support 1 paper
Cites as background 8 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.