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

Сохраняя честность квантовых компьютеров

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

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

Квантовые биты, или кубиты, могут хранить информацию в тонких суперпозициях, которые легко нарушаются окружением. Чтобы защитить их, исследователи объединяют многие физические кубиты в логический кубит с помощью кодов коррекции квантовых ошибок. Мощный класс таких кодов, называемый квантовыми низкоплотностными проверочными кодами (qLDPC), может защищать множество логических кубитов, используя относительно немного физических и лишь разреженные связи между ними. Тем не менее, хотя эти коды отлично подходят для хранения информации, выполнение логических операций, нужных для масштабных вычислений, часто требовало большого числа дополнительных «вспомогательных» систем, что снижало их эффективность.

Измерять, не разрушая код

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

Преобразование глобального вопроса в локальные проверки

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

Проектирование эффективных вспомогательных сетей

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

Устойчивость к ошибкам в пространстве и времени

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

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

Для неспециалиста ключевое сообщение таково: авторы нашли способ задать глобальный вопрос о многих кубитах — необходимый для запуска квантовых алгоритмов — посредством хитро организованной серии локальных, легко реализуемых проверок, не перегружающих оборудование. Их подход объединяет и обобщает несколько ранних техник «операций над кодом» и предлагает ясный рецепт для расширения этих методов на новые семейства квантовых кодов. Если его доработать и интегрировать с практическими декодерами, подход на основе калибровки может стать стандартным строительным блоком для крупномасштабных, устойчивых к ошибкам квантовых процессоров, позволяя выполнять мощные вычисления на аппаратуре, реалистично достижимой в обозримом будущем.

Цитирование: Williamson, D.J., Yoder, T.J. Low-overhead fault-tolerant quantum computation by gauging logical operators. Nat. Phys. 22, 598–603 (2026). https://doi.org/10.1038/s41567-026-03220-8

Ключевые слова: устойчивые к ошибкам квантовые вычисления, квантовая коррекция ошибок, квантовые LDPC-коды, логические измерения, операции над кодом