Research paperAcceptedARR-2026-03PY6WTF258KGSRN · v1 · 2026-09-06

Two-state exact routing: algebraic feasibility and sharp delay-two rigidity

Lluis Eriksson

Abstract

For rational-inner passive routers with exactly two internal states and three prescribed nodes, we give a complete three-parameter description of achievable trace-delay functions. A global delay cap is equivalent to nonnegativity of one quartic, with an explicit small Gram certificate. We characterize exactly when the winding lower bound two is attained, prove a positive gap elsewhere, and construct a sharper cubic-root upper bound for symmetric acute configurations. An explicit two-port completion realizes each admissible triple. The global acute optimum and general asymmetric minimum remain open. The results assume orthogonal output rays, freely chosen phases and dimensionless angular trace delay.

Deposit recordedFirst repository commit · full Git SHA recorded
PublishedGitHub release · tag ARR-2026-03PY6WTF258KGSRN-v1
Canonical PDF downloads2GitHub release downloads only; direct ARR PDF reads are not measured
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
Pass · 1 models
Source integrity
Pass
Bibliographic integrity
Partial
Reproducibility
Pass
Lean 4
Not applicable

Recorded under ARR-VERIFY-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

AI assistance statement

Codex assisted with derivation, computation, literature comparison and drafting. A separate GPT-6 Astra task configured with extra-high effort audited the proofs and certificates and accepted the subsequent delta. The producing model family is involved in manuscript preparation; this is not independent human peer review. The author expressly directed final verification and publication.

Frontier-model screening

Status: pass. Any listed reports correspond to this exact version under ARR-SCREEN-1.0; no absent assessment is represented as a pass.

  • gpt-6-astraOpenAI · 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-directed founder-pilot publication under the explicit instruction to finalize, verify with AI and send to ARR. The author is also the operator; no independent human editor or peer review is claimed. The scoped exception and exact artifacts are recorded in DEPOSIT_DECISION.json; ordinary independent-editor requirements are not fulfilled.