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.

Radiation entropy balance and causal linear sound

Physical scope

Conditional deductions for the adopted entropy-only radiation perfect-fluid branch: local entropy-current conservation on smooth solutions and the frozen uniform-rest Minkowski acoustic characteristics. No particle-number current, quantum coefficient, nonlinear evolution theorem, or empirical realization is inferred.

Statement

Assume ${A C}_{ω}$ . On an open region $O$ of a smooth four-manifold without boundary, let $(g, u, T)$ and the entropy-only equation of state and source-free perfect-stress balance be as in Separate no-conserved-number radiation fluid branch. For every such smooth solution,

$\nabla_{a} (s u^{a}) = 0.$

This is a conditional local model deduction; it assumes no particle-number current. In the additional submodel $M = R^{4}$ with Minkowski coordinates $(x^{0}, x^{1}, x^{2}, x^{3}) = (c t, x)$ , constant reference temperature $T_{*} > 0$ , and uniform rest observer $u_{*} = (1, 0, 0, 0)$ , the frozen linearized system for $r : = δ ε$ and $w^{i} : = δ u^{i}$ has two transverse zero characteristic speeds and longitudinal speeds $\pm c / \sqrt{3}$ . Thus its linear acoustic speed is $c / \sqrt{3} < c$ . This is a conditional prediction of the adopted model, not an observed speed or a claim of global nonlinear evolution. The parameter $a_{R}$ remains an adopted positive coefficient; no quantum blackbody calibration is supplied.

Facts & Assumptions

Given: ${A C}_{ω}$ , a smooth time-oriented Lorentzian four-manifold without boundary with signature $(-, +, +, +)$ and its metric-selected connection, a smooth future unit observer $u$ with $g (u, u) = - 1$ , a smooth $T > 0$ , and the radiation model and balance of Separate no-conserved-number radiation fluid branch. For the linear statement, additionally use the uniform Minkowski rest state and length-coordinate convention stated above.

[A1]

Separate no-conserved-number radiation fluid branch: $ε = a_{R} T^{4}$ , $p = ε / 3$ , $s = 4 a_{R} T^{3} / 3$ , $h = ε + p$ , $T^{a b} = h u^{a} u^{b} + p g^{a b}$ , and $\nabla_{a} T^{a b} = 0$ ; no conserved particle-number or chemical-potential coordinate is assumed.

[F1]

Radiation Gibbs and perfect linear sound deduction: with ${A C}_{ω}$ , the specified state maps, a smooth metric-compatible Levi-Civita derivative, and a vector field $U$ normalized by $g (U, U) = - c^{2}$ , its Statement gives $\nabla_{a} (s U^{a}) = 0$ under $\nabla_{a} [(h / c^{2}) U^{a} U^{b} + p g^{a b}] = 0$ . This is a current draft mathematical carrier; its exact proof status remains draft.

[F2]

Radiation Gibbs and perfect linear sound deduction: on Minkowski space the same Statement gives the frozen rest linear system $r_{t} + c h_{*} div w = 0$ , $w_{t} + (c / (3 h_{*})) \nabla r = 0$ after the specified linearization about $T = T_{*} > 0$ , $U = (c, 0, 0, 0)$ .

[F3]

Radiation Gibbs and perfect linear sound deduction: the principal matrix of that frozen system has characteristic eigenvalues $0$ (multiplicity two) and $\pm c / \sqrt{3}$ in every unit spatial direction.

[F4]

The Axiom of Countable Choice ( ${A C}_{ω}$ ): ${A C}_{ω}$ means that every countable family of nonempty sets has a choice function; no stronger choice principle is assumed here.

Proof

1.1givenA1F1F4algebra

Put $U^{a} : = c u^{a}$ . Since $c > 0$ is constant and $g (u, u) = - 1$ , $g (U, U) = - c^{2}$ ; moreover $(h / c^{2}) U^{a} U^{b} + p g^{a b} = h u^{a} u^{b} + p g^{a b} = T^{a b}$ . The temperature maps and stress balance in [A1] therefore match the hypotheses of [F1] exactly, under the ${A C}_{ω}$ assumption defined in [F4].

2.1givenF1step 1.1algebra

Applying the local conclusion of [F1] gives $\nabla_{a} (s U^{a}) = 0$ . By the Leibniz rule and constancy of $c$ , $\nabla_{a} (s U^{a}) = \nabla_{a} (c s u^{a}) = c \nabla_{a} (s u^{a})$ ; division by $c > 0$ proves $\nabla_{a} (s u^{a}) = 0$ . The deduction uses no particle-number current and remains conditional on the adopted stress balance and state maps.

2.2givenA1F2F4step 1.1algebra

In the Minkowski rest submodel, $U_{*} = c u_{*} = (c, 0, 0, 0)$ , so the normalization and coordinates agree with the linearization in [F2]. The state maps give $h_{*} = 4 a_{R} T_{*}^{4} / 3 > 0$ and $δ p = (d p / d ε) δ ε = r / 3$ . The resulting frozen system is $r_{t} + c h_{*} div w = 0$ and $w_{t} + (c / (3 h_{*})) \nabla r = 0$ , with $w^{i} = δ U^{i} / c = δ u^{i}$ .

3.1givenF3step 2.2algebra∎

For a unit spatial vector $ν$ , the system's principal matrix is $A (ν) = c (\begin{array}{cc} 0 & h_{*} ν^{T} \\ (1 / (3 h_{*})) ν & 0_{3 \times 3} \end{array})$ . It annihilates the two-dimensional transverse subspace $(0, w)$ with $ν \cdot w = 0$ . On the scalar-longitudinal subspace spanned by $(1, 0)$ and $(0, ν)$ its matrix is $(\begin{array}{cc} 0 & c h_{*} \\ c / (3 h_{*}) & 0 \end{array})$ , whose characteristic polynomial is $λ^{2} - c^{2} / 3$ . Hence the two longitudinal speeds are $\pm c / \sqrt{3}$ and the transverse speeds are zero; since $\sqrt{3} > 1$ and $c > 0$ , $c / \sqrt{3} < c$ .

Radiation entropy balance and causal linear sound

Statement

Facts & Assumptions

Proof

Depends on

Dependency tree · 2 levels

Sources