«Не логическими кубитами, а схемами»: IBM показала непрерывный путь от подавления ошибок к отказоустойчивости

Один спектр вместо двух эпох

Квантовое подавление ошибок (error mitigation) и квантовую коррекцию ошибок (quantum error correction) обычно описывают как инструменты разных эпох: митигацию — для ближнесрочных устройств, коррекцию — для масштабируемой отказоустойчивости. IBM Research в публикации от 15 сентября 2026 года предлагает другую рамку: это непрерывный путь, и оптимизировать нужно сразу по всему спектру приёмов.

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

На другом конце спектра — error mitigation: схемы прогоняются многократно, чтобы снизить или убрать влияние шума. Стоимость повторных сэмплов растёт экспоненциально относительно уровня шума в системе, и часть этой нагрузки можно снять классическими HPC-ресурсами. IBM называет методы, которые обменивают смещение и классическое время работы на меньшее число квантовых сэмплов: shaded lightcones, propagated noise absorption и tensor network error mitigation.

Практический результат на этом конце уже есть: методы вроде probabilistic error cancellation (PEC) позволили выполнять на нынешнем квантовом железе вычисления, недостижимые для классической проверки, и при этом валидировать точность результатов. Логика такая: компания обучает и валидирует репрезентативную модель шума, после чего митигация даёт несмещённые результаты.

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

Гибрид как мост к 100 миллионам операций

Промежуточный слой IBM называет мостом к 100 миллионам операций. Обычная квантовая коррекция ошибок требовательна к пространству, поэтому нужны аппаратно-эффективные реализации. Их дают spacetime-коды: они распределяют малочленные проверки Паули и по пространству, и по времени прямо в квантовой схеме, так что реализуемы на существующем железе.

Работает это через пост-селекцию: вспомогательные кубиты (ancilla) кодируют вычисление и выполняют его в другом векторном пространстве, чем сырые кубиты, — так получается логическая схема. Прогон, не прошедший все малочленные проверки Паули, помечается как ошибочный и отбрасывается. Накладные расходы на сэмплирование у такого метода квартально лучше, чем у PEC.

Демонстрация, которую приводит IBM: 64 логических кубита, закодированных в spacetime-кодах на 76 физических кубитах, с 314 гейтами T. После пост-селекции по синдромам эффективная частота ошибок на гейте улучшилась примерно в 10 раз — на трудной для классической симуляции схеме с 2 336 гейтами CZ, — а нижняя граница точности составила 0,349 с 95-процентной уверенностью.

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

Отдельно компания подчёркивает инструментальный слой. Открытый toolkit Qiskit Paulice позволяет реализовать такой протокол уже сейчас и экспериментировать с компромиссами по ресурсам. Directed execution model, выпущенная в бете, сделала митигацию ошибок конфигурируемой на стороне клиента и работает вместе с пакетами qiskit-noise-learning, qiskit-mitigation и Samplomatic. Примитив Executor теперь возвращает информацию о состоянии вместе с kerneled-результатами, известными как IQ points.

Условная коррекция и слабые трансверсальные вращения

На логическом уровне дешёвыми для митигации становятся ошибки гейтов Клиффорда, а вот не-Клиффордовы операции — например, гейты T — обходятся дорого. Традиционный путь к отказоустойчивым гейтам T — инъекция и дистилляция магических состояний, а это аппаратная сложность, которой до отказоустойчивой эпохи, скорее всего, не будет.

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

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

Иерархические коды и 10¹² операций

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

Конкатенированные, то есть иерархические, коды укладывают алгебраические коды поверх qLDPC и продлевают защиту без увеличения модулей. Ключевая деталь: дальняя связность, нужная внешнему коду, берётся из логических операций внутреннего кода — то есть из самого кода, а не из дополнительного железа. Согласно публикации, конкатенация квантовых кодов Рида — Соломона поверх высокоскоростного внутреннего кода выводит в режим 10¹² логических операций при физической частоте ошибок 10⁻³ на модуле заметно меньшей инженерной сложности.

Речь пока не о текущем поколении: иерархическая коррекция ошибок в реальном времени на нынешних системах недоступна. Опирается она на референсную архитектуру quantum-centric supercomputing, где рядом с QPU работают совместно размещённые классические системы из CPU, GPU и специализированных ускорителей. Границей между слоем реального времени и остальной системой IBM называет IBM Quantum Systems API.

Полярный ориентир остаётся отказоустойчивость

Отказоустойчивость IBM называет своим полярным ориентиром и говорит о первом отказоустойчивом квантовом компьютере IBM Quantum Starling. Даже в эту эпоху компания ожидает, что митигация ошибок и пост-селекция будут работать вместе с коррекцией на кодах qLDPC и дадут лучшее логическое качество на том же железе.

Платформой для экспериментов с коррекцией ошибок компания называет недавно выпущенную IBM Quantum Nighthawk r2. В неё вошли компоненты из дорожной карты отказоустойчивости, например высокоскоростной независимый сброс кубитов, что ускоряет циклы обучения на физических элементах схемы, связанных с будущими аппаратными кодами.

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