HardCore

Navigation page for Blueprint/D5/S3/StatisticalMechanics/HardCore/ at upstream snapshot 719831e23c21bc71c6ce641fdeb8297414e6e4d0.

Contents

• Adaptive affine message data
• Adaptive radius-four data
• Affine product certificates
• BranchingPotential
• Straight continuations and finite path counts
• Constructed controller shadows
• GibbsOccupation
• The period of hard-square necklaces
• Independent-set partition and deletion
• Uniform Block Bounds from Complete Prefixes
• Finite-Depth Exactness of Geometric Memory
• Geometric Memory Refinement
• A counterexample to the multivariate hard-core occupancy bound
• Two non-bonding dominoes on a rectangular board
• OccupationMoments
• OrderedGridMemory
• Ordered partition recursion
• PartitionRelabeling
• Certified Radius-Four Growth Bound
• Radius-Four Certificate Data
• RadiusThreeCertificates
• RadiusThreeData
• Actual real partition messages
• SquareGridCoordinates