Заседания семинаров
Yandex Telemost
Сторожук Константин Валерьевич (НГУ)
Дизъюнктно почти тривиальные неограниченные функционалы.
Аннотация
На бесконечномерных функциональных пространствах показано существование неограниченных линейных функционалов, принимающие не более одного ненулевого значения на произвольном семействе элементов, носители которых попарно не пересекаются.Идентификатор конференции: 314 114 3903
Код доступа: 009
Малышев Сергей Борисович
Свойство замены для замыканий, порождённых тернарными изолирующими формулами (продолжение).
М. Ж. Жетписбаев (НГУ)
Вероятностные неравенства и предельные теоремы для одного класса аддитивных статистик (кандидатская диссертация).
Аннотация
В диссертации исследуется предельное поведение аддитивных статистик от групповых частот в полиномиальных схемах размещения. Разработан единый метод асимптотического анализа на основе принципа пуассонизации. Получены новые достаточные условия для нормальной, пуассоновской аппроксимаций и сходимости к свёртке нормального и пуассоновского законов для хи-квадрат статистики. Установлены вероятностные и моментные неравенства.А. Н. Бородин, М. В. Нещадим, А. А. Симонов
Конструкции квандлов над группами, модулями и почти-кольцами.
Сибирский математический журнал. 2026. Т. 67. № 1. С. 24-35.
В. А. Бочко (ИМ СО РАН)
Одностолбцовые редукции ядра Марченко с нулевым квадратом в схеме Одевания Захарова: Метрика Шварцшильда, Статические сферически симметричные метрики и пространственно плоская метрика Фридмана.
Аннотация
Рассматривается специальный точно решаемый класс ядер в задаче Гельфанда–Левитана–Марченко, возникающей в схеме одевания Захарова для пространств диагональной кривизны. Показано, что для некоторых одностолбцовых ядер соответствующая матричная алгебра имеет нулевой квадрат, вследствие чего уравнение Марченко вырождается в $K = F$. На сферическом фоне радиальная редукция дает данные одевания для евклидовой метрики Шварцшильда и, при произвольном выборе двух независимых канальных функций, описывает статические сферически-симметричные диагональные метрики. Аналогичная временная редукция приводит к пространственно-плоским метрикам FLRW. При этом данные Марченко определяют коэффициенты вращения, тогда как выбор самой метрики требует дополнительного выбора решения системы Ламе, то есть представителя семейства Комбескюра. Для статического сектора после фиксации этой свободы вакуумные уравнения Эйнштейна сводятся к дифференциальному соотношению между двумя каналами ядра и условию постоянства массового интеграла.- Павел Сергеевич Сурнин (ИМ СО РАН)
Прямые и обратные задачи математического моделирования динамики COVID-19 с учетом экономических показателей.
- Антон Глухов (ИМ СО РАН)
Системы нелинейных ОДУ с запаздыванием в задачах динамики социальных протестов.
М. Н. Рыбаков (Тверь, Москва)
Логики для описания вычислений: синтаксис, семантика, сложность.
Аннотация
Доклад посвящён логикам, предназначенным для формального описания свойств вычислительных процессов, – прежде всего динамическим пропозициональным логикам (PDL, DPDL, IPDL и др.), а также таким темпоральным логикам как LTL (linear-time temporal logic), CTL (computation tree logic) и ATL (alternating-time temporal logic). Будут даны синтаксические и семантические описания этих логик, и особое внимание будет уделено сложности проблемы разрешения: будут приведены оценки сложности как для логик в полном языке, так и для различных их фрагментов (в том числе с ограниченным числом переменных). При этом предполагается обсудить не только разрешимые, но и неразрешимые проблемы, а также идеи, лежащие в основе сложностных оценок. Все необходимые определения будут даны.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
