Heisenberg–Euler effective Lagrangian
E811631
The Heisenberg–Euler effective Lagrangian is a quantum electrodynamics result that captures nonlinear corrections to classical electromagnetism arising from virtual electron–positron pair effects in strong electromagnetic fields.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Heisenberg–Euler effective Lagrangian canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T9637437 — 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: Heisenberg–Euler effective Lagrangian Context triple: [Born–Infeld electrodynamics, comparedWith, Heisenberg–Euler effective Lagrangian]
-
A.
Born–Infeld electrodynamics
Born–Infeld electrodynamics is a nonlinear modification of classical Maxwell theory proposed to remove the infinite self-energy of point charges by introducing an upper bound on the electromagnetic field strength.
-
B.
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.
-
C.
Schwinger effect
The Schwinger effect is a quantum field theory phenomenon in which extremely strong electric fields can spontaneously create particle–antiparticle pairs from the vacuum.
-
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.
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.
- 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: Heisenberg–Euler effective Lagrangian Target entity description: The Heisenberg–Euler effective Lagrangian is a quantum electrodynamics result that captures nonlinear corrections to classical electromagnetism arising from virtual electron–positron pair effects in strong electromagnetic fields.
-
A.
Born–Infeld electrodynamics
Born–Infeld electrodynamics is a nonlinear modification of classical Maxwell theory proposed to remove the infinite self-energy of point charges by introducing an upper bound on the electromagnetic field strength.
-
B.
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.
-
C.
Schwinger effect
The Schwinger effect is a quantum field theory phenomenon in which extremely strong electric fields can spontaneously create particle–antiparticle pairs from the vacuum.
-
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.
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.
- F. None of above. chosen
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
effective Lagrangian
ⓘ
nonlinear electrodynamics theory ⓘ result in quantum electrodynamics ⓘ |
| alsoKnownAs | Euler–Heisenberg Lagrangian NERFINISHED ⓘ |
| appliesTo | strong electromagnetic fields ⓘ |
| approach | integrating out the electron field ⓘ |
| assumes | constant or slowly varying background electromagnetic fields ⓘ |
| capturesEffectOf | virtual electron–positron pairs ⓘ |
| dependsOn |
Lorentz invariants F and G of the electromagnetic field
ⓘ
electromagnetic field invariants ⓘ |
| derivedBy |
Hans Euler
NERFINISHED
ⓘ
Werner Heisenberg NERFINISHED ⓘ |
| describes |
light–light scattering in vacuum
ⓘ
nonlinear corrections to classical electromagnetism ⓘ photon–photon interactions mediated by virtual electron–positron pairs ⓘ vacuum polarization effects ⓘ |
| energyScale | set by the electron mass ⓘ |
| field | quantum electrodynamics NERFINISHED ⓘ |
| framework | one‑loop quantum electrodynamics ⓘ |
| generalizedBy | Schwinger’s proper‑time formalism NERFINISHED ⓘ |
| givesRiseTo | nonlinear corrections to Maxwell equations ⓘ |
| historicalContext | early nonperturbative treatment of QED in external fields ⓘ |
| includes | terms quartic in the electromagnetic field strength ⓘ |
| inspired | later developments in nonlinear electrodynamics ⓘ |
| involves | one‑loop determinant of the Dirac operator in an external field ⓘ |
| isLowEnergyLimitOf | full quantum electrodynamics effective action ⓘ |
| mathematicalForm |
nonlinear function of F_{\
ⓘ
nonlinear function of F_{\mu\nu}F^{\mu\nu} and F_{\mu\nu}\tilde F^{\mu\nu} ⓘ |
| modifies | Maxwell Lagrangian NERFINISHED ⓘ |
| nonlinearityBecomesSignificantNear | critical QED field strength ⓘ |
| orderInExpansion | leading low‑energy effective action of QED ⓘ |
| perturbativeOrder | order \alpha^2 in the low‑energy photon effective interaction ⓘ |
| predicts |
nonlinear wave–wave interactions of light in vacuum
ⓘ
vacuum birefringence ⓘ vacuum dichroism in external fields ⓘ |
| provides | effective description of QED vacuum as a nonlinear optical medium ⓘ |
| reducesTo | classical Maxwell Lagrangian in the weak‑field limit ⓘ |
| relatedTo | vacuum instability in supercritical electric fields ⓘ |
| usedIn |
astrophysical modeling of magnetars
ⓘ
strong‑field QED ⓘ theory of high‑intensity laser–matter interactions ⓘ |
| usedToAnalyze | modifications of light propagation in external magnetic fields ⓘ |
| usedToCompute | photon–photon scattering cross sections at low energy ⓘ |
| validFor | photon energies much smaller than the electron mass ⓘ |
| yearProposed | 1936 ⓘ |
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: Heisenberg–Euler effective Lagrangian Description of subject: The Heisenberg–Euler effective Lagrangian is a quantum electrodynamics result that captures nonlinear corrections to classical electromagnetism arising from virtual electron–positron pair effects in strong electromagnetic fields.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.