Travis Bergen

Semiboundedness Criteria for H* (the B-Note): Stability, Instability, and the Reduction to a Unit-Window Excursion Question for ζ on the 1-Line

Full proofs of semiboundedness criteria for 1D Schrodinger operators applied to H* = -d2/dy2 + V* + 1/4 with V*(y) = log|zeta(1+iy)| - R(y): a stability criterion (uniform unit-window L1 bound on the negative part, explicit constant), two instability criteria (deep-wide dips; con...

IMM Proofs Volume — Open Series Companion (v0.2): The Theorem-Grade Core of the IMM Corpus at Claim Ledger Discipline

The theorem-grade core of the Information Manifold Model corpus, extracted at Claim Ledger discipline: exactly the T-grade rows, in three tiers (unconditional theorems; theorems under labeled hypotheses; theorems by exhaustive finite enumeration with committed certificates). 42 e...