Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedjudge 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.

Actual homogeneous bulk relaxation entropy production

Physical scope

One explicitly verified homogeneous Minkowski solution of the selected near-equilibrium bulk-only model with exponentially decaying bulk pressure; no observation, generic nonlinear existence, causality, stability, or universal-material claim.

Example

Take a state point (v0,σ0) of the selected model's supplied material domain with v0>0 and T0=eσp(v0,σ0)>0. Its state map is constant, with n0=1/v0, s0=n0σ0, ε0=n0e(v0,σ0), and p0=−ev(v0,σ0) as in the state conventions of Exact entropy identity in the selected bulk branch. Let ζ0,τ0>0 be constant coefficients with units Pa s and s, and take Π0 in Pa. On M=R4 use global length coordinates (x0,x1,x2,x3)=(ct,x1,x2,x3), Minkowski metric g=−(dx0)2+∑i=13(dxi)2, and future direction ∂x0. The frame is the observer congruence u=∂x0 in that chart. For some δ>0 seconds, take the open region O=(−cδ,∞)×R3, put t=x0/c, and define Π(t)=Π0e−t/τ0,t>−δ. Assume the application's open near-equilibrium regime contains these constant zero-gradient reference data at Π=0; choose Π0 small enough that the field and first-derivative data remain in that regime throughout O. Then the source-free bulk balances and the corrected relaxation law hold. For every finite t≥0 the entropy production is ∇aSa=Π02e−2t/τ0ζ0cT0. It vanishes when Π0=0 and is strictly positive when Π0≠0. This is a constructed model solution, not a reported experiment.

Facts & Assumptions

Given: The constant-state and field conventions just stated, an application-declared open regime containing the constant zero-gradient reference data at Π=0, and an amplitude chosen so all field and first-derivative data remain in that regime.

[A1]

The mathematical supplier chain assumes exactly countable choice ACω (The Axiom of Countable Choice (ACω)); no stronger choice principle is used.

[F1]

Exact entropy identity in the selected bulk branch: for an actual sufficiently regular source-free solution of the selected model, with positive ζ,τ,T,c and the corrected law, Sa=(s−βΠ2/(2T))ua satisfies ∇aSa=Π2/(ζcT)≥0. The theorem includes the same homogeneous Minkowski witness conditionally on its mathematical input.

Verification

1.1givenF1algebra

In these global coordinates g(u,u)=−1 and u=∂x0 is future-directed. The constant state makes n0,ε0,p0,T0,s0 constant, while Π depends only on t=x0/c. The projector has Δ00=Δ0i=0 and Δij=δij.

2.1step 1.1givenalgebra

Consequently J0=n0, Ji=0, T00=ε0, T0i=0, and Tij=(p0+Π(t))δij. The only nonconstant stress components have spatial indices and are spatially constant, so ∇aJa=0, ∇aTa0=∂x0ε0=0, and ∇aTai=∂xj[(p0+Π(t))δji]=0 for each i=1,2,3.

2.2step 1.1givenF1algebra

The constant u,T0,β=τ0/ζ0 give θ=0 and ∇a(βua/T0)=0. Also DΠ=c−1∂tΠ=−Π/(cτ0), so βDΠ+Π/(ζ0c)=−(τ0/ζ0)Π/(cτ0)+Π/(ζ0c)=0, equal to the right side of the corrected law. By the amplitude choice in [given], the whole solution lies in the declared open regime.

3.1step 1.1step 2.1step 2.2A1F1algebra∎

Steps 1.1, 2.1, and 2.2 verify an actual smooth solution of every hypothesis in [F1], including the model regime. Applying [F1] gives ∇aSa=Π(t)2/(ζ0cT0)=Π02e−2t/τ0/(ζ0cT0). Since ζ0,c,T0>0, this is zero for Π0=0 and strictly positive at every finite t≥0 for Π0≠0.

Depends on

Dependency tree · 2 levels

Sources