Alphabeta Math
Pipeline-generated
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Independent equation-based Einstein–Maxwell coupling — Examples

1 · Prerequisites

2 · Summary

Scope

These examples calculate two limits of the specified smooth coupling. A classical scalar plane wave can solve its matter equation on a prescribed flat background while failing the coupled Einstein equation; with nonzero electromagnetic coupling, the same zero-potential background also fails the sourced Maxwell equation. A separate constant electric field solves the source-free Maxwell equations on Minkowski space but has nonzero Hilbert stress, so the same flat metric fails the coupled Einstein equation. These are exact conditional model calculations, not observations or claims about particle ontology.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passOpen item page →

Background scalar wave versus coupled source equations

Physical scope

Exact smooth plane-wave calculations in the specified classical scalar model on a flat background. They distinguish a matter equation solution from a solution of the coupled equations and make no empirical or quantum claim.

Example

Take the trivial global-potential branch of the scalar model on M=R4 with global coordinates (x0,x), where x0=ct and x∈R3, and Minkowski metric η=diag⁡(−1,1,1,1). Use the trivial principal bundle P=M×U(1) with its product connection, so the global physical potential is A=0, and take φ∈C∞(R4;C). Set V(u)=ms2u, where ms>0 is a classical inverse-length parameter [m−1], not a rest mass. Let C∈C∖{0} be dimensionless and let k∈R3 have components in m−1. Define the angular frequency ω:=c∣k∣2+ms2, with unit s−1. The smooth field φ=Cexp⁡(−iωt+ik⋅x) solves the scalar equation for every allowed value of λ, because A=0 makes Da=∂a. Its current, however, depends on λ. The two cases below show why a solution of the scalar equation on a prescribed background need not solve the coupled Einstein–Maxwell system.

Facts & Assumptions

Given: The smooth scalar model and its coupled equations from Field equations and balances of the selected scalar coupling, the flat metric and fields in the Example, ms>0, C≠0, real k, and the indexed countable-choice convention [A3].

[F1]

Field equations and balances of the selected scalar coupling: with Eφ=DaPa−V′(∣φ∣2)φ, scalar stationarity requires Eφ=0; the matter current and stress are ja=KφλIm⁡(φ‾Pa) and Tabφ=KφRe⁡(Pa‾Pb)−Kφ2gabLφ; the coupled Maxwell and Einstein equations use those sources.

[A1]

Λ=0, there is no additional matter stress, and the background potential is A=0, so F=0.

[A2]

The scalar is a smooth global complex field on the trivial bundle; ms>0, C≠0, Kφ>0, c>0, and λ is any real number on this branch. In particular, both λ=0 and λ≠0 are admissible.

[A3]

The Axiom of Countable Choice (ACω): every sequence of nonempty sets has a choice function. This is the indexed countable-choice convention used by the compact integration suppliers; no full Axiom of Choice is assumed.

Verification

Given: The hypotheses and exact field definitions above.

1.1A1A2A3F1givenalgebra

Since A=0 in the trivial branch [A2], Pa=∂aφ. With □=−c−2∂t2+Δ, Eφ=(□−ms2)φ=(ω2/c2−∣k∣2−ms2)φ=0 by the definition of ω. Thus the plane wave solves the selected scalar equation on the flat background.

2.1A1A2A3F1step 1.1algebra

For the admissible λ=0 case of [A2], the current formula in [F1] gives ja=0. On shell, Lφ=(−ω2/c2+∣k∣2+ms2)∣C∣2=0 by step 1.1, and P0=−i(ω/c)φ, so Re⁡(P0‾P0)=ω2∣C∣2/c2. The stress formula in [F1] therefore gives T00φ=Kφω2∣C∣2/c2>0. In the Cartesian coordinates of η, the metric components are constant; the Levi-Civita formula Γμνρ=12ηρσ(∂μησν+∂νησμ−∂σημν) therefore gives Γμνρ=0, and the curvature formula then gives G00=0. With Λ=0 and Tm=0, the coupled Einstein equation would require 0=κET00φ, impossible because κE=8πGN/c4>0.

2.2A1A2A3F1step 1.1algebra

For the admissible λ≠0 case of [A2] and the same A=0 wave, P0=i(ω/c)φ, so j0=Kφλ(ω/c)∣C∣2≠0. The sourced Maxwell equation would require 0=∂μFμ0=−μ0j0, because F=0; this is impossible since μ0>0. Thus the background scalar wave is not a coupled solution in this branch either.

3.1step 2.1step 2.2given∎

The exact calculations establish a conditional model example only. ms is not identified with mc/ℏ, and no particle, observation, or quantum field interpretation is asserted.

CounterexampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passOpen item page →

A flat Maxwell field need not solve the coupled Einstein equations

Physical scope

A smooth exact counterexample showing that a source-free Maxwell solution on a prescribed flat background need not satisfy the coupled action-based Einstein equation. It uses no empirical data or singular field.

Statement refuted

The false claim is: on M=R4 with global length coordinates (x0,x), x0=ct, and Minkowski metric η=diag⁡(−1,1,1,1), every smooth source-free Maxwell field on the trivial principal U(1) bundle, paired with that same flat metric, is a solution of the coupled action-based Einstein–Maxwell equations with Λ=0 and no additional matter.

Facts & Assumptions

Given: The action-based field equations and SI stress convention of Einstein–Maxwell equations from compact action stationarity, on a flat background with zero cosmological parameter and no additional matter, under the indexed countable-choice convention [A2].

[F1]

Einstein–Maxwell equations from compact action stationarity: the smooth fixed-sector field system requires dF=0, ∇aFab=−μ0jb, and Gab+Λgab=κE(TabEM+Tabm), where TabEM=μ0−1(FacFbc−14gabFcdFcd).

[A1]

Let M=R4 with global length coordinates (x0,x1,x2,x3), x0=ct, and Minkowski metric η=diag⁡(−1,1,1,1). Use the trivial principal bundle P=M×U(1) with product projection π and its global trivialization. For a nonzero constant electric-field component E0∈R with SI unit V m−1, defined relative to the observer n=∂x0 in the x1 direction, define the global physical potential A∈Ω1(M) by its components A0=E0x1/c and Ai=0 for i=1,2,3. The normalized local representative is a=A/κ0, and the principal connection in this trivialization is ω=−iz−1dz+π∗a for z∈U(1). Its physical curvature is F=κ0da=dA, so F01=−E0/c and all other independent components vanish.

Choose the zero-matter model with configuration space Cm={∗}, no matter-field variations, and differentiable functional Sm[g,ω,∗]≡0. Its matter first variations vanish for every admissible metric and connection variation, hence its current and Hilbert stress are j=0 and Tm=0. Set Λ=0 and g=η.

[A2]

The Axiom of Countable Choice (ACω): every sequence of nonempty sets has a choice function. This is the indexed countable-choice convention used by the compact integration suppliers; no full Axiom of Choice is assumed.

Counterexample

Given: The fields and parameter values in [A1].

1.1A1A2F1givenalgebra

The two-form F is constant, so dF=0 and ∂μFμν=0 for every ν. Hence it satisfies the sourced equation in [F1] with j=0, and is a smooth source-free Maxwell solution on the prescribed Minkowski background.

1.2A1A2F1algebra

Its invariant is FcdFcd=−2E02/c2 and F0cF0c=E02/c2. Substitution in the stress formula [F1] gives T00EM=E02/(2μ0c2)>0.

2.1A1A2F1step 1.2algebra∎

In Cartesian coordinates the components of η are constant, so the Levi-Civita formula Γμνρ=12ηρσ(∂μησν+∂νησμ−∂σημν) gives Γμνρ=0. The curvature formula then gives zero Riemann and Einstein tensors, in particular G00=0. With Λ=0 and Tm=0 from [A1], the coupled Einstein equation in [F1] would require 0=κET00EM, contradicting κE=8πGN/c4>0 and step 1.2. This source-free Maxwell solution on a fixed background is not a solution of the coupled equations, refuting the claim.

Sources