Явление предельной формы, интегрируемые системы и теория представлений
Проблема исследования больших систем является одной из центральных в теоретической и математической физике, и
на протяжении долгого времени остается одной из основных задач статистической механики. В последние
десятилетия эта тема стала ещё более актуальной в связи с задачей обработки больших данных, развитием квантовой
информации, прикладных задач комбинаторики и других областей.
Основной целью проекта является развитие новых методов математической физики в применении к явлению
предельных форм - детерминистических структур в системах, состоящих из большого числа случайных элементов.
Используемые в работе методы основаны на синтезе традиционных подходов к этой проблеме и на методах
современной теории интегрируемых систем. Такой подход требует не только применения, но и развития методов
интегрируемых систем, как квантовых, так и классических. Обозначенная цель проекта будет достигаться решением
конкретных задач, которые можно объединить в три категории.
- Предельные формы в моделях статистической механики.
а) Описание геометрии и свойств предельных форм в двумерных моделях статистической механики. Одним из
наиболее значимых открытий в этом направлении было полное описание предельных форм для димерных моделей в
областях с критическими граничными условиями (А. Окуньков и соавторы). Мы планируем сделать следующий шаг и
развить новую методологию с использованием Гамильтоновых методов интегрируемых моделей. Направление
основано на недавнем цикле работ Н. Решетихина и соавторов, где было показано, что соответствующие уравнения
Эйлера-Лагранжа имеют бесконечное количество интегралов. Предельные формы и корреляционные функции будут
изучены для обобщенных граничных условий типа доменной стенки. Новая методология будет развита на основе
метода касательных.
б) Много лет остается открытым вопрос о предельных формах систем без функции высоты. Ответ хорошо известен для
модели Изинга - это капли Добрушина-Котецкого-Шлосмана. Их открытие было наиболее ярким и значимым
достижением в исследовании модели Изинга после открытия Онзагером ее точного решения. Одной из задач проекта
является изучение формирования таких капель в более общих моделях (таких, как некритические модели димеров,
шестивершинная модель в антисегнетоэлектрической фазе и т.д.) в некритических фазах. Решение этой задачи требует
создания новых методов вычисления энергии поверхностного натяжения и вычисления более тонких асимптотик
статистических сумм и корреляционных функций.
в) Для исследования предельных форм больших систем будут разработаны и применены численные методы,
основанные на методе Монте-Карло и его модификациях, таких как метод отжига популяций. Будет имплементирована
параллельная версия этих алгоритмов на видеокартах. Эти новые методы будут применены для исследования тонких
асимптотических явлений и скейлинга в предельными формах, а также корреляционных функций. - Асимптотическая теория представлений и комбинаторика
а) Будут найдены и исследованы предельные распределения неразложимых компонент в тензорных произведениях
конечномерных представлений супералгебр Ли и квантовых групп в корнях из единицы в пределе, когда количество
сомножителей стремится к бесконечности. Для супералгебр Ли эта задача изучалась в очень специальном случае,
мы планируем полное решение задачи. Для решения этой задачи в случае квантовых групп в интересных корнях из
единицы необходим очень тонкий анализ разложения этих представлений на наклонные модули. Для других алгебр Ли
эта задача по-прежнему открыта. В обоих случаях она имеет важные приложения и распространяется далеко за
пределы существующих результатов.
б) Аналогичные асимптотические задачи для представлений аффинных алгебр Каца-Муди являются совершенно
новыми. Несколько имеющихся в литературе результатов не дают содержательного описания асимптотики даже для
частных случаев. Вычисление этих асимптотик является еще одной задачей проекта. Например, в случае sl(n) такого
рода асимптотика непосредственно связана с квантовой теорией информации. Ожидается, что асимптотика в
аффинном случае может найти столь же важные приложения.
в) Асимптотические задачи комбинаторики, в частности, статистика больших разбиений и их обобщений будут изучены
в контексте асимптотик моментов случайных больших распределений. Одним из важных вопросов, связанных с этой
задачей, является асимптотика спектра спиновой модели Калоджеро-Мозера и соответствующих матриц плотности. - Классические и квантовые интегрируемые и суперинтегрируемые системы.
а) Планируется изучить связь между классическими суперинтегрируемыми системами и задачами криптографии, а
также использовать эти результаты как для построения новых крипто-алгоритмов, так и и для нахождения новых
суперинтегрируемых систем.
б) Будут построены бесконечномерные аналоги суперинтегрируемых систем на пространствах модулей, связанных с
простыми конечномерными группами Ли, на группах петель и соответствующих группах Каца-Муди. Также будут
построены квантовые аналоги этих систем. Это совершенно новый подход, основанный на недавних работах
руководителя проекта.
в) Будет изучен предел систем типа Калоджеро-Мозера и их обобщений в случае, когда ранг алгебры Ли стремится к
бесконечности. Решение этой задачи актуально для перечисленных выше проблем асимптотической теории
представлений и комбинаторики. В частности, очень мало известно о таких асимптотиках для систем корней B, C и D.
Проект поддержан Российским Научным Фондом, грант 21-11-00141