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.
Physical adiabatic phase with explicit scale
Statement
Assume Countable Choice. Let , let have entries whose derivatives through order two extend continuously to the endpoints, and assign its eigenvalues energy unit joules. Let have unit joule-seconds. A spectral cluster at is a subset of the finite spectrum of , and is the orthogonal projection onto the sum of its eigenspaces. Coherently followed means that is continuous in operator norm (equivalently, it agrees locally with the Riesz continuation of its initial cluster). Assume the distance from to the complementary spectrum is at least a uniform in joules. Let be a total duration in seconds, let be dimensionless, and let solve Put . There is a Hermitian matrix solving . With the leakage satisfies The supplier provides a Hermitian solving the displayed commutator equation. For that , has unit joule-inverse, so is dimensionless. If the cluster has rank one, define ; then is real and and . Define by For Kato transport , , the comparison evolution factors exactly on the initial eigenspace: The leakage estimate is finite-dimensional and conditional on the stated uniform positive gap.
Facts & Assumptions
Given: Countable Choice, the stated Hermitian family and coherent uniformly gapped spectral projection, in joule-seconds, and in seconds.
Countable Choice is the principle The Axiom of Countable Choice (); it is the exact choice strength assumed by the finite-dimensional supplier.
Finite gapped adiabatic estimate: for a finite Hermitian family, a continuous coherently followed spectral cluster with uniform gap, and scale , the projector is , Kato transport is unitary and intertwines, there is a Hermitian with , and leakage is bounded by with the displayed constant.
Projector curvature and frame covariance: the Kato generator is , and its transport satisfies .
Proof
Divide the evolution equation by and set . Then , exactly the scale convention of [F1], with the same , , , and . The supplier's hypotheses hold: is , the cluster is coherently followed, and its complementary spectral distance is uniformly at least . Therefore its estimate gives .
Suppose and . By [F2], , , and is unitary. Set . For , intertwining gives , so . Differentiating therefore gives , with . The defined satisfies the same matrix initial-value equation ; uniqueness of finite-dimensional linear ODE solutions yields for every such , which is the stated factorization.