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.
Finite response and spectral clock redshift
Statement
Fix a cell label in Constructed independent cell Gibbs states, let be its assigned point, and write , , , and . Let in joules and in joules be the global parameters supplied there. Put and . Set and define the cell normalizer . Let be the cell Gibbs density supplied by that theorem, so . For neutral Hermitian matrices, define For this selected cell, let be the common charge in coulombs and its compensated potential in volts from the supplier. Define in joules, and write in the physical control below. The supplier normalization gives , hence .
Let and satisfy . Then their local proper-time and Killing-time dynamics agree after .
Let be continuous, with seconds, and let have units joules. For dimensionless , the proper-time grand-generator control corresponds in Killing time to . Define and as the finite-time expectations of from the same initial density under these controls. Because and commute with , replacing each grand generator by its physical Hamiltonian changes the propagator only by a unitary generated by a constant multiple of and leaves the expectation of unchanged. Thus these expectations also equal those obtained from the respective physical controls and . In particular, The finite-time Kubo expansions have identical first-order terms under this rescaling and the same quadratic remainder bound. With the local expansion is Use in joule-seconds, so is dimensionless and has units . The Killing-time response kernel is and its control amplitude is .
For the equilibrium correlation spectral measures, use the Fourier convention of Finite spectral balance and distributional fluctuation response. If , then in distribution notation; the measure form preserves the weights of delta-function spectral lines. Since , detailed balance is unchanged. Any zero-frequency atom remains an atom at zero and is not assigned a value by the coth formula, which remains restricted to nonzero frequencies.
For a static local perturbation , where has units joules, the re-prepared Gibbs family satisfies Here and It reduces to the ordinary variance when commutes with ; no such reduction is asserted otherwise. These are exact finite-dimensional deductions for the constructed neutral cell. They imply no infinite-time relaxation, dc transport coefficient, or response law for arbitrary interacting reduced states.
Facts & Assumptions
Given: One finite cell of the stated independent-cell construction, its positive lapse and Gibbs density, neutral Hermitian matrices , a continuous control on a finite proper-time interval, and the stated units.
Constructed independent cell Gibbs states: for label at , and the local data are , , and ; under the stated whole-shell stationarity, global-compensator, and hypotheses it supplies , , , and . Here is the cell trace normalizer, whereas the supplier's total partition sum is . On observables commuting with number, grand-generator and physical dynamics agree. Its assumption is The Axiom of Countable Choice (): every countable family of nonempty sets has a choice function; no stronger choice principle is used. This current draft supplier has a complete conditional argument; its ready record is authoring readiness, not independent proof approval.
Finite-time Kubo formula with norm remainder: for a finite Hermitian generator , fixed Gibbs initial density , Hermitian , continuous , and finite interval, the control has first-order kernel and the explicit quadratic remainder in its Statement. The current QSM item is draft with a current ready Step 1 record, not independent proof approval.
Finite spectral balance and distributional fluctuation response: for a finite Gibbs matrix and Hermitian , the correlation has a finite positive spectral measure with delta lines and detailed balance; its zero-frequency atom is retained separately and the coth identity is restricted to nonzero frequencies. The current QSM item is draft with a current ready Step 1 record, not independent proof approval.
Duhamel derivative and finite Kubo–Mori response: for finite Hermitian , , and Hermitian , the derivative of the re-prepared Gibbs expectation is ; this equals only if commutes with the Gibbs density.
Proof
By [F1], and is the same normalized density for and . For neutral matrices the chemical term proportional to does not change conjugation, so and the same holds for .
If solves , then the chain rule gives Both grand-generator propagators have the same identity initial condition. Uniqueness of the finite-dimensional controlled evolution in [F2] gives and equality of the grand-generator expectations. To compare with the physical controls, note that and . Each grand controlled generator commutes with at every time because . Therefore the corresponding physical propagator equals its grand propagator multiplied by locally or in Killing time; differentiating these products verifies their evolution equations and identity initial data. Since , conjugation by these extra factors leaves fixed, so physical and grand expectations agree. The two exact expectation equalities imply .
Apply [F2] on locally and on in Killing time. Its Killing kernel is by step 1.1. The first-order terms agree because after . Also so the two Kubo remainder bounds agree at corresponding times.
Diagonalize with eigenvalues and eigenvectors . The density weights are also the weights for , whose eigenvalues are ; hence each transition frequency is multiplied by , while each weight and matrix element of is unchanged. By [F3], , equivalently the displayed distribution scaling. Since , detailed balance is preserved; carries any zero-frequency atom to itself, where [F3] gives no coth formula.
Apply [F4] to the local re-prepared density to obtain the stated Kubo–Mori derivative. Since is finite Hermitian and is injective on its real spectrum, commutes with exactly when it commutes with (both preserve the same eigenspace decomposition). Thus the variance reduction in [F4] has precisely the condition stated here; the finite-time expansion in step 2.2 instead keeps the initial fixed.
Remarks
The response variables are finite matrices and finite-time controls, not measured apparatus data. The exact Kubo expansion and the static derivative concern different preparations: the former fixes , while the latter re-normalizes the Gibbs family for each .