Schwinger function

From Wikipedia, the free encyclopedia

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. These functions are called the Schwinger functions, named after Julian Schwinger, and they are analytic, symmetric under the permutation of arguments (antisymmetric for fermionic fields), Euclidean covariant and satisfy a property known as 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 $\scriptstyle {\bar {x}}$ 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}({\bar {x}}_{1},\dots ,{\bar {x}}_{m})^{*}f_{n}(y_{1},\dots ,y_{n})\geq 0$

where * represents complex conjugation.

The Osterwalder–Schrader theorem states that Schwinger functions which satisfy these properties can be analytically continued into a quantum field theory.

Euclidean path integrals satisfy reflection positivity formally. Pick any polynomial functional F of the field φ which doesn't depend upon the value of φ(x) for those points x whose τ coordinates are nonpositive.

Then,

$\int {\mathcal {D}}\phi F[\phi (x)]F[\phi ({\bar {x}})]^{*}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[{\bar {\phi }}_{-}]^{*}e^{{-S_{-}[\phi _{-}]}}.$

Since the action S is real and can be split into S₊ which only depends on φ on the positive half-space and S₋ which only depends upon φ on the negative half-space, 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.

v t e Statistical mechanics

Statistical ensembles	Microcanonical Canonical Grand canonical Isothermal–isobaric Isoenthalpic–isobaric Open

Statistical thermodynamics	Characteristic state functions

Partition functions	Translational Vibrational Rotational

Equations of state	Dieterici Van der Waals Ideal gas law Birch–Murnaghan

Entropy	Sackur–Tetrode equation Tsallis entropy Von Neumann entropy

Particle statistics	Maxwell–Boltzmann statistics Fermi–Dirac statistics Fermi-Dirac distribution Bose–Einstein statistics Bose-Einstein distribution

Statistical field theory	Conformal field theory Osterwalder–Schrader axioms

Quantum statistical mechanics	Gibbs canonical ensemble Density matrix Gibbs measure Partition function Weyl quantization Slater determinant

See also	Probability distribution Structureless particles

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.

Schwinger function

See also