Research paperHistorical importARR-2025-03RW5SHK35815BZR · v1 · 2025-12-19

Finite-Dimensional Davies Interface Lemmas and TFIM Witness Tests for the Heisenberg Cut as a Resource Boundary

Lluis Eriksson

Abstract

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.

Download mirrored PDFDownload release assetsBrowse plain sources
Original depositai.vixra first-submission history · source omits timezone
Historical mirrorv2Author-authorized ARR bulk release · SHA-256 recorded
Mirrored PDF downloadsNot measuredBulk historical-release assets are not yet included in ARR's per-record download snapshot.
Page viewsNot measuredPage views are not measured until ARR connects a privacy-reviewed, no-cookie analytics source.
Definitions and rankings →
Not yet rated

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.

  • v2 · original ai.vixra file
  • 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.

    Longitudinal frontier-model record

    Independent model assessments

    Read the scale and limits
    Not yet rated

    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.