arxiv: 2604.07996 · v1 · submitted 2026-04-09 · ✦ hep-th · hep-ph· quant-ph

Recognition: 2 theorem links

· Lean Theorem

Leading low-temperature correction to the Heisenberg-Euler Lagrangian

Felix Karbstein

Authors on Pith no claims yet

Pith reviewed 2026-05-10 18:20 UTC · model grok-4.3

classification ✦ hep-th hep-phquant-ph

keywords Heisenberg-Euler Lagrangianlow-temperature correctionquantum electrodynamicseffective Lagrangianfinite-temperature QFTloop expansionstrong-field limit

0 comments

The pith

The leading low-temperature correction to the Heisenberg-Euler Lagrangian at two loops follows from derivatives of its one-loop zero-temperature version.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper shows how the leading low-temperature correction to the Heisenberg-Euler effective Lagrangian for a constant electromagnetic field at two-loop order can be obtained directly from the known one-loop zero-temperature result. It uses the real-time formalism of equilibrium quantum field theory to separate the zero-temperature part from finite-temperature corrections, reducing the task to differentiation with respect to the field strength. The same separation then lets the author dress the two-loop term with tadpole insertions to generate a class of higher-loop low-temperature contributions, extract their strong-field behavior, and resum the series to all orders. A sympathetic reader would care because the method replaces an otherwise involved two-loop finite-temperature calculation with operations on an already-computed object.

Core claim

The leading low-temperature correction to the Heisenberg-Euler Lagrangian in a constant electromagnetic field that arises at two loops can be extracted from the one-loop zero-temperature Heisenberg-Euler Lagrangian by differentiation with respect to the field strength. The real-time formalism of equilibrium quantum field theory makes this extraction essentially trivial by isolating the finite-temperature piece. Dressing the resulting term with one-particle reducible tadpole structures then produces a subset of higher-loop contributions at low temperature whose leading strong-field asymptotics can be read off at each loop order and resummed to all orders.

What carries the argument

Differentiation of the one-loop zero-temperature Heisenberg-Euler Lagrangian with respect to the electromagnetic field strength, using the real-time formalism that isolates finite-temperature corrections.

If this is right

The two-loop low-temperature correction is completely determined by derivatives acting on the known one-loop zero-temperature Lagrangian.
Tadpole dressing generates a controlled subset of higher-loop low-temperature corrections without evaluating new diagrams.
The leading strong-field behavior of these corrections is available at arbitrary loop order.
The strong-field series can be resummed to all loop orders in the low-temperature limit.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The derivative technique may apply to effective Lagrangians in other gauge theories or with additional background fields.
Resummed expressions could improve estimates of vacuum birefringence or pair production rates in strong laboratory or astrophysical fields at low temperature.
The approach illustrates how real-time methods can shortcut thermal perturbative calculations in general.
Similar extractions might be possible for other temperature-dependent corrections in the same effective theory.

Load-bearing premise

The real-time formalism cleanly isolates the leading low-temperature correction at two loops without missing or extra contributions from the separation procedure.

What would settle it

A direct two-loop computation of the low-temperature expansion of the Heisenberg-Euler Lagrangian in a fixed constant field that yields a result differing from the derivative expression would falsify the extraction claim.

Figures

Figures reproduced from arXiv: 2604.07996 by Felix Karbstein.

**Figure 2.** Figure 2: FIG. 2: Contribution to the Heisenberg-Euler Lagrangian encoding the leading strong mag [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗

read the original abstract

In this note, we show that the well-known leading low-temperature correction to the Heisenberg-Euler Lagrangian in a constant electromagnetic field arising at two loops can be efficiently extracted from its one-loop zero-temperature analogue. Resorting to the real-time formalism of equilibrium quantum field theory that explicitly separates out the zero-temperature contribution from the finite-temperature corrections the determination becomes essentially trivial. In essence, it only requires taking derivatives of the Heisenberg-Euler Lagrangian at one loop and zero temperature for the field strength. As a bonus, we then effectively dress the low-temperature contribution at two loops by one-particle reducible tadpole structures. This generates a subset of higher-loop contributions to the Heisenberg-Euler Lagrangian in the limit of low temperatures. We extract their leading strong-field behavior at a given loop order, and finally resum these to all loop orders.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This note shows how to pull the leading low-T two-loop correction to the Heisenberg-Euler Lagrangian out of derivatives of the known one-loop zero-T result via the real-time formalism, then resums a tadpole subset to all orders in the low-T strong-field limit.

read the letter

The main thing to know is that the leading low-temperature correction to the Heisenberg-Euler effective Lagrangian at two loops follows from taking field-strength derivatives of the one-loop zero-temperature expression. The real-time formalism keeps the zero-T piece and the thermal correction separate, so the two-loop thermal term reduces to a derivative operation on the already-known one-loop result. That shortcut is the core of the note and it looks clean on the page. The paper then uses the same starting point to insert one-particle-reducible tadpoles, which generates a controlled subset of higher-loop contributions in the low-T regime and allows a resummation whose leading strong-field asymptotics can be read off at each order. This part is useful because it turns a family of diagrams into something resummed without recomputing everything from scratch. The derivation stays within standard equilibrium QFT rules and does not introduce new parameters or fitted quantities. The soft spot is the assumption that the thermal propagator insertion into the two-loop diagrams produces exactly the derivative result with no extra O(T^2) pieces coming from background-field modifications to the dispersion relations or distribution functions. The note argues the separation is exact at leading order, but an explicit cross-check against a direct two-loop computation for a pure magnetic field would strengthen the claim. The tadpole resummation is presented honestly as capturing only a subset of higher loops, so the all-order statement is limited to that class. Overall the work is technically focused and self-contained. It is aimed at people already working on strong-field QED effective actions at finite temperature who need quick access to the low-T expansion or its partial resummation. The math and citation pattern are standard for the subfield and the result is reproducible from the given steps. I would bring it to a reading group for the technical shortcut and the resummation. I would cite it if I needed the low-T correction or the resummed strong-field form. It deserves peer review rather than a desk reject because the extraction method is new relative to the cited literature and the resummation adds a concrete extension.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that the leading low-temperature correction to the two-loop Heisenberg-Euler effective Lagrangian in a constant electromagnetic field can be extracted directly from the known one-loop zero-temperature result by taking derivatives with respect to the field strength, using the real-time formalism of equilibrium QFT to separate zero-T and finite-T pieces. It further incorporates one-particle-reducible tadpole dressings of this correction to generate a subset of higher-loop contributions and extracts their leading strong-field behavior before resumming to all orders.

Significance. If the central extraction holds, the approach offers a computationally efficient route to thermal corrections that avoids explicit evaluation of two-loop diagrams, building directly on the established one-loop Heisenberg-Euler expression. The tadpole resummation in the strong-field limit provides a concrete all-orders result that could be tested against other methods or applied to strong-field QED phenomena at low temperature.

major comments (2)

[real-time formalism derivation] The derivation in the real-time formalism section relies on the assumption that the thermal correction at two loops is exactly captured by field-strength derivatives of the one-loop zero-T Lagrangian, with no additional O(T^2) terms from background-modified on-shell conditions, thermal distributions, or other diagram classes. An explicit verification or cancellation argument for these potential residuals is required, as this is load-bearing for the central claim.
[tadpole resummation] In the tadpole-dressing and resummation part, the extraction of the leading strong-field behavior at each loop order and the subsequent all-orders sum should include a check that the resummation does not introduce uncontrolled approximations beyond the stated low-T limit.

minor comments (2)

[abstract] The abstract and introduction could more clearly distinguish the two-loop extraction from the subsequent higher-loop dressing to improve readability.
Notation for the field-strength derivatives should be defined once with an explicit example to prevent ambiguity when applied to the low-T correction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We address each major point below and are prepared to revise the manuscript accordingly to strengthen the presentation.

read point-by-point responses

Referee: [real-time formalism derivation] The derivation in the real-time formalism section relies on the assumption that the thermal correction at two loops is exactly captured by field-strength derivatives of the one-loop zero-T Lagrangian, with no additional O(T^2) terms from background-modified on-shell conditions, thermal distributions, or other diagram classes. An explicit verification or cancellation argument for these potential residuals is required, as this is load-bearing for the central claim.

Authors: We agree that an explicit argument strengthens the derivation. In the real-time formalism the effective action separates cleanly into a zero-temperature piece and a thermal piece. The two-loop zero-temperature Heisenberg-Euler Lagrangian is known to follow from field-strength derivatives of the one-loop zero-temperature result. The leading O(T^2) thermal correction at two loops arises solely from the thermal part of the propagator inserted into the one-loop diagram; because the thermal distribution function is field-independent at this order, the correction is obtained by the same derivatives applied to the one-loop zero-temperature Lagrangian. Additional contributions from background-modified on-shell conditions or other diagram topologies enter only at O(T^4) or higher in the low-temperature expansion and cancel in the constant-field case by virtue of the proper-time representation. We will add a concise paragraph (or short appendix) spelling out this cancellation to make the argument self-contained. revision: yes
Referee: [tadpole resummation] In the tadpole-dressing and resummation part, the extraction of the leading strong-field behavior at each loop order and the subsequent all-orders sum should include a check that the resummation does not introduce uncontrolled approximations beyond the stated low-T limit.

Authors: The resummation is performed exclusively on the leading strong-field asymptotics of the tadpole-dressed O(T^2) terms. At each loop order these terms remain O(T^2) and are parametrically suppressed by additional powers of the coupling; the resummation merely collects the dominant strong-field logarithms without mixing in higher-temperature corrections. The low-temperature limit is therefore preserved order by order and in the final all-orders expression. We will insert a short clarifying sentence confirming that no uncontrolled approximations beyond the low-T expansion are introduced. revision: yes

Circularity Check

0 steps flagged

No circularity; central result follows from standard real-time separation applied to independently known one-loop input

full rationale

The derivation begins from the established one-loop zero-temperature Heisenberg-Euler Lagrangian (a classic result independent of this paper) and applies the real-time formalism's explicit zero-T/finite-T split to obtain the leading low-T two-loop correction via field-strength derivatives. This is a direct computational step, not a self-definition, fitted-parameter renaming, or load-bearing self-citation chain. The subsequent tadpole dressing and all-order resummation are presented as straightforward extensions of the same separation, without reducing the claimed relation to an input by construction. No quoted equations exhibit the forbidden patterns of self-definitional closure or statistical forcing.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The derivation rests on standard assumptions of thermal QFT and the validity of the real-time formalism for separating zero-T and finite-T contributions; no new free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption Real-time formalism of equilibrium quantum field theory separates zero-temperature contribution from finite-temperature corrections
Invoked to make the extraction trivial by derivatives.
domain assumption Leading low-T correction at two loops arises from specific thermal structures that match derivatives of the one-loop zero-T result
Central to the shortcut claimed.

pith-pipeline@v0.9.0 · 5429 in / 1280 out tokens · 41279 ms · 2026-05-10T18:20:01.634112+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 13 canonical work pages · 1 internal anchor

[1]

Particles and Plasmas in Strong Fields

such finite-temperature corrections may ultimately become relevant. In Feynman gauge, the tree-level photon propagator in momentum space at finite tem- 3 FIG. 1: Diagrammatic representation of the Heisenberg-Euler effective Lagrangian at one and two loops. The double solid line denotes the Dirac propagator dressed to all orders ineF µν (wiggly lines endin...
[2]

Karbstein, Habilitation thesis, Faculty of Physics and Astronomy, Friedrich-Schiller- Universit¨at Jena (2024)https://doi.org/10.22032/dbt.59618

F. Karbstein, Habilitation thesis, Faculty of Physics and Astronomy, Friedrich-Schiller- Universit¨at Jena (2024)https://doi.org/10.22032/dbt.59618

work page doi:10.22032/dbt.59618 2024
[3]

Consequences of Dirac Theory of the Positron

W. Heisenberg and H. Euler, Z. Phys.98, 714-732 (1936), an English translation is available at [physics/0605038]

work page Pith review arXiv 1936
[4]

Weisskopf, Kong

V. Weisskopf, Kong. Dans. Vid. Selsk., Mat.-fys. Medd.XIV, No. 6, 1-39 (1936)

1936
[5]

J. S. Schwinger, Phys. Rev.82, 664 (1951)

1951
[6]

G. V. Dunne, Ian Kogan Memorial Collection, Vol. I, M.A. Shifman et al. (Eds.), World Scientific, Singapore (2004), [arXiv:hep-th/0406216 [hep-th]]

work page arXiv 2004
[7]

Ritus, J

V. Ritus, J. Exp. Theor. Phys.42, no.5, 774 (1975)

1975
[8]

Gies and F

H. Gies and F. Karbstein, JHEP03, 108 (2017) [arXiv:1612.07251 [hep-th]]

work page arXiv 2017
[9]

Gies, Phys

H. Gies, Phys. Rev. D61, 085021 (2000) [arXiv:hep-ph/9909500 [hep-ph]]

work page arXiv 2000
[10]

Dittrich and H

W. Dittrich and H. Gies, Springer Tracts Mod. Phys.166, 1-241 (2000)

2000
[11]

Dolan and R

L. Dolan and R. Jackiw, Phys. Rev. D9, 3320-3341 (1974)

1974
[12]

J. F. Donoghue and B. R. Holstein, Phys. Rev. D28, 340 (1983) [erratum: Phys. Rev. D29, 3004 (1984)]

1983
[13]

Dittrich and M

W. Dittrich and M. Reuter, Lect. Notes Phys.220, 1-244 (1985)

1985
[14]

L. M. Capparelli, A. Damiano, L. Maiani and A. D. Polosa, Eur. Phys. J. C77, 754 (2017)

2017
[15]

Karbstein and R

F. Karbstein and R. Shaisultanov, Phys. Rev. D91, 085027 (2015) [arXiv:1503.00532 [hep-ph]]

work page arXiv 2015
[16]

I. A. Batalin and A. E. Shabad, Zh. Eksp. Teor. Fiz.60, 894-900 (1971)

1971
[17]

Karbstein, Particles3, no.1, 39-61 (2020) [arXiv:1912.11698 [hep-ph]]

F. Karbstein, Particles3, no.1, 39-61 (2020) [arXiv:1912.11698 [hep-ph]]

work page arXiv 2020
[18]

A. I. Nikishov, Zh. Eksp. Teor. Fiz.57, 1210-1216 (1969). 13

1969
[19]

B. King, H. Gies and A. Di Piazza, Phys. Rev. D86, 125007 (2012) [erratum: Phys. Rev. D 87, 069905 (2013)] [arXiv:1204.2442 [hep-ph]]

work page arXiv 2012
[20]

Karbstein, Phys

F. Karbstein, Phys. Rev. Lett.122, 211602 (2019) [erratum: Phys. Rev. Lett.133, 199902 (2024)] [arXiv:1903.06998 [hep-th]]

work page arXiv 2019
[21]

Karbstein, JHEP01, 057 (2022) [arXiv:2109.04823 [hep-th]]

F. Karbstein, JHEP01, 057 (2022) [arXiv:2109.04823 [hep-th]]

work page arXiv 2022
[22]

Lowdon and O

P. Lowdon and O. Philipsen, JHEP08, 167 (2024) [arXiv:2405.02009 [hep-ph]]

work page arXiv 2024
[23]

Endr˝ odi and G

G. Endr˝ odi and G. Mark´ o, JHEP12, 015 (2022) [arXiv:2208.14306 [hep-ph]]

work page arXiv 2022
[24]

On electric fields in hot QCD: infrared regularization dependence

G. Endr˝ odi, G. Mark´ o and L. Sandbote, [arXiv:2601.01478 [hep-ph]]. 14

work page internal anchor Pith review Pith/arXiv arXiv