SCIENCE BRINGS NATIONS TOGETHER Mathematical Problems in Quantum Information Technologies

27 May 2024, 09:00 → 28 May 2024, 19:00 Europe/Moscow

MLIT

Arsen Khvedelidze (Joint Institute for Nuclear Research), Vladimir Korenkov (JINR)

 MPQIT-2024

The  Meshcheryakov Laboratory of Information Technologies (MLIT) of Joint Institute for Nuclear Research (JINR) will be hosting a workshop on Mathematical Problems in Quantum Information Technologies  (MPQIT)  on 27-28 May, 2024 in a mixed format. 

The main focus of MPQIT-2024 is on mathematical aspects of diverse problems in fundamental and applied quantum technologies  such as

• quantum information theory, 
• quantum communications,
• quantum computation, simulation, and quantum algorithms. 

The aim of this workshop is to bring together researchers from JINR member-states and around  the world working on mathematical problems of quantum information science  to exchange their experience and research results. 

The schedule of MPQIT-2024 is such that there will be enough time for informal discussions addressing fundamental aspects of quantum information science  and those obstacles that researchers  face. 

The program of the Workshop comprises plenary reports  (20 min) and sessional reports (20 min). 

Conference languages – English and Russian.

Contacts:      
Address:   141980, Russia, Moscow region, Dubna, Joliot Curie Street, 6
Phone:      (7 496 21) 64019, 64826
E-mail:     mpqit2024@jinr.ru
URL:         http://mpqit2024.jinr.ru/

 




 
 

Preliminary_programme_27May.pdf

Monday, 27 May

1 Registration

Please be so kind to make sure that your presentation
is uploaded through our system or pass it to the technical
staff during the registration.
For online participants: please note, that there is a possibility to test
the online conferencing platform joining the conference room during the registration.

2 Opening

Welcome speech from L. Kostov, S. Shmatov, V. Korenkov, A. Khvedelidze

3 Welcome speech

Speaker: Gina El-Feky (Academy of Scientific Research and Technology (Egypt))

4 Advancements in Quantum Computing in Egypt: A Journey with the Alexandria Quantum Computing Group

Alexandria Quantum Computing Group (AleQCG) has been at the forefront
of quantum computing research in Egypt since 2016. Situated in the
Department of Mathematics and Computer Science at the Faculty of
Science, Alexandria University, Egypt, AleQCG focuses on various aspects
of quantum computing:
1. Quantum Algorithms: AleQCG designs novel quantum algorithms to
address complex computational problems, leveraging the unique properties
of quantum systems.
2. Quantum Circuit Synthesis and Optimization: The group conducts
pioneering research in optimizing quantum and reversible circuits,
ensuring efficient utilization of quantum resources.
3. Quantum Machine Learning: AleQCG explores the intersection of
quantum computing and machine learning, aiming to unlock new
capabilities through quantum-enhanced models.
4. Quantum Cryptography: Investigating secure communication protocols
based on quantum principles, AleQCG contributes to the field of
quantum-safe cryptography.
5. Quantum Dot Cellular Automata: The group explores alternative
quantum computing paradigms, including quantum dot cellular automata,
which holds promise for future quantum technologies.
AleQCG has made significant contributions to integrating quantum
computing into the curricula of various institutions in Egypt at the
BSc, MSc, and PhD levels. Many Master’s and PhD students from Egypt
and the Middle East have graduated under their guidance. Additionally,
AleQCG has successfully completed several projects funded by the ASRT
(Academy of Scientific Research and Technology).
The group has established the Center of Excellence for Quantum
Computers at Alexandria University, serving both the community and
researchers. AleQCG played a key role in establishing and coordinating
the Professional Master’s program in Quantum Computing and Quantum
Informatics offered by Alexandria University.
Furthermore, AleQCG collaborates extensively with institutions across
Egypt, the Middle East, Africa, and worldwide. They organize workshops
and participate in global events to raise awareness about the importance
of quantum computing. Notably, the group represents Egypt in initiatives
such as QWorld and World Quantum Day.

Speaker: Ahmed Younes (Faculty of Science, Alexandria University)

AleQCG 27 May 2024 - JINR.pdf

5 Квантовый компьютер: настоящее и перспективы

Speaker: Sergey Kilin (Center of Quantum Optics and Quantum Information, National Academy Of Sciences, Belarus)

Килин_ОИЯИ Вычислительные возможности _квант компьют.pdf

11:10 Coffee Break

6 Решение уравнений теплопроводности на сверхпроводниковом квантовом сопроцессоре Snowdrop 4Q

Гибридные квантово-классические вычисления с применением суперкомпьютеров со сверх-
проводниковыми квантовыми сопроцессорами приближаются к границе практически полезных. Основными барьерами на этом пути являются проблемы повышения точности квантовых логических операций, масштабирования квантовых сопроцессоров и эффективных квантовых алгоритмов. В работе представлены результаты разработки высокоточных сверхпроводниковых квантовых сопроцессоров серии Snowdrop, широкополосных криогенных параметрических усилителей c квантовым уровнем собственных шумов, криогенной установки и системы управления. Представлены экспериментальные результаты решения уравнения теплопроводности с применением разработанного вариационного квантового алгоритма на сверхпроводниковом сопроцессоре Snowdrop 4Q.

Speaker: Илья А. Родионов (FMN Lab, ФГУП "ВНИИА им. Н.Л. Духова" и МГТУ им. Н.Э. Баумана)

7 Using quantum wavelet transform to calculate the Allan variance of noisy signals

The Allan variance [1] is now widely used in the analysis of noisy time series data in metrology, astrophysics, radiophysics, biomedicine, gyroscopy and navigation, et al. From a computational point of view, it is critical to calculate the Allan variation for real-time signals as well as for high dimensional signals (e.g., noisy images). Previously, a relationship was established between the Allan dispersion and the coefficients of the Haar wavelet transform [2]. On the other hand, algorithms for quantum wavelet
transforms (QWTs), including the Haar transform, are well known [3]. In this report, for the first time an
algorithm for calculating the Allan variance for noisy time series using the quantum Haar transform is proposed. Complexity of the New algorithm is based on the analysis of computational cost of executing QWTs. Generalizations to the multidimensional case, as well as to the case of calculating other types of wavelet-like variances, are possible.

1.D.W. Allan. Historicity, strengths, and weaknesses of Allan variances and their general applications. Gyroscopy Navig. 2016, vol. 7, no. 1, pp. 1-17. DOI: 10.1134/S2075108716010028.
2.D.B. Percival. A wavelet perspective on the Allan variance. IEEE Trans. on Ultrasonics, Ferroelectrics, and Frequency Control. 2016, vol. 63 (4), pp. 538-554. DOI: 10.1109/TUFFC.2015.2495012.
3.M. Bagherimehrab and A. Aspru-Guzik. Efficient quantum algorithm for all quantum wavelet transforms. 17 September 2023. arXiv:2309.09350v1.

Speaker: Dr Mikhail Basarab (Bauman MSTU)

8 Симуляторы квантовоподобных вычислений на основе распределенных физических систем

В настоящее время физическое ускорение обработки информации есть важнейшее направление исследований в квантовой физике, математике, а также информационных науках, направленное на решение проблемы больших данных. Универсальные квантовые компьютеры представляют собой один, но не единственный путь решения этой проблемы. Тенденции развития современных квантовых ,а также фотонных технологий позволяют выделить целый класс систем: т.н., машины Изинга (МИ) – квантовые, бифуркационные, цифровые, и пр., которые позволяют физически ускорить решение ряда NP-трудных задач Карпа [1]. Ускорение в таких системах не носит физически фундаментального характера, однако, оказывается весьма эффективным для решения практических задач оптимизации в бизнесе, экономике и финансах. В докладе сделан обзор таких симуляторов и выявлена их связь с имеющимися аналогами квантовых вычислителей на основе квантового отжига. Особое место в докладе уделено оптимизации графовой архитектуры рассматриваемых систем. Нами недавно предложен двумерный материал, в основе которого лежит сложный граф, ребрами которого являются светопроводящие каналы, а в узлах помещены двухуровневые системы (атомы, квантовые точки, и т.д.) [2]. Показано, что такая система, по-сути, представляет из себя МИ, обладающей дополнительным выигрышем по энергии благодаря выбору графовой архитектуры материала. В этой связи исследованы фазовые переходы к лазерной генерации, а также сверхизлучению в рассматриваемой структуре [2,3]. Показано, что в зависимости от топологии графа (средней связности узлов), фазовый переход может наблюдаться при малых значениях оптической накачки, практически без инверсии населенностей. Физически такое поведение может быть обосновано также со спецификой блужданий фотонов на графе материала в виде сложной сети [4].
Работа выполнена при поддержке гранта Российского научного фонда 23-22-00058 “Когерентные эффекты в двухмерных квантовых материалах с интерфейсом сложных сетей”.
[1] N. Mohseni, P. L. McMahon, and T. Byrnes, Ising machines as hardware solvers of combinatorial optimization problems. Nat. Rev Phys. 2022, 4, 363.
[2] A. Yu. Bazhenov, M. Nikitina, and A. P. Alodjants, High temperature superradiant phase transition in quantum structures with a complex network interface, Opt. Lett. 2022, 47, 3119.
[3] А.Ю. Баженов, М.М. Никитина, Д.В. Царёв, А.П. Алоджанц, Случайный лазер на основе материалов в виде сложных сетевых структур, Письма в ЖЭТФ, 2023, 117, 819.
[4] Alexey Melnikov, M. Kordzanganeh, A. Alodjants & Ray- Kuang Lee, Quantum machine learning: from physics to software engineering, Advances in Physics: X 2023, 8, 2165452.

Speaker: Александр Алоджанц (Университет ИТМО)

Alodjants Дубна 2024.pdf

9 Quantum computing with qudits

Recent progress in a development of quantum computing platforms operating with qudits ($d$-dimensional quantum particles with $d > 2$) rises important questions of how such platforms can be used in the most efficient way for implementing known quantum algorithms. We are going to discuss possible approaches for implementing quBit-based circuits with quDit-based hardware. These approaches include (i) employing "higher" qudits' levels for substituting ancillary qubits in decomposition of multiqubit gates, (ii) encapsulating computational space of several qubits in a single qudit, and (iii) combination of (i) and (ii). Special attention will be given to implementation of the approaches for trapped ion-based qudit systems with Mølmer–Sørensen gate as a native two-particle gate, and transmon-based superconducting qutrits. Recent experimental results will be also highlighted.

Speaker: Evgeniy Kiktenko (Russian Quantum Center)

qudits.pdf

10 Single-qubit gate decomposition stable to Rabi-frequency fluctuations

Single-qubit quantum gates in neutral-atom quantum computers are implemented via Rabi oscillations. An atom is excited by radio-frequency pulses or Raman-laser beams. From one execution of a quantum circuit to another, the Rabi frequency may fluctuate leading to degraded accuracy of single-qubit gates. One of fluctuation reasons is the thermal motion of an atom inside a dipole trap and the dependence of the intensity of the control radiation on the coordinate of the atom in space.

We explore decompositions of single-qubit gates into sequences of rotations about the X and Y axes, seeking stability against Rabi-frequency fluctuations. By considering small perturbations in the Rabi frequency, we develop a robust decomposition for gate operations that minimizes the sensitivity to such fluctuations, extending the fidelity of quantum gates beyond traditional decompositions.

We evaluate different decomposition strategies through numerical simulations using the NLopt optimization library, comparing their performances and stabilities. Additionally, we present experimental results, evaluating our decompositions on neutral-atom computer developed at MSU.

Speaker: Gleb Struchalin (Lomonosov Moscow State University, Quantum Technology Centre)

Стручалин.pdf

13:10 Lunch

Thee are several options for lunch, such as the Institute canteen or few cafe's indicated on the interactive map in the Contacts section.

11 Quantum fingerprinting and hashing for information transfer and database searching

Quantum fingerprinting is a family of quantum functions that began to be used in quantum algorithms in the early 2000s. They map classical objects to quantum states in such a way that different arguments can be effectively distinguished. To further highlight the additional cryptographic characteristics of quantum fingerprinting, our group uses the name “quantum hashing.”

The talk presents the basic concepts of quantum fingerprinting and hashing, as well as their experimental implementation. Discusses a) the use of cryptographic signatures in protocols and b) efficient dictionary search algorithms.

Speaker: Farid Ablayev (Kazan federal university)

12 Анизотропная модель взаимодействия кубита с резонатором: считывание, квантовые корреляции и слабый хаос

Как известно, конечная стадия распространения амплитуды вероятности в регистре сверхпроводниковых кубитов заканчивается процессом измерения состояний кубитов, которые связаны с резонаторами [1,2]. При этом взаимодействие кубита с измерительной модой резонатора (фотонами) может быть описано в рамках модели Раби [3]. Если константа связи кубита с полем мала по сравнению с частотами кубита и фотонной моды, то справедливо приближение вращающейся волны, позволяющее найти точно спектр и волновую функцию системы: задача сводится к точно решаемой модели Джейнса-Каммингса (Д-К) [4], когда в системе появляется дополнительный интеграл движения (непрерывная симметрия), отвечающий за сохранение числа возбуждений: спектр состоит из дублетов, обусловленных слабой связью между кубитом и осциллятором. Состояния фотонов и кубитов оказываются сильно запутанными (entanglement). Именно в рамках приближения Д-К описывается процесс считывания состояний кубита, который основан на слабом расщеплении уровней при взаимодействии с резонатором. Условие малости расщепления обеспечивается параметром, равным отношению константы связи к разности энергии кубита и резонатора. Для приложений важен вопрос о стабильности работы считывающих устройств, т.е. вопрос об ограничениях на константу связи, при нарушении которых возможна хаотизация гибридных возбуждений в модели Раби.
Мы рассматриваем более общую модель взаимодействия поля с искусственным атомом – анизотропную модель Раби – возникающую в том случае, когда связь кубита с резонатором осуществляется одновременно как посредством емкости (аналог электро-дипольного взаимодействия), так и посредством индуктивности (аналог магнито-дипольного взаимодействия), т.е. имеет место гибридная связь. При таком взаимодействии поля с кубитом в нем одновременно участвуют зарядовые и потоковые степени свободы джозефсоновской линии [5]. Несмотря на то, что в гамильтониане анизотропной модели с самого начала присутствуют контр-вращательные слагаемые, при равных константах связи она точно сводится к решаемой модели Д-К. Изучая поведение квантовой паутины (квантовый аналог отображения Пуанкаре) при изменении параметров связи, мы продемонстрировали процесс разрушения интеграла движения, сохраняющегося в симметричном случае. Обнаружена корреляция в поведении длины локализации мод и нитей паутины, сопровождаемая резким возрастанием длины локализации, свидетельствующая об образовании каналов туннелирования между группами состояний, отвечающих различным значениям разрушающегося интеграла движения. Из проведенных расчетов следует, что наличие знакопеременных матричных элементов создает «сложность» в поведении спектра получаемых матриц анизотропной модели. При этом структура спектра анизотропной модели Раби не следует стандартной классификации случайных матриц, установленной для простейших ансамблей матриц, в которых наблюдается переход от распределения Пуассона к распределению Вигнера с ростом недиагональных элементов. Для анизотропной модели прослеживается связь с матрицами древовидной структуры или матрицами осцилляторного типа с плотной структурой уровней (типа распределения промежутков между «щеколдами старого забора»).
Важным выводом из проведенного рассмотрения можно считать обнаруженную стабильность системы при равных константах связи, что позволяет расширить дисперсионный метод измерений состояний кубитов в режиме сильной связи.
Исследование осуществлено в рамках Программы фундаментальных исследований НИУ ВШЭ.
[1] Krantz P, Kjaergaard M., Yan F., Orlando T. P., Gustavsson S., Oliver W. D., A quantum engineer’s guide to superconducting qubits //Appl. Phys. Rev. 6, 021318 (2019).
[2] Вожаков В. А., Бастракова М. В., Кленов Н. В., Соловьев И. И., Погосов В. В., Бабухин Д. В., Жуков А. А., Сатанин А. М. Управление состояниями в сверхпроводниковых квантовых процессорах // Успехи физических наук. 2022. Т. 192. № 5.
[3] Rabi I. I. Space quantization in a gyrating magnetic field// Phys. Rev. 51, 652 (1937).
[4] Jaynes, E.T. and Cummings, F.W. Comparison of Quantum and Semiclassical Radiation Theories with Application to the Beam Maser//Proceedings of the IEEE, 51, 89-109(1963).
[5] Semenov A.A., Satanin A.M. Generation of Electromagnetic Pulses by an Array of Josephson Qubits with Hybrid Coupling to a Resonator// Russ Microelectron 52 (Suppl 1), S373–S378 (2023).

Speaker: А.М. Сатанин (National Research University Higher School of Economics, Moscow)

Satanin A M MPQIT 2024.pdf

13 Использование квантовых и квантово-подобных отжигателей для решения научно-практических задач параметризации сложных моделей. Некоторые математические аспекты.

Современные квантовые вычислители представляют из себя NISQ-устройства (Noisy Intermediate-Scale Quantum devices), и поэтому на них могут быть реализованы лишь алгоритмы, устойчивые к вычислительным ошибкам, а, следовательно, и физическим шумам, наиболее интересными из которых с практической точки зрения являются алгоритмы оптимизации. Несмотря на то, что в долгосрочной перспективе более удобными для реализации универсальных масштабных FTQC (Fault-Tolerant Quantum Computers) представляются сегодня вычислители вентильного типа (GTQC - Gate-Type Quantum Computers), в кратко и среднесрочной перспективах более привлекательными для решения практических задач оптимизации выглядит другой тип квантовых компьютеров – адиабатические квантовые компьютеры, или, точнее, их текущий вариант реализации, называемый квази-адиабатическими квантовыми отжигателями, в настоящее время существенно опережающими по количеству кубитов квантовые компьютеры вентильного типа.

Дополнительным преимуществом адиабатических вычислений является и то, что помимо собственно квантовых аннилеров (например, Diraq [1]) на сегодняшний день имеются достаточно мощные гибридные (например, D-Wave [2]) и цифровые (например, Toshiba [3] и Fujitcy [4]) отжигатели – специализированные программно-аппаратные комплексы, эмулирующие квантовый отжиг и предназначенные для решения задач оптимизации, а также программные эмуляторы квантового отжига.

Данные устройства и программы предназначены для решения лишь одного класса задач – задач QUBO (Quadratic Unconstrained Binary Optimization), т.е. задачи нахождения глобального минимума квадратичной формы
Q(q(1), q(2), …, q(N)) = α(0,0)+Σ_i,j{α(i,j)q(i)q(j)},
где q(1), q(2), …, q(N) – бинарные переменные, которые могут принимать значения 0 или 1, а α(i,j) – действительные коэффициенты связи, кодирующие условие задачи. Однако к задачам QUBO могут быть сведены многие задачи оптимизации и, кроме того, существуют стандартные базовые методы, позволяющие сделать это.

В научной литературе рассматривается возможность применения квантового отжига к решению ряда задач оптимизации, которые условно можно разделить по трем основным направлениям практического и научно-практического использования:
• оптимальное управление и задачи дискретной оптимизации в экономике (логистика, маршрутизация, сценарное планирование, оптимальное управления портфелем и т.п.) [5];
• параметризация моделей сложных систем различной природы (материаловедение [6], геофизика [7], метеорология и пр.);
• обучение систем AI/ML.

Однако применение данного инструментария к задачам параметризации моделей, задаваемых сложными функциями с большим количеством переменных, сталкивается с существенными трудностями. С одной стороны, применение стандартных базовых методов сведения задач оптимизации к задачам QUBO сопровождается при масштабировании задачи нелинейным ростом количества необходимых дополнительных бинарных переменных. С другой стороны, во-первых, имеющиеся вычислительные системы имеют ограничения как по количеству бинарных переменных q(i), так и по количеству ненулевых коэффициентов связи α(i,j). Во-вторых, при масштабировании задачи качество получаемых решений достаточно быстро падает, а время расчета в гибридных и цифровых отжигателях нелинейно растет.

В свете сказанного актуальной представляется задача разработки методов сведения задач многопараметрической оптимизации сложных функций к задачам QUBO с наименьших количеством бинарных переменных. В докладе представлен как краткий обзор стандартных базовых методов сведения задач оптимизации к задачам QUBO, так и недавно разработанный в группе прикладных квантовых алгоритмов лаборатории «Квантовой инженерии света» ЮУрГУ метод, дающий существенно меньший темп роста количества бинарных переменных при масштабировании задачи. Идея метода состоит в использовании разложения сложной оптимизируемой функции в ряд Тейлора, что позволяет декомпозировать исходную задачу оптимизации на несколько последовательных подзадач, часть из которых решается методами ML, а часть достаточно просто сводится к задачам QUBO существенно меньшего размера, чем это было бы при использовании стандартных базовых методов сведения к задачам QUBO. Метод разработан на примере одной из важных задач вычислительного материаловедения – задачи параметризации потенциалов межмолекулярного взаимодействия, однако, как представляется, применим к достаточно широкому кругу задач оптимизации сложных функций от большого количества переменных.

Список литературы:
[1] https://diraq.com/
[2] https://www.dwavesys.com/
[3] https://www.global.toshiba/ww/products-solutions/ai-iot/sbm.html
[4] https://www.fujitsu.com/global/services/business-services/digital-annealer/
[5] Sheir Yarkoni, Elena Raponi, Thomas Bäck, Sebastian Schmitt, 2022, «Quantum Annealing for Industry Applications: Introduction and Review», https://doi.org/10.1088/1361-6633/ac8c54
[6] Nikolay V. Maletin et al., 2023, «On the possibility of using quantum annealers to solve problems of parametrization of intermolecular interaction potentials», Laser Physics Letters, 20 115205, DOI 10.1088/1612-202X/acfd8e
[7] Н.В. Малетин, 2023, «О возможности решения масштабных одномерных задач инверсии сейсмических данных на современных квантовых отжигателях», Геофизика № 2-2023, стр. 102, DOI 10.34926/geo.2023.59.58.012

Speaker: Николай Владимирович Малетин (ЮУрГУ, лаборатория "Квантовая инженерия света")

Малетин_MPQIT-2024.pdf

14 Расчет электронной структуры атома московия с помощью квантовых алгоритмов

Знание электронной структуры необходимо для понимания свойств атомов, химических соединений и материалов. Учет электронных корреляций остается довольно сложной задачей, несмотря на значительный прогресс в развитии вычислительных методов и аппаратного обеспечения. Фундаментальное ограничение, которое препятствует точному описанию многоэлектронных систем на классических компьютерах, связано с экспоненциальным ростом конфигурационного пространства при увеличении числа активных частиц. Естественный способ преодолеть это препятствие — проводить расчеты квантовых систем на квантовых устройствах. Такие вычисления требуют совершенно новых алгоритмов, использующих квантовые эффекты.

Целью представленной работы является исследование применимости квантовых алгоритмов к задаче расчета электронной структуры атомных систем на примере основного состояния атома московия. Расчеты проводились с помощью двух квантовых алгоритмов: Iterative Quantum Phase Estimation (iPEA) и Variational Quantum Eigensolver (VQE) с различными оптимизаторами и типами анзацев. Атом московия был выбран из-за наполовину заполненной p-оболочки в основной конфигурации, что затрудняет расчет энергии основного состояния с использованием стандартного метода связанных кластеров. Продемонстрировано, что расчеты с помощью VQE могут быть успешно реализованы в конфигурационном пространстве, содержащем около 500 000 детерминантов Слейтера.

1. V. A. Zaytsev, M. E. Groshev, I. A. Maltsev, A. V. Durova, V. M. Shabaev, Int. J. Quant. Chem., 124, 1, e27332 (2023)

Speaker: Anastasiia Durova (St. Petersburg State University)

Qworkshop_2024.pdf

15 Квантовые протоколы на базе НП состояний определенной четности

Квантовые протоколы с состояниями с непрерывной переменной (НП) – основа дальнейшего развития оптической платформы квантовых технологий. Мы представляем обзор новых направлений развития НП оптических квантовых технологий на базе одно-модового сжатого вакуумного (ОМСВ) состояния, которое уже достаточно рутинно реализуется в различных лабораториях по всему миру. В основу реализации различных протоколов положены стандартные манипуляции ОМСВ состояниями методами линейной квантовой оптики с последующим измерением числа фотонов во вспомогательных модах. Успешное усовершенствование в последнее время технологии разрешения числа фотонов позволяет реализовать на практике новые семейства НП состояний определенной четности, которые определяются начальным состоянием на входе в оптическую схему. В рассматриваемом нами подходе фотон-разрешающие детекторы выступают как средство управления пост-измерительными состояниями сложных много-модовых запутанных состояний, реализуемых при прохождении начальных состояний через систему светоделителей. Мы показываем потенциал данных измерительно-индуцированных семейств НП состояний в оптической квантовой инженерии оптических состояний кота Шредингера (КШ), оптической квантовой метрологии, а также при реализации квантового вычислителя аналитических функций по выходной измеренной статистике фотонов. Так, мы развиваем оптический протокол, который позволяет реализовать оптическое КШ состояние с амплитудой 12,5 (что соответствует среднему числу фотонов 156) с точностью >0,99. В случае использования измерительно-индуцированного НП состояния совместно с когерентным состоянием для оценивания неизвестного набега фазы на выходе интерферометра Маха-Цендера обнаружено увеличение предельной чувствительности оценивания больше чем на 10 Дб по сравнению с “классической” работой C.M. Caves (Phys. Rev. D 23, 1693 (1981)) как раз в области небольших легко реализуемых на практике значений амплитуды сжатия <5 начального ОМСВ состояния. Идея вычисления аналитических функций по выходной измерительной статистике базируется на “умном” (не произвольном) выборе мод, в которых проводится фотон-разрешающее измерение с последующим набором статистики. НП состояния в модах, которые не подвержены измерению, также напрямую используются как входные для следующей оптической схемы (набору светоделителей) для последующего вычисления функций, но уже при других значениях аргумента. Некоторые наборы аналитических функций, которые могут быть вычислены по выходной статистике измерительных исходов в рассмотренных оптических схемах, представлены в работе.

Speaker: Dmitry Kuts (Laboratory of Quantum Information Processing and Quantum Computing, Quantum Engineering Laboratory, South Ural State University (SUSU), Lenin Av. 76, Chelyabinsk, Russia)

Kuts_Podoshvedov_Podoshvedov_Kulik.pdf

16 Dense Quantum Hashing

In [1] we have proposed a cryptographic quantum hash function and later in [2] provided its generalized version for arbitrary finite abelian groups based on the notion of $ε$-biased sets. However, the physical implementation of such functions nowadays poses a great challenge for the engineers since the proposed constructions of quantum hashing require completely entangled quantum states, which are hard to create and maintain. Therefore, in [3] we have proposed a simplified version of the quantum hash function that minimizes quantum state engineering and experimentally verified the collision resistance of such function. In this research we improve this approach by introducing a dense encoding of the classical information by the quantum states.
Let $S={s_1,…,s_m}⊂Z_q$ be the set of numeric parameters. We propose a quantum hash function $\psi(x,y)$ that encodes classical information by the following superposition:

$$|\psi_j (x,y)⟩=\cos⁡{\frac{\pi s_j x}{2q}}|0⟩+e^{i2\pi s_j y/q}\sin⁡⁡{\frac{\pi s_j x}{2q}} |1⟩,$$ $$|\psi(x,y)⟩=|\psi_1 (x,y)⟩⊗|\psi_2 (x,y)⟩⊗⋯⊗|\psi_m (x,y)⟩.$$ That is, the quantum hash $|\psi(x,y)⟩$ of the classical input $(x,y)$ is composed of $m$ independent hashes $|\psi_j (x,y)⟩$ of smaller size. The only difference between them is the value of the numeric parameter $s_j$. The pair of arguments $(x,y)$ can be interpreted as the split of a larger input, or as a pair of an input and a key. In any case this means that we can double the amount of information encoded in the same number of qubits as compared to [3]. The main idea behind quantum hashing is to provide the minimal fidelity of different quantum hash codes (collision resistance) with the minimal possible number of qubits (that affects the one-way property) [4]. The fidelity in our case can be expressed by the following formula: $$\prod\limits_{j=1}^m\cos^2⁡\frac{\pi s_j (x_2-x_1)}{2q}-\sin⁡\frac{\pi s_j x_1}{2q} \sin⁡\frac{\pi s_j x_2}{2q} \sin^2⁡\frac{\pi s_j (y_2-y_1)}{q}⁡.$$ The formula above gives the probability of considering hashes $|\psi(x_1,y_1 )⟩$ and $|\psi(x_2,y_2 )⟩$ to be equal, and the set of parameters $S={s_1,…,s_m}$ should be computed as the result of minimization of this formula over all pairs of unequal inputs.

References

1. Ablayev F.M., Vasiliev A.V. Cryptographic quantum hashing // Laser Physics Letters. – 2014. – V.11, No. 2. – Art. No. 025202.
2. Vasiliev A. Quantum hashing for finite abelian groups // Lobachevskii Journal of Mathematics. – 2016. – Vol. 37, No. 6. – P. 751-754.
3. Turaykhanov D.A., Akat’ev D.O., Vasiliev A.V., Ablayev F.M., Kalachev A.A. Quantum hashing via single-photon states with orbital angular momentum // Phys. Rev. A. – 2021. – V. 104. – Art. no 052606.
4. Ablayev F., Ablayev M., Vasiliev A. On the balanced quantum hashing // Journal of Physics: Conference Series. – 2016. – Vol. 681, No. 1. – Art. No. 012019.

Speaker: Alexander Vasiliev (Kazan Federal University)

TalkQH(2024.05.27).pdf

17 The influence of the polaron effect on the single excitation migration in the molecular chain from donor molecule: non-adiabatic polaron model

There are many processes inside living cells that are necessary for their functioning, during which different types of excitations are transmitted over long distances. Often, the transfer of excitation occurs at the submolecular level. For example, the energy required to carry out various physiological processes of the cell is generated by the hydrolysis of ATP to ADP. It is believed that the generated quantum of energy transmits to the place where it is used through a so-called molecular bridge – usually a polypeptide (protein) molecular chain. At the same time, although it travels a long distance, this energy is not lost in any dissipative process or in any other way. The mechanism of energy transfer is still the subject of vivid scientific discussion. The appropriate theoretical model must consider the quantum mechanical nature of the process and explain its stability and high efficiency.
In the report, we will consider a single excitation injected into a structure consisting of a molecular chain, in the vicinity of which an additional molecule is located. An additional molecule interacts with the molecular chain and forms a unique quantum system with it. It also can inject or absorb excitation [1]. We will present the distribution of the probability of finding excitation along the molecular chain. The results were obtained using a model based on the assumption that excitation, due to interaction with thermal oscillations of the structural elements of the molecular chain, forms a state corresponding to a non-adiabatic polaron [1,2].
We will consider the process of excitation migration and the degree of correlation, including quantum entanglement, of the quantum states of different structural elements of the molecular chain. We will compare the results obtained using the polaron model with those predicted by the model that does not rely on the assumption of the polaron formation. In this model, the so-called quantum-classical formalism is used. According to the latter the excitation energy is a linear function of the molecules displacement from equilibrium positions [3-6]. In this case the classical dynamics of the molecules and environment affects the quantum dynamics of the excitation and vice versa, the quantum dynamics of excitation affects the classical dynamics of the molecules. In this approach, the signs of chaotic behavior of the excitation in the molecular system are clearly visible.

1. V. Matic, Z. Ivic, Z. Przulj, and D. Chevizovich Phys. Rev. E 109 (2024) 024401;
2. D. Chevizovich, in Nonlinear Dynamics of Nanobio-physics, edited by S. Zdravkovic and D. Chevizovich (Springer, Singapore, 2022).
3. Lakhno, V.D., 2002. Dynamics of the Hole Transfer in the Nucleotide Sequences.
   Moscow - Izhevsk, Russia.
4. Lakhno, V.D., 2005. Dynamical theory of primary processes of charge separation in the
   photosynthetic reaction center. J. Biol. Phys. 31, 145–159.
5. Shirmovsky, S.Eh., 2016. Quantum dynamics of a hole migration through DNA: A single
   strand DNA model. Biophys. Chem. 217, 42–57.
6. Shirmovsky, S.Eh., Chizhov, A.V., 2023. Modeling of the entangled states transfer
   processes in microtubule tryptophan system. BioSystems 231, 104967.

Speaker: Dr Dalibor Chevizovich (Vinča Institute for Nuclear Sciences, Belgrade, Serbia)

18 Интеллектуальное управление в технических системах на основе квантового алгоритма нечеткого вывода

Работа посвящена представлению программно-алгоритмической платформы интеллектуального управления (на примере квантовых самоорганизующихся регуляторов в контуре управления) для различных технических систем.
Основной идеей применения интеллектуального управления является разработка унифицированного инструментария для проектирования встраиваемых самоорганизующихся интеллектуальных контроллеров с целью повышения эффективности и надежности ее функциональности и эксплуатации. При этом обеспечиваются оптимальные параметры качества управления: устойчивость, управляемость и робастность при минимальной сложности реализации управления.
В данном докладе представлены информационные технологии проектирования интеллектуальных систем управления на основе нечёткой логики, нейронных сетей, генетических алгоритмов и квантовых вычислений. На примерах действующих системы со встроенными самоорганизующимися квантовыми регуляторами рассматривается и обосновывается выбранная структура интеллектуальной системы управления. Экспериментально продемонстрирована работоспособность и эффективность разработанной интеллектуальной системы управления на технологиях квантовых мягких вычислений.
Результаты исследований и экспериментов подтверждают, что разработанный инструментарий является эффективным и позволяет:
(1) осуществить принцип проектирования оптимальной ИСУ с максимальным уровнем надежности и управляемости сложным ОУ в условиях неопределенности исходной информации;
(2) эффективно использовать его для плохо формализованных и слабоструктурированных объектов управления, извлекая знания непосредственно из сигналов с реального физического объекта.
(3) не изменяя нижний уровень системы управления повысить её робастность и эффективность.

Speaker: Andrey Reshetnikov (JINR, LIT)

19 Однонаправленные квантовые вычисления и принцип acausality

Стандартные квантовые вычисления основываются на последовательности унитарных квантовых логических переключателей обеспечивающих прохождение кубитов. Однонаправленный квантовый компьютер ( one - way quantum computer или Measurement Based Quantum Computer, MBQC) предложенный Рауссендорфом ( Raussendorf ) и Брейгелем ( Briegel) представляет совершенно новую идею того, как квантовые вычисления могут работать вообще. Основу составляют кластерные состояния множества кубитов ( они могут возникать из цепочек спинов через известные в физике твердого тела взаимодействия Изинга ), измерения которых создают временную последовательность при уничтожении ресурсного изначального состояния. MBQC могут стать основой универсальных квантовых компьютеров, так как кластерные состояния обладают специальными корреляциями между кубитами и легко обобщаются с помощью FP1+FP2 принципа Цайлингера ( Zeilinger, 1999,2010). Согласно Цайлингеру кластерные состояния MBQC напоминают Вавилонскую Библиотеку Борхеса и могут пониматься как случаи acausality ( не каузальности ). Математически, такая acausality поразительным образом описывается решением ABC проблемы в Интер - Универсальной Теории Тейхмюллера современного японского математика Мочидзуки. Экспериментальные приближения к MBQC Цайлингера и другие приложения однонаправленных квантовых вычислений также обсуждаются.

Speaker: Michael Popov (OMCAN Mathematical Institute University of Oxford)

Дубна 27:5:24 Michael Popov.key

Дубна 27_5_24 Michael Popov.pdf

18:00 Welcome party

Tuesday, 28 May

20 Quantum Information Scrambling and Entanglement: A Mathematical Connection

Quantum Information scrambling is a measure of quantum chaos and attracted the huge attention of the quantum information community now a days. To perform this measure,the out-of-time order correlator (OTOC) operators are used.On the other hand, Wooter’s bipartite concurrence is a measure of bipartite entanglement, in this work we establish the mathematical connection between quantum information scrambling and Wooters concurrence and investigate the mathematical challenges to establish such connections in higher dimensional Hilbert spaces. By such a mathematical connection, one can directly measure either one of the quantity, once any one quantity is known.

Speaker: Dr Kapil Sharma (DY Patil International Univ)

JINR_Dr.Kapil_K_Sharma_presentation.pdf

21 Testing the operation of the QAOA algorithm on the quantum testbed of the HybriLIT platform

A simulation of the operation of the quantum approximation optimization algorithm (QAOA) on the Cirq quantum computing simulator installed on the HybriLIT quantum polygon platform has been carried out. The problem of finding the state with the lowest energy in the Ising model with a longitudinal magnetic field for two- and three-dimensional lattices of various sizes was solved. Optimization of the parameters of the variational ansatz was carried out using both gradient and gradient-free methods. The optimization results derived by various methods were compared for a number of parameters. In the course of the work, quantum circuits with a register of up to 30 qubits were investigated.

Speaker: Dr Yuri Palii (Division of Computational Physics, MLIT, JINR)

MPQIT-24_Palii.pdf

22 Возможности гетерогенной платформы HybriLIT для квантовых вычислений

В докладе будет представлен обзор гетерогенной платформы HybriLIT, включающей суперкомпьютер «Говорун», учебно-тестовый полигон «HybriLIT», экосистему ML/DL/HPC и полигон для квантовых вычислений. Поддержка квантовых вычислений доступна в двух режимах работы: через планировщик задач SLURM (в режиме очередей) и в интерактивном режиме (через веб-браузер).

В режиме очередей квантовые вычисления могут проводиться с использованием всех ресурсов суперкомпьютера «Говорун». Под интерактивный режим выделен сервер с установленными библиотеками, поддерживающими параллельные вычисления как на центральных процессорах, так и на графических ускорителях. В качестве основы вычислительной среды выбрана JupyterLab, что предоставляет возможность пользователям наглядно работать с квантовыми схемами и проводить расчеты в веб-браузере. В качестве примера в докладе приведены результаты расчетов задачи по поиску состояния с наименьшей энергией в модели Изинга с продольным магнитным полем с использованием квантового аппроксимационного оптимизационного алгоритма (QAOA). Представлены результаты исследования эффективности проведения расчетов на различных типах вычислительных архитектур, в зависимости от конфигурации используемых вычислительных ресурсов и количества кубитов.

Speaker: Mr Maxim Zuev (MLIT JINR)

zuev_mpiqt2024_pres.pdf

23 Hamiltonian simulation in the Pauli basis and some physics applications

We propose a new method for computing operator exponentials for Hamiltonians that can be spanned by a set of n-qubit Pauli operators closed with respect to the composition. The method is based on the use of the Cauchy integral formula, in which the resolvent is represented in the form of a linear combination of the same Pauli operators, as the Hamiltonian under consideration, with unknown coefficients. The final result can be obtained by the method of residues. As examples of the application of the method, we consider some toy models of condensed matter physics.

Speaker: Alexander Tsirulev (Tver State University)

10:50 Coffee Break

24 Measure of entanglement production by quantum operations

V.I. Yukalov and E.P. Yukalova

Joint Institute for Nuclear Research

A measure of entanglement production by quantum operations is introduced. The suggested measure is general, being valid for operations over pure states as well as over mixed states, for equilibrium as well as for nonequilibrium processes. The measure of entanglement production satisfies all properties typical of such a characteristic. Systems of arbitrary nature can be treated, described by field operators, spin operators, or any other operators, which is realized by defining generalized correlation matrices. The interplay
between entanglement production and order indices in quantum systems is analyzed. Particular cases of entanglement production are discussed.

Speaker: Prof. Vyacheslav Yukalov (JINR)

25 Квантовые алгоритмы для вычислительных задач физики и химии в эпоху NISQ компьютеров.

Созданные к настоящему времени цифровые квантовые компьютеры относят к классу NISQ (Noisy Intermediate-Scale Quantum) устройств. Ограниченные по числу кубитов, времени когерентности и точности выполняемых логических операций эти устройства, тем не менее, находят применение для численного анализа растущего круга модельных вычислительных задач физики и квантовой химии. В этот круг входят модели теории электронного строения вещества, включая системы с сильными электронными корреляциями, квантового магнетизма, сильно неравновесной динамики квантовых систем. В докладе представлен краткий обзор квантовых алгоритмов для решения указанных задач как с применением реальных NISQ компьютеров, так и с помощью квантовых симуляторов, реализуемых на компьютерах с классической архитектурой.

Speaker: Виктор Юшанхай (BLTP JINR)

Talk YUSHANKHAI_28_05_MPQIT_2024.pdf

26 Конструктивное разложение квантовой системы на подсистемы

Любое разложение квантовой системы на подсистемы подразумевает представление ее (глобального) гильбертова пространства в виде тензорного произведения (локальных) гильбертовых пространств подсистем. Это предполагает, что размерность глобального гильбертова пространства можно разложить в произведение (взаимно простых) локальных размерностей.
Можно показать, что в стандартной квантовой механике для данной факторизации размерности глобального гильбертова пространства все разложения, лежащие на орбите общей унитарной группы, действующей в глобальном пространстве, эквивалентны.
Аргументы конструктивности приводят к выводу, что естественной группой эквивалентности разложения является прямое произведение групп Клиффорда - конечных групп, важных в квантовой информатике, - действующих в локальных гильбертовых пространствах.
Китайская теорема об остатках обеспечивает связь между квантовыми числами системы и квантовыми числами ее подсистем.

Speaker: Владимир Корняк

KornyakSlidesMPQIT2024.pdf

27 Grover-Diffusion operator unicity for the Grover quantum-search algorithm

The repetition of Grover-diffusion operator the order of √N times is the essence of the Grover quantum selection algorithm. We explore what other operators could be devised in its place and show that they either diverge or vanish in the Grover iteration, thus making the known Grover-diffusion the only possible operator. We present a C++ SU(2) model of the Grover-diffusion operator implemented using our SU2 package.

Speaker: Mihai-Tiberiu Dima (JINR - MLIT)

q2024.ppsx

28 Mathematical aspects of QUBO formulations for particle tracking algorithms

SPD (Spin Physics Detector) is a planned future experiment on
the NICA megascience project developed in Dubna. Based on modeling data
of the SPD experiment, this work is the first attempt to use the Hopfield
network approach to formulate a QUBO problem and use simulated annealing
to estimate the feasibility of the future use of quantum annealing to speed up present SPD particle tracking approaches. In this talk, we will stress several aspects of formulating particle tracking as QUBO, especially how to implement constraints.

Speaker: Martin Bures (JINR, LIT)

13:00 Lunch

Thee are several options for lunch, such as the Institute canteen or few cafe's indicated on the interactive map in the Contacts section.

29 Evading Quantum Mechanics à la Sudarshan: quantum-mechanics-free subsystem as a realization of Koopman-von Neumann mechanics

Tsang and Caves suggested the idea of a quantum-mechanics-free subsystem in 2012. We contend that Sudarshan's viewpoint on Koopman-von Neumann mechanics is realized in the quantum-mechanics-free subsystem. Since quantum-mechanics-free subsystems are being experimentally realized, Koopman-von Neumann mechanics is essentially transformed into an engineering science.

Speaker: Dr Zurab Silagadze (Budker Institute of Nuclear Physics)

Silagadze_MPQIT.pdf

30 ­Long-time Markovian dynamics of open quantum systems in all the orders of perturbation theory

Usually the Markovian dynamics of an open quantum system arises in the Bogolubov-van Hove limit, which assumes the small coupling between the open system and its environment and appropriately long time-scale. For some specific physical models, namely, generalized spin-boson models in the rotating wave approximation, we show that under some natural conditions on so-called reservoir correlation functions the similar thing is true in all the orders of Bogolubov-van Hove perturbation theory. Markovian dynamics in the quantum case is typically defined as validity of the Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) master equation for the density matrix and regression formulae for multi-time correlations functions. We show that the GKSL equation is valid in all the orders of Bogolubov-van Hove perturbation theory. But to reproduce the right asymptotic precision at long times, one should use an initial condition different from the one for exact dynamics. Moreover, we show that the initial condition for this master equation even fails to be physical. It particular, it may have negative populations. The regression formulae are not valid exactly, but should be renormalized in the similar manner as the initial condition. We call such a dynamics long-time Markovian one, because strictly speaking it is not Markovian, but all the non-Markovianity could be taken into account by such renormalization due-to non-Markovian dynamics in an initial layer, which is small with respect to the long time-scale separated by Bogolubov-van Hove scaling.

Speaker: Alexander Teretenkov (Department of Mathematical Methods for Quantum Technologies, Steklov MathematicalInstitute of Russian Academy of Sciences, Moscow, Russia)

11_Teretenkov.pdf

31 Quantum Evolution through the prism of operator growth

Quantum circuits consisting of Clifford and matchgates are two classes of circuits that are known to be efficiently simulatable on a classical computer. We introduce a unified framework that shows in a transparent way the special structure that allows these circuits can be efficiently simulatable. The approach relies on analyzing the operator spread within a network of basis operators during the evolution of quantum circuit. Quantifying the complexity of a calculation by the number of operators with amplitude above a threshold value, we show that there is a generic form of the complexity curve involving an initial exponential growth, saturation, then exponential decay in the presence of decoherence. Our approach is naturally adaptable into a numerical procedure, where errors can be consistently controlled as a function of the complexity of the simulation.
https://arxiv.org/pdf/2401.08187

Speaker: Igor Ermakov (Steklov Institute of Mathematics)

Dubna_2024.pdf

32 Electrostatic ion traps in Triangles

In the talk we discuss on the equilibrium points (critical points) of the electrostatic (Coulomb) potential of three mutually repelling point charges placed at fixed points. This topics are closely related to the Maxwell conjecture for three point charges and linear electrostatic ion traps.

We show that the incenter of an isosceles triangle is a stable equilibrium point of the electrostatic potential of certain point charges placed at its vertices. To this end, explicit formulas for these charges are given and the hessian of their electrostatic potential is computed. The behaviour of this hessian in a family of triangles with the given inscribed and circumscribed circles is investigated and its extremal values are computed. As an application we prove that each point in the unit disc is a stable equilibrium point of a certain triple of point charges on its boundary, which yields an explicit scenario of robust electrostatic control in Euclidean discs.

The talk are based on the joint works [1] and [2] with G.Khimshiashvili.

Acknowledgments. The research supported by GNSF as part of grant No. FR22-354, titled "Problem of factorization and invariants of holomorphic bundles on Riemann surfaces."

References

[1] Giorgadze G. and Khimshiashvili G. Incenter of triangle as a stationary point. Georgian Mathematical Journal, vol. 29, no. 4, 2022, pp. 515-525. https://doi.org/10.1515/gmj-2022-2155
[2] Giorgadze G. and Khimshiashvili G. Triangles and electrostatic ion traps. J. Math. Phys. 62, 053501, 2021. https://doi.org/10.1063/5.0040735

Speaker: Prof. Grigori Giorgadze (Ivane Javakhishvili Tbilisi State University)

giorgadze_Dubna_2024.pdf

33 Квантовый алгоритм поиска экстремальных путей в градуированных графах.

В докладе будет рассказано о возможности применения квантовых алгоритмов, основанных на алгоритме Гровера для поиска асимптотик экстремальных путей в градуированных графах типа графов Юнга и Шура.

Speaker: Nikolay Vassiliev (St.Petersburg Department of Steklov Institute of Mathematics)

2924_JINR.pdf

knots.pdf

34 On the dichotomy of ``elementary versus composite'' in Stratonovich-Weyl correspondence for qudits

The issue of evidence of a quantum system to be an elementary or a composite one is discussed within the Stratonovich-Weyl correspondence for finite dimensional systems.

The numerical experiments with a 4-level quantum system are performed in order to understand how its virtual 2-level subsystems manifest themselves in the properties of the Wigner quasiprobability distributions of quantum states.

The results of our studies show that ``compositeness of a quantum system'' is encoded not only in the density matrix of quantum state but in the structure of the Stratonovich-Weyl kernels as well.

Speaker: Арсен Хведелидзе (Joint Institute for Nuclear Research)

Presentation_MPQIT_2024.pdf

16:30 Farewell Coffee