We study the local Holevo information of binary coherent-state ensembles restricted to a wedge of two free, minimally coupled scalar fields in AdS3. Canonical local subsystems, operator bounds on spectral tails, and certified ball arithmetic yield rigorous continuum enclosures. A centered coherent reference extends the transfer inequalities to arbitrary prior probabilities. The manuscript develops a stopping criterion and diagonal convergence under explicit algebra-exhaustion and faithfulness hypotheses. For theta = 3/5, occupation n = 1 and prior p = 1/2, the certified reference enclosure is 0.05969787 <= chi_B <= 0.06078801 nats. The original retained channel exhibits a certified separation of at least 0.01886667 nats between its Holevo information and an upper bound for Gaussian-measurement information. This comparison does not identify single-copy accessible information. The deposit includes the English and Spanish preprint, current LaTeX sources, Python programs, exact rational parameters, serialized interval certificates, dependency specifications and a complete verification/recomputation recipe. The original survey contains 31 certificates for 24 ensembles; subsequent studies examine spectral cutoffs, thermal selection, directed profiles, angles, occupations and uncompressed Gram upper bounds. Scope: free quantum fields on a fixed curved background. This is a preprint; no claim of peer-reviewed acceptance, universal optimality or absolute bibliographic priority is made.
We study the local Holevo information of binary coherent-state ensembles restricted to a wedge of two free, minimally coupled scalar fields in AdS3. Canonical local subsystems, operator bounds on spectral tails, and certified ball arithmetic yield rigorous continuum enclosures. A centered coherent reference extends the transfer inequalities to arbitrary prior probabilities. The manuscript develops a stopping criterion and diagonal convergence under explicit algebra-exhaustion and faithfulness hypotheses. For theta = 3/5, occupation n = 1 and prior p = 1/2, the certified reference enclosure is 0.05969787 <= chi_B <= 0.06078801 nats. The original retained channel exhibits a certified separation of at least 0.01886667 nats between its Holevo information and an upper bound for Gaussian-measurement information. This comparison does not identify single-copy accessible information. The deposit includes the English and Spanish preprint, current LaTeX sources, Python programs, exact rational parameters, serialized interval certificates, dependency specifications and a complete verification/recomputation recipe. The original survey contains 31 certificates for 24 ensembles; subsequent studies examine spectral cutoffs, thermal selection, directed profiles, angles, occupations and uncompressed Gram upper bounds. Scope: free quantum fields on a fixed curved background. This is a preprint; no claim of peer-reviewed acceptance, universal optimality or absolute bibliographic priority is made.
Volume-Uniform Finite-Volume Bounds with the Representation Cutoff Removed: a Reconstruction and Computer-Assisted Improvement of Creation-Operator Constants We study the Kogut–Susskind Hamiltonian of pure SU(2) and SU(3) lattice gauge theory on three-dimensional cubic boxes, H = aΣ_e L_e + bΣ_p (1 - F_p), with L_e the electric Casimir on link e and F_p = N⁻¹Re tr U_p, at strong coupling (small b/a). An unrefereed preprint by Gauvin adapts the creation-operator method of Bravyi, DiVincenzo and Loss to this setting and states, for SU(3), a physical gap uniform in the volume, with the representation cutoff removed, for b/a ≤ 1/648. We give a self-contained reconstruction of the finite-volume argument, identify its external analytic inputs, and reproduce its constants. We then prove a sequence of refinements of the commutator estimate: a selection rule of Wilson-loop multiplication that restricts admissible creation placements, fractional witness counting, orthogonality of output sectors, Haar-measure bounds for vacuum projections before and after the plaquette multiplication, a two-link sandwich identity, a joint vacuum-row bound, and a size-weighted norm. The finite tuple constants and final sufficient inequalities are checked in exact rational arithmetic by two author implementations and a separate verifier written from the stated definitions. The operator inequalities that justify these arithmetic definitions are proved analytically. On open boxes the physical gap is at least 3a/2 for SU(2) whenever b/a ≤ 2/95, and at least 8a/3 for SU(3) whenever b/a ≤ 2/35 (1/16 with a sharper representation-theoretic bound), uniformly in the box. These sufficient couplings are 3072/95 and 1296/35 times those obtained from the preprint's constants (for SU(2), our transfer of them). The corresponding open-box endpoints in Hamiltonian units are β_H=√(4/95) ≈ 0.205 for SU(2) and β_H=√(6/35) ≈ 0.414 for SU(3), or √(3/16) ≈ 0.433 with the strengthened SU(3) bound. The basic open-box certificates also bound the static fundamental potential below linearly: for static charges at graph distance L ≥ 6, E_{x,y} - E_vac ≥ σ L with σ = 5/16 a for SU(2) at b/a ≤ 2/95 and σ = 5/9 a for SU(3) at b/a ≤ 2/35, uniformly in the box. A variable exclusion fraction and an independent local-decoupling upper bound bracket the first physical excitation energy above the vacuum. On open boxes containing an elementary plaquette, at b/a = 1/5000 this energy lies in [2.990, 3.050] a (SU(2)) and [5.326, 5.390] a (SU(3)). These are strong-coupling statements at fixed lattice spacing, not continuum statements. Files ym_strong_coupling_gaps.pdf: the paper. zenodo_ymgap_v1.0.0_2026-10-23.zip: the certificate bundle: two independent implementations of the certified tuple constants, the verifier, the tamper-test driver, the Section 8 upper-bound program and its exact checker, the number generator, manifests and verifier outputs for all 34 certificate configurations, the complete tuple files, and the paper source with every number generated from these files. Its SHA-256 is in the adjacent .sha256 file; SHA256SUMS inside covers every file. README.md, LICENSE.md: copies of the bundle's front matter. Verification ./replay.sh (Python 3, standard library only; a few minutes) regenerates every tuple file, compares it entry by entry with the second implementation, verifies every manifest in exact rational arithmetic, runs the tamper tests and the exact check of the two-sided bracket upper bounds, and regenerates every number of the paper; it exits non-zero on any failure. Scope: strong-coupling statements for the Kogut–Susskind lattice Hamiltonian at fixed lattice spacing, uniform in the volume, with the representation cutoff removed. They are not continuum statements and do not address the continuum Yang–Mills mass gap problem. Licence: CC BY-NC 4.0 (LICENSE.md), licensed by SmartLedger Solutions. Commercial-use enquiries: labs@smartledger.solutions. No patent licence is granted by this release.
This computer-assisted preprint proves a sharp reverse relative entropy inequality L >= beta_m chi for uniform ensembles of individually normalized qubit states, for every m >= 2. Here chi is the Holevo quantity and L is the non-optimized quantum lautum information. The proof combines analytic Bloch-vector and Gram-matrix reductions with four interval certificates covering 855,780 boxes. For three matrices in arbitrary finite dimension, the paper also establishes local nonnegativity near faithful pairwise-commuting equality triples, allowing unequal traces and noncommuting perturbations. Further results include normalization bridges, an angular reduction for three qubits, and certified obstructions to proposed pinching and filtering descent arguments. The unrestricted unequal-trace ensemble inequality and the general equality of complete and ordinary modified logarithmic Sobolev constants are not proved. The accompanying archive contains sources, certificate inputs, verifiers, and reproduced results. Developed with AI assistance; not peer reviewed or formally verified. Companion paper: Christoph Hartmann, Reverse relative entropy and finite-time contraction for conditional expectations (2026).
We give a self-contained explicit counterexample for the existential unregularized bounded-region fermion question on printed page 371 of Oberwolfach Report 7/2025, with pointwise operator-norm topology distinguished from strong-operator topology on page 365. In dimension three, one fixed smooth nonnegative radial compactly supported pair potential and one fixed interaction ball give a fixed smooth normalized annihilation mode whose Heisenberg norm differences tend to the maximal value 2. Explicit packed finite-particle Slaters and times pi/(2N+1-kappa) witness the same vector-norm limit, a stronger vector asymptotic, and changing normal-state values tending to 4. Both diagonal-density and normal-ordered interactions are covered with ordered-pair coefficient 1 and no ultraviolet smearing. A fixed smooth-cutoff commutator, Slater second moment and two-sector Duhamel comparison give error O(N^(-1/6)+N^(-1/3)). The kinetic energy acts on all of R³. Continuity on every fixed vector and in every fixed normal state remains valid. Siebert's arXiv:2609.34402v1, submitted 28 September 2026 before the original 7 October candidate, supplies the earlier high-density cluster and localized phase mechanism. Its stated theorem concerns full-space difference potentials, but its proof directly adapts to this bounded symmetric cutoff kernel and yields the qualitative existential conclusion. Its Proposition 2.6 explicitly gives maximal norm 2 for the full-space constant-number reference. The present note gives an explicit free-Slater transfer to the fixed spatial cutoff. A separately checked audit-time energy bootstrap also recovers the cutoff maximal limit through the earlier localized phase mechanism. These cutoff implications are deductions made in the audit, not literal cutoff theorems attributed to the prior paper. No first solution, first quantitative refinement, historically certified novelty, or continued open status through October 2026 is claimed. The bounded primary-source priority audit records access and indexing limitations. This five-page unrefereed research note is accompanied by its identical authored PDF/LaTeX source, unchanged 26-file historical candidate and independently authored analytic, operator-algebra, computational, source/model, priority and priority-mapping audits. The fresh computational family has 2,668 exact finite predicates and 558 floating diagnostics; finite tests supplement the universal written proof, and numerical diagnostics are not rigorous interval enclosures or formal proof certificates. Historical optimized-assertion and inventory weaknesses are repaired by externally pinned closed regular-file validation and isolated nonoptimized checker execution, while all original bytes and the original 1/5 candidate count are preserved. Historical result outputs are not claimed byte-identical to current replays, and runtime source-byte checks are explicitly omitted. AI tools were used extensively in development, verification, adversarial review and writing. Independent AI-assisted review is not human or journal peer review; neither is claimed. No copied third-party source bodies are distributed. No all-potential, all-region, dimension-one/two, fixed-density/energy, thermodynamic, fixed-state-discontinuity or CAR-invariance result is asserted.
A source-inclusive coherence observable is useful only when its measurement resources are admitted. This preprint constructs a bounded local reader for the conserved exchange observable of a specified finite quantum-record apparatus. A degree-three graph uses one independently prepared probe, twenty relays with arbitrary joint states, and finite-duration two-register extraction and full-SWAP interactions. The original apparatus Hamiltonian and an independently added archive-gated process remain active throughout their respective implementations. A prefix-dependent control-frame comparison, symmetry-resolved effect estimate, and explicit gain, phase and finite-slew waveform bounds yield a sufficient response separation greater than 0.005139889 for the stated fixed, fully accessible sixteen-position source and remaining response-error budgets. This is a conditional mathematical result, not measured hardware calibration, a partial-source-access theorem, or a unique diagnosis or derivation of fundamental collapse. The package contains the main manuscript, technical supplement, editable LaTeX, direct numerical reproduction sources, and accepted returned Mac evidence for 56 paper-specific supporting Lean declarations. That subset verifies selected algebra, scalar inequalities and the actual-constant numerical expression; it does not formalize the full physical/continuous-time theorem end-to-end. Separate-session AI review, numerical reproduction and returned kernel evidence are distinguished. Author-owned manuscripts, documentation and mathematical data are CC BY 4.0; newly authored numerical and Lean software is MIT. Predecessor and third-party notices remain unchanged; the reproduction package contains the licence map. No external funding; no competing interests declared. Public preprint v1.0; edition date 18 October 2026; DOI 10.5281/zenodo.23442579.
This record gives an exact, machine-checked resource analysis of a specific USp(6) = Sp(3)-covariant quantum compression construction, and the reproducible certificates behind it. The carrier is W = V14 ⊕ V21 (dimension 35), the memory is the sixdimensional irreducible V6, the source is the balanced sector-mixed state with weights (1/28, 1/42), and the figure of merit is the Schumacher entanglement fidelity 𝜔. The construction and its coherent witness are inherited from the companion compression paper (DOI 10.5281/zenodo.21744306), which certifies F*_effEB,V6 ≤ 1/100 < 1/40 < 39587/1382976 = 𝜔(witness): a coherent covariant channel through the six-dimensional memory beats every entanglement-breaking channel through that memory. Four results, each verified exactly over the rationals, answer one coherent question — what preserves the compression advantage in this symmetry-constrained construction: (1) Sector-dephasing benchmark. Removing all coherence between the two output sectors drops the fidelity from 39587/1382976 to the within-sector value 55/3528, which still exceeds the 1/100 entanglement-breaking upper bound; the certified advantage survives, and the coarse output-sector label is blind to the input. (2) Branch entanglement. The two normalized output-sector channels N14 and N21 (output sector restricted, input/reference kept full) are both completely positive, trace-preserving, and have a negative partial transpose; each retains reference entanglement, so neither is entanglement-breaking. (3) Branch replacement. Replacing one branch at a time by an entanglement-breaking channel, at fixed sector probabilities and through the same memory, keeps the V14 branch (M14, 𝜔 = 835/74088 > 1/100) above the bound while the V21-retaining channel (M21, 𝜔 = 263/49392 < 1/100) does not clear it; both complete channels remain NPT. (4) Entanglement-breaking comparator. An explicit admissible covariant entanglementbreaking channel through the same memory strictly outperforms M21, with 𝜔 = 1544075/288004752 > 263/49392 (exact margin 5261/144002376 > 0). This resolves the previously open comparison and brackets the entanglement-breaking optimum as 1544075/288004752 ≤ F*_effEB,V6 ≤ 1/100. The overall lesson is objective-specific: retaining reference entanglement and obtaining a task-specific quantum advantage are distinct here. Every claim is checked by an exact rational verifier (python-flint): Choi positivity and partial-transpose tests use the certificate’s own Gram metric, and the comparator’s score is confirmed by reconstructing the actual channel and re-evaluating the original objective. Scope and caveats: the results have been audited for correctness by an independent reviewer; this record does not claim comprehensive novelty relative to the existing literature on quantum-memory resource theories and operational benchmarks, nor establish journal suitability. Any connection to the author’s broader “Presence Hypothesis” program is
A quantum record can have locally accessible populations while its distinguishing phase remains correlated with a distant source. We study this access boundary in a specified finite recording apparatus with a returning, vacuum/one-excitation source. Source-position weights give finite-time cutoff bounds without removing any physical hopping or return coupling. For an initially far-tagged record and its incoherent mixture, every reader in a declared position-preserving local-control class obeys a phase-visibility envelope and a necessary access-time inequality. A separate finite local probe shows why that state-discrimination limit is not an unrestricted limit on distinguishing two dynamical laws: fresh local coherence can reveal a stipulated added dephaser without recovering the old record phase. We construct a bounded, degree-three reader accessing only source positions 1–32. With the initial tag fixed at position 65, exact finite-source arrival certificates and an analytical tail comparison yield recovery uniformly over every finite total source length at least 65. Accessible control faults are charged against the arrived signed-phase norm, while source-moving drift is charged against the full norm. At the fixed deadline 25.02/J, the matched phase-dependent difference between coherent and archive-gated dynamics exceeds 0.005, including the stated simultaneous control faults and four additional absolute response allowances of 0.008 each. Complementary results cover a vacuum-ready source and a stronger endpoint-prepared finite example. The conclusions are conditional on the supplied model, preparations, common realized controls and calibration bounds. They are not a switchable-fundamental-law experiment, a nuisance-independent classifier, an optimal-speed theorem or an end-to-end formal verification. The supporting Lean companion contains 59 declarations in eight modules with accepted returned Mac compilation, type and axiom evidence; physical analytical interfaces remain explicit hypotheses or outside that subset. The deposit files include the main manuscript, technical supplement and full research/reproduction package.