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