Квантовый логический вентиль

Базовая схема в квантовых вычислениях

Общие квантовые логические вентили по названию (включая аббревиатуру), форме(ам) схемы и соответствующим унитарным матрицам

В квантовых вычислениях и, в частности, в модели квантовых схем вычислений , квантовый логический вентиль (или просто квантовый вентиль ) — это базовая квантовая схема, работающая на небольшом количестве кубитов . Квантовые логические вентили являются строительными блоками квантовых схем, подобно тому, как классические логические вентили являются строительными блоками для обычных цифровых схем.

В отличие от многих классических логических вентилей, квантовые логические вентили обратимы . Можно выполнять классические вычисления, используя только обратимые вентили. Например, обратимый вентиль Тоффоли может реализовать все булевы функции , часто за счет необходимости использования вспомогательных битов . Вентиль Тоффоли имеет прямой квантовый эквивалент, показывающий, что квантовые схемы могут выполнять все операции, выполняемые классическими схемами.

Квантовые вентили являются унитарными операторами и описываются как унитарные матрицы относительно некоторого ортонормированного базиса . Обычно используется вычислительный базис , который, если его не сравнивать с чем-либо, просто означает, что для квантовой системы d -уровня (такой как кубит , квантовый регистр или кутриты и кудиты ) ^{[1] : 22–23} ортонормированные базисные векторы помечены или используют двоичную запись . ${\displaystyle |0\rangle ,|1\rangle ,\dots ,|d-1\rangle }$

История

Текущая нотация для квантовых вентилей была разработана многими основателями квантовой информатики, включая Адриано Баренко, Чарльза Беннетта , Ричарда Клива , Дэвида П. ДиВинченцо , Нормана Марголуса , Питера Шора , Тихо Слейтора, Джона А. Смолина и Харальда Вайнфуртера ^[2], основываясь на нотации, введенной Ричардом Фейнманом в 1986 году . ^[3]

Представление

Состояния отдельного кубита , которые не запутаны и не имеют глобальной фазы , можно представить в виде точек на поверхности сферы Блоха , записанных как Вращения вокруг осей x, y, z сферы Блоха представлены вентилями оператора вращения . ${\displaystyle |\psi \rangle =\cos \left(\theta /2\right)|0\rangle +e^{i\varphi }\sin \left(\theta /2\right)|1\rangle .}$

Квантовые логические вентили представлены унитарными матрицами . Вентиль, действующий на кубиты , представлен унитарной матрицей, а множество всех таких вентилей с групповой операцией умножения матриц ^[a] является унитарной группой U(2 ⁿ ). ^[2] Квантовые состояния , на которые действуют вентили, являются единичными векторами в комплексных измерениях с комплексной евклидовой нормой ( 2-нормой ). ^{[4] : 66  [5] : 56, 65} Базисные векторы (иногда называемые собственными состояниями ) являются возможными результатами, если состояние кубитов измеряется , а квантовое состояние является линейной комбинацией этих результатов. Наиболее распространенные квантовые вентили работают на векторных пространствах одного или двух кубитов, так же как обычные классические логические вентили работают на одном или двух битах . ${\displaystyle n}$ ${\displaystyle 2^{n}\times 2^{n}}$ ${\displaystyle 2^{n}}$

Несмотря на то, что квантовые логические вентили принадлежат к непрерывным группам симметрии , реальное оборудование неточно и, таким образом, ограничено в точности. Применение вентилей обычно приводит к ошибкам, а точность квантовых состояний со временем снижается. Если используется коррекция ошибок , то используемые вентили еще больше ограничиваются конечным набором. ^{[4] : гл. 10  [1] : гл. 14} Далее в этой статье это игнорируется, поскольку основное внимание уделяется свойствам идеальных квантовых вентилей.

Квантовые состояния обычно обозначаются как «кеты» (от нотации, известной как бра–кет) .

Векторным представлением одного кубита является

${\displaystyle |a\rangle =v_{0}|0\rangle +v_{1}|1\rangle \rightarrow {\begin{bmatrix}v_{0}\\v_{1}\end{bmatrix}}.}$

Здесь и — комплексные амплитуды вероятности кубита. Эти значения определяют вероятность измерения 0 или 1 при измерении состояния кубита. Подробности см. в измерении ниже. ${\displaystyle v_{0}}$ ${\displaystyle v_{1}}$

Значение ноль представлено символом кет , а значение единица представлено символом кет . ${\displaystyle |0\rangle ={\begin{bmatrix}1\\0\end{bmatrix}}}$ ${\displaystyle |1\rangle ={\begin{bmatrix}0\\1\end{bmatrix}}}$

Тензорное произведение (или произведение Кронекера ) используется для объединения квантовых состояний. Объединенное состояние для кубитного регистра — это тензорное произведение составляющих кубитов. Тензорное произведение обозначается символом . ${\displaystyle \otimes }$

Векторным представлением двух кубитов является: ^[6]

${\displaystyle |\psi \rangle =v_{00}|00\rangle +v_{01}|01\rangle +v_{10}|10\rangle +v_{11}|11\rangle \rightarrow {\begin{bmatrix}v_{00}\\v_{01}\\v_{10}\\v_{11}\end{bmatrix}}.}$

Действие гейта на определенное квантовое состояние находится путем умножения вектора , представляющего состояние, на матрицу, представляющую гейт. Результатом является новое квантовое состояние : ${\displaystyle |\psi _{1}\rangle }$ ${\displaystyle U}$ ${\displaystyle |\psi _{2}\rangle }$

${\displaystyle U|\psi _{1}\rangle =|\psi _{2}\rangle .}$

Известные примеры

Существует несчетное бесконечное количество ворот. Некоторые из них были названы разными авторами, ^{[2] [1] [4] [5] [7] [8] [9]} и ниже следуют некоторые из наиболее часто используемых в литературе.

Вход в систему идентификации

Идентификационный вентиль — это матрица идентичности , обычно записываемая как I , и определяемая для одного кубита как

${\displaystyle I={\begin{bmatrix}1&0\\0&1\end{bmatrix}},}$

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

Паули Гейтс (Х,И,З)

Квантовые вентили (сверху вниз): вентили идентичности, вентили НЕ, Паули Y, Паули Z

Вентили Паули — это три матрицы Паули , действующие на один кубит. X , Y и Z Паули соответствуют вращению вокруг осей x , y и z сферы Блоха на радианы. ^[b] ${\displaystyle (X,Y,Z)}$ ${\displaystyle (\sigma _{x},\sigma _{y},\sigma _{z})}$ ${\displaystyle \pi }$

Вентиль Pauli- X является квантовым эквивалентом вентиля NOT для классических компьютеров относительно стандартного базиса , , который различает ось z на сфере Блоха . Иногда его называют бит-флипом, поскольку он отображается в и в . Аналогично, Pauli- Y отображается в и в . Pauli Z оставляет базисное состояние неизменным и отображается в . Из-за этой природы Pauli Z иногда называют фазовым флипом. ${\displaystyle |0\rangle }$ ${\displaystyle |1\rangle }$ ${\displaystyle |0\rangle }$ ${\displaystyle |1\rangle }$ ${\displaystyle |1\rangle }$ ${\displaystyle |0\rangle }$ ${\displaystyle |0\rangle }$ ${\displaystyle i|1\rangle }$ ${\displaystyle |1\rangle }$ ${\displaystyle -i|0\rangle }$ ${\displaystyle |0\rangle }$ ${\displaystyle |1\rangle }$ ${\displaystyle -|1\rangle }$

Эти матрицы обычно представляются как

${\displaystyle X=\sigma _{x}=\operatorname {NOT} ={\begin{bmatrix}0&1\\1&0\end{bmatrix}},}$

${\displaystyle Y=\sigma _{y}={\begin{bmatrix}0&-i\\i&0\end{bmatrix}},}$

${\displaystyle Z=\sigma _{z}={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}.}$

Матрицы Паули являются инволютивными , то есть квадрат матрицы Паули является единичной матрицей .

${\displaystyle I^{2}=X^{2}=Y^{2}=Z^{2}=-iXYZ=I}$

Матрицы Паули также антикоммутативны , например ${\displaystyle ZX=iY=-XZ.}$

Матричная экспонента матрицы Паули представляет собой оператор вращения , часто записываемый как ${\displaystyle \sigma _{j}}$ ${\displaystyle e^{-i\sigma _{j}\theta /2}.}$

Управляемые ворота

Схемотехническое представление управляемого U- затвора

Управляемые вентили действуют на 2 или более кубитов, где один или более кубитов действуют как элемент управления для некоторой операции. ^[2] Например, управляемый вентиль НЕ (или CNOT или CX) действует на 2 кубита и выполняет операцию НЕ на втором кубите только тогда, когда первый кубит равен , а в противном случае оставляет его неизменным. Что касается базиса , , , , он представлен эрмитовой унитарной матрицей: ${\displaystyle |1\rangle }$ ${\displaystyle |00\rangle }$ ${\displaystyle |01\rangle }$ ${\displaystyle |10\rangle }$ ${\displaystyle |11\rangle }$

${\displaystyle {\mbox{CNOT}}={\begin{bmatrix}1&0&0&0\\0&1&0&0\\0&0&0&1\\0&0&1&0\end{bmatrix}}.}$

Вентиль CNOT (или управляемый Pauli- X ) можно описать как вентиль, который отображает базисные состояния , где XOR . ${\displaystyle |a,b\rangle \mapsto |a,a\oplus b\rangle }$ ${\displaystyle \oplus }$

CNOT можно выразить в базисе Паули следующим образом:

${\displaystyle {\mbox{CNOT}}=e^{i{\frac {\pi }{4}}(I-Z_{1})(I-X_{2})}=e^{-i{\frac {\pi }{4}}(I-Z_{1})(I-X_{2})}.}$

Будучи эрмитовым унитарным оператором, CNOT обладает тем свойством , что и , и является инволютивным . ${\displaystyle e^{i\theta U}=(\cos \theta )I+(i\sin \theta )U}$ ${\displaystyle U=e^{i{\frac {\pi }{2}}(I-U)}=e^{-i{\frac {\pi }{2}}(I-U)}}$

В более общем случае, если U — вентиль, работающий на одном кубите с матричным представлением

${\displaystyle U={\begin{bmatrix}u_{00}&u_{01}\\u_{10}&u_{11}\end{bmatrix}},}$

тогда управляемый U-вентиль — это вентиль, который работает с двумя кубитами таким образом, что первый кубит служит в качестве контроля. Он отображает базисные состояния следующим образом.

Схемы управляемых вентилей Паули (слева направо): CNOT (или управляемый-X), управляемый-Y и управляемый-Z.

${\displaystyle |00\rangle \mapsto |00\rangle }$

${\displaystyle |01\rangle \mapsto |01\rangle }$

${\displaystyle |10\rangle \mapsto |1\rangle \otimes U|0\rangle =|1\rangle \otimes (u_{00}|0\rangle +u_{10}|1\rangle )}$

${\displaystyle |11\rangle \mapsto |1\rangle \otimes U|1\rangle =|1\rangle \otimes (u_{01}|0\rangle +u_{11}|1\rangle )}$

Матрица, представляющая контролируемое U, имеет вид

${\displaystyle {\mbox{C}}U={\begin{bmatrix}1&0&0&0\\0&1&0&0\\0&0&u_{00}&u_{01}\\0&0&u_{10}&u_{11}\end{bmatrix}}.}$

Когда U является одним из операторов Паули, X , Y , Z , иногда используются соответствующие термины «управляемый -X », «управляемый- Y » или «управляемый- Z ». ^{[4] : 177–185} Иногда это сокращается просто до C X , C Y и C Z .

В общем случае любой унитарный вентиль с одним кубитом можно выразить как , где H — эрмитова матрица , а затем контролируемое U равно ${\displaystyle U=e^{iH}}$ ${\displaystyle CU=e^{i{\frac {1}{2}}(I-Z_{1})H_{2}}.}$

Управление может быть расширено до вентилей с произвольным числом кубитов ^[2] и функций в языках программирования. ^[10] Функции могут быть обусловлены состояниями суперпозиции. ^{[11] [12]}

Классический контроль

Пример: кубит измеряется, и результатом этого измерения является логическое значение, которое потребляется классическим компьютером. Если измеряется до 1, то классический компьютер сообщает квантовому компьютеру применить вентиль U к . На схемах цепей одинарные линии — это кубиты , а двойные линии — это биты . ${\displaystyle \phi }$ ${\displaystyle \phi }$ ${\displaystyle \psi }$

Вентили также могут контролироваться классической логикой. Квантовый компьютер контролируется классическим компьютером и ведет себя как сопроцессор , который получает инструкции от классического компьютера о том, какие вентили выполнять на каких кубитах. ^{[13] : 42–43  [14]} Классический контроль — это просто включение или исключение вентилей в последовательность инструкций для квантового компьютера. ^{[4] : 26–28  [1] : 87–88}

Фазовые вентили

Фазовый сдвиг представляет собой семейство однокубитовых вентилей, которые отображают базисные состояния и . Вероятность измерения или не изменяется после применения этого вентиля, однако он изменяет фазу квантового состояния. Это эквивалентно обводке горизонтальной окружности (линии постоянной широты) или вращению вокруг оси z на сфере Блоха на радианы. Фазовый сдвиг представлен матрицей: ${\displaystyle |0\rangle \mapsto |0\rangle }$ ${\displaystyle |1\rangle \mapsto e^{i\varphi }|1\rangle }$ ${\displaystyle |0\rangle }$ ${\displaystyle |1\rangle }$ ${\displaystyle \varphi }$

${\displaystyle P(\varphi )={\begin{bmatrix}1&0\\0&e^{i\varphi }\end{bmatrix}}}$

где — фазовый сдвиг с периодом 2π . Некоторые общие примеры — это вентиль T , где (исторически известный как вентиль), фазовый вентиль (также известный как вентиль S, пишется как S , хотя S иногда используется для вентилей SWAP), где и вентиль Pauli-Z, где ${\displaystyle \varphi }$ ${\textstyle \varphi ={\frac {\pi }{4}}}$ ${\displaystyle \pi /8}$ ${\textstyle \varphi ={\frac {\pi }{2}}}$ ${\displaystyle \varphi =\pi .}$

Фазовые затворы связаны друг с другом следующим образом:

${\displaystyle Z={\begin{bmatrix}1&0\\0&e^{i\pi }\end{bmatrix}}={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}=P\left(\pi \right)}$

${\displaystyle S={\begin{bmatrix}1&0\\0&e^{i{\frac {\pi }{2}}}\end{bmatrix}}={\begin{bmatrix}1&0\\0&i\end{bmatrix}}=P\left({\frac {\pi }{2}}\right)={\sqrt {Z}}}$

${\displaystyle T={\begin{bmatrix}1&0\\0&e^{i{\frac {\pi }{4}}}\end{bmatrix}}=P\left({\frac {\pi }{4}}\right)={\sqrt {S}}={\sqrt[{4}]{Z}}}$

Обратите внимание, что фазовый вентиль не является эрмитовым (за исключением всех ). Эти вентили отличаются от их эрмитовых сопряженных: . Два сопряженных (или сопряженных транспонированных ) вентиля и иногда включаются в наборы инструкций. ^{[15] [16]} ${\displaystyle P(\varphi )}$ ${\displaystyle \varphi =n\pi ,n\in \mathbb {Z} }$ ${\displaystyle P^{\dagger }(\varphi )=P(-\varphi )}$ ${\displaystyle S^{\dagger }}$ ${\displaystyle T^{\dagger }}$

ворота Адамара

Вентиль Адамара или Уолша-Адамара, названный в честь Жака Адамара ( фр. [adamaʁ] ) и Джозефа Л. Уолша , действует на один кубит. Он отображает базисные состояния и (он создает равное состояние суперпозиции, если задано вычислительное базисное состояние). Два состояния и иногда записываются и соответственно. Вентиль Адамара выполняет вращение вокруг оси на сфере Блоха и, следовательно, является инволютивным . Он представлен матрицей Адамара : ${\textstyle |0\rangle \mapsto {\frac {|0\rangle +|1\rangle }{\sqrt {2}}}}$ ${\textstyle |1\rangle \mapsto {\frac {|0\rangle -|1\rangle }{\sqrt {2}}}}$ ${\displaystyle (|0\rangle +|1\rangle )/{\sqrt {2}}}$ ${\displaystyle (|0\rangle -|1\rangle )/{\sqrt {2}}}$ ${\displaystyle |+\rangle }$ ${\displaystyle |-\rangle }$ ${\displaystyle \pi }$ ${\displaystyle ({\hat {x}}+{\hat {z}})/{\sqrt {2}}}$

Схематическое представление вентиля Адамара

${\displaystyle H={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&1\\1&-1\end{bmatrix}}.}$

Если эрмитов (так ) вентиль Адамара используется для выполнения смены базиса , он переворачивает и . Например, и ${\displaystyle H^{\dagger }=H^{-1}=H}$ ${\displaystyle {\hat {x}}}$ ${\displaystyle {\hat {z}}}$ ${\displaystyle HZH=X}$ ${\displaystyle H{\sqrt {X}}\;H={\sqrt {Z}}=S.}$

Своп-ворота

Схематическое представление вентиля SWAP

Обменный вентиль меняет местами два кубита. Относительно базиса , , , , он представлен матрицей ${\displaystyle |00\rangle }$ ${\displaystyle |01\rangle }$ ${\displaystyle |10\rangle }$ ${\displaystyle |11\rangle }$

${\displaystyle {\mbox{SWAP}}={\begin{bmatrix}1&0&0&0\\0&0&1&0\\0&1&0&0\\0&0&0&1\end{bmatrix}}.}$

Вентиль обмена можно разложить в виде суммы:

${\displaystyle {\mbox{SWAP}}={\frac {I\otimes I+X\otimes X+Y\otimes Y+Z\otimes Z}{2}}}$

ворота Тоффоли (CCNOT)

Схематическое изображение ворот Тоффоли

Вентиль Тоффоли, названный в честь Томмазо Тоффоли и также называемый вентилем CCNOT или вентилем Deutsch , представляет собой 3-битный вентиль, который универсален для классических вычислений, но не для квантовых вычислений. Квантовый вентиль Тоффоли — это тот же вентиль, определенный для 3 кубитов. Если мы ограничимся только приемом входных кубитов, которые являются и , то если первые два бита находятся в состоянии, он применяет Pauli- X (или NOT) к третьему биту, в противном случае он ничего не делает. Это пример вентиля CC-U (управляемо-управляемый унитарный). Поскольку он является квантовым аналогом классического вентиля, он полностью определяется своей таблицей истинности. Вентиль Тоффоли универсален в сочетании с вентилем Адамара с одним кубитом. ^[17] ${\displaystyle D(\pi /2)}$ ${\displaystyle |0\rangle }$ ${\displaystyle |1\rangle }$ ${\displaystyle |1\rangle }$

Вентиль Тоффоли связан с классическими операциями И ( ) и XOR ( ), поскольку он выполняет отображение состояний в вычислительной базе. ${\displaystyle \land }$ ${\displaystyle \oplus }$ ${\displaystyle |a,b,c\rangle \mapsto |a,b,c\oplus (a\land b)\rangle }$

Вентиль Тоффоли можно выразить с помощью матриц Паули следующим образом:

${\displaystyle {\mbox{Toff}}=e^{i{\frac {\pi }{8}}(I-Z_{1})(I-Z_{2})(I-X_{3})}=e^{-i{\frac {\pi }{8}}(I-Z_{1})(I-Z_{2})(I-X_{3})}.}$

Универсальные квантовые вентили

Оба CNOT и являются универсальными двухкубитными вентилями и могут быть преобразованы друг в друга. ${\displaystyle {\sqrt {\mbox{SWAP}}}}$

Набор универсальных квантовых вентилей — это любой набор вентилей, к которому может быть сведена любая операция, возможная на квантовом компьютере, то есть любая другая унитарная операция может быть выражена как конечная последовательность вентилей из набора. Технически это невозможно с чем-либо меньшим, чем несчетный набор вентилей, поскольку число возможных квантовых вентилей несчетно, тогда как число конечных последовательностей из конечного набора счетно . Чтобы решить эту проблему, нам требуется только, чтобы любая квантовая операция могла быть аппроксимирована последовательностью вентилей из этого конечного набора. Более того, для унитарных вентилей на постоянном числе кубитов теорема Соловея–Китаева гарантирует, что это можно сделать эффективно. Проверка того, является ли набор квантовых вентилей универсальным, может быть выполнена с использованием методов теории групп ^[18] и/или связи с (приближенными) унитарными t-дизайнами ^[19]

Некоторые универсальные наборы квантовых вентилей включают в себя:

• Операторы вращения R _x ( θ ) , R _y ( θ ) , R _z ( θ ) , фазовый вентиль сдвига P ( φ ) ^[c] и CNOT обычно используются для формирования универсального набора квантовых вентилей. ^{[20] [d]}
• Набор Клиффорда {CNOT, H , S } + вентиль T. Набор Клиффорда сам по себе не является универсальным набором квантовых вентилей, поскольку его можно эффективно моделировать классически в соответствии с теоремой Готтесмана–Книлла .
• Вентиль Тоффоли + вентиль Адамара. ^[17] Вентиль Тоффоли сам по себе образует набор универсальных вентилей для обратимых булевых алгебраических логических схем, которые охватывают все классические вычисления.

Дойч гейт

Однозатворный набор универсальных квантовых затворов также может быть сформулирован с использованием параметризованного трехкубитного затвора Дойча , ^[21] названного в честь физика Дэвида Дойча . Это общий случай CC-U , или контролируемо-контролируемо-унитарного затвора, и определяется как ${\displaystyle D(\theta )}$

${\displaystyle |a,b,c\rangle \mapsto {\begin{cases}i\cos(\theta )|a,b,c\rangle +\sin(\theta )|a,b,1-c\rangle &{\text{for}}\ a=b=1,\\|a,b,c\rangle &{\text{otherwise}}.\end{cases}}}$

К сожалению, рабочий Deutsch gate остался вне досягаемости из-за отсутствия протокола. Есть некоторые предложения реализовать Deutsch gate с диполь-дипольным взаимодействием в нейтральных атомах. ^[22]

Универсальный логический вентиль для обратимых классических вычислений, вентиль Тоффоли, сводится к вентилю Дойча , тем самым показывая, что все обратимые классические логические операции могут быть выполнены на универсальном квантовом компьютере. ${\displaystyle D(\pi /2)}$

Существуют также одиночные двухкубитные вентили, достаточные для универсальности. В 1996 году Адриано Баренко показал, что вентиль Дойча можно разложить, используя только один двухкубитный вентиль ( вентиль Баренко ), но это трудно реализовать экспериментально. ^{[1] : 93} Эта особенность свойственна только квантовым схемам, поскольку не существует классических двухкубитных вентилей, которые были бы одновременно обратимыми и универсальными. ^{[1] : 93} Универсальные двухкубитные вентили могут быть реализованы для улучшения классических обратимых схем в быстрых маломощных микропроцессорах. ^{[1] : 93}

Состав схемы

Последовательно подключенные затворы

Два последовательных вентиля Y и X. Порядок, в котором они появляются на проводе, меняется на обратный при их умножении.

Предположим, что у нас есть два вентиля A и B , которые оба действуют на кубиты. Когда B помещается после A в последовательной цепи, то эффект двух вентилей можно описать как один вентиль C. ${\displaystyle n}$

${\displaystyle C=B\cdot A}$

где — умножение матриц . Результирующий вентиль C будет иметь те же размеры, что и A и B. Порядок, в котором вентили будут появляться на схеме, меняется на обратный при их умножении. ^{[4] : 17–18,22–23,62–64  [5] : 147–169} ${\displaystyle \cdot }$

Например, если поместить вентиль Паули X после вентиля Паули Y , оба из которых действуют на один кубит, то можно получить единый комбинированный вентиль C :

${\displaystyle C=X\cdot Y={\begin{bmatrix}0&1\\1&0\end{bmatrix}}\cdot {\begin{bmatrix}0&-i\\i&0\end{bmatrix}}={\begin{bmatrix}i&0\\0&-i\end{bmatrix}}=iZ}$

Символ продукта ( ) часто опускается. ${\displaystyle \cdot }$

Экспоненты квантовых вентилей

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

Положительные целые показатели эквивалентны последовательностям последовательно соединенных вентилей (например, ), а действительные показатели являются обобщением последовательной цепи. Например, и являются действительными квантовыми вентилями. ${\displaystyle X^{3}=X\cdot X\cdot X}$ ${\displaystyle X^{\pi }}$ ${\displaystyle {\sqrt {X}}=X^{1/2}}$

${\displaystyle U^{0}=I}$для любой унитарной матрицы . Единичная матрица ( ) ведет себя как NOP ^{[23] [24]} и может быть представлена ​​как голый провод в квантовых схемах или не показана вообще. ${\displaystyle U}$ ${\displaystyle I}$

Все вентили являются унитарными матрицами, так что и , где — сопряженное транспонирование . Это означает, что отрицательные показатели степеней вентилей являются унитарными обратными их положительно возведенным в степень аналогам: . Например, некоторые отрицательные показатели фазовых вентилей являются и . ${\displaystyle U^{\dagger }U=UU^{\dagger }=I}$ ${\displaystyle U^{\dagger }=U^{-1}}$ ${\displaystyle \dagger }$ ${\displaystyle U^{-n}=(U^{n})^{\dagger }}$ ${\displaystyle T^{-1}=T^{\dagger }}$ ${\displaystyle T^{-2}=(T^{2})^{\dagger }=S^{\dagger }}$

Обратите внимание, что для эрмитовой матрицы и из-за унитарности, то же самое и для всех эрмитовых вентилей. Они инволютивны . Примерами эрмитовых вентилей являются вентили Паули, Адамара, CNOT, SWAP и Тоффоли. Каждая эрмитова унитарная матрица обладает свойством , что где ${\displaystyle H^{\dagger }=H,}$ ${\displaystyle HH^{\dagger }=I,}$ ${\displaystyle H^{2}=I}$ ${\displaystyle H}$ ${\displaystyle e^{i\theta H}=(\cos \theta )I+(i\sin \theta )H}$ ${\displaystyle H=e^{i{\frac {\pi }{2}}(I-H)}=e^{-i{\frac {\pi }{2}}(I-H)}.}$

Параллельные ворота

Два вентиля и параллельное соединение эквивалентны вентилю . ${\displaystyle Y}$ ${\displaystyle X}$ ${\displaystyle Y\otimes X}$

Тензорное произведение (или произведение Кронекера ) двух квантовых вентилей — это вентиль, который равен двум вентилям, включенным параллельно. ^{[4] : 71–75  [5] : 148}

Если мы, как на рисунке, объединим параллельно вентиль Pauli- Y с вентильом Pauli- X , то это можно записать так:

${\displaystyle C=Y\otimes X={\begin{bmatrix}0&-i\\i&0\end{bmatrix}}\otimes {\begin{bmatrix}0&1\\1&0\end{bmatrix}}={\begin{bmatrix}0{\begin{bmatrix}0&1\\1&0\end{bmatrix}}&-i{\begin{bmatrix}0&1\\1&0\end{bmatrix}}\\i{\begin{bmatrix}0&1\\1&0\end{bmatrix}}&0{\begin{bmatrix}0&1\\1&0\end{bmatrix}}\end{bmatrix}}={\begin{bmatrix}0&0&0&-i\\0&0&-i&0\\0&i&0&0\\i&0&0&0\end{bmatrix}}}$

Оба вентиля Pauli- X и Pauli- Y действуют на один кубит. Результирующий вентиль действует на два кубита. ${\displaystyle C}$

Иногда символ тензорного произведения опускается, и вместо него для операторов используются индексы. ^[25]

преобразование Адамара

Вентиль — это вентиль Адамара ( ), применяемый параллельно к 2 кубитам. Его можно записать как: ${\displaystyle H_{2}=H\otimes H}$ ${\displaystyle H}$

${\displaystyle H_{2}=H\otimes H={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&1\\1&-1\end{bmatrix}}\otimes {\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&1\\1&-1\end{bmatrix}}={\frac {1}{2}}{\begin{bmatrix}1&1&1&1\\1&-1&1&-1\\1&1&-1&-1\\1&-1&-1&1\end{bmatrix}}}$

Этот «двухкубитный параллельный вентиль Адамара» при применении, например, к двухкубитному нулевому вектору ( ), ${\displaystyle |00\rangle }$ создаст квантовое состояние, которое имеет равную вероятность наблюдения в любом из четырех возможных результатов; , , , и . Мы можем записать эту операцию как: ${\displaystyle |00\rangle }$ ${\displaystyle |01\rangle }$ ${\displaystyle |10\rangle }$ ${\displaystyle |11\rangle }$

${\displaystyle H_{2}|00\rangle ={\frac {1}{2}}{\begin{bmatrix}1&1&1&1\\1&-1&1&-1\\1&1&-1&-1\\1&-1&-1&1\end{bmatrix}}{\begin{bmatrix}1\\0\\0\\0\end{bmatrix}}={\frac {1}{2}}{\begin{bmatrix}1\\1\\1\\1\end{bmatrix}}={\frac {1}{2}}|00\rangle +{\frac {1}{2}}|01\rangle +{\frac {1}{2}}|10\rangle +{\frac {1}{2}}|11\rangle ={\frac {|00\rangle +|01\rangle +|10\rangle +|11\rangle }{2}}}$

Пример: преобразование Адамара на 3- кубитном регистре . ${\displaystyle |\psi \rangle }$

Здесь амплитуда для каждого измеряемого состояния равна 1 ⁄ 2 . Вероятность наблюдения любого состояния равна квадрату абсолютного значения амплитуды измеряемых состояний, что в приведенном выше примере означает, что существует один из четырех случаев, когда мы наблюдаем любой из четырех отдельных случаев. Подробности см. в разделе измерение.

${\displaystyle H_{2}}$выполняет преобразование Адамара на двух кубитах. Аналогично вентиль выполняет преобразование Адамара на регистре кубитов . ${\displaystyle \underbrace {H\otimes H\otimes \dots \otimes H} _{n{\text{ times}}}=\bigotimes _{1}^{n}H=H^{\otimes n}=H_{n}}$ ${\displaystyle n}$

При применении к регистру кубитов, все из которых инициализированы значением , преобразование Адамара помещает квантовый регистр в суперпозицию с равной вероятностью измерения в любом из его возможных состояний: ${\displaystyle n}$ ${\displaystyle |0\rangle }$ ${\displaystyle 2^{n}}$

${\displaystyle \bigotimes _{0}^{n-1}(H|0\rangle )={\frac {1}{\sqrt {2^{n}}}}{\begin{bmatrix}1\\1\\\vdots \\1\end{bmatrix}}={\frac {1}{\sqrt {2^{n}}}}{\Big (}|0\rangle +|1\rangle +\dots +|2^{n}-1\rangle {\Big )}={\frac {1}{\sqrt {2^{n}}}}\sum _{i=0}^{2^{n}-1}|i\rangle }$

Это состояние представляет собой однородную суперпозицию и генерируется как первый шаг в некоторых алгоритмах поиска, например, при усилении амплитуды и оценке фазы .

Измерение этого состояния приводит к случайному числу между и . ^[e] Насколько случайным является число, зависит от точности логических вентилей. Если не измерять, это квантовое состояние с равной амплитудой вероятности для каждого из его возможных состояний. ${\displaystyle |0\rangle }$ ${\displaystyle |2^{n}-1\rangle }$ ${\displaystyle {\frac {1}{\sqrt {2^{n}}}}}$

Преобразование Адамара действует на регистр с кубитами следующим образом : ${\displaystyle |\psi \rangle }$ ${\displaystyle n}$ ${\textstyle |\psi \rangle =\bigotimes _{i=0}^{n-1}|\psi _{i}\rangle }$

${\displaystyle \bigotimes _{0}^{n-1}H|\psi \rangle =\bigotimes _{i=0}^{n-1}{\frac {|0\rangle +(-1)^{\psi _{i}}|1\rangle }{\sqrt {2}}}={\frac {1}{\sqrt {2^{n}}}}\bigotimes _{i=0}^{n-1}{\Big (}|0\rangle +(-1)^{\psi _{i}}|1\rangle {\Big )}=H|\psi _{0}\rangle \otimes H|\psi _{1}\rangle \otimes \cdots \otimes H|\psi _{n-1}\rangle }$

Применение к запутанным состояниям

Если два или более кубита рассматриваются как единое квантовое состояние, это объединенное состояние равно тензорному произведению составляющих кубитов. Любое состояние, которое может быть записано как тензорное произведение из составляющих подсистем, называется разделимым состоянием . С другой стороны, запутанное состояние — это любое состояние, которое не может быть разложено на тензоры, или, другими словами: запутанное состояние не может быть записано как тензорное произведение состояний его составляющих кубитов. Особую осторожность следует проявлять при применении вентилей к составляющим кубитам, которые составляют запутанные состояния.

Если у нас есть набор из N кубитов, которые запутаны, и мы хотим применить квантовый вентиль к M < N кубитам в наборе, нам придется расширить вентиль, чтобы взять N кубитов. Это применение можно осуществить, объединив вентиль с единичной матрицей так, чтобы их тензорное произведение стало вентиль, который действует на N кубитов. Идентичная матрица ( ) ${\displaystyle I}$ является представлением вентиля, который отображает каждое состояние в себя (т.е. вообще ничего не делает). На схеме цепи единичный вентиль или матрица часто будут выглядеть как просто голый провод.

Пример, приведенный в тексте. Вентиль Адамара действует только на 1 кубит, но является запутанным квантовым состоянием, охватывающим 2 кубита. В нашем примере . ${\displaystyle H}$ ${\displaystyle |\psi \rangle }$ ${\displaystyle |\psi \rangle ={\frac {|00\rangle +|11\rangle }{\sqrt {2}}}}$

Например, вентиль Адамара ( ) ${\displaystyle H}$ действует на один кубит, но если мы подадим ему первый из двух кубитов, составляющих запутанное состояние Белла , мы не сможем легко записать эту операцию. Нам нужно расширить вентиль Адамара с помощью вентиля тождества , чтобы мы могли действовать на квантовые состояния, которые охватывают два кубита: ${\displaystyle {\frac {|00\rangle +|11\rangle }{\sqrt {2}}}}$ ${\displaystyle H}$ ${\displaystyle I}$

${\displaystyle K=H\otimes I={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&1\\1&-1\end{bmatrix}}\otimes {\begin{bmatrix}1&0\\0&1\end{bmatrix}}={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&0&1&0\\0&1&0&1\\1&0&-1&0\\0&1&0&-1\end{bmatrix}}}$

Теперь вентиль можно применить к любому двухкубитному состоянию, запутанному или нет. Вентиль оставит второй кубит нетронутым и применит преобразование Адамара к первому кубиту. Если применить его к состоянию Белла в нашем примере, мы можем записать это как: ${\displaystyle K}$ ${\displaystyle K}$

${\displaystyle K{\frac {|00\rangle +|11\rangle }{\sqrt {2}}}={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&0&1&0\\0&1&0&1\\1&0&-1&0\\0&1&0&-1\end{bmatrix}}{\frac {1}{\sqrt {2}}}{\begin{bmatrix}1\\0\\0\\1\end{bmatrix}}={\frac {1}{2}}{\begin{bmatrix}1\\1\\1\\-1\end{bmatrix}}={\frac {|00\rangle +|01\rangle +|10\rangle -|11\rangle }{2}}}$

Вычислительная сложность и тензорное произведение

Временная сложность умножения двух -матриц составляет по крайней мере , ^[26] при использовании классической машины. Поскольку размер вентиля, который работает с кубитами, составляет это означает, что время моделирования шага в квантовой схеме (посредством умножения вентилей), которая работает с общими запутанными состояниями, составляет . По этой причине считается, что моделировать большие запутанные квантовые системы с использованием классических компьютеров не поддается обработке . Подмножества вентилей, такие как вентили Клиффорда или тривиальный случай схем, которые реализуют только классические булевы функции (например, комбинации X, CNOT, Toffoli), могут, однако, эффективно моделироваться на классических компьютерах. ${\displaystyle n\times n}$ ${\displaystyle \Omega (n^{2}\log n)}$ ${\displaystyle q}$ ${\displaystyle 2^{q}\times 2^{q}}$ ${\displaystyle \Omega ({2^{q}}^{2}\log({2^{q}}))}$

Вектор состояния квантового регистра с кубитами — это комплексные записи. Хранение амплитуд вероятности в виде списка значений с плавающей точкой не поддается обработке для больших . ${\displaystyle n}$ ${\displaystyle 2^{n}}$ ${\displaystyle n}$

Унитарная инверсия вентилей

Пример: Унитарная обратная функция произведения Адамара-CNOT. Три элемента , и являются своими собственными унитарными обратными. ${\displaystyle H}$ ${\displaystyle I}$ ${\displaystyle \mathrm {CNOT} }$

Поскольку все квантовые логические вентили обратимы , любая композиция из нескольких вентилей также обратима. Все произведения и тензорные произведения (т. е. последовательные и параллельные комбинации) унитарных матриц также являются унитарными матрицами. Это означает, что можно построить обратные всех алгоритмов и функций, пока они содержат только вентили.

Инициализация, измерение, ввод-вывод и спонтанная декогеренция являются побочными эффектами в квантовых компьютерах. Однако вентили являются чисто функциональными и биективными .

Если — унитарная матрица , то и . Крестик ( ) обозначает сопряженную транспонированную матрицу . Ее также называют эрмитово сопряженной матрицей . ${\displaystyle U}$ ${\displaystyle U^{\dagger }U=UU^{\dagger }=I}$ ${\displaystyle U^{\dagger }=U^{-1}}$ ${\displaystyle \dagger }$

Если функция является произведением вентилей, то можно построить унитарную обратную функцию : ${\displaystyle F}$ ${\displaystyle m}$ ${\displaystyle F=A_{1}\cdot A_{2}\cdot \dots \cdot A_{m}}$ ${\displaystyle F^{\dagger }}$

Потому что у нас есть, после многократного применения на себе ${\displaystyle (UV)^{\dagger }=V^{\dagger }U^{\dagger }}$

${\displaystyle F^{\dagger }=\left(\prod _{i=1}^{m}A_{i}\right)^{\dagger }=\prod _{i=m}^{1}A_{i}^{\dagger }=A_{m}^{\dagger }\cdot \dots \cdot A_{2}^{\dagger }\cdot A_{1}^{\dagger }}$

Аналогично, если функция состоит из двух вентилей и параллельно, то и . ${\displaystyle G}$ ${\displaystyle A}$ ${\displaystyle B}$ ${\displaystyle G=A\otimes B}$ ${\displaystyle G^{\dagger }=(A\otimes B)^{\dagger }=A^{\dagger }\otimes B^{\dagger }}$

Вентили, которые являются своими собственными унитарными обратными, называются эрмитовыми или самосопряженными операторами . Некоторые элементарные вентили, такие как вентили Адамара ( H ) и Паули ( I , X , Y , Z ), являются эрмитовыми операторами, в то время как другие, такие как вентили сдвига фазы ( S , T , P , CPhase ), обычно таковыми не являются.

Например, алгоритм сложения может быть использован для вычитания, если он «запускается в обратном порядке», как его унитарная обратная функция. Обратное квантовое преобразование Фурье является унитарным обратным. Унитарные обратные функции также могут быть использованы для невычисления . Языки программирования для квантовых компьютеров, такие как Q# от Microsoft , ^[10] QCL от Бернхарда Омера , ^{[13] : 61} и Qiskit от IBM , ^[27] содержат инверсию функции как программные концепции.

Измерение

Схемотехническое представление измерения. Две линии справа представляют классический бит, а одна линия слева представляет кубит.

Измерение (иногда называемое наблюдением ) необратимо и, следовательно, не является квантовым вентилем, поскольку оно присваивает наблюдаемому квантовому состоянию одно значение. Измерение берет квантовое состояние и проецирует его на один из базисных векторов с вероятностью, равной квадрату длины вектора (в 2-норме ^{[4] : 66  [5] : 56, 65} ) вдоль этого базисного вектора. ^{[1] : 15–17  [28] [29] [30]} Это известно как правило Борна и выглядит ^[e] как стохастическая необратимая операция, поскольку она вероятностно устанавливает квантовое состояние равным базисному вектору, который представляет измеренное состояние. В момент измерения состояние, как говорят, « коллапсирует » к определенному одному значению, которое было измерено. Почему и как, или даже если ^{[31] [32]} квантовое состояние коллапсирует при измерении, называется проблемой измерения .

Вероятность измерения значения с амплитудой вероятности равна , где — модуль . ${\displaystyle \phi }$ ${\displaystyle 1\geq |\phi |^{2}\geq 0}$ ${\displaystyle |\cdot |}$

Измерение одного кубита, квантовое состояние которого представлено вектором , приведет к результату с вероятностью , а также с вероятностью . ${\displaystyle a|0\rangle +b|1\rangle ={\begin{bmatrix}a\\b\end{bmatrix}}}$ ${\displaystyle |0\rangle }$ ${\displaystyle |a|^{2}}$ ${\displaystyle |1\rangle }$ ${\displaystyle |b|^{2}}$

Например, измерение кубита с квантовым состоянием даст с равной вероятностью либо , либо . ${\displaystyle {\frac {|0\rangle -i|1\rangle }{\sqrt {2}}}={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1\\-i\end{bmatrix}}}$ ${\displaystyle |0\rangle }$ ${\displaystyle |1\rangle }$

Для одного кубита у нас есть единичная сфера в с квантовым состоянием таким, что . Состояние можно переписать как , или и . Примечание: — вероятность измерения , а — вероятность измерения . ${\displaystyle \mathbb {C} ^{2}}$ ${\displaystyle a|0\rangle +b|1\rangle }$ ${\displaystyle |a|^{2}+|b|^{2}=1}$ ${\displaystyle |\cos \theta |^{2}+|\sin \theta |^{2}=1}$ ${\displaystyle |a|^{2}=\cos ^{2}\theta }$ ${\displaystyle |b|^{2}=\sin ^{2}\theta }$
${\displaystyle |a|^{2}}$ ${\displaystyle |0\rangle }$ ${\displaystyle |b|^{2}}$ ${\displaystyle |1\rangle }$

Квантовое состояние , охватывающее n кубитов, можно записать как вектор в комплексных измерениях: . Это происходит потому, что тензорное произведение n кубитов является вектором в измерениях. Таким образом, регистр из n кубитов может быть измерен до различных состояний, подобно тому, как регистр из n классических битов может содержать различные состояния. В отличие от битов классических компьютеров, квантовые состояния могут иметь ненулевые амплитуды вероятности в нескольких измеримых значениях одновременно. Это называется суперпозицией . ${\displaystyle |\Psi \rangle }$ ${\displaystyle 2^{n}}$ ${\displaystyle |\Psi \rangle \in \mathbb {C} ^{2^{n}}}$ ${\displaystyle 2^{n}}$ ${\displaystyle 2^{n}}$ ${\displaystyle 2^{n}}$

Сумма всех вероятностей для всех результатов всегда должна быть равна1 . ^[f] Другой способ сказать это заключается в том, что теорема Пифагора, обобщенная до , имеет то, что все квантовые состояния с n кубитами должны удовлетворять ^{[g] ,} где - амплитуда вероятности для измеримого состояния . Геометрическая интерпретация этого заключается в том, что возможное пространство значений квантового состояния с n кубитами - это поверхность единичной сферы в , а унитарные преобразования (т. е. квантовые логические вентили), примененные к нему, являются вращениями на сфере. Вращения, которые выполняют вентили, образуют группу симметрии U(2 n ) . Измерение тогда является вероятностной проекцией точек на поверхности этой сложной сферы на базисные векторы , которые охватывают пространство (и маркируют результаты). ${\displaystyle \mathbb {C} ^{2^{n}}}$ ${\displaystyle |\Psi \rangle }$ ${\textstyle 1=\sum _{x=0}^{2^{n}-1}|a_{x}|^{2},}$ ${\displaystyle a_{x}}$ ${\displaystyle |x\rangle }$ ${\displaystyle |\Psi \rangle }$ ${\displaystyle \mathbb {C} ^{2^{n}}}$

Во многих случаях пространство представляется как гильбертово пространство , а не как некое конкретное -мерное комплексное пространство. Число измерений (определяемое базисными векторами, и, следовательно, также возможными результатами измерения) затем часто подразумевается операндами, например, как требуемое пространство состояний для решения задачи . В алгоритме Гровера Гровер назвал этот общий набор базисных векторов «базой данных» . ${\displaystyle {\mathcal {H}}}$ ${\displaystyle 2^{n}}$

Выбор базисных векторов, по которым измеряется квантовое состояние, повлияет на результат измерения. ^{[1] : 30–35  [4] : 22, 84–85, 185–188  [33]} Подробности см . в разделе Изменение базиса и Энтропия фон Неймана . В этой статье мы всегда используем вычислительный базис , что означает, что мы пометили базисные векторы n -кубитного регистра , или используем двоичное представление . ${\displaystyle 2^{n}}$ ${\displaystyle |0\rangle ,|1\rangle ,|2\rangle ,\cdots ,|2^{n}-1\rangle }$ ${\displaystyle |0_{10}\rangle =|0\dots 00_{2}\rangle ,|1_{10}\rangle =|0\dots 01_{2}\rangle ,|2_{10}\rangle =|0\dots 10_{2}\rangle ,\cdots ,|2^{n}-1\rangle =|111\dots 1_{2}\rangle }$

В квантовой механике базисные векторы составляют ортонормированный базис .

Примером использования альтернативной основы измерения является шифр BB84 .

Влияние измерения на запутанные состояния

Вентиль Адамара-CNOT, который при подаче входных данных создает состояние Белла ${\displaystyle |00\rangle }$

Если два квантовых состояния (т. е. кубиты или регистры ) запутаны (это означает, что их объединенное состояние не может быть выражено как тензорное произведение ), измерение одного регистра влияет на состояние другого регистра или раскрывает его, частично или полностью разрушая его состояние. Этот эффект может быть использован для вычислений и используется во многих алгоритмах.

Комбинация Адамара-CNOT действует на нулевое состояние следующим образом:

${\displaystyle \operatorname {CNOT} (H\otimes I)|00\rangle =\left({\begin{bmatrix}1&0&0&0\\0&1&0&0\\0&0&0&1\\0&0&1&0\end{bmatrix}}\left({\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&1\\1&-1\end{bmatrix}}\otimes {\begin{bmatrix}1&0\\0&1\end{bmatrix}}\right)\right){\begin{bmatrix}1\\0\\0\\0\end{bmatrix}}={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1\\0\\0\\1\end{bmatrix}}={\frac {|00\rangle +|11\rangle }{\sqrt {2}}}}$

Состояние Белла в тексте — это где и . Следовательно, его можно описать плоскостью , натянутой на базисные векторы и , как на рисунке. Единичная сфера (в ) , представляющая возможное пространство значений 2-кубитной системы, пересекает плоскость и лежит на поверхности единичной сферы. Поскольку , существует равная вероятность измерения этого состояния до или , и поскольку существует нулевая вероятность измерения его до или . ${\displaystyle |\Psi \rangle =a|00\rangle +b|01\rangle +c|10\rangle +d|11\rangle }$ ${\displaystyle a=d={\frac {1}{\sqrt {2}}}}$ ${\displaystyle b=c=0}$ ${\displaystyle |00\rangle }$ ${\displaystyle |11\rangle }$ ${\displaystyle \mathbb {C} ^{4}}$ ${\displaystyle |\Psi \rangle }$ ${\displaystyle |a|^{2}=|d|^{2}=1/2}$ ${\displaystyle |00\rangle }$ ${\displaystyle |11\rangle }$ ${\displaystyle b=c=0}$ ${\displaystyle |01\rangle }$ ${\displaystyle |10\rangle }$

Это результирующее состояние — состояние Белла . Его нельзя описать как тензорное произведение двух кубитов. Решения для ${\displaystyle {\frac {|00\rangle +|11\rangle }{\sqrt {2}}}={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1\\0\\0\\1\end{bmatrix}}}$

${\displaystyle {\begin{bmatrix}x\\y\end{bmatrix}}\otimes {\begin{bmatrix}w\\z\end{bmatrix}}={\begin{bmatrix}xw\\xz\\yw\\yz\end{bmatrix}}={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1\\0\\0\\1\end{bmatrix}},}$

потому что, например, w должно быть как ненулевым, так и нулевым в случае xw и yw .

Квантовое состояние охватывает два кубита. Это называется запутанностью . Измерение одного из двух кубитов, составляющих это состояние Белла, приведет к тому, что другой кубит логически должен иметь то же значение, оба должны быть одинаковыми: Либо он будет обнаружен в состоянии , либо в состоянии . Если мы измерим один из кубитов, чтобы он был, например , , то другой кубит также должен быть , потому что их объединенное состояние стало . Измерение одного из кубитов коллапсирует все квантовое состояние, которое охватывает два кубита. ${\displaystyle |00\rangle }$ ${\displaystyle |11\rangle }$ ${\displaystyle |1\rangle }$ ${\displaystyle |1\rangle }$ ${\displaystyle |11\rangle }$

Состояние GHZ представляет собой аналогичное запутанное квантовое состояние, охватывающее три или более кубита.

Этот тип присвоения значений происходит мгновенно на любом расстоянии , и по состоянию на 2018 год это было экспериментально подтверждено QUESS для расстояний до 1200 километров. ^{[34] [35] [36]} То, что явления, по-видимому, происходят мгновенно, в отличие от времени, которое потребовалось бы для прохождения расстояния, разделяющего кубиты со скоростью света, называется парадоксом ЭПР , и в физике остается открытым вопрос о том, как разрешить это. Первоначально он был решен путем отказа от предположения локального реализма , но появились и другие интерпретации . Для получения дополнительной информации см. эксперименты по тестированию Белла . Теорема об отсутствии связи доказывает, что это явление не может быть использовано для передачи классической информации со скоростью, превышающей скорость света .

Измерение на регистрах с попарно запутанными кубитами

Эффект унитарного преобразования F на регистр A, находящийся в суперпозиции состояний и попарно запутанный с регистром B. Здесь n равно 3 (каждый регистр имеет 3 кубита). ${\displaystyle 2^{n}}$

Возьмем регистр A с n кубитами, инициализированными как , и пропустим его через параллельный вентиль Адамара . Затем регистр A перейдет в состояние , которое имеет равную вероятность при измерении оказаться в любом из его возможных состояний; в . Возьмем второй регистр B, также с n кубитами, инициализированными как , и попарно CNOT его кубитов с кубитами в регистре A, так что для каждого p кубиты и образуют состояние . ${\displaystyle |0\rangle }$ ${\textstyle H^{\otimes n}}$ ${\textstyle {\frac {1}{\sqrt {2^{n}}}}\sum _{k=0}^{2^{n}-1}|k\rangle }$ ${\displaystyle 2^{n}}$ ${\displaystyle |0\rangle }$ ${\displaystyle |2^{n}-1\rangle }$ ${\displaystyle |0\rangle }$ ${\displaystyle A_{p}}$ ${\displaystyle B_{p}}$ ${\displaystyle |A_{p}B_{p}\rangle ={\frac {|00\rangle +|11\rangle }{\sqrt {2}}}}$

Если теперь мы измерим кубиты в регистре A, то обнаружим, что регистр B содержит то же значение, что и A. Однако если вместо этого мы применим квантовый логический вентиль F к A , а затем измерим, то , где — унитарная инверсия F. ${\displaystyle |A\rangle =F|B\rangle \iff F^{\dagger }|A\rangle =|B\rangle }$ ${\displaystyle F^{\dagger }}$

Из-за того, как действуют унитарные обратные вентили, . Например, скажем , тогда . ${\displaystyle F^{\dagger }|A\rangle =F^{-1}(|A\rangle )=|B\rangle }$ ${\displaystyle F(x)=x+3{\pmod {2^{n}}}}$ ${\displaystyle |B\rangle =|A-3{\pmod {2^{n}}}\rangle }$

Равенство будет сохраняться независимо от того, в каком порядке выполняется измерение (в регистрах A или B), предполагая, что F дошел до завершения. Измерение может даже быть случайным и параллельным чередованием кубит за кубитом, поскольку назначение измерений одному кубиту ограничит возможное пространство значений от других запутанных кубитов.

Несмотря на то, что равенства выполняются, вероятности измерения возможных результатов могут измениться в результате применения F , как и намерение квантового алгоритма поиска.

Этот эффект распределения значений через запутывание используется в алгоритме Шора , оценке фазы и в квантовом подсчете . Использование преобразования Фурье для усиления амплитуд вероятности состояний решения для некоторой проблемы является общим методом, известным как « Фурье-рыбалка ». ^[37]

Синтез логических функций

Квантовый полный сумматор , данный Фейнманом в 1986 году. ^[3] Он состоит только из вентилей Тоффоли и CNOT. Вентиль, который на этой картинке обведен пунктирным квадратом, можно опустить, если не требуется невычисление для восстановления выхода B.

Функции и процедуры, которые используют только вентили, сами по себе могут быть описаны как матрицы, как и меньшие вентили. Матрица, которая представляет квантовую функцию, действующую на кубиты, имеет размер . Например, функция, которая действует на «кубайт» ( регистр из 8 кубитов), будет представлена ​​матрицей с элементами. ${\displaystyle q}$ ${\displaystyle 2^{q}\times 2^{q}}$ ${\displaystyle 2^{8}\times 2^{8}=256\times 256}$

Унитарные преобразования, которые не входят в набор вентилей, изначально доступных на квантовом компьютере (примитивные вентили), могут быть синтезированы или аппроксимированы путем объединения доступных примитивных вентилей в схему . Один из способов сделать это — разложить матрицу, которая кодирует унитарное преобразование, на произведение тензорных произведений (т. е. последовательных и параллельных цепей) доступных примитивных вентилей. Группа U (2 ^q ) является группой симметрии для вентилей, которые действуют на кубиты. ^[2] Факторизация тогда представляет собой проблему нахождения пути в U(2 ^q ) из порождающего набора примитивных вентилей. Теорема Соловея–Китаева показывает, что при наличии достаточного набора примитивных вентилей существует эффективное приближение для любого вентиля. Для общего случая с большим числом кубитов этот прямой подход к синтезу схемы является неразрешимым . ^{[38] [39]} Это накладывает ограничение на то, как большие функции могут быть грубо разложены на примитивные квантовые вентили. Обычно квантовые программы создаются с использованием относительно небольших и простых квантовых функций, аналогичных обычному классическому программированию. ${\displaystyle q}$

Из-за унитарной природы вентилей все функции должны быть обратимыми и всегда быть биективными отображениями входа на выход. Всегда должна существовать функция такая, что . Функции, которые не являются обратимыми, можно сделать обратимыми, добавив вспомогательные кубиты ко входу или выходу, или к обоим. После того, как функция завершится, вспомогательные кубиты могут быть либо невычисленными , либо оставленными нетронутыми. Измерение или иное схлопывание квантового состояния вспомогательного кубита (например, путем повторной инициализации его значения или путем его спонтанной декогеренции ), которые не были невычислены, может привести к ошибкам, ^{[40] [41],} поскольку их состояние может быть запутано с кубитами, которые все еще используются в вычислениях. ${\displaystyle F^{-1}}$ ${\displaystyle F^{-1}(F(|\psi \rangle ))=|\psi \rangle }$

Логически необратимые операции, например, сложение по модулю двух -кубитных регистров a и b , , ^[h] можно сделать логически обратимыми, добавив информацию к выходу, так что вход может быть вычислен из выхода (т.е. существует функция ). В нашем примере это можно сделать, передав один из входных регистров на выход: . Затем выход может быть использован для вычисления входа (т.е. учитывая выход и , мы можем легко найти вход; дан и ) , и функция становится биективной. ${\displaystyle 2^{n}}$ ${\displaystyle n}$ ${\displaystyle F(a,b)=a+b{\pmod {2^{n}}}}$ ${\displaystyle F^{-1}}$ ${\displaystyle F(|a\rangle \otimes |b\rangle )=|a+b{\pmod {2^{n}}}\rangle \otimes |a\rangle }$ ${\displaystyle a+b}$ ${\displaystyle a}$ ${\displaystyle a}$ ${\displaystyle (a+b)-a=b}$

Все булевы алгебраические выражения могут быть закодированы как унитарные преобразования (квантовые логические вентили), например, с использованием комбинаций вентилей Pauli-X, CNOT и Toffoli. Эти вентили функционально полны в области булевой логики.

Существует множество унитарных преобразований, доступных в библиотеках Q# , QCL , Qiskit и других квантовых языков программирования. Это также встречается в литературе. ^{[42] [43]}

Например, , где — число кубитов, составляющих регистр , в QCL реализовано следующим образом: ^{[44] [13] [12]} ${\displaystyle \mathrm {inc} (|x\rangle )=|x+1{\pmod {2^{x_{\text{length}}}}}\rangle }$ ${\displaystyle x_{\text{length}}}$ ${\displaystyle x}$

cond qufunct inc ( qureg x ) { // увеличить регистр int i ; for i = # x - 1 до 0 step - 1 { CNot ( x [ i ], x [ 0 :: i ]); // применить управляемое НЕ из } // MSB к LSB }                     

Сгенерированная схема, когда . Символы , и обозначают XOR , AND и NOT соответственно, и происходит от булева представления Pauli- X с нулем или более управляющими кубитами при применении к состояниям, которые находятся в вычислительном базисе. ${\displaystyle x_{\text{length}}=4}$ ${\displaystyle \oplus }$ ${\displaystyle \land }$ ${\displaystyle \neg }$

В QCL декремент выполняется путем «отмены» инкремента. Префикс !используется для запуска унитарной инверсии функции. !inc(x)является инверсией inc(x)и вместо этого выполняет операцию . Ключевое слово означает, что функция может быть условной. ^[11] ${\displaystyle \mathrm {inc} ^{\dagger }|x\rangle =\mathrm {inc} ^{-1}(|x\rangle )=|x-1{\pmod {2^{x_{\text{length}}}}}\rangle }$cond

В модели вычислений, используемой в этой статье ( модель квантовой схемы ), классический компьютер генерирует композицию вентилей для квантового компьютера, а квантовый компьютер ведет себя как сопроцессор , который получает инструкции от классического компьютера о том, какие примитивные вентили применять к каким кубитам. ^{[13] : 36–43  [14]} Измерение квантовых регистров приводит к двоичным значениям, которые классический компьютер может использовать в своих вычислениях. Квантовые алгоритмы часто содержат как классическую, так и квантовую часть. Неизмеренный ввод-вывод (отправка кубитов на удаленные компьютеры без коллапса их квантовых состояний) может использоваться для создания сетей квантовых компьютеров . Затем обмен запутанностью может использоваться для реализации распределенных алгоритмов с квантовыми компьютерами, которые не связаны напрямую. Примерами распределенных алгоритмов, которые требуют использования только нескольких квантовых логических вентилей, являются сверхплотное кодирование , квантовое византийское соглашение и протокол обмена шифровальными ключами BB84 .

Смотрите также

• Адиабатическое квантовое вычисление
• БКП
• Клеточный автомат
• Облачные квантовые вычисления
• Контрфактуальная определенность
• Контрфактуальное квантовое вычисление
• принцип Ландауэра
• Логическая связка
• Односторонний квантовый компьютер
• Квантовый алгоритм
• Квантовый клеточный автомат
• Квантовый канал
• Квантовый конечный автомат
• Квантовая логика
• Квантовая память
• Квантовая сеть
• Квантовый эффект Зенона
• Обратимые вычисления
• Унитарное преобразование (квантовая механика)

Примечания

1. Матричное умножение квантовых вентилей определяется как последовательные цепи.
2. Обратите внимание, что здесь полный оборот вокруг сферы Блоха составляет радианы, в отличие от оператора вращения, где полный оборот равен ${\displaystyle 2\pi }$ ${\displaystyle 4\pi .}$
3. Можно использовать как P- , так и Ph- ^{затвор, как показано [2] : 11  [1] : 76–83} ${\displaystyle R_{z}(\delta )\operatorname {Ph} (\delta /2)=P(\delta )}$
4. Этот набор точно генерирует все возможные унитарные вентили. Однако, поскольку глобальная фаза не имеет значения в выходных данных измерения, можно построить универсальные квантовые подмножества, например, набор, содержащий R _y ( θ ) , R _z ( θ ) и CNOT, охватывает только все унитарные элементы с определителем ±1, но этого достаточно для квантовых вычислений.
5. Если это на самом деле стохастический эффект, зависит от того, какая интерпретация квантовой механики является правильной (и может ли быть правильной любая интерпретация). Например, теория Де Бройля–Бома и многомировая интерпретация утверждают детерминизм . (В многомировой интерпретации квантовый компьютер — это машина, которая запускает программы ( квантовые схемы ), которые выбирают реальность, в которой вероятность того, что она будет иметь состояния решения задачи, велика . То есть машина чаще всего оказывается в реальности, в которой она дает правильный ответ. Поскольку все результаты реализуются в отдельных вселенных согласно многомировой интерпретации, общий результат является детерминированным. Однако эта интерпретация не меняет механику, по которой работает машина.)
6. См. Аксиомы вероятности § Вторая аксиома
7. Гипотенуза имеет длину 1 , поскольку сумма вероятностей равна 1, поэтому вектор квантового состояния является единичным вектором .
8. Вход — кубиты, но выход — просто кубиты. Стирание информации — необратимая (или унитарная ) операция, и поэтому не допускается. См. также принцип Ландауэра . ${\displaystyle 2n}$ ${\displaystyle n}$

Ссылки

1. Колин П. Уильямс (2011). Исследования в области квантовых вычислений . Springer . ISBN 978-1-84628-887-6.
2. Баренко, Адриано; Беннетт, Чарльз Х.; Клив, Ричард; ДиВинченцо, Дэвид П.; Марголус, Норман; Шор, Питер; Слейтор, Тихо; Смолин, Джон А.; Вайнфуртер, Харальд (1 ноября 1995 г.). «Элементарные вентили для квантовых вычислений». Physical Review A. 52 ( 5). Американское физическое общество (APS): 3457–3467. arXiv : quant-ph/9503016 . Bibcode : 1995PhRvA..52.3457B. doi : 10.1103/physreva.52.3457. ISSN  1050-2947. PMID  9912645. S2CID  8764584.
3. Feynman, Richard P. (1986). «Квантовые механические компьютеры». Основы физики . 16 (6). Springer Science and Business Media LLC: 507–531. Bibcode : 1986FoPh...16..507F. doi : 10.1007/bf01886518. ISSN  0015-9018. S2CID  122076550.
4. Нильсен, Майкл А.; Чуан , Айзек (2010). Квантовые вычисления и квантовая информация. Кембридж: Издательство Кембриджского университета . ISBN 978-1-10700-217-3. OCLC  43641333.
5. Янофски, Носон С.; Мануччи, Мирко (2013). Квантовые вычисления для компьютерных ученых . Cambridge University Press . ISBN 978-0-521-87996-5.
6. Прескилл, Джон (06.06.2021). «Квантовые вычисления 40 лет спустя». С. 10–15. arXiv : 2106.10522 [quant-ph].
7. "Библиотека схем". IBM ( Qiskit ).
8. "cQASM: Операции с вентилями кубита". QuTech.
9. "Microsoft.Quantum.Intrinsic namespace". Microsoft ( Q# ). 28 июля 2023 г.
10. Операции и функции (документация Q#)
11. Ömer, Bernhard (2 сентября 2009 г.). "Structured Quantum Programming" (PDF) . Institute for Theoretical Physics, Vienna University of Technology. стр. 72, 92–107. Архивировано из оригинала (PDF) 27 марта 2022 г.
12. Ömer, Bernhard (29 апреля 2003 г.). «Классические концепции квантового программирования». International Journal of Theoretical Physics . 44 (7): 943–955. arXiv : quant-ph/0211100 . doi :10.1007/s10773-005-7071-x. S2CID  119373370.
13. Ömer, Bernhard (2000-01-20). Quantum Programming in QCL (PDF) (Thesis). Institute for Theoretical Physics, Vienna University of Technology. Архивировано из оригинала (PDF) 1 июня 2022 г. . Получено 2021-05-24 .
14. Pauka SJ, Das W, Kalra R, Moini A, Yang Y, Trainer M, Bousquet A, Cantaloube C, Dick N, Gardner GC, Manfra MJ, Reilly DJ (2021). «Криогенный CMOS-чип для генерации управляющих сигналов для нескольких кубитов». Nature Electronics . 4 (4): 64–70. arXiv : 1912.01299 . doi :10.1038/s41928-020-00528-y. S2CID  231715555.
15. "TdgGate". Онлайн-документация Qiskit .
16. "Врата кинжала Т".Онлайн-документация cQASM.
17. Ахаронов, Дорит (2003-01-09). "Простое доказательство того, что Тоффоли и Адамар являются квантово-универсальными". arXiv : quant-ph/0301040 .
18. Савицкий, Адам; Карнас, Катажина (01 ноября 2017 г.). «Универсальность однокудитных вентилей». Анналы Анри Пуанкаре . 18 (11): 3515–3552. arXiv : 1609.05780 . Бибкод : 2017AnHP...18.3515S. doi : 10.1007/s00023-017-0604-z. ISSN  1424-0661. S2CID  253594045.
19. Савицкий, Адам; Маттиоли, Лоренцо; Зимборас, Золтан (2022-05-12). «Проверка универсальности для набора квантовых вентилей». Physical Review A. 105 ( 5): 052602. arXiv : 2111.03862 . Bibcode : 2022PhRvA.105e2602S. doi : 10.1103/PhysRevA.105.052602. S2CID  248761038.
20. Уильямс, Колин П. (2011), Уильямс, Колин П. (ред.), «Квантовые вентили», Исследования в области квантовых вычислений , Тексты по информатике, Лондон: Springer, стр. 51–122, doi :10.1007/978-1-84628-887-6_2, ISBN 978-1-84628-887-6, получено 2021-05-14
21. Дойч, Дэвид (8 сентября 1989 г.), «Квантовые вычислительные сети», Proc. R. Soc. Lond. A , 425 (1989): 73–90, Bibcode : 1989RSPSA.425...73D, doi : 10.1098/rspa.1989.0099, S2CID  123073680
22. Ши, Сяо-Фэн (2018-05-22). «Deutsch, Toffoli и cnot Gates через Rydberg Blockade of Neutral Atoms». Physical Review Applied . 9 (5): 051001. arXiv : 1710.01859 . Bibcode : 2018PhRvP...9e1001S. doi : 10.1103/PhysRevApplied.9.051001. ISSN  2331-7019. S2CID  118909059.
23. "I операция". docs.microsoft.com . 28 июля 2023 г.
24. "IGate". qiskit.org . Онлайн-документация Qiskit .
25. Лосс, Дэниел; ДиВинченцо, Дэвид П. (1998-01-01). «Квантовые вычисления с квантовыми точками». Physical Review A. 57 ( 1): 120–126. arXiv : cond-mat/9701055 . Bibcode : 1998PhRvA..57..120L. doi : 10.1103/physreva.57.120 . ISSN  1050-2947.Пример в ур. 2.
26. Раз, Ран (2002). «О сложности матричного произведения». Труды тридцать четвертого ежегодного симпозиума ACM по теории вычислений . С. 144–151. doi :10.1145/509907.509932. ISBN 1581134959. S2CID  9582328.
27. "UnitaryGate § UnitaryGate adjoint()". docs.quantum.ibm.com .
28. Гриффитс, DJ (2008). Введение в элементарные частицы (2-е изд.) . John Wiley & Sons . стр. 115–121, 126. ISBN 978-3-527-40601-2.
29. Дэвид Альберт (1994). Квантовая механика и опыт . Издательство Гарвардского университета . С. 35. ISBN 0-674-74113-7.
30. Шон М. Кэрролл (2019). Пространство-время и геометрия: введение в общую теорию относительности . Cambridge University Press . С. 376–394. ISBN 978-1-108-48839-6.
31. Дэвид Уоллес (2012). Возникающая мультивселенная: квантовая теория согласно интерпретации Эверетта . Oxford University Press . ISBN 9780199546961.
32. Шон М. Кэрролл (2019). Что-то глубоко скрытое: Квантовые миры и возникновение пространства-времени . Penguin Random House . ISBN 9781524743017.
33. Q# Онлайн-руководство: Измерение
34. Хуан Инь; Юань Цао; Ю-Хуай Ли; Шэн-Кай Ляо; Лян Чжан; Джи-Ган Рен; Вэнь-Цай Цай; Вэй-Юэ Лю; Бо Ли; Хуэй Дай; Гуан-Бин Ли; Ци-Мин Лу; Юн-Хун Гонг; Юй Сюй; Шуан-Лин Ли; Фэн-Чжи Ли; Я-Юнь Инь; Цзы-Цин Цзян; Мин Ли; Цзянь-Цзюнь Цзя; Гэ Рен; Донг Хэ; И-Лин Чжоу; Сяо-Сян Чжан; На Ван; Сян Чанг; Чжэнь-Цай Чжу; Най-Лэ Лю; Ю-Ао Чен; Чао-Ян Лу; Ронг Шу; Ченг-Чжи Пэн; Цзянь-Ю Ван; Цзянь-Вэй Пан (2017). «Распределение запутанности на основе спутников на расстоянии 1200 километров». Квантовая оптика . 356 (6343): 1140–1144. arXiv : 1707.01339 . doi : 10.1126/science.aan3211. PMID  28619937. S2CID  5206894.
35. Биллингс, Ли (23 апреля 2020 г.). «Китай побил рекорд «жуткого действия на расстоянии», готовится к квантовому Интернету». Scientific American .
36. Попкин, Габриэль (15 июня 2017 г.). «Китайский квантовый спутник совершает «жуткие действия» на рекордном расстоянии». Наука – AAAS .
37. Ааронсон, Скотт (2009). «BQP и полиномиальная иерархия». arXiv : 0910.4698 [quant-ph].
38. Доусон, Кристофер М.; Нильсен, Майкл (2006-01-01). "Алгоритм Соловея-Китаева". Квантовая информация и вычисления . 6 (1). Раздел 5.1, уравнение 23. arXiv : quant-ph/0505030 . doi :10.26421/QIC6.1-6.
39. Маттео, Оливия Ди (2016). «Распараллеливание синтеза квантовых цепей». Квантовая наука и технологии . 1 (1): 015003. arXiv : 1606.07413 . Bibcode : 2016QS&T....1a5003D. doi : 10.1088/2058-9565/1/1/015003. S2CID  62819073.
40. Ааронсон, Скотт (2002). «Квантовая нижняя граница для рекурсивной выборки Фурье». Квантовая информация и вычисления . 3 (2): 165–174. arXiv : quant-ph/0209060 . Bibcode :2002quant.ph..9060A. doi :10.26421/QIC3.2-7.
41. Онлайн-руководство Q#: Управление квантовой памятью
42. Рё, Асака; Казумицу, Сакаи; Рёко, Яхаги (2020). «Квантовая схема для быстрого преобразования Фурье». Квантовая обработка информации . 19 (277): 277. arXiv : 1911.03055 . Bibcode : 2020QuIP...19..277A. doi : 10.1007/s11128-020-02776-5. S2CID  207847474.
43. Монтасер, Раша (2019). «Новая конструкция обратимого полного сумматора/вычитателя с использованием R-вентиля». Международный журнал теоретической физики . 58 (1): 167–183. arXiv : 1708.00306 . Bibcode :2019IJTP...58..167M. doi :10.1007/s10773-018-3921-1. S2CID  24590164.
44. Исходный код QCL 0.6.4, файл "lib/examples.qcl"

Источники

• Нильсен, Майкл А.; Чуан , Айзек (2000). Квантовые вычисления и квантовая информация . Кембридж: Издательство Кембриджского университета . ISBN 0521632358. OCLC  43641333.
• Уильямс, Колин П. (2011). Исследования в области квантовых вычислений . Springer . ISBN 978-1-84628-887-6.
• Янофски, Носон С.; Мануччи, Мирко (2013). Квантовые вычисления для компьютерных ученых . Cambridge University Press . ISBN 978-0-521-87996-5.