Заседания семинаров
- Александр Храмов
Доклад магистранта по результатам первого года обучения.Аннотация
Рассматривается многомерный случайный процесс в непрерывном времени, задающий динамику потенциалов одного возбудительного и нескольких ингибиторных нейронов. В бакалаврской работе удалось доказать положительную возвратность для этого процесса в случае, когда в системе один возбудитель и один ингибитор. В курсовой работе с использованием метода жидкостной аппроксимации положительная возвратность была доказана для случая одного возбудителя и двух ингибиторов. Из-за сложности использования этого метода для больших размерностей произошла смена тематики на случайные блуждания со сносом при первом посещении вершины. - Елизавета Булгакова
Стохастические градиентные методы в задачах дообучения больших языковых моделей.Аннотация
Обсудим тематику дообучения больших языковых моделей и какие фундаментальные результаты планируется получить для одной модели RAC-LORA. - Сун Чжэ
Доклад магистранта по результатам первого года обучения.
М. Н. Рыбаков (Тверь, ТвГУ; Москва, МФТИ)
Алгоритмическая выразительность модальных предикатных логик, определяемых неэлементарными классами шкал Крипке.
Аннотация
Хорошо известно (и нетрудно показать), что модальная предикатная логика, определяемая элементарным классом шкал Крипке, является рекурсивно аксиоматизируемой (поскольку она погружается в классическую логику предикатов). Кроме того, известно много примеров полных по Крипке логик, но не полных относительно элементарных классов шкал, которые имеют высокую алгоритмическую сложность. Например, логики различных классов нётеровых шкал Пи-1-1-трудны, а логики различных классов конечных (по числу миров) шкал одновременно Пи-0-1-трудны и Сигма-0-1-трудны. Возникает естественный вопрос о контрпримерах: когда полная по Крипке логика, не определимая ни одним элементарным классом шкал Крипке, всё же рекурсивно аксиоматизируема. В докладе предполагается показать, как можно строить примеры таких логик. В начале 2000-х автором были построены такие примеры в классе логик, не замкнутых по правилу усиления (правилу Гёделя), причём при ограничениях на семантику: рассматривались классы только корневых шкал с выделенным корнем (публикаций не было, были только доклады на научных семинарах). Значительно позже такие примеры были найдены и в классе нормальных логик (расширениях логики QK, замкнутых в т.ч. по правилу усиления), при этом было снято и требование о том, чтобы шкалы были только корневыми. Результаты опубликованы в работах [1] и [2]. Все необходимые определения будут даны в докладе.
[1] M. Rybakov, D. Shkatov. A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames. Advances in Modal Logic, 12, eds. Guram Bezhanishvili, Giovanna D’Agostino, George Metcalfe, and Thomas Studer, College Publications, 2018, 531–540.
[2] M. Rybakov, D. Shkatov. Recursive enumerability and elementary frame definability in predicate modal logic. Journal of Logic and Computation, 30:2, 2020, 549–560.
Нгуен Дык Минь
Математические модели и алгоритмы решения задач о покрытии и упаковке для поверхностей вращения.
Аннотация
Научная специальность 1.2.2. Математическое моделирование, численные методы и комплексы программДиссертация на соискание ученой степени кандидата физико-математических наук
Научный руководитель: доктор физико-математических наук, профессор Казаков Александр Леонидович
Данила Олегович Ревин
О симплектических группах и точных оценках ширины Бэра-Сузуки.
Zoom
Д. Д. Нигомедьянов (ПОМИ, СПбГУ, С.-Петербург)
Разложение Коджимы одного класса гиперболических 3-многообразий с вполне геодезическим краем.
Аннотация
Коджима доказал, что всякое гиперболическое многообразие с вполне геодезическим краем допускает каноническое разложение на выпуклые гиперболические многогранники. В размерности три это разложение двойственно катлокусу края многообразия и играет ключевую роль в табулировании гиперболических 3-многообразий. В докладе будет описано разложение Коджимы гиперболических 3-многообразий с вполне геодезическим краем, триангуляционная сложность которых равняется первому числу Бетти этих многообразий с коэффициентами в группе Z/2Z, а также будет приведена формула Тильтов, устанавливающая связь между геометрической триангуляцией гиперболического многообразия с вполне геодезическим краем и его разложением Кождимы.Августинович Сергей Владимирович
Экстремальные эйлеровы ориентации циркулянтных графов.
Д. О. Ревин
О симплектических группах и точных оценках ширины Бэра-Сузуки (продолжение).
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
