Парадокс ЭПР: запутанность, реализм и неравенства Белла

Парадокс ЭПР - мысленный эксперимент Эйнштейна, Подольского и Розена 1935 года, в котором авторы пытались показать, что квантовая механика неполна. За тридцать лет аргумент превратился из философского возражения в количественную теорему Белла (1964) и в основу современных квантовых коммуникаций. Ниже - что именно утверждали ЭПР, почему ответ Бора оказался недостаточным, как Белл переформулировал спор на язык экспериментов и что показали измерения Аспе и loophole-free тесты последних лет.

Статья 1935 года и мотивация ЭПР

Эйнштейн, Подольский и Розен опубликовали в Physical Review статью «Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?» Целью было не опровергнуть квантовую механику как набор предсказаний, а показать, что её описание физической реальности неполно - должна существовать более глубокая теория со скрытыми параметрами, восстанавливающая локальность и реализм.

Авторы вводят явный критерий элемента физической реальности: «если, не возмущая систему каким-либо образом, мы можем с уверенностью предсказать значение физической величины, то существует элемент физической реальности, соответствующий этой величине». Идея в том, что любая полная теория обязана содержать описание для каждого такого элемента.

Мысленный эксперимент с парой запутанных частиц

ЭПР рассматривают две частицы, провзаимодействовавшие в прошлом и разлетевшиеся на большое расстояние. Их состояние записывается как собственное состояние оператора суммарного импульса $\hat{p}_1 + \hat{p}_2$ и оператора разности координат $\hat{x}_1 - \hat{x}_2$: эти операторы коммутируют, поэтому имеют общую систему собственных функций.

Измерив импульс первой частицы, экспериментатор немедленно знает импульс второй с произвольной точностью. Альтернативно, измерив координату первой, он знает координату второй. Поскольку само по себе измерение над частицей 1 «не возмущает» далёкую частицу 2 (предположение локальности), обе величины - импульс и координата частицы 2 - должны быть элементами реальности. Но в квантовой механике им соответствуют некоммутирующие операторы $[\hat{x}, \hat{p}] = i\hbar$, и они не могут одновременно иметь точные значения. Значит, квантовое описание неполно.

Бомовская переформулировка в спинах

Оригинальная формулировка ЭПР в непрерывных переменных неудобна для эксперимента. В 1951 году Дэвид Бом предложил спиновую версию: пара частиц со спином $1/2$ в синглетном состоянии

$|\Psi^-\rangle = \tfrac{1}{\sqrt{2}}\bigl(|\!\uparrow\downarrow\rangle - |\!\downarrow\uparrow\rangle\bigr).$

Измерение спина первой частицы вдоль произвольной оси $\mathbf{a}$ даёт $\pm 1$ с равными вероятностями, но второй спин, измеренный вдоль той же оси, гарантированно даёт противоположное значение. Корреляция измерений в направлениях $\mathbf{a}$ и $\mathbf{b}$ равна $E(\mathbf{a}, \mathbf{b}) = -\cos\theta$, где $\theta$ - угол между осями. Именно эту версию проверяли все последующие эксперименты - практически в поляризационном варианте с парами фотонов.

Ответ Бора и контекстуальность измерения

Бор ответил в том же 1935 году в той же Physical Review. Его аргумент: критерий реальности ЭПР неявно предполагает, что физические величины существуют независимо от условий измерения. В квантовой механике это не так - выбор оси анализатора над первой частицей задаёт контекст, в котором осмысленно говорить о соответствующей величине для системы в целом. Не «возмущает далёкую частицу», но определяет, какое описание системы вообще применимо.

С точки зрения современного формализма, ответ Бора эквивалентен утверждению, что наблюдаемые в квантовой механике контекстуальны: значение, которое получит экспериментатор, не определяется системой по отдельности, оно определяется системой плюс прибором плюс процедурой. Спор оставался философским до тех пор, пока Джон Стюарт Белл не показал, что у него есть экспериментально различимое следствие.

Неравенства Белла 1964 года

Белл предположил минимальное: что результаты измерений определяются локальными скрытыми параметрами $\lambda$ с распределением $\rho(\lambda)$. Тогда корреляция должна записываться как

$E(\mathbf{a}, \mathbf{b}) = \int A(\mathbf{a}, \lambda)\, B(\mathbf{b}, \lambda)\, \rho(\lambda)\, d\lambda,$

где $A, B \in \{-1, +1\}$ зависят только от локальной оси и параметра. Из этого предположения для четырёх углов следует неравенство CHSH (Clauser, Horne, Shimony, Holt, 1969):

$|E(\mathbf{a}, \mathbf{b}) - E(\mathbf{a}, \mathbf{b}') + E(\mathbf{a}', \mathbf{b}) + E(\mathbf{a}', \mathbf{b}')| \le 2.$

Квантовая механика для синглета и оптимальных углов даёт $2\sqrt{2} \approx 2.828$ - это граница Цирельсона. Любое нарушение классической границы означает, что никакая локально-реалистическая теория не может воспроизвести квантовые предсказания. Дальше вопрос экспериментальный, и сторона эксперимента победила.

Эксперименты Аспе и loophole-free тесты

Первые проверки выполнили Фридман и Клаузер в 1972 году на парах фотонов из каскадного распада кальция и зафиксировали нарушение CHSH. Знаменитая серия Алена Аспе 1981–1982 годов в Орсэ улучшила статистику и впервые ввела быстрое переключение поляризаторов уже во время полёта фотонов - это закрывало «лазейку локальности» (locality loophole) в идеализации, в которой настройки выбираются после испускания пары.

Однако оставались две упрямые лазейки: detection loophole (низкая эффективность регистрации позволяла сторонникам скрытых параметров утверждать, что отбираемая подвыборка не репрезентативна) и freedom-of-choice loophole. Loophole-free эксперименты появились только в 2015 году: Hensen и соавторы в Делфте на NV-центрах в алмазе разнесли узлы на 1.3 км и одновременно закрыли обе лазейки, NIST и Венский эксперимент сделали то же на фотонах с детекторами на сверхпроводящих нанопроводах. Локальный реализм был окончательно опровергнут.

Нелокальность без сигналинга

Нарушение неравенств Белла называют квантовой нелокальностью. Важно, что это не нарушение специальной теории относительности: no-communication теорема утверждает, что приведённая матрица плотности подсистемы $\rho_B = \mathrm{Tr}_A\,|\Psi\rangle\langle\Psi|$ не зависит от выбора измерения, выполняемого над $A$. Поэтому Боб, имея только свою частицу, не может определить, какую ось выбрал Алиса, и тем более передать через запутанность бит информации. Нелокальность видна только при последующем сравнении результатов по классическому каналу, а тот ограничен скоростью света.

Это разрешает кажущееся противоречие: корреляции «нелокальны» в смысле теоремы Белла, но не используются для сверхсветовой связи. Современная формулировка говорит о non-signalling correlations - широком классе теорий, в которые квантовая механика вкладывается как подмножество с границей Цирельсона.

GHZ-состояния и альтернатива неравенствам

В 1989 году Гринбергер, Хорн и Цайлингер показали: для тройки частиц в состоянии

$|\mathrm{GHZ}\rangle = \tfrac{1}{\sqrt{2}}\bigl(|\!\uparrow\uparrow\uparrow\rangle + |\!\downarrow\downarrow\downarrow\rangle\bigr)$

квантовая механика делает предсказания, прямо противоречащие любой локально-реалистической модели - не статистически, а в одном-единственном измерении. Это всё-таки-not-Bell-неравенство: достаточно одного запуска, чтобы показать несовместимость. Экспериментально GHZ-тест выполнен Пэном, Боумистером, Даниэллом и Цайлингером в 2000 году.

Приложения: телепортация и квантовая криптография

Запутанность из спорного аргумента стала ресурсом. Протокол квантовой телепортации (Bennett, Brassard, Crépeau, Jozsa, Peres, Wootters, 1993) использует пару Белла и два классических бита, чтобы передать неизвестное квантовое состояние от Алисы к Бобу без физической передачи носителя. Реализован для фотонов (Боумистер 1997), атомов, сверхпроводящих кубитов и на спутник Micius в 2017.

В криптографии запутанность лежит в основе протокола E91 Артура Экерта 1991 года: Алиса и Боб распределяют пары Белла и используют тест неравенств Белла как встроенную проверку отсутствия прослушки - любой Eve, измеряющий по дороге, разрушит запутанность и снизит нарушение CHSH. Более ранний BB84 (Bennett-Brassard 1984) обходится без запутанности и использует поляризационные базисы, но опирается на ту же no-cloning теорему. Современные device-independent QKD-схемы развивают идею E91, требуя только нарушения CHSH без доверия к устройствам.

Частые ошибки

• Считать парадокс ЭПР опровергнутым «потому что Бор ответил». Спор оставался открытым до Белла; именно неравенства Белла дали ему экспериментальное содержание.
• Утверждать, что запутанность даёт сверхсветовую связь. No-communication теорема это строго запрещает; нелокальные корреляции видны только постфактум.
• Путать нарушение CHSH с доказательством конкретной интерпретации квантовой механики. Опровергается только локальный реализм; копенгагенская (с её знаменитым котом Шрёдингера), многомировая, бомовская и QBism-интерпретации все совместимы с экспериментом.
• Считать loophole-free эксперимент 2015 года первым доказательством. Нарушение CHSH было видно ещё у Аспе; 2015 год закрыл оставшиеся лазейки одновременно.
• Думать, что скрытые параметры полностью исключены. Исключены только локальные; нелокальная теория де Бройля-Бома формально остаётся валидной альтернативой.

FAQ

Был ли Эйнштейн неправ в споре с Бором? В прямом смысле - да: природа нарушает неравенства Белла, и локальный реализм, который защищали ЭПР, несовместим с экспериментом. Но сама постановка вопроса оказалась чрезвычайно плодотворной: без статьи 1935 года не было бы Белла, без Белла - квантовой криптографии и квантовых вычислений.

Почему нарушение неравенств Белла не противоречит относительности? Потому что приведённая статистика результатов на одной стороне не зависит от того, что и в какой момент измеряет другая. Нелокальные корреляции существуют только в совместном распределении и видны лишь после обмена результатами по обычному каналу со скоростью света.

Чем отличается ЭПР-пара от классически коррелированных монет? Классические монеты допускают локально-реалистическое описание: каждой паре заранее приписано значение. ЭПР-пара нарушает CHSH до $2\sqrt{2}$, что для любых классических корреляций невозможно. Различие проявляется только при сравнении измерений в нескольких разных базисах.

Коротко

Парадокс ЭПР 1935 года поставил вопрос о полноте квантовой механики, но Белл в 1964 году превратил спор в проверяемое утверждение: локально-реалистические теории удовлетворяют неравенству $|S| \le 2$, квантовая механика даёт до $2\sqrt{2}$. Эксперименты от Фридмана-Клаузера 1972 до loophole-free тестов 2015 года показали нарушение и закрыли все основные лазейки. Локальный реализм опровергнут, но no-communication теорема сохраняет совместимость с относительностью. Запутанность стала рабочим ресурсом - для телепортации, QKD (BB84, E91) и device-independent протоколов.