Задачи для студентов старших курсов

1. Квантовые вычисления

Сейчас про квантовый компьютер слышал кто угодно. Но что это такое, какие задачи на нем реально можно эффективно решать - знают далеко не все. В лучшем случае, все ограничивается "практическими" алгоритмами типа Шора или Гровера. Мы будем интересоваться более фундаментальными вопросами - а именно, полиномиальными инвариантами в теории узлов. Задача данной НИР не столько разобраться в классах сложности алгоритмов, сколько составить реальные программы для квантового компьютера интересные с точки зрения теории узлов. Основная цель - определить насколько эффективно задачи из теории узлов могут быть решены на квантовом компьютере или арифмометре (что это такое мы выясним, а при удаче, даже потрогаем один). Например, полином Джонса для трилистника на квантовом арифмометре.


2. Обобщенные тождества Макдональда

Задача состоит в построении комбинаторных тождеств, связывающих произведения и суммы. В частности, придется разобраться в теории классических и афинных алгебр Ли, а также их представлений, изучить, что такое характер представления, а также формулу Вейля (Вейля-Каца). Например, вывести формулу тройного произведения для тэта-функции.


3. Теория Хорндески

Одним из современных направлений в космологии и гравитации является изучение теории Хорндески. В данной области сейчас много нерешенных задач, причем доступных для студентов различных курсов. Задачи формулируются как в рамках квантовой теории поля, так и в рамках классической. Необходимым знанием является ОТО, ну, или, готовность с ней быстро разобраться. Задачи могут формулироваться приблизительно следующим образом

  • нахождение спектра скалярных (тензорных) возмущений в модели отскока (генезиса,..) в теории Хорндески;

  • проверка унитарности модели отскока (генезиса,..);

  • построение модели ранней Вселенной с необходимыми свойствами.


4. Цветные полиномы ХОМФЛИ

  • Полиномы ХОМФЛИ при q^r=1: представления старшего веса и циклические представления, сравнить результаты с работами Murakami

  • ХОМФЛИ и колчаны. Известно соотношение между ХОМФЛИ, окрашенными симметрическими представлениями, и представлениями колчанов. Обобщить это соотношение на несимметрические представления, проверить различные гипотезы, связанные с таким соотношением. См. работы Sulkowski


5. Цветные полиномы Александера и иерархия КП

  • Рассмотреть 2-солитонные тау-функции и их связь с полиномами Александера зацеплений

  • Рассмотреть некоммутативную иерархию КП и ее связь с 2-крюковыми диаграммами Юнга

  • Изучить симметрии полинома Александера, см. arXiv:1805.02761


6. Интегрируемость

  • τT oda=PR,R0χR(p)χR0( ̄p)fR,R0, fR,R0=?for seriesAn, Bn, Cnetc.In the case of KP hierarchy same problem is solved: Plucker relations forAnand theircounterparts for other series. See arXiv:1405.1395 and references therein.

  • τ= det (μ1F1+μ2F2)⇒Hirota + string equations⇒Painleve VIF=Rdxix2a1i(1−xi)2a2(q−xi)2a3∆2(x)describes Liouville conformal blocks and instantonpartition function ofN= 2SYM due to AGT relation. See arXiv:1708.07479


7.Матричные модели

<character>=character

For example, in Hermitian matrix modelhχR[M]i=χR{N} ·χR{δk,2}χR{δk,1}. Study same properties for:

  • trigonometric matrix model (colored HOMFLY for torus knots)

  • MacMahon matrix model

  • non-Gaussian matrix model (e.g. Dijkgraaf-Vafa)See arXiv:1807.02409.


8. Альтернативная топологическая рекурсия по чистой фазе

  • starting from cubic monomial MM (and its 2 pure phases) understand, how to deform the TR construction so that it accounts for nonN2−2g−n-terms.

  • study non-zero-core partition function and Ward identities that arise there.

Результат: generalization of everything related to TR (Givental, Frobenius, CohFT)


9. "Удобная" Суперсимметрия

  • Look at works of Jacob Winding and Johan Kallen for examples of supersymmetry transformations

  • Write a Mathematica package that does these supersymmetry transformations symbolically (both symbolic Einstein summation of indices, treatment of Gamma-matrices and fermions/anions)

Результат:

  • The world-class toolkit for looking at supersymmetry. Lots of new problems become accessible.

  • Solid understanding of Mathematica's more arcane parts (like pattern matching and symbolattributes, maybe even macroexpander).


10.(q, t)-Топологическая рекурсия и связанные вопросы

  • study correlators in q-deformed Gaussian MM at β= 1(then β= 2 and so on)

  • figure out how to split them into contributions of different colored surfaces.

  • deduce an analog of Wick's theorem and rethink integration over quantum groups.

Результат: cutting edge understanding of quantum groups