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.
Continuum contribution in perturbation
Example
Assume Countable Choice (The Axiom of Countable Choice ()), as required by the analytic coefficient supplier. Let with norm and inner product linear in the first variable (Hilbert space, The space as the quotient by null functions). Let on all of , with . The operator is bounded and self-adjoint, with spectrum ; is an isolated simple eigenvalue with gap . These assertions and its concrete PVM are verified directly below, without a general AC spectral theorem. Define This example verifies that:
(a) is bounded and self-adjoint, with . is the projection onto , and is a unit vector with .
(b) With , and the actual reduced inverse , the second-order coefficient of Simple-level reduced-resolvent coefficients is exactly The coefficient theorem applies for all complex , where ; the first-order coefficient is zero. The contour supplier applies on the larger disk .
(c) The entire second-order coefficient comes from the continuous, indeed absolutely continuous, complementary spectrum of on . A bound-state-only sum returns , so it misses this nonzero complementary contribution.
Verification
Given: CC, the concrete above and the first-variable-linear pairing.
[F1] Projection valued measure, A bounded linear operator between normed spaces, The operator norm as the least bound and as the unit-sphere or unit-ball supremum, Hilbert space and The space as the quotient by null functions specify the operators, quotient classes and Hilbert norm. Under the assumed Countable Choice, Complex completeness, density, and inner product: the consumer interface gives completeness and the first-variable-linear pairing for complex on every measure space; apply it to Lebesgue measure on . Multiplication by bounded measurable functions preserves these quotient classes; Cauchy-Schwarz inequality for bounds the scalar integral in , and Dominated convergence gives the strong convergence of indicator-multiplier tails.
[F2] Simple-level reduced-resolvent coefficients, with the actual restricted inverse on , gives and under CC and . Contour perturbation projection gives the holomorphic simple eigenvalue on . The example verifies all operator, spectral, normalization, gap and perturbation hypotheses locally before using them.
[F3] The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t identifies . Positivity is also immediate from on a positive-length interval.
[Explicit operator and spectral measure] The completeness and pairing in [F1] make it a complex Hilbert space. If is Cauchy in the stated direct-sum norm, each component is Cauchy; completeness of and this space gives limits , and the norm identity gives convergence to . Thus is complete before any Hilbert-space theorem or PVM definition is used. Since , is bounded on all with norm , and real multiplication gives . A bounded symmetric operator on the whole Hilbert space equals its adjoint directly by the defining pairing, so is self-adjoint with domain . For every real Borel define . These are orthogonal projections, , and their products are . On a fixed vector, disjoint countable additivity follows from pointwise indicator sums and the integrable squared-norm majorant (with the scalar component evaluated at ), so this is a PVM. Its scalar measures are . Integrating bounded simple approximations to the coordinate function on yields on all . Thus the representing PVM and its bounded multiplier realization are explicit.
[Spectrum, gap and absence of complementary eigenvectors] For , is a bounded two-sided inverse on . For any and , the interval has positive length. The vector is unit and has , excluding a bounded inverse at . Finally , so is an isolated simple eigenvalue and its distance to the remaining spectrum is . The equation forces in because a singleton has Lebesgue measure zero. Consequently the complementary block has no eigenvectors and all its spectral measures are absolutely continuous with densities on , including zero atom at the endpoints. In particular and has norm one.
[Perturbation hypotheses and the restricted inverse] Let . Cauchy-Schwarz and the interval's length one give . Therefore ; equality at gives . For , the first-variable-linear pairing gives , so . Moreover and the first-order pairing is zero. On , has inverse , bounded on that exact whole complementary domain with norm one. Hence , and on . No global inverse of is used. The preceding operator, spectral and perturbation computations verify every concrete hypothesis of [F2], with inherited CC and .
[Exact coefficient and its continuous origin] The explicit reduced inverse gives and . Pairing with the unit and applying [F2], [F3] yields . The scalar spectral measure of is exactly by step 1.1, so the entire coefficient integrates over the continuous complementary spectrum. Step 2.1 shows that the only bound eigenvector belongs to , with zero coupling matrix element; there are no complementary bound eigenvectors. A sum restricted to bound states therefore gives zero and omits the exact negative coefficient. This proves all original example claims, its normalization and class, with the correct restricted inverse and explicit inherited CC.
Depends on
The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t
Dominated convergence
Cauchy-Schwarz inequality for
The Axiom of Countable Choice ()
Simple-level reduced-resolvent coefficients
Contour perturbation projection
Projection valued measure
A bounded linear operator between normed spaces
The operator norm as the least bound and as the unit-sphere or unit-ball supremum
Hilbert space
The space as the quotient by null functions
Complex completeness, density, and inner product: the consumer interface
Dependency tree · 2 levels
Sources
- R. Fitzpatrick, Quantum Mechanics (University of Texas at Austin, author-hosted course text), Non-Degenerate Perturbation Theory pp. 155-156 (second-order shift as a sum over unperturbed states)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Section 6.6 pp. 153-159 (reduced resolvent and the second-order coefficient)