Observer / CONCEPT
A Surjective Column and Sharp Response Width
One surjective column gives the optimal coefficient-one width bound and the sharp uniform real exponent.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES3
PROOF DEPTH0
DOCUMENT LINKS1
Coefficient one, all layer counts, and optimal uniform exponent
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Capacity-sensitive supports and common extensionsstructural-affinity · Closed
- Common Extensions on Finite Treesstructural-affinity · Closed
- Complete Messages on Binary Treesstructural-affinity · Closed
- First Rejection Across Arbitrary Window Cutsstructural-affinity · Closed
- Garbled Posterior and Scalar Root Riskstructural-affinity · Closed
- Language Postprocessing Obstructionstructural-affinity · Closed
- Literal Windows and Positive Endstructural-affinity · Closed
- Priority Teachers on the Legal Five-Window Languagestructural-affinity · Closed
- Sharp Heterogeneous Whole-Window Teacher Separationstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance