Адрес: 119048, Москва,
ул. Усачёва, 6
тел. (495) 916-89-05
тел. (495) 772-95-90 *12725
E-mail: math@hse.ru
Учебный офис:
mathstudyoffice@hse.ru
тел. (495) 624-26-16
тел. (495) 772-95-90 *12713
Telegram каналы:
Канал Студсовета Матфака - @mathhse_council
Канал Деканата - @mathhse_news
Канал Учебного офиса ФМ - @mathhse_study
Канал Матфак внеучебка - @mathhse
ДПО факультета математики:
dpo-math@hse.ru
Проект «Математическая вертикаль»:
math.vertical@hse.ru
ЛМШ факультета математики - Летняя школа для школьников:
math.vertical.school@hse.ru
Редакторы сайта факультета:
В классической задаче Хорна спрашивается, как связаны наборы собственных значений эрмитовых nxn матриц X, Y и X+Y? Ответ на этот вопрос представляет из себя систему линейных неравенств — неравенств Хорна. Естественно спросить: а что будет, если складывать не две, а три или больше матриц? Оказывается, в этом случае ответ нелинеен уже в простейшем случае 2х2 матриц и описать его трудно.
Куда проще решать тропическую версию задачи. Тропические собственные значения удовлетворяют линейным неравенствам, аналогичным неравенствам Хорна, и некоторым тропическим равенствам. Эти равенства воспроизводят рекуррентный алгоритм нахождения кристаллического ассоциатора.
Объяснить это совпадение можно с помощью геометрических кристаллов. Кристалл алгебры Ли gl_n -- это комбинаторная модель её представления. Кристалл можно реализовать как множество целых точек многогранника с некоторыми структурами, заданными кусочно-линейными функциями, а именно -- тропическими многочленами (т.е. выражениями от координат, составленными с помощью операций +, -, max). Геометрический кристалл "детропикализует" обычный кристалл. Оказывается, что тропическая задача Хорна -- это "тропикализация" задачи о нахождении кратностей в тензорном произведении геометрических кристаллов.
P.S. Информация о прошедших семинарах находится здесь https://sites.google.com/site/alexandrburyakhomepage/lab-seminar?authuser=0