OAI/Probability/InvariantIsing/Magnetic/RestrictedPhysicalCutoffComparison.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The original perturbed Ising cutoff test is approximated by a measurable physical-projector cavity observable, with the explicit finite-volume covariance and deterministic errors.

  1. theorem OAI.InvariantIsing.restricted_physical_cutoff_comparison line 20