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
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 , , and . The control has units J so that is an energy. At fixed , put , , and define . The finite canonical response is At , the variance in the canonical state is , so . The strict reduction from ordinary variance is a finite noncommuting quantum response; it makes no experimental claim.
Facts & Assumptions
Given: , , the specified two-level Hamiltonian, and the finite canonical preparation at each real .
Static finite quantum response and covariance: the canonical static susceptibility is , is nonnegative, and is bounded above by , where the ordinary variance is ; equality with ordinary variance requires commutation.
Proof
Write . Direct matrix multiplication gives and . Splitting the exponential power series into even and odd powers therefore gives , hence . Also , so . Dividing by and taking yields .
At , the Gibbs density is diagonal in the displayed basis, so . By the ordinary variance definition in [F1], . The commutator of with has nonzero off-diagonal entries for , so the commuting equality case in [F1] does not apply. Finally, for , because the integrand is strictly positive for . Thus . At the zero-gap boundary, , so the response tends to the commuting value .