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
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 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 , any finite horizon , and a continuous field , the equilibrium-response branch with the postulated symmetric field-dependent rates has, for , first-order response where , , and solves the finite forward equation for the postulated controlled rates. The correlation is . For a constant field amplitude (in joules per unit of ), define the normalized perturbed equilibrium vector by and define its susceptibility per unit field by . Then and, when for constant , the derivative with respect to dimensionless is . Here and . If physical units are assigned to and , write them as and : has units , while has units per second, so the time integral and the derivative with respect to dimensionless have units . 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.
Adopted finite reversible bath rates and field coupling: the model adopts , , baseline reversible rates, and the specified symmetric exponential control law.
The Axiom of Choice: every family of nonempty sets has a choice function.
The Axiom of Countable Choice (): every countable sequence of nonempty sets has a choice function.
Finite reversible stochastic rate model: the finite energies, positive Gibbs vector, connected bidirectional rate graph and row generator are explicitly defined.
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.
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].
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.
Apply [F2] to the unforced generator. It gives nonincrease and convergence of 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.
In the equilibrium-response branch, [A1] fixes 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.