Pith. sign in

REVIEW 3 major objections 2 minor 40 references

Surface sums in two-dimensional large-$N$ lattice Yang--Mills: Cancellations and explicit computations for general loops

T0 review · 3 major / 2 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper establishes that surface sums behind Wilson loop expectations in 2D large-N lattice Yang-Mills collapse under a peeling algorithm, yielding explicit formulas for general loops and spectral convergence for simple loops.

desk verdict A promising companion paper with a new peeling algorithm; the supplied text is unreadable, so the claims need a real referee with the companion paper in hand. read the letter →

arxiv 2508.13827 v2 pith:ZLHZS3BS submitted 2025-08-19 math.PR math-phmath.COmath.MP

Jacopo Borga , Sky Cao , Jasper Shogren-Knaak This is my paper
classification math.PRmath-phmath.COmath.MP MSC 81T1381T25
keywords latticeYang-Millslarge-NlimitWilsonloopexpectationssurfacesumspeelingprocessempiricalspectralmeasuretwo-dimensionalcancellations
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper tries to show that the complicated surface sums governing Wilson loop expectations in two-dimensional large-N lattice Yang-Mills collapse dramatically. It introduces a peeling process that chooses edges in a specific order, forcing most terms in the surface sums to cancel. The authors claim that after cancellation only a tractable set of surfaces remains, which yields new explicit formulas for Wilson loop expectations of general loops. They also prove convergence of the empirical spectral measure for any simple loop. If correct, this converts a combinatorial accounting problem into a practical computational tool.

What carries the argument

The surface exploration algorithm, or 'peeling process', is the central tool. It chooses, step by step, which edge of the surface to remove next, and the choice is made so that surface-sum terms cancel in pairs or larger groups. After the peeling terminates, the residue is a sharply reduced class of surfaces that can be described and evaluated explicitly, turning a large sum over surfaces into a finite computation.

What would settle it

Compute the Wilson loop expectation for a fixed nontrivial simple loop, such as a 2x2 square, using the paper's peeling algorithm and compare it with the exact heat-kernel answer for two-dimensional Yang-Mills in the large-N limit; a mismatch for any loop where the algorithm predicts a specific surviving surface would falsify the claim.

Watch

Extended reading notes

Core claim

In two-dimensional large-N lattice Yang-Mills, Wilson loop expectations have a surface-sum representation introduced in the companion work [BCSK24]. This paper claims those surface sums undergo systematic cancellations that can be organized by a surface exploration algorithm. At each step the algorithm selects the next edge to explore so that most contributing surfaces cancel; the surfaces that survive are identified precisely. This leads to many new explicit formulas for Wilson loop expectations of general loops and to a convergence theorem for the empirical spectral measure of any simple loop.

Load-bearing premise

The load-bearing premise is that the surface-sum representation of Wilson loop expectations from the companion paper [BCSK24] is correct; if that representation were flawed, the cancellations and formulas built on it would not follow.

Editorial extensions

If this is right

  • Wilson loop expectations for general loops in the large-N limit can be computed by following the peeling algorithm instead of summing over all surfaces.
  • The empirical spectral measure of any simple loop has a deterministic large-N limit, with the limiting law determined by the loop geometry through the surface residue.
  • The cancellation mechanism identifies precisely which surfaces survive, giving a geometric explanation for simplifications that had previously appeared as coincidences or via other exact formulas.
  • The explicit formulas provide a direct surface-sum derivation of known two-dimensional Yang-Mills results and extend them to more general loops.

Reading between the lines

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

  • The peeling mechanism appears geometric rather than loop-specific, so it may extend to multi-loop observables or Wilson loop correlators, not yet analyzed in the paper.
  • The residues obtained by the algorithm could be compared term-by-term with heat-kernel expressions for two-dimensional Yang-Mills, potentially yielding an independent proof of those formulas.
  • The spectral convergence result might hold for loops with repeated edges or mild self-intersections if the peeling argument can be adapted to control the additional surfaces those loops generate.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 2 minor

Summary. The paper claims to develop a surface exploration or 'peeling process' for surface sums in two-dimensional large-N lattice Yang-Mills theory, leading to cancellations and new explicit formulas for Wilson loop expectations of general loops, as well as a convergence theorem for the empirical spectral measure of any simple loop. The abstract is readable, but the entire body of the manuscript is corrupted (mojibake). No definitions, theorem statements, algorithm descriptions, or proofs are legible. Consequently, the central mathematical claims cannot be independently checked, and the manuscript in its current form is not reviewable.

Significance. If the claims in the abstract are correct, the paper would introduce a systematic combinatorial tool for computing Wilson loop expectations at large N in two dimensions, with explicit formulas for general loops and a spectral measure convergence result. Such results would be of genuine interest to the mathematical physics and probability communities. However, the significance can only be evaluated on the basis of the abstract, since the body is unreadable. The reliance on the companion work [BCSK24] for the definition of surface sums is also a load-bearing external premise that is not stated or proved in the manuscript as presented.

major comments (3)
  1. [Full text (entire manuscript)] The submitted PDF is corrupted: the body text is entirely mojibake. No section, theorem, equation, algorithm, or proof is legible. This is not a stylistic matter; it makes every stated result unverifiable. The authors must provide a readable version of the manuscript before any substantive review can occur.
  2. [Abstract] The abstract states that surface sums are 'defined in the companion work [BCSK24]'. Since this representation is the starting point for the cancellation analysis, the manuscript must either state (with hypotheses) or precisely cite the companion result, and specify for which loops it holds. The abstract claims 'general loops' and 'any simple loop', but without these conditions the scope of the results cannot be assessed.
  3. [Abstract / claimed peeling process] The 'surface exploration algorithm' is the key new tool, but the unreadable text does not allow verification of termination, correctness, or completeness. A correct proof must show that the peeling process enumerates exactly the surfaces that survive cancellation, with the correct signs and multiplicities. A missed family of surfaces would silently change the explicit formulas. No such proof is currently visible.
minor comments (2)
  1. [Abstract] The class of 'general loops' is not defined in the abstract. Once the text is readable, please clarify: based loops? immersed loops? arbitrary edge paths? Same for the empirical spectral measure convergence: state the mode of convergence and the normalization.
  2. [Footer] The arXiv footer reads '2508.13817v1 [math.RT] 19 Aug 2025', while the submission is 2508.13827. This identifier discrepancy should be corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the peeling process and cancellation analysis are a new derivation built on the companion paper's surface-sum representation, not an assumption of the conclusion.

full rationale

The abstract explicitly states that the surface sums are 'defined in the companion work [BCSK24]', so the starting representation is imported from prior work by the same authors. However, this is a normal reliance on a previously established result, not a circular reduction. The paper's claimed contribution is a new peeling process that analyzes cancellations in those surface sums and derives explicit Wilson-loop formulas. The target quantities (Wilson loop expectations, empirical spectral measures) are not used to define the surface sums here, and no fitted parameter is renamed as a prediction. The derivation chain is: companion surface-sum representation -> peeling algorithm -> cancellation structure -> explicit formulas. Each step is substantive. Even if the companion representation were incorrect or restricted, that would be a correctness or robustness concern, not circularity. No equation or passage in the supplied text exhibits the target result as an input to itself. Therefore no circular step can be identified, and the derivation is self-contained conditional on the cited companion theorem.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Only the abstract was readable; the full text arrived corrupted. No free parameters or invented entities can be identified from the abstract alone.

assumptions (1)
  • domain assumption The surface sum representation of Wilson loop expectations from [BCSK24] is correct.
    The paper builds directly on the companion work; the abstract states the surface sums are defined there. If this representation fails, the current results fail.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Surface sums in two-dimensional large-$N$ lattice Yang--Mills: Cancellations and explicit computations for general loops." pith.science (2026). https://pith.science/paper/ZLHZS3BS

@misc{pith2026250813827,
  author       = {Pith},
  title        = {Pith review of: Surface sums in two-dimensional large-$N$ lattice Yang--Mills: Cancellations and explicit computations for general loops},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZLHZS3BS}},
  note         = {Machine review of arXiv:2508.13827}
}
abstract

In the context of two-dimensional large-$N$ lattice Yang--Mills theory, we perform a refined study of the surface sums defined in the companion work [BCSK24]. In this setting, the surface sums are a priori expected to exhibit significant simplifications because two-dimensional Yang--Mills theory is a special model that admits many known exact formulas. Thus, a natural problem is to understand these simplifications directly from the perspective of the surface sums. Towards this goal, we develop a key new tool in the form of a surface exploration algorithm (or "peeling process"), which, at each step, carefully selects the next edge to explore. Using this algorithm, we manage to find many cancellations in the surface sums, thereby obtaining a detailed understanding of precisely which surfaces remain after cancellation. As a consequence, we obtain many new explicit formulas for Wilson loop expectations of general loops in the large-$N$ limit of lattice Yang--Mills in two dimensions and prove a convergence result for the empirical spectral measure of any simple loop.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

40 extracted references · 31 canonical work pages

  1. [1]

    Borga, S

    J. Borga, S. Cao, and J. Shogren-Knaak. Surface sums for lattice Y ang- M ills in the large- N limit. arXiv preprint , 2024, arXiv:2411.11676

    arXiv 2024

  2. [2]

    Brydges, J

    D. Brydges, J. Fr\"ohlich, and T. Spencer. The random walk representation of classical spin systems and correlation inequalities. Comm. Math. Phys. , 83(1):123--150, 1982. 648362

    work page 1982

  3. [3]

    $SO(N)$ Lattice Gauge Theory, planar and beyond

    R. Basu and S. Ganguly. SO(N) lattice gauge theory, planar and beyond. Commun. Pure Appl. Math. , 71(10):2016--2064, 2018, arXiv:1608.04379

    work page Pith review arXiv 2016

  4. [4]

    Benassi and D

    C. Benassi and D. Ueltschi. Loop correlations in random wire models. Comm. Math. Phys. , 374(2):525--547, 2020. 4072223

    work page 2020

  5. [5]

    Rigorous solution of strongly coupled $SO(N)$ lattice gauge theory in the large $N$ limit

    S. Chatterjee. Rigorous Solution of Strongly Coupled SO(N) Lattice Gauge Theory in the Large N Limit . Communications in Mathematical Physics , 366:203--268, February 2019, arXiv:1502.07719

    work page Pith review arXiv 2019

  6. [6]

    Chatterjee

    S. Chatterjee. Yang-- M ills for probabilists. Probability and Analysis in Interacting Physical Systems: In Honor of SRS Varadhan , pages 1--16, 2019, arXiv:1803.01950

    arXiv 2019

  7. [7]

    Chevyrev

    I. Chevyrev. Yang-- M ills measure on the two-dimensional torus as a random distribution. Communications in Mathematical Physics , 372(3):1027--1058, 2019

    work page 2019

  8. [8]

    Chatterjee and J

    S. Chatterjee and J. Jafarov. The 1/N expansion for SO(N) lattice gauge theory at strong coupling. arXiv preprint , 2016, arXiv:1604.04777

    arXiv 2016

Show all 40 references
  1. [9]

    S. Cao , R. Nissim , and S. Sheffield . Expanded regimes of area law for lattice Yang-Mills theories . arXiv e-prints , May 2025, arXiv:2505.16585

    2025

  2. [10]

    S. Cao, M. Park, and S. Sheffield. Random surfaces and lattice Y ang- M ills. arXiv preprint , 2023, arXiv:2307.06790

    2023

  3. [11]

    Chevyrev and H

    I. Chevyrev and H. Shen. Invariant measure and universality of the 2D Yang-Mills Langevin dynamic . arXiv preprint , 2023, arXiv:2302.12160

    2023 arXiv

  4. [12]

    N. Curien. Peeling random planar maps , volume 2335 of Lecture Notes in Mathematics . Springer, Cham, 2023. Saint-Flour Probability Summer School

    2023

  5. [13]

    Dahlqvist

    A. Dahlqvist. Free energies and fluctuations for the unitary B rownian motion. Comm. Math. Phys. , 348(2):395--444, 2016. 3554890

    2016

  6. [14]

    Duminil-Copin

    H. Duminil-Copin. Random currents expansion of the I sing model. In European C ongress of M athematics , pages 869--889. Eur. Math. Soc., Z\"urich, 2018. 3890455

    2018

  7. [15]

    Duminil-Copin

    H. Duminil-Copin. 100 years of the (critical) I sing model on the hypercubic lattice. In I CM --- I nternational C ongress of M athematicians. V ol. 1. P rize lectures , pages 164--210. EMS Press, Berlin, [2023] 2023. 4680248

    2023

  8. [16]

    B. K. Driver, F. Gabriel, B. C. Hall, and T. Kemp. The M akeenko- M igdal equation for Y ang- M ills theory on compact surfaces. Comm. Math. Phys. , 352(3):967--978, 2017. 3631396

    2017

  9. [17]

    B. K. Driver, B. C. Hall, and T. Kemp. Three proofs of the M akeenko- M igdal equation for Y ang- M ills theory on the plane. Comm. Math. Phys. , 351(2):741--774, 2017. 3613519

    2017

  10. [18]

    Dahlqvist and T

    A. Dahlqvist and T. Lemoine. Large N limit of Y ang- M ills partition function and W ilson loops on compact surfaces. Probab. Math. Phys. , 4(4):849--890, 2023. 4672112

    2023

  11. [19]

    Dahlqvist and T

    A. Dahlqvist and T. Lemoine. Large N limit of the Y ang- M ills measure on compact surfaces II : M akeenko- M igdal equations and the planar master field. Forum Math. Sigma , 13:Paper No. e17, 71, 2025. 4855986

    2025

  12. [20]

    B. K. Driver. Y M _2 : continuum expectations, lattice convergence, and lassos. Comm. Math. Phys. , 123(4):575--616, 1989. 1006295

    1989

  13. [21]

    B. K. Driver. A functional integral approaches to the M akeenko- M igdal equations. Comm. Math. Phys. , 370(1):49--116, 2019. 3982691

    2019

  14. [22]

    Duncan and B

    P. Duncan and B. Schweinhart. A S harp D econfinement T ransition for P otts L attice G auge T heory in C odimension T wo. Comm. Math. Phys. , 406(7):Paper No. 164, 2025. 4916150

    2025

  15. [23]

    Duncan and B

    P. Duncan and B. Schweinhart. Topological P hases in the P laquette R andom- C luster M odel and P otts L attice G auge T heory. Comm. Math. Phys. , 406(6):Paper No. 145, 2025. 4913966

    2025

  16. [24]

    Gross, C

    L. Gross, C. King, and A. Sengupta. Two-dimensional Y ang- M ills theory via stochastic differential equations. Ann. Physics , 194(1):65--112, 1989. 1015789

    1989

  17. [25]

    G. Hooft. A planar diagram theory for strong interactions. Nuclear Physics B , 72(3):461--473, 1974

    1974

  18. [26]

    Hiai and D

    F. Hiai and D. Petz. A large deviation theorem for the empirical eigenvalue distribution of random unitary matrices. Ann. Inst. H. Poincar\'e Probab. Statist. , 36(1):71--85, 2000

    2000

  19. [27]

    J. Jafarov. Wilson loop expectations in SU(N) lattice gauge theory. arXiv preprint , 2016, arXiv:1610.03821

    2016 arXiv

  20. [28]

    I. Kostov. On the random-surface representation of U( ) lattice gauge theory. Physics Letters B , 147(6):445--448, 1984

    1984

  21. [29]

    I. K. Kostov. U( N ) gauge theory and lattice strings. Nuclear Physics B , 415(1):29--70, 1994

    1994

  22. [30]

    T. Lemoine. Large N behaviour of the two-dimensional Y ang- M ills partition function. Combin. Probab. Comput. , 31(1):144--165, 2022. 4356462

    2022

  23. [31]

    L \'e vy

    T. L \'e vy. Discrete and continuous Yang-Mills measure for non-trivial bundles over compact surfaces. Probability theory and related fields , 136:171--202, 2006

    2006

  24. [32]

    Lees and L

    B. Lees and L. Taggi. Exponential decay of transverse correlations for O(N) spin systems and related models. Probab. Theory Related Fields , 180(3-4):1099--1133, 2021. 4288338

    2021

  25. [33]

    Lees and L

    B. Lees and L. Taggi. Site-monotonicity properties for reflection positive measures with applications to quantum spin systems. J. Stat. Phys. , 183(3):Paper No. 38, 13, 2021. 4261709

    2021

  26. [34]

    T. Lévy. The master field on the plane. Asterisque , 388, 2017, arXiv:1112.2452

    2017 arXiv

  27. [35]

    M. Park, J. Pfeffer, S. Sheffield, and P. Yu. Wilson loop expectations as sums over surfaces on the plane. arXiv preprint , 2023, arXiv:2305.02306. To appear in Probab. Math. Phys

    2023

  28. [36]

    Sengupta

    A. Sengupta. Gauge theory on compact surfaces. Mem. Amer. Math. Soc. , 126(600):viii+85, 1997. 1346931

    1997

  29. [37]

    A. D. Sokal. A ridiculously simple and explicit implicit function theorem. arXiv preprint , 2009, arXiv:0902.0069

    2009 arXiv

  30. [38]

    Shen , S

    H. Shen , S. A. Smith , and R. Zhu . Makeenko-Migdal equations for 2D Yang-Mills: from lattice to continuum . arXiv e-prints , December 2024, arXiv:2412.15422

    2024 arXiv

  31. [39]

    K. G. Wilson. Confinement of quarks. Phys. Rev. D , 10:2445--2459, Oct 1974

    1974

  32. [40]

    write newline

    " write newline "" before.all 'output.state := FUNCTION output.nonempty.mrnumber duplicate missing pop "" 'skip if duplicate empty 'pop " " swap * " " * write if FUNCTION fin.entry add.period write mrnumber output.nonempty.mrnumber newline FUNCTION new.block output.state befor...

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.