Many-Body Filling Turns Soft Spectral Leakage into a Maintenance Floor: Exact Filled-SSH Sum Rules and an Interaction-Stable Obstruction
Soft spectral filtering has a more severe effect at finite filling than in a dilute edge-mode code. We consider two odd Su-Schrieffer-Heeger (SSH) rails, fill every negative-energy orbital, and encode one additional fermion in the zero mode of either rail. The code has fixed total number and supports physical coherence. For a boundary transfer at a site with zero-mode weight w_x, the desired logical Davies line has squared matrix element w_x^2. We prove the exact many-body leakage identity W_leak^filled(x) = (1 + 2w_x - 3w_x^2)/4. At the remote boundary, w_x = Theta(zeta^(2 ell)), so the logical line is Theta(zeta^(4 ell)) while the summed particle-hole leakage tends to 1/4. This differs qualitatively from the dilute identity w_x(1 - w_x) = Theta(zeta^(2 ell)).For a Davies filter whose off-target tail is epsilon_ell = exp[-q ell + o(ell)], the bounded-latency exact-refresh power obeys the exponent law lim_(ell to infinity) -(1/ell) log P_(ell,tau) = min{4m,q}, where m = -log zeta, under explicit uniform-envelope and resource-ledger assumptions. A width-independent tail, a special case with q = 0, produces a nonzero maintenance floor rather than merely halving the membrane exponent. More generally, q = 0 means only that the decay is subexponential. Every nonzero tail also makes the exact rapid-refresh limit logarithmically singular at each fixed width.The floor is not a free-fermion accident. For arbitrary interacting number-conserving rails, we prove an exact static identity expressing leakage as a local occupation product minus the logical matrix element. Uniform finite filling and remote-edge indistinguishability force a positive leakage floor. A new local spectral-window lemma places a fixed fraction of that weight in a width-independent Bohr-frequency window using only a commutator norm. Consequently, any bath tail bounded below on that window yields an interaction-stable Davies leakage floor. Quasi-local spectral flow shows persistence in a neighborhood of a symmetry-preserving gapped SSH phase. Exact diagonalization of the interacting spinless SSH chain shows that repulsive and attractive interactions change the observed edge-localization exponent while the leakage is already driven close to 1/4 at accessible widths.
Verification record
- Frontier-model screening
- Not assessed
- Source integrity
- Pass
- Bibliographic integrity
- Not assessed
- Reproducibility
- Not assessed
- Lean 4
- Not assessed
Recorded under ARR-HISTORICAL-IMPORT-1.0. ARR verification and screening are not peer review.
Version history
The ARR identifier remains stable. Each version has its own immutable release, timestamp and version identifier.
- v1 · source snapshot available · viewing
Original ai.vixra version history
Dates below are the source submission timestamps. ai.vixra omits a timezone; ARR preserves the displayed values and uses the normalized offset only for deterministic ordering.
- v1 · original ai.vixra file
AI assistance statement
Historical import from ai.vixra, an AI-assisted e-print archive. ARR has not normalized or independently verified the original manuscript's model-use disclosure; the author remains responsible for its contents.
Frontier-model screening
Status: not_assessed. Any listed reports correspond to this exact version under ARR-SCREEN-1.0; no absent assessment is represented as a pass.
Independent model assessments
No eligible independent ARR-ASSESS-1.0 report is published for this exact version. Missing evidence is not scored as zero.
No model reports are published for this version.
A model assessment is not peer review or a correctness certificate. ARR preserves disagreement, exact-version provenance and later reassessments.
Editorial disclosure
Author-authorized historical import. ARR verified file retrieval and integrity only; it did not perform the current hostile frontier-model admission audit, peer review, novelty review, or correctness certification.