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

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

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

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

А. Еремеев
A restart rule for genetic algorithms based on Schnabel census (совместная работа с Ю. Захаровой).

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

Матрохин Николай Анатольевич
Тотальные ограниченные коалиции в графах.

16.20 ч., ауд. 344, ИМ
  1. К. М. Файзуллаев
    Реферат работы: S. Cambie “Towards the essence of Šoltés' problem”, Appl. Math. Comp. 508, 2026.
     
  2. Е. Д. Искра
    Слова Линдона.
16.30 ч., к. 417, ИМ

А. М. Старолетов
О распознаваемости линейных и унитарных групп по спектру.

А. Р. Углев
Квантовые группы и уравнение Янга-Басктера (обзор известных результатов).

18.10 ч., ауд. 5272, НГУ

А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds" (часть 3).

16.20 ч., фойе конф.зала, ИМ
Yandex Telemost

Мамонтов Андрей Сергеевич (ИМ СО РАН)
Почти бесконечные йордановы банаховы алгебры.

АннотацияПо аналогии с понятиями почти бесконечных групп и почти бесконечных алгебр, в частности $C^*$-алгебр, введено понятие почти бесконечных $JB$-алгебр, т.е. бесконечномерных $JB$-алгебр, для которых все собственные факторы конечномерны. Мы исследуем связи между минимально бесконечной $C^*$-алгеброй $A$ и её йордановой алгеброй $H(A,*)$ самосопряженных элементов. Мы также показываем, что любая минимально бесконечная $JB$-алгебра $J$ либо является бесконечномерным спиновым фактором, либо существует $C^*$-алгебра $A$ и почти бесконечные, замкнутые по норме вещественные $*$-подалгебры $A_1$ и $A_2$ алгебры $A$, такие, что $H(A_1,*)\unlhd J \subseteq H(A_2,*)$.
18.10 ч., ауд. 5251, НГУ (новый корпус)

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

Аннотация

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

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

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

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

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

***

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

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

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

***

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