Дегенеративное декодирование для квантовой стираемости

Почему потеря кубитов — серьёзная проблема

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

Преобразование потерь кубитов в более чистый тип шума

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

Построение кодов с высокой скоростью, приближающихся к предельной эффективности

Авторы показывают, что несколько семейств квантовых кодов с малой плотностью проверок четности (QLDPC) — в особенности bicycle-коды и lifted-product коды — действительно могут достигать или почти достигать ёмкости эрейз-канала для широкого диапазона скоростей кодов. Используя математически оптимальное декодирование максимального правдоподобия, реализованное через гауссову элиминацию, эти коды исправляют стираемости так эффективно, как это допускает теория: достигаемая скорость близка к 1 − 2p для практических вероятностей ошибок. Та же формулировка охватывает знакомые двумерные топологические коды, подтверждая, что их наилучшая возможная производительность при стираемости восстанавливается при оптимальном декодировании.

От медленного оптимального декодирования к быстрым, близким к оптимальным схемам

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

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

Авторы вводят варианты BP, которые включают идеи из градиентного спуска и эффектов памяти, похожих на нейронные сети. Простая «flip»-версия обновляет жёсткие битовые значения и время от времени делает жадный шаг при затруднении прогресса, тогда как более продвинутые «soft»-версии оперируют градуированными значениями уверенности вместо строгих 0/1 решений. Эти мягкие декодеры ослабляют и повторно используют прошлые сообщения, корректируют размеры шагов и в некоторых случаях совместно обрабатывают разные типы квантовых ошибок, а не отдельно. В результате получается набор алгоритмов, которые для тестируемых семейств кодов достигают порогов, очень близких к максимальному правдоподобию, но при этом время работы растёт лишь линейно с числом кубитов и слабо — при убывании вероятности ошибок.

Расширение на более реалистичные и смешанные модели шума

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

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

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

Цитирование: Kuo, KY., Ouyang, Y. Degenerate quantum erasure decoding. npj Quantum Inf 12, 75 (2026). https://doi.org/10.1038/s41534-026-01212-3

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