Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: 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.

Two-level Gibbs and noncommuting susceptibility

Physical scope

Exact finite two-level canonical model with a static transverse control; response is a model prediction and not an experimental measurement.

Example

Take the two-dimensional Hilbert space with Hamiltonian H(h)=diag⁡(−ϵ/2,ϵ/2)−hσx, ϵ>0, and σx=(0110). The control h has units J so that hσx is an energy. At fixed β>0, put Z(h)=Tr⁡(e−βH(h)), ρh=e−βH(h)/Z(h), and define ⟨A⟩h:=Tr⁡(ρhA). The finite canonical response is ddh⟨σx⟩h∣h=0=χ=βtanh⁡xx,x=βϵ2>0. At h=0, the variance in the canonical state is Var⁡ρ0(σx)=1, so 0<χ<βVar⁡ρ0(σx)=β. The strict reduction from ordinary variance is a finite noncommuting quantum response; it makes no experimental claim.

Facts & Assumptions

Given: ϵ>0, β>0, the specified two-level Hamiltonian, and the finite canonical preparation at each real h.

[F1]

Static finite quantum response and covariance: the canonical static susceptibility is βCov⁡KM(B,B), is nonnegative, and is bounded above by βVar⁡ρh(B), where the ordinary variance is Tr⁡(ρh(B−Tr⁡(ρhB)I)2); equality with ordinary variance requires commutation.

Proof

1.1givenalgebra

Write r(h)=(ϵ/2)2+h2. Direct matrix multiplication gives H(h)2=r(h)2I and Tr⁡H(h)=0. Splitting the exponential power series into even and odd powers therefore gives e−βH(h)=cosh⁡(βr(h))I−(sinh⁡(βr(h))/r(h))H(h), hence Z(h)=2cosh⁡(βr(h)). Also Tr⁡(H(h)σx)=−2h, so ⟨σx⟩h=htanh⁡(βr(h))/r(h). Dividing by h and taking h→0 yields χ=tanh⁡(βϵ/2)/(ϵ/2)=βtanh⁡(x)/x.

2.1givenstep 1.1F1algebra∎

At h=0, the Gibbs density is diagonal in the displayed basis, so Tr⁡(ρ0σx)=0. By the ordinary variance definition in [F1], Var⁡ρ0(σx)=Tr⁡(ρ0σx2)−Tr⁡(ρ0σx)2=1. The commutator of diag⁡(−ϵ/2,ϵ/2) with σx has nonzero off-diagonal entries for ϵ>0, so the commuting equality case in [F1] does not apply. Finally, for x>0, x−tanh⁡x=∫0x(1−sech⁡2t) dt>0, because the integrand is strictly positive for t>0. Thus 0<χ<β. At the zero-gap boundary, lim⁡x↓0tanh⁡(x)/x=1, so the response tends to the commuting value β.

Depends on

Dependency tree · 2 levels

Sources