Alphabeta Math
Physics theoremStatement: Literature-sourcedProof: AI-adaptedPipeline-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.

Conditional finite-state equilibration and fluctuation response

Physical scope

Conditional predictions of the specified connected finite-state thermal rate model, including relative-information relaxation from any initial law, equilibrium linear response for its chosen field-dependent rates, and long-time averages of bounded state observables. Rate values and material applicability require separate physical calibration; no observations or empirical rate estimates are included.

Statement

Assume the adopted finite thermal rate model Adopted finite reversible bath rates and field coupling, including its finite energy states, detailed-balance rates, temperature parameter and stationary Gibbs preparation for the response branch. For any initial microscopic probability law, the model's dimensionless relative information D(pt∥π) is nonincreasing and tends to zero, and every bounded state observable has an almost-sure time average equal to its Gibbs mean. For real state observables A,B:E→R, any finite horizon tf>0, and a continuous field h:[0,tf]→R, the equilibrium-response branch with the postulated symmetric field-dependent rates has, for 0≤t≤tf, first-order response δ⟨A(t)⟩=∫0th(s)[−β dduCBA(u)∣u=t−s]ds, where δ⟨A(t)⟩:=∂ϵ∑apaϵ(t)Aa∣ϵ=0, pϵ(0)=π, and pϵ solves the finite forward equation for the postulated controlled rates. The correlation is CBA(u)=⟨(B−π(B)),Pu(A−π(A))⟩π. For a constant field amplitude g (in joules per unit of B), define the normalized perturbed equilibrium vector by πag:=πaeβgBa∑c∈EπceβgBc and define its susceptibility per unit field by χAB:=∂gπg(A)∣g=0. Then χAB=β Cov⁡π(A,B) and, when g=ϵh for constant h, the derivative with respect to dimensionless ϵ is hχAB. Here πg(A):=∑aπagAa and Cov⁡π(A,B):=π(AB)−π(A)π(B). If physical units are assigned to A and B, write them as [A] and [B]: CBA has units [A][B], while βh dCBA/du has units [A] per second, so the time integral and the derivative with respect to dimensionless ϵ have units [A]. These are conditional predictions of this finite stochastic model. They concern its dimensionless relative-information functional and state observables; no experimental observation, calibrated rate, material-specific claim or universal thermodynamic law is asserted.

Facts & Assumptions

Given: The adopted finite rate model, the full and countable choice assumptions, and the local finite-chain theorems.

[A1]

Adopted finite reversible bath rates and field coupling: the model adopts p0=π, β=(kBTb)−1, baseline reversible rates, and the specified symmetric exponential control law.

[A2]

The Axiom of Choice: every family of nonempty sets has a choice function.

[A3]

The Axiom of Countable Choice (ACω): every countable sequence of nonempty sets has a choice function.

[F1]

Finite reversible stochastic rate model: the finite energies, positive Gibbs vector, connected bidirectional rate graph and row generator are explicitly defined.

[F2]

Markov relative entropy decay and almost-sure time averages: the relative-information derivative, convergence to π, almost-sure time averages from every initial law, and stationary variance bound hold for this generator.

[F3]

Finite-rate fluctuation response and Green–Kubo inverse: under the stated symmetric exponential rate perturbation, the finite forward equation has the derived equilibrium response kernel and static susceptibility.

Proof

Given: [A1]–[A3] and [F1]–[F3].

1.1A1A2A3F1F2F3algebra

By [A1] and [F1], the adopted physical model supplies the exact finite state set, energy vector, inverse-temperature factor β, connected rate graph and detailed-balance law used in [F2] and [F3]. The Choice assumptions [A2]–[A3] are the mathematical hypotheses inherited by those two suppliers.

2.1A1F2step 1.1

Apply [F2] to the unforced generator. It gives nonincrease and convergence of D(pt∥π) for every initial law and almost-sure convergence of every bounded-observable time average. These are consequences of the stipulated finite chain and its conditional probability law.

3.1A1F3step 1.1∎

In the equilibrium-response branch, [A1] fixes p0=π and the controlled rates exactly in the form assumed by [F3]. Therefore [F3] gives the stated correlation response and static susceptibility. The source's rate-ratio condition alone does not fix the adopted prefactors; the derivation uses the additional symmetric splitting in [A1]. The conclusions are conditional on that adopted model; no empirical observation or material-specific inference is involved.

Depends on

Dependency tree · 2 levels

Sources