OAI/Probability/InvariantIsing/Magnetic/MagneticDiagonalL1Consistency.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The constrained block overlap converges in L1 along a diagonal of growing blocks and varying base quantiles, from its physical weak tests and almost-everywhere quantile convergence.

  1. theorem OAI.InvariantIsing.magnetic_diagonal_l1_of_constrained_tests line 14