Arith / CONCEPT
Quantitative Covariance of the Actual Finite Robin Log Kernel
The actual finite Robin log kernel has quantitative activation-shell variation and centered covariance bounds, consumed by the finite coefficient budget.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES7
PROOF DEPTH0
DOCUMENT LINKS0
Integrability of the activation density
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
- Actual theta signed tailstruth-dependency · Closed
- Finite Coefficient Mass of the Actual Robin Clock Kerneltruth-dependency · Closed
- Logarithmic boundstruth-dependency · Closed
- OriginalFirstClockBufferEstimatestruth-dependency · Closed
- OriginalFirstClockTransporttruth-dependency · Closed
- The Actual Arithmetic Mixed Responsetruth-dependency · Closed
- The Original Partial-Cell Projectiontruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Actual theta signed tailsstructural-affinity · Closed
- Finite Coefficient Mass of the Actual Robin Clock Kernelstructural-affinity · Closed
- Higher Derivatives of the Log-Log Scalestructural-affinity · Closed
- Logarithmic boundsstructural-affinity · Closed
- Mellin Weighted Variationstructural-affinity · Closed
- OriginalFirstClockBufferEstimatesstructural-affinity · Closed
- OriginalFirstClockTransportstructural-affinity · Closed
- The Actual Arithmetic Mixed Responsestructural-affinity · Closed
- The Original Partial-Cell Projectionstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance