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.
Adopted finite reversible bath rates and field coupling
A prescribed connected finite-state rate network at one fixed positive temperature, initialized in its Gibbs stationary law for the equilibrium-response branch, with the explicitly selected symmetric exponential field coupling. No microscopic Hamiltonian reduction, rate calibration, or unique bath prefactor is asserted.
Postulate
Use the finite state set, energies , rates , Gibbs weights , and row generator defined in Finite reversible stochastic rate model. Assign the state energies the physical meaning of coarse-state energies in joules. Use the primitive SI Boltzmann constant in joules per kelvin from Adopted inertial velocity Langevin bath, and set in joules for the positive bath-temperature parameter in kelvins. Adopt the baseline transition rates in seconds and the initial law for the equilibrium-response branch. These choices define a finite phenomenological thermal rate model; they do not say that a real material has these rates.
Fix a finite time horizon . For a fixed state observable with units denoted , a dimensionless control amplitude , and a continuous field with units joules per , adopt the controlled rates
Their units remain seconds because the exponent is dimensionless. This is one explicit symmetric allocation of the field-dependent rate factor. For constant and each positive-rate edge (, equivalently ), the rate ratio obeys
so the Gibbs weights of the shifted energies satisfy detailed balance by direct multiplication on every positive-rate edge. For an absent edge, both controlled rates remain zero, so the detailed-balance product identity holds there as well; no rate ratio is defined there. A rate ratio alone leaves state-pair prefactors undetermined; the symmetric splitting above is an additional modeling choice and is the specific perturbation analyzed in the consuming theorem. No experiment or empirical rate estimate is asserted.