Quantum / CONCEPT
PositiveMapJensen
Finite positive-map Jensen bridge with arbitrary finite carriers.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES3
PROOF DEPTH6
DOCUMENT LINKS0
Rectangular congruence preserves order
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 positive block does not force normalitystructural-affinity · Closed
- CanonicalPositiveRefinementstructural-affinity · Closed
- Coherent Premeasurement and Correlation Taxstructural-affinity · Closed
- Entropy Production by Coherence Deletionstructural-affinity · Closed
- Finite two row power concavitystructural-affinity · Closed
- JensenOperatorInequalityIImpIVstructural-affinity · Closed
- Local output compression budgetsstructural-affinity · Closed
- PositiveRefinementCornerstructural-affinity · Closed
- SingularPositiveRefinementstructural-affinity · Closed
- SupportPerspectiveTransformerstructural-affinity · Closed
- SupportPerspectiveTransportstructural-affinity · Closed
- The sharp upper endpoint of the Zhang–Jing power blockstructural-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