Thought experimentStatement: AI-adaptedProof: AI-adaptedPipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)

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.

Hypothetical charged periodic cell violates smooth Gauss

Physical scope

A hypothetical smooth periodic Gauss-law branch on a flat three-torus with no boundary, puncture, or charge-compensating exterior; nonzero total charge is inconsistent with the stated periodic constraint. No real apparatus or observed charged cell is asserted.

Statement

Assume Countable Choice The Axiom of Countable Choice ( ${A C}_{ω}$ ) and adopt the local classical Maxwell–Dirac action of Explicit charged Dirac/Maxwell local coupling model. Also use the smooth periodic Gauss-constraint conclusion of Periodic neutral classical Coulomb constraint model under its stated hypotheses. On $T_{L}^{3}$ with side length $L > 0$ in metres, choose the electron charge $q_{S I} = - e_{S I} < 0$ and a constant nonzero smooth commuting spinor $ψ (x) = ψ_{0} \in C^{4}$ in the canonical length normalization of Quantum field quantities and compatible SI normalizations. Its source $ρ_{q} = q_{S I} ψ_{0}^{†} ψ_{0}$ is smooth and periodic, with SI charge-density unit $C m^{- 3}$ under the stated field normalization, and its total charge is $Q = q_{S I} ψ_{0}^{†} ψ_{0} L^{3} \neq 0$ . In a hypothetical periodic configuration with no boundary, puncture, or exterior compensating flux, no smooth periodic electric momentum can satisfy the derived Gauss constraint $div π_{A} + ρ_{q} = 0$ . The neutral case $Q = 0$ is the separate branch supplied by Periodic neutral classical Coulomb constraint model and Gauss multiplier and smooth periodic Coulomb solver. The setup is a thought experiment, not a report of a physical measurement. The constant spinor is a hypothetical field configuration; no Dirac stationarity or observed charged cell is asserted.

Facts & Assumptions

Given: The adopted local Maxwell–Dirac action, the derived smooth periodic Gauss constraint, a smooth periodic field on $T_{L}^{3}$ , and the conditional mathematical neutrality result.

[A1]

Explicit charged Dirac/Maxwell local coupling model: the selected model adopts the smooth local Maxwell–Dirac action. This postulate expressly does not assert its Euler–Lagrange consequences, including the Gauss constraint.

[A2]

Countable Choice is carried from the torus Fourier supplier used for the neutral existence branch. The Axiom of Countable Choice ( ${A C}_{ω}$ )

[F1]

Periodic neutral classical Coulomb constraint model: under its smooth periodic torus hypotheses, variation of the scalar-potential multiplier in the adopted action yields $div π_{A} + ρ_{q} = 0$ . This is a derived model consequence. Neutrality is additionally required for the periodic Coulomb-potential solver, not for the multiplier equation itself.

[F2]

Quantum field quantities and compatible SI normalizations: $ψ$ has canonical length dimension $m^{- 3 / 2}$ , and the spatial coordinates have units metre.

[L1]

Gauss multiplier and smooth periodic Coulomb solver (draft carrier with a current escalated Step 1 decision through its QFT QED-gauge-data prerequisite): for smooth real periodic source density on the flat torus, a smooth periodic solution of $- Δ φ = ρ / ε_{0}$ requires zero spatial mean; when that condition holds, the unique zero-mean smooth solution has the stated Fourier coefficients and nonnegative energy identity. This is a conditional solver for smooth periodic data, not a quantum density product construction.

[A3]

Hypothetically, $L > 0$ , $q_{S I} = - e_{S I} < 0$ , $ψ (x) = ψ_{0} \neq 0$ is constant, and the model has no boundary, puncture, or compensating exterior flux.

Proof

Given: [A1]–[A2], [F1], [L1], and the hypothetical condition [A3].

1.1A1F1F2A3algebra

By [A3], $ρ_{q} = q_{S I} ψ_{0}^{†} ψ_{0}$ is constant; its SI density unit is $C m^{- 3}$ by [F2] and the stated charge convention. Thus $Q = q_{S I} ψ_{0}^{†} ψ_{0} L^{3} < 0$ because $q_{S I} < 0$ , $ψ_{0}^{†} ψ_{0} > 0$ , and $L > 0$ . A smooth periodic solution of [F1] would satisfy $div π_{A} = - ρ_{q}$ . Integrate this equality over the fundamental cube $[0, L]^{3}$ . For each coordinate $i$ , the integral of $\partial_{i} (π_{A})_{i}$ in that coordinate is the value on the face $x_{i} = L$ minus the value on $x_{i} = 0$ ; these are equal by periodicity, so each face difference is zero. Fubini for the smooth functions on the compact cube then gives $\int_{T_{L}^{3}} div π_{A} d^{3} x = 0$ . It follows that $Q = \int_{T_{L}^{3}} ρ_{q} d^{3} x = 0$ , contradicting the strict inequality in this step.

2.1A2L1step 1.1given∎

Independently, [L1] records the same compatibility requirement for the Coulomb equation: a smooth periodic potential can exist only for zero-mean charge density. Thus the contradiction is a consequence of the specified periodic model and boundary conditions; adding a boundary, puncture, or compensating source changes the hypotheses and is not covered.

Hypothetical charged periodic cell violates smooth Gauss

Statement

Facts & Assumptions

Proof

Depends on

Dependency tree · 2 levels

Sources