Exact Schwinger functions for a class of bounded interactions in $d\geq 2$

Wojciech Dybalski

Exact Schwinger functions for a class of bounded interactions in $d\geq 2$

T0 review · 0 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 For bounded interactions with limits at infinity, a field renormalization of the form $Z_\Lambda=C_\Lambda(0)^\eta$ makes all connected Schwinger functions with $n\neq2$ exist non-perturbatively in the ultraviolet limit and coincide with…

desk verdict A rigorous, exactly solvable class of bounded-interaction scalar QFT limits, with the two-point function explicitly left unresolved. read the letter →

arxiv 2502.07546 v2 pith:DGTIQRCJ submitted 2025-02-11 math-ph math.MP

Wojciech Dybalski This is my paper · ORCID

classification math-phmath.MP MSC 81T0881T1681T10

keywords EuclideanquantumfieldtheorySchwingerfunctionsultravioletlimitboundedinteractionsrenormalizationerrorfunctioninteractionnon-GaussianityconstructiveQFT

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

This paper claims that a large class of non-polynomial scalar quantum field theories in spacetime dimension $d \ge 2$ — specifically any interaction given by a bounded measurable function $V$ with finite limits at $\pm\infty$ — has an exactly computable ultraviolet limit after a suitable field renormalization. The limit is encoded in the modified generating functional $\Sigma^c_\Lambda(J)$, the logarithm of the interacting generating functional divided by the free one. For the most interesting renormalization, $\eta=1$, all connected Schwinger functions with $n\neq2$ exist non-perturbatively and coincide with the tree-level one-particle irreducible Schwinger functions of the $\mathrm{erf}(\phi/\sqrt2)$ interaction, with the coupling constant rescaled by $(V^+-V^-)/2$. If true, this means the short-distance behaviour of every bounded interaction is universal up to a single coupling constant, and it gives a rare non-Gaussian, exactly solvable example in $d\ge2$. The paper also shows how to make the theory probe the discontinuity of $V$ at zero instead of its jump at infinity.

What carries the argument

The load-bearing object is the modified generating functional $\Sigma^c_\Lambda(J)$, which removes the free-field Gaussian factor and, by standard combinatorics, generates exactly the connected Schwinger functions with $n\neq2$. The proof is carried by a factorization mechanism: for bounded $V$, the normalized expectation of $\prod_{i=1}^\ell V(\phi(x_i))$ differs from the product of the individual one-point expectations by at most $c\,\ell^6\|V\|_\infty^\ell|B|^\ell/\sqrt{\log\Lambda}$. This happens because the ratios $C_\Lambda(x_i-x_j)/C_\Lambda(0)$ vanish uniformly outside a tiny diagonal neighbourhood, while the diagonal neighbourhood itself has small volume. The remaining computation is the single one-point Gaussian integral in (2.30), whose limit is controlled by the two combinations $Z_\Lambda C_\Lambda(0)$ and $Z_\Lambda/C_\Lambda(0)$; setting $Z_\Lambda=C_\Lambda(0)^\eta$ selects which asymptotic information about $V$ survives.

What would settle it

Compare two bounded measurable interactions with the same limits at infinity but different local shapes, for example $V_1(w)=\tanh(w)$ and $V_2(w)=\tanh(w)+\epsilon e^{-w^2}\sin(w)$, at $\eta=1$. Formula (1.10) predicts identical connected $n\neq2$ Schwinger functions for both, so evaluating the one-point expression (2.30) and taking $\Lambda\to\infty$ should show the difference tending to zero; a nonzero limiting difference would falsify the universality claim.

Watch

Extended reading notes

Core claim

The central discovery is that the modified generating functional $\Sigma^c_\Lambda(J)=\log(S_\Lambda(J)/S_{0,\Lambda}(J))$ has a finite ultraviolet limit for the field renormalization $Z_\Lambda=C_\Lambda(0)^\eta$ under the stated assumptions. In the most interesting case $\eta=1$ with $V^\pm=\lim_{w\to\pm\infty}V(w)$, the limit is $$\Sigma^c(J)=-\$\lambda$|B|\frac{V^++V^-}{2}-\$\lambda$\frac{V^+-V^-}{2}\frac{1}{(2\pi)^{1/2}}\int_B dx\int dw\,\operatorname{sgn}(w)$e^{{-\frac12(w-\langle\delta_x,CJ\rangle)^2}}$.$$ Differentiating at $J=0$ gives, for $n\neq2$, $$S^c_n(x_1,\dots,x_n)=-\$\lambda$\frac{V^+-V^-}{2}\,[(\partial_w)^n\operatorname{erf}(w/\sqrt2)]_{w=0}\int_B dx\, C(x-x_1)\cdots C(x-x_n).$$ The paper identifies these functions with the tree-level one-particle irreducible Schwinger functions of the $\operatorname{erf}(\phi/\sqrt2)$ interaction with coupling constant $\lambda(V^+-V^-)/2$. The same mechanism, with a modified interaction function $V_\Lambda(w)=V(C_\Lambda(0)^\kappa w)$, produces a variant in which non-Gaussianity is controlled by the discontinuity of $V$ at zero rather than by its jump at infinity.

Load-bearing premise

The non-Gaussian conclusion relies on Assumption (A2) that the limits $V^\pm$ exist; the proof replaces $V$ by constant values on the two half-lines, so a bounded function that continues to oscillate at infinity would not be covered and the explicit formula (1.10) could fail.

Editorial extensions

If this is right

For any bounded measurable $V$ satisfying (A2), the UV limit of all connected Schwinger functions with $n\neq2$ is finite, non-perturbative, and given by the closed form (1.10).
The limiting $n\neq2$ correlations are universal: two different interactions with the same limits $V^\pm$ produce identical Schwinger functions, up to the fixed coupling renormalization $\lambda(V^+-V^-)/2$.
Non-Gaussianity is possible in every dimension $d\ge2$; for interactions with $V^+\neq V^-$ the four-point and higher functions are nonzero at tree level, and in the rescaled variant non-Gaussianity is governed by a discontinuity of $V$ at zero.
The two-point function is not obtained by this construction; for $\eta=1$ it diverges, so the model is not directly a Euclidean QFT in the Osterwalder-Schrader sense, and the paper discusses a spectator-field or classical-limit route to cure this.
For $\eta<1$, the modified generating functional has no $J$-dependence, so the only nontrivial connected functions (if any) live in the two-point sector, which is not controlled.

Reading between the lines

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

A testable extension the author does not pursue is to replace the constant limits $V^\pm$ by Cesàro averages of $V$ at infinity; if the averaging limit exists, the dominated-convergence step may generalize, giving new theorems beyond the stated assumptions.
The universality result suggests an equivalence relation on bounded interactions: two functions with the same one-sided limits at infinity define the same $n\neq2$ UV theory after renormalization, and it would be interesting to see whether this equivalence survives under local averages or mollifications of $V$.
If the factorization rate $O(1/\sqrt{\log\Lambda})$ is optimal, then allowing $V$ to become rougher as $\Lambda$ grows, while keeping it uniformly bounded, might defeat the trivial-$J$-dependence argument for $\eta<1$ and open a route to nontrivial correlations with a finite two-point function; the author names this as an open direction rather than a proven result.

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

The result is real and novel. For bounded measurable interactions with one-sided limits at infinity, the author shows that a field renormalization Z_Λ = C_Λ(0)^η yields exact UV limits of the modified generating functional Σ^c_Λ = log(S_Λ/S_0,Λ). The interesting case η=1 gives explicit connected Schwinger functions for n≠2, which turn out to be tree-level 1PI functions of an erf interaction with coupling (V^+−V^−)/2. I checked the proof structure: the factorization estimate (Prop. 2.1) is the load-bearing piece, and the O(1/√log Λ) bound is plausible from the estimates given. The dominated convergence steps in Theorem 1.1 are handled carefully, and the assumptions are stated precisely.

What the paper does well: it takes a class that had no systematic treatment and gives a complete, non-perturbative solution. The proof is transparent and largely self-contained, using standard propagator bounds. The generalization in Section 3 is a nice bonus: scaling the argument of V allows a second family where non-Gaussianity is controlled by the discontinuity of V at zero. The discussion of why the sine-Gordon model evades the mechanism (Wick ordering gives λ growing like e^{βC_Λ(0)/2}) is helpful and honest.

Soft spots, in proportion: the two-point function diverges in the case with nontrivial n≠2 correlations, so the result does not yield a Euclidean QFT in the Osterwalder–Schrader sense. The author says this clearly and suggests a spectator-field construction, which is speculative but reasonable. Also, because the objects are defined from the modified functional, calling them Schwinger functions is only legitimate for n≠2; the paper respects that. The universality—all bounded interactions give the same erf structure—is remarkable but also means the class is less rich than one might hope. None of these are hidden flaws; they are stated limitations.

The math is solid. I did not find circular reasoning or fitted parameters. The citation pattern looks appropriate, and the author is careful to credit prior constructive QFT work.

This paper deserves a serious referee. It makes a precise, checkable claim and proves it cleanly. I would welcome it in the literature after a routine check of the estimates. My own verdict is acceptance.

Referee Report

0 major / 4 minor

Summary. The paper studies scalar Euclidean QFTs with a bounded measurable interaction V and a UV cutoff Λ. With the field renormalization Z_Λ=C_Λ(0)^η, the modified generating functional Σ^c_Λ(J)=log(S_Λ(J)/S_{0,Λ}(J)) is shown to have an explicit UV limit for various η, under assumptions (A1) (limits of V at 0) or (A2) (limits of V at ±∞). The main result is Theorem 1.1(d): for η=1 and (A2), the connected Schwinger functions S^c_n for n≠2 exist and equal the tree-level one-particle irreducible Schwinger functions of the interaction erf(ϕ/√2) with coupling λ(V^+−V^-)/2. Section 3 extends the construction to Λ-dependent interactions V(z_Λ ϕ), with the coupling constant determined by the discontinuity of V at zero in one case. Section 4 discusses the divergence of the two-point function and possible outlooks.

Significance. The result is significant: it provides a large class of non-polynomial interactions for which non-Gaussian UV limits are computed exactly in d≥2, a regime where usual constructive results are scarce. The proof is self-contained and rigorous, with explicit factorization bounds (Proposition 2.1) and no fitted parameters. The universality of the n≠2 Schwinger functions, depending on V only through the coupling (V^+−V^-)/2, is surprising and clearly stated. The two-point function is explicitly excluded from the claim, so its divergence is not a flaw. The paper is honest about the limitations for Osterwalder–Schrader reconstruction, and the connection to tree-level erf theory is an insightful interpretation.

minor comments (4)

[2, proof of Theorem 1.1(d)] In Eq. (2.34), the right-hand side still contains C_Λ J in the Gaussian exponent after taking the limit in V; to complete the proof of (1.8), one should explicitly pass Λ→∞ in the Gaussian factor, using the uniform convergence ⟨δ_x,C_ΛJ⟩→⟨δ_x,CJ⟩ on B for J∈S(R^d).
[1 and Theorem 1.1] The statement that the n≠2 Schwinger functions 'exist in the UV limit' is stronger than what is proven: the paper defines them as derivatives of the limiting functional Σ^c(J), while convergence of the cutoff derivatives is not established. Please state this convention explicitly in Theorem 1.1 or in the abstract.
[2, estimates after Eq. (2.23)] In the estimates following Eq. (2.23), the Gaussian exponent after the shift w→w+q is written as e^{-1/2 w^T w} instead of e^{-1/2 w^T M_α^{-1} w}; this is harmless because M_α^{-1} is uniformly bounded and positive definite, but the justification should be noted.
[3, footnote 1] The footnote in Section 3 states that in part (e) additional regularity of V may be needed; this should be made precise, as the main theorem's statement and proof do not mention such a condition.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the UV limits are derived from the stated assumptions by explicit estimates, with no fitted parameters or load-bearing self-citations.

full rationale

The derivation is self-contained. Starting from the cut-off generating functional S_Lambda(J) = <e^{phi(J)} e^{-lambda V(phi)}>_{tilde C_Lambda} and the modified functional Sigma_Lambda = S_Lambda / S_{0,Lambda}, the paper proves Proposition 2.1 (factorization with O(1/sqrt(log Lambda)) remainder) and then computes the limit of the one-point expectation (2.30) by dominated convergence under assumptions (A1) or (A2). The limiting constants (V^+ + V^-)/2 and (V^+ - V^-)/2 are outputs of the limits V((Z_Lambda C_Lambda(0))^{1/2} w) -> V^+ theta(w) + V^- theta(-w), not inputs fitted to the Schwinger functions. Equation (1.10) is obtained by differentiating the resulting closed-form Sigma^c(J); the identification with tree-level 1PI functions of the erf interaction is an interpretation of the computed derivative, not a premise. No parameter is fitted to the target n-point functions, and no load-bearing claim rests on a self-citation. The only minor blemish is a notational slip in (2.34) where C_Lambda J appears instead of CJ, but the surrounding argument and the theorem statement use CJ; this is a typographical correctness matter, not circularity.

Assumptions & free parameters 3 free parameters · 4 assumptions · 1 invented entities

The central result rests on boundedness of V, the specified limits (A1)/(A2), and standard estimates for the massive free propagator. No number is fitted to data; the effective coupling arises from the limit process. The spectator field is speculative and not load-bearing.

free parameters (3)

Field renormalization exponent η = η = 1 for the non-Gaussian case (part d)
The parameter η in Z_Λ = C_Λ(0)^η is chosen by hand to select the UV behaviour. Each range of η gives a different limit; η=1 yields non-trivial connected Schwinger functions.
Scaling exponent κ for Λ-dependent interaction = κ = -1 in Corollary 3.1 case (d.2)
In Section 3, the interaction is V_Λ(w)=V(z_Λ w) with z_Λ=C_Λ(0)^κ. The choice κ=-1 gives the Gaussian-convolved V result; other κ values change the coupling to the jump at zero.
Diagonal cutoff scale δ = δ = (ℓ / √logΛ)^{1/(d-3/2)}
This cut-off separates the diagonal region in the proof of Proposition 2.1. It is chosen to make the off-diagonal covariance small while keeping the diagonal region's volume negligible.

assumptions (4)

standard math Propagator bounds for the regularized massive free covariance (Lemma 2.2, proof uses [GJ, Prop. 7.2.1])
Used to show C_Λ(x)/C_Λ(0) → 0 for x ≠ 0 and to estimate the diagonal volume in Proposition 2.1.
standard math Sobolev embedding and dominated convergence for exchange of limits
Used in Appendix A to define the functional measure and in Section 2 to pass limits under integrals.
domain assumption V is bounded and measurable, with limits at ±∞ (A2) or at 0± (A1) as needed by each part of Theorem 1.1
The theorem explicitly assumes these limits for the non-Gaussian cases. Boundedness is needed for the factorization estimate (2.1).
domain assumption Euclidean scalar field with mass m>0; the UV limit is taken in the modified generating functional Σ_c
The setup of massive free covariance and the ratio S/S0 defines the object being computed; the massless limit is not covered.

invented entities (1)

Complex spectator field ψ = φ + iφ (outlook only)
purpose: Proposed to make the two-point function finite while preserving the derived n≠2 Schwinger functions
Mentioned in Section 4 as a direction for future work; no theorem is proved using it and no independent observable is predicted.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Exact Schwinger functions for a class of bounded interactions in $d\geq 2$." pith.science (2026). https://pith.science/paper/DGTIQRCJ

@misc{pith2026250207546,
  author       = {Pith},
  title        = {Pith review of: Exact Schwinger functions for a class of bounded interactions in $d\geq 2$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DGTIQRCJ}},
  note         = {Machine review of arXiv:2502.07546}
}

abstract

We consider a scalar Euclidean QFT with interaction given by a bounded, measurable function $V$ such that $V^{\pm}:=\lim_{w\to \pm\infty}V(w)$ exist. We find a field renormalization such that all the $n$-point connected Schwinger functions for $n\neq 2$ exist non-perturbatively in the UV limit. They coincide with the tree-level one-particle irreducible Schwinger functions of the $\mathrm{erf}(\phi/\sqrt{2})$ interaction with a coupling constant $\frac{1}{2} (V^+ - V^-)$. By a slight modification of our construction we can change this coupling constant to $\frac{1}{2} (V_+ - V_-)$, where $V_{\pm}:= \lim_{w\to 0^{\pm}} V(w)$. Thereby non-Gaussianity of these latter theories is governed by a discontinuity of $V$ at zero. The open problem of controlling also the two-point function of these QFTs is discussed.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 23 canonical work pages

[1]

Aizenman

M. Aizenman. Geometric analysis of ^4 fields and Ising models. I, II. Commun. Math. Phys. 86, 1--48 (1982)

work page 1982
[2]

Aizenman and H

M. Aizenman and H. Duminil-Copin. Marginal triviality of the scaling limits of critical 4D Ising and ^4 models. Ann. of Math. 194, (2021) 163--235

work page 2021
[3]

Bahns, K

D. Bahns, K. Fredenhagen and K. Rejzner. Local nets of von Neumann algebras in the sine–Gordon model. Commun. Math. Phys. 383, (2021) 1–33

work page 2021
[4]

Bahouri, J.-Y

H. Bahouri, J.-Y. Chemin and R. Danchin. Fourier analysis and nonlinear partial differential equations. Springer, 2011

work page 2011
[5]

Barashkov and F

N. Barashkov and F. C. De Vecchi. Elliptic stochastic quantization of sinh-Gordon QFT. ArXiv:2108.12664

arXiv
[6]

Bauerschmidt and M

R. Bauerschmidt and M. Hofstetter. Maximum and coupling of the sine-Gordon field. Ann. Probab. 50, (2022) 455--508

work page 2022
[7]

K. Baumann. On relativistic irreducible quantum fields fulfilling CCR. J. Math. Phys. 28, (1987) 697--704

work page 1987
[8]

Bonicelli, C

A. Bonicelli, C. Dappiaggi and P. Rinaldi. On the stochastic sine-Gordon model: An interacting field theory approach. Commun. Math. Phys. 405, (2024) 288

work page 2024

Show all 26 references

[9]

Buchholz and R

D. Buchholz and R. Verch. Scaling algebras and renormalization group in algebraic quantum field theory. Rev. Math. Phys. 07, (1995) 1195--1239

1995
[10]

Buchholz

D. Buchholz. Quarks, gluons, colour: facts or fiction? Nucl. Phys. B. 469, (1996) 333--353

1996
[11]

Buchholz and K

D. Buchholz and K. Fredenhagen. A C*-algebraic approach to interacting quantum field theories. Commun. Math. Phys. 377, (2020) 947--969

2020
[12]

Cadamuro, M.B

D. Cadamuro, M.B. Fr\"ob and C. Moreira Ferrera. The sine–Gordon QFT in de Sitter spacetime. Lett. Math. Phys. 114, (2024) 138

2024
[13]

Cadamuro and Y

D. Cadamuro and Y. Tanimoto. Wedge-local observables in the deformed sine-Gordon model. ArXiv:1612.02073

arXiv
[14]

J. Dimock. The Renormalization Group According to Balaban - I. Small fields. Rev. Math. Phys. 25, (2013) 1330010

2013
[15]

Fernandez, J

R. Fernandez, J. Fr\"ohlich and A. Sokal. Random Walks, Critical Phenomena and Triviality in Quantum Field Theory. Springer, 1992

1992
[16]

Fr\"ohlich and Y.M

J. Fr\"ohlich and Y.M. Park. Remarks on exponential interactions and the quantum sine-Gordon equation in two space-time dimensions. Helv. Phys. Acta 50, (1977) 315--329

1977
[17]

Fr\"ohlich

J. Fr\"ohlich. On the triviality of ^4_d theories and the approach to the critical point in d (-) > 4 dimensions . Nuclear Physics B 200, (1982) 281--296

1982
[18]

Glimm and A

J. Glimm and A. Jaffe. Quantum Physics. A Functional Integral Point of View. Second Edition. Springer, 1987

1987
[19]

Gubinelli and S.-J

M. Gubinelli and S.-J. Meyer. The FBSDE approach to sine–Gordon up to 6 . ArXiv:2401.13648

arXiv
[20]

Hairer and H

M. Hairer and H. Shen. The dynamical sine-Gordon model. Commun. Math. Phys. 341, (2016) 933–989

2016
[21]

Kozlowski

K.K. Kozlowski. On convergence of form factor expansions in the infinite volume quantum sinh-Gordon model in 1+1 dimensions. Invent. math. 233, (2023) 725--827

2023
[22]

G. Lechner. Construction of quantum field theories with factorizing S-matrices. Commun. Math. Phys. 277, (2008) 821–860

2008
[23]

Peccati and M.S

G. Peccati and M.S. Taqqu. Wiener Chaos: Moments, Cumulants and Diagrams. Springer, 2011

2011
[24]

Salmhofer

M. Salmhofer. Renormalization. An Introduction. Springer, 1999

1999
[25]

Wang and C

P. Wang and C. Kopper. Triviality proof for mean-field ^4_4 -theories. ArXiv:2407.01309

arXiv
[26]

Weinberg

S. Weinberg. The quantum theory of fields. Volume 1: Foundations. Cambridge University Press, 2005

2005

Pith tools

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

[1] [1]

Aizenman

M. Aizenman. Geometric analysis of ^4 fields and Ising models. I, II. Commun. Math. Phys. 86, 1--48 (1982)

work page 1982

[2] [2]

Aizenman and H

M. Aizenman and H. Duminil-Copin. Marginal triviality of the scaling limits of critical 4D Ising and ^4 models. Ann. of Math. 194, (2021) 163--235

work page 2021

[3] [3]

Bahns, K

D. Bahns, K. Fredenhagen and K. Rejzner. Local nets of von Neumann algebras in the sine–Gordon model. Commun. Math. Phys. 383, (2021) 1–33

work page 2021

[4] [4]

Bahouri, J.-Y

H. Bahouri, J.-Y. Chemin and R. Danchin. Fourier analysis and nonlinear partial differential equations. Springer, 2011

work page 2011

[5] [5]

Barashkov and F

N. Barashkov and F. C. De Vecchi. Elliptic stochastic quantization of sinh-Gordon QFT. ArXiv:2108.12664

arXiv

[6] [6]

Bauerschmidt and M

R. Bauerschmidt and M. Hofstetter. Maximum and coupling of the sine-Gordon field. Ann. Probab. 50, (2022) 455--508

work page 2022

[7] [7]

K. Baumann. On relativistic irreducible quantum fields fulfilling CCR. J. Math. Phys. 28, (1987) 697--704

work page 1987

[8] [8]

Bonicelli, C

A. Bonicelli, C. Dappiaggi and P. Rinaldi. On the stochastic sine-Gordon model: An interacting field theory approach. Commun. Math. Phys. 405, (2024) 288

work page 2024