Quantum / CONCEPT
The diagonal difference bound
A positive block overlap controls the squared difference of trace-one diagonal blocks.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH7
DOCUMENT LINKS0
The normalized overlap is at most one
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
- Bhattacharyya Affinity and the Bretagnolle--Huber Boundstructural-affinity · Closed
- Both spectral properties of the map Psistructural-affinity · Closed
- Cartesian variancestructural-affinity · Closed
- Cayley transforms and resolvent incrementsstructural-affinity · Closed
- Commutator gap and scalar translationstructural-affinity · Closed
- Entropy under entrywise modulus in dimension threestructural-affinity · Closed
- Geometric mean lower boundstructural-affinity · Closed
- Radial convexity and endpoint derivativesstructural-affinity · Closed
- The geometric-mean comparison for trace augmentationstructural-affinity · Closed
- The normalized geometric-mean comparisonstructural-affinity · Closed
- Zero diagonal blocksstructural-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