OAI/Probability/InvariantIsing/Pressure/UniformPhysicalTail.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A dimension-uniform centered tail for the physical Haar pressure, independent of the external field. This can be conditioned on random spectral and field data.

  1. theorem OAI.InvariantIsing.uniform_physical_pressure_mean_tail line 14