Запутанность и корреляции
Запутанность — это фундаментальная концепция квантовой механики, описывающая квантовую корреляцию между квантовыми системами. Когда два или более кубитов запутаны, состояние одного кубита зависит от состояния другого кубита, даже если они далеко друг от друга. Эта квантовая корреляция является уникальной особенностью квантовых систем, которые не имеют классического аналога.
В этой статье представлен обзор запутанности, корреляции и объясняется, как создать запутанность с помощью квантовых шлюзов.
Что такое запутанность?
Представьте, что у вас есть два кубита, $А$ и $Б$. Кубиты не зависят друг от друга, что означает, что информация о состоянии кубита $А$, что бы это ни было, принадлежит только кубитаМ $А$. Аналогичным образом, информация о состоянии кубита $B$ принадлежит кубите $B$. В этом случае кубиты не запутаны, так как они не обмениваются информацией о своих штатах.
Теперь представьте, что вы запутали кубитов. Если кубиты $A$ и $B$ запутаны, сведения о состоянии кубита $А$ не зависят от состояния кубита $B$. При запутанном обмен данными между обоими кубитами, и нет способа узнать состояние кубита $A$ или кубита $B$. Вы можете описать только состояние глобальной системы, а не состояние отдельных кубитов.
Запутанность — это квантовая корреляция между двумя или более частицами. Если два частицы запутаны, они не могут быть описаны независимо, но только в целом системе.
Два или более частиц могут быть запутаны даже в том случае, если они разделены большими расстояниями. Эта корреляция сильнее, чем любая классическая корреляция, и это ключевой ресурс для задач квантовой обработки информации, таких как квантовые телепортации, квантовые криптографии и квантовые вычисления. Если вы хотите узнать, как телепортировать кубит с помощью запутанности, ознакомьтесь с этим модулем в пути обучения Azure Quantum.
Примечание.
Запутанность — это свойство многокубитных систем, а не отдельных кубитов. То есть один кубит не может быть запутан.
Определение запутанности в квантовых системах
Представьте себе два кубита $A$ и $B$ , чтобы состояние глобальной системы $\ket{\phi}$ :
$$\ket{\phi}=\frac1{\sqrt2}(\ket{0_A 0_B+ \ket{1_A 1_B}})$$
Примечание.
В нотации$\ket{ Dirac 0_A 0_B|}=0_\text{A}|0\rangle\rangle_\text{B.}$ Первая позиция соответствует первому кубитом, а вторая позиция соответствует второму кубитом.
Глобальная система $\ket{\phi}$ находится в суперпозиции государств $|00\rangle$ и $|11\rangle$. Но что такое индивидуальное состояние кубита $А$? А из кубита $Б$? Если вы пытаетесь описать состояние кубита $A$ , не учитывая состояние кубита $B$, вы завершитесь ошибкой. Подсистемы $A$ и $B$ запутаны и не могут быть описаны независимо.
При измерении обоих кубитов возможны только два результата: $\ket{{00}$ и $\ket{{11}$, каждый из которых имеет одинаковую вероятность $\frac{1}{{2}$. Вероятность получения состояний $|01 и $|10\rangle$\rangle$ равна нулю.
Но что произойдет, если вы измеряете только один кубит? Если два частицы запутаны, результаты измерения также коррелируются. То есть, что бы ни произошло с состоянием одного кубита в запутанной паре, также влияет на состояние другого кубита.
Если вы измеряете только кубитов $A$ , и вы получаете $|состояние 0\rangle$ , это означает, что глобальная система свернута в состояние $\ket{00}$. Это единственный возможный результат, так как вероятность измерения $|01\rangle$ равна нулю. Таким образом, без измерения кубита $B$ вы можете быть уверены, что второй кубит также находится в $|состоянии 0\rangle$ . Результаты измерения коррелируются, так как кубиты запутаны.
Квантовое состояние $\ket{\phi}$ называется состоянием Bell. Существует четыре состояния Колокола:
$$\ket{\phi^{+}}=\frac1{00}{\sqrt}\ket{ 2 +{\sqrt\frac 1 2}\ket{$$\ket{\phi{11}$$^{-}}=\frac1{\sqrt2}\ket{00} - \frac1{\sqrt2}\ket{11}$$$$\ket{\psi^{+}\ket{}}=\frac{\sqrt{01}1 2 + \frac1{\sqrt2{10}$$\ket{\psi}\ket{$$^{-}}=\frac1{\sqrt2 - \frac1 2}\ket{01}{\sqrt}\ket{10}$$
Примечание.
В этом примере используется два кубита, но квантовое запутание не ограничивается двумя кубитами. Как правило, возможно, что несколько кубитов систем совместно используют запутанность.
Создание запутанности с квантовыми операциями
Квантовые операции можно использовать для создания квантовой запутанности. Одним из наиболее распространенных способов создания запутанности в двух кубитах в состоянии $|00\rangle$ является применение операции $Hadamard H$ и управляемой операции $CNOT$ для преобразования их в состояние $\ket{\phiКолокола ^+1{\sqrt2}(|00\rangle+}=\frac|11\rangle)$.
Операция $CNOT$ принимает два кубита в качестве входных данных, один действует как кубит управления, а другой — целевой кубит. Операция CNOT перевернута состояние целевого кубита, если, и только если состояние кубита элемента управления равно $|1\rangle$.
| Входные данные | Выходные данные |
|---|---|
| $\ket{00}$ | $\ket{00}$ |
| $\ket{01}$ | $\ket{01}$ |
| $\ket{10}$ | $\ket{11}$ |
| $\ket{11}$ | $\ket{10}$ |
Вот как это работает:
Возьмите два кубита в состоянии $|00\rangle$. Первый кубит — это кубит управления, а второй кубит — целевой кубит.
Создайте состояние суперпозиции только в кубите элемента управления, применяя $H$.
$$H |0_c\rangle={2}}\frac{1}{\sqrt{(|0_c\rangle+|1_c)\rangle$$
Примечание.
Подстрочные знаки _c и ${}_t$$ указывают кубиты ${}элемента управления и целевые кубиты.
Примените $оператор CNOT$ к кубите управления, который находится в состоянии суперпозиции, а целевой кубит находится в состоянии 0_t состояния.$|\rangle$
$$CNOT \frac{1}{\sqrt{2}}(\ket{0_c+\ket{1_c)\ket{0}_t}= CNOT \frac{1}{\sqrt2}(\ket{0_c 0_t}+|\ket{1_c 0_t}})2(CNOT 0_c 0_t + CNOT \ket{\ket{1_c 0_t}})$$$$$$=$$=\frac{1}{\sqrt{1}{\sqrt=\frac{=2}}(\ket{0_c 0_t+\ket{1_c 1_t)}}$$
Совет
Сведения о том, как запутать два кубита с Q#помощью , см . в кратком руководстве. Создание первой Q# программы.
Разделение и квантовое запутание
Запутанность можно рассматривать как отсутствие разделимости: состояние запутано, когда оно не является разделимым.
Квантовое состояние можно разделять, если оно может быть записано как состояние продукта подсистем. То есть состояние $\ket{\phi}{\text{AB}}$ можно разделять, если его можно записать как сочетание состояний продуктов подсистем, то есть{\text{$\ket{\phi} AB=}}\ket{a}_A\ket{\otimes b}_B.$
Запутание в чистых состояниях
Чистое квантовое состояние — это один вектор кета, например состояние $\ket{+\frac{{1}{\sqrt{}={2}}(\ket{0} + \ket{1}).$
Чистые состояния не могут быть записаны как статистическая смесь (или выпуклая комбинация) других квантовых состояний.
На сфере Блока чистые государства представлены точкой на поверхности сферы, в то время как смешанные состояния представлены внутренней точкой.
Чистое состояние{$\ket{\phi}AB}$ запутано, если оно не может быть записано как сочетание состояний продукта подсистем, то есть{$\ket{\phi} AB=}\ket{a}_A\ket{\otimes b}_B.$
Например, рассмотрим состояние \ket{\psi}$$_{AB}=\frac{{1}{2} (\ket{{00}+ + \ket{{10} +)\ket{\ket{01}{11}$$
Сначала состояние $\ket{\psi}_{AB}$ не выглядит как состояние продукта, но если переписать состояние как
$$\ket{\psi}_{AB}{2}}{1}{\sqrt{\frac{= (_A +\ket{{1}_A)\frac{1}{\sqrt{{2}} \otimes(\ket{\ket{0}{0}_B +\ket{{1}_B)=\ket{+}_A \ket{+_B}$$
состояние _{\text{AB}}$ — это состояние $\ket{\psi}продукта, поэтому оно не запутано.
Запутанность в смешанных состояниях
Смешанные квантовые состояния — это статистический ансамбль чистых состояний. Чтобы описать смешанные состояния, проще использовать их матрицу $плотности \rho$ , а не нотацию кета.
Смешанное состояние $\rho$ является разделимым, если оно может быть записано как выпуклое сочетание состояний продукта подсистем, таких как
$$\rho =\sum_j p_j \rho^A}_j \otimes \rho^{{B}_j$$
где $p_j 0, \sum p_j = \geq 1$ и $\rho^{A}_j \geq 0, \rho^{B}_j \geq 0$.
Дополнительные сведения см. в разделе "Матрицы плотности".
Смешанное состояние $\rho$ запутано, если оно не является разделимым, то есть оно не может быть записано как конвексное сочетание состояний продукта.
Примечание.
- Если запутанное состояние $\rho$ чистое, оно содержит только квантовые корреляции.
- Если запутанное состояние $\rho$ смешанное, оно содержит как классические, так и квантовые корреляции.
Основные сведения о классических корреляциях
Классические корреляции обусловлены отсутствием знаний о состоянии системы. То есть есть есть некоторая случайность, связанная с классической корреляцией, но ее можно устранить, получив знания.
Например, рассмотрим два поля, каждый из которых содержит один мяч. Вы знаете, что оба шара одинаковые цвета, либо синий, либо красный. Если открыть одну коробку и выяснить, что мяч внутри синий, то мы знаем, что другой мяч тоже синий. Поэтому они коррелируются. Однако неопределенность, которую мы имеем при открытии коробки, обусловлена отсутствием знаний, это не является фундаментальным. Мяч был синий, прежде чем мы открыли коробку. Таким образом, это классическая корреляция, а не квантовая корреляция.
Смешанное квантовое состояние системы, сформированное двумя полями $\rho_{boxes}$ , можно записать как
$$\rho_{boxes{1}{2}=\frac{} (red}\bra{_A red}_{A\ket{\otimes}red}\bra{}_B) +\frac{{1}{2} (\ket{\ket{синий}\bra{}_A\ket{\otimes синий}\bra{}_B)$$
Обратите внимание, что состояние $\rho_{boxes}$ является разделимым, где $p_1 p_2 = =\frac{1}{2}$ , то он содержит только классические корреляции. Еще одним примером смешанного состояния сепарабельного является
$$\rho ={1}{2}\frac{(\ket{0}\bra{{0}_A _B\ket{0}\bra{0}\otimes) +\frac{1}{2} (\ket{1}\bra{1}_A _B)\otimes\ket{{1}\bra{{1}$$
Теперь рассмотрим следующее состояние:
$$\rho =\frac{{1}{4} (\ket{{00}\bra{00} + + \ket{11}\bra{00}{11}\bra{\ket{\ket{{11}{00}\bra{11} ) =\ket{\phi^+}\bra{\phi^+}$$
В этом случае наши знания о состоянии идеальны, мы знаем с максимальной уверенностью, что система $AB$ находится в состоянии $\ket{\phiКолокола ^+}$ и $\rho$ является чистым состоянием. Поэтому не существует классических корреляций. Но если мы измеряем наблюдаемую подсистему $A$, мы получаем случайный результат, который дает нам сведения о состоянии подсистемы $B$. Это случайность является фундаментальным, а именно это квантовые корреляции.
Пример квантового состояния, содержащего как классические, так и квантовые корреляции
$$\rho ={1}{2}\frac{(\ket{\phi^+}\bra{\phi^+} + \ket{\phi^-}\bra{\phi^-})$$
Примечание.
Отдельное состояние содержит только классические корреляции.