Заседания семинаров
Zoom
Идентификатор конференции: 912 824 7824
Код доступа: 31415926
Александров Виктор Алексеевич (ИМ СО РАН)
О классификации Коннелли изгибаемых бипирамид с 4- и 5-угольными экваторами.
Аннотация
Доклад посвящен теории изгибаемых многогранников. В нём будет дано определение изгибаемого многогранника и сформулированы основные факты теории изгибаемых многогранников; будет дано определение бипирамиды с $n$-угольным экватором и объяснено почему изгибаемые бипирамиды с 4- и 5-угольными экваторами играют важную роль в теории изгибаемых многогранников. Основной новый результат, представляемый в докладе, состоит в том, что классификация Коннелли изгибаемых бипирамид с 5-угольным экватором нетривиальна, т. е. что существуют неэквивалентные-по-Коннелли изгибаемые бипирамиды с 5-угольным экватором. В качестве существенного сопутствующего результата будет приведена параметризация Коннелли изгибаемых бипирамид с 5-угольным экватором. Представленные в докладе новые результаты получены совместно с Е. П. Волокитиным.А. Н. Бородин, М. В. Нещадим, А. А. Симонов
Конструкции квандлов над группами, модулями и почти-кольцами.
Сибирский математический журнал. 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). Будут даны синтаксические и семантические описания этих логик, и особое внимание будет уделено сложности проблемы разрешения: будут приведены оценки сложности как для логик в полном языке, так и для различных их фрагментов (в том числе с ограниченным числом переменных). При этом предполагается обсудить не только разрешимые, но и неразрешимые проблемы, а также идеи, лежащие в основе сложностных оценок. Все необходимые определения будут даны.Yandex Telemost
В. Н. Желябин и А. С. Мамонтов
Примитивные идеалы йордановых банаховых алгебр.
Идентификатор конференции: 314 114 3903
Код доступа: 009
Малышев Сергей Борисович
Свойство замены для замыканий, порождённых тернарными изолирующими формулами (продолжение).
Zoom
Идентификатор конференции: 912 824 7824
Код доступа: 31415926
Поликанова Ирина Викторовна (АлтГПУ)
Обобщенные Йенсена-Коши функциональные уравнение от функций многих переменных.

