Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Adaptive radius-four data

Abstract

Exact adaptive radius-four masks, local orders and integer potentials.

Definition 1.1 (Lossless geometric data).

Lean statement: D5/S3/StatisticalMechanics/HardCore/AdaptiveRadiusFourData.radiusFourRows

Formalization. D5/S3/StatisticalMechanics/HardCore/AdaptiveRadiusFourData.radiusFourRows (✓ std3).

Source. Repository-derived.

Commentary.

Every row represents an actual blocked vertex set, an integer upper potential and a selected local ordering. Storage sharing does not identify mathematical states. The companion certificate checks the full selected geometric closure and all integer potential inequalities.

References

  • Truth anchor: D5/S3/StatisticalMechanics/HardCore/AdaptiveRadiusFourData.radiusFourRows