Частичная независимость достаточна для экспериментального исключения действительной квантовой теории

Основная информация

• ID статьи: 2502.20102
• Название: Partial independence suffices to rule out Real Quantum Theory experimentally
• Авторы: Mirjam Weilenmann (Inria, Télécom Paris), Nicolas Gisin (University of Geneva, Constructor University), Pavel Sekatski (University of Geneva)
• Классификация: quant-ph (квантовая физика)
• Дата публикации: февраль 2025 г. (arXiv v2: 21 ноября 2025 г.)
• Ссылка на статью: https://arxiv.org/abs/2502.20102

Аннотация

В данной работе исследуется вопрос о необходимости комплексных чисел в квантовой теории. Опираясь на результаты Renou и соавторов (Nature, 2021), показавшие, что действительная квантовая теория (Real Quantum Theory) не может объяснить предсказания комплексной квантовой теории, авторы переосмысляют предположение об источниках независимости. Доказано, что частичная независимость достаточна для доказательства недостаточности действительной квантовой теории. Выведены соотношения компромисса между независимостью источников и достижимыми значениями Белла в действительной квантовой теории. Показано, что 1 бит запутанности является необходимым и достаточным ресурсом для восстановления комплексных квантовых корреляций с использованием действительной квантовой теории. Наконец, на основе работы McKague и соавторов построена схема моделирования произвольных экспериментов с m независимыми источами в комплексной квантовой теории с использованием m действительных квантовых битов запутанности.

Исследовательский контекст и мотивация

1. Центральный вопрос

Действительно ли квантовая теория нуждается в комплексной структуре? Это давний вопрос в основаниях квантовой механики. Несмотря на то, что классическая физика (механика, термодинамика, электромагнетизм) основана на действительных числах, первый постулат квантовой теории вводит комплексное гильбертово пространство $\mathbb{C}^d$.

2. Значимость проблемы

• Физическая необходимость математической структуры: Комплексные числа в квантовой теории — не просто вычислительный инструмент; квантовые состояния сами по себе являются комплекснозначными
• Онтологический вопрос: Если действительного гильбертова пространства $\mathbb{R}^d$ достаточно, почему нужны "мнимые" числа, которые Декарт называл "воображаемыми", а Эйлер — "невозможными"?
• Экспериментальная проверяемость: Может ли этот фундаментальный вопрос быть разрешён экспериментально?

3. Ограничения существующих подходов

• McKague и соавторы (2009): Доказали, что любой комплексный квантовый эксперимент можно моделировать действительной квантовой теорией, присоединяя к каждой подсистеме вспомогательный действительный квантовый бит (rebит), но требуется, чтобы эти вспомогательные биты разделяли запутанное состояние
• Трудность физической интерпретации: Когда подсистемы пространственно разделены, как они могут получить доступ к одному и тому же вспомогательному rebиту? Откуда берётся эта запутанность?
• Renou и соавторы (2021): В сетевом сценарии при предположении полной независимости источников доказали, что действительная квантовая теория не может достичь верхней границы значения Белла комплексной квантовой теории ($B_C^{sup}=6\sqrt{2}\approx 8.49$ vs $B_R^{ub}\leq 7.66$)

4. Мотивация данной работы

Ослабление предположения о независимости: Что произойдёт, если источники только частично независимы (partially independent)? Можно ли количественно охарактеризовать, сколько квантовых корреляций требуется для объяснения экспериментальных результатов действительной квантовой теорией?

Основные вклады

1. Ослабление предположения о независимости: Доказано, что частичная независимость источников достаточна для исключения действительной квантовой теории без требования полной независимости
2. Количественные соотношения компромисса: Выведены точные соотношения компромисса между степенью независимости источников и достижимыми значениями Белла в действительной квантовой теории (через иерархию полуопределённого программирования)
3. Необходимые и достаточные ресурсы: Доказано, что в сценарии Renou и соавторов 1 ebit запутанности (соответствующая максимальной запутанности двух rebитов) является необходимой и достаточной:
   • Необходимость: через самотестирование (self-testing) показано, что достижение максимального значения Белла $6\sqrt{2}$ требует состояния $\bar{\varrho}_{S_1S_2}=\frac{1}{2}(\Phi^-+\Psi^+)$ с мерой запутанности $E_F=1$ и расстоянием до разделимого состояния $D_{Sep}=\frac{1}{2}$
   • Достаточность: такая запутанность достаточна для моделирования любого квантового эксперимента в этой сети
4. Общая теорема моделирования: Расширена конструкция McKague; доказано, что m rebитов запутанности $\bar{\varrho}_S^{(m)}$ достаточно для моделирования комплексного квантового эксперимента с произвольными m независимыми источниками
5. Количественное значение для экспериментов: Придано количественное значение существующим экспериментальным результатам (например, значение Белла 8.09 требует $D_{Sep}\geq 0.2$)

Подробное описание методов

Определение задачи

В трёхсторонней сетевой конфигурации (рис. 1):

• Установка: Три стороны — Alice (A), Bob (B), Charlie (C); два источника $S_1$ (распределяет AB) и $S_2$ (распределяет BC)
• Измерения: Alice с входом $x\in\{1,2,3\}$ выдаёт $a\in\{1,-1\}$, Bob выдаёт $b\in\{00,01,10,11\}$, Charlie с входом $z\in\{1,...,6\}$ выдаёт $c\in\{1,-1\}$
• Цель: Анализ верхней границы значения Белла, достижимой действительной квантовой теорией, когда источники могут разделять частичные квантовые корреляции $\varrho_{S_1S_2}$

Выражение теста Белла

Используется функционал Белла Renou и соавторов: $B(P) = \sum_{b\in\{0,1\}^2} B_b(P)$ где каждый $B_b(P)$ является комбинацией трёх CHSH тестов между Alice и Charlie (уравнение 2). Ключевые значения:

• Максимум в комплексной квантовой теории: $B_C^{sup}=6\sqrt{2}\approx 8.49$
• Верхняя граница для независимых источников в действительной квантовой теории: $B_R^{ub}\leq 7.66$

Основные технические методы

1. Меры запутанности (Приложение A)

Определены две геометрические меры:

• Расстояние до разделимого множества: $D_{Sep}(\varrho)=\inf_{\sigma\in Sep}\frac{1}{2}\|\varrho-\sigma\|$
• Расстояние до независимого множества: $D_{Ind}(\varrho)=\inf_{\sigma\in Ind}\frac{1}{2}\|\varrho-\sigma\|$
• Формирование запутанности (Entanglement of Formation): $E_F(\varrho)$

Ключевые свойства:

• Монотонны при локальных операциях в действительной квантовой теории
• Для двухrebитного состояния $\bar{\varrho}_{S_1S_2}$: $D_{Ind}=D_{Sep}=\frac{1}{2}$, $E_F=1$ (все достигают максимальных значений)

2. Иерархия полуопределённого программирования (SDP, уравнение 6)

Построена задача оптимизации с ограничениями: $\max B(P) \quad \text{s.t.} \quad D_{Sep}(\tau_{AC})\leq \epsilon$

Инновация: Включение ограничения на расстояние в метрике следа в задачу моментов (moment problem):

• Использование матрицы моментов $\Gamma^n(\tau)$ (иерархия n-го уровня)
• Применение ограничений положительной полуопределённости и условий разделимости $\sigma^{T_A}=\sigma$
• Условие расстояния в метрике следа преобразуется в: $\begin{pmatrix} \Gamma^n(M) & \Gamma^n(\tau-\sigma) \\ \Gamma^n(\tau-\sigma)^T & \Gamma^n(N) \end{pmatrix}\geq 0, \quad \Gamma^n(M)_{(1,1)}+\Gamma^n(N)_{(1,1)}\leq 4\epsilon$

Вычисления: Иерархия 2-го уровня, использование YALMIP+Mosek, требуется 500 ГБ памяти, время выполнения 5-6 дней

3. Линейная граница (уравнение 7, Приложение C)

Через норму оператора выведена простая граница: $D_{Sep}(\tau_{AC}) \geq \frac{B(P)-B_R^{ub}}{B_C^{sup}-B_C^{inf}} = \frac{B(P)-7.66}{12\sqrt{2}}$

Идея доказательства:

• Оператор Белла удовлетворяет $\text{tr}(B\rho)=B(P)$
• Использование $\text{tr}(B(\rho-\sigma))\leq D(\rho,\sigma)(B_C^{sup}-B_C^{inf})$
• Для любого разделимого состояния $\sigma$: $\text{tr}(B\sigma)\leq B_R^{ub}$

4. Конструкция действительного моделирования (Приложение D)

Кодирование в эталонной системе отсчёта:

• Каждой $d$-мерной комплексной системе $C_i$ соответствует $2d$-мерная действительная система $\bar{R}_i=R_iL_i$
• $L=L_1...L_n$ служит "эталоном комплексности", кодируемым в логическом подпространстве: $|R\rangle_L = \frac{1}{\sqrt{2}}(\bigotimes_i|y^+\rangle_{L_i}+\bigotimes_i|y^-\rangle_{L_i})$$|I\rangle_L = \frac{i}{\sqrt{2}}(\bigotimes_i|y^+\rangle_{L_i}-\bigotimes_i|y^-\rangle_{L_i})$ где $|y^\pm\rangle=(|0\rangle\pm i|1\rangle)/\sqrt{2}$

Ключевое свойство: Действительный унитарный оператор $J=i\sigma_Y$, действующий на любой $L_j$, моделирует мнимую единицу: $J_{L_j}|R\rangle_L=|I\rangle_L, \quad J_{L_j}|I\rangle_L=-|R\rangle_L$

Представление состояния (инвариантное к фазе): $\varrho_C \sim \varrho_{RL} = \varrho_R^{Re}\otimes\frac{|R\rangle\langle R|+|I\rangle\langle I|}{2} + \varrho_R^{Im}\otimes\frac{|I\rangle\langle R|-|R\rangle\langle I|}{2}$

Локальная трансляционность (Local Broadcastability):

• Состояние эталона $\bar{\varrho}_L^{(n)}$ может быть расширено локальными операциями: $\bar{\varrho}_L^{(n)}\xrightarrow{LO}\bar{\varrho}_{LL'}^{(2n)}$
• Маргинальные состояния остаются неизменными: $\text{tr}_{L'}\bar{\varrho}_{LL'}^{(2n)}=\bar{\varrho}_L^{(n)}$
• Это невозможно в комплексной квантовой теории (теорема о запрете локальной трансляции), демонстрируя операциональное различие между двумя теориями

Технические инновации

1. Формализация частичной независимости: Впервые количественно охарактеризована степень корреляции источников (через $D_{Sep}$, $E_F$) и её связь с нарушением Белла
2. Инновация в SDP ограничениях: Встраивание непрерывного ограничения на расстояние в метрике следа в дискретную задачу моментов, высокая техническая сложность
3. Доказательство плотности: В идеальном случае границы плотны ($\epsilon=0.5$ при точном достижении $6\sqrt{2}$)
4. Перспектива теории ресурсов: Размещение проблемы в рамках теории квантовых ресурсов, чёткое определение свободных состояний (Sep/Ind) и свободных операций (LOCC/LO)
5. Применение связанной запутанности: Использование связанной запутанности, локально трансляционной в действительной квантовой теории, которая не существует в комплексной теории

Экспериментальная установка

Экспериментальный сценарий

• Топология сети: Сценарий двойной локальности (bilocality), два источника и два приёмника
• Конфигурация измерений: Alice с 3 входами, Charlie с 6 входами, Bob с фиксированными измерениями (4 выхода)
• Квантовые состояния: В комплексной теории используются максимально запутанные состояния и специфические измерения для достижения $6\sqrt{2}$

Существующие экспериментальные данные

В работе проанализированы три опубликованных эксперимента:

1. Chen и соавторы (2022, PRL 128:040403): Значение Белла 8.09(1) → требует $D_{Sep}\geq 0.2$
2. Li и соавторы (2022, PRL 128:040402): Использование другого выражения Белла
3. Wu и соавторы (2022, PRL 129:140401): Значение Белла 7.83(3) → требует $D_{Sep}\geq 0.05$

Вычислительные ресурсы

• Программное обеспечение: MATLAB + YALMIP + решатель Mosek
• Оборудование: Кластер высокопроизводительных вычислений, 500 ГБ ОЗУ
• Время выполнения: 5-6 дней на каждое значение $\epsilon$
• Альтернатива: Решатель SCS может работать на настольном компьютере (1-2 часа), но с меньшей точностью

Экспериментальные результаты

Основные результаты (таблица I)

Ключевые находки:

1. SDP граница значительно превосходит линейную: Например, при $B=8.06$ SDP даёт $\epsilon_1=20\%$ vs линейная граница $\epsilon_2=2.4\%$
2. Проверка плотности: При $\epsilon_1=50\%$ $B=8.4953\approx 6\sqrt{2}$ (равны в пределах численной точности)
3. Экспериментальные следствия:
   • Эксперимент Chen (8.09): действительная квантовая теория требует $D_{Sep}\geq 0.2$ корреляции источников
   • Эксперимент Wu (7.83): требует $D_{Sep}\geq 0.05$

Анализ идеального случая

Результаты самотестирования: При достижении $B=6\sqrt{2}$ редуцированное состояние Alice-Charlie самотестируется как: $\bar{\varrho}_{AC} = \frac{1}{2}(\Phi^-+\Psi^+) = \frac{1}{4}\begin{pmatrix}1&0&0&-1\\0&1&1&0\\0&1&1&0\\-1&0&0&1\end{pmatrix}$

Меры запутанности (Приложение A):

• $D_{Sep}(\bar{\varrho})=D_{Ind}(\bar{\varrho})=\frac{1}{2}$ (максимальные значения)
• $E_F(\bar{\varrho})=1$ ebit (максимальная запутанность двух rebитов)
• По самотестированию состояние источника $\varrho_{S_1S_2}$ должно удовлетворять тем же границам

Достаточность (предложение): Такое состояние достаточно для моделирования любого комплексного квантового эксперимента в сети

Общая теорема моделирования

Теорема: Любой комплексный квантовый эксперимент с m независимыми источниками может быть смоделирован действительной квантовой теорией, если источники изначально разделяют: $\bar{\varrho}_S^{(m)} = \frac{1}{2}\left(\bigotimes_{i=1}^m|y^+\rangle\langle y^+|_{S_i} + \bigotimes_{i=1}^m|y^-\rangle\langle y^-|_{S_i}\right)$

Ключевые моменты доказательства:

1. Это состояние содержит 1 ebit формирования запутанности (через любое двудольное разбиение)
2. Одновременно локально трансляционно: $\bar{\varrho}_S^{(m)}\xrightarrow{LO}\bar{\varrho}_{SL}^{(m+n)}$
3. Измерения не расходуют запутанность эталона
4. Для $m=2$ это точно самотестируемое состояние

Связанные работы

Исторический контекст

1. Stueckelberg (1960): Первое предложение действительной гильбертовой квантовой теории
2. Wootters (1990), Caves и соавторы (2002): Исследование локальной достижимости действительных квантовых состояний
3. McKague и соавторы (2009): Доказательство того, что действительная квантовая теория может моделировать комплексную (требуется вспомогательная запутанность)
4. Hardy & Wootters (2012): Конечная целостность и действительная векторная квантовая теория
5. Chiribella и соавторы (2010), Barnum и соавторы (2020): Исследование в рамках вероятностной теории

Прорыв в сетевых сценариях

• Renou и соавторы (2021, Nature): Первое экспериментальное различие двух теорий в сетевом сценарии
  • Ключевой момент: предположение об независимости источников исключает общую запутанность
  • Границы значения Белла: $B_R^{ub}=7.66 < B_C^{sup}=6\sqrt{2}$
  • Общая случайность не может спасти действительную квантовую теорию

Отношение данной работы к предыдущим

• Расширение работы Renou: Ослабление независимости, количественный анализ частичной независимости
• Расширение работы McKague: От одного эксперимента к сетевому сценарию, уточнение минимальных ресурсов
• Отличие от последних работ:
  • Barrios и соавторы (2025, arXiv:2503.17307): Модификация определения состояния, чтобы эталон "выглядел" независимым
  • Hoffreumon & Woods (2025, arXiv:2504.02808): Модификация правил тензорного произведения для встраивания комплексной теории
  • Позиция данной работы: Сосредоточение на экспериментальном различии действительной vs комплексной теории, а не на переформулировке

Заключение и обсуждение

Основные выводы

1. Частичная независимость достаточна: Полная независимость источников не требуется; частичная независимость достаточна для исключения действительной квантовой теории
2. Количественный компромисс: Установлены точные соотношения между значением Белла и требуемыми корреляциями источников (таблица I)
3. Минимальные ресурсы: 1 ebit запутанности является необходимым и достаточным (для двухисточникового сценария)
4. Универсальная конструкция: m-rebитное запутанное состояние может моделировать любой эксперимент с m источниками
5. Экспериментальное значение: Результаты существующих экспериментов содержат количественные нижние границы на корреляции источников

Ограничения

1. Вычислительная сложность: Иерархия SDP требует огромных вычислительных ресурсов, ограничивая анализ более высокой точности
2. Специфичность сценария: Результаты применимы к конкретной сетевой топологии (двухисточниковая, трёхсторонняя); другие сети требуют отдельного анализа
3. Идеализирующие предположения:
   • Идеальные измерения (без шума)
   • Конечномерные гильбертовы пространства
   • Нерелятивистская квантовая теория
4. Экспериментальные вызовы:
   • Существующие эксперименты не достигают полного отсутствия лазеек (loophole-free)
   • Независимость источников сложно гарантировать в реализациях на чипах
   • Значения Белла остаются ниже теоретического максимума

Будущие направления

1. Другие сетевые топологии: Обобщение на звездообразные, цепочечные и другие сети
2. Робастность к шуму: Анализ влияния реального шума на выводы
3. Более эффективные алгоритмы: Снижение сложности решения SDP
4. Экспериментальные улучшения:
   • Повышение значения Белла (текущее 8.09 vs теория 8.49)
   • Реализация экспериментов без лазеек
   • Лучший контроль независимости источников
5. Философские следствия: Глубокое исследование онтологической интерпретации "пространства запутанности"

Глубокая оценка

Достоинства

1. Теоретическая строгость:
   • Полная математическая база (теория ресурсов, SDP, самотестирование)
   • Двусторонние доказательства необходимости и достаточности
   • Численная проверка плотности границ
2. Новизна:
   • Впервые количественно охарактеризована частичная независимость
   • Встраивание ограничения на расстояние в метрике следа в задачу моментов (высокая техническая сложность)
   • Выявление уникальных свойств действительной теории (локально трансляционная связанная запутанность)
3. Экспериментальная релевантность:
   • Придание нового смысла существующим экспериментам
   • Руководство для проектирования будущих экспериментов
   • Операциональные критерии
4. Ясность изложения:
   • Подробный исторический контекст
   • Полные технические детали (приложения)
   • Чёткое сравнение с связанными работами

Недостатки

1. Вычислительные узкие места:
   • Требование 500 ГБ памяти ограничивает доступность
   • Вычисления только до 2-го уровня иерархии (возможно, не плотно)
   • Большой разрыв между линейной границей и SDP (указывает на неоптимальность линейной границы)
2. Специфичность сценария:
   • Результаты зависят от конкретного выражения Белла
   • Фиксированная сетевая топология
   • Обобщаемость требует дальнейшей проверки
3. Экспериментальный разрыв:
   • Значения Белла в существующих экспериментах значительно ниже теоретического максимума
   • Экспериментальная проверка независимости источников затруднена
   • Эксперименты без лазеек ещё не реализованы
4. Философские споры:
   • Онтологический статус "пространства запутанности" недостаточно обсуждён
   • Фундаментальное расхождение с работами Barrios и Hoffreumon (проблема определения vs экспериментальная проблема)

Влияние

1. Теоретический вклад:
   • Углубление понимания роли комплексных чисел в квантовой теории
   • Установление количественной базы для частичной независимости
   • Связь сетевых сценариев с теорией ресурсов
2. Экспериментальное руководство:
   • Количественные целевые показатели для экспериментального проектирования
   • Количественные требования к независимости источников
   • Новая перспектива интерпретации экспериментальных результатов
3. Методология:
   • Техника SDP+ограничение на расстояние в метрике следа применима к другим проблемам
   • Парадигма комбинирования самотестирования и теории ресурсов
4. Воспроизводимость:
   • Открытый исходный код (GitHub)
   • Подробное описание методов
   • Однако требования к вычислительным ресурсам высоки

Области применения

1. Исследование основ квантовой механики:
   • Экспериментальная проверка математической структуры квантовой теории
   • Исследование квантовых корреляций в сетевых сценариях
   • Другие сценарии проверки необходимости комплексных чисел
2. Квантовая информация:
   • Проектирование квантовых сетей
   • Анализ ресурсов запутанности
   • Протоколы, независимые от устройства
3. Экспериментальная физика:
   • Оптические квантовые сетевые эксперименты
   • Сетевые эксперименты на сверхпроводящих квантовых чипах
   • Сетевые эксперименты с ионными ловушками
4. Теоретические расширения:
   • Квантовые теории над другими числовыми полями (кватернионы и т.д.)
   • Обобщённые вероятностные теории
   • Сетевые структуры в квантовой гравитации

Библиография

Ключевые ссылки

1. Renou et al., Nature 600, 625 (2021): Исходное предложение сетевого сценария
2. McKague et al., PRL 102, 020505 (2009): Основа конструкции действительного моделирования
3. Chen et al., PRL 128, 040403 (2022): Первая экспериментальная реализация
4. Caves et al., Found. Phys. Lett. 14, 199 (2001): Меры действительной запутанности
5. Bancal et al., Quantum 5, 401 (2021): Самотестирование при конечной статистике

Последние спорные работы

6. Barrios et al., arXiv:2503.17307 (2025): Действительная квантовая теория с модифицированным определением состояния
7. Hoffreumon & Woods, arXiv:2504.02808 (2025): Действительная квантовая теория с модифицированными правилами тензорного произведения

Общая оценка: Это высококачественная статья, имеющая важное теоретическое и экспериментальное значение в области основ квантовой механики. Благодаря строгому математическому анализу и инновационной технике SDP, работа продвигает пионерский результат Renou и соавторов на количественный уровень, обеспечивая более детальное понимание неизбежности комплексных чисел в квантовой теории. Несмотря на вычислительную сложность и экспериментальные вызовы, установленная теоретическая база и методология имеют долгосрочную ценность как для исследований основ квантовой механики, так и для экспериментов с квантовыми сетями. Интересный контраст с последними работами по переформулировке теории (Barrios, Hoffreumon) подчёркивает тонкость вопроса "что такое действительная квантовая теория" как проблемы определения.