Quantum / CONCEPT
UniformSchmidtCorner
An injectively labelled product corner extends to a permutation of the full spectrum and an actual corner unitary extends by the identity. Literal APPT therefore supplies positive semidefiniteness after partial transpose on every selected corner.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES4
PROOF DEPTH1
DOCUMENT LINKS0
extendUnitaryAlong diagonal
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
- A generic-state counterexample in the kicked Ising chainstructural-affinity · Closed
- Dimension-general APPT contraction attainmentstructural-affinity · Closed
- Generic matrix and cyclic-sector primitivesstructural-affinity · Closed
- Qutrit APPT attaining statesstructural-affinity · Closed
- Qutrit spectral reductionstructural-affinity · Closed
- The minimum of purity plus time-reversal overlapstructural-affinity · Closed
- The residual-correlation sum of four qubits is not an entanglement monotonestructural-affinity · Closed
- UniformSchmidtSpectrumstructural-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