Алгоритмическая отказоустойчивость / трансверсальные архитектуры code_aft

Алгоритмическая отказоустойчивость, предложенная Zhou, Bluvstein, Kubica, Lukin и соавторами в виде препринта в июне 2024 г. и опубликованная в Nature в 2025 г. D[152], выполняет логические вентили трансверсально между блоками кода и декодирует всю синдромную историю алгоритма совместно, так что логический вентиль обходится в постоянное число раундов извлечения, а не в те O(d), которых требует решёточная хирургия (lattice surgery).

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

Правило d раундов существует потому, что один раунд не позволяет отличить ошибку измерения от ошибки данных; d-кратное повторение синдромной схемы делает пространственно-временно́е расстояние графа детекторов равным кодовому расстоянию. Эта избыточность нужна лишь тогда, когда каждый блок декодируется по отдельности: трансверсальный CNOT переносит сбой из одного блока на его партнёра в другом, поэтому совместный граф по блокам и по времени сохраняет расстояние d уже после O(1) раундов — если декодер этим пользуется. Доказательство ограничивает отклонение от идеального распределения результатов логического измерения экспоненциально малой величиной D[152].

Цена структурно перемещается на классическую сторону. Совместный граф не факторизуется, поэтому скользящее окно, которое делает поблочное декодирование локальным во времени, перестаёт быть точным: декодер охватывает несколько логических вентилей, не может закрыть окно до следующей точки упреждающей передачи (feed-forward), и объём его работы растёт не с d, а с числом блоков, запутанных с момента последнего измерения.

Всякий заявленный выигрыш получен в моделировании или при офлайн-декодировании сохранённых синдромов: ни один опубликованный запуск не замыкает петлю — трансверсальный вентиль, коррелированное декодирование, feed-forward — в реальном времени.

Это архитектурный слой и слой декодирования: у него нет ни техпроцесса, ни выхода годных, ни удельной стоимости. Зависимость от цепочки поставок опосредованная, но вполне конкретная: скрещённые акустооптические дефлекторы, для которых в работе с 448 атомами названы лишь два поставщика — AA Opto-Electronic и Gooch & Housego D[4], — и классическое оборудование, выполняющее декодирование. Планку задаёт NVQLink от NVIDIA: 3.84 µs среднего полного оборота и 67 µs медианного декодирования BP-OSD — причём на несравнимо более лёгкой поблочной задаче C[324].

Ни нового лазера, ни новой линии управления, ни нового детектора; нагрузка лежит на классической стороне и приходится на реальное время. Коррелированный декодер обязан принять синдромы от каждого блока, затронутого трансверсальным вентилем, и вернуть коррекцию до следующей точки feed-forward — на атомах это миллисекунды, причём на графе в 10²–10³ раз большем, чем поблочная задача, которую сегодня тянут GPU. При 10³ логических кубитов свидетельства — моделирование; при 10⁴–10⁶ модель задержки не опубликована, а обе ресурсные оценки исходят из того, что декодирование успевает S[31]S[30]. Именно это допущение, а не число атомов, и станет точкой отказа, если отказ произойдёт.

Подход применим на любой архитектуре, где кубиты можно перемещать: на ридберговском массиве пинцетов на щелочных атомах (QuEra, Pasqal, Infleqtion) и — хотя запись графа моделирует его только на этом массиве — на щёлочноземельных массивах Atom Computing и на ионной архитектуре QCCD, где Quantinuum выполняет трансверсально тот же код [[16,6,4]] D[667]. Он требует транспорта плюс коррелированного декодирования, учитывающего потери, и конфликтует с фиксированными решётками ближайших соседей, которые без слоя маршрутизации не умеют сводить в пару произвольные блоки. В производный такт он не добавляет слагаемого, а умножает его, сокращая число раундов на логический вентиль с ~d (при d = 7 на атомах это ~9 ms на вентиль) до O(1). Соседний пустой слот: коррелированный декодер реального времени.

Трансверсальные вентили и 96 активных логических кубитов — это аппаратные измерения D[4]; сокращение >10× — теорема плюс моделирование D[152], за пределами авторской группы не воспроизведённые. Две ресурсные оценки расходятся на три порядка по пространству, но это кривая компромисса, а не противоречие: 19 M атомов покупают RSA-2048 за 5.6 суток S[31], тогда как 10 000–26 000 атомов покупают P-256 за дни, а RSA-2048 — на один-два порядка медленнее S[30]; формулировки «RSA-2048 на 10 000 атомов» нет ни в одной из двух статей. Самое острое контрсвидетельство — торический код Atom Computing и Microsoft: Λ_Z ≈ 1.9, но Λ_X ≈ 1.2, среднее 1.30 за четыре цикла, а при дозагрузке атомов на протяжении 90 раундов подавление исчезло вовсе (0.63% против 0.64% за цикл) D[148]. Устойчивой подпороговой памяти атомы не показали, а отказоустойчивость с постоянным числом раундов — это утверждение о длинных алгоритмах.

Не опубликовано: общий набор допущений (физическая частота ошибок, кодовое расстояние, модель декодера) для оценок 19 млн атомов / 5,6 дня и 10 000 атомов, а также задержка коррелированного декодера в реальном времени выше примерно 10² логических кубитов. Сокращение пространства-времени более чем в 10× не воспроизведено вне пересекающейся группы авторов Harvard/QuEra/Caltech.

Кто.
| Организация | Роль | Страна | Что именно делает с технологией | Свидетельство |
|---|---|---|---|---|
| Harvard | исследования | США | Автор схемы; трансверсальная демонстрация на 448 атомах | D[4], [152] |
| QuEra | разработчик | США | Соавтор и аппаратура; Libra 2028 нуждается в этом выигрыше | Cфакт |
| Quantinuum | разработчик | США/Великобритания | Трансверсальные логические клиффордовы операции на ионах, тот же код | D[667] |
| Atom Computing | разработчик | США | Зонированный транспорт; опубликовала контррезультат | D[148] |
| Google Quantum AI | разработчик | США | Направление нейтральных атомов с 2026-03, с упором на QEC | C[9] |
| Pasqal | разработчик | Франция | Транспортная архитектура, 100 логических кубитов к 2029 г. | Cфакт |

Деньги. 2025-09-09 · QuEra · раунд · $230 M+ · Google, SoftBank Vision Fund 2, NVentures · закрыт G[153]факт. 2025-11-06 · Atom Computing и QuEra · QBI, этап B · ≤$15 M каждой · действует G[65]факт. 2026-02-17 · Infleqtion · IPO · >$550 M · NYSE INFQ G[155]. 2026-05-21 · Atom Computing и Infleqtion · письма о намерениях по CHIPS · по $100 M каждой · Минторг США · необязывающие G[300]факт. 2026-06-16 · Atom Computing · раунд серии C · $100 M, Third Point G[154]факт. 2026-08-28 · Pasqal · SPAC · ~$360 M деньгами · Nasdaq PSQL G[156]факт.

Рынок и цепочка поставок. Под этим названием ничего не продаётся; технология умножает чужую машину, поэтому рента достаётся транспортной оптике и стеку декодера. Она оплачивает G3, снижая число физических кубитов на логический с ~10³ в сторону ~10², и, если подтвердится, G4; для G1 и G5 — ничего.

Интеллектуальная собственность и стандарты. Основополагающая работа прошла рецензирование в Nature и открыто доступна на arXiv, как и ресурсный анализ ISCA; патентного семейства, специфичного именно для алгоритмической отказоустойчивости или коррелированного декодирования, по состоянию на 2026-09-04 не найдено.

Дорожные карты и послужной список. QuEra: Libra обещана 2026-06-15 на 2028 г. (>256 логических кубитов, 10⁻⁶) — после январского обещания 2024 года дать 100 логических кубитов в 2026 г., то есть сдвиг на два года; график, который теперь опирается на отказоустойчивость с постоянным числом раундов, уже один раз пересматривался R[162]факт. Pasqal: 10 000 физических кубитов сдвинулись с 2026 на 2028 г. Rфакт. Каждая атомная дорожная карта после 2027 г. закладывает этот выигрыш в свои цифры; ни одна не называет его как зависимость.

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

Подтвердить/понизить в течение 12–24 месяцев: какая-либо группа замыкает на аппаратуре цепочку «трансверсальный вентиль — коррелированное декодирование — feed-forward»; атомная система показывает устойчивую подпороговую память с дозагрузкой атомов; QuEra переформулирует Libra без опоры на этот выигрыш. В лучшем случае к 2029 г.: отказоустойчивость с постоянным числом раундов на 10³ логических кубитов, сжимающая сроки каждой дорожной карты с транспортом. В худшем случае: коррелированное декодирование застревает на нескольких десятках блоков и остаётся инструментом ресурсных оценок. Открытые вопросы: масштабируется ли задержка декодера выше 10⁴ блоков; выживает ли выигрыш >10× при шуме с преобладанием потерь. Следить за: этапами Libra и любой демонстрацией коррелированного декодера реального времени.