Обнаружение истинной многопартитной запутанности в многокубитных устройствах при ограниченных измерениях

Почему квантовые связи важны

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

Много частиц — одно общее квантовое состояние

Запутанность — известная квантовая связь, которая позволяет частицам вести себя как единая система, вне зависимости от расстояний между ними. Когда участвует более двух частиц, ситуация становится богаче и сложнее. Некоторые многокубитные состояния можно собрать из отдельных пар или небольших групп запутанных частиц; другие демонстрируют более сильные, по-настоящему глобальные корреляции. Такие состояния называются обладающими истинной многопартитной запутанностью: их нельзя объяснить как смесь «только пар плюс шум». Эти состояния являются ключевыми элементами для квантовых коммуникационных сетей, корректирующих ошибок кодов, которые защищают хрупкие квантовые данные, и измерительно-ориентированных квантовых компьютеров, которые выполняют алгоритмы за счёт последовательности простых измерений.

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

В принципе, можно полностью реконструировать квантовое состояние, проводя множество различных измерений — процесс, называемый томографией. Но по мере роста числа кубитов число необходимых измерений взрывообразно растёт, и такой подход становится невозможным для крупных устройств. Существующие сокращённые методы для выявления многопартитной запутанности часто требуют совместных измерений на многих кубитах одновременно. Это серьёзное препятствие для платформ, где кубиты взаимодействуют только с ближайшими соседями в цепочке или решётке, или где шум измерений быстро увеличивается по мере совместного считывания большего числа кубитов, как это происходит с микроволновыми фотонами в сверхпроводящих схемах. Авторы поэтому спрашивают: можно ли надёжно подтвердить сильную многотельную запутанность, используя только простые измерения на небольших локальных группах кубитов?

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

Работа сосредоточена на важном классе состояний, называемых графовыми состояниями, где каждый кубит соответствует вершине, а операции, создающие запутанность, следуют связям графа. Сюда входят кластерные состояния, используемые в измерительно-ориентированных квантовых вычислениях, а также кольцевые или древовидные структуры, применяемые в продвинутых схемах связи и коррекции ошибок. Для таких состояний авторы разрабатывают тест на запутанность, построенный на так называемых стабилизаторах — математических величинах, остающихся неизменными для идеального целевого состояния. Ключевая идея заключается в выборе лишь небольшой подмножества этих стабилизаторов — тех, что связаны с отдельными вершинами и их рёбрами — и в комбинировании измеренных значений в тщательно взвешенную сумму. Удивительно, но авторы аналитически показывают, что для любого разбиения кубитов на отдельные группы эта сумма ограничена, если состояние лишено истинной многопартитной запутанности. Всякий раз, когда экспериментально измеренная сумма превышает это ограничение, состояние должно содержать сильную многопартитную запутанность, а степень нарушения даёт информацию о том, на какое минимальное число групп оно не разлагается.

Максимальный эффект при ограниченном экспериментальном доступе

Критически важно, что стабилизаторы в этом тесте включают лишь постоянное число соседних кубитов, а не растут с размером устройства. Это делает метод хорошо приспособленным для платформ, где доступны только низко-«весовые», локальные измерения. Авторы также показывают, что с помощью математических оптимизационных инструментов, известных как полуположительное программирование (semidefinite programming), можно вывести полезные нижние оценки для неизмаренных стабилизаторов на основе измеренных, что ужесточает тест без дополнительной экспериментальной нагрузки. Они применяют свои критерии к реалистичным симуляциям графовых состояний микроволновых фотонов, генерируемых в сверхпроводящих схемах, и обнаруживают, что способны выявлять истинную многопартитную запутанность в ситуациях, где предыдущие методы низкой сложности терпели неудачу. Уровень сертифицированной многопартитной запутанности отражает близость состояния к идеалу, превращая тест в практический эталон производительности.

Что это значит для будущих квантовых машин

Для неспециалиста суть в том, что авторы разработали масштабируемый «стресс-тест» для квантовых связей внутри развивающихся многокубитных устройств. Вместо требований к детальным глобальным измерениям, которые быстро становятся неуправляемыми, их метод считывает лишь умеренный набор локальных паттернов и при этом позволяет решить, производит ли устройство сильные многотельные квантовые корреляции, от которых зависят продвинутые приложения. Это даёт экспериментальным коллективам реалистичный способ сертифицировать и сравнивать сложные квантовые ресурсы, помогая направлять развитие более крупных и надёжных квантовых процессоров, датчиков и сетей.

Цитирование: Li, N.K.H., Dai, X., Muñoz-Arias, M.H. et al. Detecting genuine multipartite entanglement in multi-qubit devices with restricted measurements. Nat Commun 17, 1707 (2026). https://doi.org/10.1038/s41467-026-69320-4

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