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.

Supported-rest effective Cattaneo thermal model

1 · Prerequisites

2 · Summary

This page adopts two distinct effective branches. The supported-rest Cattaneo subsystem uses constant positive heat capacity, conductivity, and relaxation time, together with a specified quadratic entropy; its entropy production, characteristic speed, and finite propagation are conditional model deductions, and relativistic causality requires the derived speed bound. The separate entropy-only radiation model adopts its own equation of state and perfect-stress balance; it yields local entropy-current conservation and a frozen Minkowski-rest sound speed of c/3. Neither branch asserts a measured material realization, a universal constitutive law, or a microscopic quantum derivation.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

PostulateStatement: AI-adaptedProof: Not applicableprecheck passOpen item page →

Supported-rest effective Cattaneo thermal model

Physical scope

A constant-coefficient linear thermal subsystem on fixed Minkowski spacetime with an externally supported rest congruence; when used, the flat torus represents spatially periodic fields lifted to Minkowski rest slices and is not a spacetime quotient. Effective quadratic entropy is adopted only on a declared near-equilibrium state neighborhood. It is not a full fluid model, universal constitutive law, measured material model, or microscopic derivation.

Postulate

Use the length-coordinate and unit-observer conventions of Thermodynamics-GR fields, currents, reference normalization and units. Fix Minkowski spacetime M=R4 with metric η=diag⁡(−1,1,1,1) in coordinates (x0,x1,x2,x3)=(ct,x), where t is physical time in seconds, xi are in metres, and c>0 is in m s−1. The supported rest observer congruence is the smooth future unit vector field u=∂x0, so η(u,u)=−1. An external support maintains the modeled material at rest in this congruence; the support is not a dynamical variable, and this subsystem does not claim to include the momentum equations of a full fluid.

Fix constants T0>0 in K, volumetric heat capacity C>0 in J m−3 K−1, thermal conductivity κ>0 in W m−1 K−1, and relaxation time τ>0 in seconds. Select an open state neighborhood D of (0,0) in R×R3 contained in {(ϑ,q):T0+ϑ>0}. The neighborhood is part of the application regime; no universal numerical size is asserted. Let I⊆R be an open interval of physical time, and define ιI:I×R3→M by ιI(t,x)=(ct,x); it identifies these coordinates with an open region of Minkowski spacetime. Choose either Σ=R3 or, for a fixed L>0, Σ=TL3:=R3/(LZ3) with its flat quotient metric; when Σ=TL3, let πL:R3→TL3 be the quotient map. The spacetime remains M=R4: the torus is only an analytic representation of spatially L-periodic fields on its Minkowski rest slices, not a quotient of spacetime. Take smooth fields ϑ:I×Σ→R and q:I×Σ→R3 with (ϑ(t,x),q(t,x))∈D. If Σ=TL3, their physical fields on the rest slices are the smooth periodic lifts ϑ~(t,x):=ϑ(t,πL(x)) and q~(t,x):=q(t,πL(x)) on I×R3; under ιI, these are coordinate representatives of fields on ιI(I×R3)⊂M. If Σ=R3, the given fields are already coordinate representatives on that region. Here ϑ is the temperature departure in K, T=T0+ϑ is the local temperature, and q is the physical heat-flux vector in the supported rest space, expressed in its fixed Cartesian rest basis and measured in W m−2. Spatial ∇ and div⁡ are Euclidean derivatives in metres on the Minkowski rest space, evaluated by periodic lifts when Σ=TL3.

In the source-free effective model, adopt

C ∂tϑ+div⁡q=0,τ ∂tq+q=−κ∇ϑ.

The first equation is the subsystem's thermal-energy balance and the second is its Cattaneo constitutive relation. Also adopt the specified effective quadratic entropy density and entropy flux

seff:=s0+CϑT0−Cϑ22T02−τ∣q∣22κT02,js:=qT0−ϑqT02,

where s0 is constant. Both s0 and seff have units J K−1 m−3, and js has units J K−1 m−2 s−1. This quadratic function is an adopted effective state function on D, not the exact nonlinear material entropy or a particle Gibbs equation of state. The model assigns no measured values to its coefficients, reports no experiment, and derives no microscopic transport law.

PostulateStatement: AI-adaptedProof: Not applicableprecheck passjudge pass (gpt-6-luna)Open item page →

Separate no-conserved-number radiation fluid branch

Physical scope

Smooth entropy-only radiation perfect-fluid model with positive temperature and an adopted positive equation-of-state parameter; no conserved-number current, quantum blackbody calibration, measured material claim, or general solution-existence claim is asserted.

Postulate

Use the smooth time-oriented Lorentzian geometry, metric-selected Levi-Civita connection ∇, and length-coordinate conventions of Thermodynamics-GR fields, currents, reference normalization and units, with signature (−,+,+,+). On an open region O of a smooth four-manifold without boundary, take a smooth positive temperature field T:O→(0,∞) and a smooth future unit observer-congruence field u satisfying g(u,u)=−1. Adopt the separate entropy-only state maps of Separate entropy-only radiation state maps with a fixed parameter aR>0 in J m−3 K−4:

ε=aRT4,p=13aRT4,s=43aRT3,h:=ε+p.

The fields ε,p,h have units J m−3=Pa and s has units J K−1 m−3. Adopt the perfect stress tensor and its source-free balance

Tab:=h uaub+p gab,∇aTab=0

on the specified smooth background. In the proper-time velocity convention Ua:=cua, this is equivalently Tab=(h/c2)UaUb+pgab with g(U,U)=−c2. This branch has no conserved particle-number coordinate, particle-number current, or chemical-potential field. It adopts an effective equation of state and perfect-stress balance; it does not determine aR from quantum statistics, assert that a physical system realizes these maps, report a measurement, or derive an Einstein-field equation.

Physics theoremStatement: AI-adaptedProof: AI-adaptedprecheck passjudge pass (gpt-6-luna)Open item page →

Conditional thermal entropy, stability, and finite propagation

Physical scope

Consequences of the adopted supported-rest linear Cattaneo subsystem while its fields remain in the declared near-equilibrium domain; PDE evolution is conditional on the exact draft mathematical supplier, and relativistic causality requires the derived speed inequality.

Statement

For the global-evolution and forward-time clauses below, assume that the postulate's open time interval I contains 0. The local identities and telegrapher equation hold on any open interval on which a smooth solution is defined.

Let C,κ,τ,T0,c,L>0 and let Σ be R3 or TL3. If Σ=TL3, use the periodic-lift convention of Supported-rest effective Cattaneo thermal model: torus fields represent smooth spatially L-periodic fields on the rest slices of M=R4. Adopt the supported-rest Cattaneo equations and effective current of Supported-rest effective Cattaneo thermal model. The equations are Cϑt+div⁡q=0 and τqt+q=−κ∇ϑ, with Euclidean spatial derivatives. For any smooth solution on an open time interval, the exact effective entropy-production and quadratic Lyapunov identities are

∂tseff+div⁡js=∣q∣2κT02≥0,∂teL+div⁡(ϑq)=−∣q∣2κ,eL:=12(Cϑ2+τκ∣q∣2).

The associated telegrapher equation is τϑtt+ϑt−(κ/C)Δϑ=0, where Δ:=div⁡∇=∑i=13∂xi2 on the Euclidean rest space, and its characteristic propagation speed is vh:=κ/(Cτ). Put U0=(ϑ0,q0):=(ϑ(0,⋅),q(0,⋅)). For Schwartz data on R3 or smooth periodic data on TL3, the unique global smooth evolution, weighted-norm contraction, and finite propagation at vh follow conditionally from the exact mathematical interface in [F1]. Here Schwartz data mean componentwise C∞ data for which every xα∂βU0 is bounded for multi-indices α,β∈N3, as specified in [F2]. Since the spacetime model uses light speed c, the heat subsystem is relativistically causal exactly when

vh≤c⟺κ≤Cτc2.

On TL3, for each integer r>3/2, the periodic solution supplied conditionally by [F1] obeys T0+ϑ(t,x)>0 for all t≥0 whenever Kr,L,C∥U0∥HMr(TL3)<T0, with Kr,L,C and HMr exactly as defined there. This bound ensures positive temperature but does not by itself ensure that the solution stays in the selected domain D of the postulate. The global linear PDE statement concerns the mathematical extension of the subsystem; its physical interpretation is restricted to times when (ϑ,q)∈D. No empirical coefficient or material-specific validity is asserted.

Facts & Assumptions

Given: C,κ,τ,T0,c,L>0, the supported-rest Minkowski conventions and effective equations of Supported-rest effective Cattaneo thermal model, and the spatial setting stated above. For the conditional global-evolution and propagation conclusions, assume that the postulate's open time interval I contains 0, so the initial data U0=(ϑ(0,⋅),q(0,⋅)) are defined, as well as the ACω and exact constant-coefficient supplier hypotheses carried by [F1]. Physical interpretation is limited to the postulate's declared state domain D.

[A1]

Supported-rest effective Cattaneo thermal model: on fixed supported Minkowski rest space, Cϑt+div⁡q=0 and τqt+q=−κ∇ϑ; it adopts seff=s0+Cϑ/T0−Cϑ2/(2T02)−τ∣q∣2/(2κT02) and js=q/T0−ϑq/T02 on its open state neighborhood.

[F1]

Fixed-coefficient Cattaneo entropy and propagation: for every smooth solution with the stated positive thermal coefficients, its Statement gives ∂tseff+div⁡js=∣q∣2/(κT02) and ∂teL+div⁡(ϑq)=−∣q∣2/κ for the specified effective current and quadratic form.

[F2]

Fixed-coefficient Cattaneo entropy and propagation: its Statement defines vh=κ/(Cτ) and states that the system's characteristic speeds are 0 (twice) and ±vh; it also gives the comparison-speed equivalence.

[F3]

Fixed-coefficient Cattaneo entropy and propagation: for Schwartz data on R3 or smooth periodic data on TL3, its global evolution, contraction, and finite-propagation conclusions are conditional on its separately stated constant-coefficient symmetric-system supplier. Its torus small-data estimate gives T0+ϑ>0 when Kr,L,C∥U0∥HMr<T0. The carrier and its proof remain draft, not independently accepted.

[F4]

Schwartz space and its seminorms: S(R3) consists of smooth functions for which every seminorm sup⁡x∣xα∂βf(x)∣ is finite for multi-indices α,β∈N3; for the vector-valued data here this condition is componentwise.

[F5]

The Axiom of Countable Choice (ACω): ACω means that every countable family of nonempty sets has a choice function. This is the choice strength assumed by [F3]'s conditional global-evolution supplier.

Proof

1.1givenA1F1

The equations, coefficients, state functions, and spatial derivatives in [A1] match the hypotheses and definitions of [F1]. Applying its exact identities gives ∂tseff+div⁡js=∣q∣2/(κT02) and ∂teL+div⁡(ϑq)=−∣q∣2/κ. Since κ,T0,C,τ are positive, the production is nonnegative and eL is positive definite in (ϑ,q). These are deductions for the adopted effective current and linear subsystem.

1.2givenA1F2algebra

Differentiate the first equation of [A1] in time and take the divergence of its second equation. Substituting div⁡q=−Cϑt and div⁡qt=−Cϑtt gives τϑtt+ϑt−(κ/C)Δϑ=0. By [F2] its characteristic speed is vh=κ/(Cτ). All coefficients and c are positive, so squaring the nonnegative quantities preserves order: vh≤c is equivalent to κ/(Cτ)≤c2, and multiplication by Cτ>0 gives κ≤Cτc2. Reversing these steps proves the converse.

2.1givenF3F4F5∎

Since 0∈I, the stated Schwartz or smooth-periodic initial data are defined. [F3] supplies the unique global smooth evolution, weighted-norm contraction, and finite propagation at vh, conditional on its exact generic linear-supplier hypotheses and ACω assumption [F5]. In the periodic case [F3] also gives ∣ϑ(t,x)∣≤Kr,L,C∥U(t)∥HMr≤Kr,L,C∥U0∥HMr for the stated r; if the last quantity is less than T0, then T0+ϑ(t,x)>0. The data class is the componentwise class defined in [F4]. This proves the stated positivity qualification without claiming that the solution remains in D.

Physics theoremStatement: AI-adaptedProof: AI-adaptedprecheck passjudge pass (gpt-6-luna)Open item page →

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 ACω. 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,

∇a(sua)=0.

This is a conditional local model deduction; it assumes no particle-number current. In the additional submodel M=R4 with Minkowski coordinates (x0,x1,x2,x3)=(ct,x), constant reference temperature T∗>0, and uniform rest observer u∗=(1,0,0,0), the frozen linearized system for r:=δε and wi:=δui has two transverse zero characteristic speeds and longitudinal speeds ±c/3. Thus its linear acoustic speed is c/3<c. This is a conditional prediction of the adopted model, not an observed speed or a claim of global nonlinear evolution. The parameter aR remains an adopted positive coefficient; no quantum blackbody calibration is supplied.

Facts & Assumptions

Given: ACω, 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: ε=aRT4, p=ε/3, s=4aRT3/3, h=ε+p, Tab=huaub+pgab, and ∇aTab=0; no conserved particle-number or chemical-potential coordinate is assumed.

[F1]

Radiation Gibbs and perfect linear sound deduction: with ACω, the specified state maps, a smooth metric-compatible Levi-Civita derivative, and a vector field U normalized by g(U,U)=−c2, its Statement gives ∇a(sUa)=0 under ∇a[(h/c2)UaUb+pgab]=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 rt+ch∗div⁡w=0, wt+(c/(3h∗))∇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 ±c/3 in every unit spatial direction.

[F4]

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

Proof

1.1givenA1F1F4algebra

Put Ua:=cua. Since c>0 is constant and g(u,u)=−1, g(U,U)=−c2; moreover (h/c2)UaUb+pgab=huaub+pgab=Tab. The temperature maps and stress balance in [A1] therefore match the hypotheses of [F1] exactly, under the ACω assumption defined in [F4].

2.1givenF1step 1.1algebra

Applying the local conclusion of [F1] gives ∇a(sUa)=0. By the Leibniz rule and constancy of c, ∇a(sUa)=∇a(csua)=c∇a(sua); division by c>0 proves ∇a(sua)=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∗=cu∗=(c,0,0,0), so the normalization and coordinates agree with the linearization in [F2]. The state maps give h∗=4aRT∗4/3>0 and δp=(dp/dε)δε=r/3. The resulting frozen system is rt+ch∗div⁡w=0 and wt+(c/(3h∗))∇r=0, with wi=δUi/c=δui.

3.1givenF3step 2.2algebra∎

For a unit spatial vector ν, the system's principal matrix is A(ν)=c(0h∗νT(1/(3h∗))ν03×3). It annihilates the two-dimensional transverse subspace (0,w) with ν⋅w=0. On the scalar-longitudinal subspace spanned by (1,0) and (0,ν) its matrix is (0ch∗c/(3h∗)0), whose characteristic polynomial is λ2−c2/3. Hence the two longitudinal speeds are ±c/3 and the transverse speeds are zero; since 3>1 and c>0, c/3<c.

5 · Examples, experiments and counterexamples

None yet.

Sources