Schwinger function
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 fN with N points as its arguments. Assume fN has its support in the "time-ordered" subset of N points with 0 < τ1 < ... < τN. Choose one such fN for each positive N, with the f's being zero for all N larger than some integer M. Given a point x, let be the reflected point about the τ = 0 hyperplane. Then,
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.
...
Wikipedia