Quantum / CONCEPT
Optimal witnesses with an optimal sum
Distinct optimal witnesses have an optimal sum and overlapping detection sets.
Closed
DIRECT PREREQUISITES7
DIRECT CONSEQUENCES0
PROOF DEPTH7
DOCUMENT LINKS0
A common spanning family gives an optimal sum
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- ConstructionReductiontruth-dependency · Closed
- Empirical and Reflexive Completeness Separatetruth-dependency · Closed
- FiniteEdgeProbeCorrespondencetruth-dependency · Closed
- Hermitian SLD energytruth-dependency · Closed
- The kernel and trace criteria are not equivalenttruth-dependency · Closed
- The Perito Bell bound and its attaining strategytruth-dependency · Closed
- TwoPositiveTransitionTracetruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- ConstructionReductionstructural-affinity · Closed
- Divisibility does not force entanglement breaking for qutritsstructural-affinity · Closed
- Empirical and Reflexive Completeness Separatestructural-affinity · Closed
- FiniteEdgeProbeCorrespondencestructural-affinity · Closed
- Hermitian SLD energystructural-affinity · Closed
- The kernel and trace criteria are not equivalentstructural-affinity · Closed
- The Perito Bell bound and its attaining strategystructural-affinity · Closed
- TwoPositiveTransitionTracestructural-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