Заседания семинаров
К. В. Зимирева
Линейные представления группы кактусов.
Семенко Роман Евгеньевич (ИМ СО РАН)
Об устойчивости плоского течения пуазейлевского типа вязкоупругой полимерной жидкости.
Аннотация
Обсуждается численное исследование задачи о линейной устойчивости стационарного течения вязкоупругой жидкости в плоском канале. Течение описывается уравнениями реологической модели Виноградова-Покровского. Анализируется влияние упругих сил на спектр задачи и на критические значения чисел Рейнольдса. Отдельно рассматривается устойчивость состояния покоя жидкости в плоском канале.А. Ю. Веснин
О некоторых задачах, навеянных летними конференциями.
Н. С. Аркашов
О предельных теоремах для процессов частичных сумм скользящих средних, сформированных по гетерогенным процессам.
Аннотация
В работе исследуется класс процессов частичных сумм, построенных по последовательности наблюдений со структурой скользящих средних конечного порядка. Случайная составляющая этой последовательности формируется с помощью гетерогенного процесса в дискретном времени, а неслучайная - с помощью правильно меняющейся на бесконечности функции. Гетерогенный процесс в дискретном времени определяется как степенное преобразование частичных сумм некоторой стационарной последовательности. Изучается аппроксимация процессов упомянутого класса посредством процессов, определяемых как свертка степенного преобразования фрактального броуновского движения и степенной функции, при этом получены достаточные условия для $C$-сходимости в принципе инвариантности в форме Донскера.- Александр Храмов
Доклад магистранта по результатам первого года обучения.Аннотация
Рассматривается многомерный случайный процесс в непрерывном времени, задающий динамику потенциалов одного возбудительного и нескольких ингибиторных нейронов. В бакалаврской работе удалось доказать положительную возвратность для этого процесса в случае, когда в системе один возбудитель и один ингибитор. В курсовой работе с использованием метода жидкостной аппроксимации положительная возвратность была доказана для случая одного возбудителя и двух ингибиторов. Из-за сложности использования этого метода для больших размерностей произошла смена тематики на случайные блуждания со сносом при первом посещении вершины. - Елизавета Булгакова
Стохастические градиентные методы в задачах дообучения больших языковых моделей.Аннотация
Обсудим тематику дообучения больших языковых моделей и какие фундаментальные результаты планируется получить для одной модели 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. Математическое моделирование, численные методы и комплексы программДиссертация на соискание ученой степени кандидата физико-математических наук
Научный руководитель: доктор физико-математических наук, профессор Казаков Александр Леонидович
Данила Олегович Ревин
О симплектических группах и точных оценках ширины Бэра-Сузуки.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
