Quantum / CONCEPT
A coherence-vector and spectrum product bound
Every majorization upper bound of the coherence set has first component times largest eigenvalue at least one over the dimension.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES0
PROOF DEPTH10
DOCUMENT LINKS0
The product bound in every positive dimension
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- A counterexample to Lin's Conjecture 4.3truth-dependency · Closed
- Advantage-quantum measurements cannot be simulated with finitely many copiestruth-dependency · Closed
- Equal coherence roofs on a mixed rank-two statetruth-dependency · Closed
- Path and Spectral Forms of the Log-Determinant Divergencetruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- A counterexample to Lin's Conjecture 4.3structural-affinity · Closed
- Advantage-quantum measurements cannot be simulated with finitely many copiesstructural-affinity · Closed
- Charge-sector normalization refutes majorization preservationstructural-affinity · Closed
- Entropy under entrywise modulus in dimension threestructural-affinity · Closed
- Equal coherence roofs on a mixed rank-two statestructural-affinity · Closed
- OverlapLowRankDistancestructural-affinity · Closed
- Path and Spectral Forms of the Log-Determinant Divergencestructural-affinity · Closed
- QTD squared can exceed QJS2structural-affinity · Closed
- Relative entropy coherence is at most l1 coherencestructural-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