Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED

E17385

result in quantum electrodynamics theoretical physics result

Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED is a landmark theoretical result that rigorously demonstrated the mathematical consistency and mutual compatibility of different approaches to quantum electrodynamics.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (4)

Label	Occurrences
Dyson series expansion for the S-matrix	1
Dyson’s formulation of quantum electrodynamics	1
Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED canonical	1
Relativistic formulation of quantum field theory	1

How this entity was disambiguated

This entity first appeared as the object of triple T145461 — 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: Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED
Context triple: [Freeman Dyson, notableWork, Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED]

A. Euclidean quantum field theory
Euclidean quantum field theory is a formulation of quantum field theory in imaginary (Euclidean) time that enables rigorous mathematical treatment and path-integral representations closely connected to statistical mechanics.
B. Feynman diagrams
Feynman diagrams are graphical representations used in quantum field theory to visualize and calculate particle interactions and processes.
C. Feynman checkerboard model
The Feynman checkerboard model is a path-integral-based lattice model introduced by Richard Feynman to illustrate and derive the behavior of relativistic quantum particles, particularly the Dirac equation in one spatial dimension.
D. QED: The Strange Theory of Light and Matter
QED: The Strange Theory of Light and Matter is a popular science book by physicist Richard Feynman that explains the quantum theory of electrodynamics in an accessible, lecture-based style.
E. Mathematical Foundations of Quantum Mechanics
Mathematical Foundations of Quantum Mechanics is John von Neumann’s landmark 1932 treatise that rigorously formulates quantum theory using functional analysis and operator theory on Hilbert spaces.
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: Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED
Target entity description: Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED is a landmark theoretical result that rigorously demonstrated the mathematical consistency and mutual compatibility of different approaches to quantum electrodynamics.

A. Euclidean quantum field theory
Euclidean quantum field theory is a formulation of quantum field theory in imaginary (Euclidean) time that enables rigorous mathematical treatment and path-integral representations closely connected to statistical mechanics.
B. Feynman diagrams
Feynman diagrams are graphical representations used in quantum field theory to visualize and calculate particle interactions and processes.
C. Feynman checkerboard model
The Feynman checkerboard model is a path-integral-based lattice model introduced by Richard Feynman to illustrate and derive the behavior of relativistic quantum particles, particularly the Dirac equation in one spatial dimension.
D. QED: The Strange Theory of Light and Matter
QED: The Strange Theory of Light and Matter is a popular science book by physicist Richard Feynman that explains the quantum theory of electrodynamics in an accessible, lecture-based style.
E. Mathematical Foundations of Quantum Mechanics
Mathematical Foundations of Quantum Mechanics is John von Neumann’s landmark 1932 treatise that rigorously formulates quantum theory using functional analysis and operator theory on Hilbert spaces.
F. None of above. chosen

Statements (44)

Predicate	Object
instanceOf	result in quantum electrodynamics ⓘ theoretical physics result ⓘ
author	Freeman Dyson ⓘ
clarifies	relationship between Feynman diagrams and operator methods ⓘ status of Feynman diagrams as a systematic expansion ⓘ
concerns	covariant formulation of QED ⓘ operator formalism in QED ⓘ path-integral inspired Feynman diagram method ⓘ
context	postwar development of relativistic quantum field theory ⓘ resolution of infinities in quantum electrodynamics ⓘ
demonstratesEquivalenceOf	Feynman path integral ⓘ surface form: Feynman formulation of QED Tomonaga–Schwinger equation ⓘ surface form: Schwinger–Tomonaga formulation of QED Tomonaga–Schwinger equation ⓘ surface form: Tomonaga–Schwinger formalism
establishes	mathematical consistency between different QED formulations ⓘ mutual compatibility of Feynman and Schwinger–Tomonaga approaches ⓘ
field	quantum electrodynamics ⓘ quantum field theory ⓘ
historicalPeriod	late 1940s ⓘ
influenced	pedagogical treatments of perturbative QED ⓘ subsequent work on axiomatic quantum field theory ⓘ
involves	comparison of S-matrix elements ⓘ covariant perturbation expansion ⓘ expansion of the S-matrix in powers of the coupling constant ⓘ time-ordered exponential of the interaction Hamiltonian ⓘ
relatedToPerson	Julian Schwinger ⓘ Richard Feynman ⓘ Sin-Itiro Tomonaga ⓘ
relatedWork	S-matrix ⓘ surface form: Dyson’s papers on the S-matrix in quantum electrodynamics
relatesTo	Feynman diagrams ⓘ Tomonaga–Schwinger equation ⓘ covariant commutation relations ⓘ
shows	Feynman rules reproduce Tomonaga–Schwinger operator results order by order ⓘ Lorentz invariance of the perturbation expansion can be maintained ⓘ diagrammatic expansion corresponds to time-ordered products of interaction terms ⓘ
significance	contributed to acceptance of Feynman diagram technique ⓘ helped unify competing formulations of QED ⓘ landmark result in the development of renormalized QED ⓘ provided rigorous foundation for perturbative QED calculations ⓘ
supports	view that different QED formalisms are representations of the same underlying theory ⓘ
usesConcept	Dyson series ⓘ S-matrix ⓘ interaction picture ⓘ perturbation theory in QED ⓘ time-ordered products ⓘ

How these facts were elicited

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

Freeman Dyson → notableWork → Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED ⓘ

Sin-Itiro Tomonaga → notableWork → Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED ⓘ

this entity surface form: Relativistic formulation of quantum field theory

Dyson → notableWork → Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED ⓘ

subject surface form: Freeman Dyson

this entity surface form: Dyson’s formulation of quantum electrodynamics

Gell-Mann–Low theorem → implies → Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED ⓘ

this entity surface form: Dyson series expansion for the S-matrix

All labels observed (4)

How this entity was disambiguated Show

Statements (44)

How these facts were elicited Show

Referenced by (4)

How this entity was disambiguated

How these facts were elicited