Schwinger function

Last updated September 14, 2023

In quantum field theory, the Wightman distributions can be analytically continued to analytic functions in Euclidean space with the domain restricted to the ordered set of points in Euclidean space with no coinciding points.^[1] These functions are called the Schwinger functions (named after Julian Schwinger) and they are real-analytic, symmetric under the permutation of arguments (antisymmetric for fermionic fields), Euclidean covariant and satisfy a property known as reflection positivity. Properties of Schwinger functions are known as Osterwalder–Schrader axioms (named after Konrad Osterwalder and Robert Schrader).^[2] Schwinger functions are also referred to as Euclidean correlation functions.

Osterwalder–Schrader axioms

Here we describe Osterwalder–Schrader (OS) axioms for a Euclidean quantum field theory of a Hermitian scalar field $\phi (x)$ , $x\in \mathbb {R} ^{d}$ . Note that a typical quantum field theory will contain infinitely many local operators, including also composite operators, and their correlators should also satisfy OS axioms similar to the ones described below.

The Schwinger functions of $\phi$ are denoted as

S_{n}(x_{1},\ldots ,x_{n})\equiv \langle \phi (x_{1})\phi (x_{2})\ldots \phi (x_{n})\rangle ,\quad x_{k}\in \mathbb {R} ^{d}.

OS axioms from ^[2] are numbered (E0)-(E4) and have the following meaning:

(E0) Temperedness
(E1) Euclidean covariance
(E2) Positivity
(E3) Symmetry
(E4) Cluster property

Temperedness

Temperedness axiom (E0) says that Schwinger functions are tempered distributions away from coincident points. This means that they can be integrated against Schwartz test functions which vanish with all their derivatives at configurations where two or more points coincide. It can be shown from this axiom and other OS axioms (but not the linear growth condition) that Schwinger functions are in fact real-analytic away from coincident points.

Euclidean covariance

Euclidean covariance axiom (E1) says that Schwinger functions transform covariantly under rotations and translations, namely:

S_{n}(x_{1},\ldots ,x_{n})=S_{n}(Rx_{1}+b,\ldots ,Rx_{n}+b)

for an arbitrary rotation matrix $R\in SO(d)$ and an arbitrary translation vector $b\in \mathbb {R} ^{d}$ . OS axioms can be formulated for Schwinger functions of fields transforming in arbitrary representations of the rotation group.^[2]^[3]

Symmetry

Symmetry axiom (E3) says that Schwinger functions are invariant under permutations of points:

S_{n}(x_{1},\ldots ,x_{n})=S_{n}(x_{\pi (1)},\ldots ,x_{\pi (n)})

,

where $\pi$ is an arbitrary permutation of $\{1,\ldots ,n\}$ . Schwinger functions of fermionic fields are instead antisymmetric; for them this equation would have a ± sign equal to the signature of the permutation.

Cluster property

Cluster property (E4) says that Schwinger function $S_{p+q}$ reduces to the product $S_{p}S_{q}$ if two groups of points are separated from each other by a large constant translation:

\lim _{b\to \infty }S_{p+q}(x_{1},\ldots ,x_{p},x_{p+1}+b,\ldots ,x_{p+q}+b)=S_{p}(x_{1},\ldots ,x_{p})S_{q}(x_{p+1},\ldots ,x_{p+q})

.

The limit is understood in the sense of distributions. There is also a technical assumption that the two groups of points lie on two sides of the $x^{0}=0$ hyperplane, while the vector $b$ is parallel to it:

x_{1}^{0},\ldots ,x_{p}^{0}>0,\quad x_{p+1}^{0},\ldots ,x_{p+q}^{0}<0,\quad b^{0}=0.

Reflection positivity

Positivity axioms (E2) asserts the following property called (Osterwalder–Schrader) reflection positivity. Pick any arbitrary coordinate τ and pick a test function f_N with N points as its arguments. Assume f_N has its support in the "time-ordered" subset of N points with 0 < τ₁ < ... < τ_N. Choose one such f_N for each positive N, with the f's being zero for all N larger than some integer M. Given a point $x$ , let $x^{\theta }$ be the reflected point about the τ = 0 hyperplane. Then,

\sum _{m,n}\int d^{d}x_{1}\cdots d^{d}x_{m}\,d^{d}y_{1}\cdots d^{d}y_{n}S_{m+n}(x_{1},\dots ,x_{m},y_{1},\dots ,y_{n})f_{m}(x_{1}^{\theta },\dots ,x_{m}^{\theta })^{*}f_{n}(y_{1},\dots ,y_{n})\geq 0

where * represents complex conjugation.

Sometimes in theoretical physics literature reflection positivity is stated as the requirement that the Schwinger function of arbitrary even order should be non-negative if points are inserted symmetrically with respect to the $\tau =0$ hyperplane:

S_{2n}(x_{1},\dots ,x_{n},x_{n}^{\theta },\dots ,x_{1}^{\theta })\geq 0

.

This property indeed follows from the reflection positivity but it is weaker than full reflection positivity.

Intuitive understanding

One way of (formally) constructing Schwinger functions which satisfy the above properties is through the Euclidean path integral. In particular, Euclidean path integrals (formally) satisfy reflection positivity. Let F be any polynomial functional of the field φ which only depends upon the value of φ(x) for those points x whose τ coordinates are nonnegative. Then

\int {\mathcal {D}}\phi F[\phi (x)]F[\phi (x^{\theta })]^{*}e^{-S[\phi ]}=\int {\mathcal {D}}\phi _{0}\int _{\phi _{+}(\tau =0)=\phi _{0}}{\mathcal {D}}\phi _{+}F[\phi _{+}]e^{-S_{+}[\phi _{+}]}\int _{\phi _{-}(\tau =0)=\phi _{0}}{\mathcal {D}}\phi _{-}F[(\phi _{-})^{\theta }]^{*}e^{-S_{-}[\phi _{-}]}.

Since the action S is real and can be split into $S_{+}$ , which only depends on φ on the positive half-space ( $\phi _{+}$ ), and $S_{-}$ which only depends upon φ on the negative half-space ( $\phi _{-}$ ), and if S also happens to be invariant under the combined action of taking a reflection and complex conjugating all the fields, then the previous quantity has to be nonnegative.

Osterwalder–Schrader theorem

The Osterwalder–Schrader theorem^[4] states that Euclidean Schwinger functions which satisfy the above axioms (E0)-(E4) and an additional property (E0') called linear growth condition can be analytically continued to Lorentzian Wightman distributions which satisfy Wightman axioms and thus define a quantum field theory.

Linear growth condition

This condition, called (E0') in,^[4] asserts that when the Schwinger function of order $n$ is paired with an arbitrary Schwartz test function $f$ which vanishes at coincident points, we have the following bound:

|S_{n}(f)|\leq \sigma _{n}|f|_{C\cdot n},

where $C\in \mathbb {N}$ is an integer constant, $|f|_{C\cdot n}$ is the Schwartz-space seminorm of order $N=C\cdot n$ , i.e.

|f|_{N}=\sup _{|\alpha |\leq N,x\in \mathbb {R} ^{d}}|(1+|x|)^{N}D^{\alpha }f(x)|,

and $\sigma _{n}$ a sequence of constants of factorial growth, i.e. $\sigma _{n}\leq A(n!)^{B}$ with some constants $A,B$ .

Linear growth condition is subtle as it has to be satisfied for all Schwinger functions simultaneously. It also has not been derived from the Wightman axioms, so that the system of OS axioms (E0)-(E4) plus the linear growth condition (E0') appears to be stronger than the Wightman axioms.

History

At first, Osterwalder and Schrader claimed a stronger theorem that the axioms (E0)-(E4) by themselves imply the Wightman axioms,^[2] however their proof contained an error which could not be corrected without adding extra assumptions. Two years later they published a new theorem, with the linear growth condition added as an assumption, and a correct proof.^[4] The new proof is based on a complicated inductive argument (proposed also by Vladimir Glaser),^[5] by which the region of analyticity of Schwinger functions is gradually extended towards the Minkowski space, and Wightman distributions are recovered as a limit. The linear growth condition (E0') is crucially used to show that the limit exists and is a tempered distribution.

Osterwalder's and Schrader's paper also contains another theorem replacing (E0') by yet another assumption called ${\check {\text{(E0)}}}$ .^[4] This other theorem is rarely used, since ${\check {\text{(E0)}}}$ is hard to check in practice.^[3]

Other axioms for Schwinger functions

Axioms by Glimm and Jaffe

An alternative approach to axiomatization of Euclidean correlators is described by Glimm and Jaffe in their book.^[6] In this approach one assumes that one is given a measure $d\mu$ on the space of distributions $\phi \in D'(\mathbb {R} ^{d})$ . One then considers a generating functional

S(f)=\int e^{\phi (f)}d\mu ,\quad f\in D(\mathbb {R} ^{d})

which is assumed to satisfy properties OS0-OS4:

(OS0) Analyticity. This asserts that

z=(z_{1},\ldots ,z_{n})\mapsto S\left(\sum _{i=1}^{n}z_{i}f_{i}\right)

is an entire-analytic function of $z\in \mathbb {R} ^{n}$ for any collection of $n$ compactly supported test functions $f_{i}\in D(\mathbb {R} ^{d})$ . Intuitively, this means that the measure $d\mu$ decays faster than any exponential.

(OS1) Regularity. This demands a growth bound for $S(f)$ in terms of $f$ , such as $|S(f)|\leq \exp \left(C\int d^{d}x|f(x)|\right)$ . See ^[6] for the precise condition.
(OS2) Euclidean invariance. This says that the functional $S(f)$ is invariant under Euclidean transformations $f(x)\mapsto f(Rx+b)$ .
(OS3) Reflection positivity. Take a finite sequence of test functions $f_{i}\in D(\mathbb {R} ^{d})$ which are all supported in the upper half-space i.e. at $x^{0}>0$ . Denote by $\theta f_{i}(x)=f_{i}(\theta x)$ where $\theta$ is a reflection operation defined above. This axioms says that the matrix $M_{ij}=S(f_{i}+\theta f_{j})$ has to be positive semidefinite.
(OS4) Ergodicity. The time translation semigroup acts ergodically on the measure space $(D'(\mathbb {R} ^{d}),d\mu )$ . See ^[6] for the precise condition.

Relation to Osterwalder–Schrader axioms

Although the above axioms were named by Glimm and Jaffe (OS0)-(OS4) in honor of Osterwalder and Schrader, they are not equivalent to the Osterwalder–Schrader axioms.

Given (OS0)-(OS4), one can define Schwinger functions of $\phi$ as moments of the measure $d\mu$ , and show that these moments satisfy Osterwalder–Schrader axioms (E0)-(E4) and also the linear growth conditions (E0'). Then one can appeal to the Osterwalder–Schrader theorem to show that Wightman functions are tempered distributions. Alternatively, and much easier, one can derive Wightman axioms directly from (OS0)-(OS4).^[6]

Note however that the full quantum field theory will contain infinitely many other local operators apart from $\phi$ , such as $\phi ^{2}$ , $\phi ^{4}$ and other composite operators built from $\phi$ and its derivatives. It's not easy to extract these Schwinger functions from the measure $d\mu$ and show that they satisfy OS axioms, as it should be the case.

To summarize, the axioms called (OS0)-(OS4) by Glimm and Jaffe are stronger than the OS axioms as far as the correlators of the field $\phi$ are concerned, but weaker than then the full set of OS axioms since they don't say much about correlators of composite operators.

Nelson's axioms

These axioms were proposed by Edward Nelson.^[7] See also their description in the book of Barry Simon.^[8] Like in the above axioms by Glimm and Jaffe, one assumes that the field $\phi \in D'(\mathbb {R} ^{d})$ is a random distribution with a measure $d\mu$ . This measure is sufficiently regular so that the field $\phi$ has regularity of a Sobolev space of negative derivative order. The crucial feature of these axioms is to consider the field restricted to a surface. One of the axioms is Markov property, which formalizes the intuitive notion that the state of the field inside a closed surface depends only on the state of the field on the surface.

Related Research Articles

In set theory, the axiom schema of replacement is a schema of axioms in Zermelo–Fraenkel set theory (ZF) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite sets in ZF.

In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space $under the operation of composition.$

In linear algebra, two vectors in an inner product space are orthonormal if they are orthogonal unit vectors. A set of vectors form an orthonormal set if all vectors in the set are mutually orthogonal and all of unit length. An orthonormal set which forms a basis is called an orthonormal basis.

In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields.

In mathematical physics, the Wightman axioms, named after Arthur Wightman, are an attempt at a mathematically rigorous formulation of quantum field theory. Arthur Wightman formulated the axioms in the early 1950s, but they were first published only in 1964 after Haag–Ruelle scattering theory affirmed their significance.

A conformal field theory (CFT) is a quantum field theory that is invariant under conformal transformations. In two dimensions, there is an infinite-dimensional algebra of local conformal transformations, and conformal field theories can sometimes be exactly solved or classified.

In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.

In mathematics, the circle group, denoted by $or, is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers$

In mathematical analysis, and applications in geometry, applied mathematics, engineering, and natural sciences, a function of a real variable is a function whose domain is the real numbers $, or a subset of that contains an interval of positive length. Most real functions that are considered and studied are differentiable in some interval. The most widely considered such functions are the real functions, which are the real-valued functions of a real variable, that is, the functions of a real variable whose codomain is the set of real numbers.$

In differential geometry, the Laplace–Beltrami operator is a generalization of the Laplace operator to functions defined on submanifolds in Euclidean space and, even more generally, on Riemannian and pseudo-Riemannian manifolds. It is named after Pierre-Simon Laplace and Eugenio Beltrami.

Arc length is the distance between two points along a section of a curve.

The Yang–Mills existence and mass gap problem is an unsolved problem in mathematical physics and mathematics, and one of the seven Millennium Prize Problems defined by the Clay Mathematics Institute, which has offered a prize of US$1,000,000 for its solution.

In mathematical physics and differential geometry, a gravitational instanton is a four-dimensional complete Riemannian manifold satisfying the vacuum Einstein equations. They are so named because they are analogues in quantum theories of gravity of instantons in Yang–Mills theory. In accordance with this analogy with self-dual Yang–Mills instantons, gravitational instantons are usually assumed to look like four dimensional Euclidean space at large distances, and to have a self-dual Riemann tensor. Mathematically, this means that they are asymptotically locally Euclidean hyperkähler 4-manifolds, and in this sense, they are special examples of Einstein manifolds. From a physical point of view, a gravitational instanton is a non-singular solution of the vacuum Einstein equations with positive-definite, as opposed to Lorentzian, metric.

In mathematics, subharmonic and superharmonic functions are important classes of functions used extensively in partial differential equations, complex analysis and potential theory.

<span class="mw-page-title-main">Routhian mechanics</span> Formulation of classical mechanics

In classical mechanics, Routh's procedure or Routhian mechanics is a hybrid formulation of Lagrangian mechanics and Hamiltonian mechanics developed by Edward John Routh. Correspondingly, the Routhian is the function which replaces both the Lagrangian and Hamiltonian functions. Routhian mechanics is equivalent to Lagrangian mechanics and Hamiltonian mechanics, and introduces no new physics. It offers an alternative way to solve mechanical problems.

Axiomatic quantum field theory is a mathematical discipline which aims to describe quantum field theory in terms of rigorous axioms. It is strongly associated with functional analysis and operator algebras, but has also been studied in recent years from a more geometric and functorial perspective.

An autoencoder is a type of artificial neural network used to learn efficient codings of unlabeled data. An autoencoder learns two functions: an encoding function that transforms the input data, and a decoding function that recreates the input data from the encoded representation. The autoencoder learns an efficient representation (encoding) for a set of data, typically for dimensionality reduction.

In mathematics a translation surface is a surface obtained from identifying the sides of a polygon in the Euclidean plane by translations. An equivalent definition is a Riemann surface together with a holomorphic 1-form.

Bayesian hierarchical modelling is a statistical model written in multiple levels that estimates the parameters of the posterior distribution using the Bayesian method. The sub-models combine to form the hierarchical model, and Bayes' theorem is used to integrate them with the observed data and account for all the uncertainty that is present. The result of this integration is the posterior distribution, also known as the updated probability estimate, as additional evidence on the prior distribution is acquired.

Pure inductive logic (PIL) is the area of mathematical logic concerned with the philosophical and mathematical foundations of probabilistic inductive reasoning. It combines classical predicate logic and probability theory. Probability values are assigned to sentences of a first-order relational language to represent degrees of belief that should be held by a rational agent. Conditional probability values represent degrees of belief based on the assumption of some received evidence.

References

↑ Streater, R. F.; Wightman, A.S. (2000). PCT, spin and statistics, and all that. Princeton, N.J: Princeton University Press. ISBN 978-0-691-07062-9. OCLC 953694720.
1 2 3 4 Osterwalder, K., and Schrader, R.: "Axioms for Euclidean Green’s functions," Comm. Math. Phys.31 (1973), 83–112; 42 (1975), 281–305.
1 2 Kravchuk, Petr; Qiao, Jiaxin; Rychkov, Slava (2021-04-05). "Distributions in CFT II. Minkowski Space". arXiv: 2104.02090v1 .
1 2 3 4 Osterwalder, Konrad; Schrader, Robert (1975). "Axioms for Euclidean Green's functions II". Communications in Mathematical Physics. Springer Science and Business Media LLC. 42 (3): 281–305. doi:10.1007/bf01608978. ISSN 0010-3616. S2CID 119389461.
↑ Glaser, V. (1974). "On the equivalence of the Euclidean and Wightman formulation of field theory". Communications in Mathematical Physics. Springer Science and Business Media LLC. 37 (4): 257–272. doi:10.1007/bf01645941. ISSN 0010-3616. S2CID 121257568.
1 2 3 4 Glimm, James; Jaffe, Arthur (1987). Quantum Physics : a Functional Integral Point of View. New York, NY: Springer New York. ISBN 978-1-4612-4728-9. OCLC 852790676.
↑ Nelson, Edward (1973-01-01). "Construction of quantum fields from Markoff fields". Journal of Functional Analysis. 12 (1): 97–112. doi: 10.1016/0022-1236(73)90091-8 . ISSN 0022-1236.
↑ Simon, Barry (1974). The P(phi)_2 Euclidean (quantum) field theory. Princeton, New Jersey: Princeton University Press. ISBN 0-691-08144-1. OCLC 905864308.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[Streater-1] Streater, R. F.; Wightman, A.S. (2000). PCT, spin and statistics, and all that. Princeton, N.J: Princeton University Press. ISBN 978-0-691-07062-9. OCLC 953694720.

[:0-2] 1 2 3 4 Osterwalder, K., and Schrader, R.: "Axioms for Euclidean Green’s functions," Comm. Math. Phys.31 (1973), 83–112; 42 (1975), 281–305.

[Kravchuk_Qiao_Rychkov_2021-3] 1 2 Kravchuk, Petr; Qiao, Jiaxin; Rychkov, Slava (2021-04-05). "Distributions in CFT II. Minkowski Space". arXiv: 2104.02090v1 .

[Osterwalder_Schrader_1975-4] 1 2 3 4 Osterwalder, Konrad; Schrader, Robert (1975). "Axioms for Euclidean Green's functions II". Communications in Mathematical Physics. Springer Science and Business Media LLC. 42 (3): 281–305. doi:10.1007/bf01608978. ISSN 0010-3616. S2CID 119389461.

[Glaser_1974-5] Glaser, V. (1974). "On the equivalence of the Euclidean and Wightman formulation of field theory". Communications in Mathematical Physics. Springer Science and Business Media LLC. 37 (4): 257–272. doi:10.1007/bf01645941. ISSN 0010-3616. S2CID 121257568.

[Glimm_1987-6] 1 2 3 4 Glimm, James; Jaffe, Arthur (1987). Quantum Physics : a Functional Integral Point of View. New York, NY: Springer New York. ISBN 978-1-4612-4728-9. OCLC 852790676.

[Nelson-7] Nelson, Edward (1973-01-01). "Construction of quantum fields from Markoff fields". Journal of Functional Analysis. 12 (1): 97–112. doi: 10.1016/0022-1236(73)90091-8 . ISSN 0022-1236.

[Simon-8] Simon, Barry (1974). The P(phi)_2 Euclidean (quantum) field theory. Princeton, New Jersey: Princeton University Press. ISBN 0-691-08144-1. OCLC 905864308.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]