Жесткость для пфаффианных процессов

Детерминантные точечные процессы (классическим примером такого процесса является распределение собственных чисел гауссового унитарного ансабмля случайных матриц) часто обладают удивительным свойством жесткости: количество частиц внутри любого ограниченного множества полностью задается конфигурацией в дополнении к этому множеству. Мы планируем напомнить основные методы доказательства этого свойства, и показать, как они обобщаются на следующий по сложности объект: пфаффианные процессы.