Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)
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 d≥1, let H∈C2([0,1],Herm⁡(Cd)) have entries whose derivatives through order two extend continuously to the endpoints, and assign its eigenvalues energy unit joules. Let ℏ>0 have unit joule-seconds. A spectral cluster at s is a subset σP(s) of the finite spectrum of H(s), and P(s) is the orthogonal projection onto the sum of its eigenspaces. Coherently followed means that s↦P(s) is continuous in operator norm (equivalently, it agrees locally with the Riesz continuation of its initial cluster). Assume the distance from σP(s) to the complementary spectrum is at least a uniform g>0 in joules. Let T>0 be a total duration in seconds, let s=t/T be dimensionless, and let UT(0)=I solve iℏ ∂sUT(s)=TH(s)UT(s). Put K(s)=[P′(s),P(s)]. There is a C1 Hermitian matrix X(s) solving [H(s),X(s)]=K(s). With C=2sup⁡s∈[0,1]∥X(s)∥+∫01(∥X′(s)∥+∥K(s)∥ ∥X(s)∥) ds, the leakage satisfies ∥(I−P(s))UT(s)P(0)∥≤ℏCT(0≤s≤1). The supplier provides a C1 Hermitian X solving the displayed commutator equation. For that X, C has unit joule-inverse, so ℏC/T is dimensionless. If the cluster has rank one, define E(s):=tr⁡(H(s)P(s)); then E is real and C2 and H(s)P(s)=E(s)P(s). Define UA(0)=I by i ∂sUA(s)=(TℏH(s)+iK(s))UA(s). For Kato transport W′(s)=K(s)W(s), W(0)=I, the comparison evolution factors exactly on the initial eigenspace: UA(s)P(0)=exp⁡ ⁣(−iTℏ∫0sE(u) du)W(s)P(0). The leakage estimate is finite-dimensional and conditional on the stated uniform positive gap.

Facts & Assumptions

Given: Countable Choice, the stated C2 Hermitian family and coherent uniformly gapped spectral projection, ℏ>0 in joule-seconds, and T>0 in seconds.

[A1]

Countable Choice is the principle The Axiom of Countable Choice (ACω); it is the exact choice strength assumed by the finite-dimensional supplier.

[F1]

Finite gapped adiabatic estimate: for a C2 finite Hermitian family, a continuous coherently followed spectral cluster with uniform gap, and scale τ>0, the projector is C2, Kato transport is unitary and intertwines, there is a C1 Hermitian X with [H,X]=[P′,P], and leakage is bounded by C/τ with the displayed constant.

[F2]

Projector curvature and frame covariance: the Kato generator is K=[P′,P], and its transport satisfies P(s)W(s)=W(s)P(0).

Proof

1.1givenA1F1algebra

Divide the evolution equation by ℏ and set τ=T/ℏ>0. Then i ∂sUT=τH(s)UT, exactly the scale convention of [F1], with the same H, P, K, and X. The supplier's hypotheses hold: H is C2, the cluster is coherently followed, and its complementary spectral distance is uniformly at least g>0. Therefore its estimate gives ∥(I−P(s))UT(s)P(0)∥≤C/τ=ℏC/T.

2.1givenF1F2step 1.1algebra∎

Suppose rank⁡P=1 and HP=EP. By [F2], W′=KW, P(s)W(s)=W(s)P(0), and W is unitary. Set V(s)=W(s)exp⁡(−iτ∫0sE(u) du). For v∈ran⁡P(0), intertwining gives W(s)v∈ran⁡P(s), so H(s)W(s)v=E(s)W(s)v. Differentiating therefore gives V′(s)v=(−iτH(s)+K(s))V(s)v, with V(0)v=v. The defined UA satisfies the same matrix initial-value equation UA′=(−iτH+K)UA; uniqueness of finite-dimensional linear ODE solutions yields UA(s)v=V(s)v for every such v, which is the stated factorization.

Depends on

Dependency tree · 2 levels

Sources