Alphabeta Math
Pipeline-generated
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.

Constructed independent cell Gibbs states — Examples

1 · Prerequisites

2 · Summary

The companion example evaluates the exact response spectrum and static Gibbs susceptibility of a neutral two-level cell in its proper clock, then carries the spectral lines to Killing time. Its oscillatory response has a finite recurrence and supplies no dc or relaxation claim.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

ExampleConstruction: AI-generatedVerification: AI-generatedOpen item page →

Proper clock two-level response

Example

Take a cell label i from Constructed independent cell Gibbs states, with assigned location xi=χ(i) and lapse N:=Ni=N(xi)>0. For this neutral two-level example, take Hilbert space C2, number operator Q=0, and proper Hamiltonian Hloc=Δ2Z,Δ>0 J. Here X=(0110),Y=(0−ii0),Z=(100−1) are dimensionless Hermitian Pauli matrices. Let βloc=NβK>0 in joules−1 and prepare σ=e−βlocHlocTr⁡(e−βlocHloc). For the dimensionless observable and control A=B=X, the proper-time Kubo kernel, its Killing-time version, and the spectral measure are Rloc(τ)=2ℏtanh⁡ ⁣(βlocΔ2)sin⁡ ⁣(Δτℏ),RK(t)=2ℏtanh⁡ ⁣(βlocΔ2)sin⁡ ⁣(NΔtℏ), Sloc=2π(p+δ−Δ/ℏ+p−δΔ/ℏ),p+=e−βlocΔ/22cosh⁡(βlocΔ/2),p−=eβlocΔ/22cosh⁡(βlocΔ/2). The Killing-time spectral measure is the pushforward of Sloc under ω↦Nω, so its two lines are at ±NΔ/ℏ with the same respective weights. The oscillation period is 2πℏ/Δ in proper time and 2πℏ/(NΔ) in Killing time.

For the separately re-prepared static family σλ:=e−βloc(Hloc−λX)Tr⁡(e−βloc(Hloc−λX)),λ J, the static Gibbs susceptibility is ddλTr⁡(σλX)∣λ=0=2Δtanh⁡ ⁣(βlocΔ2). This finite model has persistent spectral lines and an oscillatory response. Its static Gibbs derivative is not a dc transport coefficient, and no infinite-time decay is asserted.

Facts & Assumptions

Given: A neutral two-level finite cell, Δ>0, N>0, βloc=NβK>0, and the matrices and preparations in the Example.

[F1]

Finite response and spectral clock redshift: for a chosen cell label i in the construction, with N=Ni=N(xi), neutral observables, and a proper-time control, the finite-time response and spectral measures rescale by N; the re-prepared static susceptibility is the Kubo–Mori covariance and is an ordinary variance only in the commuting case. The current A-page theorem is draft with a current ready Step 1 record, not independent proof approval.

[F2]

The Axiom of Countable Choice (ACω) states that every countable family of nonempty sets has a choice function. The geometric cell construction used for this model example is conditional on this inherited ACω assumption; no stronger choice principle is used.

[L1]

Direct multiplication of the displayed matrices gives X2=Y2=Z2=I, [Y,X]=−2iZ, ZX=iY, and XZ=−iY. The displayed Z is diagonal with eigenvalues +1,−1 on the standard basis; Tr⁡X=Tr⁡Z=0, Tr⁡I=2, and Tr⁡(ZX)=0.

Verification

1.1givenL1algebra

The eigenvectors of Z have energies +Δ/2 and −Δ/2. Therefore Tr⁡(e−βlocHloc)=e−βlocΔ/2+eβlocΔ/2=2cosh⁡(βlocΔ/2), and Tr⁡(σZ)=p+−p−=−tanh⁡(βlocΔ/2).

2.1givenF1L1step 1.1algebra

With θ=Δτ/ℏ, direct multiplication using [L1] gives eiHlocτ/ℏXe−iHlocτ/ℏ=Xcos⁡θ−Ysin⁡θ. Thus [ατloc(X),X]=−sin⁡θ[Y,X]=2iZsin⁡θ, so the Kubo definition gives Rloc(τ)=iℏTr⁡(σ[ατloc(X),X])=2ℏtanh⁡(βlocΔ/2)sin⁡θ.

2.2givenF1F2L1step 1.1algebra

The only nonzero matrix elements of X in the Z eigenbasis exchange the two energy eigenvectors, so the two transition frequencies are −Δ/ℏ from the + state and +Δ/ℏ from the − state. Their Gibbs weights are p+ and p− from step 1.1; hence the stated two-line spectral measure follows from the finite spectral expansion. The cell theorem, invoked for the assigned geometric cell under its inherited assumption [F2], sends each frequency ω to Nω without changing its weight, giving the Killing-time lines and periods in the Example.

3.1givenL1step 1.1step 2.1algebra

Put R(λ)=(Δ/2)2+λ2. Since Hloc−λX=(ΔZ/2−λX) and ZX+XZ=0 by [L1], its square is R(λ)2I, so e−βloc(Hloc−λX)=cosh⁡(βlocR(λ))I−sinh⁡(βlocR(λ))R(λ)(Hloc−λX). Taking traces and using Tr⁡(HlocX)=0 and Tr⁡(X2)=2 from [L1] gives Tr⁡(σλX)=λtanh⁡(βlocR(λ))R(λ). Differentiating this explicit scalar expression at λ=0 yields the displayed static susceptibility. It is a derivative of a newly normalized Gibbs family, whereas the finite-time Kubo response in step 2.1 keeps σ fixed.

4.1givenF1step 2.1algebra∎

Since RK(t) is a nonzero sinusoid when βloc>0 and Δ>0, it is periodic and does not decay as t→∞. The theorem supplies no absolute-integrability hypothesis for a Green–Kubo limit, so the oscillatory finite response cannot be relabelled as a dc transport coefficient.

Remarks

This is an exact finite-dimensional calculation. It contains no apparatus, measured observation, or empirical precision and makes no claim about a physical thermometer or a general curved-spacetime field.

Sources