Quantum / CONCEPT
The Gurvits--Barnum separable ball
Block positivity bounds the Frobenius sum by the real trace and gives a separable ball about a scalar identity.
Closed
DIRECT PREREQUISITES5
DIRECT CONSEQUENCES4
PROOF DEPTH6
DOCUMENT LINKS0
Tensor-factor interchange preserves the trace
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Ahiable--Kothakonda--Winter Eq. (31) and absolute separabilitytruth-dependency · Closed
- The sharp centre threshold for three-setting steeringtruth-dependency · Closed
- The sharp fidelity bound for marginal process approximationstruth-dependency · Closed
- The sharp odd-prime unentangled communication boundtruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Ahiable--Kothakonda--Winter Eq. (31) and absolute separabilitystructural-affinity · Closed
- Canonical Separable Cone Residualstructural-affinity · Closed
- Corrected finite fourth momentsstructural-affinity · Closed
- Matrix GNS Identitystructural-affinity · Closed
- Matrix Self-Pairingstructural-affinity · Closed
- Ordered Three-Pulse Tracestructural-affinity · Closed
- Partial Trace and Quantum Mutual Informationstructural-affinity · Closed
- Resource: Entanglement Witness Existsstructural-affinity · Closed
- Square-Free Source Jets as Cyclic Tracesstructural-affinity · Closed
- The sharp centre threshold for three-setting steeringstructural-affinity · Closed
- The sharp fidelity bound for marginal process approximationsstructural-affinity · Closed
- The sharp odd-prime unentangled communication boundstructural-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