Quantum / CONCEPT
Local distinguishability at boundary projection states
Adjacent trace-one blockpositive sets are locally distinguishable at every boundary projection state.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES0
PROOF DEPTH20
DOCUMENT LINKS0
Local distinguishability for every subspace
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
- Coherence damping fails for complex hoppingstructural-affinity · Closed
- Commuting encodings and local reflectionsstructural-affinity · Closed
- Deterministic violations under an energy constraintstructural-affinity · Closed
- FormationBoundsstructural-affinity · Closed
- IsometricCompressionstructural-affinity · Closed
- SelectiveFormationBoundsstructural-affinity · Closed
- Separable states outside every local-unitary stabilizer framestructural-affinity · Closed
- The kernel and trace criteria are not equivalentstructural-affinity · Closed
- Weil: Sylvesterstructural-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