Квантовые алгоритмы

Определение:

Квантовый алгоритм (англ. quantum algorithm) представляет собой классический алгоритм, который задает последовательность унитарных операций (гейтов (англ. quantum gate), или вентилей) с указанием, над какими именно кубитами (от англ. quantum bit) их надо совершать.

Алгоритм проверки чётности

Постановка задачи

Задача:

Пусть имеется функция [math] f: A \rightarrow B [/math], такая, что [math]f(x)=xu(mod 2)[/math] с неизвестным [math]u[/math]. Найти [math]u[/math] за минимальное количество обращений к функции [math]f[/math].

Пример:

В виде круга изображён Hadamard gate.

[math]x[/math]	[math]000[/math]	[math]001[/math]	[math]010[/math]	[math]011[/math]	[math]100[/math]	[math]101[/math]	[math]110[/math]	[math]111[/math]
[math]f(x)[/math]	0	1	0	1	1	0	1	0

[math]u = 101[/math]

Реализация

Для начала инициализируем начальные [math]n[/math] кубитов состоянием ноль. Проводим их всех через гейт Адамара (англ. Hadamard gate) и получаем все возможные суперпозиции. Суперпозиции передаём в "черный ящик", который реализован в виде вентиля [math]U_f[/math]. Сам результат опять пропускаем через гейт Адамара. В конце измеряем результат, который будет являться искомой [math]u[/math].

В качестве бита, который будет содержать ответ, будет использоваться суперпозиция: [math]\mid -\bigr\rangle = \dfrac{1}{\sqrt{2}}(\mid 0\bigr\rangle - \mid 1\bigr\rangle)[/math]

Выразим неизвестную: [math]\mid 00...0\bigr\rangle\mid -\bigr\rangle\rightarrow\dfrac{1}{2^{n/2}} \Leftrightarrow \sum_\limits{x \mathop \in \{0,1\}^n} \mid x\bigr\rangle\mid-\bigr\rangle\rightarrow\dfrac{1}{2^{n/2}} \Leftrightarrow \sum_\limits{x \mathop \in \{0,1\}^n} (-1)^{xu}\mid x\bigr\rangle\mid-\bigr\rangle\rightarrow\mid u\bigr\rangle\mid-\bigr\rangle[/math]

Сложность

Классический алгоритм: [math]O(n)[/math].

Квантовый алгоритм: [math]O(1)[/math]. Такая сложность достигается благодаря квантовым свойства, а конкретно параллелизму.

Алгоритм Саймона

Постановка задачи

Задача:

Пусть имеется функция [math] f: A \rightarrow B [/math], такая, что [math]f(x+S)=f(x)[/math] с неизвестным [math]S[/math]. Найти [math]S[/math] за минимальное количество обращений к функции [math]f[/math].

В виде круга изображён Hadamard gate.

Пример:

[math]x[/math]	[math]000[/math]	[math]001[/math]	[math]010[/math]	[math]011[/math]	[math]100[/math]	[math]101[/math]	[math]110[/math]	[math]111[/math]
[math]f(x)[/math]	000	010	001	100	010	000	100	001

[math]S = 101[/math]

Реализация

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

Аналогично предыдущему алгоритму вычисляем результат, который будет являться некоторой строкой, дающей при скалярном умножении на искомую [math]S[/math] ноль. После [math]n - 1[/math] итерации алгоритма получим систему из [math]n - 1[/math] линейных уравнений; решив эту систему уравнений, найдём искомую [math]S[/math].

[math] \begin{cases} y_{1}^1S_1 + y_{1}^1S_2 + \dots + y_{n}^1S_n = 0,\\ y_{1}^2S_1 + y_{2}^2S_2 + \dots + y_{n}^2S_n = 0,\\ \dots\\ y_{1}^{n-1}S_1 + y_{2}^{n-1}S_2 + \dots + y_{n}^{n-1}S_n = 0.\\ \end{cases} [/math]

Особенности алгоритма:

• для решения СЛАУ необходим препроцессинг на классическом компьютере;
• алгоритм может допускать ошибку(возможно, какие-то уравнения не будут линейно независимыми и система не будет иметь решений) с вероятностью [math] ε \lt \dfrac{1}{4} [/math] при одном цикле прохода алгоритма. Этого можно избежать, если прогнать алгоритм несколько раз, так для [math]4m[/math] раз, вероятность будет равна: [math] ε^{4m} \lt ε^{-m} [/math]. Например, при [math] m = 10 [/math] вероятность будет [math]ε^{40} \lt \dfrac{1}{20000} [/math].

Сложность

Классический алгоритм: [math]O(2^{n/2})[/math].

Квантовый алгоритм: [math]O(n)[/math].

Алгоритм нахождения периода

Постановка задачи

Задача:

Пусть имеется функция [math] f: \{0,...,N-1\} \rightarrow S [/math], такая, что [math]f(x+r(mod N))=f(x)[/math] с неизвестным периодом [math]r[/math]. Найти [math]r[/math] за минимальное количество обращений к функции [math]f[/math].

Перефразируем задачу: у нас есть периодичная функция, для которой необходимо найти её период, путём нахождения коллизии.

Реализация

[math]r[/math] и [math]N/r[/math] - периоды функций

Чтобы решить задачу, воспользуемся квантовым преобразованием Фурье(англ. Quantum Fourier transform; далее QFT). QFT - гейт, который реализует матрицу дискретного преобразования Фурье над квантовым состоянием. Идея в следующем: есть периодическая функция с периодом [math]r[/math], после QFT, получим новую периодическую функцию с периодом [math]N/r[/math], где [math]N[/math] - модуль, с которым мы работаем.

[math] QFT_N = \dfrac{1}{\sqrt{N}}\begin{vmatrix} 1 & 1 & 1 & \cdots & 1 \\ 1 & ω^2 & w^3 & \cdots & ω^{N-1} \\ 1 & ω^3 & ω^6 & \cdots & ω^{2(N-1)} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 1 & ω^{N-1} & ω^{2(N-1)} & \cdots & ω^{(N-1)(N-1)} \end{vmatrix}[/math], где [math]ω = e^{\dfrac{2πi}{N}} [/math]

Так аналогично предыдущему алгоритму, но пользуясь QFT, получаем результат [math]m\dfrac{N}{r}[/math]. Выполнив данный алгоритм [math]n[/math] раз, найдём наибольший общий делитель от [math]n[/math] полученных чисел, который, с некоторой вероятностью, будет искомым периодом [math]r[/math], при этом вероятность ошибки будет экспоненциально падать с каждой попыткой.

Примечание: Алгоритм нахождения периода используется в алгоритме Шора, который позволяет решать задачу факторизации числа.

Сложность

Классический алгоритм: [math]O(r)[/math].

Квантовый алгоритм: [math]O(\log N)[/math].

См.также

• Квантовые гейты
• Алгоритм Гровера
• Алгоритм Шора
• Веб-приложение, использующее WebGL, чтобы имитировать до 22 кубитов на GPU
• Веб-приложение, для написания и визуализации квантовых алгоритмов
• Языки программирования для квантового компьютера

Источники информации

• Алгоритм проверки чётности
• Алгоритм Саймона
• Гайнутдинова А. Ф. "Квантовые вычисления"
• Соловьев В. М. "Квантовые компьютеры и квантовые алгоритмы. Часть 1. Квантовые компьютеры"
• Соловьев В. М. "Квантовые компьютеры и квантовые алгоритмы. Часть 2. Квантовые алгоритмы"
• Квантовое преобразование Фурье