StatisticalMechanics / CONCEPT
Independent-set partition and deletion
The hard-core partition is a sum over Mathlib independent subsets of the actual finite domain.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES7
PROOF DEPTH0
DOCUMENT LINKS1
Denominator-free deletion identity
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
- A counterexample to the multivariate hard-core occupancy boundtruth-dependency · Closed
- Dissipative free-fermion roots in the upper half-planetruth-dependency · Closed
- OccupationMomentstruth-dependency · Closed
- Ordered partition recursiontruth-dependency · Closed
- PartitionRelabelingtruth-dependency · Closed
- The Catalan functional on pathstruth-dependency · Closed
- The Triangular Prism Refutes Pandey's Parity Conjecturetruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A counterexample to the multivariate hard-core occupancy boundstructural-affinity · Closed
- Dissipative free-fermion roots in the upper half-planestructural-affinity · Closed
- External Boundary in P(n,3)structural-affinity · Closed
- OccupationMomentsstructural-affinity · Closed
- Ordered partition recursionstructural-affinity · Closed
- PartitionRelabelingstructural-affinity · Closed
- The Catalan functional on pathsstructural-affinity · Closed
- The Triangular Prism Refutes Pandey's Parity Conjecturestructural-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