Research paperCorrectedARR-2026-53CTRKDSP685PT51 · v5 · 2026-08-30

The Schwarzian Bridge in a Single Sigmoid Neuron: Oracle Gram Resolution, Joint Spectral Lexicography, and Spherical Saturation Phases

Lluis Eriksson

Abstract

A sigmoid neuron induces two distinct spectral geometries: a population radial-tangential anisotropy controlled locally by the Schwarzian derivative, and an empirical extreme-saturation hierarchy controlled by samples nearest the transition hyperplane. For logistic powers h_p=sigma'^p, p>0, we prove exact saturation constants, sharp pointwise bilateral oracle-Gram complexity, and regularly varying spherical radius phases. We then make the empirical hierarchy quantitative. A deterministic exterior-power theorem resolves every leading eigenspace; an exact inverse-Gaussian angle law and a finite hierarchy perturbation lemma yield an explicit joint finite-radius, finite-sample guarantee for the bottom eigenspace and teacher direction. Finally, a two-dimensional tangent Gaussian process proves that uniform control over a full angular shell intrinsically incurs a square-root log-radius factor in the iterated high-probability limit. Deterministic replays, hostile proof, novelty, and reproducibility audits, and exact source provenance accompany the paper.

Deposit recordedFirst repository commit · full Git SHA recorded
PublishedGitHub release · tag ARR-2026-53CTRKDSP685PT51-v5
Canonical PDF downloads9GitHub 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
Not assessed
Source integrity
Pass
Bibliographic integrity
Partial
Reproducibility
Partial
Lean 4
Not applicable

Recorded under ARR-VERIFY-1.0. ARR verification and screening are not peer review.

Revision statement

Major revision. Adds a joint finite-saturation bottom-eigenspace theorem, deterministic exterior-power spectral lexicography, an exact inverse-Gaussian angle law, and an intrinsic angular shell lower bound with the square-root log-radius factor; strengthens claim boundaries, hostile audits, and reproducibility.

Version history

The ARR identifier remains stable. Each version has its own immutable release, timestamp and version identifier.

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

AI assistance statement

OpenAI Codex assisted with public-repository and primary-literature triage, theorem exploration, proof development, adversarial proof/algebra/priority audits, numerical replay, drafting, LaTeX production, visual QA, and deposit preparation. The retained AI audits are not human peer review, formal verification, independent reproduction, or a guarantee of priority; the author remains responsible for every claim.

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

    Version v5 supersedes v4. Declared major revision: Adds a joint finite-saturation bottom-eigenspace theorem, deterministic exterior-power spectral lexicography, an exact inverse-Gaussian angle law, and an intrinsic angular shell lower bound with the square-root log-radius factor; strengthens claim boundaries, hostile audits, and reproducibility. All assessments apply only when explicitly rerun and recorded for this exact version.