Pith. Sign in

REVIEW

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

High Energy Physics - Theory · Submitted 16 May 2006 · 25 references

Pith's verdict: A short, honest note whose real content is the second Bessel saddle and the zero-mode derivation of the matrix model, with the all-orders conjecture openly flagged as a conjecture.

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 →

· 3 major objections · 5 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0605151 (version 1)
Pith ID5WXIODGN, Pith's permanent record of this paper and its review
CitationNadav Drukker. "1/4 BPS circular loops, unstable world-sheet instantons and the matrix model." arXiv:hep-th/0605151 (2006). https://pith.science/paper/5WXIODGN
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
The paper

The paper claims

A free matrix model's large-coupling expansion contains two saddle points, and both match the two classical string surfaces that describe a family of quarter-BPS circular Wilson loops in $N=4$ super Yang-Mills.

The reading

This paper asks whether the standard AdS/CFT recipe for Wilson loops — minimize the string action and read off the answer — survives when the action has more than one saddle point. It studies a one-parameter family of circular Wilson loops in $N=4$ super Yang-Mills that couple to three of the six scalar fields with a mixing angle $theta_0$; these preserve a quarter of the vacuum supersymmetry and interpolate between the half-BPS circle at $theta_0=0$ and Zarembo's quarter-BPS circle at $theta_0=pi/2$. On the gauge theory side the perturbative series looks like the half-BPS case with the coupling rescaled, $lambda to lambda' = lambda cos^2 theta_0$, so the whole answer is conjectured to be a Gaussian matrix model. On the string side there are two classical surfaces, wrapping the north or the south pole of an $S^2$ inside $S^5$, with actions $mp sqrt{lambda'}$; the matrix model's Bessel-function answer has exactly two saddle points in its large-$lambda'$ expansion and even reproduces the factor of $i$ attached to the unstable one. The payoff is a case where a semiclassically subleading, unstable world-sheet is visible from a weak-coupling computation.

What carries the argument

The load-bearing object is the planar Gaussian matrix model $langle W_{theta_0} rangle_{ladder} = (1/Z) int DM (1/N) mathrm{Tr} exp(M) exp(-(2N/lambda') mathrm{Tr} M^2)$ with $lambda' = lambda cos^2 theta_0$, whose eigenvalue distribution is Wigner's semicircle and whose exact value is $(2/sqrt{lambda'}) I_1(sqrt{lambda'})$. Evaluating that integral by steepest descent at the two endpoints of the semicircle produces two exponential terms, $e^{pm sqrt{lambda'}}$, with prefactors and phases fixed by the endpoint behaviour. The matching string solutions are the two ways of letting the world-sheet wrap the $S^2 subset S^5$ over the north or south pole, differing only by the sign in $cos theta(sigma) = tanh(sigma_0 pm sigma)$; the sign flip turns the bulk area into $pm cos theta_0 sqrt{lambda}$ after the boundary counterterm. A separate piece of machinery is the observation that at $cos theta_0 = 0$ the solution has a three-parameter family of zero modes (an $S^3$), and turning on $cos theta_0$ gives those modes a potential $cos alpha cos theta_0 sqrt{lambda}$, so integrating over them alone yields $2pi int_0^pi dalpha, sin^2 alpha, e^{-cos alpha sqrt{lambda'}}$, which equals the matrix model answer exactly.

Extended reading notes

Core claim

The paper exhibits a Wilson loop operator whose value is claimed to be computable on both sides of the duality and whose strong-coupling expansion has two terms rather than one. The operator is a circle of radius $R$ in $N=4$ super Yang-Mills carrying couplings to three scalars, $Theta_1 = sin theta_0 cos tau$, $Theta_2 = sin theta_0 sin tau$, $Theta_3 = cos theta_0$, and it preserves a quarter of the supersymmetries (Section 2.1). At order $g_{YM}^2$ the integrand of the exchange diagram is a constant, giving $langle W rangle = 1 + g_{YM}^2 N cos^2 theta_0 / 8$, the same as the half-BPS circle with $lambda to lambda' = lambda cos^2 theta_0$; the two-loop interacting graphs split into a $Phi_3$ sector that reduces to the known $theta_0=0$ cancellation and a $Phi_1,Phi_2$ sector that reduces to the $theta_0=pi/2$ case, so the paper conjectures that all interacting graphs vanish and the exact planar answer is the Gaussian matrix model $langle W_{theta_0} rangle = (2/sqrt{lambda'}) I_1(sqrt{lambda'})$. On the string side the minimal surfaces are found in closed form: $sinh rho = 1/sinh sigma$ and $cos theta = tanh(sigma_0 pm sigma)$ with $cos theta_0 = tanh sigma_0$, giving classical actions $S = mp cos theta_0 sqrt{lambda} = mp sqrt{lambda'}$ for the two signs, both preserving the same quarter of the supersymmetries. The asymptotic expansion of the Bessel function at large $lambda'$ produces precisely $e^{sqrt{lambda'}}$ and $e^{-sqrt{lambda'}}$ terms, the second carrying a factor of $i$ that the paper traces to three tachyonic transverse modes of the unstable surface.

Load-bearing premise

The paper assumes, on the strength of a two-loop check and a split into two previously solved sectors, that the interacting Feynman diagrams cancel at every order for generic mixing angle, so that the entire answer is the sum of ladders and equals the Gaussian matrix model with coupling $lambda cos^2 theta_0$.

Editorial extensions

If this is right

  • If the ladder conjecture holds, the exact planar expectation value of this whole family of quarter-BPS circular loops is the Bessel function $(2/sqrt{lambda'}) I_1(sqrt{lambda'})$ with $lambda' = lambda cos^2 theta_0$, giving a one-parameter interpolation between the half-BPS circle and Zarembo's quarter-BPS circle.
  • The strong-coupling expansion of that answer contains an exponentially suppressed term $e^{-sqrt{lambda'}}$ with an imaginary coefficient, so the Wilson loop's semiclassical expansion requires summing an unstable saddle whose fluctuation determinant has three negative modes contributing a factor of $i$.
  • The same Bessel-function result is reproduced by a BMN-like limit: take $lambda to infty$ while holding $lambda' = lambda cos^2 theta_0$ fixed, and keep only the zero modes of Zarembo's solution, which are lifted by a potential proportional to $cos theta_0$.
  • Under a conformal map taking the circle to a line, the AdS solution becomes a surface with action $sqrt{lambda}(1 mp cos theta_0)$, so the ratio of the line's value to the circle's is the universal factor $e^{sqrt{lambda}}$ whenever a compact loop is mapped to a non-compact one.
  • The paper notes that a surface preserving some supersymmetry can nonetheless be unstable, so the usual intuition that supersymmetry protects a saddle does not apply to these combinations of ordinary and superconformal generators.

Reading between the lines

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

  • If the interacting graphs really cancel at all orders for generic $theta_0$, the natural explanation would be a localization argument, since the operator preserves a quarter of the supersymmetries; the paper itself flags this possibility without proving it, and testing it would be a sharper target than another loop order.
  • The unstable saddle with three tachyonic directions is a concrete setting where the string one-loop determinant must be complex; comparing the full one-loop fluctuation computation around that surface with the $(lambda')^{-3/4}$ prefactor and phase in the Bessel expansion would test the correspondence beyond the exponential terms.
  • The same two-saddle structure should appear for the D-brane (higher-rank) version of these loops, where the DBI action may also have a second, unstable solution; finding it would indicate whether the pairing of saddles is a general feature of these quarter-BPS operators or an accident of the fundamental-string probe.
  • Because the zero-mode integral alone reproduces the matrix model, the BMN-like limit here may generalize: for any deformation of a supersymmetric loop by a small coupling, the leading strong-coupling answer could come entirely from the lifted zero-mode measure, which is a testable structural guess.
Original abstract

The standard prescription for computing Wilson loops in the AdS/CFT correspondence in the large coupling regime and tree-level involves minimizing the string action. In many cases the action has more than one saddle point as in the simple example studied in this paper, where there are two 1/4 BPS string solutions, one a minimum and the other not. Like in the case of the regular circular loop the perturbative expansion seems to be captured by a free matrix model. This gives enough analytic control to extrapolate from weak to strong coupling and find both saddle points in the asymptotic expansion of the matrix model. The calculation also suggests a new BMN-like limit for nearly BPS Wilson loop operators.

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, 4,236 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

The standard prescription for computing Wilson loops in the AdS/CFT correspondence in the large coupling regime and tree-level involves minimizing the string action. In many cases the action has more than one saddle point as in the simple example studied in this paper, where there are two 1/4 BPS string solutions, one a minimum and the other not. Like in the case of the regular circular loop the perturbative expansion seems to be captured by a free matrix model. This gives enough analytic control to extrapolate from weak to strong coupling and find both saddle points in the asymptotic expansion of the matrix model. The calculation also suggests a new BMN-like limit for nearly BPS Wilson loop operators.

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 The standard prescription for computing Wilson loops in the AdS/CFT correspondence in the large coupling regime and tree-level involves minimizing the string action. background 1.00 0.05 0.04 asserted 1.00
s1 In many cases the action has more than one saddle point as in the simple example studied in this paper, where there are two 1/4 BPS string solutions, one a minimum and the other not. contribution 0.46 0.61 0.13 asserted 0.97
s2 Like in the case of the regular circular loop the perturbative expansion seems to be captured by a free matrix model. result 0.93 0.59 0.12 hedged possibility 0.92
s3 This gives enough analytic control to extrapolate from weak to strong coupling and find both saddle points in the asymptotic expansion of the matrix model. result 0.64 0.84 0.22 asserted 0.94
s4 The calculation also suggests a new BMN-like limit for nearly BPS Wilson loop operators. interpretation 0.63 0.79 0.19 hedged possibility 1.00

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

What was examined, and what was not

sources read
  • arXiv listing abstract v1
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

References
How the literature uses it

44 arXiv papers cite this in 66 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 · 46 sentences without a confident label

Builds on it 2 papers
Compares with it 4 papers
Cites it as support 1 paper
Cites it as background 12 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.