Заседания семинаров
online
Махлиё Кадирова (НГУ)
О точках ветвления самоподобных континуумов с конечным пересечением (кандидатская диссертация; научный руководитель – д.ф.-м.н. А. В. Тетенов).
Бирама Сангаре
Автоморфизмы коммутативных квандлов.
А. И. Стукачев
Обобщённо конструктивные модели интенсиональной логики.
Р. Н. Ли (ИЯФ СО РАН)
Метод разложения по областям.
Аннотация
Метод разложения по областям с помощью аналитической регуляризации является “секретным оружием” физиков-теоретиков, особенно известным сообществу, занимающемуся пертурбативными вычислениями в квантовой теории поля. Этот метод позволяет эффективно находить асимптотические разложения функций, заданных своим интегральным представлением. В частности, он позволяет элементарно воспроизвести многие формулы из классических справочников для асимптотических рядов стандартных спецфункций. В пертурбативных вычислениях этот метод используется для вычисления асимптотик петлевых интегралов с помощью их параметрического представления в виде обобщённых интегралов типа Эйлера. На семинаре будет представлен обзор метода и его новейшие приложения для вычисления дуально-конформных интегралов в суперсимметричной теории Янга-Миллса.А. А. Егоров
О числе идеальных вершин прямоугольных многогранников в пространствах Лобачевского старших размерностей.
Ссылки для подключения в аннотациях
1. Shan Jiang (Peking University, Beijing)
Quantum algorithms for matrix functions.
Аннотация
The talk will be streamed through "Tencent": https://meeting.tencent.com/dm/mAf9rFxRrDeU
Meeting code: 800-284-511
To join via a web browser: go to https://voovmeeting.com/; click "log In" in the upper-right corner and login either by a Google/Apple account, or by a verification code received on phone or email; click "Join now" in the upper-right corner and type the number of the meeting 800-284-511 in the "Enter meeting ID" field; when prompted, select "Join from browser".
Quantum algorithms have recently made significant progress in scientific computing, demonstrating their potential to overcome the limitations of classical computing power. In many scientific computing problems, including matrix inversion algorithms and Hamiltonian simulation, quantum algorithms have already demonstrated their quantum advantage within their frameworks. In this talk, we will first introduce some basic frameworks for applying quantum algorithms to scientific computing problems, and then present our recent work on matrix-valued functions based on Cauchy integrals and Fourier transforms.
2. V. I. Yashin (Steklov Mathematical Institute of Russian Academy of Sciences, Moscow)
Simulation of stabilizer quantum circuits and their reduction to classical Boolean circuits.
Аннотация
The talk will be streamed through “Kontur Talk”: https://mian.ktalk.ru/ojolwic9po4h?pinCode=5195.
Modern quantum computers suffer from noises, that is why a lot of effort is put in the theory of quantum error-correcting codes. Protocols of quantum fault-tolerance widely use a subclass of quantum computational processes called stabilizer circuits. Stabilizer circuits are most prone to error correction, they are capable of generating quantum entanglement, but they are also classically simulable. The general theory of stabilizer circuits and their classical simulation, in addition to practical significance to error-correction, turns out to have close connection with wide range of topics, such as: Boolean circuits, Boolean linear algebra, projective representations of abelian groups and their cohomology, linear optics, and theories of reference frames and hidden variable models from quantum foundations. In my talk, which is based on https://arxiv.org/abs/2511.05478, I will try to give an introduction to the subject and state some of my recent results.
Владимир Борисович Сулимов (д.ф.-м.н., заведующий лабораторией НИВЦ МГУ)
Моделирование собственных дефектов аморфного $SiO_2$ методами квантовой молекулярной динамики.
Аннотация
Точечные дефекты в аморфном и стеклообразном $SiO_2$ играют важную роль в различных областях науки и техники: в микроэлектронике, в многослойных оптических покрытиях, в волоконной оптике и др. В микроэлектронике $SiO_2$ используется в качестве изолирующих слоев полупроводниковых приборов, и электронные состояния дефектов в запрещенной зоне $SiO_2$ могут быть ловушками электронов и дырок, и быть причиной токов утечки и накопления паразитного заряд. В многослойных оптических покрытиях с чередующимися слоями оксидов с низким и высоким показателем преломления, в которых аморфные плёнки $SiO_2$ играют роль оптических слоев с низким показателем преломления, дефекты $SiO_2$ приводят избыточному поглощению и, в конечном итоге, к снижению порога разрушения покрытия под действием мощного лазерного излучения. В волоконных световодах на основе кварцевого стекла точечные дефекты определяют радиационно-оптическую устойчивость – наведенные радиацией потери, обусловленные электронными состояниями дефектов в запрещенной зоне $SiO_2$. Примесные, а иногда и собственные дефектные состояния $SiO_2$ определяют и запись УФ лазерами Брэгговских решеток в световодах, и свойства волоконных оптических усилителей и лазеров.
К настоящему времени выполнено большое количество исследований свойств собственных и примесных дефектов $SiO_2$. Однако, до недавнего времени при моделировании «разумные» воображаемые дефекты создавались «руками» либо в кристаллах $SiO_2$, либо в кластерах атомов со структурой «похожей» на структуру аморфного $SiO_2$. В последнем случае применялись методы погруженного кластера или оборванные связи на внешней границе кластера насыщались атомами водорода. В обоих приближениях энергия исходной системы локально оптимизировалась методами квантовой механики (химии) путем варьирования положений атомов дефектов, а иногда и атомов их ближайшего окружения. Последовательное применение квантовой механики для получения аморфных состояний $SiO_2$ и его дефектов использовалось редко и в ограниченном виде.
Настоящая работа посвящена новому подходу к моделированию аморфного $SiO_2$ и его дефектов. В этом подходе аморфные состояния получались при моделировании методами квантовой молекулярной динамики процесса расплавления-закалки исходного кристалла. Этот процесс заключается в разогреве кристалла до заданной температуры выше температуры плавления, стабилизации расплава, охлаждения расплава до комнатной температуры и стабилизации полученного состояния. Использовалась лицензионная программа VASP 5.4.4. Получены аморфные состояния стехиометрического и кислородно-дефицитного $SiO_2$ при различных температурах стабилизации расплава. Кислородно-дефицитные состояния моделировались путем расплавления-закалки исходного кристалла с одной или двумя кислородными вакансиями. Описана структура сетки атомов полученных аморфных состояний и структуры обнаруженных в них дефектов, среди которых есть и известные и новые точечные дефекты $SiO_2$. Всего обнаружено 9 дефектов в стехиометрическом $SiO_2$ еще 7 дефектов в кислородно-дефицитном $SiO_2$. Для сравнения приведены результаты моделирования таким же методом аморфных состояний $HfO_2$ и $ZrO_2$, а также свойства полученной тем же методом двухслойной аморфной структуры $SiO_{2}–Ta_{2}O_5$. На основании полученных результатов сделаны общие выводы. Такой подход позволяет естественным образом получать не только низкоэнергетические собственные, но и примесные дефекты аморфных состояний.
Владимир Вячеславович Соколов (д.ф.-м.н., профессор, МФТИ, Высшая школа современной математики)
О линейных деформациях матричного умножения.
Аннотация
Две алгебры Ли, заданные на одном и том же векторном пространстве, называются согласованными, если любая линейная комбинация соответствующих скобок задает алгебру Ли. Согласованные алгебры Ли имеют несколько важных приложений в теории интегрируемых систем. Более жесткой структурой являются согласованные ассоциативные алгебры.
В ходе доклада мы рассмотрим задачу об описании ассоциативных алгебр, согласованных с матричной алгеброй $Mat(n)$. Мы поговорим об алгебраической структуре, представления которой соответствуют таким алгебрам. Приведем маломерные примеры. Поговорим о широком классе примеров, порождаемых аффинными схемами Дынкина типов $A, D, E$.

