arxiv: 2603.17860 · v2 · submitted 2026-03-18 · 🧮 math-ph · hep-ph· hep-th· math.MP

Recognition: 2 theorem links

· Lean Theorem

Discrete Dyson-Schwinger equations

Marco Frasca

Authors on Pith no claims yet

Pith reviewed 2026-05-15 08:46 UTC · model grok-4.3

classification 🧮 math-ph hep-phhep-thmath.MP

keywords Dyson-Schwinger equationsscalar field theorycontinuum limittrivialityGaussian solutionsdiscrete equationsAizenman theorem

0 comments

The pith

Discrete Dyson-Schwinger equations for scalar fields produce Gaussian solutions in the continuum limit when the dimension is four or higher.

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

The paper introduces a discrete formulation of the Dyson-Schwinger equations that govern the correlation functions in scalar field theories. By solving these discrete equations in particular cases, the author demonstrates that the solutions approach Gaussian forms as the lattice spacing goes to zero for spacetime dimensions d greater than or equal to four. This result matches the expectations from established mathematical theorems on the triviality of such field theories in high dimensions. The method does not extend successfully to lower dimensions because the underlying theorems do not apply there. Readers interested in constructive approaches to quantum field theory may find this useful for exploring how discrete regularizations connect to continuum physics.

Core claim

We develop the discrete set of Dyson-Schwinger equations for scalar fields and solve them for some cases. We show that their solutions are Gaussian in the continuum limit as expected from the theorems of Aizenman and of Aizenman and Duminil-Copin for d≥4. Extension to lower dimensionality fails, as it should, by observing that the triviality theorems used in our proof are not applicable in such cases.

What carries the argument

The discrete Dyson-Schwinger equations, a discretized version of the functional relations for the n-point correlation functions of the scalar field.

If this is right

The scalar field theory remains trivial, meaning it is equivalent to a free Gaussian theory, in dimensions four and above.
The discrete approach can be used to numerically verify or explore the continuum limit without introducing interactions.
The failure in lower dimensions confirms that non-trivial behavior, if any, requires dimensions below four.
Explicit solutions in discrete cases provide concrete examples supporting the general theorems.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This discretization might serve as a basis for lattice simulations that automatically enforce the Gaussian nature in high dimensions.
Similar discrete equations could be developed for other theories like gauge fields to test their continuum limits.
Connecting this to other discretization methods could reveal common patterns in how triviality emerges.

Load-bearing premise

The discrete Dyson-Schwinger equations faithfully reproduce the continuum theory when the lattice spacing is taken to zero.

What would settle it

Observing a non-Gaussian solution or interacting behavior persisting in the continuum limit for d=4 using this discrete method would contradict the claim.

read the original abstract

We develop the discrete set of Dyson-Schwinger equations for scalar fields and solve them for some cases. We show that their solutions are Gaussian in the continuum limit as expected from the theorems of Aizenman and of Aizenman and Duminil-Copin for $d\ge 4$. Extension to lower dimensionality fails, as it should, by observing that the triviality theorems used in our proof are not applicable in such cases.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The discrete Dyson-Schwinger equations recover Gaussian solutions in the continuum limit for d≥4, but the equivalence to standard lattice models needs explicit checks.

read the letter

The paper introduces a discrete formulation of the Dyson-Schwinger equations for scalar fields and solves them in specific cases. The solutions are Gaussian in the continuum limit when the dimension is four or higher, which aligns with the known triviality theorems. What stands out as new is the discrete set of equations itself. The author derives these equations on a lattice-like setup and finds explicit solutions that reduce to Gaussian form as the spacing goes to zero. This is done without relying on the continuum theorems upfront, which gives the work some independence. The note also handles the lower-dimensional case by simply noting that the theorems do not apply there, which is accurate and avoids overclaiming. The soft spot lies in the passage from the discrete solutions to the application of the Aizenman and Aizenman-Duminil-Copin results. Those theorems are proved for the standard lattice φ⁴ theory with its specific action and measure. For the transfer to hold, the discrete Dyson-Schwinger equations must generate the same correlation functions in the limit. The paper does not appear to include a direct comparison or error bounds showing that the two discretizations coincide. Without that, the result is more of a consistency check than an independent route to triviality. The math looks clean on the discrete side, with no obvious contradictions in the equations presented. The citations focus on the relevant triviality literature without unnecessary padding. This kind of technical reformulation is mainly of interest to people working on lattice field theory or constructive approaches to quantum fields. A reader looking for new physical insights or resolutions to open problems in lower dimensions will not find them here. I would recommend sending the paper to peer review. The claim is limited and the approach is straightforward, but a referee can check whether the continuum limit truly matches the setting of the cited theorems. That verification would determine if the work adds a usable new tool or remains a formal exercise.

Referee Report

2 major / 2 minor

Summary. The paper develops a discrete formulation of the Dyson-Schwinger equations for scalar fields, solves them explicitly in selected cases, and claims that the resulting solutions are Gaussian in the continuum limit for d ≥ 4, consistent with the triviality theorems of Aizenman and Aizenman-Duminil-Copin. It further states that the construction does not extend to lower dimensions, as expected because those theorems cease to apply.

Significance. If the discrete DSE are shown to reproduce the Schwinger functions of the standard lattice φ⁴ theory in the continuum limit, the work would supply an alternative DSE-based route to triviality results. At present the significance remains modest because the manuscript provides no convergence analysis, error bounds, or explicit verification that the discrete solutions match the correlation inequalities required by the cited theorems.

major comments (2)

[Abstract and continuum-limit discussion] The central claim (abstract) that the discrete solutions become Gaussian in the continuum limit for d ≥ 4 rests on the unproven assertion that these solutions coincide with the Schwinger functions of the lattice φ⁴ model to which the Aizenman and Aizenman-Duminil-Copin theorems apply. No derivation of the continuum limit, no estimate of the difference between the discrete and standard lattice correlators, and no check that the relevant correlation inequalities are preserved are supplied.
[Discussion of lower-dimensional extension] The statement that the method fails in lower dimensions is justified solely by observing that the external theorems do not apply, rather than by exhibiting a concrete obstruction (e.g., divergence of a coupling or violation of a bound) within the discrete DSE themselves.

minor comments (2)

The abstract refers to solutions “for some cases” without identifying the dimensions, boundary conditions, or interaction terms that are treated explicitly.
Notation for the discrete fields, the precise form of the discrete DSE, and the definition of the continuum limit should be collected in a single preliminary section for readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for the thorough review and valuable suggestions. The comments highlight important aspects regarding the rigor of the continuum limit and the extension to lower dimensions. We provide point-by-point responses and indicate the revisions we will make to address these concerns.

read point-by-point responses

Referee: The central claim (abstract) that the discrete solutions become Gaussian in the continuum limit for d ≥ 4 rests on the unproven assertion that these solutions coincide with the Schwinger functions of the lattice φ⁴ model to which the Aizenman and Aizenman-Duminil-Copin theorems apply. No derivation of the continuum limit, no estimate of the difference between the discrete and standard lattice correlators, and no check that the relevant correlation inequalities are preserved are supplied.

Authors: Our discrete Dyson-Schwinger equations are formulated directly on the lattice by discretizing the functional derivatives applied to the generating functional of the standard lattice scalar field theory. Consequently, the solutions to these equations are the Schwinger functions of this discrete model. For the explicit cases solved in the paper, we demonstrate that the continuum limit produces Gaussian distributions, aligning with the expectations from the Aizenman theorems for d ≥ 4. We acknowledge that a comprehensive analysis of the convergence rate, error bounds between discrete and continuum correlators, and verification of all correlation inequalities for general solutions is not included. We will revise the abstract to temper the claim and add a section discussing the limitations and the direct derivation from the lattice model. revision: partial
Referee: The statement that the method fails in lower dimensions is justified solely by observing that the external theorems do not apply, rather than by exhibiting a concrete obstruction (e.g., divergence of a coupling or violation of a bound) within the discrete DSE themselves.

Authors: The Gaussianity result in our manuscript is obtained by combining the solutions of the discrete DSE with the Aizenman and Aizenman-Duminil-Copin theorems, which are valid only for d ≥ 4. In lower dimensions, these theorems do not hold, so we cannot extend the Gaussian conclusion. The discrete DSE themselves may admit solutions in lower dimensions, but without the triviality theorems, we lack the tool to prove they are Gaussian. We will clarify in the revised manuscript that the failure to extend is due to the inapplicability of the cited theorems rather than an intrinsic divergence or violation within the equations. revision: yes

Circularity Check

0 steps flagged

No load-bearing circularity; discrete DSE derived and solved independently before invoking external Aizenman theorems

full rationale

The paper first defines and solves the discrete Dyson-Schwinger equations for scalar fields, then takes the continuum limit to obtain Gaussian solutions. The Gaussian property is justified by direct citation of the external Aizenman and Aizenman-Duminil-Copin theorems (valid for d≥4), which are independent results not derived from or dependent on this work. Lower-dimensional failure is explained by noting the theorems' inapplicability rather than by any internal fit or redefinition. No step equates a derived quantity to its own input by construction, renames a known result, or relies on a self-citation chain for the central claim. The assumption that the discrete continuum limit matches the standard lattice model to which the theorems apply is a modeling choice, not a circular reduction within the derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the assumption that the discrete equations converge to the standard continuum theory and that the Aizenman triviality theorems apply directly once the limit is taken; no free parameters or new entities are introduced in the abstract.

axioms (1)

domain assumption The discrete Dyson-Schwinger equations converge to the continuum Dyson-Schwinger equations in the appropriate limit.
Invoked when asserting that the solutions become Gaussian as expected from the cited theorems.

pith-pipeline@v0.9.0 · 5351 in / 1246 out tokens · 49116 ms · 2026-05-15T08:46:40.569262+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the discrete solution is perfectly consistent with the continuum one [12–14] in the proper limit

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · 4 internal anchors

[1]

[8–10], we know that the continuum limit of the discrete theory is given by Gaussian random fields for d≥4

Constant background From Refs. [8–10], we know that the continuum limit of the discrete theory is given by Gaussian random fields for d≥4. We can provide a direct example of this behavior from the set of Dyson-Schwinger equations mapped onto the classical solution discussed in Sec. III. Assuming translational invariance (φ n =φconstant,G nm =G n−m), and n...

work page
[2]

Non-trivial background We now consider a background that breaks translational invariance in the continuum limit, taking the classical solution φn =bsn(p 0 ·x n +θ, k),(69) with the parameters chosen so that the classical equation of motion holds. In this case the two-point equation, after neglecting higher cumulants, becomes −∆ L +M 2 + λ 2 b2 sn2(p0 ·x n...

work page
[3]

A. S. Wightman, Phys. Rev.101, 860-866 (1956) doi:10.1103/PhysRev.101.860

work page doi:10.1103/physrev.101.860 1956
[4]

Osterwalder and R

K. Osterwalder and R. Schrader, Commun. Math. Phys.31, 83-112 (1973) doi:10.1007/BF01645738

work page doi:10.1007/bf01645738 1973
[5]

Osterwalder and R

K. Osterwalder and R. Schrader, Commun. Math. Phys.42, 281 (1975) doi:10.1007/BF01608978

work page doi:10.1007/bf01608978 1975
[6]

K. G. Wilson, Rev. Mod. Phys.47, 773 (1975) doi:10.1103/RevModPhys.47.773

work page doi:10.1103/revmodphys.47.773 1975
[7]

Glimm and A

J. Glimm and A. M. Jaffe, Fortsch. Phys.21, 327-376 (1973) doi:10.1002/prop.19730210702

work page doi:10.1002/prop.19730210702 1973
[8]

D. C. Brydges, J. Frohlich and A. D. Sokal, Commun. Math. Phys.91, 141-186 (1983) doi:10.1007/BF01211157

work page doi:10.1007/bf01211157 1983
[9]

Guerra, L

F. Guerra, L. Rosen and B. Simon, Annals of Math.,101, 111–189 (1975)

work page 1975
[10]

Aizenman, Phys

M. Aizenman, Phys. Rev. Lett.47, 886 (1981)

work page 1981
[11]

Aizenman, Commun

M. Aizenman, Commun. Math. Phys.86, 1 (1982)

work page 1982
[12]

Aizenman and H

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

work page arXiv 2021
[13]

C. M. Bender, K. A. Milton and V. M. Savage, Phys. Rev. D62, 085001 (2000) doi:10.1103/PhysRevD.62.085001 [arXiv:hep-th/9907045 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.62.085001 2000
[14]

Quantum Yang-Mills field theory

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

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1140/epjp/i2017-11321-4 2017
[15]

A theorem on the Higgs sector of the Standard Model

M. Frasca, Eur. Phys. J. Plus131, no.6, 199 (2016) doi:10.1140/epjp/i2016-16199-x [arXiv:1504.02299 [hep-ph]]

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1140/epjp/i2016-16199-x 2016
[16]

Chatterjee, M

A. Chatterjee, M. Frasca, A. Ghoshal and S. Groote, Fortsch. Phys.73, no.5, 2400259 (2025) doi:10.1002/prop.202400259 [arXiv:2407.21179 [hep-ph]]

work page doi:10.1002/prop.202400259 2025
[17]

Quantum Yang-Mills Theory, The Millennium prize problems,

A. Jaffe and E. Witten, “Quantum Yang-Mills Theory, The Millennium prize problems,” (1), 129 (2006),https://www. claymath.org/wp-content/uploads/2022/06/yangmills.pdf

work page 2006
[18]

Mapping a Massless Scalar Field Theory on a Yang-Mills Theory: Classical Case

M. Frasca, Mod. Phys. Lett. A24, 2425-2432 (2009) doi:10.1142/S021773230903165X [arXiv:0903.2357 [math-ph]]

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1142/s021773230903165x 2009