Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Schwinger–Tomonaga formulation of QED | Statement: [Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED, demonstratesEquivalenceOf, Schwinger–Tomonaga formulation of QED]

Target entity: Schwinger–Tomonaga formulation of QED
Context triple: [Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED, demonstratesEquivalenceOf, Schwinger–Tomonaga formulation of QED]

• A. Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED
  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.
• B. Tomonaga–Schwinger equation
  The Tomonaga–Schwinger equation is a relativistic generalization of the Schrödinger equation that formulates quantum field evolution on arbitrary spacelike hypersurfaces, forming a key part of covariant quantum field theory.
• C. 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.
• D. Gell-Mann–Low theorem
  The Gell-Mann–Low theorem is a fundamental result in quantum field theory that rigorously connects interacting quantum fields to free fields via the adiabatic switching-on of interactions, underpinning the use of perturbation theory and the Dyson series.
• E. Feynman diagrams
  Feynman diagrams are graphical representations used in quantum field theory to visualize and calculate particle interactions and processes.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Schwinger–Tomonaga formulation of QED
Triple: [Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED, demonstratesEquivalenceOf, Schwinger–Tomonaga formulation of QED]

The Schwinger–Tomonaga formulation of QED is a covariant operator-based approach to quantum electrodynamics that describes the evolution of quantum fields on arbitrary spacelike hypersurfaces, providing a rigorous foundation equivalent to Feynman’s diagrammatic method.

Target entity: Schwinger–Tomonaga formulation of QED
Target entity description: The Schwinger–Tomonaga formulation of QED is a covariant operator-based approach to quantum electrodynamics that describes the evolution of quantum fields on arbitrary spacelike hypersurfaces, providing a rigorous foundation equivalent to Feynman’s diagrammatic method.

• A. Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED
  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.
• B. Tomonaga–Schwinger equation chosen
  The Tomonaga–Schwinger equation is a relativistic generalization of the Schrödinger equation that formulates quantum field evolution on arbitrary spacelike hypersurfaces, forming a key part of covariant quantum field theory.
• C. 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.
• D. Gell-Mann–Low theorem
  The Gell-Mann–Low theorem is a fundamental result in quantum field theory that rigorously connects interacting quantum fields to free fields via the adiabatic switching-on of interactions, underpinning the use of perturbation theory and the Dyson series.
• E. Feynman diagrams
  Feynman diagrams are graphical representations used in quantum field theory to visualize and calculate particle interactions and processes.
• F. None of above.