Combinatorics / CONCEPT
Faces of Minkowski sums of cross polytopes
Nonnegative weighted sums of coordinate cross polytopes have a signed acyclic formula for every face dimension.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH1
DOCUMENT LINKS0
Complete face-count formula
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
- Alexandrov Dependency Topologystructural-affinity · Closed
- Alexandrov Inseparabilitystructural-affinity · Closed
- Alexandrov Monotone Continuitystructural-affinity · Closed
- Alternative proofs obstruct intersection closurestructural-affinity · Closed
- Axiom Closure Monotonicitystructural-affinity · Closed
- Consequence Closurestructural-affinity · Closed
- Dependency Reachability Orderstructural-affinity · Closed
- Depth-Closed Filtrationstructural-affinity · Closed
- Finite Autocorrelationstructural-affinity · Closed
- Legal Ledger Fixed Setstructural-affinity · Closed
- Prerequisite Closurestructural-affinity · Closed
- Proof Topology Corestructural-affinity · Closed
- Sharp half-circle sign sums and signed rotationsstructural-affinity · Closed
- The symmetric Bell polytope need not be a cross-polytopestructural-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