Research paperWorking paperARR-2026-7EPM3V3DP796BBRR · v7 · 2026-11-07

Coarse information and finite rank obstructions for flat lattice Hodge forms

Lluis Eriksson

Citable version that has not completed AIRR screening. Not peer reviewed. Screening record

Abstract

On a finite periodic lattice with unit spacing, a flat Hodge form cannot have a positive coercivity constant uniform under refinement when supplemented only by linear observations in a fixed finite-dimensional real space and linear fine-space repairs of uniformly bounded rank. We construct a real physical Fourier band, prove a necessary information budget and a separate bounded-rank sector obstruction, and explain why a classical singular-Schur condition prevents reversing that budget. Constructed derivative repairs and differentiable observations with locally upper-quadratic penalties admit tangent obstructions, including an exact regular nonlinear-sector argument. For nonnegative weights, a subquadratic directional spatial mean forces output-rank divergence. For signed weights, the spatial mean of the pointwise positive part gives a sufficient condition; ordinary signed means do not, as an actual fixed-output counterexample with every mean zero shows. An attributed classical square cancellation delimits the sufficient criterion; a finite-sum extension covering every eligible pair is displayed analytically. A full volume coexact packet also gives a quantitative rank budget under spatial means of the pointwise positive total coefficient on its two occupied field components. A derived integer cutoff yields positive output rank density on every sufficiently large lattice, while exact trace averaging improves a sufficient low frequency constant. Formal endpoints are separately pinned, and additional analytic arguments are identified. These are finite flat statements, with no interacting or continuum Yang–Mills mass-gap claim or new general spectral-principle claim. The integrated continuation also proves a critical inverse-moment sufficient condition for global spectral observations, together with limits on spatial localization. Rectangular means have a general upper bound with exponent d/4 and the target exponent d/2 for an explicitly restricted scaled-cube class. Two constructive counterexamples exclude a single-global-threshold algorithm and a universal exact cube decomposition, while preserving successful rectangular partitions for those same profiles. The general critical rectangular question remains open. Self-contained local and supplied-cube proofs are included, along with an actual physical fixed-map obstruction and its separately scoped exact finite penalty threshold. The present integrated revision adds positive matrix-gradient estimates, finite-rank signed spectral repair and an exact critical-penalty obstruction for prescribed rectangular means. Its leading penalty coefficient persists on actual flat coexact fields; the complete ambient scalar optimum is proved and accompanied by paired exact rational replay. These supporting results do not settle the general critical rectangular rank-order question.

Preview PDF on this page v7

Uses your browser's PDF viewer. Open the PDF directly if a preview is unavailable.

Reference this work

Cite this paper

v7 · 2026-11-07

Lluis Eriksson (2026). Coarse information and finite rank obstructions for flat lattice Hodge forms. AIRR.SCIENCE, ARR-2026-7EPM3V3DP796BBRR, v7. https://airr.science/papers/ARR-2026-7EPM3V3DP796BBRR/versions/v7/ Research preprint; ARR-2026-7EPM3V3DP796BBRR v7. Not peer reviewed by AIRR. Working paper; not admitted to the AIRR accepted collection.

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.

  • v8 · major revision · source snapshot available
  • v7 · major revision · source snapshot available · viewing
  • v6 · major revision · source snapshot available
  • v5 · major revision · source snapshot available
  • v4 · major revision · source snapshot available
  • v3 · major revision · source snapshot available
  • v2 · major revision · source snapshot available
  • v1 · source snapshot available

Revision statement

Major revision. Integrated58page revision adds matrix-gradient bounds, signed spectral repair and exact critical-penalty obstructions. The critical unrestricted rectangular question remains open. A new exact-PDF qualitative Codex assessment and separate minor errata are retained; historical scores are not transferred.

Verification record

Frontier-model screening
Not assessed
Source integrity
Pass
Bibliographic integrity
Not assessed
Reproducibility
Not assessed
Lean 4
Not assessed

Recorded under ERIKSSON-EXACT-ARTIFACT-20261031. AIRR verification and screening are not peer review.

AI assistance statement

Prepared with extensive continuing-session Codex participation; actual served backend/effort unexposed. One new exact58pagePDF scientific model assessment is retained in full, with seven objections/limitations and no numerical grade. Reviewer originally configured gpt-6-astra, served backend unknown; same orchestrated chat/account/provider, prior ancestor review, nonblind and not established independent. All58pages inspected;64hashes checked. Two minor errata are separately clarified. Claude Code request rejected before inference; no Claude assessment. Historical154 assesses only the earlier46pagePDF. No inherited scores, human peer review, editorial acceptance or entire-manuscript formal verification.

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

    Model assessments and review context

    Read the scale and limits
    3.00 / 10.00Acceptable
    Distinct models
    1
    Range
    3.00–3.00
    Method
    bounded capability-weighted mean · exact version only

    Limited evidence · 0/1 benchmark matches. This is an evidence description, not a probability of correctness.

    Only one distinct model; One provider; shared blind spots possible; Fresh blinded review context not documented for every model; Benchmark match incomplete; Adverse reports or unresolved objections require editorial disposition

    Score calculation and evidence

    Unweighted mean: 3.00. Policy: AIRR-RATING-1.0. Method and limits.

    ModelOriginal scoreWeightBasis
    OpenAI · Codex - served model identity unexposed3.001.000No evidenced exact benchmark configuration

    Download the calculation snapshot

    Review input clarification

    The author requested a genuine numerical star assessment after the original qualitative-only v7 report. One declared review produced3.0/10 and3stars; all findings and the full original report are retained. The served model identity and reasoning setting are unexposed; history/workspace and memory isolation are not established, and the manuscript prints historical assessments. This is limited AI evidence, not an identified-model admission quorum, independent human review or editorial acceptance. The original response used numeric version7; the reviewer corrected only that identifier to v7. Both responses and the context are retained. The original qualitative report remains unchanged.

    Operator record · · Source files and affected reports

    OpenAI · Codex - served model identity unexposed · unknown · review context: unknown3.00

    Recommendation: Minor Revision · Material objections: 0

    A substantive finite-lattice dossier whose displayed proofs support its scoped observation-budget and penalty conclusions. No main-invalidating error was found after inspecting every rendered page and checking the major Cwikel input against its primary source. The result is rated 3.0/10 on the Millennium significance/quality scale, with 3 overall stars and minor revision for presentation. Classical mechanisms, uncertain priority, global rather than rectangular observations, the unresolved critical rectangular construction and no interacting/continuum bridge limit the significance. Exact backend identity and prior participation are unknown; manuscript historical context makes this nonblind. No independent full formal rebuild or archive replay was performed.

    Correctness confidence
    All 58 rendered pages inspected. Fourier/rank, tangent-sector, inverse-flow, geometry and Schur/coexact arguments withstand analytic review; no main-invalidating error found. Complete formal dependency closure and execution archives are not_checked.
    Rigor
    Explicit hypotheses and quantifiers separate fixed/free penalties, kernel/full-space conclusions, real/complex multiplicities and ambient/coexact optima. Important continuation theorems remain analytic; finite diagnostics are correctly scoped.
    Novelty
    Central rank-nullity, Cwikel/Rumin, effective-resistance and Schur mechanisms are classical. Specific examples and finite adapters are plausible useful contributions, but exhaustive priority and strong originality are not_checked.
    Significance
    Substantive constraints and constructive counterexamples for a finite-flat observation problem. The unrestricted critical rectangular construction remains open; physical coefficient hypotheses, interacting and continuum conclusions are absent.
    Reproducibility
    Pinned source anchors and named endpoints describe an inspectable reproduction route, but independent Lean builds, full source/claim/dependency audit, archive verification and exact numerical replay are not_checked in this assessment.

    Strengths

    • The actual unit-spacing Hodge normalization, real Fourier band and separate full-space/sector rank budgets are explicitly derived.
    • The regular-sector curve proof controls departure from the band through the quadratic form expansion and retains necessary regularity and penalty hypotheses.
    • Signed positive-total-coefficient envelopes support genuine compression traces and a finite integer-tail volume-density bound.
    • The global critical inverse-moment theorem and weak-box curls establish the sharp exponent within the specified scalar moment family.
    • Explicit profiles separate failed dyadic/threshold mechanisms from successful unrestricted rectangular partitions on the same profiles.
    • The prescribed-map penalty examples include all-field kernel premises, actual physical/coexact witnesses and an exact ambient optimum with a separately scoped coexact leading residue.

    Weaknesses

    • The unrestricted critical rectangular mean construction remains open; global spectral observations, the weaker D/4 bound and supplied-cube results do not resolve it.
    • No interacting Hessian identification, physical coefficient distribution proof, continuum limit or Yang-Mills mass gap is obtained; physical rescaling changes the finite thresholds.
    • Classical mechanisms account for most central tools, and an exhaustive priority comparison establishing originality of the specific synthesis is not_checked.
    • Independent Lean rebuilding, complete dependency/source-to-claim audit, reproduction-archive verification and rational replay are not_checked; manuscript execution claims remain reported evidence here.
    • The shared scalar coefficient theorem and full matrix-gradient theorem have different domains. Signed capped counts, actual selected-channel ranks and fixed-threshold counts must remain distinct.
    • Many constants and density bounds are nonoptimal. The exact scalar ambient penalty is not established as the complete restricted coexact optimum, although the leading residue transfers.
    • Operational history and historical assessments obscure the theorem structure. A compact theorem/hypothesis/verification map, supplemental workflow history and merged duplicate references would improve the paper.

    Potential errors

    None reported.

    Strong novelty candidates

    • Candidate only, priority unestablished: the concrete rectangular coefficient example with exact ambient penalty and actual coexact leading residue 16/5.
    • Candidate only, priority unestablished: paired coefficient profiles that defeat restricted partition mechanisms while admitting explicit successful unrestricted rectangles.
    • Candidate only, priority unestablished: the particular finite-flat synthesis of signed-envelope rank budgets and capped matrix-gradient spectral repair; its constituent mechanisms are classical.

    Unresolved material objections

    None reported.

    arr:assessment:5df8d421-4b23-4635-9c4c-48f3dc5d6c3b · prompt ARR-ASSESS-1.0 · response SHA-256 b9e8259a768380794f744f9af9cecb70f6e57c358b7fb1d931cc53da2692917f · canonical PDF SHA-256 9070f806e9069fd4b1fa54ec24527bc0cfcc03ddfce91b1206ed9358f6ce70c6

    OpenAI Codex · Reviewer configured gpt-6-astra; served model identity unexposed

    No numerical score assigned by the model. · Qualitative scientific reading assessment; no numerical grade assigned, no ARR-ASSESS criterion stars or weighted aggregate.

    No demonstrated principal mathematical blocker to clearly labelled Working-paper release; qualified reading assessment.

    One new assessment of the unchanged58page PDF. Every page inspected and64source/render hashes matched. All seven objections and limitations are retained, with two minor errata separately clarified by the preparing agent. Formal-audit and originality limitations remain, as do the open unrestricted rectangular question and physical-scope boundary. Claude Code was rejected before inference and supplies no assessment. Historical report154 belongs only to the earlier publicv6 PDF and contributes no grade here.

    Backend identity: unknown. The reviewer previously assessed an ancestor in the same orchestrated chat/account/provider. It did not prepare this manuscript; nonblind, historical scores printed in this PDF were visible, served backend and reasoning setting unknown. Independence is not established. This is not human peer review, editorial acceptance or an independent full formal/dependency audit. Report-captured timestamp is the retained report file write time; review date is2026-11-07.

    Report captured · Exact PDF SHA-256 9070f806e9069fd4b1fa54ec24527bc0cfcc03ddfce91b1206ed9358f6ce70c6

    A model assessment is not peer review or a correctness certificate. AIRR preserves disagreement, exact-version provenance and later reassessments.

    Editorial disclosure

    Working paper outside the accepted collection, with native exact-PDF receipt, clean scan and CC-BY-4.0/CC0 distribution permission derived from the actual continuous author instruction. One qualitative model assessment and all objections retained. Verification, priority, open rectangular and physical-scope limitations remain. No completed two-identified-model AIRR admission gate, editorial acceptance or independent human peer review. Author is founder/editor.

    Record timestamps & download statistics
    Deposit recordedFirst repository commit · full Git SHA recorded
    PublishedGitHub release · tag ARR-2026-7EPM3V3DP796BBRR-v7
    Canonical PDF downloads13GitHub release downloads only; direct AIRR PDF reads are not included
    Page viewsNot availablePage-view counts are not available in this public snapshot. Optional operator statistics are separate.
    Definitions and rankings →