ИМ СО РАН 
Вход для сотрудников

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

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

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

Д. М. Анищенко (НГУ)
Логика, основанная на семантике квантовых тимов.

Аннотация

Установлено, что явления в квантовой механике имеют вероятностную природу. Например, мы не можем определить положение электрона в произвольный момент времени, но можем определить вероятностное распределение его положения, зная начальное распределение. Это можно интерпретировать, как отсутствие детерминизма в квантовой механике. Однако не все физики разделяли подобную интерпретацию. Ими была предложена концепция скрытых параметров, которые нельзя измерить, но которые однозначно определяют движение частиц. В 1964 году Джоном Стюартом Беллом было показано, что вне зависимости от наличия или отсутствия скрытых параметров есть некоторые вероятностные неравенства, которые можно экспериментально проверить, и в случае их нарушения можно сделать вывод об отсутствии скрытых параметров. Физиками Джоном Клаузером, Аланом Аспектом и Антоном Цайлингером были проведены эксперименты, которые показали нарушение неравенств Белла. За этот результат им была присуждена Нобелевская премия в 2022 году.

Неравенства Белла не нарушаются в классических вероятностных моделях. В частности, неравенства Белла выводятся в вероятностной логике Фагина, Хальперна и Мегиддо. Их нарушение означает, что для моделирования квантовой механики необходимы нестандартные вероятностные модели. В докладе речь пойдет о модифицированной вероятностной логике, в которой невыводимы неравенства Белла, и будет доказана теорема полноты для данной логики. Семантика данной логики задается в терминах квантовых тимов и является обобщением тим-семантики логики независимости, введенной Юко Ваананеном в 2007 году.

Сообщение основано на следующих работах:

[1] S. Abramsky and L. Hardy. Logical Bell Inequalities. Phys. Rev. A , 85(062114):1-11, 2012.
[2] T. Hyttinen, G. Paolini, J. Vaananen, Quantum team logic and Bell's inequalities. Rev. of Symb. Logic, V. 8, No. 4, 2015.
[3] J. T. Fokkens, On the reduction of quantum teams, MA thesis, University of Gothenburg.

16.20 ч., ауд. 417, ИМ
Google Meet

В. Н. Берестовский, А. Мустафа
Радиус инъективности эллипсоида вращения.

Аннотация

Найдены радиусы инъективности для эллипсоидов вращения в трехмерном евклидовом пространстве, а для сплюснутого эллипсоида вращения еще и крачайшие и множества разреза. Радиус инъективности для сплюснутого эллипсоида вращения равен длине дуги экватора между ближайшими сопряженными значениями, а для вытянутого эллипсоида вращения - расстоянию вдоль двойного меридиана между его сопряжёнными симметричными относительно полюса точками и меньше половины длины экватора. В последнем случае найден и применен метод сколь угодно точных компьютерных вычислений радиуса инъективности произвольного вытянутого эллипсоида вращения.

Для сплюснутого эллипсоида вращения и сферы вычисление радиуса инъективности и поиск кратчайших и множеств разреза не требует помощи компьютера.

[1] Берестовский В. Н., Мустафа А. Радиус инъективности и кратчайшие сплюснутого эллипсоида вращения // Сиб. матем. журн. 65:1(2024), 15-26 с.

[2] Берестовский В. Н., Мустафа А. Радиус инъективности вытянутого эллипсоида вращения // Сиб. матем. журн. 66:6(2025), 16 с.

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

В. А. Логачёв
Расширения левосимметрических алгебр.

12.40 ч., к. 305, ИМ

И. Ю. Бондаренко (НГУ)
Нейросети и математика? Состояние и перспективы современной теории нейросетей.

17.00 ч., Zoom

В. А. Топчий
Асимптотические свойства последовательностей вырождающихся цепей Маркова, определяемых дважды максимальными случайными процессами.

Аннотация

16.30 ч., к. 361, ИМ

Рублев Кирилл Дмитриевич
Об одной задаче интервального кодирования.

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

М. М. Аликбаров
Обобщение Clock-теоремы на нотоиды и 1-линкоиды (продолжение).

12.45 ч., к. 344, ИМ

Николаева Наталья Афанасьевна (Северо-Восточный Федеральный Университет, г. Якутск)
Краевые задачи о равновесии упругих тел и пластин с тонкими включениями и трещинами (по материалам кандидатской диссертации).

Аннотация

Представлены результаты кандидатского диссертационного исследования, посвященного изучению краевых задач равновесия упругих тел с тонкими включениями и трещинами. Цель исследования заключается в проведении комплексного анализа поставленных задач, включая:

- Исследование корректных вариационных и дифференциальных постановок.
- Доказательство существования единственного решения.
- Анализ предельных переходов при изменении параметров жесткости.
- Установление условий сопряжения различных типов включений.

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

***

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

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

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

***

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