Pith. Sign in

REVIEW

Nonplanar Integrability

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
Warren Carlson, Robert de Mello Koch, Hai Lin

High Energy Physics - Theory · Submitted 27 Jan 2011 · 46 references

Pith's verdict: A solid technical paper: an explicit projector construction plus an analytic derivation of the oscillator spectrum, with the integrability claim scoped to a double-scaling limit the abstract doesn't state.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 10, 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 →

· 3 major objections · 9 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID1101.5404 (version 2)
Pith IDMLBEQXU6, Pith's permanent record of this paper and its review
CitationHai Lin, Robert de Mello Koch, Warren Carlson. "Nonplanar Integrability." arXiv:1101.5404 (2011). https://pith.science/paper/MLBEQXU6
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

For operators of dimension of order N in N=4 super Yang-Mills, the one-loop dilatation operator becomes a set of decoupled harmonic oscillators, which the authors read as integrability beyond the planar limit.

The reading

In $N=4$ super Yang-Mills, most of what is known about the dilatation operator, the quantum operator whose eigenvalues are anomalous dimensions, comes from the planar limit, which is a good description only when the operator's bare dimension $n+m$ satisfies $(n+m)^2/N$ small. The authors attack the opposite regime, operators built from $O(N)$ copies of two complex scalars $Z$ and $Y$, where nonplanar diagrams contribute at the same order as planar ones and the usual trace basis mixes hopelessly. Their operators are restricted Schur polynomials labelled by three Young diagrams, restricted here to shapes with two long rows (dual to AdS giant gravitons) or two long columns (dual to sphere giant gravitons). The technical obstacle is that these operators require a projector from an irreducible representation of $S_{n+m}$ down to one of $S_n$ times $S_m$, and no usable general formula existed. The paper's claim is that this projector can be built explicitly by mapping partially labelled Young diagrams onto spin-chain states, at which point the projector is an ordinary angular-momentum projection, and the dilatation operator reduces to three-term recursion relations solved exactly by Clebsch-Gordan coefficients and symmetric Kravchuk polynomials. If that is right, the one-loop spectrum in this sector is that of free oscillators with frequencies that are integer multiples of $8g^2_{YM}$, with degeneracies the authors can count.

What carries the argument

The load-bearing device is the translation of a partially labelled Young diagram into a state of a spin chain with $m$ sites, one spin per impurity, with a box in the first row read as spin up and a box in the second row as spin down. Under this map the Casimir $d^{dagger} d$ built from Dunkl's operator becomes $J^2 - J^3(J^3+1)$, where $J$ is the total spin of the chain, so the projection onto a fixed irreducible representation of $S_m$ becomes the projection onto fixed total angular momentum. That is what makes the $S_{n+m}$ to $S_n$ times $S_m$ projector explicit, and it is what makes the traces over intertwiners in the dilatation operator computable in closed form: the traces reduce to squares of Clebsch-Gordan coefficients, with the $(m+1)$-th site carrying the group element that mixes a $Z$ index with a $Y$ index. The second device is the observation that the resulting recursion relations have only three terms, which the authors attribute to weak one-loop mixing of restricted Schur polynomials, and that such relations are the standard three-term recurrences of $SU(2)$ coupling coefficients. Solving them yields the oscillator spectrum and the wavefunctions, with the $j$-recursion giving Hahn polynomials in the $Y$-direction and the $(b_0,b_1)$-recursion giving symmetric Kravchuk polynomials in the $Z$-direction.

Extended reading notes

Core claim

The central claim is that for restricted Schur polynomials labelled by Young diagrams with two long rows or two long columns, and in the limit where the number of impurities is $m = O(N)$ with $m/b_1$ small while $b_1 = O(N)$, the one-loop dilatation operator acts as a decoupled set of harmonic oscillators. The route is a chain of reductions. Young's orthogonal representation simplifies so drastically in this limit that an adjacent transposition acts as $+1$ or $-1$ depending only on whether the two swapped boxes sit in the same column or row. With that, the $S_m$ content of a partially labelled Young diagram is traded for a polynomial representation on which Dunkl's operator $d$ and its adjoint act, and the eigenspaces of $d^{dagger} d$ are exactly the irreducible representations needed for the projector. Mapping each labelled box to a spin, $d^{dagger} d$ becomes $J^2 - J^3(J^3+1)$ in terms of total spin operators, so building the projector is literally the addition of angular momentum. The dilatation operator then collapses to two three-term recursion relations, one in the total spin $j$ and one in the Young-diagram data $(b_0,b_1)$. The first is solved by $SU(2)$ Clebsch-Gordan coefficients, equivalently Hahn polynomials; the second by symmetric Kravchuk polynomials, or in a continuum limit by the two-dimensional radial oscillator. The resulting spectrum is stated sharply: for $m = 2n$ impurities, oscillators of frequency $8i g^2_{YM}$ with degeneracy $2(n-i)+1$ for $i = 0,1,dots,n$; for $m = 2n+1$, the same frequencies with degeneracy $2(n-i+1)$. The authors also prove that the sphere-giant and AdS-giant computations are related by the substitution $N+b$ to $N-b$, which they read as evidence that a duality visible in the BPS sector extends to non-BPS operators.

Load-bearing premise

Everything rests on the limit in which the number of impurities $m$ is a small fraction of $b_1$ while $b_1$ itself grows with $N$, because only then do the matrix elements of adjacent transpositions in Young's orthogonal representation collapse to $+1$ or $-1$ and the spin-chain map become exact; the paper also notes in Appendix B that the continuum expansion used to solve the $(b_0,b_1)$ recursion assumes $b_1$ much smaller than $N+b_0$, which is not always true.

Editorial extensions

If this is right

  • The one-loop anomalous dimensions in this sector are integers times $8g^2_{YM}$, with degeneracies $2(n-i)+1$ for even impurity number and $2(n-i+1)$ for odd, matching the spectrum conjectured numerically in earlier work.
  • The dilatation operator restricted to two-row and two-column Young diagrams is integrable in the sense of reducing to free oscillators, so the eigenstates can be written down rather than diagonalized numerically.
  • The two directions of the problem separate: a discrete wave equation in the $Y$ (3-4 plane) direction labelled by an integer $p$ fixes the frequency, and a second discrete equation in the $Z$ (1-2 plane) direction gives the radial profile, suggesting a four-dimensional wavefunction for the two-giant system.
  • The action of the dilatation operator on sphere giants equals its action on AdS giants under $N+b$ to $N-b$, so the BPS-level equivalence of the two giant types appears to survive to non-BPS operators at one loop.
  • The spectrum depends on $g^2_{YM}$ itself rather than only on the 't Hooft coupling $g^2_{YM}N$, which the authors flag as unusual and worth testing at two loops.

Reading between the lines

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

  • If the oscillator spectrum really is exact in this limit, the natural next check is whether the same $8i g^2_{YM}$ ladder survives at two loops or whether it gets dressed by powers of $N$; a two-loop calculation on the same operator class would settle whether the structure is an artifact of one loop.
  • The appearance of three separate $SU(2)$ structures, the spin chain, the Kravchuk recurrence, and the Hahn/Clebsch-Gordan recurrence, invites the guess that a single hidden $SU(2)$ controls the whole sector, which would be a stronger integrability statement than decoupled oscillators alone.
  • The interpretation of the label $j$ as the radial separation of the two giants in the 3-4 plane, and of the second recursion variable as a coordinate in the 1-2 plane, suggests that the Young-diagram labels are discretizing a four-dimensional moduli space; checking whether the resulting wavefunctions match a known quarter-BPS geometry would be a sharp test.
  • Because the derivation hinges on $m/b_1$ being small, it would be informative to see how the spectrum deforms as that ratio grows toward order one, since that regime is where the two giants are far apart and stringy corrections should appear.
Original abstract

In this article we study operators with a dimension $\Delta\sim O(N)$ and show that simple analytic expressions for the action of the dilatation operator can be found. The operators we consider are restricted Schur polynomials. There are two distinct classes of operators that we consider: operators labeled by Young diagrams with two long columns or two long rows. The main complication in working with restricted Schur polynomials is in building a projector from a given $S_{n+m}$ irreducible representation to an $S_n\times S_m$ irreducible representation (both specified by the labels of the restricted Schur polynomial). We give an explicit construction of these projectors by reducing it to the simple problem of addition of angular momentum in ordinary non-relativistic quantum mechanics. The diagonalizationof the dilatation operator reduces to solving three term recursion relations. The fact that the recursion relations have only three terms is a direct consequence of the weak mixing at one loop of the restricted Schur polynomials. The recursion relations can be solved exactly in terms of symmetric Kravchuk polynomials or in terms of Clebsch-Gordan coefficients. This proves that the dilatation operator reduces to a decoupled set of harmonic oscillators and therefore it is integrable.

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,892 input tokens, $0.0003 reported.

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

The abstract, sentence by sentence

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

In this article we study operators with a dimension $\Delta\sim O(N)$ and show that simple analytic expressions for the action of the dilatation operator can be found. The operators we consider are restricted Schur polynomials. There are two distinct classes of operators that we consider: operators labeled by Young diagrams with two long columns or two long rows. The main complication in working with restricted Schur polynomials is in building a projector from a given $S_{n+m}$ irreducible representation to an $S_n\times S_m$ irreducible representation (both specified by the labels of the restricted Schur polynomial). We give an explicit construction of these projectors by reducing it to the simple problem of addition of angular momentum in ordinary non-relativistic quantum mechanics. The diagonalizationof the dilatation operator reduces to solving three term recursion relations. The fact that the recursion relations have only three terms is a direct consequence of the weak mixing at one loop of the restricted Schur polynomials. The recursion relations can be solved exactly in terms of symmetric Kravchuk polynomials or in terms of Clebsch-Gordan coefficients. This proves that the dilatation operator reduces to a decoupled set of harmonic oscillators and therefore it is integrable.

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 In this article we study operators with a dimension $\Delta\sim O(N)$ and show that simple analytic expressions for the action of the dilatation operator can be found. contribution 0.92 0.93 0.08 asserted 1.00
s1 The operators we consider are restricted Schur polynomials. contribution 0.63 0.30 0.02 asserted 1.00
s2 There are two distinct classes of operators that we consider: operators labeled by Young diagrams with two long columns or two long rows. contribution 0.82 0.76 0.02 asserted 1.00
s3 The main complication in working with restricted Schur polynomials is in building a projector from a given $S_{n+m}$ irreducible representation to an $S_n\times S_m$ irreducible representation (both specified by the labels of the restricted Schur polynomial). background 0.86 0.25 0.02 asserted 1.00
s4 We give an explicit construction of these projectors by reducing it to the simple problem of addition of angular momentum in ordinary non-relativistic quantum mechanics. method 0.86 0.94 0.04 asserted 1.00
s5 The diagonalizationof the dilatation operator reduces to solving three term recursion relations. result 0.68 0.85 0.09 asserted 1.00
s6 The fact that the recursion relations have only three terms is a direct consequence of the weak mixing at one loop of the restricted Schur polynomials. interpretation 0.67 0.77 0.03 asserted 1.00
s7 The recursion relations can be solved exactly in terms of symmetric Kravchuk polynomials or in terms of Clebsch-Gordan coefficients. result 0.64 0.85 0.07 asserted 0.96
s8 This proves that the dilatation operator reduces to a decoupled set of harmonic oscillators and therefore it is integrable. result 0.54 0.89 0.90 asserted 1.00

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

What was examined, and what was not

sources read
  • arXiv listing abstract v2
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. A comparison between (6.8) (plotted in red) and the numerically computed eigen￾function for m = 600. The agreement is clearly excellent. If we now consider the large m regime, C m 2 (j) → ( m 2 ) − 1 2 (−1)jp 2j + 1e − j 2 m , for m ≫ 1, 0 ≤ j ≪ m . (6.9) This eigenfunction produces an oscillator with a level spacing of 4mg2 Y M. It is interesting to compare (6.8) and (6.9): There are alternating minus signs, i.e. (−1)j in (6.9) for superposing j-states, while there are same signs in (6.8) for superposing j-states; these different phases produce vastly different eigenvalues
Figure 2. A comparison between the numerically computed C0(j) (plotted in blue) and C m 2 (j) (plotted in red) for m = 600. The two solutions are clearly identical up to the alter￾nating signs in C0(j), exactly as predicted by the analytic expressions for the eigenfunctions. s (m + 2j + 2)(m − 2j + 2) (2j + 1)(2j − 1) (j + j 3 )(j − j 3 ) 2j Cp,j3(j − 1) − 1 2  m − (m + 2)(j 3 ) 2 j(j + 1)  Cp,j3(j). (6.10) This equation has a j 3 → −j 3 symmetry, and we will solve for both the j 3 ≥ 0 case and the j 3 ≤ 0 case. The range for j is 0 ≤ |j 3 | ≤ j ≤ m 2 . The eigen
Figure 3. A comparison between the numerically computed Cp= m 2 −|j 3|,j3(j) (plotted in blue) and the analytic formula (6.14) (plotted in red) for m = 120 and j 3 = 4. The agreement is clearly excellent. – 39 –

Figures reproduced from arXiv:1101.5404 by the authors.

References
How later papers used it

62 later papers cite it

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

Pith read 14 of the 148 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

Builds on it 1 of 3 papers with this label · 1 by the same authors

By the same authors

  • Achieved a complete generalization of the results of this paper together with a much clearer understanding of the general problem.

    Giant Graviton Oscillators (2011) (same authors) · 0.97 · paraphrased: the licence does not allow quoting

How the literature uses it

62 arXiv papers cite this in 148 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 · 92 sentences without a confident label

Builds on it 3 papers
Uses its method or tool 4 papers
Compares with it 9 papers
  • The agreement is perfect [ref] .

    Giant Graviton Oscillators · Diagonalization of the Dilatation Operator · 0.92

  • The computation of [ref] gives [equation] [equation] [equation] [equation] where [equation] The combination $Ô_j,j^3(b_0,b_1)$ in [ref] differs from the ones obtained in the case of $N=4$ SYM theory and ABJM theory [ref] , since it depends on both $M$ and $N$.

    Nonplanar Integrability and Parity in ABJ Theory · Spectrum of Anomalous Dimensions · 0.91

  • It is straight forward to see that in this continuum limit, the action found for the dilatation operator in the previous section reduces to the continuum limit of the action of the dilatation operator studied in [ref] .

    Beyond the Planar Limit in ABJM · Spectrum of Anomalous Dimensions · 0.94

Cites it as background 27 papers

What it cites · 55 sentences without a confident label

Compares with 2 papers
  • This is completely explicit if the reader compares the first two expressions in Appendix [ref] to the expressions appearing in [ref] .

    Emergent Threebrane Lattices · Dilatation Operator · 0.92

  • This is exactly the spectrum that was conjectured in [ref] .

    Surprisingly Simple Spectra · Discussion · 0.86

Cites as support 1 paper
Cites as background 4 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.