Перколяция отрицательности в квантовых сетях с непрерывными переменными

Предыстория и академическая родословная

Истоки и академическая родословная

Фундаментальная концепция распределения квантовой запутанности на большие расстояния, от микросхем до глобальных сетей, является центральной для квантовых информационных технологий. Эта возможность лежит в основе таких приложений, как квантовые вычисления и безопасная квантовая связь. Коллективное поведение этого распределения запутанности в крупномасштабных системах часто моделируется как квантовая сеть (КC). Идея "перколяции запутанности" — концептуальный мост между распределением запутанности и классическими теориями перколяции — впервые появилась в 2007 году, первоначально связывая вероятностные схемы распределения запутанности с классической перколяцией связей. Последующие достижения, в частности разработка схем детерминированной передачи запутанности (ДПЗ), привели к более сложным отображениям, таким как теория перколяции конкуренции (ТПК).

Однако существенным ограничением этих более ранних подходов было их исключительное внимание к квантовым системам с дискретными переменными (ДП), которые обычно включают кубиты. Эти модели игнорировали квантовые системы с непрерывными переменными (НП) — альтернативную архитектуру, которая особенно заметна в оптических системах. Системы НП используют непрерывные степени свободы световых полей (такие как амплитуда и фаза) и естественным образом генерируют гауссовы состояния, предлагая такие преимущества, как безусловная и последовательная генерация запутанности, масштабируемость и интеграция на чипах. Фундаментальной "болевой точкой", мотивировавшей эту работу, было отсутствие комплексной структуры для понимания того, как запутанность распределяется и "перколирует" в этих все более актуальных КC на основе НП. Предыдущие теории просто не были готовы описывать уникальную физику непрерывных квантовых переменных, оставляя без ответа ключевые вопросы об их коллективных характеристиках и потенциале для распределения запутанности на большие расстояния. Этот пробел означал, что отличительная сетевая физика систем НП оставалась в значительной степени неисследованной, препятствуя развитию надежных, масштабируемых квантовых технологий на основе НП.

Интуитивные термины предметной области

• Квантовые сети (КC) с непрерывными переменными (НП): Представьте себе квантовый интернет, где вместо отправки информации с использованием дискретных сигналов "включено/выключено" (как цифровые биты) мы используем непрерывные свойства световых волн, такие как их точная яркость или фаза. КC НП подобны квантовому интернету, построенному с использованием этих "аналоговых" световых сигналов, которые естественным образом генерируются оптическими платформами.
• Перколяция запутанности: Думайте об этом как о цепной реакции. Если у вас есть сеть отдельных квантовых соединений (как звенья в цепи), перколяция запутанности описывает, сколько из этих соединений должно быть достаточно сильными для формирования большой, непрерывной "супер-связи" запутанности по всей сети. Речь идет о том, как локальные квантовые связи могут создавать глобальную квантовую связность.
• Двухмодовые сжатые вакуумные состояния (ДМСВС): Это особые квантовые состояния света, которые действуют как две идеально синхронизированные, квантовые "пружины". Если измерить свойство одной пружины, вы мгновенно узнаете соответствующее свойство другой, независимо от того, как далеко они находятся. Они являются распространенным и мощным способом создания запутанных связей в КC НП, а их "параметр сжатия" указывает на силу их корреляции.
• Отрицательность отношения ($x$): Если запутанность — это "сила" квантовой связи, то отрицательность отношения — это специфический "измеритель силы" для нее. Он дает значение от 0 (нет запутанности) до 1 (максимальная запутанность). Для ДМСВС она напрямую связана с тем, насколько "сжаты" квантовые "пружины", предоставляя простую, ограниченную меру их квантовой связи.
• Фазовый переход смешанного порядка: Большинство фазовых переходов либо плавные (как вода, постепенно нагревающаяся), либо резкие (как вода, внезапно кипящая). Переход смешанного порядка — это своеобразная смесь: он демонстрирует внезапный, разрывный скачок в критической точке, но также проявляет дальнодействующие корреляции, что означает, что изменения в одной точке могут иметь далеко идущие, тонкие эффекты по всей системе. Это сложный, двойственный сдвиг.

Таблица обозначений

Обозначение	Описание

Определение проблемы и ограничения

Формулировка основной проблемы и дилемма

Основная проблема, рассматриваемая в данной работе, заключается в отсутствии комплексной теоретической структуры для понимания и распределения запутанности в квантовых сетях с непрерывными переменными (КC НП). Исторически исследования квантовых сетей в значительной степени фокусировались на архитектурах с дискретными переменными (ДП), где схемы распределения запутанности хорошо изучены и могут быть отображены на установленные классические теории перколяции. Однако системы НП, особенно основанные на оптических платформах, предлагают значительные преимущества для масштабируемости и интеграции на чипах благодаря их способности последовательно генерировать гауссовы состояния и запутанность.

Входное/текущее состояние: ландшафт, где КC на основе ДП имеют четко определенные протоколы распределения запутанности и соответствующие теории перколяции (например, перколяция конкуренции), но КC на основе НП лишены такого единого понимания. Остаются ключевые вопросы относительно того, как эффективно распределять запутанность по КC, закодированным в НП, и приводит ли их непрерывная природа к фундаментально отличной сетевой физике по сравнению с системами ДП.

Выходное/целевое состояние: создание новой теоретической структуры, названной "теорией перколяции отрицательности (ТПО)", специально адаптированной для КC на основе НП. Эта структура направлена на точное определение того, как запутанность, количественно выраженная ограниченной мерой, называемой "отрицательность отношения" ($X_N$), перколирует через эти сети. Работа стремится представить схему детерминированной передачи запутанности (ДПЗ) для гауссовых состояний НП и проанализировать ее коллективное поведение с использованием методов статистической физики, в конечном итоге раскрывая уникальные критические явления, управляющие КC на основе НП.

Точное недостающее звено или математический пробел: отсутствие теории перколяции, которая могла бы точно описать распределение запутанности в системах НП, преодолевая концептуальный разрыв между хорошо установленными теориями перколяции запутанности ДП и неисследованной областью НП. Данная работа пытается устранить этот пробел, представляя схему ДПЗ "гауссово-гауссово" (Г-Г) и разрабатывая ТПО на основе меры отрицательности отношения $X_N \in [0,1]$, которая для двухмодовых сжатых вакуумных состояний (ДМСВС) упрощается до $x = \tanh r$.

Болезненный компромисс или дилемма, которая загнала в ловушку предыдущих исследователей и которую данная работа раскрывает для систем НП, заключается в природе их фазового перехода. В то время как системы НП предлагают многообещающие пути для масштабируемых квантовых технологий, работа показывает, что ТПО демонстрирует фазовый переход смешанного порядка. Это означает, что, в отличие от непрерывных переходов, наблюдаемых в системах ДП (которые относительно стабильны), КC на основе НП испытывают резкий, разрывный скачок глобальной запутанности при критическом пороге ($X_{th}$). Этот резкий переход вносит серьезную практическую уязвимость: обычные механизмы обратной связи, которые имеют решающее значение для стабилизации крупномасштабных КC против деградации окружающей среды, становятся внутренне нестабильными вблизи этого порога, рискуя постоянными колебаниями "вкл/выкл". Таким образом, дилемма заключается между присущими преимуществами масштабируемости систем НП и значительными проблемами в поддержании их стабильности из-за их уникального и резкого критического поведения.

Ограничения и режимы отказа

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

1. Нестандартные оптические компоненты для концентрации запутанности: Фундаментальное физическое ограничение заключается в том, что концентрация запутанности из чистых гауссовых состояний, ключевой компонент схемы ДПЗ Г-Г, не может быть практически достигнута с использованием стандартных оптических компонентов. В работе явно указано, что это требует "нестандартных оптических компонентов" и включает "негауссовы LOCC" [49]. Это подразумевает значительное препятствие для экспериментальной реализации и практического осуществления.
2. Математическая сложность непрерывных переменных: В отличие от дискретных кубитов, системы НП работают с непрерывными степенями свободы, требуя различных математических инструментов и мер запутанности. Введение "отрицательности отношения" и ее применение в рамках перколяционной теории для непрерывных переменных является нетривиальной математической задачей, отличной от более простых дискретных вероятностей или мер конкуренции, используемых в системах ДП.
3. Динамика фазового перехода смешанного порядка: Открытие фазового перехода смешанного порядка в ТПО является серьезным теоретическим и практическим ограничением. Этот тип перехода, характеризующийся как разрывным скачком глобальной запутанности, так и расходящейся длиной корреляции, беспрецедентен в квантовых сетях. Это означает, что поведение системы резко меняется, что затрудняет его прогнозирование и контроль вблизи критической точки.
4. Нестабильность обратной связи и задержка в реальном времени: Наиболее критическое практическое ограничение возникает из-за фазового перехода смешанного порядка: обычные механизмы обратной связи, широко используемые в квантовых оптических реализациях для стабилизации, становятся внутренне нестабильными вблизи критического порога ($X_{th}$). Как показано на рис. 4(b), это приводит к долгосрочным колебаниям "вкл/выкл", что делает поддержание надежной работы чрезвычайно сложным. Это подчеркивает строгое требование к задержке в реальном времени для систем управления, поскольку любая задержка или стандартная стратегия обратной связи может привести к сбою системы или нестабильности. В работе отмечается, что эта нестабильность сохраняется в широком диапазоне настроек обратной связи, требуя "более тщального проектирования обратной связи для КC на основе НП".
5. Некоммутативность параллельных правил: Для концентрации запутанности параллельное правило не является коммутативным, что означает, что порядок, в котором концентрируются связи, влияет на конечную запутанность. Это добавляет сложности к проектированию и оптимизации сети, поскольку достижение оптимальной запутанности требует определенного порядка (например, помещение наибольшего параметра сжатия в $\sinh r_1$).
6. Приближение для несерийно-параллельных топологий: Для сложных топологий сетей, которые не являются строго серийно-параллельными, точные правила передачи для ТПО неизвестны. Авторам приходится прибегать к "приближенным преобразованиям звезда-сетка" для расчета отрицательности отношения пересечения губки. Это указывает на вычислительное или аналитическое ограничение в точном моделировании распределения запутанности в произвольных, сложных структурах КC НП.
7. Деградация запутанности: Реалистичные квантовые состояния и их запутанность неизбежно деградируют со временем из-за влияния окружающей среды. В работе предполагается экспоненциальное затухание отрицательности отношения $x(t) \sim \exp(-t/\tau)$, где $\tau$ характеризует шум и декогеренцию. Это присущее физическое ограничение означает, что активная стабилизация всегда необходима, а нестабильность механизмов обратной связи вблизи критического порога делает эту задачу особенно трудной для систем НП. Плохая эффективность обратной связи является значительным режимом отказа.

Почему этот подход

Неизбежность выбора

Выбор авторами схемы детерминированной передачи запутанности (ДПЗ) "гауссово-гауссово" (Г-Г) в сочетании с новой теорией перколяции отрицательности (ТПО) был не просто предпочтением; это была необходимость, обусловленная фундаментальной природой квантовых сетей с непрерывными переменными (КC НП). Традиционные "передовые" (SOTA) методы анализа квантовых сетей, такие как те, что основаны на стандартных теориях перколяции запутанности для систем с дискретными переменными (ДП) (например, перколяция конкуренции), были по своей сути недостаточны.

Точный момент осознания этого проистекает из признания того, что, хотя архитектуры ДП преимущественно двигали квантовые сети, оптические платформы естественным образом генерируют гауссовы состояния, которые являются общими состояниями систем НП. Это делает КC на основе НП чрезвычайно привлекательным путем для масштабируемых, интегрированных на чипах квантовых вычислений и связи. Ключевым выводом было то, что существующие теории перколяции были "исключительно ограничены системами с дискретными переменными (ДП) (например, кубитами)" и "игнорировали альтернативную архитектуру, особенно заметную в оптических системах: систему с непрерывными переменными (НП)". Кодирование ДП полагается на случайные однофотонные источники, что приводит к непредсказуемости. В отличие от этого, кодирование НП предлагает "безусловную, последовательную генерацию запутанности посредством нелинейных оптических взаимодействий", обходя эти препятствия и открывая значительный потенциал для масштабируемости. Следовательно, новая теоретическая структура была не просто улучшением, а единственным жизнеспособным путем для точного моделирования и понимания распределения запутанности в этих отличительных системах НП.

Сравнительное превосходство

Этот метод демонстрирует качественное превосходство, далеко выходящее за рамки простых метрик производительности, фундаментально переопределяя понимание перколяции запутанности в системах НП. Его структурное преимущество заключается в способности улавливать уникальные физические явления, которые теории на основе ДП просто не могут.

Во-первых, ТПО вводит новую, ограниченную меру запутанности, называемую "отрицательность отношения" ($X_N \in [0,1]$), которая для двухмодовых сжатых вакуумных состояний (ДМСВС) упрощается до $x = \tanh r$. Это качественно превосходит, поскольку она специально адаптирована для гауссовых состояний НП, в отличие от конкуренции, которая используется для систем ДП-квантов. Это позволяет прямое и соответствующее количественное определение запутанности в области НП.

Во-вторых, и самое главное, ТПО раскрывает "фазовый переход смешанного порядка", явление, "беспрецедентное" в квантовых сетях. Он характеризуется как резким, разрывным изменением глобальной запутанности при критическом пороге $X_{th}$, так и расходящейся длиной корреляции. Это резко контрастирует с классической перколяцией или перколяцией конкуренции, которые демонстрируют непрерывные (второго порядка) фазовые переходы. Более того, ТПО демонстрирует уникальный тепловой критический показатель $z_v \approx 1/2$ на решетках Бете, который отличается от $z_v \approx 1$, найденного в классической перколяции и перколяции конкуренции. Эта разница означает, что КC на основе НП принадлежат к "новому классу универсальности", подразумевая фундаментально отличающуюся базовую динамику.

Наконец, ТПО достигает этого без необходимости дополнительных степеней свободы, в отличие от классической взаимозависимой перколяции, которая требует дополнительных слоев (M) для индукции переходов смешанного порядка. Эта присущая простота в моделировании сложного поведения смешанного порядка для систем НП представляет собой значительное структурное преимущество, обеспечивая более экономное, но точное описание их коллективного поведения.

Соответствие ограничениям

Выбранная схема ДПЗ Г-Г и ТПО идеально соответствуют присущим ограничениям квантовых сетей с непрерывными переменными, образуя "брак" между суровыми требованиями проблемы и уникальными свойствами решения.

Основное ограничение — это фокус на системах с непрерывными переменными (НП) и гауссовых состояниях, которые естественным образом генерируются оптическими платформами. Схема ДПЗ Г-Г специально разработана для них: она принимает ДМСВС (класс запутанных гауссовых состояний НП) на входе и производит новые ДМСВС на выходе. ТПО, в свою очередь, построена на "отрицательности отношения", мере запутанности, специально подходящей для этих гауссовых состояний НП, в отличие от мер, используемых для систем ДП.

Другое критическое требование — детерминированное распределение запутанности посредством локальных операций и классической связи (LOCC). Схема ДПЗ Г-Г использует детерминированные операции обмена и концентрации запутанности, адаптированные для ДМСВС. Эти операции описаны как "серийные и параллельные правила", которые являются фундаментальными протоколами LOCC. Это гарантирует, что предложенный метод физически реализуем в рамках установленных парадигм квантовой информации.

Проблема также неявно требует структуры, которая может решать вопросы масштабируемости и коллективного поведения в больших сетях. Отображая схему ДПЗ Г-Г на теорию перколяции, авторы предоставляют структуру статистической физики, способную анализировать крупномасштабные КC. Это позволяет изучать критические явления и фазовые переходы, которые необходимы для понимания и проектирования надежных, масштабируемых квантовых сетей. Способность метода выявить фазовый переход смешанного порядка и новый класс универсальности напрямую отвечает потребности в понимании уникальных коллективных характеристик систем НП, что было значительным концептуальным пробелом.

Отклонение альтернатив

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

Во-первых, существующие теории перколяции запутанности, такие как классическая перколяция связей и теория перколяции конкуренции (ТПК), "исключительно ограничены системами с дискретными переменными (ДП) (например, кубитами)". Эти теории полагаются на меры запутанности, такие как вероятность или конкуренция, которые не подходят для характеристики запутанности в гауссовых состояниях НП. Авторы явно заявляют, что их ТПО "отличается от своих аналогов ДП", поскольку она использует "отрицательность отношения" ($X_N$), меру, подходящую для ДМСВС.

Во-вторых, динамика и критические явления, наблюдаемые в системах НП, фундаментально отличаются. В работе подчеркивается, что ТПО демонстрирует "фазовый переход смешанного порядка", характеризующийся разрывным скачком глобальной запутанности. Это резко контрастирует с классической перколяцией или перколяцией конкуренции, где фазовый переход является непрерывным. Более того, критический показатель $z_v \approx 1/2$ для ТПО отличается от $z_v \approx 1$, найденного в теориях ДП, что указывает на то, что КC на основе НП принадлежат к "новому классу универсальности". Это означает, что физика, управляющая распределением запутанности и связностью в сетях НП, качественно отличается, и модели ДП просто не могут уловить эти уникальные особенности. Применение моделей ДП к системам НП привело бы к неточному и неполному пониманию их поведения, особенно в отношении критических уязвимостей и проблем стабилизации вблизи порога.

FIG. 3. Entanglement percolation in two-dimensional square lattices. (a) XSC for square lattices with different side length L. (b) Scaling of the correlation length ξ near the critical threshold χth ≈0.715 follows ξ ∼|χ −χth|−ν, with a fitted critical exponent ν = 0.02 ± 0.02

Математический и логический механизм

Основное уравнение

Основным математическим механизмом, лежащим в основе теории перколяции отрицательности (ТПО) в квантовых сетях с непрерывными переменными, являются два фундаментальных правила, которые управляют тем, как запутанность, количественно выраженная отрицательностью отношения $X$, комбинируется в различных топологиях сети: серийное правило для обмена запутанностью и параллельное правило для концентрации запутанности.

Серийное правило, выведенное из операций обмена запутанностью на $N$ двухмодовых сжатых вакуумных состояниях (ДМСВС), расположенных последовательно, задается как:
$$X_{\text{series}} = \prod_{j=1}^{N} X_j$$
Параллельное правило, полученное из операций концентрации запутанности на $K$ ДМСВС, расположенных параллельно, выражается как:
$$X_{\text{parallel}} = \frac{\max_{1 \le k \le K} X_k}{\sqrt{\max_{1 \le k \le K} X_k^2 + \prod_{k=1, k \ne \text{argmax}(X_k)}^K (1-X_k^2)}}$$

Поэлементный разбор

Давайте разберем эти уравнения, чтобы понять роль каждого компонента.

Для серийного правила: $X_{\text{series}} = \prod_{j=1}^{N} X_j$

• $X_{\text{series}}$:
  1) Математическое определение: Это эффективная отрицательность отношения конечного запутанного состояния, установленного между двумя удаленными узлами (например, Источником S и Целью T) после того, как все $N$ промежуточных связей в серийной цепи прошли обмен запутанностью. Это безразмерная величина в диапазоне от 0 до 1.
  2) Физическая/логическая роль: Она количественно определяет общую силу запутанности составной связи, образованной последовательным соединением нескольких отдельных запутанных связей. Более высокое значение $X_{\text{series}}$ указывает на более сильную эффективную запутанность.
  3) Почему умножение? Базовый физический процесс обмена запутанностью в серии включает мультипликативное комбинирование индивидуальных параметров сжатия ($\tanh r = \prod \tanh r_j$). Поскольку отрицательность отношения $X_j$ определяется как $\tanh r_j$, это напрямую переводится в произведение. Логически это отражает тот факт, что общая запутанность ограничена "слабейшим звеном" в мультипликативном смысле, подобно тому, как вероятности комбинируются для серии независимых событий.

• $X_j$:
  1) Математическое определение: Это отрицательность отношения $j$-й отдельной ДМСВС-связи в серийной цепи. Это безразмерная величина в диапазоне $[0,1]$.
  2) Физическая/логическая роль: Это фундаментальная единица силы запутанности для отдельной двудольной связи в квантовой сети с непрерывными переменными. Каждое $X_j$ характеризует запутанность прямого соединения между двумя соседними узлами.
  3) Почему $X_j$ (отрицательность отношения)? Авторы выбрали отрицательность отношения $X = \tanh r$ в качестве ограниченной меры запутанности, упрощающей анализ перколяции запутанности. Она предоставляет нормализованную, интуитивно понятную метрику силы запутанности.

• $\prod_{j=1}^{N}$:
  1) Математическое определение: Оператор произведения, указывающий, что все $N$ членов $X_j$ от $j=1$ до $N$ перемножаются.
  2) Физическая/логическая роль: Этот оператор математически реализует последовательное комбинирование сил запутанности. Он моделирует, как запутанность "распространяется" через цепь, где каждый шаг мультипликативно вносит вклад в конечную эффективную запутанность.
  3) Почему произведение вместо суммирования? Это отражает природу обмена запутанностью. В отличие от аддитивных процессов, "сила" составного запутанного состояния, образованного последовательными операциями, как правило, является произведением индивидуальных сил, указывая на кумулятивный эффект, где каждый шаг потенциально может уменьшить общую запутанность, если только все связи не являются идеальными ($X_j=1$).

Для параллельного правила: $X_{\text{parallel}} = \frac{\max_{1 \le k \le K} X_k}{\sqrt{\max_{1 \le k \le K} X_k^2 + \prod_{k=1, k \ne \text{argmax}(X_k)}^K (1-X_k^2)}}$

• $X_{\text{parallel}}$:
  1) Математическое определение: Это эффективная отрицательность отношения единого, сконцентрированного запутанного состояния, образованного между двумя узлами (S и T) путем объединения $K$ параллельных ДМСВС-связей. Это безразмерная величина в диапазоне $[0,1]$.
  2) Физическая/логическая роль: Она количественно определяет повышенную силу запутанности, достигаемую путем объединения нескольких независимых ресурсов запутанности между одними и теми же двумя узлами. Концентрация запутанности направлена на создание более сильной, единой запутанной связи из нескольких более слабых.
  3) Почему такая сложная форма? Эта форма возникает из преобразования правила параметра сжатия для параллельной концентрации ($\sinh r = \sinh r_1 \prod_{k=2}^{K} \cosh r_k$) в отрицательность отношения $X = \tanh r = \sinh r / \sqrt{1+\sinh^2 r}$. Структура отражает оптимальную стратегию приоритизации сильнейшей связи и то, как другие связи способствуют общему усилению.

• $X_k$:
  1) Математическое определение: Это отрицательность отношения $k$-й отдельной ДМСВС-связи в параллельной конфигурации. Это безразмерная величина в диапазоне $[0,1]$.
  2) Физическая/логическая роль: Подобно $X_j$ в серийном правиле, это базовая единица запутанности. В параллельном контексте это различные, независимые каналы запутанности между одними и теми же двумя узлами.
  3) Почему $X_k$ (отрицательность отношения)? В соответствии с серийным правилом, $X_k = \tanh r_k$ используется из-за его свойств как ограниченной меры запутанности, что делает его подходящим для анализа перколяции.

• $\max_{1 \le k \le K} X_k$:
  1) Математическое определение: Наибольшее значение среди $K$ входных отрицательностей отношения.
  2) Физическая/логическая роль: Этот член обозначает доминирующую роль сильнейшей отдельной параллельной связи в процессе концентрации запутанности. В работе отмечается, что оптимальная концентрация достигается путем приоритизации связи с наибольшим параметром сжатия (и, следовательно, наибольшей отрицательностью отношения). Это обеспечивает наиболее эффективное использование доступных ресурсов запутанности.
  3) Почему максимум? Это отражает стратегический выбор в протоколе концентрации запутанности для максимизации конечной запутанности. Сосредотачиваясь на сильнейшей начальной связи, протокол использует ее присущую силу как основу для усиления.

• $\sqrt{\max_{1 \le k \le K} X_k^2 + \prod_{k=1, k \ne \text{argmax}(X_k)}^K (1-X_k^2)}$:
  1) Математическое определение: Квадратный корень из суммы, где первый член — квадрат максимальной отрицательности отношения, а второй член — произведение $(1-X_k^2)$ для всех остальных связей.
  2) Физическая/логическая роль: Этот весь знаменатель имеет решающее значение для преобразования формы $\sinh r$ параллельного правила в форму $\tanh r$ отрицательности отношения, гарантируя, что $X_{\text{parallel}}$ остается ограниченным между 0 и 1. Произведение части, $\prod (1-X_k^2)$, происходит из членов $\cosh r_k$ в уравнении параметра сжатия, где $\cosh r_k = 1/\sqrt{1-X_k^2}$. Эти члены представляют собой коллективный вклад параллельных связей, не являющихся максимальными, в общую емкость запутанности.
  3) Почему квадратный корень и произведение $(1-X_k^2)$? Квадратный корень является прямым следствием тождества $\tanh r = \sinh r / \sqrt{1+\sinh^2 r}$. Произведение членов $(1-X_k^2)$ возникает из мультипликативной природы $\cosh r_k$ в исходном уравнении параметра сжатия для параллельной концентрации. Каждый член $(1-X_k^2)$ фактически равен $1/\cosh^2 r_k$, поэтому их произведение отражает комбинированное влияние не максимальных связей.

Пошаговый поток

Давайте проследим жизненный цикл абстрактной точки данных, которая в данном контексте является отрицательностью отношения $X$ запутанной связи, поскольку она проходит через эти математические операции.

1. Обмен запутанностью (серийное правило):
Представим, что мы хотим установить запутанную связь между узлом Источника (S) и узлом Цели (T), но они разделены $N-1$ промежуточными ретрансляционными узлами, $R_1, R_2, \dots, R_{N-1}$. Каждый сегмент $(S-R_1, R_1-R_2, \dots, R_{N-1}-T)$ является отдельной квантовой связью, каждая из которых характеризуется своей отрицательностью отношения $X_j$.

• Начальное состояние: Мы начинаем с $N$ различных отрицательностей отношения, $X_1, X_2, \dots, X_N$, представляющих запутанность каждой физической связи в цепи.
• Первая операция: Процесс начинается с выполнения операции обмена запутанностью на первом ретрансляционном узле, $R_1$. Это включает квантовое измерение мод в $R_1$, которые запутаны с S и $R_2$. Это измерение, в сочетании с классической связью, эффективно "обменивает" запутанность, создавая новую, прямую запутанную связь между S и $R_2$.
• Промежуточный расчет: Математически отрицательность отношения этой новой связи, назовем ее $X_{S,R_2}$, рассчитывается как произведение отрицательностей исходных связей: $X_{S,R_2} = X_1 \cdot X_2$. Исходные связи $(S,R_1)$ и $(R_1,R_2)$ фактически потребляются или трансформируются.
• Итерация: Эта вновь образованная связь $(S,R_2)$ с ее рассчитанной отрицательностью отношения $X_{S,R_2}$ затем выступает в качестве входных данных для следующего шага. Операция обмена запутанностью выполняется на $R_2$, комбинируя $X_{S,R_2}$ с $X_3$ (связь между $R_2$ и $R_3$). Новая эффективная связь $(S,R_3)$ будет иметь отрицательность отношения $X_{S,R_3} = X_{S,R_2} \cdot X_3 = X_1 \cdot X_2 \cdot X_3$.
• Конечный результат: Это итеративное умножение продолжается вдоль цепи. После $N-1$ таких операций устанавливается одна эффективная запутанная связь непосредственно между S и T. Ее отрицательность отношения, $X_{\text{series}}$, является произведением всех индивидуальных отрицательностей связей: $X_{\text{series}} = X_1 \cdot X_2 \cdot \dots \cdot X_N$. Это конечное значение представляет собой общую запутанность, доступную для связи или вычислений между S и T через этот серийный путь.

2. Концентрация запутанности (параллельное правило):
Теперь рассмотрим S и T, соединенные $K$ независимыми, параллельными квантовыми связями. Каждая связь $k$ имеет свою отрицательность отношения $X_k$. Цель состоит в том, чтобы объединить эти $K$ ресурсов в одно, более сильное запутанное состояние.

• Начальное состояние: У нас есть $K$ различных отрицательностей отношения, $X_1, X_2, \dots, X_K$, каждая из которых представляет собой независимый запутанный канал между S и T.
• Оптимальный выбор: Протокол сначала идентифицирует связь с наибольшей отрицательностью отношения, $\max_{1 \le k \le K} X_k$. Это критический шаг для оптимальной концентрации.
• Первая операция: Выполняется операция концентрации запутанности, обычно включающая сильнейшую связь и другую выбранную параллельную связь. Эта операция, использующая нестандартные локальные операции и классическую связь (LOCC), детерминированно преобразует эти два входных ДМСВС в одно, более запутанное ДМСВС и вакуумное состояние.
• Промежуточный расчет: Отрицательность отношения этой вновь сконцентрированной связи рассчитывается с использованием формулы параллельного правила. Член $\max X_k$ явно используется, а другие связи вносят свой вклад через свои факторы $(1-X_k^2)$ в знаменателе. Этот расчет эффективно "объединяет" запутанность.
• Итерация: Этот процесс повторяется. Вновь сконцентрированная связь (с ее обновленной отрицательностью отношения) затем объединяется с другой оставшейся параллельной связью, снова приоритизируя сильнейшую доступную связь среди оставшихся для последующих шагов концентрации.
• Конечный результат: После $K-1$ итеративных шагов концентрации все $K$ параллельных связей эффективно объединяются в одно, высоко запутанное ДМСВС между S и T. Конечная отрицательность отношения, $X_{\text{parallel}}$, является результатом этого сложного комбинирования, представляя собой максимальную запутанность, достижимую из параллельных ресурсов.

Динамика оптимизации

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

1. Ландшафт потерь и критичность: "Ландшафт потерь" можно концептуализировать как взаимосвязь между отрицательностью отношения отдельной связи $X$ и глобальной "отрицательностью отношения пересечения губки" $X_{SC}$ (которая измеряет общую связность). Для ТПО этот ландшафт характеризуется "фазовым переходом смешанного порядка". Это означает, что по мере увеличения отрицательности отношения отдельной связи $X$, $X_{SC}$ остается равной нулю до тех пор, пока не достигнет определенного критического порога $X_{th}$. При этом $X_{th}$ $X_{SC}$ не увеличивается плавно, а вместо этого демонстрирует резкий, разрывный скачок до положительного значения $X_{SC}^+$. После этого скачка $X_{SC}$ продолжает увеличиваться с $X$. Этот резкий разрыв является ключевой особенностью, отличающей ТПО от непрерывных фазовых переходов, наблюдаемых в классической перколяции или перколяции конкуренции.

2. Обновления состояния и механизм обратной связи: Чтобы противодействовать естественному затуханию запутанности в реальной квантовой сети, вводится механизм обратной связи. Состояние системы, представленное отрицательностью отношения отдельной связи $x(t)$ во времени $t$, эволюционирует согласно модели первого порядка с временной задержкой (FOPTD):
   $$\frac{dx(t)}{dt} = -\tau^{-1}x(t) + u(t - T_0)$$

   • Член затухания ($-\tau^{-1}x(t)$): Первый член описывает естественную деградацию запутанности со временем, где $\tau$ — характерное время затухания. Это отрицательный "градиент", который тянет значение запутанности вниз.
   • Член обратной связи ($u(t - T_0)$): Второй член, $u(t - T_0)$, представляет собой активное управление, применяемое для усиления запутанности. Этот сигнал "обновления" генерируется путем сравнения наблюдаемой глобальной запутанности $X_{SC}(t)$ с желаемой целью $X_{\text{target}}$. Если $X_{SC}(t)$ падает ниже $X_{\text{target}}$, механизм обратной связи увеличивает $u$ (например, увеличивая мощность накачки лазера для сжатия), пытаясь вернуть $x(t)$ вверх. Член $T_0$ учитывает присущую задержку времени при обработке и передаче сигнала обратной связи.

3. Сходимость и нестабильность:

   • В системах с непрерывными фазовыми переходами (как в КC на основе ДП) обратная связь обычно приводит к стабильной сходимости. Глобальная запутанность $C_{SC}(t)$ (конкуренция) восстанавливается плавно, даже при небольших возмущениях, как показано в симуляциях работы. "Градиенты" в ландшафте ведут себя хорошо, позволяя обратной связи мягко направлять систему к цели.
   • Однако фазовый переход смешанного порядка ТПО вносит критическую уязвимость. Резкий скачок $X_{SC}$ при $X_{th}$ означает, что вблизи этого порога крошечное изменение $x(t)$ может вызвать большое, внезапное изменение $X_{SC}(t)$. Это делает механизм обратной связи внутренне нестабильным. Вместо сходимости система демонстрирует долгосрочные колебания "вкл/выкл". Обратная связь приводит к перерегулированию, вызывая скачок $X_{SC}$, затем к недорегулированию по мере ее затухания, что приводит к циклу нестабильности. Это поведение является прямым следствием разрывной природы фазового перехода, где эффективный "градиент" кривой $X_{SC}$ против $X$ фактически бесконечен в критической точке, что делает стабильный контроль чрезвычайно сложным. Это подчеркивает значительное препятствие для проектирования надежных, стабилизированных обратной связью КC на основе НП.

FIG. 1. Gaussian-to-Gaussian deterministic entanglement transmission (G-G DET) scheme. Applicable to Gaussian quantum networks (QN), the scheme consists of two LOCC protocols: (a) Entanglement swapping, facilitated by homodyne detection and displacement [48]; (b) Entanglement concentration, facilitated by non-standard optical components [49]. Both protocols are deterministic, taking two (or more) TMSVS |ψri⟩as input and a new TMSVS |ψr⟩as output. (c) The two LOCC protocols map to series and parallel rules, respectively, to construct G-G DET. (d) Consider a QN example built upon three node. The G-G DET scheme consists of two steps: First, the parallel rule converts the states |ψr1⟩and |ψr2⟩(r1 ≥r2) into |ψr1,2⟩with sinh r1,2 = sinh r1 cosh r2 between S and R; second, the series rule transforms |ψr1,2⟩and |ψr3⟩to the final state |ψr⟩with the ratio negativity XSC = tanh r1,2 tanh r3 between S and T Figure 1. Gaussian-to-Gaussian deterministic entan- glement transmission (G-G DET) scheme. Applicable to Gaussian quantum networks (QN), the scheme consists of two LOCC protocols: (a) Entanglement swapping, facil- itated by homodyne detection and displacement; (b) En- tanglement concentration, facilitated by non-standard optical components. Both protocols are deterministic, taking two (or more) TMSVS |ψri⟩as input and a new TMSVS |ψr⟩as output. (c) The two LOCC protocols map to series and parallel rules, respectively, to construct G-G DET. (d) Consider a QN example built upon three node. The G-G DET scheme consists of two steps: First, the parallel rule converts the states |ψr1⟩and |ψr2⟩ (r1 ≥r2) into |ψr1,2⟩with sinh r1,2 = sinh r1 cosh r2 between S and R; second, the series rule transforms |ψr1,2⟩and |ψr3⟩to the final state |ψr⟩with the ratio negativity XSC = tanh r1,2 tanh r3 between S and T. Figure 2: Bethe lattice. (a) A Bethe lattice of degree k (i.e., each node is incident to k links) and network depth l (the path length from the yellow node to the red nodes). (b) The sponge-crossing ratio negativity XSC between S and T for various k (right panel), satisfying the power law XSC −X+ SC ∼|χ−χth|0.47(5) as χ →χ+ th (left panel). The numerical value 0.47 ± 0.05 is derived by a linear least- squares fit to the sixteen data points. (c) When χ → χ− th, XSC exhibits a plateau behavior until the network depth l exceeds the correlation length l∗(defined as the depth l at which XSC = 0.5), after which XSC abruptly drops to zero. (d) Near the critical threshold, we observe l∗∼|χ −χth|−0.508(9), indicating zν ≈1/2. Figure 3: Entanglement percolation in two- dimensional square lattices. (a) XSC for square lattices with different side length L. (b) Scaling of the correlation length ξ near the critical threshold χth ≈0.715 follows ξ ∼|χ −χth|−ν, with a fitted critical exponent ν = 0.02 ± 0.02. Figure 4: Feedback stabilization of QN against entan- glement decay. (a) Under the same feedback control [Eq. (5)], the DV-based QN (k = 3 Bethe lattice) exhibits rapid stabilization; (b) whereas the CV-based QN exhibits long-term “on/off” instability, a direct result of the abrupt drop in Fig. 2(b). Figure 5: Continuous-variable entanglement swapping

Результаты, ограничения и заключение

Экспериментальный дизайн и базовые уровни

Авторы тщательно разработали свою экспериментальную валидацию для строгой проверки предложенной теории перколяции отрицательности (ТПО) для квантовых сетей с непрерывными переменными (КC НП). Основу их подхода составило введение схемы детерминированной передачи запутанности (ДПЗ) "гауссово-гауссово" (Г-Г), которая использует протоколы детерминированного обмена и концентрации запутанности, специально адаптированные для двухмодовых сжатых вакуумных состояний (ДМСВС). Эта схема позволила им отобразить сложный процесс распределения запутанности в КC НП на теорию, подобную перколяции, основанную на ограниченной мере запутанности, называемой отрицательностью отношения, $X_N \in [0,1]$.

Чтобы безжалостно доказать свои математические утверждения, они провели несколько вычислительных экспериментов:

1. Анализ решетки Бете: Сначала они сосредоточились на решетке Бете, бесконечной древовидной серийно-параллельной сети, где каждый узел имеет одинаковую степень $k > 2$. Эта теоретическая установка позволила им вывести точные самосогласованные уравнения ренормализационной группы, обеспечив фундаментальное понимание поведения ТПО. "Жертвами" в этом контексте стали установленные теории классической перколяции связей и теории перколяции конкуренции (ТПК), обе из которых предсказывают непрерывные фазовые переходы с тепловым критическим показателем $z_v \approx 1$. В отличие от этого, ТПО показала фазовый переход смешанного порядка.

2. Симуляции квадратной решетки: Чтобы продемонстрировать, что их выводы не ограничиваются идеализированной решеткой Бете, они расширили свое исследование до численных симуляций перколяции запутанности на двумерных квадратных решетках. Это было достигнуто с использованием преобразования звезда-сетка, метода аппроксимации правил сети высших порядков на основе серийных/параллельных правил. Этот эксперимент был направлен на демонстрацию обобщаемости фазового перехода смешанного порядка за пределы древовидных структур.

3. Симуляции обратной связи: Важная практическая валидация включала симуляцию динамики системы при обратной связи. Они использовали модель первого порядка с временной задержкой (FOPTD) для сравнения того, как КC на основе ДП (управляемые ТПК) и КC на основе НП (управляемые ТПО) реагируют на затухание запутанности. Базовым уровнем для сравнения здесь было стабильное поведение КC на основе ДП при стандартной обратной связи, которое они стремились противопоставить реакции системы НП.

Что доказывают доказательства

Доказательства, представленные в работе, однозначно доказывают несколько ключевых аспектов ТПО и ее последствий для КC на основе НП:

1. Фазовый переход смешанного порядка: Наиболее поразительным выводом является то, что ТПО демонстрирует фазовый переход смешанного порядка. Это было подтверждено:

   • Резким, разрывным скачком в мере глобальной запутанности, отрицательности отношения пересечения губки ($X_{sc}$), при критическом пороге ($X_{th}$). Рис. 2(b) наглядно иллюстрирует этот разрыв, где $X_{sc}$ остается равной нулю до $X_{th}$, а затем резко скакивает до положительного значения.
   • Расходящейся длиной корреляции $l^* \sim |X - X_{th}|^{-1/2}$ вблизи критического порога (Рис. 2(d)), указывающей на дальнодействующие корреляции, характерные для фазовых переходов.

2. Уникальный класс универсальности: Тепловой критический показатель $z_v \approx 1/2$, выведенный для ТПО на решетках Бете, фундаментально отличается от $z_v \approx 1$, наблюдаемого как в классической перколяции, так и в перколяции конкуренции. Это предоставляет неоспоримые доказательства того, что КC на основе НП, согласно ТПО, принадлежат к новому классу универсальности, отличающему их от аналогов ДП. Численные симуляции на квадратных решетках далее подтвердили это различие, дав показатель длины корреляции $\nu \approx 0.02(2)$, что значительно отличается от $\nu \approx 1.3(3)$ для ТПК.

3. Критическая уязвимость КC на основе НП: Резкость фазового перехода смешанного порядка создает критическую уязвимость для крупномасштабных КC на основе НП. Симуляции обратной связи (Рис. 4) показали, что в то время как КC на основе ДП (Рис. 4a) демонстрируют быструю и плавную стабилизацию, КC на основе НП (Рис. 4b) страдают от долгосрочной нестабильности "вкл/выкл" вблизи критического порога. Это прямое следствие разрывного скачка $X_{SC}$ против $X$, что подчеркивает значительную практическую проблему для стабилизации систем НП.

4. Отличительный механизм для переходов смешанного порядка: В работе показано, что ТПО индуцирует переход смешанного порядка без необходимости дополнительных степеней свободы, таких как количество слоев M, которое обычно требуется в классической взаимозависимой перколяции. Это подчеркивает фундаментальное различие в базовых механизмах, лежащих в основе этих фазовых переходов.

Ограничения и будущие направления

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

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

2. Оптимальность концентрации запутанности НП: Значительным ограничением для текущих конструкций КC НП является то, что параллельное правило НП (концентрация запутанности), используемое в схеме ДПЗ Г-Г, "не является оптимальным" по сравнению с его аналогами ДП. Это предполагает, что текущие протоколы концентрации могут не достигать максимально возможной запутанности. Будущая работа должна быть сосредоточена на понимании осуществимости и пределов реализации концентрации запутанности для систем НП, чтобы разработать более эффективные и оптимальные протоколы.

3. Надежные стратегии обратной связи: Обнаруженная нестабильность КC на основе НП при стандартной обратной связи вблизи критического порога является критической практической проблемой. Это требует разработки "более тщательных стратегий обратной связи" для поддержания надежной работы. Будущие исследования должны изучать передовые методы теории управления, потенциально включая предиктивные модели или адаптивное управление, для эффективной стабилизации систем НП, особенно учитывая распространенность квантового управления обратной связью в оптических реализациях.

4. Обобщение на негауссовы состояния и операции: В работе намекается, что фазовый переход смешанного порядка может сохраняться для обобщенных операций НП и даже негауссовых состояний. Это открывает широкую тему для обсуждения: как эти выводы распространяются за пределы гауссова режима? Исследование ТПО в более сложных, негауссовых системах НП может выявить, является ли это уникальное критическое явление универсальной характеристикой КC НП или специфичным для гауссовых состояний. Это потребует изучения различных физических источников для обобщенных серийных/параллельных правил и их влияния на тип наблюдаемого фазового перехода.

5. Экспериментальная проверка предсказанных явлений: Хотя работа представляет убедительные теоретические и вычислительные доказательства, окончательная проверка заключается в экспериментальной реализации. Будущие усилия должны быть сосредоточены на разработке и проведении квантовых оптических экспериментов, которые могут реализовать схему ДПЗ Г-Г и наблюдать предсказанный фазовый переход смешанного порядка и нестабильность обратной связи в реальных КC НП. Это позволит преодолеть разрыв между теорией и практическим применением, стимулируя дальнейшие достижения в области надежных, стабилизированных обратной связью КC.

FIG. 2. Bethe lattice. (a) A Bethe lattice of degree k (i.e., each node is incident to k links) and network depth l (the path length from the yellow node to the red nodes). (b) The sponge-crossing ratio negativity XSC between S and T for various k (right panel), satisfying the power law XSC −X+ SC ∼|χ −χth|0.47(5) as χ →χ+ th (left panel). The numerical value 0.47 ± 0.05 is derived by a linear least-squares fit to the sixteen data points. (c) When χ →χ− th, XSC exhibits a plateau behavior until the network depth l exceeds the correlation length l∗(defined as the depth l at which XSC = 0.5), after which XSC abruptly drops to zero. (d) Near the critical threshold, we observe l∗∼|χ −χth|−0.508(9), indicating zν ≈1/2 FIG. 4. Feedback stabilization of QN against entanglement decay. (a) Under the same feedback control [Eq. (5)], the DV- based QN (k = 3 Bethe lattice) exhibits rapid stabilization; (b) whereas the CV-based QN exhibits long-term “on/off” instability, a direct result of the abrupt drop in Fig. 2(b) FIG. 6. Continuous-variable entanglement concentration. Consider K parallel TMSVSs written as the tensor product: NK k=1 |ψrk⟩. Step a1: The TMSVS |ψr′ 1⟩is obtained by executing the TMSVS entanglement concentration protocol on |ψr1⟩⊗|ψr2⟩; Step a2: Performing the scheme again on |ψr′ 1⟩⊗|ψr3⟩yields the TMSVS |ψr′ 2⟩; and so on. This even- tually results in a single TMSVS |ψr⟩, where the squeezing parameter r satisfies Eq. (16)