Устойчивые к ошибкам вычисления на квантовых системах с непрерывными переменными при общем шуме

Почему важно укротить шумный свет

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

От плавных волн к цифровым квантовым битам

В оптических системах с «непрерывными переменными» информация хранится в амплитуде и фазе светового поля, которые меняются плавно. Это облегчает генерацию и манипуляцию большими сетями запутанных световых лучей — привлекательный путь к масштабируемому квантовому оборудованию. Но большая часть теории надежных квантовых вычислений была разработана для дискретных двухуровневых систем — кубитов — и относительно простых моделей ошибок. Центральным инструментом для преодоления этого разрыва является код Готтесмана–Китаева–Прескилла (GKP), который хитро встраивает один кубит в непрерывные степени свободы осциллятора. Код организует квантовые состояния так, что малые сдвиги в амплитуде или фазе света ведут себя как знакомые ошибки кубитов, поддающиеся, по идее, коррекции. Предыдущие анализы, однако, работали лишь для очень частных типов шума, например чисто гауссовских случайных сдвигов, и часто опирались на идеализированные, физически невозможные состояния кода.

Переопределение того, что считается исправимой ошибкой

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

Контроль шума и энергии

В реальных оптических системах существуют две взаимосвязанные проблемы: ошибки накапливаются со временем, и энергия светового поля может неограниченно расти по мере применения вентилей. Стандартные метрики шума, используемые для кубитов, предполагают доступ к тестовым состояниям с произвольно большой энергией и поэтому оценивают даже крошечные фазовые сдвиги в свете как «максимально плохие». Чтобы избежать такого нереалистичного вердикта, авторы вводят понятие расстояния между физическими процессами с ограничением энергии, которое сравнивает действие каналов только на состояниях ниже заданного порога числа фотонов. Затем они разрабатывают конкретный шаг коррекции ошибок, основанный на квантовой телепортации, который многократно переносит логическую информацию в свежеподготовленные GKP‑состояния умеренной энергии. Эта процедура «типа Книлла» не только корректирует ошибки‑сдвиги, но и постоянно сбрасывает энергию, гарантируя, что закодированные состояния не станут бесконечно хрупкими.

От лабораторного хаотичного шума к аккуратным логическим ошибкам

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

Истинный порог для квантовых вычислений на свете

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

Цитирование: Matsuura, T., Menicucci, N.C. & Yamasaki, H. Continuous-variable fault-tolerant quantum computation under general noise. Nat Commun 17, 1709 (2026). https://doi.org/10.1038/s41467-026-69036-5

Ключевые слова: вычисления на квантовых системах с непрерывными переменными, код GKP, коррекция квантовых ошибок, устойчивость к сбоям, оптические квантовые системы