Alphabeta Math
TheoremStatement: AI-adaptedProof: AI-adaptedPipeline-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.

Finite response and spectral clock redshift

Statement

Fix a cell label i∈{1,…,r} in Constructed independent cell Gibbs states, let xi=χ(i) be its assigned point, and write N:=Ni=N(xi)>0, Hloc:=Hi, Q:=Qi, and μloc:=μi. Let βK>0 in joules−1 and μK in joules be the global parameters supplied there. Put Gloc:=Hloc−μlocQ and GK:=NGloc. Set βloc:=NβK and define the cell normalizer Zloc:=Zi=Tr⁡Hie−βlocGloc=Tr⁡Hie−βKGK>0. Let σ be the cell Gibbs density supplied by that theorem, so σ=Zloc−1e−βlocGloc=Zloc−1e−βKGK. For neutral Hermitian matrices, define ατloc(C):=eiGlocτ/ℏCe−iGlocτ/ℏ,αtK(C):=eiGKt/ℏCe−iGKt/ℏ. For this selected cell, let q be the common charge in coulombs and Φi:=Φξ(xi) its compensated potential in volts from the supplier. Define HK,i:=NHloc+qΦiQ in joules, and write HK:=HK,i in the physical control below. The supplier normalization gives Nμloc+qΦi=μK, hence HK=GK+μKQ.

Let A=A∗ and B=B∗ satisfy [A,Q]=[B,Q]=0. Then their local proper-time and Killing-time dynamics agree after τ=Nt.

Let h:[0,S]→R be continuous, with S>0 seconds, and let h(τ)B have units joules. For dimensionless ϵ∈R, the proper-time grand-generator control Gloc−ϵh(τ)B corresponds in Killing time to GK−ϵNh(Nt)B. Define Eloc(τ) and EK(t) as the finite-time expectations of A from the same initial density σ under these controls. Because A and B commute with Q, replacing each grand generator by its physical Hamiltonian changes the propagator only by a unitary generated by a constant multiple of Q and leaves the expectation of A unchanged. Thus these expectations also equal those obtained from the respective physical controls Hloc−ϵh(τ)B and HK−ϵNh(Nt)B. In particular, EK(t)=Eloc(Nt)(0≤t≤S/N). The finite-time Kubo expansions have identical first-order terms under this rescaling and the same quadratic remainder bound. With Rloc(u):=iℏTr⁡ ⁣(σ[αuloc(A),B]),CS:=2ℏ∫0S∣h(s)∣ ∥B∥ ds, the local expansion is Eloc(τ)=Tr⁡(σατloc(A))+ϵ∫0τh(s)Rloc(τ−s) ds+rloc(τ),∣rloc(τ)∣≤∥A∥(∣ϵ∣CS)2e∣ϵ∣CS2. Use ℏ>0 in joule-seconds, so CS is dimensionless and Rloc has units [A][B]/(J s). The Killing-time response kernel is RK(t)=Rloc(Nt) and its control amplitude is Nh(Nt).

For the equilibrium correlation spectral measures, use the Fourier convention of Finite spectral balance and distributional fluctuation response. If DN(ω):=Nω, then SK=(DN)∗Sloc,SK(ω)=N−1Sloc(ω/N) in distribution notation; the measure form preserves the weights of delta-function spectral lines. Since βKℏ(Nω)=βlocℏω, 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 Gloc−λB, where λB has units joules, the re-prepared Gibbs family satisfies ddλTr⁡(σλB)∣λ=0=βlocCov⁡KM,σ(B,B)=NβKCov⁡KM,σ(B,B)≥0. Here δB:=B−Tr⁡(σB)I and Cov⁡KM,σ(B,B):=∫01Tr⁡ ⁣(σ1−uδB σuδB) du. It reduces to the ordinary variance when B commutes with Gloc; 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,B, a continuous control on a finite proper-time interval, and the stated units.

[F1]

Constructed independent cell Gibbs states: for label i at xi=χ(i), N=Ni=N(xi) and the local data are Hloc=Hi, Q=Qi, and μloc=μi; under the stated whole-shell stationarity, global-compensator, and ACω hypotheses it supplies βloc=NβK, GK=NGloc, HK,i=NHloc+qΦiQ=GK+μKQ, and σ=Zloc−1e−βlocGloc. Here Zloc=Zi is the cell trace normalizer, whereas the supplier's total partition sum is Z=∏jZj. On observables commuting with number, grand-generator and physical dynamics agree. Its ACω assumption is The Axiom of Countable Choice (ACω): 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.

[F2]

Finite-time Kubo formula with norm remainder: for a finite Hermitian generator G, fixed Gibbs initial density σ=e−βG/Z, Hermitian A,B, continuous h, and finite interval, the control G−ϵhB has first-order kernel iTr⁡(σ[αu(A),B])/ℏ 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.

[F3]

Finite spectral balance and distributional fluctuation response: for a finite Gibbs matrix and Hermitian A, 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.

[F4]

Duhamel derivative and finite Kubo–Mori response: for finite Hermitian Gloc, βloc>0, and Hermitian B, the derivative of the re-prepared Gibbs expectation is βlocCov⁡KM,σ(B,B)≥0; this equals βlocVar⁡σ(B) only if B commutes with the Gibbs density.

Proof

1.1givenF1algebra

By [F1], βloc=NβK and σ is the same normalized density for Gloc and GK=NGloc. For neutral matrices the chemical term proportional to Q does not change conjugation, so αtK(A)=αNtloc(A) and the same holds for B.

2.1givenF1F2step 1.1algebra

If Uloc(τ) solves iℏUloc′=(Gloc−ϵh(τ)B)Uloc, then the chain rule gives iℏddtUloc(Nt)=(GK−ϵNh(Nt)B)Uloc(Nt). Both grand-generator propagators have the same identity initial condition. Uniqueness of the finite-dimensional controlled evolution in [F2] gives UK(t)=Uloc(Nt) and equality of the grand-generator expectations. To compare with the physical controls, note that Hloc=Gloc+μlocQ and HK=GK+μKQ. Each grand controlled generator commutes with Q at every time because [Gloc,Q]=[B,Q]=0. Therefore the corresponding physical propagator equals its grand propagator multiplied by e−iμlocQτ/ℏ locally or e−iμKQt/ℏ in Killing time; differentiating these products verifies their evolution equations and identity initial data. Since [A,Q]=0, conjugation by these extra factors leaves A fixed, so physical and grand expectations agree. The two exact expectation equalities imply EK(t)=Eloc(Nt).

2.2givenF2step 1.1algebra

Apply [F2] on [0,S] locally and on [0,S/N] in Killing time. Its Killing kernel is RK(t)=Rloc(Nt) by step 1.1. The first-order terms agree because ϵ∫0tNh(Ns)Rloc(N(t−s)) ds=ϵ∫0Nth(v)Rloc(Nt−v) dv after v=Ns. Also 2ℏ∫0S/N∣Nh(Ns)∣∥B∥ ds=CS, so the two Kubo remainder bounds agree at corresponding times.

2.3givenF3step 1.1algebra

Diagonalize Gloc with eigenvalues Ej and eigenvectors uj. The density weights pj=Zloc−1e−βlocEj are also the weights for GK, whose eigenvalues are NEj; hence each transition frequency is multiplied by N, while each weight and matrix element of A is unchanged. By [F3], SK=(DN)∗Sloc, equivalently the displayed distribution scaling. Since βKℏNω=βlocℏω, detailed balance is preserved; DN(0)=0 carries any zero-frequency atom to itself, where [F3] gives no coth formula.

3.1givenF4step 1.1step 2.2algebra∎

Apply [F4] to the local re-prepared density σλ∝e−βloc(Gloc−λB) to obtain the stated Kubo–Mori derivative. Since Gloc is finite Hermitian and x↦e−βlocx is injective on its real spectrum, B commutes with σ exactly when it commutes with Gloc (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 λ.

Depends on

Dependency tree · 2 levels

Sources