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 and . On use the periodic domain defined by periodic endpoint traces and define Then is self-adjoint and the normalized characters , , form a complete orthonormal eigenbasis with eigenvalues . Its spectrum is the closed set and its spectral measures are purely atomic on that set. For every , multiplication by unitarily intertwines with . A smooth periodic unit-modulus function satisfying exists exactly when .
Statement references
Facts & Assumptions
Given: the Choice, Countable Choice, and Dependent Choice axioms; , , the Hilbert space , and the periodic domain in the Statement.
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 (), The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain).
For , the periodic endpoint traces are those of Periodic Sobolev domain for a circle. The interval Laplacian with the swap matrix has exactly these periodic boundary conditions and is self-adjoint by All self-adjoint interval Laplacian boundary conditions.
The characters form a complete orthonormal basis of , where has normalized Haar probability measure (Fourier coefficients and trigonometric polynomials on the torus, The trigonometric system is complete in of the torus). The map is unitary: in the fundamental-domain coordinate , and its inverse is almost everywhere. Moreover . Thus the exact characters in the Statement are a complete orthonormal basis for the stated Lebesgue measure convention.
If is self-adjoint and is symmetric on with for some , then on is self-adjoint (Kato-Rellich theorem, Relative boundedness with respect to an operator).
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 with a complete orthonormal eigenbasis and eigenvalues , this gives spectral projections equal to sums of the rank-one projections onto the and On this domain, in .
Integration by parts on the interval holds for the periodic Sobolev functions and their endpoint traces; in particular is symmetric on the stated domain (Integration by parts and the endpoint-vanishing space on intervals).
Proof
Set on . In the boundary coordinates and , the unitary swap matrix in [F1] makes the boundary equation equivalent to and : adding and subtracting its two scalar equations gives these two equalities. Hence is self-adjoint on this domain, and multiplication by the positive real shows that is self-adjoint. Let . Integration by parts [F5] and equality of the endpoint traces show that is symmetric on . For in this domain, integration by parts gives and . Parseval for [F2] therefore implies and .
On write with . This operator is symmetric because is symmetric and are real. For every and integer , ; the coefficient identities in step 1.1 and the triangle inequality give with any prescribed after choosing sufficiently small and then a finite . Applying [F3] with proves that is self-adjoint on the stated periodic domain.
Each lies in the periodic domain and direct differentiation gives . 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 . This set has no finite accumulation point because and . If is outside it, . For , where , the diagonal map is bounded on . Also , so the domain characterization in [F4] shows that maps into . Coefficientwise, and on , so is in the resolvent. If then is a nonzero kernel vector. Hence the spectrum is exactly the displayed set and there is no continuous spectral measure.
Let and . It is unitary, preserves the periodic domain, and by differentiation; squaring gives . If a smooth periodic unit-modulus function satisfies the displayed conjugacy, then , or . The solutions are with , which are periodic exactly when , equivalently . 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.
Depends on
Periodic Sobolev domain for a circle
All self-adjoint interval Laplacian boundary conditions
Integration by parts and the endpoint-vanishing space on intervals
Fourier coefficients and trigonometric polynomials on the torus
The trigonometric system is complete in of the torus
Kato-Rellich theorem
Relative boundedness with respect to an operator
Spectral theorem for unbounded self-adjoint operators (PVM form)
The Axiom of Choice
The Axiom of Countable Choice ()
The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain