arxiv: 2512.14915 · v1 · submitted 2025-12-16 · ✦ hep-th · hep-ph· math-ph· math.MP

Recognition: 2 theorem links

· Lean Theorem

Heisenberg-Euler and the Quantum Dilogarithm

Gerald V. Dunne

Authors on Pith no claims yet

Pith reviewed 2026-05-16 21:24 UTC · model grok-4.3

classification ✦ hep-th hep-phmath-phmath.MP

keywords Heisenberg-Euler Lagrangianquantum dilogarithmQED effective Lagrangiandispersion relationselectromagnetic dualitynonperturbative imaginary partBorel kernel

0 comments

The pith

The Heisenberg-Euler effective Lagrangian has a dispersion integral representation with the quantum dilogarithm as its kernel.

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

The paper derives a dispersion integral representation of the Heisenberg-Euler QED effective Lagrangian using Faddeev's quantum dilogarithm. The nonperturbative imaginary part is given directly by the quantum dilogarithm, while the real part is obtained from a dispersion integral that incorporates both the quantum dilogarithm and its modular dual. This representation manifests electromagnetic duality through the modular properties. A reader would care because it organizes the full effective action for QED in constant fields, connecting perturbative expansions to nonperturbative effects like pair production. The background field invariants act as Mandelstam variables for this dispersion theory.

Core claim

A dispersion integral representation of the Heisenberg-Euler QED effective Lagrangian is derived, with Faddeev's quantum dilogarithm as a generalized Borel kernel. The nonperturbative imaginary part of the effective Lagrangian is expressed as the quantum dilogarithm, while the real part has the form of a dispersion integral involving both the quantum dilogarithm and its modular dual, a manifestation of electromagnetic duality.

What carries the argument

Faddeev's quantum dilogarithm serving as a generalized Borel kernel in the dispersion relation for the effective Lagrangian, with its modular dual entering the real part reconstruction.

If this is right

The effective Lagrangian generates all one-loop QED scattering amplitudes in a constant external field.
Lorentz invariants of the constant background electromagnetic field play the role of Mandelstam variables.
The modular duality of the dilogarithm encodes electromagnetic duality in the effective action.

Where Pith is reading between the lines

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

This representation could be extended to other gauge theories with similar effective actions.
Connections to quantum dilogarithms in integrable models might yield new insights into strong-field QED.
Numerical verification of the dispersion integral for specific field strengths could test the approach.

Load-bearing premise

The known non-perturbative imaginary part of the Heisenberg-Euler Lagrangian can be identified with the quantum dilogarithm, and the dispersion relation with the modular dual correctly reconstructs the real part without additional subtractions.

What would settle it

Computation of the real part of the Heisenberg-Euler Lagrangian for a chosen constant electromagnetic field and comparison to the value from the dispersion integral over the quantum dilogarithm and its dual; mismatch would falsify the representation.

read the original abstract

A dispersion integral representation of the Heisenberg-Euler QED effective lagrangian is derived, with Faddeev's quantum dilogarithm as a generalized Borel kernel. The nonperturbative imaginary part of the effective lagrangian is expressed as the quantum dilogarithm, while the real part has the form of a dispersion integral involving both the quantum dilogarithm and its modular dual, a manifestation of electromagnetic duality. The Heisenberg-Euler effective lagrangian generates all one-loop QED scattering amplitudes in a constant external field, with the Lorentz invariants of the constant background electromagnetic field playing the role of the Mandelstam variables in conventional QED dispersion theory.

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

Dunne recasts the Heisenberg-Euler Lagrangian as a dispersion integral with the quantum dilogarithm as kernel and its modular dual for the real part.

read the letter

The main point is that this paper recasts the Heisenberg-Euler effective Lagrangian as a dispersion integral with Faddeev's quantum dilogarithm as the kernel. The imaginary part is identified with the dilog itself, and the real part is recovered by integrating over both the dilog and its modular dual, which brings in electromagnetic duality. What is new is the specific identification and the dual construction inside the integral. Prior work has the proper-time expression for the imaginary part as a sum of exponentials, and dispersion relations have been used before, but the quantum dilogarithm link and the modular dual appear to be fresh. The paper does this without introducing new parameters, relying instead on known analytic properties. It does well at organizing the real and imaginary pieces into a single framework that makes the duality explicit. Framing the field invariants as Mandelstam variables is a useful perspective for connecting to ordinary dispersion theory in QED. The soft spots are minor but worth checking. The dispersion integral for the real part assumes no subtractions are needed, which depends on the large-argument decay of the dilog and its dual in the relevant half-plane. The manuscript needs to confirm that the known infinite sum for the imaginary part maps exactly onto the dilog representation, including all coefficients and without mismatches across branch cuts. If the asymptotics work out, the construction holds; otherwise, small adjustments might be required. From the abstract, the derivation is presented as following from standard steps, so this is the part to verify. This paper is for specialists in strong-field QED and those interested in quantum dilogarithms applied to physics. A reader who knows the classic Heisenberg-Euler result will find it a compact rewriting rather than a revolution. It is not aimed at solving open problems in non-perturbative QED. The thinking is clear and the engagement with the literature is direct. It deserves a serious referee because the claim is concrete and can be checked against existing expressions. I recommend sending it for peer review.

Referee Report

2 major / 2 minor

Summary. The paper derives a dispersion-integral representation of the one-loop Heisenberg-Euler effective Lagrangian in constant electromagnetic backgrounds, identifying the non-perturbative imaginary part exactly with Faddeev’s quantum dilogarithm Φ_b (via a map from the field invariants to the dilog argument) and expressing the real part as a principal-value integral over both Φ_b and its modular dual Φ_{1/b}.

Significance. If the identification and convergence hold, the result supplies a compact, duality-manifesting representation that recasts the Schwinger proper-time sum in terms of a known special function and its modular partner, potentially simplifying non-perturbative calculations and highlighting electromagnetic duality in strong-field QED.

major comments (2)

[Section 3 (identification of imaginary part)] The central identification Im(ℒ_HE) = Φ_b requires an explicit term-by-term comparison between the infinite sum in the Schwinger proper-time expression and the product or integral representation of the quantum dilogarithm; without this matching of coefficients and Stokes-line analytic continuation, the equality is not yet established.
[Section 4 (dispersion integral)] The dispersion relation for Re(ℒ_HE) is written without subtractions; this hinges on the combined large-argument decay of Φ_b(x) + Φ_{1/b}(x) in the physical half-plane being sufficiently rapid for absolute convergence, which must be verified asymptotically rather than assumed.

minor comments (2)

[Section 2] The map from the two Lorentz invariants (E,B) to the single argument of Φ_b should be stated explicitly with the precise linear combination used.
[Introduction] Notation for the modular parameter b and its dual 1/b is introduced without a brief reminder of the standard quantum-dilogarithm conventions; a short footnote would aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments highlight areas where the presentation can be strengthened, particularly regarding explicit verification of the central identification and the convergence properties of the dispersion integral. We address each major comment below and will revise the manuscript accordingly to incorporate the requested clarifications and verifications.

read point-by-point responses

Referee: [Section 3 (identification of imaginary part)] The central identification Im(ℒ_HE) = Φ_b requires an explicit term-by-term comparison between the infinite sum in the Schwinger proper-time expression and the product or integral representation of the quantum dilogarithm; without this matching of coefficients and Stokes-line analytic continuation, the equality is not yet established.

Authors: We agree that an explicit term-by-term comparison would make the identification fully rigorous and transparent. In the revised version we will insert a new subsection that directly matches the coefficients of the Schwinger proper-time series (after the appropriate Borel resummation and Stokes-line continuation) with the infinite-product and q-series representations of Faddeev’s quantum dilogarithm Φ_b. The analytic continuation across the relevant Stokes lines will be spelled out using the known modular properties of Φ_b, thereby establishing the equality coefficient by coefficient. revision: yes
Referee: [Section 4 (dispersion integral)] The dispersion relation for Re(ℒ_HE) is written without subtractions; this hinges on the combined large-argument decay of Φ_b(x) + Φ_{1/b}(x) in the physical half-plane being sufficiently rapid for absolute convergence, which must be verified asymptotically rather than assumed.

Authors: We acknowledge that the absolute convergence of the unsubtracted dispersion integral must be justified by the joint asymptotic decay of Φ_b(x) + Φ_{1/b}(x). In the revision we will add an appendix containing the large-|x| asymptotic expansion of this combination in the physical half-plane (using the known saddle-point and modular-duality asymptotics of the quantum dilogarithm). This will confirm that the decay is faster than 1/|x| and therefore sufficient for absolute convergence without subtractions. Should the analysis reveal any logarithmic or slower terms, we will introduce the minimal number of subtractions required. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained from known imaginary part via standard dispersion relations

full rationale

The paper starts from the established non-perturbative imaginary part of the Heisenberg-Euler Lagrangian (obtained via Schwinger proper-time methods) and maps it to Faddeev's quantum dilogarithm through a change of variables involving the field invariants. It then applies a standard dispersion integral, incorporating the modular dual to reconstruct the real part. This chain does not reduce to self-definition, fitted parameters renamed as predictions, or load-bearing self-citations that presuppose the final form; the dispersion step relies on general analytic properties rather than assuming the result. No equations are shown to be equivalent by construction to the inputs, and the representation is presented as an alternative expression rather than a tautological re-derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The derivation rests on standard properties of the quantum dilogarithm, the validity of a dispersion relation for the effective Lagrangian, and the known non-perturbative imaginary part; no new free parameters or invented entities are introduced.

axioms (2)

domain assumption The imaginary part of the Heisenberg-Euler Lagrangian is known and can be identified with the quantum dilogarithm.
Invoked to equate the nonperturbative imaginary part directly to the dilogarithm.
domain assumption A dispersion integral with the modular dual reconstructs the real part without additional subtractions.
Central step that converts the imaginary part into the full effective Lagrangian.

pith-pipeline@v0.9.0 · 5398 in / 1477 out tokens · 25089 ms · 2026-05-16T21:24:39.029387+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

L(B,E) expressed via Li2(e^{-m²s}; e^{-2π E/B}) + modular dual term, with Im part = quantum dilog and Re part = PV dispersion integral over both (Eqs. 28, 36, 61)
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Φ_b(x) defined by integral over 1/(sinh(zb) sinh(z/b)) and identified with q-Pochhammer product (Eqs. 52-54)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages · 10 internal anchors

[1]

Folgerungen aus der Diracschen Theorie des Positrons

W. Heisenberg and H. Euler, “Folgerungen aus der Diracschen Theorie des Positrons”, Z. Phys.98, 714 (1936). 10

work page 1936
[2]

¨Uber die Elektrodynamik des Vakuums auf Grund der Quantentheorie des Elektrons

V. Weisskopf, “ ¨Uber die Elektrodynamik des Vakuums auf Grund der Quantentheorie des Elektrons”, Kong. Dans. Vid. Selsk. Math-fys. Medd. XIV No. 6 (1936), reprinted inQuantum Electrodynamics, J. Schwinger (Ed.) (Dover, New York, 1958)

work page 1936
[3]

Pair Production by a Constant External Field

A. I. Nikishov, “Pair Production by a Constant External Field”, Zh. Eksp. Teor. Fiz. 57, 1210-1216 (October, 1969) [Sov. Phys JETP Vol. 30, No. 4, 660-662, 1970]

work page 1969
[4]

Dittrich and M

W. Dittrich and M. Reuter,Effective Lagrangians in Quantum Electrodynamics, (Springer, 1985)

work page 1985
[5]

Dittrich and H

W. Dittrich and H. Gies,Probing the quantum vacuum. Perturbative effective action approach in quantum electrodynamics and its application, Springer Tracts Mod. Phys.166, 1-241 (2000)

work page 2000
[6]

Heisenberg-Euler Effective Lagrangians : Basics and Extensions

G. V. Dunne, “Euler-Heisenberg Effective Lagrangians: Basics and Extensions”, in Ian Kogan Memorial Collection,From Fields to Strings: Circumnavigating Theoretical Physics, Vol. I, M.A. Shifman et al. (Eds.), (World Scientific, Singapore, 2004), arXiv:hep-th/0406216

work page internal anchor Pith review Pith/arXiv arXiv 2004
[7]

M. D. Schwartz,Quantum Field Theory and the Standard Model, Cambridge University Press, 2014

work page 2014
[8]

Quantum electrodynamics. I. A covariant formulation,

J. S. Schwinger, “Quantum electrodynamics. I. A covariant formulation,” Phys. Rev.74, 1439 (1948); “Quantum electro- dynamics. 2. Vacuum polarization and self-energy,” Phys. Rev.75, 651 (1948)

work page 1948
[9]

On Gauge Invariance and Vacuum Polarization

J. S. Schwinger, “On Gauge Invariance and Vacuum Polarization”, Phys. Rev.82, 664 (1951)

work page 1951
[10]

Space - time approach to quantum electrodynamics,

R. P. Feynman, “Space - time approach to quantum electrodynamics,” Phys. Rev.76, 769-789 (1949); “The Theory of positrons,” Phys. Rev.76, 749-759 (1949)

work page 1949
[11]

Mathematical formulation of the quantum theory of electromagnetic interaction,

R. P. Feynman, “Mathematical formulation of the quantum theory of electromagnetic interaction,” Phys. Rev.80, 440-457 (1950)

work page 1950
[12]

The Use of the Proper Time in Quantum Electrodynamics I

Y. Nambu, “The Use of the Proper Time in Quantum Electrodynamics I.”, Prog. Theor. Phys., Vol. V, 82 (1950)

work page 1950
[13]

On the definition and approximation of Feynman’s path integrals,

C. Morette, “On the definition and approximation of Feynman’s path integrals,” Phys. Rev.81, 848-852 (1951)

work page 1951
[14]

High-order perturbation theory and its application to atoms in strong fields

H. J. Silverstone, “High-order perturbation theory and its application to atoms in strong fields”, inAtoms in Strong Fields (NATO Science Series B: 212), C. A. Nicolaides, C. W. Clark, M. H. Nayfeh (Eds.), Springer, 1990

work page 1990
[15]

On the Prospect of Studying Nonperturbative QED with Beam-Beam Collisions

V. Yakimenko, S. Meuren, F. Del Gaudio, C. Baumann, A. Fedotov, F. Fiuza, T. Grismayer, M. J. Hogan, A. Pukhov and L. O. Silva,et al.“Prospect of Studying Nonperturbative QED with Beam-Beam Collisions,” Phys. Rev. Lett.122, no.19, 190404 (2019), arXiv:1807.09271

work page internal anchor Pith review Pith/arXiv arXiv 2019
[16]

Understanding the Fully Non-Perturbative Strong-Field Regime of QED

P. H. Bucksbaum, G. V. Dunne, F. Fiuza, S. Meuren, M. E. Peskin, D. A. Reis, G. Torgrimsson, G. White, and V. Yakimenko, “Understanding the Fully Non-Perturbative Strong-Field Regime of QED”, Letter of Intent to Snowmass 2021 Theory Frontier

work page 2021
[17]

Conceptual design report for the LUXE experiment,

H. Abramowicz, U. Acosta, M. Altarelli, R. Aßmann, Z. Bai, T. Behnke, Y. Benhammou, T. Blackburn, S. Boogert and O. Borysov,et al.“Conceptual design report for the LUXE experiment,” Eur. Phys. J. ST230, no.11, 2445-2560 (2021), arXiv:2102.02032

work page arXiv 2021
[18]

On measuring stimulated photon–photon scattering using multiple ultraintense lasers

H. G. Rinderknecht, E. Dill, A. J. MacLeod, B. King, K. Sow, S.-W. Bahk, I. A. Begishev, F. Karbstein, J¨ org Schreiber, M. Zepf, A. Di Piazza, “On measuring stimulated photon–photon scattering using multiple ultraintense lasers”, Phys. Plasmas 32, 083301 (2025), arXiv:2503.21856

work page arXiv 2025
[19]

Input to the European strategy for particle physics: strong-field quantum electrodynamics,

G. Sarri, B. King, T. Blackburn, A. Ilderton, S. Boogert, S. S. Bulanov, S. V. Bulanov, A. Di Piazza, L. Ji and F. Karbstein, et al.“Input to the European strategy for particle physics: strong-field quantum electrodynamics,” Eur. Phys. J. Plus 140, no.11, 1151 (2025), arXiv:2504.02608 [hep-ph]

work page arXiv 2025
[20]

Extremely high-intensity laser interactions with fundamental quantum systems

A. Di Piazza, C. Muller, K. Z. Hatsagortsyan and C. H. Keitel, “Extremely high-intensity laser interactions with funda- mental quantum systems,” Rev. Mod. Phys.84, 1177 (2012), arXiv:1111.3886

work page internal anchor Pith review Pith/arXiv arXiv 2012
[21]

Charged particle motion and radiation in strong electromagnetic fields,

A. Gonoskov, T. G. Blackburn, M. Marklund and S. S. Bulanov, “Charged particle motion and radiation in strong electromagnetic fields,” Rev. Mod. Phys.94, no.4, 045001 (2022), arXiv:2107.02161

work page arXiv 2022
[22]

Advances in QED with intense background fields,

A. Fedotov, A. Ilderton, F. Karbstein, B. King, D. Seipt, H. Taya and G. Torgrimsson, “Advances in QED with intense background fields,” Phys. Rept.1010, 1-138 (2023), arXiv:2203.00019 [hep-ph]

work page arXiv 2023
[23]

Dispersion representation for the Lagrange function of an intense field

S. L. Lebedev and V. I. Ritus, “Dispersion representation for the Lagrange function of an intense field”, Pisma Zh.Eksp.Teor.Fiz. 28 (1978) 298-301, [JETP Lett.28, 274-277 (1978)]

work page 1978
[24]

Quantum Dilogarithm

L. Faddeev and R. Kashaev, “Quantum Dilogarithm”, Mod. Phys. Lett. A9, 427 (1994)

work page 1994
[25]

Dilogarithm identities

A. N. Kirillov, “Dilogarithm identities”. InQuantum field theory, integrable models and beyond, Kyoto 1994. Progress of Theoretical Physics Supplement 118 (1995) 61–142

work page 1994
[26]

The Dilogarithm Function

D. Zagier, “The Dilogarithm Function”, In: P. Cartier et al (Eds)Frontiers in Number Theory, Physics, and Geometry II, (Springer, Heidelberg, 2007)

work page 2007
[27]

The Quantum Dilogarithm and Representations of Quantum Cluster Varieties

V. V. Fock and A. B. Goncharov, “The Quantum Dilogarithm and Representations of Quantum Cluster Varieties”, Inv. Math.175, 223-286 (2009)

work page 2009
[28]

Classical and Quantum Dilogarithm Identities

R. M. Kashaev and T. Nakanishi, “Classical and Quantum Dilogarithm Identities,” SIGMA7, 102 (2011), arXiv:1104.4630 [math.QA]

work page internal anchor Pith review Pith/arXiv arXiv 2011
[29]

Resurgence of Faddeev’s quantum dilogarithm,

S. Garoufalidis and R. Kashaev, “Resurgence of Faddeev’s quantum dilogarithm,” pp.257-272, inTopology and Geometry, A. Papadopoulos (Ed.), European Mathematical Society, 2021; arXiv:2008.12465 [math-ph]

work page arXiv 2021
[30]

On S-Duality in Abelian Gauge Theory

E. Witten, “OnS-duality in Abelian gauge theory,” Selecta Math.1, 383 (1995), arXiv:hep-th/9505186 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 1995
[31]

J. D. Bjorken and S. D. Drell ,Relativistic Quantum Fields, (McGraw Hill, 1965)

work page 1965
[32]

Resummations and Non-Perturbative Corrections

Y. Hatsuda and K. Okuyama, “Resummations and Non-Perturbative Corrections,” JHEP09, 051 (2015), arXiv:1505.07460 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2015
[33]

QED Effective Action Revisited

S. R. Valluri, D. R. Lamm and W. J. Mielniczuk, “Applications of the representation of the Heisenberg-Euler Lagrangian by means of special functions,” Can. J. Phys.71, 389-397 (1993); U. D. Jentschura, H. Gies, S. R. Valluri, D. R. Lamm and E. J. Weniger, “QED effective action revisited,” Can. J. Phys.80, 267-284 (2002), arXiv:hep-th/0107135. 11

work page internal anchor Pith review Pith/arXiv arXiv 1993
[34]

The Fermi-Dirac Integrals

R. B. Dingle, “The Fermi-Dirac Integrals”, Appl. Sci. Res. B 6 (1957) 225; “The Bose-Einstein Integrals”, Appl. Sci. Res. B 6 (1957) 240

work page 1957
[35]

See for example, Appendices D and E in: R. K. Pathria and P. D. Beale,Statistical Mechanics, (Academic Press, 2022)

work page 2022
[36]

See Entry 19 in Chapter 14 of B. C. Berndt.Ramanujan’s notebooks. Part II, Springer, Berlin (1989)

work page 1989
[37]

S-duality resurgence in SL(2) Chern-Simons theory

D. Gang and Y. Hatsuda, “S-duality resurgence in SL(2) Chern-Simons theory,” JHEP07, 053 (2018), arXiv:1710.09994 [hep-th]. [38]q-Pochhammer function: dlmf.nist.gov/17.2

work page internal anchor Pith review Pith/arXiv arXiv 2018
[38]

Resurgence of the Effective Action in Inhomogeneous Fields

G. V. Dunne and Z. Harris, “Resurgence of the effective action in inhomogeneous fields,” Phys. Rev. D107, no.6, 065003 (2023), arXiv:2212.04599 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2023
[39]

Lagrangian of an intense electromagnetic field and quantum electrodynamics at short distances

V. I. Ritus, “Lagrangian of an intense electromagnetic field and quantum electrodynamics at short distances”, Zh. Eksp. Teor. Fiz.691517, (1975), [Sov. Phys. JETP42, 774 (1976)]

work page 1975
[40]

Three-loop Euler-Heisenberg Lagrangian in 1+1 QED, part 1: single fermion-loop part

I. Huet, M. Rausch De Traubenberg and C. Schubert, “Three-loop Euler-Heisenberg Lagrangian in 1+1 QED, part 1: single fermion-loop part,” JHEP03, 167 (2019), arXiv:1812.08380 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2019