Quantum / CONCEPT
CanonicalPositiveRefinement
Every original positive record of a canonical filter has normalized block scalars and is completely positive.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH10
DOCUMENT LINKS0
The exact formula on the original labels and centers
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
- An extreme POVM with rank vector (3,3,2,2,2,2,2,2)structural-affinity · Closed
- Concealment does not determine the adjoint kernelstructural-affinity · Closed
- PositiveMapJensenstructural-affinity · Closed
- PositiveRefinementCornerstructural-affinity · Closed
- SingularPositiveRefinementstructural-affinity · Closed
- Stationarity of quadratic POVM variationsstructural-affinity · Closed
- SupportPerspectiveTransformerstructural-affinity · Closed
- SupportPerspectiveTransportstructural-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