Physics theoremStatement: AI-adaptedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6-luna)

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.

Exact smooth coupled counterpoised dust and observables

Physical scope

Exact smooth solutions of the selected static SI Einstein–Maxwell–charged-dust model for positive superharmonic conformastatic profiles, together with one regular spherical profile and its induced-volume and dilute observables. The finely fixed charge-to-mass ratio belongs only to this family. No empirical realization, arbitrary-data coupled evolution, formation, or stability claim is made.

Statement

Assume the indexed Axiom of Countable Choice ${A C}_{ω}$ of The Axiom of Countable Choice ( ${A C}_{ω}$ ), recorded as the mathematical premise [A2]. Use the selected smooth SI Einstein–Maxwell charged-dust model of [A1], with length coordinates $x^{0} = c t$ and $x^{i}$ in metres, positive constants $c, μ_{0}, G_{N}$ , $ϵ_{0} : = (μ_{0} c^{2})^{- 1}$ , and $κ : = 8 π G_{N} / c^{4}$ . Use the positive-root convention of Explicit rational and real power regimes to set $Q_{s} : = \sqrt{4 π ϵ_{0} G_{N}} > 0$ (units $C k g^{- 1}$ ). For an open $D \subseteq R^{3}$ , let $H \in C^{\infty} (D, (0, \infty))$ be dimensionless and satisfy the Euclidean condition $Δ H : = \sum_{i = 1}^{3} \partial_{i}^{2} H \leq 0$ . On $M : = R_{x^{0}} \times D$ , use the coordinate metric, orientation, and time orientation $g_{H} = - H^{- 2} (d x^{0})^{2} + H^{2} \sum_{i = 1}^{3} (d x^{i})^{2}, n : = H \partial_{0} future, e_{i} : = H^{- 1} \partial_{i} .$ Use the coordinate orientation $d x^{0} \land d x^{1} \land d x^{2} \land d x^{3}$ . Define the smooth potential, field, dust velocity, rest-mass and rest-charge densities, current, and matter stress by $A : = s \frac{c}{Q_{s}} H^{- 1} d x^{0}, F : = d A, U : = c H \partial_{0}, ρ : = - \frac{c^{2} Δ H}{4 π G_{N} H^{3}}, σ : = s Q_{s} ρ, j^{a} : = σ U^{a}, T_{m}^{a b} : = ρ U^{a} U^{b},$ where $s \in {- 1, + 1}$ and the electromagnetic stress $T_{a b}^{E M}$ is the one adopted in [A1]. Then $g_{H}$ is smooth Lorentzian, $n$ is a future unit observer, $U = c n$ is future timelike with $g_{H} (U, U) = - c^{2}$ , all displayed fields are smooth, and $ρ \geq 0$ . This tuple satisfies every equation of the selected dust branch: $d F = 0$ , $\nabla_{a} F^{a b} = - μ_{0} j^{b}$ , $\nabla_{a} (ρ U^{a}) = 0$ , $ρ U^{a} \nabla_{a} U^{b} = σ F^{b}_{c} U^{c}$ , $\nabla_{a} j^{a} = 0$ , $\nabla_{a} T_{m}^{a b} = F^{b}_{c} j^{c}$ , and the adopted Einstein equation with $Λ = 0$ . These are exact conditional model deductions. On ${ρ > 0}$ the ratio $σ / ρ = s Q_{s}$ is constant along $U$ ; no division by $ρ$ is made on ${ρ = 0}$ . The observer electric components are $E_{i} : = c F (e_{i}, n) = - s c^{2} H_{i} / (Q_{s} H^{2})$ , where $H_{i} : = \partial_{i} H$ , and the coordinate acceleration is $a^{0} = 0$ , $a^{i} = - c^{2} H_{i} / H^{3}$ .

Here $ρ$ is rest-mass density in $k g m^{- 3}$ , $σ$ is rest-charge density in $C m^{- 3}$ , and the stress components have energy-density units $J m^{- 3}$ . The orthonormal components of $F$ have tesla units and $E_{i}$ has units $V m^{- 1}$ , under the SI convention of [A1].

The total stress $T_{a b} : = T_{m, a b} + T_{a b}^{E M}$ satisfies the weak, null, dominant, and strong energy conditions pointwise: respectively $T (v, v) \geq 0$ for every future timelike $v$ ; $T (ℓ, ℓ) \geq 0$ for every nonzero future null $ℓ$ ; $- T^{a}_{b} v^{b}$ is future causal or zero for every future timelike $v$ ; and the weak condition holds for $T_{a b} - \frac{1}{2} (g^{c d} T_{c d}) g_{a b}$ .

For the spherical specialization on all $R^{3}$ , let $a, b > 0$ be lengths, $r^{2} : = \sum_{i = 1}^{3} (x^{i})^{2}, Ψ : = \sqrt{r^{2} + b^{2}}, H : = 1 + \frac{a}{Ψ} .$ Then $Δ H = - 3 a b^{2} / (r^{2} + b^{2})^{5 / 2} < 0$ and $ρ = 3 c^{2} a b^{2} / [4 π G_{N} H^{3} (r^{2} + b^{2})^{5 / 2}] > 0$ everywhere. On a slice $Σ = {x^{0} = c o n s t a n t}$ the induced spatial metric is $h = H^{2} δ_{i j} d x^{i} d x^{j}$ and its volume measure is $d V_{h} = H^{3} d λ_{3}$ , where $λ_{3}$ is Euclidean Lebesgue measure. Define the proper matter mass and signed charge by $M_{p r o p} : = \int_{Σ} ρ d V_{h}$ and $Q_{p r o p} : = \int_{Σ} σ d V_{h}$ . Both are finite, with $M_{p r o p} = \frac{c^{2} a}{G_{N}}, Q_{p r o p} = s Q_{s} \frac{c^{2} a}{G_{N}} .$ The scalar curvature, meaning the trace of the Ricci tensor in the adopted convention, is $S_{g} = - 2 Δ H / H^{3} > 0$ . These proper integrals are not identified with an ADM mass or a measurement.

For $a = δ b$ with $0 < δ \leq 1$ , put $h_{0} : = b / Ψ$ and define the positive linear density profile $ρ_{l i n} : = \frac{3 c^{2} δ b^{3}}{4 π G_{N} (r^{2} + b^{2})^{5 / 2}} .$ The same exact coupled solutions satisfy the entrywise Cartesian-coordinate bounds $∣ g_{00} + (1 - 2 δ h_{0}) ∣ \leq 3 δ^{2}, ∣ g_{i j} - (1 + 2 δ h_{0}) δ_{i j} ∣ \leq δ^{2}, 0 \leq 1 - \frac{ρ}{ρ_{l i n}} \leq 3 δ .$ All these are ideal model statements, not observed data. The result does not assert physical realization, stability, formation, or a coupled initial-value theorem.

Facts & Assumptions

Given: ${A C}_{ω}$ , $D$ , $H$ , $s$ , $c$ , $μ_{0}$ , $G_{N}$ , and the field conventions specified in the Statement.

[A1]

Selected transported charged-dust Einstein–Maxwell model adopts the SI Einstein and smooth curved-Maxwell equations, $T_{m}^{a b} = ρ U^{a} U^{b}$ , $j^{a} = σ U^{a}$ , the undivided mass-continuity and Lorentz-force equations, and charge-current conservation. It requires $ρ \geq 0$ , $g (U, U) = - c^{2}$ , and $σ = 0$ at $ρ = 0$ ; on positive-density open sets it defines $α = σ / ρ$ and adopts its transport through $U^{a} \nabla_{a} α = 0$ . The Einstein–Maxwell equations are physical postulates, not deductions from mathematics or the cited literature. The selected branch excludes singular sources and makes no existence, stability, or empirical claim.

[F1]

Exact smooth superharmonic counterpoised dust family: under ${A C}_{ω}$ , smooth positive $H$ with $Δ H \leq 0$ , the positive constants and either sign $s$ , the exact displayed fields are smooth, $U$ is future timelike, and $ρ \geq 0$ . Its Statement gives the sourced and homogeneous Maxwell equations, dust stress exchange including the zero-density set, the $Λ = 0$ Einstein equation, all four energy conditions, and $a^{0} = 0$ , $a^{i} = - c^{2} H_{i} / H^{3}$ . The current draft is used only at these stated mathematical interfaces; continuity, undivided force balance and the observer electric components are checked locally below.

[F2]

Globally regular sphere, proper integrals and dilute bounds: for $a, b > 0$ and $H = 1 + a / \sqrt{r^{2} + b^{2}}$ , the smooth density is everywhere positive; with the induced volume density $H^{3} d λ_{3}$ , the proper integrals are finite and equal $c^{2} a / G_{N}$ and $s Q_{s} c^{2} a / G_{N}$ . It gives $S_{g} = - 2 Δ H / H^{3}$ and the displayed metric and density bounds for $a = δ b$ , $0 < δ \leq 1$ . This is also a draft mathematical supplier and is used conditionally.

[F3]

Arbitrary-positive-H conformastatic Ricci and Einstein components gives the unique torsion-free metric-compatible connection of the coordinate metric. Its only nonzero types are $Γ^{0}_{0 i} = Γ^{0}_{i 0} = - H_{i} / H$ , $Γ^{i}_{00} = - H_{i} / H^{5}$ , and $Γ^{i}_{j k} = (δ_{i j} H_{k} + δ_{i k} H_{j} - δ_{j k} H_{i}) / H$ . In particular every $Γ^{a}_{a 0}$ is zero.

[F4]

The local coordinate formula for the exterior derivative gives $d (A_{a} d x^{a}) = \sum_{a} d A_{a} \land d x^{a}$ , hence $F_{i 0} = \partial_{i} A_{0} - \partial_{0} A_{i}$ for $F = d A$ .

[F5]

Sums, scalar multiples, products and quotients: $(f + g)^{'} (c) = f^{'} (c) + g^{'} (c)$ , $(α f)^{'} (c) = α f^{'} (c)$ , $(f g)^{'} (c) = f^{'} (c) g (c) + f (c) g^{'} (c)$ , and $(f / g)^{'} (c) = (f^{'} (c) g (c) - f (c) g^{'} (c)) / g (c)^{2}$ when $g (c) \neq 0$ gives the product and quotient differentiation rules. Explicit rational and real power regimes fixes the unique positive root and reciprocal integer powers; here $Q_{s} > 0$ and $H^{- 1}$ is the reciprocal of the strictly positive $H$ .

[A2]

The mathematical background is exactly The Axiom of Countable Choice ( ${A C}_{ω}$ ): for every family $(X_{n})_{n \in N}$ of nonempty sets there is a function $f$ on $N$ with $f (n) \in X_{n}$ for each $n$ . This indexed ${A C}_{ω}$ premise is inherited by [F1] and [F2]; no full Axiom of Choice is assumed.

Proof

1.1givenA1A2F1F5

Under the Statement's hypotheses and [A2], the fields are exactly those in the Statement of [F1], with positive-root convention [F5]. Thus its stated conclusions give smooth Lorentzian normalization, nonnegative density, sourced and homogeneous Maxwell equations, dust stress exchange, the Einstein equation with $Λ = 0$ , and the four energy conditions. These equations have the directions and tensor conventions independently adopted in [A1]. The remaining continuity, undivided force and observer formulas are verified next.

1.2givenA2F3F4F5algebra

All coefficients are independent of $x^{0}$ , and $U^{0} = c H$ , $U^{i} = 0$ . The component Leibniz rule for the connection of [F3] gives $\nabla_{a} (ρ U^{a}) = \partial_{0} (ρ c H) + \sum_{a} Γ^{a}_{a 0} ρ c H = 0$ , including where $ρ = 0$ . By [F4]–[F5], the potential in the Statement has $F_{i 0} = - s (c / Q_{s}) H_{i} / H^{2}$ and $F_{i j} = 0$ . Direct metric contraction makes $n = H \partial_{0}$ unit future timelike and $e_{i} = H^{- 1} \partial_{i}$ a positively oriented orthonormal spatial frame. Hence $E_{i} = c F (e_{i}, n) = c F_{i 0} = - s c^{2} H_{i} / (Q_{s} H^{2})$ .

2.1givenA2F3step 1.2algebra

From [F3] and $U^{i} = 0$ , $a^{0} = 0$ and $a^{i} = (c H)^{2} Γ^{i}_{00} = - c^{2} H_{i} / H^{3}$ . Raising the spatial index in step 1.2 with $g^{i j} = H^{- 2} δ_{i j}$ gives $F^{i}_{0} = - s (c / Q_{s}) H_{i} / H^{4}$ , so $σ F^{i}_{c} U^{c} = s Q_{s} ρ F^{i}_{0} c H = - ρ c^{2} H_{i} / H^{3} = ρ a^{i}$ . Both temporal components are zero. This proves the undivided force equation everywhere, including $ρ = 0$ , without dividing by density.

3.1A1A2F1step 1.1step 1.2step 2.1algebra

The exact fields obey $σ = s Q_{s} ρ$ everywhere and the mass continuity proved in step 1.2. Thus $\nabla_{a} j^{a} = \nabla_{a} (s Q_{s} ρ U^{a}) = s Q_{s} \nabla_{a} (ρ U^{a}) = 0$ . On the open set where $ρ > 0$ , $α = σ / ρ = s Q_{s}$ is constant, so $U^{a} \nabla_{a} α = 0$ . Where $ρ = 0$ , the global formula gives $σ = 0$ ; the preceding undivided current identity still applies and no charge-to-mass ratio is defined there.

4.1givenA2F1F2step 1.1algebra∎

For the spherical profile, [F2] supplies the exact smooth solution, its induced metric volume density, and the stated finite proper mass and signed charge integrals. Its hypotheses are exactly $a, b > 0$ and the displayed profile. When $a = δ b$ , its analytic metric and density inequalities apply for every $0 < δ \leq 1$ ; the scalar-curvature and strict-density claims follow from its displayed $Δ H$ and $S_{g}$ formulas. These are conditional model observables, not measurements or an ADM-mass identification.

Exact smooth coupled counterpoised dust and observables

Statement

Facts & Assumptions

Proof

Depends on

Dependency tree · 2 levels

Sources