Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 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.

Continued resolvent matrix elements and resonance poles

Definition

Let T be self-adjoint on a complex Hilbert space H whose inner product is linear in the first variable, use the resolvent convention RT(z)=(T−zI)−1, and let X⊆H be a specified vector subspace. For f,h∈X, the scalar resolvent matrix element is

rf,h(z):=⟨RT(z)f,h⟩,Im⁡z>0.

Given an open real interval I, a point E0∈I, and a disk D centered at E0, a local analytic continuation of these matrix elements through E0 is a specified family of holomorphic functions r~f,h:D→C agreeing with rf,h on D∩{Im⁡z>0}, for the stated f,h∈X. A meromorphic continuation on D is instead a specified family r~f,h agreeing with rf,h on D∩{Im⁡z>0}, holomorphic on D 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 z0∈D is nonreal and for some f,h∈X the continued function satisfies

r~f,h(z)=(z−z0)−kq(z)

on a punctured neighborhood of z0, for an integer k≥1 and a holomorphic q with q(z0)≠0, then z0 is a pole of order k of that continued matrix element. Such a pole is called a resonance matrix-element pole for the specified pair (T,X) and continuation. This definition asserts neither that a continuation exists nor that a pole is an eigenvalue of T; the continuation and the chosen test vectors are part of the data.

Depends on

Dependency tree · 2 levels

Sources