Observer / CONCEPT
Cone Residual Dual Witness
A closed convex cone residual gives its canonical separating dual witness.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES1
PROOF DEPTH0
DOCUMENT LINKS1
The cone residual is a dual witness
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Canonical Separable Cone Residualstructural-affinity · Closed
- Contraction decompositions and separable scalar shiftsstructural-affinity · Closed
- Finite product-vector averagesstructural-affinity · Closed
- Low-rank separable raysstructural-affinity · Closed
- Moreau Decompositionstructural-affinity · Closed
- Resource: Composite Cone Dualitystructural-affinity · Closed
- Resource: Entanglement Witnessstructural-affinity · Closed
- Resource: Separable Cone Closedstructural-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