Wightman correlation functions
E284684
Wightman correlation functions are vacuum expectation values of time-ordered products of quantum fields in Minkowski spacetime that encode the fundamental probabilistic and causal structure of relativistic quantum field theory.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Wightman correlation functions canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T2631407 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Wightman correlation functions Context triple: [Schwinger functions, canBeAnalyticallyContinuedTo, Wightman correlation functions]
-
A.
Wick’s theorem
Wick’s theorem is a fundamental result in quantum field theory that expresses time-ordered products of field operators as sums of normal-ordered products with all possible contractions, forming the basis for deriving Feynman rules and diagrammatic expansions.
-
B.
Schwinger functions
Schwinger functions are Euclidean-space correlation functions in quantum field theory that encode the theory’s dynamics and can be analytically continued to yield physical Minkowski-space Green’s functions.
-
C.
Schwinger–Dyson equations
The Schwinger–Dyson equations are a set of integral equations in quantum field theory that relate correlation functions and encode the full dynamics of a quantum field.
-
D.
Infeld–van der Waerden formalism
The Infeld–van der Waerden formalism is a mathematical framework in general relativity that reformulates the theory using spinor calculus to describe gravitational and electromagnetic fields.
-
E.
Osterwalder–Schrader axioms
The Osterwalder–Schrader axioms are a set of mathematical conditions that characterize Euclidean quantum field theories in a way that allows them to be rigorously continued to physically meaningful relativistic quantum field theories.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Wightman correlation functions Target entity description: Wightman correlation functions are vacuum expectation values of time-ordered products of quantum fields in Minkowski spacetime that encode the fundamental probabilistic and causal structure of relativistic quantum field theory.
-
A.
Wick’s theorem
Wick’s theorem is a fundamental result in quantum field theory that expresses time-ordered products of field operators as sums of normal-ordered products with all possible contractions, forming the basis for deriving Feynman rules and diagrammatic expansions.
-
B.
Schwinger functions
Schwinger functions are Euclidean-space correlation functions in quantum field theory that encode the theory’s dynamics and can be analytically continued to yield physical Minkowski-space Green’s functions.
-
C.
Schwinger–Dyson equations
The Schwinger–Dyson equations are a set of integral equations in quantum field theory that relate correlation functions and encode the full dynamics of a quantum field.
-
D.
Infeld–van der Waerden formalism
The Infeld–van der Waerden formalism is a mathematical framework in general relativity that reformulates the theory using spinor calculus to describe gravitational and electromagnetic fields.
-
E.
Osterwalder–Schrader axioms
The Osterwalder–Schrader axioms are a set of mathematical conditions that characterize Euclidean quantum field theories in a way that allows them to be rigorously continued to physically meaningful relativistic quantum field theories.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
concept in quantum field theory
ⓘ
correlation function ⓘ mathematical object ⓘ |
| alsoKnownAs | Wightman functions ⓘ |
| argumentType | spacetime points ⓘ |
| codomain | complex numbers ⓘ |
| definedAs | vacuum expectation values of products of quantum fields ⓘ |
| definedOn |
Minkowski space-time
ⓘ
surface form:
Minkowski spacetime
|
| dependsOn |
choice of quantum field theory
ⓘ
vacuum representation of the field algebra ⓘ |
| domain | n-tuples of points in Minkowski space ⓘ |
| encodes |
causal structure of relativistic quantum field theory
ⓘ
probabilistic structure of relativistic quantum field theory ⓘ |
| field | relativistic quantum field theory ⓘ |
| framework |
Wightman axioms
ⓘ
surface form:
Wightman axiomatic framework
|
| generalizationOf | two-point correlation functions ⓘ |
| involves |
operator-valued distributions
ⓘ
quantum fields ⓘ vacuum state ⓘ |
| mathematicallyFormulatedBy | Arthur Wightman ⓘ |
| namedAfter | Arthur Wightman ⓘ |
| obeys |
microcausality conditions
ⓘ
spectral support in forward light cone ⓘ |
| property | tempered distributions under suitable assumptions ⓘ |
| relatedConcept |
Gelfand–Naimark–Segal construction
ⓘ
surface form:
Gårding–Wightman reconstruction theorem
Osterwalder–Schrader axioms ⓘ
surface form:
Osterwalder–Schrader reconstruction theorem
|
| relatedTo |
Feynman propagator
ⓘ
surface form:
Feynman propagators
Källén–Lehmann spectral representation ⓘ Schwinger functions ⓘ operator product expansion ⓘ time-ordered Green functions ⓘ |
| satisfies |
Lorentz invariance
ⓘ
Poincaré covariance ⓘ Wightman axioms ⓘ cluster decomposition property ⓘ locality ⓘ positivity condition ⓘ spectral condition ⓘ translation invariance ⓘ |
| usedFor |
characterizing quantum fields up to unitary equivalence
ⓘ
defining scattering amplitudes ⓘ studying causality in quantum field theory ⓘ |
| usedIn |
axiomatic quantum field theory
ⓘ
constructive quantum field theory ⓘ non-perturbative studies of quantum field theory ⓘ reconstruction of quantum field theories ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Wightman correlation functions Description of subject: Wightman correlation functions are vacuum expectation values of time-ordered products of quantum fields in Minkowski spacetime that encode the fundamental probabilistic and causal structure of relativistic quantum field theory.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.