The Schwarzian Bridge in a Single Sigmoid Neuron: Sharp Empirical Complexity and Global Spherical Saturation
A negative-Schwarzian sigmoid is not matrix-monotone of order two, and the same local invariant determines the quadratic onset of radial-tangential anisotropy in a single neuron. For Gaussian inputs and every h_p=sigma'^p, p>0, we prove closed all-power saturation laws and a pointwise bilateral relative Loewner theorem. A conditional-Gaussian lower bound closes its sample complexity at Theta_p(r[d+log(1/delta)]/epsilon^2); a full-dyadic-shell extension gives tunable uniform precision, and explicit sufficient constants are C_1=22929 and C_2=294162. For isotropic spherical X=RU with E[R^-1]<infinity, the global anisotropy constant is Q_R=E[R]/[(d-1)E[R^-1]]. Gaussian, fixed-sphere, and isotropic Student inputs yield distinct closed constants. Within radial laws regularly varying at zero, the inverse-radius condition has a sharp three-regime phase transition. An isotropic Rademacher counterexample shows covariance isotropy alone is insufficient. Deterministic replays, fixed-seed diagnostics, proof audits, and exact source provenance accompany the paper.
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. Proves sharp bilateral empirical complexity, a full-dyadic-shell all-power extension, and exact global spherical saturation laws with reproducible constants.
Version history
The ARR identifier remains stable. Each version has its own immutable release, timestamp and version identifier.
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.
Independent model assessments
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 v3 supersedes v2. Declared major revision: Proves sharp bilateral empirical complexity, a full-dyadic-shell all-power extension, and exact global spherical saturation laws with reproducible constants. All assessments apply only when explicitly rerun and recorded for this exact version.