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
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 , and the connected finite Gibbs-jump hypotheses of Connected Gibbs jump generators satisfy detailed balance. For an initial density , let denote the mathematical all-time continuation of the fixed finite Schrödinger generator, and let . If , the finite detailed-balance gap gives the conditional model prediction for every in that continuation
Under the adopted physical model this bound is applicable only for ; its all-time form is a mathematical consequence of continuing the same fixed generator, not a claim about physical evolution for .
For the two-level specialization, let , joules, , and , . Adopt downward jump with seconds, upward jump with , and optionally a dephasing jump with seconds. Put
For every in the mathematical continuation, the exact model expectations and coherence satisfy
Equivalently, and . For , 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 .
Facts & Assumptions
Given: Full AC, the adopted effective-bath postulate, finite connected Gibbs rates, , and, for the qubit branch, the stated , jump matrices, and initial density.
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.
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 ; its continuation for all is mathematical, with no physical-applicability claim beyond , microscopic bath limit, or calibration data asserted.
Connected Gibbs jump generators satisfy detailed balance: connected Gibbs-balanced energy jumps give a faithful stationary Gibbs density and a dissipator with scalar kernel.
Faithful scalar-kernel detailed balance gives a relaxation gap: under [F1], all initial densities satisfy the stated trace-norm exponential relaxation bound.
Proof
The rate relation is exactly for with , . Since , 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.
Applying [F2] to this finite GNS detailed-balance generator proves the trace-norm estimate for . For there is only one density matrix, so the difference from is zero.
In the qubit basis, direct matrix multiplication gives , , and . The dephasing jump contributes and vanishes on diagonal entries. With , the population equations become .
Solving the scalar linear equations in step 1.3 yields and . The dual observable generator acts as , , and ; exponentiating these two-dimensional and one-dimensional invariant subspaces gives the displayed formulas for .
Remarks
The positive-temperature relation fixes the rate ratio, while the numerical values of , , and remain model inputs. No observation, calibration uncertainty, or empirical agreement is claimed here.