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

Conditional finite stationary response

Physical scope

Exact finite-time and spectral predictions for neutral bounded observables and controls in one actually constructed independent finite cell; no observation, infinite-time relaxation, dc transport coefficient, or response law for arbitrary interacting reduced states.

Statement

Fix one cell i of the preparation in Actually constructed Gibbs/KMS preparation at its assigned event pi∈O, with Ni=Nξ(pi), Ti=T(pi), and μi=μ(pi). Let Hi=Hi∗ be its proper Hamiltonian in joules, Qi its dimensionless number matrix, Gi:=Hi−μiQi, and σ:=ρi its constructed density. Put βK:=(kBTK)−1>0 in joules−1 and βloc,i:=NiβK=(kBTi)−1. Take Hermitian matrices A,B∈B(Hi) with [A,Qi]=[B,Qi]=0. Let h:[0,S]→R be continuous for S>0 seconds, let ϵ∈R be dimensionless, and require h(τ)B to have units of joules. Define the local and Killing-time dynamics by

ατloc(C)=eiGiτ/ℏCe−iGiτ/ℏ,αtK(C)=eiNiGit/ℏCe−iNiGit/ℏ.

Let HK,i:=NiHi+qΦiQi be the cell's physical Killing-energy operator, where q is the common charge in coulombs and Φi=Φξ(pi) is in volts as in the preparation. Let Uloc:[0,S]→B(Hi) and UK:[0,S/Ni]→B(Hi) be the unique solutions of iℏ ddτUloc(τ)=(Hi−ϵh(τ)B)Uloc(τ),Uloc(0)=IHi, iℏ ddtUK(t)=(HK,i−ϵNih(Nit)B)UK(t),UK(0)=IHi. They are unitary propagators. Define the model expectations by Eloc(τ):=Tr⁡ ⁣(σUloc(τ)∗AUloc(τ)),EK(t):=Tr⁡ ⁣(σUK(t)∗AUK(t)). Because A and B commute with Qi, the second expectation is unchanged if HK,i is replaced by NiHi; that is the neutral-sector version of the Killing control. The exact finite-cell predictions are

EK(t)=Eloc(Nit)(0≤t≤S/Ni),

and

Eloc(τ)=Tr⁡(σατloc(A))+ϵ∫0τh(s)Rloc(τ−s) ds+r(τ),

where

Rloc(u)=iℏTr⁡ ⁣(σ[αuloc(A),B]),CS=2ℏ∫0S∣h(s)∣ ∥B∥ ds,∣r(τ)∣≤∥A∥(∣ϵ∣CS)2e∣ϵ∣CS2.

Here CS is dimensionless and Rloc has units [A][B]/(J s). For the equilibrium correlations Cloc(u)=Tr⁡(σαuloc(A)A) and CK(t)=Tr⁡(σαtK(A)A), let Sloc and SK be their Fourier measures in the distributional convention S(ω)=∫ReiωtC(t) dt, where ω is in seconds−1. Set DNi(ω)=Niω. Then

SK=(DNi)∗Sloc,SK(ω)=Ni−1Sloc(ω/Ni),

the detailed-balance factor is unchanged because βKℏ(Niω)=βloc,iℏω, and any zero-frequency atom remains at zero and is kept separate from the coth⁡ formula. Finally, for the separately re-prepared finite Gibbs family σλ∝e−βloc,i(Gi−λB), where λB has units of joules,

ddλTr⁡(σλB)∣λ=0=βloc,iCov⁡KM,σ(B,B)≥0,

with Cov⁡KM,σ(B,B)=∫01Tr⁡(σ1−uδB σuδB) du and δB=B−Tr⁡(σB)I. It equals the ordinary variance when [B,Gi]=0; otherwise no such reduction is asserted. These are conditional model predictions, not reported observations or a theorem of relaxation.

Facts & Assumptions

Given: One selected finite-cell state, its proper and Killing grand generators, neutral Hermitian observables, a continuous finite-duration control, and the units stated above.

[F1]

Actually constructed Gibbs/KMS preparation assigns pi∈O to each cell and defines Ni=Nξ(pi), Ti=T(pi), μi=μ(pi), and Φi=Φξ(pi). Its finite density is σ=Zi−1e−βi(Hi−μiQi), with βK=(kBTK)−1 and βloc,i=NiβK; it is conditional on ACω and is not an empirical premise.

[F2]

Finite response and spectral clock redshift: for a finite independent cell with that Gibbs density, neutral Hermitian A,B, continuous finite-time h, and the stated physical/grand-generator relation, the grand-generator propagators solve iℏVloc′=(Gi−ϵhB)Vloc and iℏVK′=(NiGi−ϵNih(Nit)B)VK, both with identity initial data. For neutral A,B, their trace expectations equal those under the physical controls above. This supplier proves the displayed finite-time commutator expansion and quadratic remainder, the spectral pushforward ω↦Niω, retention of zero-frequency atoms, and the nonnegative Kubo–Mori derivative for the separately re-prepared family.

[F3]

The Axiom of Countable Choice (ACω): the finite-cell construction carries ACω through its smooth charged-stationarity supplier; no stronger choice axiom is invoked.

Proof

1.1givenF1constructalgebra

The postulated preparation [F1] supplies a finite-dimensional cell density σ and [Hi,Qi]=0. The Hamiltonian matrices in the two displayed control equations are continuous and Hermitian on their compact time intervals. For either equation write it as U′(s)=K(s)U(s) with continuous matrix K and M:=sup⁡s∥K(s)∥<∞. The ordered-integral series I+∑n≥1∫0≤sn≤⋯≤s1≤sK(s1)⋯K(sn) dsn⋯ds1 converges uniformly, since its nth term has norm at most (Ms)n/n!, and solves the integral equation by termwise integration. If U,V were two solutions, their difference D:=U−V would satisfy the homogeneous integral equation; iterating it bounds ∥D(s)∥ by sup⁡s∥D(s)∥(Ms)n/n! for every n, so D=0. Differentiating U∗U and using Hermiticity of each controlled Hamiltonian gives (U∗U)′=0; the identity initial value therefore makes each solution unitary.

2.1givenF1step 1.1algebra

Define V(t):=e−iqΦiQit/ℏUloc(Nit). Since [Qi,Hi]=[Qi,B]=0, differentiating and using the chain rule gives iℏV′(t)=[HK,i−ϵNih(Nit)B]V(t), with V(0)=IHi. By uniqueness from step 1.1, V=UK. The factor e−iqΦiQit/ℏ commutes with A, so the trace definition gives EK(t)=Eloc(Nit).

3.1givenF1F2F3step 1.1step 2.1algebra

Retain the inherited smooth-geometry premise [F3] when using the charged-stationarity relation Niμi+qΦi=μK supplied by the prepared-cell data [F1]. Put U^loc and U^K for the propagators of the grand-generator controls stated in [F2]. The identities Hi=Gi+μiQi and HK,i=NiGi+μKQi, where Niμi+qΦi=μK, imply Uloc(τ)=e−iμiQiτ/ℏU^loc(τ) and UK(t)=e−iμKQit/ℏU^K(t). These relations follow by differentiating each right-hand side and using [Gi,Qi]=[B,Qi]=0. Since [A,Qi]=0, the trace expectations under the physical and grand-generator propagators agree. Therefore [F2] applies to the explicitly defined expectations.

4.1givenF2step 3.1algebra∎

Apply [F2] to the same fixed initial density for the finite-time response, to its spectral statement for the equilibrium correlations, and to its separately re-prepared Gibbs family for the static derivative. The first preparation remains σ throughout the finite-time controls; σλ is a distinct re-preparation, and none of these deductions is an observed measurement or an infinite-time limit.

Depends on

Dependency tree · 2 levels

Sources