pith. sign in

arxiv: 2603.20979 · v2 · submitted 2026-03-21 · 🌀 gr-qc

Second-Order Bi-Scalar-Vector-Tensor Field Equations Compatible with Conservation of Charge in a Space of Four-Dimensions

Gregory W. Horndeski This is my paper

Pith reviewed 2026-05-15 06:26 UTC · model grok-4.3

classification 🌀 gr-qc
keywords bi-scalar-vector-tensorsecond-order field equationscharge conservationvariational principleMaxwell equationsfour dimensionsHiggs fieldYang-Mills theories
0
0 comments X

The pith

Even after requiring charge conservation and reduction to Maxwell's equations, no Lagrangian yields all possible second-order bi-scalar-vector-tensor field equations in four dimensions.

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

This paper examines the possible forms of second-order field equations involving two scalar fields, one vector field, and the spacetime metric in four dimensions that can be derived from a variational principle. To narrow the vast possibilities, the equations for the vector field must respect conservation of electric charge and reduce exactly to Maxwell's equations when the scalars are held constant. Despite these strong constraints, the author finds that it is impossible to construct a single Lagrangian capable of generating the entire class of such equations. This exploration opens discussion of alternative restrictions and suggests applications such as allowing scalar fields to source electromagnetic fields in the early universe or extending the framework to non-Abelian gauge theories.

Core claim

The central discovery is that requiring consistency with charge conservation for the vector potential and recovery of Maxwell's equations in the constant-scalar limit does not suffice to allow a Lagrangian formulation for every conceivable second-order bi-scalar-vector-tensor system in four spacetime dimensions. This leads to consideration of further restrictions on the equations and to remarks on using such theories to have the Higgs field generate electromagnetic fields during the early universe, as well as constructing bi-scalar-Yang-Mills-tensor theories that preserve gauge charge conservation.

What carries the argument

A Lagrangian density whose Euler-Lagrange equations produce the bi-scalar-vector-tensor system, constrained so that the vector equation implies charge conservation and matches Maxwell theory when scalars are constant.

If this is right

  • The vector field equations can be made consistent with charge conservation.
  • The full system reduces to Maxwell's equations when the scalar fields are constant.
  • The Higgs field can generate electromagnetic fields in the early Universe.
  • Bi-scalar fields can be coupled to gauge-tensor fields to yield second-order bi-scalar-Yang-Mills-tensor theories compatible with gauge charge conservation.

Where Pith is reading between the lines

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

  • The incompleteness of the variational class suggests that some physically motivated bi-scalar-vector-tensor models may need to be formulated outside strict Lagrangian principles.
  • The early-universe application implies scalar fields could source primordial electromagnetic fields without additional mechanisms.
  • The Yang-Mills extension opens a route to second-order theories with non-Abelian gauge fields while preserving charge conservation.
  • Similar restrictions might be applied in modified gravity to select viable multi-field models without introducing higher derivatives.

Load-bearing premise

That the full set of second-order bi-scalar-vector-tensor equations must arise from the variation of a single Lagrangian in four-dimensional spacetime while identifying the vector field with the electromagnetic potential.

What would settle it

Explicit construction of a specific second-order vector equation that conserves charge, reduces to Maxwell's equations for constant scalars, yet cannot be recovered as the Euler-Lagrange equation of any scalar Lagrangian density.

read the original abstract

The purpose of this paper is to explore, in a space of four-dimensions, the possible forms that second-order, bi-scalar-vector-tensor field equations derivable from a variational principle can assume. In order to restrict this enormous class of field equations I shall first require that the equations governing the vector field (which will be identified with the vector potential of an electromagnetic field) be consistent with the notion of conservation of charge. Secondly I shall require that these vector equations reduce to Maxwell's equations in a flat space when the scalar fields are constant. Unfortunately even with these two powerful restrictions on the form of the field equations I have not been able to construct a Lagrangian which yields all possible field equations of this nature. This situation will lead to a discussion of other ways in which the field equations can be restricted to obtain viable bi-scalar-vector-tensor field equations. Lastly I shall make a few remarks on how the results obtained can be used to show that the Higgs field can generate electromagnetic fields in the early Universe, and how to couple bi-scalar fields to gauge-tensor fields to construct second-order, bi-scalar-Yang-Mills-tensor field theories compatible with the conservation of gauge charge.

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.

Referee Report

1 major / 1 minor

Summary. The paper explores possible forms of second-order bi-scalar-vector-tensor field equations in four-dimensional spacetime derivable from a variational principle. It imposes consistency with charge conservation for the vector field (identified with the electromagnetic potential) and reduction to Maxwell's equations when scalars are constant. The central finding is that no single Lagrangian could be constructed to generate the full class of such equations under these restrictions; the work then discusses alternative ways to restrict the equations and sketches applications to Higgs-generated electromagnetic fields in the early universe and to bi-scalar-Yang-Mills-tensor theories.

Significance. If the negative result on Lagrangian construction holds, the paper usefully illustrates the tension between requiring variational origin, charge conservation, and Maxwell reduction for multi-field theories, thereby guiding the construction of viable scalar-vector-tensor models. The sketched applications to early-universe electromagnetism and gauge-field extensions provide concrete directions for further work, even if the exploration remains incomplete.

major comments (1)
  1. [Abstract and main discussion] Abstract and the paragraph immediately following the two restrictions: the claim that 'even with these two powerful restrictions... I have not been able to construct a Lagrangian which yields all possible field equations' is load-bearing for the central negative result, yet the manuscript provides neither an explicit enumeration of the allowed second-order equations under the constraints nor the specific Lagrangian forms that were attempted and rejected.
minor comments (1)
  1. [Introduction] The identification of the vector field with the electromagnetic potential is stated but would benefit from a brief paragraph clarifying how the charge-conservation condition is imposed at the level of the Euler-Lagrange equations.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We appreciate the recognition of the paper's significance in highlighting tensions in constructing multi-field theories. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract and main discussion] Abstract and the paragraph immediately following the two restrictions: the claim that 'even with these two powerful restrictions... I have not been able to construct a Lagrangian which yields all possible field equations' is load-bearing for the central negative result, yet the manuscript provides neither an explicit enumeration of the allowed second-order equations under the constraints nor the specific Lagrangian forms that were attempted and rejected.

    Authors: We agree that the central negative result would be strengthened by greater explicitness. The manuscript derives the general structure of the vector equations imposed by charge conservation (vanishing divergence) and reduction to Maxwell's equations when scalars are constant, but does not enumerate every allowed term or detail each Lagrangian form considered. In the revised manuscript we will add a dedicated subsection that explicitly enumerates the allowed second-order terms in the vector field equations under the two restrictions and clarifies the classes of Lagrangians (e.g., those built from F_{μν}F^{μν} and scalar couplings) that were examined and found insufficient to generate the full class. This will make the claim that no single Lagrangian suffices fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper performs an exploratory classification of second-order bi-scalar-vector-tensor equations under two external constraints (charge conservation and reduction to Maxwell equations for constant scalars). It explicitly reports a negative result: no single Lagrangian was found that generates the full class. The work then pivots to alternative restrictions and applications without claiming a complete derivation or uniqueness theorem. No step reduces by construction to a fitted parameter, self-defined quantity, or load-bearing self-citation chain; the central finding is the absence of such a Lagrangian, which is self-contained and falsifiable within the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Only the abstract is available, so the ledger is limited to assumptions stated there; no explicit free parameters or invented entities are named.

axioms (3)
  • domain assumption Field equations must be second-order and derivable from a variational principle.
    Invoked to ensure absence of higher-derivative instabilities.
  • domain assumption Vector equations must be consistent with conservation of charge.
    Required for physical identification with electromagnetism.
  • domain assumption Equations reduce to Maxwell's in flat space for constant scalars.
    Stated as a necessary reduction condition.

pith-pipeline@v0.9.0 · 5519 in / 1367 out tokens · 70199 ms · 2026-05-15T06:26:22.956203+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    The purpose of this paper is to explore, in a space of four-dimensions, the possible forms that second-order, bi-scalar-vector-tensor field equations derivable from a variational principle can assume... require that the equations governing the vector field... be consistent with the notion of conservation of charge... reduce to Maxwell's equations in a flat space when the scalar fields are constant.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Theorem 2: ... Di must be independent of explicit dependence on Aa... DS_i = g½{ó1[öi_a îa − îi G ö + ... ] ...}

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

21 extracted references · 21 canonical work pages · 4 internal anchors

  1. [1]

    arXiv.org/abs/2405.08303, August, 2024

    Horndeski, G.W.: Second-Order Bi-Scalar-Tensor Field Equations in a Space of Four- Dimensions. arXiv.org/abs/2405.08303, August, 2024. To appear in 2026 in the International Journal of Theoretical Physics: https://doi.org/10.1007/s10773-025-06181-5

    work page doi:10.1007/s10773-025-06181-5 2024

  2. [2]

    Horndeski, G.W.: Conservation of Charge and the Einstein-Maxwell Field Equations. J. Math. Phys., 17 (1976), 1980-1987. https://doi.org/10.1063/1.522837

    work page doi:10.1063/1.522837 1976

  3. [3]

    Results Math 24, 3 (1993)

    Rund, H.: Variational Problems in the Calculus of Variations in which the Unknown Functions are Tensor Components. Results Math 24, 3 (1993). https://doi.org/10.1007/BF03322313

    work page doi:10.1007/bf03322313 1993

  4. [4]

    Tensor 20, 347 (1969) 60

    du Plessis, J.C.: Tensorial Concomitants and Conservation Laws. Tensor 20, 347 (1969) 60

    work page 1969

  5. [5]

    Horndeski, G.W.: Invariant Variational Principles and Field Theories. Ph.D. thesis, University of Waterloo (1973)

    work page 1973

  6. [6]

    The most general second-order field equations of bi-scalar-tensor theory in four dimensions

    Ohashi, S., Tanahashi, N., Kobayashi, T. and Yamaguchi, M.: The most general second-order field equations of bi-scalar-tensor theory in four dimensions. J. High Energ. Phys. 2015, 8 (2015). https://doi.org/10.1007/JHEP07(2015)008 arxiv.org/abs/1505.06029

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep07(2015)008 2015

  7. [7]

    Multi-field G-inflation

    Kobayashi, T., Tanahashi, N. and Yamaguchi, M.: Multi-field G-inflation. Phys.Rev. D 88, 083504 (2013). https://doi.org/10.1103/PhysRevD.88.083504 arXiv.org/abs/1308.4798

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.88.083504 2013

  8. [8]

    Generalized multi-Galileons, covariantized new terms, and the no-go theorem for non-singular cosmologies

    Akama, S. & Kobayashi, T.: Generalized multi-Galileons, covariantized new terms, and the no- go theorem for non-singular cosmologies. Phys. Rev. D 95 (2017) 064011. https://doi.org/10.1103/PhysRevD.95.064011 arXiv.org/abs/1701.02926

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.95.064011 2017

  9. [9]

    Aeq Math 4, 127 (1970)

    Lovelock, D.: Divergence-Free Tensorial Concomitants. Aeq Math 4, 127 (1970)

    work page 1970

  10. [10]

    Int J Theor Phys 10, 363 (1974).https://doi.org/10.1007/BF01807638

    Horndeski, G.W.: Second-Order Scalar-Tensor Field Equations in a Space of Four-Dimensions. Int J Theor Phys 10, 363 (1974).https://doi.org/10.1007/BF01807638

    work page doi:10.1007/bf01807638 1974

  11. [11]

    Abh Math Sem Univ Hamburg 29, 243 (1966)

    Rund,H.: Variational Problems Involving Combined Tensor Fields. Abh Math Sem Univ Hamburg 29, 243 (1966)

    work page 1966

  12. [12]

    and Lovelock, D.: Scalar-Tensor Field Theories

    Horndeski, G.W. and Lovelock, D.: Scalar-Tensor Field Theories. Tensor 24, 79 (1972)

    work page 1972

  13. [13]

    Tensor 28, 303 (1974)

    Horndeski, G.W.: Differential Operators Associated with the Euler-Lagranage Operator. Tensor 28, 303 (1974)

    work page 1974

  14. [14]

    J Austral Math Soc 14, 482 (1972)

    Lovelock, D.: The Euler-Lagrange Expression and Degenerate Lagrange Densities. J Austral Math Soc 14, 482 (1972). https://doi.org/10.1017/S1446788700011125

    work page doi:10.1017/s1446788700011125 1972

  15. [15]

    Tensor 32, 131 (1978)

    Horndeski, G.W.: Gauge Invariance and Charge Conservation. Tensor 32, 131 (1978)

    work page 1978

  16. [16]

    Cambridge at the University 61 Press (1934)

    Thomas, T.Y.: The Differential Invariants of Generalized Spaces. Cambridge at the University 61 Press (1934)

    work page 1934

  17. [17]

    Conformally Invariant Scalar-Tensor Field Theories in a Four-Dimensional Space

    Horndeski, G.W.: Conformally Invariant Scalar-Tensor Concomitants in a Four-Dimensional Space. arXiv.org/abs/1706.04827 , June, 2017

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  18. [18]

    Yang, C.N., Mills, R.L.: Conservation of Isotopic Spin and Isotopic Gauge Invariance. Phys. Rev. 96, 191 (1954)

    work page 1954

  19. [19]

    and Nomizu, K.: Foundations of Differential Geometry, Volume 1

    Kobayashi, S. and Nomizu, K.: Foundations of Differential Geometry, Volume 1. Wiley Interscience (1969)

    work page 1969

  20. [20]

    Horndeski, G.W.: Gauge Invariance and Charge Conservation in non-Abelian Gauge Theories, Arch. Ration. Mech. Anal. 75, 211 (1981)

    work page 1981

  21. [21]

    Horndeski, G.W.: Conservation of Charge and Second-Order Gauge-Tensor Field Theories, Arch. Ration. Mech. Anal.75, 229 (1981) 62

    work page 1981