Вход для сотрудников

Семинары ИМ СО РАН

Заседания семинаров

14.30 ч., Яндекс Телемост

Сергей Макогон
Генетический алгоритм для периодической задачи о доставке топлива.

18.10 ч., ауд. 344, ИМ

М. Э. Иванов
Теория гомотопий для ориентированных графов (продолжение).

18.10 ч., ауд. 5273, НГУ (новый корпус)

Д. М. Анищенко (НГУ)
Алгебры Гейтинга и теория двойственности (2-я часть).

Аннотация

Грузинский логик Лео Эсакиа систематически исследовал алгебры Гейтинга, топобулевы алгебры и связи между данными классами алгебр. Им были установлены:

  1. классификация элементов топобулевой алгебры;
  2. двойственность категорий топобулевых алгебр (алгебр Гейтинга) и гибридов (строгих гибридов), гибрид - это топологическое пространство с предпорядком, который согласован с топологией определенным образом;
  3. фундаментальные свойства гибридов. В серии из трех реферативных докладов будет рассказано про данные исследования.

Доклады основаны на книге Лео Эсакиа, которая была недавно переведена на английский:

[1] Leo Esakia. "Heyting algebras. Duality theory". (ed. G. Bezhanishvili, W. H. Holliday). Springer Nature, Switzerland, 2019.

14.30 ч., модуль ИМ СО РАН; Yandex Telemost

Стефанов Ю. П. (внс ИНГГ СО РАН), Бакеев Р. А. (снс ИФПМ СО РАН)
Численное моделирование процессов деформации и разрушения в геосреде.

АннотацияВ докладе представлен подход численного моделирования деформационных процессов в геосреде на разных масштабах. Подход основан на решении уравнений динамики упруго-вязкопластичной среды с помощью конечно-разносного метода сквозного расчета. Данный подход позволяет рассматривать как динамические, так и квазистатические процессы деформации. Показаны особенности постановки задач для изучения разных процессов. Основное внимание уделено математической модели описания деформации за пределом упругости, которая основана на комбинированной предельной поверхности с использованием неассоциированного закона течения. Такая модель позволяет описывать процесс необратимой деформации с учетом дилатансии и компакции. Приведены примеры численного моделирования поведения образцов горных пород, иллюстрирующие адекватность модели. Рассмотрен ряд примеров моделирования динамических и квазистатических процессов деформации в геологической среде на различных масштабах, включая формирование зон необратимой деформации в окрестности скважин, развитие полос локализованного сдвига в осадочном слое, расчет напряженного состояния фрагментов земной коры и др.
16.20 ч., ауд. 344, ИМ

А. Н. Глебов
Характеризация графов коалиций связного доминирования в субкубических графах.

16.20 ч., ауд. 417, ИМ
Yandex Telemost

Павлов С. В. (НГУ, Новосибирск)
Описание классов Соболева – Решетняка в терминах операторов композиции при $n=2$.

Аннотация

Доказано, что отображение, действующее из плоской области в произвольное метрическое пространство, принадлежит классу Соболева – Решетняка тогда и только тогда, когда его композиции со всеми вещественными липшицевыми функциями принадлежат соответствующему пространству Соболева.

Кроме того, установлено существование 1-липшицевой функции, дифференциал композиции с которой поточечно мажорирует метрический дифференциал данного отображения на множестве почти полной меры. Это свойство является новым даже для гладких отображений, принимающих значения в евклидовом пространстве.

14.30 ч., Яндекс Телемост

Дмитрий Осинцев
Релаксационные алгоритмы оптимизации парка бензовозов.

16.00 ч., Ktalk

В. О. Мантуров (МФТИ, Москва)
A map from the classical world to the virtual world: how to use virtual knot theory techniques for classical objects.

Аннотация

Over the last 20 years virtual knot theory has experienced a very rapid development where many interesting structures arose. In particular, new invariants valued in pictures appeared. Hence, it becomes challenging to construct mappings from the "classical theory" to "virtual theory" (for example, in order to "pull back" invariants and structures arising in the latter).

In the talk we discuss various ways of constructing some maps. We start with a discussion of maps from classical braids to so-called "flat virtual braids" constructed in 2022 by Nikonov and the author. In the last part we discuss a way of looking at classical knots and braids from the point of view of horizontal secants instead of crossings and horizontal trisecants instead of crossings. Based on this, we construct maps from classical braids to virtual braids and the "secant quandle" (the latter is a joint work with Yangzhou Liu).

We pose a general question: how other "classical" objects can be mapped to their "virtual" counterparts.

Список семинаров

***

В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.

На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.

Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.

***

Семинары ИМ СО РАН