Фабрика магических состояний (культивация / дистилляция / переключение кодов) code_magic

Фабрика магических состояний изготавливает неклиффордовы ресурсные состояния — |T⟩, |H⟩, |CCZ⟩, — которые телепортация вентиля впрыскивает в схему, чтобы обеспечить поворот, невыполнимый трансверсально в коде-носителе. Теорема Eastin–Knill запрещает трансверсальный универсальный набор вентилей в любом коде с ненулевым расстоянием, поэтому универсальность приходится покупать пространственно-временным объёмом, и фабрика — то место, где эта покупка совершается. Bravyi и Kitaev показали в 2004–05 гг., что клиффордовы вентили вместе с зашумлёнными анциллами дают универсальность и что анциллы, поляризованные более чем примерно на 65% вдоль магического направления, асимптотически очищаются S[689]. Семейств три: дистилляция, переключение кодов и культивация — выращивание и проверка одного состояния на месте (Gidney, Shutty, Jones, 2024-09) S[690].

Атрибуты. a — сродство к носителю 0.5: конструкция слоя кода, наследующая тот носитель, который её принимает. b: собственного характерного времени нет, запутывание неприменимо; работает на такте носителя. c — считывание: собственного нет, потребляет внутрисхемное измерение носителя. d — подвижность: статична, фиксированная область плиток. e — управление: ни модальности, ни размещения — она компилируется, а не разводится. f — структура ошибок с точки зрения кода: паулиевская. g — производство: отсутствует.

Фабрика конвертирует точность (fidelity) в объём по курсу, который задаётся показателем подавления в самом протоколе. Дистилляция «пятнадцать в одно» на квантовом коде Reed–Muller подавляет входную ошибку кубически, поэтому получение 10⁻⁹ из впрыснутого состояния с 10⁻³ требует двух каскадных уровней и той самой площади, которая доминировала в ресурсных оценках всей области. Культивация меняет не показатель, а цену: |T⟩ выращивается в малом патче, отказоустойчиво проверяется, а затем «убегает» в большой, достигая 2×10⁻⁹ при однородном деполяризующем схемном шуме 10⁻³ и 4×10⁻¹¹ при 5×10⁻⁴, причём с числом вентилей примерно как у CNOT решёточной хирургии той же надёжности и на порядок меньшим числом кубит-раундов, чем у дистилляции S[690].

Пол задают две величины. Физическая частота ошибок носителя фиксирует достижимую выходную ошибку; доля принятых попыток фиксирует пропускную способность и не имеет аналога в кодовой памяти. Все три маршрута — с оповещением (heralded), так что фабрика есть задача о выходе годных: Google сохранил 8% попыток D[42], маршрут [[6,2,2]] отбросил 14.8% D[107], переключение кодов срабатывало в 82.58% случаев D[666]. Опасен именно необнаруженный отказ — когерентный логический сбой, входящий в алгоритм там, где никакая последующая коррекция уже не поможет, — поэтому требуемая выходная ошибка есть примерно обратная величина T-счёта: цель IBM Starling в 10⁸ вентилей подразумевает ~10⁻⁹ на состояние, ровно ту цифру, которую даёт теория культивации. Преобразование в стирания (erasure), смещение шума или более быстрые циклы сдвигают этот пол; а код с трансверсальным неклиффордовым вентилем стёр бы этот узел целиком.

Лучшее продемонстрированное — запуск культивации у Google: точность 0.9999(1) при удержании 8% попыток, снижение ошибки в 40×, включая переключение кода в поверхностный и специально построенный отказоустойчивый протокол для ограничения точности D[42]. Типичное при масштабе — ничего: по состоянию на 3 сентября 2026 г. ни одна фабрика нигде не работала внутри алгоритма, и каждый результат получен отдельно и с постселекцией. Продемонстрированное (10⁻⁴) лежит на пять порядков выше требуемого (10⁻⁹), и разрыв по доле принятых попыток выглядит труднее закрываемым, чем по точности.

Доминирующая статья бюджета — шаг «убегания», на котором состояние входит в большой патч и лишается постселекции; ниже него лежат двухкубитные ошибки носителя, в среднем 1.2×10⁻³ на ведущей трансмонной системе C[32].

Ничего не изготавливается: ведомость материалов состоит из патчей кода-носителя, внутрисхемного измерения и классических вычислений, а единицей стоимости служат кубит-раунды. Попытка с «убеганием» до расстояния 15 подразумевает рабочую область порядка 10³ физических кубитов на каждую параллельно идущую попытку — против площади teraquop-памяти в 650 физических на один логический при шуме 0.1% S[655], то есть горстку логических кубитов на фабрику, а не сотни, подразумеваемые двухуровневой дистилляцией. Цепочка поставок здесь классическая: декодеры реального времени (Riverlane, NVIDIA, Zurich Instruments), межсоединение для вердикта «принять/отклонить» и инструментарий, сертифицирующий выход; единая точка отказа — верификационный стек. Уязвимость к экспортному контролю унаследованная: по американским правилам 2024 г. для квантовых вычислителей ограничения цепляются к машине-носителю, а не к коду.

Фабрика не добавляет ни одного провода, но добавляет одно жёсткое требование по задержке: каждая попытка завершается вердиктом «принять/отклонить», который обязан дойти до планировщика раньше, чем состояние распадётся, поэтому вердикт едет по тому же тракту декодирования в реальном времени, что и память, и конкурирует с ней за полосу. При сверхпроводниковом цикле 1.1 µs D[1] «убегание» до расстояния 15 занимает около 17 µs на попытку, и при доле принятых 8% темп попыток должен превышать потребление в ~12×. На носителях с ионами в QCCD и на нейтральных атомах цикл составляет 1–5 ms, та же попытка стоит 15–75 ms, и связывающим ограничением становится пропускная способность, а не точность. Измеренная задержка декодирования составляет 63 µs при d=5 D[1], то есть выше бюджета одной попытки; конвейеризацию делают возможной декодер Riverlane на ПЛИС (FPGA) с субмикросекундным временем на раунд D[238] и средний круговой обход NVQLink за 3.84 µs P[324]. Стена: на 10³ кубитах фабрика и алгоритм не сосуществуют; на 10⁴ помещаются одна-две; на 10⁶ задача сводится к планированию десятков фабрик, каждая со своим потоком декодера.

Она располагается, как альтернативная технология, на четырёх архитектурах: на решётке трансмонов с перестраиваемыми элементами связи (Google, IBM, Rigetti, IQM, OQC, USTC/Zhejiang, Fujitsu), на ионах QCCD (Quantinuum), на линейной ловушке Пауля с индивидуальной лазерной адресацией (AQT, Innsbruck) и на архитектуре щелочных нейтральных атомов (Harvard/MIT, QuEra, Pasqal, Infleqtion, атомное направление Google 2026 г.). Она требует носителя — повёрнутого поверхностного кода с его yoked-вариантами либо цветового кода — и даёт ту неклиффордову ось, без которой стабилизаторная машина классически моделируема. Культивация заменяет многоуровневую дистилляцию; цена перехода архитектурная, поскольку культивация нативна для поверхностного кода и тяжела постселекцией, тогда как переключению кодов нужен цветовой код. Это один примитив, дотягивающийся до всех трёх ведущих носителей и не имеющий заменителя, так что вся его ценность заключена в том, что он разблокирует. Производный такт она не задаёт, а умножает: производный такт = сумма раунда синдрома: слои вентилей + транспорт + считывание + сброс для данной архитектуры, то есть 0.65 µs для сверхпроводников (1.1 µs измеренного цикла) и 9.66 ms для ионов в QCCD, помноженные на глубину «убегания» и на обратную величину доли принятых попыток. Соседние пустые слоты: нет фабрики на бозонных, фотонных и спиновых платформах и нет ни одной на qLDPC-коде.

Каждое ключевое число — это точность отдельно взятого состояния с постселекцией, измеренная на состоянии, которое затем выбрасывается, а не используется. Google приводит границу, полученную специально построенным отказоустойчивым протоколом измерения, а не томографическую оценку D[42]; цифра 7×10⁻⁵ приводится при указанной доле отбраковки D[107]; у переключения кодов значение 5.1(2.7)×10⁻⁴ несёт неопределённость того же порядка, что и само значение D[666]; статья по нейтральным атомам сообщает об улучшении относительно входа, а не об абсолютной выходной неточности D[147]. Нигде не измерено: пропускная способность под нагрузкой планировщика, стоимость отбраковки, корреляции «фабрика — потребитель» и те каналы потерь, которые убирает постселекция. Независимая проверка здесь необычно сильна: Wan, Zhong и Zapirain разлагают схемы культивации при d=5 в среднем примерно на 8 клиффордовых ZX-членов — более чем в 10⁶× меньше, чем прежние стабилизаторные разложения D[691]. Конфликтов значений среди использованных источников не обнаружено.

Выход фабрики можно сертифицировать операциями, которые у кода уже есть: оценка точности по белловской когерентности (Bell-coherence fidelity estimation) измеряет неточность ε любого чистого ресурсного состояния, включая состояния поворота на непрерывный угол, с фиксированной относительной точностью по Θ(1/ε) копиям, используя только вентили Клиффорда и паулиевские измерения, — что оптимально даже в сравнении с коллективными измерениями, — а в моделировании поверхностного кода расстояния 3 ей требовалось до ~27 раз меньше состояний, чем прямой оценке точности P[896]. Измеренные копии расходуются.

Не опубликовано в аннотациях [42] и [147]: кодовое расстояние стадии escape, число физических кубитов и число циклов в эксперименте Google по культивации, а также абсолютная выходная неточность, число атомов и доля принятых прогонов в дистилляции QuEra/Harvard/MIT, где указано лишь улучшение относительно входа. Не опубликовано: датированное число патентных семейств по приготовлению магических состояний. Область escape с расстоянием 15 порядка 10³ кубитов и ~17 мкс на попытку выведены из [690] и [1], а не процитированы из источника.

Деньги.

• 2025-09-04 · Quantinuum · привлечение капитала · $600 M при оценке $10 B до размещения · NVentures, Quanta, QED, JPMorgan · закрыто факт
• 2025-09-09 · QuEra · раунд финансирования · $230 M+ · Google, SoftBank Vision Fund 2, NVentures · закрыто факт
• 2025-11-06 · DARPA · QBI Stage B · до $15 M каждой · одиннадцать команд · объявлено факт
• 2026-06-03 · Quantinuum · IPO · $1.68 B брутто, Nasdaq QNT; годовой прогноз $28–32 M · закрыто факт
• 2026-06 · IBM · корпоративное обязательство · $10 B, квантовое производство и НИОКР в США · объявлено C[67]

Рынок и цепочка поставок. Фабрику магических состояний никто не продаёт; она входит в комплект машины и раздаётся вместе с компилятором. Продаваемые смежности — декодирование в реальном времени и межсоединение, оценка ресурсов и сама аппаратура-носитель. Концентрация предельная: Google, Quantinuum и QuEra вместе с Harvard и MIT держат все продемонстрированные результаты, кроме переключения кодов в Innsbruck и инжекций магических состояний на Heron от IBM и на 125-кубитном процессоре Zhejiang University, а два маршрута из трёх восходят к одной теоретической группе. Напрямую за это платят G3 и G4, косвенно — G6; G1, G2 и G5 не платят ничего, и потому примитив, лежащий на каждом критическом пути к отказоустойчивости, почти не несёт собственной выручки.

Интеллектуальная собственность и стандарты. Датированного счёта патентных семейств, специфичного именно для фабрик магических состояний, из поименованной базы по состоянию на 3 сентября 2026 г. не получено; обзор PatSnap, опубликованный 2026-06-30, насчитывает у IBM 4 388, у Google 2 385 и у Microsoft 1 175 квантовых патентных семейств, но до этого узла их не разбивает Pфакт. Стандарта интерфейса не существует; де-факто слоем переносимости служит Quantum Intermediate Representation, применённое в демонстрации реального времени 2023 г. C[692], а слоем верификации — открытые стабилизаторное и ZX-моделирование D[691]. Судебных разбирательств в записях нет.

Дорожные карты и послужной список. Google (2024-09-26, «дёшево, как CNOT»): продемонстрировано 2025-12-15 на уровне 0.9999, пятнадцать месяцев от теории до кремния, всё ещё на пять порядков выше цели. Quantinuum (2024-09-10, универсальная отказоустойчивость к 2029 г.): две демонстрации, обе на 20-кубитной H1-1, на Helios пока ни одной. QuEra (2024-01, 100 логических кубитов в 2026 г.): дистилляция показана 2025-07, число кубитов не достигнуто, обещание переформулировано как Libra в 2028 г. IBM (2025-06-10, Starling 2029): результата по фабрике нет, Kookaburra съехал на год. Достоверность: у Google наивысшая — теория, аппаратура и верификационный инструментарий собраны в одном месте; у Quantinuum высокая по примитивам, но не доказанная в масштабе; у QuEra высокая по примитивам при съехавшей дорожной карте; у IBM здесь нет подтверждений вовсе.

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

Подтвердить в течение 12–24 месяцев, если культивированное состояние будет потреблено логическим алгоритмом, а не измерено изолированно, со сквозной ошибкой ниже 10⁻⁶ до конца 2027 г.; если культивация выйдет на отбраковку ниже 50% против сегодняшних 92%; если хоть один результат по магическим состояниям появится на аппаратуре IBM до Starling или если хоть одна фабрика заработает на qLDPC-коде. Понизить, если следующий процессор Google не сумеет опустить культивацию ниже 10⁻⁵ с одновременным ростом доли принятых попыток или если граница по точности не переживёт потребления состояния. В лучшем случае к 2029 г.: культивация в линию на уровне около 10⁻⁹ и фабрики, занимающие меньшую часть площади, так что алгоритмы, ограниченные T-счётом, становятся ограниченными тактом. В худшем случае: доля принятых попыток остаётся около 10%, связывающим ограничением становится пропускная способность, дистилляция возвращается вторым каскадом, а вместе с нею и оценки в 10³ физических на один логический. Открытые вопросы: переживёт ли граница использование состояния, а не только его измерение; во что обходится постселекция при реальном планировании; можно ли сделать переключение кодов детерминированным; возможна ли фабрика, нативная для qLDPC; поднимает ли преобразование в стирания этот порог так же, как оно поднимает порог памяти. Следить за следующей статьёй Google по культивации, за первыми числами по магическим состояниям на Helios, за IBM Kookaburra и за QuEra Libra.