Constructive Borel Summability and Its Boundaries

A constructive Borel-summability theorem identifies a specific family of correlation functions with the Borel sums of their perturbative series under explicit model, dimension, stability, cutoff, volume, and coupling hypotheses. It is stronger than observing factorial growth and weaker than a universal statement about interacting QFT. The theorem’s object and limits must be carried with the phrase “Borel summable.”

Required background. Large-order growth and the Borel transform fixes the transform and Laplace convention.

Helpful background. Rigorous status, construction, and open problems distinguishes a constructed model, a theorem about selected observables, and an open continuum theory.

What a Borel theorem must bound

Let $G(\lambda)$ be a specified Euclidean Schwinger function or another precisely defined quantity with formal coefficients $G_n$:

$$G(\lambda)\sim\sum_{n=0}^{\infty}G_n\lambda^n.$$

A useful Nevanlinna–Sokal hypothesis has two parts in a suitable complex domain tangent to the positive $\lambda$ axis:

1. $G(\lambda)$ is analytic there; and
2. for constants $C$ and $K$ independent of $N$,

$$\left| G(\lambda)-\sum_{n=0}^{N-1}G_n\lambda^n \right| \le C K^N N!|\lambda|^N.$$

Then

$$\widehat G(\zeta) =\sum_{n=0}^{\infty}\frac{G_n}{n!}\zeta^n$$

has the required continuation and exponential bound, and

$$G(\lambda) =\frac1\lambda\int_0^\infty \mathrm d\zeta\,e^{-\zeta/\lambda}\widehat G(\zeta)$$

in the corresponding positive-coupling domain. The factorial remainder bound, not merely a formal coefficient estimate, is what identifies the constructed function with the sum. Sokal 1980, Theorem 1, pp. 261–263 gives the precise analytic criterion.

In field theory, uniformity is decisive. Bounds established only at a fixed ultraviolet cutoff or finite volume do not survive those limits automatically. A theorem must say which constants remain uniform as the regulator is removed, the volume grows, or insertion points separate.

A constructive result for two-dimensional P(φ) theory

Eckmann, Magnen, and Sénéor study a two-dimensional Euclidean bosonic field with massive Gaussian covariance

$$C_m=(-\Delta+m^2)^{-1}$$

and interaction

$$\lambda\int_\Lambda\mathrm d^2x\,{:P(\phi(x)):}_{\,m}.$$

Their Borel-summability statement is not for an unspecified scalar theory. The essential hypotheses and objects are:

• Euclidean spacetime dimension two;
• a massive free covariance and Wick ordering with respect to that covariance;
• a lower-bounded interaction polynomial $P$ of degree four;
• sufficiently small complex $\lambda$ in the proved analyticity region, with the physical boundary at positive coupling;
• sufficiently large mass in the dimensionless normalization used for the cluster estimates;
• smeared, normalized truncated Schwinger functions with the test-function conditions stated in the paper; and
• an infinite-volume limit controlled by bounds uniform in the auxiliary boxes.

The authors first prove strong decay of truncated functions and factorial derivative bounds, then enlarge the complex coupling domain. Their Theorem C identifies the normalized Schwinger functions with their Borel sums at $\lambda=0$, and Theorem D gives the corresponding statement for the pressure; see Eckmann, Magnen, and Sénéor 1975, introduction and Chapter II, pp. 251–271.

This is a theorem about a constructed weak-coupling $P(\phi)_2$ model and named observables. It includes the relevant infinite-volume control. It does not assert that every phase, every polynomial degree, or every dimension has the same property.

A distinct three-dimensional theorem

For massive Euclidean $\phi^4_3$, ultraviolet renormalization is more involved even though the theory remains superrenormalizable. Magnen and Sénéor use a phase-space cell expansion to prove stability of the free energy for complex coupling and derive Borel summability in the weak-coupling regime; see Magnen and Sénéor 1977, pp. 237–276. The model, counterterms, expansion, and limit controls are part of that result.

One may therefore state that constructive Borel theorems exist for specified two- and three-dimensional stable scalar models. One may not infer from these examples that:

• renormalized four-dimensional $\phi^4$ has been nonperturbatively constructed with the same properties;
• four-dimensional Yang–Mills Schwinger functions are Borel summable;
• a broken-phase expansion is covered by a symmetric-phase theorem;
• Minkowski scattering follows without the required reconstruction and spectral analysis; or
• the full transseries and all exponentially small sectors have been classified.

The distinction between a Euclidean Schwinger-function theorem and a complete Lorentzian QFT is substantive, not terminological.

Translating a theorem into a physics claim

Before using a constructive result, fill in the following scientific data:

Question	Required statement
Model	Fields, interaction, stability, dimension, mass, and renormalization prescription
Object	Smeared or pointlike Schwinger function, pressure, mass, or another named quantity
Regulator	Which ultraviolet and infrared regulators occur in the proof
Limits	Which cutoff removal and volume limits are uniform
Coupling domain	Sector, disk, or Nevanlinna region and whether the physical axis is interior or a boundary
Remainder	The exact factorial bound and its dependence on insertions
Reconstruction	Whether Osterwalder–Schrader or other Lorentzian reconstruction hypotheses are proved
Excluded regime	Phase, dimension, massless limit, gauge theory, or observable not covered

This is not a claim that every paper must use identical notation. It is a translation test: after converting conventions, the model and bound must be the same.

The Borel and transseries map places constructive reconstruction on a separate branch from semiclassical inference. The exact and rigorous status comparison supplies a cross-method comparison with the same hypothesis discipline.

Boundaries of the conclusion

Borel summability says that a formal perturbative series uniquely reconstructs the named function in the proved domain. It need not imply ordinary convergence of the series. Nor does it by itself provide a closed-form answer, efficient numerical approximation at strong coupling, or resurgent relations between distinct saddles.

Conversely, a formal resurgent cancellation can be correct order by order without satisfying the uniform bounds required by a constructive theorem. The two achievements answer different questions: one identifies a constructed function from its series; the other relates sectorial asymptotics under specified analytic assumptions.

Full constructive proofs and model-by-model theorem status belong to mathematical QFT. This page supplies the hypotheses needed to cite their conclusions accurately.

Common pitfalls

Dropping the observable. A theorem for normalized smeared Schwinger functions is not automatically a theorem for a mass gap, S-matrix, or arbitrary composite operator.

Dropping the limits. Finite-volume Borel summability with constants growing in the volume does not establish the thermodynamic limit.

Replacing a stable scalar model by “QFT.” Dimension, stability, mass, and renormalization are hypotheses, not examples that can be omitted from the conclusion.

Exercises

1. A regulated quantity satisfies

$$\lvert R_N(\lambda,\Lambda)\rvert \le C(\Lambda)K^N N!|\lambda|^N$$

with $C(\Lambda)\to\infty$ as the ultraviolet cutoff $\Lambda\to\infty$. What has been proved?

Solution

At each fixed cutoff, the estimate may support Borel reconstruction of that regulated quantity. Because the bound is not uniform in $\Lambda$, it does not justify exchanging Borel reconstruction with cutoff removal and proves no continuum Borel theorem by itself.

2. Explain why coefficient bounds $|G_n|\le CK^n n!$ alone are insufficient for a Nevanlinna–Sokal conclusion.

Solution

The coefficient bound gives a local Borel transform near $\zeta=0$, but not its continuation or exponential growth along the Laplace ray. Different functions can share the same asymptotic series by differing by $e^{-A/\lambda}$. Analyticity in the required domain and a uniform remainder bound supply the missing uniqueness data.

References

• Eckmann, Jean-Pierre, Jacques Magnen, and Roland Sénéor. “Decay Properties and Borel Summability for the Schwinger Functions in $P(\phi)_2$ Theories.” Communications in Mathematical Physics 39 (1975): 251–271. doi:10.1007/BF01705374.
• Magnen, Jacques, and Roland Sénéor. “Phase Space Cell Expansion and Borel Summability for the Euclidean $\phi^4_3$ Theory.” Communications in Mathematical Physics 56 (1977): 237–276. doi:10.1007/BF01614211.
• Sokal, Alan D. “An Improvement of Watson’s Theorem on Borel Summability.” Journal of Mathematical Physics 21 (1980): 261–263. doi:10.1063/1.524408.