Exact Lattice Identities and Continuum-Limit Dyson--Schwinger Equations for Yang-Mills Theory

Anish Ghoshal; Arpan Chatterjee; Marco Frasca; Stefan Groote

REVIEW 3 major objections 4 minor 20 references

Exact Lattice Identities and Continuum-Limit Dyson--Schwinger Equations for Yang-Mills Theory

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

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

Pith's one-line read The Wilson lattice action yields an exact, link-by-link Dyson–Schwinger master equation via Haar-measure invariance.

desk verdict The exact lattice identity is correct but standard; the new scalar reduction has a sign error that invalidates Eq. (31), though the defect is mechanical and the paper is more honest than its abstract. read the letter →

arxiv 2608.05415 v1 pith:KSYGQMUN submitted 2026-08-05 hep-th hep-lathep-phmath-phmath.MP

Arpan Chatterjee , Marco Frasca , Anish Ghoshal , Stefan Groote This is my paper · ORCID

classification hep-thhep-lathep-phmath-phmath.MP

keywords latticeYang-MillsDyson-SchwingerequationsHaarmeasureWilsonactionlinkvariablescompactgaugegroupscalarreductionnonperturbative

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 claims that the Dyson–Schwinger hierarchy of lattice Yang–Mills theory can be derived exactly, directly on the compact gauge group, before any continuum approximation. The key input is that the normalized Haar measure on SU(N) is invariant under left translation, so a left-invariant derivative acting on any single link integrates to zero. Applied to the standard lattice action, this gives a link-local master equation involving staple variables (Eq. 18). The paper then projects this identity to Feynman gauge, omits the ghost sector, and imposes a scalar reduction ansatz, obtaining the closed system (31)–(33) with $\partial^2 \phi = N g^2[(D-1)G(m,m)\phi + \phi^3]$. The lattice identity is exact; the continuum and scalar steps are explicitly conditional and improvable.

What carries the argument

The carrier of the argument is the Haar-measure integration-by-parts identity (6), $\int D[U]\, L^a_{\mu}(m)F[U]=0$, which holds exactly because the normalized Haar measure on the compact group is invariant under left group translations. The left-invariant Lie derivative $L^a_{\mu}(m)$ acts on a single link $U_{\mu}(m)$ while leaving all others fixed, making the identity link-local. When applied to the Wilson action, the derivative is expressed through staple variables, the neighboring products of links surrounding the varied link, giving the master equation (18). The later scalar closure is carried by the reduction ansatz together with the coincident-point Gaussianity criterion, which sets higher connected functions to zero at coincident points in the thermodynamic limit.

What would settle it

Compute the connected three-point function of link color traces at coincident sites, $\langle \mathrm{Tr}[T^a U_{\mu}(n)]\, \mathrm{Tr}[T^b U_{\nu}(n)]\, \mathrm{Tr}[T^c U_{\rho}(n)]\rangle_c$, in SU(3) Wilson lattice theory at large volume; if it does not vanish in the thermodynamic limit, the coincident-point Gaussianity condition fails and the scalar system (31)–(33) does not close.

Watch

Extended reading notes

Core claim

The central claim is that left invariance of the Haar measure turns the lattice Yang–Mills path integral into an exact integration-by-parts device: for any differentiable functional $F$, $\int D[U]\, L^a_{\mu}(m)F[U]=0$. Using the standard Wilson action, this produces Eq. 18, a link-by-link master equation relating the expectation of a Lie derivative of the action to source terms, with no Jacobian, no gauge fixing, and no flat gauge-field measure. In the formal continuum limit with a Feynman-gauge projection and the ghost sector omitted, the one- and two-point connected equations (25) and (27) follow; after the scalar reduction ansatz $G^a_{\mu}=\eta^a_{\mu}\phi$, $G^{ab}_{\mu\nu}=\eta_{\mu\nu}\delta^{ab}G$ and the coincident-point Gaussianity condition, they close into (31)–(33). The scalar equation (31), $\partial^2 \phi = N g^2[(D-1)G(m,m)\phi + \phi^3]$, is the concrete new output: a single nonlinear equation for $\phi$ with a mass-like term built from the coincident two-point function.

Load-bearing premise

The load-bearing premise is the coincident-point Gaussianity criterion: connected correlation functions of three or more fields vanish when any two arguments coincide in the large-volume limit, a condition imported from scalar-field work and not a theorem of Yang–Mills theory.

Editorial extensions

If this is right

The exact lattice master equation provides a compact-group basis for building continuum Dyson–Schwinger truncations, so truncations can inherit the gauge-invariant structure of the lattice theory.
The scalar system (31)–(33) is a closed, tractable set in which the one-point function $\phi$ obeys a nonlinear equation with a mass-like term from the coincident two-point function $G(m,m)$.
The derivation separates exact, conditional, and ansatz layers: gauge fixing, ghost completion, and scalar closure can all be improved without disturbing the exact Haar-measure identity.
The formal continuum expansion reproduces the tensor structure of the ghost-omitted gluonic lower-sector Dyson–Schwinger equations, allowing the lattice identity to serve as a cross-check for continuum functional equations.

Reading between the lines

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

A lattice test of the coincident-point Gaussianity condition, for example computing the connected three-point function at coincident points in SU(2) or SU(3) Wilson theory at large volume, would settle whether the scalar closure is physically relevant.
If the scalar reduction survives such a test, the equation $\partial^2 \phi = N g^2[(D-1)G(m,m)\phi + \phi^3]$ together with (33) could serve as a mean-field model of the infrared gluon sector and be compared with lattice gluon-propagator data.
The same Haar-measure identity could be applied to gauge-invariant Wilson-loop observables, potentially giving a direct lattice derivation of loop equations without any gauge fixing.
Because the ghost sector was omitted, the quantitative predictions of the scalar system should not be compared with full Yang–Mills data until a ghost-complete extension and the associated Slavnov–Taylor constraints are included.

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.

Desk Editor's Note

read the letter

Colleague,

The exact lattice part of this paper is solid but known. The Haar-measure integration-by-parts identity (6) and the Wilson-action master equation (18) are derived cleanly, but they are standard in the lattice literature (Kerler, Makeenko–Migdal, Driver). The genuinely new piece is the scalar reduction of the continuum limit, and that piece has a sign error that flips the sign of the central result.

In Eq. (30), the contraction f^{bcd} f^{dcb} should be −N(N²−1), not +N(N²−1), because total antisymmetry of the structure constants gives f^{bcd} f^{dcb} = −f^{bcd} f^{dbc}. This changes the coefficient of Gφ to (1−D)N(N²−1) and that of φ³ to −N(N²−1). So Eq. (31) should be ∂²φ + Ng²[(D−1)Gφ + φ³] = 0, not the version with the minus. Eq. (33) inherits the error. The scalar system advertised as the main new output is therefore invalid as written.

To be fair, the paper is honest about what is ansatz. Section V explicitly labels the coincident-point Gaussianity closure as an additional reduction assumption, not a theorem about Yang-Mills. That is a declared limitation, not a hidden circular step. Section IV also states clearly that the continuum equations are ghost-omitted projections. So the framing inside the paper is more careful than the abstract, which says "rigorous derivation" and overstates the formal continuum steps.

The exact lattice identity itself is correct and could be useful as a starting point for compact-group DS derivations, but it is not new enough to carry the paper alone. The sign error is mechanical and fixable. A corrected resubmission with the right color-factor algebra might be worth another look, along with an abstract that does not call the continuum reduction rigorous.

Who is this paper for? People interested in the lattice-continuum bridge for DS equations might want to see the exact lattice identity, but they can find it in Kerler's papers. The scalar reduction is the only new thing, and it currently fails.

Yes, send it to peer review — a serious referee can check the algebra, and the error is the kind that can be corrected in revision. But as submitted, I would not accept.

Referee Report

3 major / 4 minor

Summary. The paper derives an exact finite-lattice identity from left invariance of the Haar measure for SU(N) link variables, applies it to the Wilson action to obtain a link-local master equation (Eq. 18), and then performs a formal continuum expansion. With a Feynman-gauge projection, ghost omission, and a scalar reduction ansatz, the authors claim closed one- and two-point equations (Eqs. 31–33). The finite-lattice part is standard and appears correct; the continuum scalar system contains an algebraic sign error and depends on an unproven, and for SU(3) unsatisfiable, projection normalization.

Significance. If the exact lattice identity and master equation were the sole results, this would be a useful pedagogical and conceptual clarification: Eq. (6) and Eq. (18) are exact, parameter-free, and do not require gauge fixing, and the paper clearly separates the exact lattice identities from the continuum truncations. However, the advertised new physics output—the closed scalar system—is invalid as written because of a sign error and an unattainable projection for N greater than or equal to 3. As a result, the central continuum claim does not stand.

major comments (3)

[§V, Eqs. (30)–(31)] The color-factor contraction in Eq. (30) contains a sign error. Using the identities stated in the text, f^{bcd}f^{dbc}=N(N^2-1) and f^{bcd}f^{dcb}=-N(N^2-1), the bracket in Eq. (30) evaluates to f^{bcd}f^{dbc}G + D f^{bcd}f^{dcb}G + f^{bcd}f^{dcb}φ^3 = N(N^2-1)[(1-D)Gφ - φ^3], not N(N^2-1)[(D-1)Gφ + φ^3]. The correct reduced one-point equation is therefore ∂²φ = -N g²[(D-1)Gφ + φ³], with the opposite sign from Eq. (31). Equations (32) and (33) inherit this sign error through their use of Eq. (31). Since this scalar system is advertised as the concrete output of the continuum reduction, the central result is invalid as written.
[§V, Eq. (29)] The existence of the color-Lorentz constants η^a_μ satisfying η^a_μ η^μ_b = δ^a_b is not established and is in fact impossible for SU(N) when N²-1 > D. For SU(3) in D=4 there are eight color indices and four Lorentz indices, so the matrix η^a_μ has rank at most four and cannot be invertible on color space. Thus the scalar reduction ansatz cannot be applied to QCD as written. The authors must either restrict the claim to SU(2), where N²-1=3 ≤ 4, or replace Eq. (29) with a weaker projection condition whose consistency is demonstrated.
[Abstract, §I, §VI] The statement that the paper gives a 'rigorous derivation of the Dyson–Schwinger equations in the continuum limit' is not supported by the manuscript. The exact part is the finite-lattice identity (6) and the Wilson-action master equation (18). The continuum limit of Sec. IV is a formal Taylor expansion with an ad hoc Feynman-gauge term, the ghost sector is explicitly omitted, and the scalar closure in Sec. V is declared an additional ansatz. These are legitimate only if the continuum equations are presented as conditional; the word 'rigorous' should be reserved for the lattice identities, not the continuum equations.

minor comments (4)

[§V, Eq. (28)] The symbol η^ν_μ in Eq. (28) is never defined; it appears to mean δ^ν_μ, but this should be stated explicitly.
[§V, Eq. (30)] The notation 'N 2 − 1' and the index placement on η^ν_a in the intermediate line of Eq. (30) are typographically confusing; superscripts and subscripts should be typeset consistently.
[§III, Eq. (18)] The sentence 'with summation over μ and a implied' is misleading because the left-hand side of Eq. (18) has no sum over μ; the reader should be told that μ is fixed in this equation.
[§V, Sec. V closure criterion] The coincident-point Gaussianity criterion is imported from Ref. [15], a scalar-field paper, and is explicitly not a theorem about Yang–Mills; the paper should state more prominently that this is a conjecture whose validity is untested in non-Abelian gauge theory.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the lattice master equation is Haar-measure exact, and the scalar closure is a disclosed ansatz rather than a fitted or self-imported target.

full rationale

The central exact result, Eq. (18), follows directly from left invariance of the Haar measure, Eq. (6), applied to the Wilson action; no fitted parameter and no target continuum equation is used as input. The paper itself separates the layers: 'The Haar-measure identity and the Wilson-action master equation are exact at finite lattice spacing. The subsequent continuum expansion is a formal comparison... and the scalar closure considered later is an additional reduction ansatz.' The continuum equations (25) and (27) are obtained by expanding the plaquette derivative and adding a Feynman-gauge quadratic term; they are labeled conditional, ghost-omitted projections, not derived by assuming the continuum Dyson–Schwinger equations. The scalar system (31)–(33) rests on the Section V ansatz G^a_mu = eta^a_mu phi and G^{ab}_{munu} = eta_{munu} delta^{ab} G, together with a coincident-point Gaussianity criterion 'employed in the discrete scalar-field analysis of Ref. [15]'. That is a self-citation, but the paper explicitly disclaims any theorem status for it: 'this assumption ... is not a theorem about non-Abelian Yang–Mills theory. It should therefore be regarded as a controlled ansatz.' The criterion is an input that closes the reduced system, not a renamed version of the output scalar equation. No parameter is fitted to a subset of data and then called a prediction. A possible sign error in the color contraction of Eq. (30), or the existence of the eta projection for SU(3), would be correctness defects, not circularity, and do not change this assessment. Overall the derivation chain is self-contained apart from a disclosed, non-load-bearing self-citation.

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

The exact lattice identity rests only on the Haar measure property. The continuum bridge adds ad hoc gauge-fixing, ghost omission, and a scalar closure ansatz. No data are fitted, so the free-parameter count is low, but the number of ad hoc structural assumptions is high.

free parameters (1)

Color-Lorentz projection constants η^a_μ
Chosen by hand to satisfy η^a_μ η^μ_b = δ^a_b (Eq. 29) in the scalar reduction ansatz of Sec. V. The final scalar equation is independent of their specific values, but their existence and normalization are an ad hoc reduction input.

assumptions (6)

standard math Left invariance of the normalized Haar measure on SU(N)
Eq. (2) and Eq. (6); this is a rigorous property of compact group integration, not an assumption specific to this paper.
domain assumption Wilson lattice action S_W[U] defines the theory
Sec. III, Eq. (8); the whole analysis assumes the Wilson action is the correct lattice discretization of Yang-Mills.
ad hoc to paper Feynman-gauge quadratic term can be added to cancel the ∂ν∂μξ term
Sec. IV, after Eq. (21); the gauge-fixing term is appended by hand rather than derived from a gauge-fixed path integral with Faddeev-Popov determinant.
ad hoc to paper Ghost sector can be omitted for the gluonic projection
Sec. IV; the paper states the equations are 'conditional, ghost-omitted comparison equations' and that the full hierarchy includes ghost couplings.
ad hoc to paper Coincident-point Gaussianity criterion C^{m1...mq}=0 for q>2
Sec. V; this closure assumption is imported from the scalar analysis of Ref. [15] and is not a theorem for Yang-Mills.
ad hoc to paper Existence of the constants η^a_μ satisfying the normalization
Sec. V, Eq. (29); requires a color-Lorentz projection with orthonormal rows, which is not proven to exist for all N and D.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Exact Lattice Identities and Continuum-Limit Dyson--Schwinger Equations for Yang-Mills Theory." pith.science (2026). https://pith.science/paper/KSYGQMUN

@misc{pith2026260805415,
  author       = {Pith},
  title        = {Pith review of: Exact Lattice Identities and Continuum-Limit Dyson--Schwinger Equations for Yang-Mills Theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KSYGQMUN}},
  note         = {Machine review of arXiv:2608.05415}
}

abstract

Starting from SU(N) on the lattice, we give a rigorous derivation of the Dyson--Schwinger equations in the continuum limit. We formulate the Dyson--Schwinger identities for the lattice Yang--Mills theory directly in terms of the link variables $U_\mu(m)\in SU(N)$, exploiting the invariance of the Haar measure under left group translations. This provides an exact lattice derivation of the corresponding master equation for the Wilson action, expressed through left-invariant Lie derivatives acting on individual links. Because the construction is carried out directly on the compact gauge group, it avoids the ambiguities associated with introducing Lie-algebra valued gauge potentials as primary integration variables at finite lattice spacing. For practical applications, in a second part we then break down the gauge degree of freedom by choosing Feynman gauge. We analyze the continuum-limit form of the resulting lattice identities and derive equations for the one- and two-point connected functions. Under a further simplifying reduction, these equations close to a tractable scalar system. Our results establish a direct bridge between exact lattice identities and the functional equations commonly used in continuum nonperturbative studies of Yang--Mills theory.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 12 canonical work pages

[1]

The change of variables Aa µ(m) ↦→Uµ(m) introduces a non-trivial Jacobian J[A] that depends on the ﬁelds and cannot be neglected at ﬁnite lattice spacing a

work page
[2]

The exponential map exp : su(N ) → SU(N ) is not globally injective; conﬁgurations with ‖gaA‖ ∼ π contribute signiﬁcantly to the path integral, particularly in the conﬁned phase

work page
[3]

The ﬂat measure D[A] requires gauge ﬁxing (Faddeev–Popov procedure, ghosts) to b e well deﬁned, while the Haar measure D[U ] is gauge invariant and well deﬁned on the compact group without an y of this. For the ﬁnite lattice theory, the intrinsic formulation is therefore t o derive the DS identities directly in terms of the link variables Uµ(m) ∈ SU(N ), ...

work page
[4]

Frasca, A

M. Frasca, A. Ghoshal and N. Okada, Phys. Rev. D 111, 115016 (2025), doi:10.1103/czm7-1ccc [arXiv:2402.1246 2 [hep-ph]]

work page arXiv 2025
[5]

Alkofer and L

R. Alkofer and L. von Smekal, Phys. Rept. 353, 281-465 (2001), doi:10.1016/S0370-1573(01)00010-2, [a rXiv:hep- ph/0007355]

arXiv 2001
[6]

C. D. Roberts and A. G. Williams, Prog. Part. Nucl. Phys. 33, 477-575 (1994), doi:10.1016/0146-6410(94)90049-3, [arXiv:hep-ph/9403224]

arXiv 1994
[7]

Frasca, Eur

M. Frasca, Eur. Phys. J. Plus 132, no.1, 38 (2017) [erratum: Eur. Phys. J. Plus 132, no.5, 242 (2017), doi:10.1140/epjp/i2017-11563-0], doi:10.1140/epjp/i2 017-11321-4, [arXiv:1509.05292 [math-ph]]

arXiv 2017
[8]

Kerler, Phys

W. Kerler, Phys. Lett. B 100, 267-272 (1981), doi:10.1016/0370-2693(81)90330-0

work page doi:10.1016/0370-2693(81)90330-0 1981

Show all 20 references

[9]

Montvay and G

I. Montvay and G. Munster, Quantum Fields on a Lattice , Cambridge University Press (1994)

1994
[10]

R. A. Brice˜ no, [arXiv:2512.22368 [hep-lat]]
[11]

H. J. Rothe, Lattice Gauge Theories: An Introduction , 4th ed., World Scientiﬁc Lecture Notes in Physics, Vol. 82, World Scientiﬁc (2012)

2012
[12]

L. D. Faddeev and V. N. Popov, Phys. Lett. B 25, 29-30 (1967), doi:10.1016/0370-2693(67)90067-6

1967 doi
[13]

Kerler, Phys

W. Kerler, Phys. Rev. D 24, 1595 (1981), doi:10.1103/PhysRevD.24.1595

1981 doi
[14]

Y. M. Makeenko and A. A. Migdal, Phys. Lett. B 88, 135-137 (1979), doi:10.1016/0370-2693(79)90131-X

1979 doi
[15]

B. K. Driver, Commun. Math. Phys. 370, no.1, 49-116 (2019), doi:10.1007/s00220-019-03492-7, [ arXiv:1709.04041 [math- ph]]

2019 arXiv
[16]

Aizenman and H

M. Aizenman and H. Duminil-Copin, Annals Math. 194, no.1, 163 (2021) [arXiv:1912.07973 [math-ph]]

2021 arXiv
[17]

A. A. Slavnov, Theor. Math. Phys. 10, 99-104 (1972), doi:10.1007/BF01090719. 14

1972 doi
[18]

(25) In the complete gauge-ﬁxed hierarchy, the right-hand side of the one-point equation also contains a ghost-current contribution

results in i∂2Ga µ(m) = igfabc [( ∂m µ Gνc bν (m, n) − 2∂ν mGbc µν (m, n) + ∂ν mGbc νµ (m, n) )⏐ ⏐ ⏐ n=m + + (∂µGν b (m))Gc ν (m) − 2(∂νGb µ(m))Gc ν (m) + (∂ν Gb ν(m))Gc µ(m) ] + + ig2fbcdfdea [ Gbcν µνe(m, m, m) + Gbc µν (m, m)Ge ν(m) + Gbν µe(m, m)Gc ν(m) + + Gcν νe(m, m)Gb ...
[19]

J. C. Taylor, Nucl. Phys. B 33, 436-444 (1971), doi:10.1016/0550-3213(71)90297-5

1971 doi
[20]

Frasca, Phys

M. Frasca, Phys. Rev. D 113, no.9, 094508 (2026), doi:10.1103/llmk-584g, [arXiv:260 3.17860 [math-ph]]

2026 doi

Pith tools

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

[1] [1]

The change of variables Aa µ(m) ↦→Uµ(m) introduces a non-trivial Jacobian J[A] that depends on the ﬁelds and cannot be neglected at ﬁnite lattice spacing a

work page

[2] [2]

The exponential map exp : su(N ) → SU(N ) is not globally injective; conﬁgurations with ‖gaA‖ ∼ π contribute signiﬁcantly to the path integral, particularly in the conﬁned phase

work page

[3] [3]

The ﬂat measure D[A] requires gauge ﬁxing (Faddeev–Popov procedure, ghosts) to b e well deﬁned, while the Haar measure D[U ] is gauge invariant and well deﬁned on the compact group without an y of this. For the ﬁnite lattice theory, the intrinsic formulation is therefore t o derive the DS identities directly in terms of the link variables Uµ(m) ∈ SU(N ), ...

work page

[4] [4]

Frasca, A

M. Frasca, A. Ghoshal and N. Okada, Phys. Rev. D 111, 115016 (2025), doi:10.1103/czm7-1ccc [arXiv:2402.1246 2 [hep-ph]]

work page arXiv 2025

[5] [5]

Alkofer and L

R. Alkofer and L. von Smekal, Phys. Rept. 353, 281-465 (2001), doi:10.1016/S0370-1573(01)00010-2, [a rXiv:hep- ph/0007355]

arXiv 2001

[6] [6]

C. D. Roberts and A. G. Williams, Prog. Part. Nucl. Phys. 33, 477-575 (1994), doi:10.1016/0146-6410(94)90049-3, [arXiv:hep-ph/9403224]

arXiv 1994

[7] [7]

Frasca, Eur

M. Frasca, Eur. Phys. J. Plus 132, no.1, 38 (2017) [erratum: Eur. Phys. J. Plus 132, no.5, 242 (2017), doi:10.1140/epjp/i2017-11563-0], doi:10.1140/epjp/i2 017-11321-4, [arXiv:1509.05292 [math-ph]]

arXiv 2017

[8] [8]

Kerler, Phys

W. Kerler, Phys. Lett. B 100, 267-272 (1981), doi:10.1016/0370-2693(81)90330-0

work page doi:10.1016/0370-2693(81)90330-0 1981