Pith. Sign in

REVIEW

On the worldsheet theories of strings dual to free large N gauge theories

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
Ofer Aharony, Zohar Komargodski, Shlomo S. Razamat

High Energy Physics - Theory · Submitted 22 Feb 2006 · 25 references

Pith's verdict: A careful, honest conditional test of Gopakumar's Strebel dictionary that uncovers genuinely strange worldsheet behavior, worth refereeing despite being explicitly scoped to the prescription.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 28, 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 →

· 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/0602226 (version 2)
Pith IDX5KXCXSL, Pith's permanent record of this paper and its review
CitationOfer Aharony, Shlomo S. Razamat, Zohar Komargodski. "On the worldsheet theories of strings dual to free large N gauge theories." arXiv:hep-th/0602226 (2006). https://pith.science/paper/X5KXCXSL
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

A proposed string dual of free large N gauge theories yields worldsheet correlators that live on lower-dimensional subspaces and break special conformal symmetry.

The reading

The paper analyzes the worldsheet theory defined by a previously proposed dictionary between free large N gauge theory Feynman diagrams and Riemann surfaces, in which each edge's inverse Schwinger parameter is identified with the length of the corresponding edge of a Strebel critical graph. Through explicit Strebel computations for planar three-, four-, and five-point sphere diagrams and a two-point torus diagram, the authors establish two non-standard properties of the resulting worldsheet correlators. First, several correlators are non-vanishing only on a lower-dimensional subspace of the moduli space; in one planar four-point case they vanish unless all four insertion points lie on a line. Second, for conformally invariant space-time theories the mapping preserves Poincaré and scaling symmetries but violates special conformal symmetry, so the full conformal group is not a global symmetry at fixed worldsheet positions. The computed worldsheet OPEs, however, match local CFT expectations with integer values of $h-\bar h$, which the authors read as evidence that the worldsheet theory may be a standard local CFT with additional global contributions.

What carries the argument

The engine of the paper is the Strebel differential: a meromorphic quadratic differential with double poles at the marked points on a Riemann surface, whose compact critical graph has edge lengths that parameterize the decorated moduli space. The prescription under study identifies the inverse Schwinger parameter of each Feynman edge with the length of the corresponding edge of this critical graph, after skeleton reduction collapses homotopic color loops. That identification converts position-space free field integrals over Schwinger parameters into integrals over the decorated moduli space, and the explicit solutions of the Strebel problem for low-valence diagrams are what make the localization and symmetry properties visible.

Extended reading notes

Core claim

The central claim is that the string worldsheet dual of a free large N SU(N) gauge theory, as defined by the Strebel/Schwinger-parameter prescription, is not a conventional local conformal field theory at the level of fixed-position correlators. Concretely, the paper shows by solving Strebel differentials that the Π four-point diagram has its worldsheet correlation function supported only on real values of the complex modulus $t$, meaning all four points are collinear; the Y four-point and X five-point diagrams localize to lower-dimensional subspaces for some ranges, and the two-point function on the torus localizes on curves determined by $b-z_1-z_2 = n\tau + m$. The paper further argues that the prescription cannot realize the full conformal group on the worldsheet: only Poincaré and scaling transformations survive, since special conformal transformations mix Schwinger parameters and therefore move the decorated moduli. Despite this, the computed OPEs are consistent with a local CFT: worldsheet dimensions satisfy integer $h-\bar h$ and different diagrams give consistent data, so the paper proposes that the likely resolution is a standard local worldsheet CFT whose correlators receive global contributions that make them vanish on large regions of moduli space.

Load-bearing premise

Everything rests on the identification of each inverse Schwinger parameter with the length of the corresponding edge of the Strebel critical graph; the paper takes this identification as the definition of the mapping rather than proving it, and if it is wrong, all the computed worldsheet correlators fail to represent the conjectured string dual.

Editorial extensions

If this is right

  • If the central claim is correct, a fixed-position worldsheet correlator in the dual of a free gauge theory need not be analytic on the full moduli space; support can be a lower-dimensional subspace, such as real $t$ for the Π four-point diagram.
  • The full conformal group of a conformal space-time theory is not realized as a local worldsheet symmetry; only the Poincaré and scaling subgroup acts on vertex operators at fixed worldsheet positions.
  • The worldsheet OPE is still well defined where correlators have support, with operators of worldsheet dimensions satisfying $h-\bar h\in\mathbb{Z}$ in the star-diagram examples, consistent with a local CFT.
  • The localized support indicates that the worldsheet dual must include global contributions, such as zero modes, beyond a naive local action.
  • Since adding space-time interactions in the coupling $\lambda$ restores contributions from generic graphs, the free limit is a singular limit of the worldsheet theory and the strange properties disappear at any finite coupling.

Reading between the lines

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

  • Editorial inference: The dictionary predicts that different Feynman graphs corresponding to the same decorated moduli point give the same worldsheet integrand; a direct test is to compute the same integrated correlator from two different skeleton reductions and check that the localized support is unchanged.
  • Editorial inference: The loss of special conformal symmetry resembles a gauge-fixing artifact and may be repairable by a different worldsheet gauge choice, with the paper's explicit examples serving as a concrete target for a reformulated dictionary.
  • Editorial inference: The lower-dimensional supports on moduli space may be interpreted as semiclassical quantization conditions on the decorated moduli space, suggesting a connection to matrix-model cell decompositions that could be tested by comparing the localization curves with semiclassical Stokes data.
  • Editorial inference: If the localization persists after summing all planar diagrams for a given correlator, then the analyticity violation is a genuine property of the free-limit string theory, which would be non-local at zero coupling even though finite-coupling deformations are local.
Original abstract

We analyze in detail some properties of the worldsheet of the closed string theories suggested by Gopakumar to be dual to free large N SU(N) gauge theories (with adjoint matter fields). We use Gopakumar's prescription to translate the computation of space-time correlation functions to worldsheet correlation functions for several classes of Feynman diagrams, by explicit computations of Strebel differentials. We compute the worldsheet operator product expansion in several cases and find that it is consistent with general worldsheet conformal field theory expectations. A peculiar property of the construction is that in several cases the resulting worldsheet correlation functions are non-vanishing only on a sub-space of the moduli space (say, for specific relations between vertex positions). Another strange property we find is that for a conformally invariant space-time theory, the mapping to the worldsheet does not preserve the special conformal symmetries, so that the full conformal group is not realized as a global symmetry on the worldsheet (even though it is, by construction, a symmetry of all integrated correlation functions).

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

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

The abstract, sentence by sentence

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

We analyze in detail some properties of the worldsheet of the closed string theories suggested by Gopakumar to be dual to free large N SU(N) gauge theories (with adjoint matter fields). We use Gopakumar's prescription to translate the computation of space-time correlation functions to worldsheet correlation functions for several classes of Feynman diagrams, by explicit computations of Strebel differentials. We compute the worldsheet operator product expansion in several cases and find that it is consistent with general worldsheet conformal field theory expectations. A peculiar property of the construction is that in several cases the resulting worldsheet correlation functions are non-vanishing only on a sub-space of the moduli space (say, for specific relations between vertex positions). Another strange property we find is that for a conformally invariant space-time theory, the mapping to the worldsheet does not preserve the special conformal symmetries, so that the full conformal group is not realized as a global symmetry on the worldsheet (even though it is, by construction, a symmetry of all integrated correlation functions).

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 analyze in detail some properties of the worldsheet of the closed string theories suggested by Gopakumar to be dual to free large N SU(N) gauge theories (with adjoint matter fields). contribution 0.97 0.85 0.07 asserted 0.84
s1 We use Gopakumar's prescription to translate the computation of space-time correlation functions to worldsheet correlation functions for several classes of Feynman diagrams, by explicit computations of Strebel differentials. method 0.97 0.93 0.08 asserted 1.00
s2 We compute the worldsheet operator product expansion in several cases and find that it is consistent with general worldsheet conformal field theory expectations. result 0.98 0.96 0.13 asserted 0.80
s3 A peculiar property of the construction is that in several cases the resulting worldsheet correlation functions are non-vanishing only on a sub-space of the moduli space (say, for specific relations between vertex positions). result 1.00 0.94 0.14 asserted 0.99
s4 Another strange property we find is that for a conformally invariant space-time theory, the mapping to the worldsheet does not preserve the special conformal symmetries, so that the full conformal group is not realized as a global symmetry on the worldsheet (even though it is, by construction, a symmetry of all integrated correlation functions). result 0.99 0.95 0.21 asserted 1.00

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

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. The horizontal curves for a four-punctured sphere. Each domain is conformally a disk. The critical graph is easily seen. This figure was produced by a numerical analysis which is described in [16]. Secondly, the isomorphism of the decorated moduli space with the metric graphs induces a cell decomposition of the decorated moduli space. It is clear that any vertex of order higher than 3 in the critical graph can be split in various channels until the graph has only vertices of order 3. This can be done without intersecting other edges or affecting the genus. Hence, a generic Riemann…
Figure 2. (borrowed from [11]) A characteristic ring domain in the vicinity of a double pole (marked with a dot). The non-closed horizontal trajectories are shown by thick lines. These begin and end at zeros marked by a cross. dimensional cell in the complex. It can be shown that this description is compatible with the continuity notion on the decorated moduli space, and hence can be viewed as a cell decomposition. This result has had many applications both in mathematics and in physics. Some are summarized in the references of [11] (see especially the Kontsevich theory [20]). 2.3 Schwinger…
Figure 3. (borrowed from [11]) A specific (planar) 6-point diagram is reduced to a skeleton graph by collapsing color loops which are homotopic to a line. after the diagram is drawn on some Riemann surface, or alternatively is given in double line notation where loops that respect the color flow are apparent. Strictly speaking, in a gauge theory with adjoint matter we can also combine lines in this way for non-homotopic lines between the same pair of points, but this is not useful for reasons that will become clear below. The resulting formula for the amplitude, if we have E˜ reduced edges,…
Figure 4. The three possibilities for the topology of the critical curv
Figure 5. The critical graphs in the different regions in the decorate
Figure 6. The possible gauge theory graphs : (a) ∆ > 0, (b) ∆ = 0, (c) ∆ < 0. In this paper we denote composite operators by a circle with a cross in it. identify with the lengths Li of the critical graph, the diagram is given by G = A Z dσ1dσ2dσ3e − (x2−x1) 2σ1 4 e − (x2−x3) 2σ2 4 e − (x3−x1) 2σ3 4 = = 64A (x2 − x1) 2 (x3 − x1) 2 (x2 − x3) 2 , (23) where A is a numerical factor. To write this expression as an integral over the circumferences we use the dictionary (20). The integral then becomes G = 1 2 A Z ∞ 0 dp0 Z ∞ 0 dp1 Z p0+p1 |p0−p1| dp∞e − p0 8 ((x2−x1) 2−(x2−x3) 2+(x3−x1) 2 ) × e −…
Figure 7. The Y diagram with t in the middle: (a) in the gauge theory, (b) on the worldsheet. the field theory amplitude is given in terms of the edge lengths of the edges connecting the zeros. These are integrals of the square root of (27). The differential is Strebel when these edge lengths are real, and this gives very non-trivial equations on the parameters of (27). In the rest of this section we will consider special cases where the Strebel problem can be explicitly solved. The first case we consider is the Y diagram of the gauge theory, drawn in
Figure 8. The Π diagram: (a) in the gauge theory, (b) on the worldsheet. it is the only contribution to the correlator : hTr(Φ2 1 (x1)) Tr(Φ2 1Φ2(x2)) Tr(Φ2Φ 2 3 (x3)) Tr(Φ2 3 (x4))iS2. (44) We will see that this diagram has a very strange property – the string theory amplitude has support only for real values of t (namely, when all four points lie on a straight line in the plane). The Strebel differential here is again given by: q = − p 2 ∞ 4π 2  (z − c) 2 (z − 1)(z 2 − t 2) 2 dz2 , (45) but with a different relation between the circumferences. When we label the points as in
Figure 9. The four possible positions of the zero c and the structure of critical leaves implied by the symmetry of reflections round the real axis. The two critical curves on the left (and on the right) are different as metric graphs because they have a different orientation. Note that our choice (46) by itself does not uniquely determine the topology of the critical curve; there are four topologically distinct critical curves obeying this relation. We 31
Figure 10. The four regions of A,B space; for each A,B there are two possible solutions of the quadratic equation, and we draw the two distinct diagrams that they corresponds to. As explained, each metric graph (including orientation) appears exactly once. draw these four possibilities in
Figure 11. The X diagram: (a) in the gauge theory, (b) on the worldsheet. The Strebel differential in this case has a zero of order six, so it is given by (choosing the insertions at z = 1, ±t, b, ∞): q = − p 2 ∞ 4π 2 (c − z) 6 (1 − z) 2(b − z) 2(t 2 − z 2) 2 dz2 . (53) The ratios of the circumferences are given by (denoting pt = p+, p−t = p−) p1 p∞ = γ1 (c − 1)3 (1 − t 2 )(b − 1) ≡ α 3 1 , pb p∞ = γb (c − b) 3 (b 2 − t 2 )(b − 1) ≡ α 3 b , p+ p∞ = γ+ (c − t) 3 2t(1 − t)(b − t) ≡ α 3 +, p− p∞ = γ− (c + t) 3 2t(1 + t)(b + t) ≡ α 3 −, (54) up to
Figure 12. Two-point function on the torus without self-contract
Figure 13. A specific two-point function on the torus with self-cont
Figure 14. The ℘-plane horizontal curves of (90). is satisfied, there will be two different edges of the critical graph with lengths: σ1 = L θ(τ ) 4π , σ2 = L 2π − θ(τ ) 4π . (94) We note that the quantity e3−e2 e1−e2 is used in the mathematical literature, and is usually denoted by13 k 2 (τ ). It satisfies that for any complex a 6= 0, 1 there is a τ such that k 2 (τ ) = a. Thus, the solutions to (93) give a one-dimensional subspace of the three￾dimensional submanifold we are looking for. One can show that the solution of (93) is simply (in the fundamental domain) |τ | = 1 14. We will
Figure 15. Numerical plots of the curves on which the second insert
Figure 16. Four-point circle diagram on a sphere : (a) Gauge theory graph, (b) Dual graph. The most general Strebel differential for the circular four-point diagram (with insertions at z = 1, ±t, ∞) has the following form: q = − 1 4π 2  γ+ pt z − t + γ− p−t z + t + γ1 p1 z − 1 2 dz2 , (108) where the γi are sign choices which are determined by the ordering of the insertions around the circle. The ordering specifies a precise relation between the circumferences, which we wrote as γ+pt + γ−p−t + γ1p1 = p∞. In order to check that (108) is a Strebel differential we need to make sur
Figure 17. Solutions to the constraint (109), for a specific value

Figures reproduced from arXiv:hep-th/0602226 by the authors.

References
How the literature uses it

16 arXiv papers cite this in 31 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 · 25 sentences without a confident label

Compares with it 1 paper
  • For instance, the points contributing to any two point correlator on the torus will localize on a submanifold of $ℳ_≫=1,2$ exactly as it happens in Gopakumar's prescription [ref] .

    On a worldsheet dual of the Gaussian matrix model · Discussion. · 0.98

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