Alphabeta Math
TheoremStatement: AI-adaptedProof: AI-generatedPipeline-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.

Spectrum and gauge periodicity of a periodic flux operator

Statement

Assume the Axiom of Choice, Countable Choice, and Dependent Choice. Let κ>0 and α∈R. On H=L2(S1;C)=L2((0,2π),dϕ;C) use the periodic domain Hper2(S1) defined by periodic endpoint traces and define Tαf=κ(−i∂ϕ−α)2f,D(Tα)=Hper2(S1). Then Tα is self-adjoint and the normalized characters en(ϕ)=(2π)−1/2einϕ, n∈Z, form a complete orthonormal eigenbasis with eigenvalues λn=κ(n−α)2. Its spectrum is the closed set {λn:n∈Z} and its spectral measures are purely atomic on that set. For every j∈Z, multiplication by eijϕ unitarily intertwines Tα with Tα+j. A smooth periodic unit-modulus function u satisfying u−1(−i∂ϕ−α)u=−i∂ϕ exists exactly when α∈Z.

Facts & Assumptions

Given: the Choice, Countable Choice, and Dependent Choice axioms; κ>0, α∈R, the Hilbert space H, and the periodic domain in the Statement.

[A1]

The Choice, Countable Choice, and Dependent Choice hypotheses are those of the interval realization, Fourier-basis, Kato–Rellich, and unbounded spectral suppliers (The Axiom of Choice, The Axiom of Countable Choice (ACω), The axiom of dependent choice: a relation in which every element is related to something admits an N-indexed chain).

[F1]

For f∈H2(0,2π), the periodic endpoint traces are those of Periodic Sobolev domain for a circle. The interval Laplacian with the swap matrix U=(0110) has exactly these periodic boundary conditions and is self-adjoint by All self-adjoint interval Laplacian boundary conditions.

[F2]

The characters enT([t])=e2πint form a complete orthonormal basis of L2(T,dmT), where T=R/Z has normalized Haar probability measure (Fourier coefficients and trigonometric polynomials on the torus, The trigonometric system is complete in L2 of the torus). The map W:L2(T,dmT)→L2((0,2π),dϕ),(Wg)(ϕ)=(2π)−1/2g([ϕ/(2π)]) is unitary: in the fundamental-domain coordinate t∈[0,1), ∥Wg∥22=12π∫02π∣g([ϕ/(2π)])∣2 dϕ=∫01∣g([t])∣2 dt=∥g∥22, and its inverse is (W−1h)([t])=2π h(2πt) almost everywhere. Moreover WenT=(2π)−1/2einϕ=en. Thus the exact characters in the Statement are a complete orthonormal basis for the stated Lebesgue measure convention.

[F3]

If A is self-adjoint and B is symmetric on D(A) with ∥Bf∥≤a∥Af∥+b∥f∥ for some a<1, then A+B on D(A) is self-adjoint (Kato-Rellich theorem, Relative boundedness with respect to an operator).

[F4]

A self-adjoint operator has a unique regular spectral projection-valued measure, and its domain and spectral integrals are given by the unbounded spectral theorem (Spectral theorem for unbounded self-adjoint operators (PVM form)). For any self-adjoint T with a complete orthonormal eigenbasis (en)n∈Z and eigenvalues λn, this gives spectral projections equal to sums of the rank-one projections onto the en and D(T)={f=∑n∈Zcnen:∑n∈Z∣λn∣2∣cn∣2<∞}. On this domain, Tf=∑n∈Zλncnen in L2.

[F5]

Integration by parts on the interval holds for the periodic Sobolev functions and their endpoint traces; in particular P=−i∂ϕ is symmetric on the stated domain (Integration by parts and the endpoint-vanishing space on intervals).

Proof

1.1A1F1F2F5construct

Set A0=−κ∂ϕ2 on Hper2(S1). In the boundary coordinates Γ0f=(f(0),f(2π)) and Γ1f=(f′(0),−f′(2π)), the unitary swap matrix in [F1] makes the boundary equation equivalent to f(0)=f(2π) and f′(0)=f′(2π): adding and subtracting its two scalar equations gives these two equalities. Hence −∂ϕ2 is self-adjoint on this domain, and multiplication by the positive real κ shows that A0 is self-adjoint. Let P=−i∂ϕ. Integration by parts [F5] and equality of the endpoint traces show that P is symmetric on Hper2. For f=∑ncnen in this domain, integration by parts gives ⟨Pf,en⟩=ncn and ⟨A0f,en⟩=κn2cn. Parseval for [F2] therefore implies ∥Pf∥22=∑nn2∣cn∣2 and ∥A0f∥22=κ2∑nn4∣cn∣2.

2.1A1F2F3step 1.1algebra

On D(A0) write Tα=A0+Bα with Bα=−2καP+κα2I. This operator is symmetric because P is symmetric and α,κ are real. For every ε>0 and integer n, ∣n∣≤εn2+(4ε)−1; the coefficient identities in step 1.1 and the triangle inequality give ∥Bαf∥2≤a∥A0f∥2+b∥f∥2 with any prescribed a>0 after choosing ε sufficiently small and then a finite b. Applying [F3] with a<1 proves that Tα is self-adjoint on the stated periodic domain.

3.1A1F2F4step 2.1algebra

Each en lies in the periodic domain and direct differentiation gives Tαen=κ(n−α)2en. Completeness [F2] makes this the full orthonormal eigenbasis. The associated spectral projections are therefore the sums of the character projections whose eigenvalues lie in the chosen Borel set, so every scalar spectral measure is supported on {κ(n−α)2:n∈Z}. This set has no finite accumulation point because κ>0 and ∣n−α∣→∞. If z is outside it, inf⁡n∣λn−z∣>0. For f=∑ncnen, where cn=⟨f,en⟩, the diagonal map Rzf=∑ncn(λn−z)−1en is bounded on H. Also sup⁡n∣λn/(λn−z)∣<∞, so the domain characterization in [F4] shows that Rz maps into D(Tα). Coefficientwise, (Tα−z)Rz=I and Rz(Tα−z)=I on D(Tα), so z is in the resolvent. If z=λn then en is a nonzero kernel vector. Hence the spectrum is exactly the displayed set and there is no continuous spectral measure.

4.1givenF2step 3.1algebra∎

Let j∈Z and Ujf=eijϕf. It is unitary, preserves the periodic H2 domain, and (P−α−j)Ujf=Uj(P−α)f by differentiation; squaring gives Tα+jUj=UjTα. If a smooth periodic unit-modulus function u satisfies the displayed conjugacy, then (P−α)u=0, or u′=iαu. The solutions are u(ϕ)=ceiαϕ with ∣c∣=1, which are periodic exactly when e2πiα=1, equivalently α∈Z. Conversely, for integral α this multiplier is single-valued and periodic.

Remarks

The diagram expresses the integer-flux unitary intertwining. Its arrow labels are the multiplication operators proved in step 4.1; the proof above is independent of the diagram.

H2per(S1)H2per(S1)L2(S1)L2(S1)UjT®T®+jUj

Depends on

Dependency tree · 2 levels

Sources