Заседания семинаров
- Д. Ю. Иванов (ИМ СО РАН)
Принципы квантовой телепортации.
Аннотация
В данном сообщении будет предпринята попытка объяснить неспециалистам принципы квантовой механики на примере квантовой телепортации. - Д. М. Анищенко (НГУ)
Логика, основанная на семантике квантовых тимов.
Аннотация
Установлено, что явления в квантовой механике имеют вероятностную природу. Например, мы не можем определить положение электрона в произвольный момент времени, но можем определить вероятностное распределение его положения, зная начальное распределение. Это можно интерпретировать, как отсутствие детерминизма в квантовой механике. Однако не все физики разделяли подобную интерпретацию. Ими была предложена концепция скрытых параметров, которые нельзя измерить, но которые однозначно определяют движение частиц. В 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.
Чмелевский Михаил Петрович (СПбГУ, Санкт-Петербург, НМИЦ им. В. А. Алмазова, Санкт-Петербург), Котина Елена Дмитриевна
(СПбГУ, Санкт-Петербург)
Математическое моделирование и реконструкция электрической активности сердца с применением нейронных сетей.
Аннотация
Доклад посвящён современным подходам к неинвазивному исследованию электрической активности сердца, основанным на решении обратных задач электрокардиографии с использованием методов математического моделирования и нейросетевых алгоритмов. Представлены принципы построения трёхмерных карт активации миокарда на основе стандартной 12-канальной ЭКГ. Рассмотрены ключевые этапы реконструкции - от моделирования геометрии сердца и торса до идентификации электрических источников в сердце и построения изохронных карт активации. Описаны этапы интеграции технологии в клиническую практику.Ефремов Евгений Леонидович, Степанова Алёна Андреевна, Чеканов Сергей Геннадьевич (Владивосток)
Теоретико-модельные вопросы класса псевдоконечных полигонов.
Данил Кужман
Optimizing VLIW instruction scheduling via a 2D constrained dynamic programming (реферат статьи из ACM Trans. Des. Autom.Electron. Syst., 2024).
Е. В. Константинова
Обзор некоторых результатов из статьи:
“CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs.” Часть 1.
Zoom
Н. В. Абросимов (ИМ СО РАН)
Обратная теорема Кэзи на плоскости Лобачевского.
Аннотация
В докладе будет представлено доказательство обратной теоремы Кэзи на плоскости Лобачевского.Цзинхао Сян
Элементарная эквивалентность счётных безатомных булевых алгебр с выделенным идеалом.
Я. А. Гостюхин
Гомотопическое оснащение для категорий.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
