Quantum / CONCEPT
The two-qubit binegativity lower bound at fixed negativity
For every two-qubit density matrix, the binegativity is bounded below by the Girard–Gour curve at its negativity. The negative eigenvector of the partial transpose has a Schmidt product constrained from below by positivity of the density matrix.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES0
PROOF DEPTH9
DOCUMENT LINKS0
The lower bound holds for every two-qubit state
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- A generic-state counterexample in the kicked Ising chainstructural-affinity · Closed
- Binegativity is not monotone under one-way LOCCstructural-affinity · Closed
- Partial-transpose trace dualitystructural-affinity · Closed
- Qutrit APPT attaining statesstructural-affinity · Closed
- Qutrit spectral reductionstructural-affinity · Closed
- The Alsing–Birrittella logarithmic-negativity sandwichstructural-affinity · Closed
- The Pure-State Handshakestructural-affinity · Closed
- The separable numerical range of one two-qubit observablestructural-affinity · Closed
- The upper binegativity bound of Girard and Gour failsstructural-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