Тема: Расчеты модели Изинга и электронной структуры атомов и молекул с помощью квантовых алгоритмов

На сегодняшний день квантовые вычисления являются быстро развивающейся обла­стью исследований. Квантовый компьютер - это вычислительное устройство, которое ис­пользует эффекты квантовой механики (квантовая суперпозиция, квантовая запутанность) для реализации вычислений. В ряде случаев квантовые расчеты имеют экспоненциальное преимущество перед классическими.
Единицей информации квантового компьютера является квантовый бит (кубит), кото­рый описывается вектором в гильбертовом пространстве и может быть представлен в виде суперпозиции |ф) = а |0) + в |1), где {|0) , 11)} - это некоторый базис и |а|2 + |в|2 = 1. Состо­яние кубита преобразуется с помощью квантовых гейтов, которые одновременно изменяют всю суперпозицию, обеспечивая ограниченный измерениями параллелизм. Алгоритмы на квантовых компьютерах реализуются с помощью квантовых цепей, которые являются по­следовательностью квантовых гейтов. Кубит находится в суперпозиции на протяжении всего процесса вычислений, однако после измерения переходит в состояние |0) с веро­ятностью |а|2 или состояние |1) с вероятностью @|2. Система из n кубитов может быть представлена в виде суперпозиции 2" базисных векторов.
Манин и Фейнман впервые предложили использовать квантовый компьютер для расчета квантовых систем. Основная мысль заключалась в том, чтобы построить управляе­мую квантовую систему и использовать ее для расчета многочастичных квантовых систем. Возможности для расчета таких систем на классических компьютерах ограничены из-за экспоненциального роста сложности волновой функции с увеличением числа частиц. При этом такие расчеты необходимы для теоретического описания электронной структуры ато­мов и молекул. Знание электронной структуры в свою очередь необходимо для понимания свойств атомов и химических соединений.
В ходе развития квантовых вычислений были найдены новые применения возможно­стей квантового компьютера. Так, в 1997 году Питер Шор предложил алгоритм фактори­зации чисел на простые множители . Также со временем все большее внимание стали привлекать задачи комбинаторной оптимизации , решение которых может быть эффек­тивно улучшено с помощью квантового компьютера. Целью комбинаторных задач явля­ется поиск оптимального решения в рамках фиксированного набора ограничений. Одним из их приложений является задача логистики, которая представляет собой минимизацию расстояния при перемещении по заданной карте. В данной задаче существует множество подходов к решению (формулировок), влияющих на число переменных, вид ограничений и точность получаемых результатов.
На сегодняшний день, несмотря на значительный прогресс в разработке квантовых вычислительных устройств их возможности ограничены. Это происходит из-за того, что они подвержены шумам вследствие декогеренции и неточности выполнения гейтов. Одним из наиболее перспективных подходов к решению задач на таких устройствах являются вариационные квантовые алгоритмы (VQA), использующие классический компьютер на ряду с квантовым. Считается, что VQA устойчивы к шумам различного происхождения за счет своей гибридной природы. Однако они являются эвристическими, в силу чего не ясно, смогут ли VQA превзойти результаты решения задач на классическом компьютере.
Среди вариационных подходов можно выделить два: Variational Quantum Eigensolver (VQE) и Quantum Approximate Optimization Algorithm (QAOA). Выбор алгоритма определяется задачей, а их главное отличие заключается в подготовке начального состоя­ния (анзаца). Гибридный алгоритм VQE используется для нахождения собственных значе­ний гамильтониана задачи. Результаты реализации Variational Quantum Eigensolver зави­сят от сложности квантовых цепей и классической оптимизационной процедуры. То есть, выбор оптимизатора и вариационного анзаца, используемого для параметризации началь­ного состояния, влияет на точность результатов алгоритма VQE. Quantum Approximate Optimization Algorithm полностью наследует структуру Variational Quantum Eigensolver. Однако в отличие от VQE, анзац которого мы можем менять, параметризация состояния в QAOA фиксирована и содержится в структуре алгоритма.
В расчетах квантовой химии зачастую рассматриваются задачи не вычисления энергии основного состояния, а расчет энергии ионизации молекулярной системы. Последователь­ная оценка энергий N и N — 1 частиц с помощью VQE и нахождение их разности может при­вести к накоплению ошибок квантового компьютера. Чтобы повысить точность расчетов, предлагается вычислять энергию ионизации сразу с помощью специально разработанного алгоритма. Он так же, как и предыдущие, является гибридным и включает в себя класси­ческую оптимизационную процедуру, однако возвращает разность двух средних значений гамильтониана.
В данной работе задача логистики буровых установок описана в разделе 2. Теоретиче­ским методам, используемым для расчета энергии ионизации посвящен раздел 3.3. Описа­ние вариационных квантовых алгоритмов VQE и QAOA содержится в разделах 3.2 и 2.4 соответственно. Пункт 4 включает в себя подробное описание анзаца, используемого при реализации VQE. Метод расчета градиентов, необходимых для реализации оптимизацион­ных процедур, представлен в разделе 5. Параграф 6 содержит результаты расчетов.
Купить

Результаты тестирования показали, что квантовые алгоритмы позволяют получать до­пустимые решения с удовлетворительной точностью. Эти решения обычно имеют значение целевых функций, порядка значения, полученного с помощью жадного алгоритма. Это мо­жет быть связано с низкой комбинаторной сложностью задач, либо, что более вероятно, с тем, что метод генерации данных идеально подходит для решения жадным алгоритмом. Проверка данной гипотезы подразумевает полный перебор всех решений и даже на задачах малой размерности. Ее реализация не представляется возможной за разумное время.
В отдельных случаях квантовые и квантово-вдохновленные алгоритмы показывали ре­шение лучше классических. Например, в задаче логистики с временными окнами OR-Tools ни разу не нашел допустимое решение. В случае с OR-Tools было замечено, что он работает существенно лучше, когда ему предлагается какое-либо первоначальное решение (напри­мер, из жадного алгоритма). Также в задаче логистики без временных окон алгоритмы QAOA, симуляции отжига и симулятор когерентной машины Изинга зачастую давали ре­шения более оптимальные, чем алгоритм Or-tools.
Стоит отметить, что решение существенно зависит используемого солвера. Например, облачные решения симуляции отжига для задач QUBO с вероятностью 100% выдавали допустимое решение, однако оно всегда было хуже жадного алгоритма. С другой сторо­ны, реализация симуляции отжига QUBO из пакета qubovert, которая использовалась во всех локальных тестах, выдает куда более хаотические результаты, и вероятность нахож­дения допустимого решения порядка 2%. Также, необходимо отметить, что такую метрику как "вероятность допустимого решения” довольно сложно определить для разных солве- ров, поскольку все квантово-вдохновленные солверы имеют разные параметры и критерии остановки. Например, в симуляции отжига в качестве критериев используются
• количество отжигов,
• время одного отжига,
а в алгоритме Or-tools критериями являются
• стартовый алгоритм,
• время работы алгоритма,
что сложно сравнимо, например, с тем же жадным алгоритмом.
...
Купить