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

Conditional specified thermal bath relaxation

Physical scope

Conditional predictions for the specified finite connected Gibbs-jump GKSL model, physically applicable only on the postulate's finite interval [0,t_res]. The all-time exponential estimate and qubit formulas are proved for the mathematical continuation of the fixed generator; no physical applicability for t>t_res, measured rates, microscopic bath limit, or universal thermalization law is claimed.

Statement

Assume full AC, the adopted finite effective-bath model Specified effective GKSL bath and instrument assumption on its physical interval 0≤t≤tres, and the connected finite Gibbs-jump hypotheses of Connected Gibbs jump generators satisfy detailed balance. For an initial density ρ, let ρt=etLρ denote the mathematical all-time continuation of the fixed finite Schrödinger generator, and let σ=Zβ−1e−βHs. If d>1, the finite detailed-balance gap γ>0 gives the conditional model prediction for every t≥0 in that continuation

∥ρt−σ∥1≤∥σ−1/2(ρ−σ)∥2e−γt.

Under the adopted physical model this bound is applicable only for 0≤t≤tres; its all-time form is a mathematical consequence of continuing the same fixed generator, not a claim about physical evolution for t>tres.

For the two-level specialization, let Hs=ΔZ/2, Δ>0 joules, Z=∣0⟩⟨0∣−∣1⟩⟨1∣, and X=∣0⟩⟨1∣+∣1⟩⟨0∣, Y=−i∣0⟩⟨1∣+i∣1⟩⟨0∣. Adopt downward jump a ∣1⟩⟨0∣ with a>0 seconds−1, upward jump b ∣0⟩⟨1∣ with b/a=e−βΔ, and optionally a dephasing jump γϕ/2 Z with γϕ≥0 seconds−1. Put

ω:=Δ/ℏ,γ1:=a+b,γ2:=a+b2+γϕ,zeq:=b−aa+b=−tanh⁡(βΔ/2).

For every t≥0 in the mathematical continuation, the exact model expectations and coherence satisfy

⟨Z⟩t=zeq+e−γ1t(⟨Z⟩0−zeq),ρ01(t)=e−(γ2+iω)tρ01(0).

Equivalently, etGX=e−γ2t(Xcos⁡ωt−Ysin⁡ωt) and etGZ=zeqI+e−γ1t(Z−zeqI). For d=1, ρ=σ and relaxation is trivial. These are conditional model deductions, not experimental findings or claims that a physical bath realizes the postulate.

The qubit formulas above are stated for the mathematical continuation; their physical model applicability is limited to 0≤t≤tres.

Facts & Assumptions

Given: Full AC, the adopted effective-bath postulate, finite connected Gibbs rates, β>0, and, for the qubit branch, the stated Hs, jump matrices, and initial density.

[A1]

The Axiom of Choice: every family of nonempty sets has a choice function. It is retained in the formal supplier chain for the selected monitoring instrument in Specified effective GKSL bath and instrument assumption; the density-decay calculation itself is finite-dimensional.

[A2]

Specified effective GKSL bath and instrument assumption: the specified subsystem follows the adopted finite GKSL state law and selected Gibbs-jump instrument physically only on [0,tres]; its continuation for all t≥0 is mathematical, with no physical-applicability claim beyond tres, microscopic bath limit, or calibration data asserted.

[F1]

Connected Gibbs jump generators satisfy detailed balance: connected Gibbs-balanced energy jumps give a faithful stationary Gibbs density and a dissipator with scalar kernel.

[F2]

Faithful scalar-kernel detailed balance gives a relaxation gap: under [F1], all initial densities satisfy the stated trace-norm exponential relaxation bound.

Proof

1.1givenA1A2F1algebra

The rate relation b/a=e−βΔ is exactly π0a=π1b for πj∝e−βEj with E0=Δ/2, E1=−Δ/2. Since a,b>0, the two-vertex rate graph is connected. The postulate [A2] adopts this finite generator for the selected physical model; [F1] therefore supplies its faithful stationary Gibbs state and scalar dissipative kernel.

1.2A2F1F2algebra

Applying [F2] to this finite GNS detailed-balance generator proves the trace-norm estimate for d>1. For d=1 there is only one density matrix, so the difference from σ is zero.

1.3givenA2algebra

In the qubit basis, direct matrix multiplication gives ρ˙00=−aρ00+bρ11, ρ˙11=aρ00−bρ11, and ρ˙01=−(γ2+iω)ρ01. The dephasing jump contributes −γϕρ01 and vanishes on diagonal entries. With z=ρ00−ρ11, the population equations become z˙=(b−a)−(a+b)z=−γ1(z−zeq).

2.1step 1.3algebra∎

Solving the scalar linear equations in step 1.3 yields z(t)=zeq+e−γ1t(z(0)−zeq) and ρ01(t)=e−(γ2+iω)tρ01(0). The dual observable generator acts as G(X)=−γ2X−ωY, G(Y)=ωX−γ2Y, and G(Z)=−γ1(Z−zeqI); exponentiating these two-dimensional and one-dimensional invariant subspaces gives the displayed formulas for etG.

Remarks

The positive-temperature relation fixes the rate ratio, while the numerical values of a, b, and γϕ remain model inputs. No observation, calibration uncertainty, or empirical agreement is claimed here.

Depends on

Dependency tree · 2 levels

Sources