Estimation / CONCEPT
Finite Convex Hulls for Declared Probability Constraints
Finite real probability coordinates with exact label, joint-source and support constraints form a finite convex hull, including the empty case.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS1
The exact coordinate class is a polytope
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
- Actual Window Laws, Moments and Nonzero Countsstructural-affinity · Closed
- Common-Prior Posterior Agreementstructural-affinity · Closed
- Coordinate Sum-Product Updatestructural-affinity · Closed
- Failure of Uniform Raw-Correlation Confidencestructural-affinity · Closed
- Finite Convex Hulls of Native Declared Probability Lawsstructural-affinity · Closed
- Lifting a Label Law at Equal Total-Variation Distancestructural-affinity · Closed
- Refuting the binary detection threshold conjecturestructural-affinity · Closed
- The labelled circle action and balanced negative incidencestructural-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