Finite-Dimensional Davies Interface Lemmas and TFIM Witness Tests for the Heisenberg Cut as a Resource Boundary
Earlier deposit preserved without the current AIRR screening. Not peer reviewed. Screening record
SUPERSEDED BY AI.VIXRA:2601.0023V2. This replacement preserves public version 1 and adds an explicit correction and supersession record. The exact omega=0 statements and witness mechanism of version 1 stand unchanged, and Proposition 4.4 survives with a repaired proof. What is superseded is the false general plain-commutator Bohr decomposition, the suppression proof route using a false KMS submultiplicativity bound, the associated constants and claim of avoiding an inverse-smallest-eigenvalue factor, and the inline listing. ai.viXra:2601.0023v2 supplies the exact general decomposition, corrected c_sigma-dependent bounds, pinning identity, explicit hypotheses and verification suite. No thermodynamic, continuum or universal resource-boundary theorem follows from the finite tests. The preserved version 1 follows the two-page notice unchanged.
Preview PDF on this page v1
Uses your browser's PDF viewer. Open the PDF directly if a preview is unavailable.
Cite this paper
Lluis Eriksson (2025). Finite-Dimensional Davies Interface Lemmas and TFIM Witness Tests for the Heisenberg Cut as a Resource Boundary. AIRR.SCIENCE, ARR-2025-03RW5SHK35815BZR, v1. https://airr.science/papers/ARR-2025-03RW5SHK35815BZR/versions/v1/ Archived manuscript; ARR-2025-03RW5SHK35815BZR v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.
Use this version link to cite the manuscript you read. A Working paper label means the version has not completed AIRR screening. AIRR screening is not journal peer review. Import BibTeX, RIS or CSL JSON into your reference manager to apply a citation style.
Version history
The paper 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; AIRR preserves the displayed values and uses the normalized offset only for deterministic ordering.
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. AIRR verification and screening are not peer review.
AI assistance statement
Historical import from ai.vixra, an AI-assisted e-print archive. AIRR 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.
Model assessments and review context
No supported exact-version 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. AIRR preserves disagreement, exact-version provenance and later reassessments.
Editorial disclosure
Author-authorized historical import. AIRR verified file retrieval and integrity only; it did not perform the current hostile frontier-model admission audit, peer review, novelty review, or correctness certification.