Pith. sign in

REVIEW 2 major objections 5 minor 37 references

Axiomatic quantum electrodynamics: from causality to convexity of effective action

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Causality, as a ban on superluminal group velocities, plus a Maxwell-dominance condition, forces the local effective Lagrangian $L(F,G)$ to satisfy $L_{FF}L_{GG}-L_{FG}^2\ge 0$; the paper proves this for backgrounds with both field…

desk verdict Useful conditional convexity result, but the advertised 'causality implies convexity' only goes through with an extra, underived Maxwell-dominance postulate. read the letter →

arxiv 2505.06715 v1 pith:2VALGOPK submitted 2025-05-10 hep-th gr-qc

Anatoly E. Shabad This is my paper · ORCID
classification hep-thgr-qc
keywords nonlinearelectrodynamicseffectiveactioncausalitygroupvelocityMaxwelldominanceprincipleGaussiancurvatureHessiandeterminantbirefringence
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper derives necessary conditions that causality, understood as a ban on superluminal group velocities, imposes on any local effective action for nonlinear electrodynamics. Working with small, slowly varying photon disturbances over a constant background field in which both field invariants $F$ and $G$ are nonzero, it takes causality to mean that group velocities never exceed the speed of light. Combined with a 'Maxwell dominance' postulate — that nonlinear corrections never become strong enough to overwhelm the linear Maxwell term — this group-velocity bound is shown to imply $L_{FF}L_{GG}-L_{FG}^2\ge 0$ for the local Lagrangian $L(F,G)$. As a result the two-dimensional surface $Z=L(F,G)$ has nonnegative Gaussian curvature and the vacuum point $F=G=0$ is a local minimum. The value of the result is that it gives model-independent, ready-to-check inequalities for candidate Lagrangians in QED-inspired effective theories and in gravity-coupled nonlinear electrodynamics.

What carries the argument

The central object is the quadratic equation (33) for $\beta=k^2/k_\perp^2$, whose two roots fix the soft-photon dispersion lines $k_0^2-k_\parallel^2=(1-\beta)k_\perp^2$ in the special frame where the background electric and magnetic fields are parallel or antiparallel. Causality says both roots must lie between 0 and 1; the product-sum relations for roots of a quadratic then connect these root conditions to expressions built from the second derivatives of $L$, through the combinations $\Gamma_1=L_{FF}B^2+L_{GG}E^2+2BE\,L_{FG}$, $\Gamma_2=L_{FF}E^2+L_{GG}B^2-2BE\,L_{FG}$, and $\Gamma_3=(L_{FF}-L_{GG})G-L_{FG}(B^2-E^2)$. The Maxwell Dominance Principle is the postulate that nonlinear derivative terms never change the sign fixed by the constant term 1 in the denominators of the roots. The decisive algebraic identity is $\Gamma_2\Gamma_1-\Gamma_3^2=(E^2+B^2)^2(L_{FF}L_{GG}-L_{FG}^2)$, which converts the inequalities into the Hessian determinant bound.

What would settle it

Find or construct a local Lagrangian with $L_{FF}L_{GG}-L_{FG}^2<0$ at some $(F,G)$ whose dispersion roots still satisfy $0\le\beta_{3,2}\le 1$ together with $(1-L_F)>0$ and $(1-L_F+\Gamma_2)>0$; such an example would falsify the claimed derivation. Alternatively, a measurement of soft-photon group velocities above a background field with both invariants nonzero that exceeded $c$ would refute the causality premise itself.

Watch

Extended reading notes

Core claim

In the paper's own terms, the new claim is Eq. (44): for a local nonlinear Lagrangian $L(F,G)$ with both invariants nonzero, the causality conditions $0\le\beta_{3,2}\le 1$ on the slopes of the two soft-photon dispersion lines, together with the Maxwell Dominance Principle in the form $(1-L_F)>0$ and $(1-L_F+\Gamma_2)>0$, force $L_{FF}L_{GG}-L_{FG}^2\ge 0$. Because the combinations of derivatives obey $\Gamma_2\Gamma_1-\Gamma_3^2=(E^2+B^2)^2(L_{FF}L_{GG}-L_{FG}^2)$, the root conditions translate directly into a geometric statement: the surface $Z=L(F,G)$ has nonnegative Gaussian curvature in the admissible field-strength regime. The same argument yields $L_{FF}>0$ and $L_{GG}>0$, and with the Correspondence principle ($L=L_F=L_G=0$ at the origin) it makes the vacuum a local minimum of the effective Lagrangian. The paper also shows that the Maxwell Dominance Principle implies positivity of the photon-propagator residues and that the causality conditions are strictly stronger than the standard energy conditions in the degenerate $G=0$ case.

Load-bearing premise

The load-bearing premise is the Maxwell Dominance Principle, expressed by $(1-L_F)>0$ and $(1-L_F+\Gamma_2)>0$: the paper assumes nonlinear corrections never become strong enough to reverse the sign of the linear denominators, and this is not derived from causality or from QED in the general $G\ne 0$ case; without it the Hessian inequality does not follow from root positivity alone.

Editorial extensions

If this is right

  • Every local effective electrodynamics that obeys the group-velocity causality bound and Maxwell dominance must be convex in $(F,G)$: $L_{FF}>0$, $L_{GG}>0$ and $L_{FF}L_{GG}-L_{FG}^2\ge 0$ everywhere in the allowed field range.
  • The vacuum point $F=G=0$ is a local minimum of the effective action, so the combination of causality and the Correspondence principle selects the Maxwell vacuum as stable.
  • Positive residues of the photon propagator — the usual unitarity requirement — follow from Maxwell dominance, not from a separate postulate.
  • In the magnetic-only case the causality conditions supply the inequality $L_{FF}\ge 0$ that the weak, dominant and null energy conditions fail to give.
  • Candidate Lagrangians proposed for gravity-coupled nonlinear electrodynamics or for parametrizing photon-photon scattering can be filtered by these inequalities before further dynamical tests.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same group-velocity logic applied to the nonlocal polarization tensor at finite momentum should produce derivative-level causality inequalities for the full many-photon vertices, constraining dispersion beyond the local limit.
  • If Maxwell dominance is interpreted as the presence of a small coupling, the theorem suggests a division of labor: causality fixes the convexity of the action, while the coupling strength fixes the field range over which that convexity is guaranteed.
  • A concrete check would evaluate the Hessian determinant of the one-loop QED Lagrangian for $G\ne 0$ and compare the region where it is nonnegative with the region satisfying $\Gamma_1>0,\Gamma_2>0$; any mismatch indicates which premise is the one that fails.
  • Because the appendix shows weak energy condition equals positive residues, models that pass all standard energy conditions may still violate the causality-based convexity bound, which could matter for gravitational applications.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. Section 3 of this paper considers the local limit L(F,G) of a general nonlocal effective action for electrodynamics, with background constant fields carrying both invariants F and G nonvanishing. Causality is imposed as the requirement that the group velocity of small, soft wave-packet disturbances, computed in the special frame where E and B are (anti)parallel, obey 0≤β≤1 on the two dispersion branches defined by the quadratic equation (33). Using Vieta's relations, the paper shows that, if the Maxwell Dominance Principle (MDP) inequalities (42) hold, then the causality condition β2β3≥0 is equivalent to the Hessian inequality LFF LGG−LFG²≥0 (Eq. (44)), together with Γ1>0, Γ2>0 and hence LFF>0, LGG>0. With the correspondence principle (50), the origin F=G=0 is argued to be a local minimum of L(F,G). The G=0 limiting case is revisited in Section 4, where the two MDP inequalities are derived from positivity of the photon-propagator residues.

Significance. The paper provides a transparent, parameter-free derivation of a concrete geometric constraint on effective Lagrangians; the algebra from the dispersion equation to Eq. (44) is explicit and checkable, and the assumptions are listed in the Conclusion in a clear scheme. The result is useful for model selection in nonlinear electrodynamics and gravity contexts, and the G=0 derivation of MDP from positive residues is a genuine strengthening of previous work. The main caveat is that, for the central G≠0 case, MDP is an additional physical axiom rather than a consequence of causality; the abstract and title currently overstate the implication. Because the author acknowledges this in the Conclusion scheme, the paper is internally consistent but needs re-framing.

major comments (2)
  1. [Section 3.2, Eqs. (42)–(44)] The central curvature inequality (44) is not a consequence of causality alone; it requires the Maxwell Dominance Principle, stated in Eq. (42) as (1−L_F)>0 and (1−L_F+Γ2)>0, which is introduced as an assumption for the general G≠0 case. This is load-bearing: in the Vieta step (43), causality gives only β2β3≥0; dividing by the denominator and using (42) selects Γ1Γ2−Γ3²≥0. If the denominator were negative, the same causality condition would force the opposite sign of the Hessian. The Conclusion scheme acknowledges MDP as an input, but the Abstract and the title (“from causality to convexity”) present the implication as unconditional. The paper should either prove MDP from more basic principles for G≠0 or restate the central claim as a conditional theorem with MDP explicitly among the hypotheses.
  2. [Section 4, Eqs. (60)–(62)] The only derivation of MDP from positive residues is given for the degenerate case Γ3=0 (G=0), where the two inequalities (62) are obtained from the residue formula (60). In the general case treated in Section 3, Eq. (60) is merely asserted to be “provided within the domain of Maxwell dominance”; no proof is supplied that the poles have positive residues under MDP for G≠0. Since MDP is the only ingredient converting the causality condition β2β3≥0 into the geometric inequality (44), the proof for G≠0 is incomplete unless this gap is filled or the status of MDP as a separate axiom is made explicit in the abstract as well as in the conclusion.
minor comments (5)
  1. [Section 3.3, Eqs. (52) and (54)] There are typos in the displayed inequalities: the square root should contain LFF LGG, not LFF LFG; as written, the equalities to (L^{1/2}_FF ∓ θ L^{1/2}_GG)² do not follow.
  2. [Section 3.3, first paragraph after Eq. (51)] The text says “let us prove that this extremum is a maximum,” but the subsequent argument establishes that the origin is a minimum; the word “maximum” should be “minimum.”
  3. [Section 4, Eq. (61)] The denominator in the displayed formula contains a stray square: “2| Γ1− Γ2 (1−β)2|” should presumably read “2| Γ1− Γ2 (1−β)|.”
  4. [Appendix, text after Eq. (70) and Eq. (57)] The appendix contains an unresolved placeholder “already established relation ( ??),” and the completeness relation after Eq. (57) is missing the summation symbol in “P3”; both should be corrected.
  5. [References] Reference [4] lists the arXiv identifier “0991.0640,” which appears malformed; please verify the identifier and correct it.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central inequality is derived from explicitly stated postulates, and the Maxwell Dominance input is transparent rather than smuggled or fitted.

full rationale

The derivation of Eq. (44) from the group-velocity causality bounds beta in [0,1] plus the Maxwell Dominance Principle (42) is algebraically self-contained in Section 3.2. The MDP is introduced explicitly as an additional principle ('We have to introduce the additional principle of Maxwell dominance at this step'), and Section 4 derives it only in the degenerate G=0 case for positive residues; for general G it remains an unproved postulate, not a hidden reuse of the conclusion. The paper's own Conclusion scheme lists MDP as an input, so the central result is a conditional theorem: causality + MDP implies Hessian nonnegativity. Self-citations to Refs. [4], [5], [18], [29], and [30] supply background formalism and the previously known G=0 special case, but the target result for general F and G is derived in the paper from the local Lagrangian and the stated assumptions; no free parameter is fitted and no prediction is obtained by renaming a fitted input. The abstract's wording that the causality conditions 'lead' to positive Gaussian curvature is somewhat compressed because MDP is also needed, but this is an overstatement of scope rather than a circular step.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim rests on three main axioms: causality (group velocity <= c), the newly introduced Maxwell Dominance Principle, and the Correspondence principle. MDP is the most substantive and least derived assumption. No free parameters are fitted and no new entities are introduced.

assumptions (6)
  • domain assumption Causality: group velocity of wave packets must not exceed c
    Used throughout Section 3 to set 1 >= beta >= 0. This is a fundamental physical postulate in the paper's argument.
  • ad hoc to paper Maxwell Dominance Principle (MDP), Eq. (42): 1 - L_F > 0 and 1 - L_F + Gamma_2 > 0
    Introduced in Section 3.2 as a new principle. It is essential for deriving the Hessian inequality (44); the paper notes it is 'newly claimed' and only in the degenerate G=0 case does it follow from positive residue conditions.
  • domain assumption Correspondence principle, Eq. (50): L(0,0)=0, L_F(0,0)=L_G(0,0)=0
    Ensures the linear Maxwell electrodynamics is recovered at weak fields. Used in Section 3.3 to establish the origin as a minimum.
  • domain assumption Local limit form: the nonlinear Lagrangian depends only on F and G, not on derivatives
    The analysis considers small and soft disturbances, so the action reduces to L(F,G). Stated in Section 3.1.
  • standard math Existence of a Lorentz frame with parallel/antiparallel E and B fields
    Used to simplify the dispersion analysis in Section 3.2; a standard property of constant EM fields with nonvanishing invariants.
  • domain assumption Positive residue (unitarity) condition for the photon propagator
    In Section 4, positivity of residues is imposed and shown to follow from MDP; this is a physical requirement but not needed for the central Hessian result.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Axiomatic quantum electrodynamics: from causality to convexity of effective action." pith.science (2026). https://pith.science/paper/2VALGOPK

@misc{pith2026250506715,
  author       = {Pith},
  title        = {Pith review of: Axiomatic quantum electrodynamics: from causality to convexity of effective action},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2VALGOPK}},
  note         = {Machine review of arXiv:2505.06715}
}
read the original abstract

Theory of electromagnetic field, specified by an effective action functional, is considered. The causality condition is imposed in the form of a requirement that the group velocities of propagation of small and soft disturbances over the background of an external constant field should not exceed the speed of light in vacuum. It is shown that these conditions lead, in particular, to a very definite conclusion about the geometry of the local limit of the effective action. Namely, the surface, which is specified in the local limit by the nonlinear Lagrangian, considered as a function of two invariants of the field has positive Gaussian curvature.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 28 canonical work pages

  1. [1]

    Weinberg, The Quantum Theory of Fields , University Press, Cambridge (2001)

    S. Weinberg, The Quantum Theory of Fields , University Press, Cambridge (2001)

    work page 2001

  2. [2]

    V. B. Berestetsky, E. M. Lifshits, and L. P. Pitayevsky, Quantum Electrodynamics (Nauka, Moscow, 1989; Pergamon Press Oxford, New York, 1982)

    work page 1989

  3. [3]

    Aaboud et al

    M. Aaboud et al. (ATLAS Collaboration), Evidence for light-by-light scattering in heavy- ion collisions with the ATLAS detector at the LHC, arXiv:1702.01625. Published in Nature Physics (2017)

    arXiv 2017

  4. [4]

    Shabad and V.V

    A.E. Shabad and V.V. Usov, Convexity of effective Lagrangian in nonlinear electrodynamics as derived from causality, arXiv: 0991.0640 [hep-th]

    work page arXiv

  5. [5]

    A. E. Shabad and V. V. Usov, Effective Lagrangian in nonlinear electrodynamics and its properties of causality and unitarity, Phys. Rev. D 83 (2011) 105006, arXiv:1101.2343 [hep- th]

    arXiv 2011

  6. [6]

    Bronnikov, Regular black holes sourced by nonlinear electrodynamics, arXiv:2211.00743 [gr-qc] (2022)

    Kirill A. Bronnikov, Regular black holes sourced by nonlinear electrodynamics, arXiv:2211.00743 [gr-qc] (2022)

    arXiv 2022

  7. [7]

    Perturbative solutions for compact objects in (2+1)-dimensional Bopp-Podolsky electrodynamics

    R.V. Maluf, J.E.G. Silva, C.A.S. Almeida, Gonzalo J. Olmo, arXiv: 2502.18398 [gr-qc] (2025)

    work page Pith review arXiv 2025

  8. [8]

    S.I. Kruglov, Einstein-AdS Gravity Coupled to Nonlinear Electrodynamics, Magnetic Black Holes, Thermodynamics in an Extended Phase Space and Joule–Thomson Expansion , Uni- verse, 2023, 9, 456. https://doi.org/ Uj10.3390/universe9100456 24

    work page 2023

Show all 37 references
  1. [9]

    Anjan Kar, Aspects of a novel nonlinear electrodynamics in flat spacetime and in a gravity- coupled scenario, Eur.Phys.J.C 84 (2024) 12, 1246, arXiv:2406.10577 [gr-qc]

    2024 arXiv

  2. [10]

    S. I. Kruglov, Remarks on Heisenberg–Euler-type electrodynamics, Mod. Phys. Lett. A 32 (2017) 1750092

    2017

  3. [11]

    S. I. Kruglov, Notes on Born–Infeld-type electrodynamics, Mod. Phys. Lett. A 32 (2017) 1750201

    2017

  4. [12]

    Uniyal, S.Chakrabarti, M

    A. Uniyal, S.Chakrabarti, M. Fathi and A. ¨Ovg¨ un, Observational Signatures: Shadow cast by the effective metric of photons for black holes with rational non-linear electrodynamics Ann. Phys. 462, 5332 (2024) DOI:10.1016/j.aop.2024.169614

    2024

  5. [13]

    M. A. P´ erez-Garc´ ıa, A. P´ erez Mart´ ınez, E. Rodr´ ıguez Querts, Remarks on propa- gating waves in non-linear vacuum electrodynamics, Eur. Phys. J. C (2023) 83:746, https://doi.org/10.1140/epjc/s10052-023-11902-3

    2023 doi

  6. [14]

    Garc´ ıa-Salcedo, I

    R. Garc´ ıa-Salcedo, I. G´ omez-Vargas, T. Gonz´ alez, V. Martinez-Badenes, I. Quiros, Combined studies approach to rule out cosmological models which are based on nonlinear electrodynam- ics, Universe 10 (2024) 9, 353, arXiv:2407.00686 [astro-ph.CO]

    2024 arXiv

  7. [15]

    S. I. Kruglov, On generalized ModMax model of nonlinear electrodynamics, Phys. Lett. B 822, 136633 (2021)

    2021

  8. [16]

    Niau Akmansoy, L

    P. Niau Akmansoy, L. G. Medeiros, Constraining nonlinear corrections to Maxwell electrody- namics using γγ scattering, Phys. Rev. D 99, 115005 (2019)

    2019

  9. [17]

    Born and E

    M. Born and E. Wolf, Principles of Optics, Pergamon, Oxford (1968)

    1968

  10. [18]

    Shabad and V.V

    A.E. Shabad and V.V. Usov, Real and virtual photons in an external constant electromagnetic field of most general form, Phys. Rev. D 81, 125008 (2010)

    2010

  11. [19]

    Toll (1956)

    John S. Toll (1956). Causality and the Dispersion Relation: Logical Foundations, Physical Review. 104 (6): 1760–1770. Bibcode:1956PhRv..104.1760T. doi:10.1103/PhysRev.104.1760

    1956 doi

  12. [20]

    R. de L. Kronig (1926). On the theory of the dispersion of X-rays, J. Opt. Soc. Am. 12 (6): 547–557. doi:10.1364/JOSA.12.000547

    1926 doi

  13. [21]

    H. A. Kramers (1927) La diffusion de la lumi` ere par les atomes, Atti Cong. Intern.Fisici, (Transactions of Volta Centenary Congress) Como. 2: 545–557

    1927

  14. [22]

    Hadamard, Le¸ cons sur la propagation des ondes et les ´ equations de l’hydrodynamique

    J. Hadamard, Le¸ cons sur la propagation des ondes et les ´ equations de l’hydrodynamique. A.Hermann, Paris, 1903. 25

    1903

  15. [23]

    Novello, V

    M. Novello, V. A. de Lorenci, J. M. Salim, and R. Klippert, Geometrical aspects of light propagation in nonlinear electrodynamics, Phys. Rev. D 61, 045001 (2000)

    2000

  16. [24]

    Novello, S

    M. Novello, S. E. Perez Bergliaffa, and J. M. Salim, Singularities in General Relativity coupled to nonlinear electrodynamics, Class. Quantum Grav. 17, 3821 (2000); gr-qc/0003052

    2000 arXiv

  17. [25]

    Amanda Guerrieri and M´ ario Novello, arXiv:2210.02634v1 [gr-qc]

    arXiv

  18. [26]

    Shabad, Velocity addition and a closed time cycle in Lorentz-noninvariant theories, Teor

    A.E. Shabad, Velocity addition and a closed time cycle in Lorentz-noninvariant theories, Teor. Mat. Fiz. 187, 421 (2016) ( Theor. and Math. Phys. 187, 813 (2016)), arXiv:1511.08785 (2015)

    2016 arXiv

  19. [27]

    Fresneda, D.M

    R. Fresneda, D.M. Gitman, A.E. Shabad , Photon propagation in noncommutative QED with constant external field , Phys. Rev. D 91, 085005 (2015) , arXiv:1501.04987 (2015)

    2015 arXiv

  20. [28]

    Peskin and D.V

    M.E. Peskin and D.V. Schroeder, Quantum Field Theory, Addison-Wesley Publishing Com- pany, New York (1995). (Russian translation – Introduction into Quantum Field Theory, Regular and Chaotic Dynamics, Moscow-Izhevsk (2001))

    1995

  21. [29]

    A. E. Shabad, Polarization of the Vacuum and Quantum Relativistic Gas in an External Field (Nova Science, New York, 1991); Trudy Fiz. Inst. im. P.N. Lebedeva, Akad. Nauk SSSR, 192, 5 (1988) - in Russian

    1988

  22. [30]

    Batalin and A.E

    I.A. Batalin and A.E. Shabad, Photon Green function in a constant and homogeneous field of general form, Zh. Eksp. Teor. Fiz. 60, 894 (1971) [ Sov. Phys. JETP 33, 483 (1971)]

    1971

  23. [31]

    Hawking and G.F.R

    S.W. Hawking and G.F.R. Ellis, The Large Scale Structure of Space-Time , Cambridge Uni- versity Press, Cambridge, England (1973). (Russian translation – Mir, Moscow (1977))

    1973

  24. [32]

    C. V. Costa, D. M. Gitman, and A. E. Shabad, Nonlinear corrections in basic problems of electro- and magneto-statics in the vacuum, Phys. Rev. D 88, 085026 (2013)

    2013

  25. [33]

    Jerzy Pleba´ nski,Lectures on Nonlinear Electrodynamics (Nordita, Copenhagen, 1970)

    1970

  26. [34]

    V. I. Denisov, E. E. Dolgaya, V. A. Sokolov, and I. P. Denisova, Conformal invariant vacuum in nonlinear electrodynamics, Phys. Rev. D 96 (2017) no. 3, 036008

    2017

  27. [35]

    Sokolov, Extended duality condition for conformal vacuum nonlinear electrodynamics, Phys

    V.A. Sokolov, Extended duality condition for conformal vacuum nonlinear electrodynamics, Phys. Rev. D 104, 124035 (2021); doi: 10.1103/PhysRevD.104.124035

    2021 doi

  28. [36]

    Wald, General Relativity, ( University of Chicago Press, Chicago, 1984)

    R. Wald, General Relativity, ( University of Chicago Press, Chicago, 1984)

    1984

  29. [37]

    A. E. Shabad, Ann. Phys. 90, 166 (1975).] 26

    1975

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.