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.
Continued resolvent matrix elements and resonance poles
Definition
Let be self-adjoint on a complex Hilbert space whose inner product is linear in the first variable, use the resolvent convention , and let be a specified vector subspace. For , the scalar resolvent matrix element is
Given an open real interval , a point , and a disk centered at , a local analytic continuation of these matrix elements through is a specified family of holomorphic functions agreeing with on , for the stated . A meromorphic continuation on is instead a specified family agreeing with on , holomorphic on except for isolated poles. At every crossing point where no pole occurs it is a regular analytic continuation on a smaller neighborhood. For such a meromorphic continuation, if is nonreal and for some the continued function satisfies
on a punctured neighborhood of , for an integer and a holomorphic with , then is a pole of order of that continued matrix element. Such a pole is called a resonance matrix-element pole for the specified pair and continuation. This definition asserts neither that a continuation exists nor that a pole is an eigenvalue of ; the continuation and the chosen test vectors are part of the data.