Заседания семинаров
к.ф.-м.н. Кондратьев Д. А.
Использование формальной верификации для обеспечения качества программных платформ.
Zoom
Идентификатор конференции: 912 824 7824
Код доступа: 31415926
А. Д. Медных (ИМ СО РАН, Новосибирск)
Теорема Планса для узлов и якобианов графов.
Аннотация
Теорема Планса (1953) утверждает, что для нечетных $n$ первая группа гомологий $n$-кратного циклического накрытия трехмерной сферы, разветвленного над узлом, является прямым произведением двух копий абелевой группы. Аналогичное утверждение справедливо для четных $n$, и в этом случае нужно взять фактор группы гомологий $n$-кратного накрытия по приведенной группе гомологий двулистного накрытия. В докладе установливается аналогичный результат для групп Якоби (критических групп) циркулянтных графов. Более того, будет также показано что группа Якоби циркулянтного графа на $n$ вершинах, приведенная по модулю фиксированной конечной абелевой группы, является периодической функцией от $n$.Акентьев В. В.
Онлайн и Оффлайн алгоритмы для задачи упаковки в контейнеры с ограничениями на размещение.
Савелий Вячеславович Скресанов
Экспандеры и рост нормальных подмножеств в группах лиева типа.
Ганжаева М. Ш.
Свойства решений разностных уравнений с периодическими коэффициентами.
К. В. Зимирева
Линейные представления группы кактусов.
С. В. Агапов (ИМ СО РАН)
Полиномиальные интегралы геодезических потоков и обобщенный метод годографа. III.
А. А. Егоров
О неравенстве Стоименова для детерминантов и объемов гиперболических зацеплений.