TotalVariation / CONCEPT
The Spectral Sharpness Negentropy Budget
Spectral sharpness is bounded by distance from uniform and hence by negentropy.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES1
PROOF DEPTH5
DOCUMENT LINKS1
Spectral sharpness is controlled by the entropy deficit
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Equality Cases for Finite Shannon Entropystructural-affinity · Closed
- Finite Additive Readout Blocksstructural-affinity · Closed
- Maximal Spectral Sharpness Characterises the Support-at-Most-Half Regimestructural-affinity · Closed
- Spectral Pairing Capacity Is Monotone under Majorizationstructural-affinity · Closed
- Spectral Sharpness as a Bounded-Pairing Maximumstructural-affinity · Closed
- Symmetric Bernoulli Second-Order Evidencestructural-affinity · Closed
- The Finite Negentropy Budgetstructural-affinity · Closed
- The Free-Negentropy Budgetstructural-affinity · Closed
- Zero Spectral Sharpness Characterises the Uniform Spectrumstructural-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