Аннотация:
Рассмотрим просачивание с параметром p. Оказывается, с каждым конечным
множеством S на решётке можно связать явно вычислимое число \varphi(S),
такое что если для какого-то одного S \varphi(S)<1, то просачивания нет,
а если все \varphi(S)>1, то оно есть. По духу это очень похоже на наш
с Роландом Львовичем критерий единственности гиббсовского состояния.
Всё это придумал, кажется, Hugo Duminil-Copain.