Zeros / CONCEPT
Literal Theta Moment Bounds
Literal theta moments are positive and finite under a summable Gaussian bound.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES6
PROOF DEPTH6
DOCUMENT LINKS1
Positive summand estimate
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Actual source Jensen fixed windowtruth-dependency · Closed
- Complete physical entries and their reflectionstruth-dependency · Closed
- Literal Jensen Principal-Block Obstructiontruth-dependency · Closed
- Radial curvature of the original theta kerneltruth-dependency · Closed
- Source Jensen Positive Extensiontruth-dependency · Closed
- The original theta differential kerneltruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A simplicial-poset Chow counterexamplestructural-affinity · Closed
- Actual source Jensen fixed windowstructural-affinity · Closed
- Complete physical entries and their reflectionsstructural-affinity · Closed
- Jensen Polynomial Obstructionstructural-affinity · Closed
- Literal Jensen Principal-Block Obstructionstructural-affinity · Closed
- Normalized Jensen Degree Loweringstructural-affinity · Closed
- Quantitative concavity of the complete theta kernelstructural-affinity · Closed
- Quantitative reflected theta-integrand gapsstructural-affinity · Closed
- Radial curvature of the original theta kernelstructural-affinity · Closed
- Source Jensen Coupling Budgetstructural-affinity · Closed
- Source Jensen Integral Extensionstructural-affinity · Closed
- Source Jensen Positive Extensionstructural-affinity · Closed
- The full moving primal theta tailstructural-affinity · Closed
- The full multiset rook-Eulerian polynomialstructural-affinity · Closed
- The original theta differential kernelstructural-affinity · Closed
- The theta transform and completed zetastructural-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