StatisticalMechanics / CONCEPT
The sharp lower bound on unicyclic skewness times kurtosis
The product of skewness and kurtosis of every finite positive unidirectional cycle strictly exceeds its greatest lower bound over all cycle sizes.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH6
DOCUMENT LINKS0
The universal strict bound and sharpness
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Finite Perron supplier: CollatzWielandtstructural-affinity · Closed
- Finite Perron supplier: Dominancestructural-affinity · Closed
- Finite Perron supplier: Irreduciblestructural-affinity · Closed
- Finite Perron supplier: Primitivestructural-affinity · Closed
- The exact upper endpoint of unicyclic skewness minus kurtosisstructural-affinity · Closed
- The minimum skewness of a unidirectional cyclestructural-affinity · Closed
- The sharp lower bound on unicyclic skewness plus kurtosisstructural-affinity · Closed
- Unrestricted weighted walks and counting entropystructural-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