Quantum / CONCEPT
Strong Unextendibility from Refined Root Tubes
A complete residual-tube cover and an empty common-partner certificate exclude even one additional unbiased vector.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH2
DOCUMENT LINKS1
Every covered additional point has a quantitative cross error
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
- Basis-Measurement Projectionstructural-affinity · Closed
- Bipartite Hermitian Sector Decompositionstructural-affinity · Closed
- Complete Context Tomographystructural-affinity · Closed
- Complete Root Supergraph Exclusionstructural-affinity · Closed
- Flat Projector Dephasingstructural-affinity · Closed
- Observer Diagonal Separationstructural-affinity · Closed
- Order-Three Complementary-Context Rigiditystructural-affinity · Closed
- Unread-State Orthogonal Projectionstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance