Магические трехколесные велосипеды: Эффективная генерация магических состояний с помощью квантовых LDPC кодов конечной длины блока

Предыстория и академическая родословная

Происхождение и академическая родословная

Проблема, рассматриваемая в данной статье, проистекает из фундаментальных требований для достижения универсальных отказоустойчивых квантовых вычислений. Знаменательный результат Истина и Книлла [2] установил невозможность реализации универсального набора квантовых вентилей исключительно транзитивно (т.е. путем применения одного и того же физического вентиля к каждому кубиту независимо) в рамках кода квантовой коррекции ошибок. Это ограничение означает, что не-Клиффордовы вентили, часто называемые "магическими вентилями", должны реализовываться другими средствами, как правило, путем телепортации специально подготовленных не-Клиффордовых ресурсных состояний в кодовое пространство.

Основной метод подготовки этих ресурсных состояний высокой точности известен как дистилляция магических состояний (MSD). Исторически протоколы MSD, такие как схема дистилляции 15-в-1 [3], были чрезвычайно ресурсоемкими, требуя многоуровневой повторной дистилляции и конкатенации с внутренними кодами. Этот процесс значительно увеличивает общие накладные расходы по пространству-времени, до такой степени, что генерация магических состояний, по оценкам, доминирует над общим количеством кубитов и вентилей в передовых отказоустойчивых архитектурах, даже для таких алгоритмов, как алгоритм Шора [4,5]. Основная мотивация данного исследования заключается в радикальном снижении этих накладных расходов.

За последнее десятилетие исследователи добились прогресса в разработке квантовых кодов с транзитивными не-Клиффордовыми вентилями для снижения накладных расходов MSD [6-9]. Однако эти ранние подходы столкнулись со значительными ограничениями. Многие предложенные схемы дистилляции с низкими накладными расходами полагались на коды с проверками четности большого веса, что означало, что их схемы извлечения синдромов имели глубины, масштабирующиеся с длиной блока кода. Это делало их не inherently отказоустойчивыми к шуму на уровне схемы и препятствовало экспоненциальному подавлению ошибок ниже порогового значения. Кроме того, эти схемы часто неявно предполагали отсутствие шума в Клиффордовых операциях, что является нереалистичным предположением, которое еще больше увеличивало практические накладные расходы из-за необходимости внутренних кодов с большим расстоянием. Схемы кодирования и декодирования Клиффорда также страдали от глубин, масштабирующихся линейно с числом физических кубитов, что приводило к существенным временным накладным расходам.

Квантовые коды с низкой плотностью проверок на четность (qLDPC) появились как многообещающий путь к снижению стоимости квантовой коррекции ошибок благодаря их разреженным проверкам стабилизаторов и благоприятному масштабированию скорости и расстояния. Хотя qLDPC коды исследовались для квантовой памяти [12,13], их применение к генерации магических состояний только недавно начало изучаться. Это во многом связано с тем, что построение qLDPC кодов, способных поддерживать транзитивные не-Клиффордовы вентили, оказалось сложной задачей. Предыдущие конструкции гомологических произведений кодов для генерации магических состояний, например, часто требовали тысячи или даже десятки тысяч физических кубитов для наименьших длин блоков с хорошими параметрами, из-за кубического роста размера кода относительно классических кодов [Страница 5, левая колонка, абзац 1]. Это большое количество кубитов было основным камнем преткновения.

Данная статья напрямую устраняет эти ограничения, вводя "трехколесные коды" (tricycle codes) — новый класс квантовых LDPC кодов конечной длины блока, специально разработанных для поддержки эффективной, отказоустойчивой генерации магических состояний. Эти коды построены для обеспечения транзитивного действия логического вентиля CCZ (Controlled-Controlled-Z), который имеет решающее значение для дистилляции магических состояний, преодолевая при этом высокие накладные расходы и проблемы отказоустойчивости предыдущих методов.

Интуитивно понятные термины предметной области

• Магические состояния (Magic States): Представьте, что вы играете в сложную видеоигру. Большинство ваших действий — это базовые движения, такие как ходьба, прыжки или простые атаки (Клиффордовы вентили). Но чтобы выполнить мощное, меняющее игру специальное движение (например, суперкомбо или телепорт), вам нужен особый предмет "усиления". Эти предметы "усиления" подобны магическим состояниям в квантовых вычислениях. Это особые квантовые состояния, которые открывают возможности, выходящие за рамки базовых операций, позволяя выполнять универсальные вычисления.

• Дистилляция магических состояний (Magic-State Distillation, MSD): Продолжая аналогию с видеоигрой, иногда вы находите много слабых, низкокачественных предметов "усиления", которые сами по себе не очень эффективны. Дистилляция магических состояний — это своего рода "процесс очистки", в котором вы берете много этих зашумленных, низкокачественных усилений и объединяете их, чтобы получить меньшее количество гораздо более сильных, высококачественных усилений. Цель — получить очень чистые, надежные специальные ходы.

• Квантовые коды с низкой плотностью проверок на четность (Quantum Low-Density Parity-Check, qLDPC) Codes: Представьте себе библиотеку с миллионами книг. Чтобы проверить наличие неправильно размещенных книг (ошибок), традиционная система может потребовать, чтобы каждый библиотекарь проверил каждую полку. Код qLDPC — это как умная система проверки ошибок, где каждый библиотекарь ("проверка") отвечает только за проверку небольшого, специфического и разрозненного набора книг. Эта "низкая плотность" связей делает систему проще в построении, масштабировании и управлении, позволяя более надежно обнаруживать ошибки с менее сложным оборудованием.

• Транзитивный вентиль (Transversal Gate): Если у вас есть команда поваров, и каждый повар готовит блюдо, транзитивный вентиль — это как сказать каждому повару выполнить точно такой же простой шаг над своим индивидуальным блюдом одновременно. Например: "все добавьте щепотку соли". Ключевым моментом является то, что каждый повар действует независимо над своим блюдом, поэтому ошибка одного повара не легко распространяется на блюдо другого. В квантовых вычислениях это означает применение физического вентиля к каждому кубиту в блоке кода, что естественным образом ограничивает распространение ошибок и делает операцию отказоустойчивой.

• Вентиль CCZ (Controlled-Controlled-Z): Это специфический тип магического вентиля, включающий три кубита. Представьте себе секретный сейф с тремя замками. Вентиль CCZ — это как механизм, который активируется только в том случае, если все три замка повернуты одновременно. Если один из замков не повернут, ничего не происходит. Этот "тройной контроль" позволяет выполнять очень сложные и мощные операции в квантовых вычислениях.

Таблица обозначений

Обозначение	Описание
$N$	Общее количество физических кубитов в блоке кода.
$K$	Количество закодированных логических кубитов в блоке кода.
$D$	Минимальное расстояние квантового кода, представляющее его способность к коррекции ошибок. $D_X$ и $D_Z$ относятся к расстояниям в базисах X и Z соответственно.
$H_X$	Матрица проверок на четность типа X, определяющая генераторы стабилизаторов X.
$H_Z$	Матрица проверок на четность типа Z, определяющая генераторы стабилизаторов Z.
$A, B, C$	Бинарные матрицы перестановок размером $n_G \times n_G$, полученные из элементов алгебры группы, определяющие шаблоны связности в трехколесных кодах.
$O$	Нулевая матрица размером $n_G \times n_G$.
$\mathbb{F}_2$	Бинарное поле $\{0,1\}$, где арифметика выполняется по модулю 2.
$n_G$	Линейный размер каждого сектора, равный порядку конечной абелевой группы $G$. Общее число физических кубитов $N = 3n_G$.
$f_{CCZ}$	Трилинейная бинарная функция, определяющая транзитивный вентиль CCZ. $f_{CCZ}(p^I, q^{II}, r^{III}) = 1$ означает, что физический вентиль CCZ применяется к кубитам $p^I, q^{II}, r^{III}$.
$\cup$	Оператор копроизведения из алгебраической топологии, используемый для построения транзитивных не-Клиффордовых вентилей.
$a_{in}, a_{out}, a_{free}$	"Входные", "выходные" и "свободные" разбиения (преориентации) элементов алгебры группы, критически важные для определения копроизведения и обеспечения сохранения кодового пространства вентилями CCZ.
$|...|_{d_{i \neq j \neq k}}$	Обозначает весовую функцию Хэмминга (размер носителя) аргумента с условием, что кубиты должны быть из различных секторов для вентиля CCZ.
$\pmod{2}$	Арифметика по модулю 2, обеспечивающая бинарный вывод для применения вентиля.
$p_{2q}$	Физическая частота ошибок для двухкубитных запутывающих вентилей (например, CNOT).
$p_{3q}$	Физическая частота ошибок для трехкубитных вентилей CCZ.
$K_{CCZ}$	Максимальное количество непересекающихся логических вентилей CCZ, которые могут быть извлечены из гиперграфового магического состояния.
STCP	Формализм симметрического тройного копроизведения (Symmetric Triple Cup Product), аналитический метод для построения схем CCZ.
NLR	Метод численного правила Лейбница (Numerical Leibniz Rule), комплементарный численный метод для построения схем CCZ.
MSD	Дистилляция магических состояний (Magic-State Distillation), протокол для подготовки высокоточных не-Клиффордовых ресурсных состояний.
qLDPC	Квантовые коды с низкой плотностью проверок на четность (Quantum Low-Density Parity-Check codes).
CSS	Коды Калдербанка-Шора-Стийна (Calderbank-Shor-Steane codes), класс квантовых кодов коррекции ошибок.
MLE	Декодер максимального правдоподобия ошибок (Maximum Likelihood Error decoder).
BP + LSD	Распространение убеждений + Локализованное статистическое декодирование (Belief Propagation + Localized Statistics Decoding), эффективный аппроксимирующий декодер.
BP + OSD	Распространение убеждений + Упорядоченное статистическое декодирование (Belief Propagation + Ordered Statistics Decoding), другой аппроксимирующий декодер.
AOD	Акустооптический отклонитель (Acousto-Optical Deflector), используемый для перемещения атомов в массивах нейтральных атомов.
SLM	Пространственный модулятор света (Spatial Light Modulator), используемый для генерации ловушек для кубитов.
$t_{wsp}, t_{ent}$	Временные накладные расходы для перемещений AOD в рабочей области и зоне запутывания соответственно.
$d_{min}$	Минимальное оптическое разрешающее расстояние, ограничивающее плотность кубитов и скорость перемещения.
$d_{iso}$	Изоляционное расстояние для ридберговских взаимодействий, обеспечивающее намеченные пары CNOT.

Определение проблемы и ограничения

Формулировка основной проблемы и дилемма

Основная проблема, которой посвящена данная статья, — это неэффективная и ресурсоемкая генерация высокоточных не-Клиффордовых (магических) состояний, которые незаменимы для универсальных отказоустойчивых квантовых вычислений.

Вход/Текущее состояние:
Универсальные квантовые вычисления опираются как на Клиффордовы, так и на не-Клиффордовы операции. В то время как логические Клиффордовы вентили часто могут быть реализованы транзитивно во многих квантовых кодах коррекции ошибок, теорема Истина-Книлла диктует, что универсальный набор вентилей не может быть реализован транзитивно. Следовательно, не-Клиффордовы вентили (магические вентили) обычно реализуются путем телепортации специально подготовленных не-Клиффордовых ресурсных состояний в кодовое пространство. Текущее состояние дел в подготовке этих высокоточных ресурсных состояний, известное как дистилляция магических состояний (MSD), страдает от значительных недостатков:
1. Существенные накладные расходы по пространству-времени: Протоколы MSD, такие как дистилляция 15-в-1, требуют многоуровневой повторной дистилляции и конкатенации с внутренними кодами. Это приводит к предполагаемому доминированию генерации магических состояний в общем количестве кубитов и вентилей для крупномасштабных квантовых алгоритмов, таких как алгоритм Шора.
2. Компромиссная отказоустойчивость в предыдущих схемах с "низкими накладными расходами": Недавние предложения по протоколам MSD с низкими накладными расходами, хотя и достигают транзитивных не-Клиффордовых вентилей, часто сопровождаются проверками четности большого веса. Это требует схем извлечения синдромов, глубины которых растут с длиной блока кода, что делает их не inherently отказоустойчивыми к шуму на уровне схемы.
3. Нереалистичные предположения: Многие существующие протоколы неявно предполагают отсутствие шума в Клиффордовых операциях для кодирования и декодирования, что преувеличивает их заявленные накладные расходы. Эти Клиффордовы схемы также могут иметь глубины, масштабирующиеся линейно с числом физических кубитов, что приводит к значительным временным накладным расходам.

Желаемый конечный пункт (выходное/целевое состояние):
Статья нацелена на достижение эффективного, отказоустойчивого производства магических состояний, которое значительно снижает накладные расходы по пространству-времени, связанные с текущими методами. В частности, цель состоит в том, чтобы:
1. Генерировать магические состояния с высокой точностью и пропускной способностью: Производить магические состояния с логическими частотами ошибок от $2 \times 10^{-8}$ до ниже $3 \times 10^{-11}$ для практических приложений, таких как алгоритм Шора.
2. Использовать коды конечной длины блока: Применять коды с длиной блока примерно 50-100 кубитов, чтобы сделать их экспериментально осуществимыми.
3. Поддерживать схемы постоянной глубины: Реализовывать логические вентили CCZ и извлечение синдромов с использованием физических схем постоянной глубины, независимой от размера кода.
4. Обеспечить однократную подготовку состояния и коррекцию ошибок: Позволить начальному логическому состоянию схемы подготовки магического состояния подготавливаться с постоянной глубиной, и исправлять ошибки без повторных раундов извлечения синдромов в одном базисе.
5. Избежать конкатенации: Устранить необходимость конкатенации с внутренним кодом, поддерживающим транзитивные Клиффордовы вентили, упрощая общую архитектуру.

Отсутствующее звено и математический пробел:
Точным отсутствующим звеном является построение квантовых кодов с низкой плотностью проверок на четность (qLDPC), которые одновременно обладают высокими скоростями, большими расстояниями и поддерживают транзитивные не-Клиффордовы вентили постоянной глубины (в частности, вентили CCZ), а также обеспечивают однократную коррекцию ошибок. Предыдущие исследования qLDPC кодов столкнулись с проблемой транзитивных не-Клиффордовых вентилей.

Данная статья пытается преодолеть этот пробел, вводя "трехколесные коды" (tricycle codes) — новый класс qLDPC кодов конечной длины блока. Эти коды построены как трехмерные сбалансированные произведения классических бинарных линейных кодов над алгебрами абелевых групп, обобщая хорошо известные двухколесные коды (bicycle codes). Математический пробел преодолевается путем:
1. Разработки модифицированного формализма копроизведения: Статья расширяет теоретическую основу для построения транзитивных не-Клиффордовых вентилей в трехмерных произведениях кодов, модифицируя формализм копроизведения из алгебраической топологии. Это приводит к новому набору условий, которым должны удовлетворять трехколесные коды с высокой скоростью и большим расстоянием, чтобы поддерживать нетривиальное действие CCZ.
2. Введения метода численного правила Лейбница (NLR): Разработан комплементарный численный метод для поиска схем CCZ с малой глубиной и сохранением кодового пространства на итерированных квантовых кодах с сбалансированным произведением, особенно в случаях, когда аналитический формализм копроизведения слишком ограничен.

Дилемма:
Болезненный компромисс, который поставил в тупик предыдущих исследователей, — это напряжение между достижением кодов с высокой скоростью и большим расстоянием с транзитивными не-Клиффордовыми вентилями и поддержанием истинной отказоустойчивости с эффективным извлечением синдромов. Исторически улучшение одного аспекта (например, достижение транзитивных не-Клиффордовых вентилей для низких накладных расходов) часто компрометировало другой (например, требование схем извлечения синдромов с глубинами, растущими с длиной блока, тем самым нарушая отказоустойчивость в присутствии шума на уровне схемы). Дилемма заключается в том, как одновременно достичь:
* Магические состояния высокой точности (требующие большого расстояния кода для подавления ошибок).
* Эффективная генерация (требующая высокой скорости кода для параллельной дистилляции и низких накладных расходов по пространству-времени).
* Отказоустойчивость (требующая извлечения синдромов и подготовки состояний с постоянной глубиной и устойчивости к шуму на уровне схемы).
* Транзитивные не-Клиффордовы вентили (чтобы избежать сложных, не отказоустойчивых реализаций вентилей).

Предыдущие подходы либо достигали некоторых из этих целей за счет других, либо полагались на упрощающие предположения, которые нереалистичны в практических архитектурах квантовых вычислений. Например, трехколесные коды 4-4-4, хотя и предлагают более высокие скорости и расстояния, сопряжены с более высокими весами проверок и более глубокими схемами CCZ, иллюстрируя этот присущий компромисс.

Ограничения и режимы отказа

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

Физические ограничения:
1. Частоты ошибок кубитов и смещение шума: Предполагается, что физические вентили CCZ имеют определенную частоту ошибок (например, $p_{3q} = 0.002$), которая вдвое выше, чем у двухкубитных запутывающих вентилей ($p_{2q} = 0.001$). Кроме того, нативные вентили фазового типа (такие как CCZ) демонстрируют профили шума, сильно смещенные в сторону ошибок типа Z, что необходимо учитывать в моделях ошибок.
2. Ограничения памяти оборудования: Необходимость кодов "конечной длины блока" (например, 50-100 кубитов) подразумевает практические ограничения на количество физических кубитов, доступных для блока кода.
3. Требования к задержке в реальном времени: Требование "однократной" подготовки состояния и коррекции ошибок имеет решающее значение для предотвращения распространения и накопления ошибок, особенно поскольку вентили CCZ могут распространять ошибки X в ошибки CZ. Это накладывает строгие требования к задержке на циклы декодирования и коррекции.
4. Ограничения массивов нейтральных атомов: Предлагаемая реализация на перестраиваемых массивах нейтральных атомов вводит специфические ограничения:
* Расстояние между ловушками: Пары кубитов, участвующие в параллельных CNOT, должны быть разделены достаточным расстоянием ($d_{iso}$, например, 10 мкм) для изоляции ридберговских взаимодействий и предотвращения непреднамеренных взаимодействий в пределах одного сектора.
* Оптическое разрешение ($d_{min}$): Минимальное оптическое разрешающее расстояние (например, 2 мкм) ограничивает скорость и плотность перестановок кубитов.
* Временные параметры перемещений AOD: Перемещения атомооптических отклонителей (AOD) для перестановок (циклирование x, y, z) и операций получения/возврата имеют связанные временные накладные расходы ($t_{wsp}, t_{ent}$), которые способствуют общей глубине схемы.
5. Теорема Истина-Книлла: Эта фундаментальная теорема запрещает транзитивные универсальные наборы вентилей, вынуждая использовать магические состояния и, таким образом, добавляя сложность к не-Клиффордовым операциям.

Вычислительные ограничения:
1. NP-трудность проблем расстояния кода и подранга:
* Нахождение точного расстояния кода для линейных кодов является NP-трудной проблемой, что делает вычислительно сложным точную характеристику производительности более крупных трехколесных кодов.
* Нахождение подранга бинарного тензора (что соответствует извлечению максимального количества непересекающихся вентилей CCZ из гиперграфового магического состояния) также является NP-трудным. Это ограничивает возможность эффективного извлечения полного потенциала сгенерированных магических состояний.
2. Тайм-ауты решателей: Численные решатели, используемые для оптимизации логических схем (например, целочисленное программирование для $K_{CCZ}$), часто превышают время ожидания для больших значений, что указывает на вычислительную неразрешимость поиска оптимальных решений.
3. Сложность декодирования: Хотя используются эффективные декодеры, такие как Belief Propagation + Localized Statistics Decoding (BP + LSD), они являются аппроксимациями. Точные декодеры Maximum Likelihood Error (MLE) экспоненциально дороги, что делает их непрактичными для отказоустойчивой работы в реальном времени.
4. Ограничения численного поиска: Метод численного правила Лейбница для построения схем CCZ не гарантирует малых глубин, требуя обширного поиска и настройки гиперпараметров для поиска подходящих кодов.

Ограничения и режимы отказа, основанные на данных:
1. Шум на уровне схемы: Весь протокол должен работать в рамках реалистичных моделей шума на уровне схемы, включая двухкубитный деполяризующий шум и смещенный трехкубитный деполяризующий шум для вентилей CCZ. Этот шум вносит ошибки, которые должны быть обнаружены и исправлены.
2. Распространение ошибок: Значительным режимом отказа является то, что вентили CCZ распространяют существующие ошибки X в ошибки CZ на других кубитах. Эти ошибки CZ затем коллапсируют в недетерминированные ошибки Z после измерения синдрома, которые могут быстро накапливаться, если не обрабатываются однократной коррекцией ошибок.
3. Недетерминированные измерения Z-стабилизатора: Начальные измерения Z-стабилизатора дают недетерминированные исходы $\pm 1$, которые должны быть надежно исправлены до $+1$ на оборудовании перед применением вентилей CCZ. Это требует надежных мета-проверок и декодеров для идентификации и исправления ошибок измерения синдрома.
4. Несбалансированные расстояния кода: Трехколесные коды естественным образом демонстрируют более высокие расстояния в базисе X по сравнению с базисом Z ($d_Z \leq d_X$). Хотя это может быть полезно для платформ со смещенным шумом, этот дисбаланс означает, что более сложная коррекция ошибок в базисе X часто определяет общую производительность.
5. Ограниченная частота успешности постселекции: Хотя постселекция может значительно улучшить логические частоты ошибок, это происходит за счет снижения доли принятия (например, от 3% до 30% для изученных кодов), что влияет на общую пропускную способность генерации магических состояний.

Почему этот подход

Неизбежность выбора

Принятие трехколесных кодов было не просто предпочтением, а необходимостью, обусловленной присущими ограничениями существующих подходов к отказоустойчивой генерации магических состояний. Универсальные квантовые вычисления критически зависят от не-Клиффордовых (магических) состояний, но их производство исторически накладывало существенные накладные расходы по пространству-времени. Традиционные протоколы дистилляции магических состояний (MSD), такие как широко используемая дистилляция 15-в-1, требуют многоуровневой повторной очистки и часто нуждаются в конкатенации с внутренними кодами (например, двумерными цветовыми кодами) для поддержки транзитивных Клиффордовых вентилей. Этот многоуровневый подход приводит к непомерному потреблению кубитов и операций вентилей, часто доминируя в оценках ресурсов для крупномасштабных квантовых алгоритмов, таких как алгоритм Шора.

Более того, хотя недавние предложения по протоколам MSD с низкими накладными расходами ввели квантовые коды с транзитивными не-Клиффордовыми вентилями и благоприятными асимптотическими параметрами, они имеют существенные оговорки. Эти коды часто имеют проверки четности большого веса, что означает, что их схемы извлечения синдромов имеют глубины, масштабирующиеся с длиной блока кода. Такое масштабирование подрывает отказоустойчивость в присутствии шума на уровне схемы, поскольку оно препятствует извлечению синдромов постоянной глубины. Кроме того, эти схемы часто предполагают отсутствие шума в Клиффордовых операциях для кодирования и декодирования, предположение, которое на практике преувеличивает истинные накладные расходы. Линейное масштабирование глубин Клиффордовых схем с числом физических кубитов также способствует существенным временным накладным расходам.

Стало очевидно, что для преодоления этих узких мест требуется принципиально иной класс кодов. Авторы осознали, что квантовые коды с низкой плотностью проверок на четность (qLDPC), которые по своей сути предлагают разреженные проверки стабилизаторов наряду с благоприятным масштабированием скорости и расстояния, представляют собой наиболее многообещающий путь. В частности, задача заключалась в построении qLDPC кодов, способных поддерживать сильно транзитивные не-Клиффордовы вентили (т.е. физические схемы постоянной глубины без необходимости Клиффордовых коррекций или конкатенации с внутренним кодом), одновременно обеспечивая извлечение синдромов постоянной глубины. Это осознание мотивировало введение трехколесных кодов: qLDPC кодов конечной длины блока, с высокой скоростью и большим расстоянием, специально разработанных для поддержки транзитивного действия логического вентиля CCZ, тем самым обеспечивая эффективную, однократную генерацию магических состояний.

Сравнительное превосходство

Трехколесные коды демонстрируют подавляющее качественное превосходство над предыдущими золотыми стандартами, выходящее далеко за рамки простых метрик производительности. Их структурный дизайн предлагает явные преимущества для эффективной, отказоустойчивой генерации магических состояний.

Во-первых, трехколесные коды построены как трехмерные сбалансированные произведения классических бинарных линейных кодов над алгебрами абелевых групп. Это инновационное обобщение хорошо известных двухколесных кодов до трех гомологических измерений имеет решающее значение, поскольку оно по своей сути позволяет транзитивные вентили из третьего уровня Клиффордовой иерархии, в частности логические вентили CCZ. Это фундаментальное структурное преимущество, поскольку оно позволяет прямое, постоянной глубины реализацию ключевого не-Клиффордова вентиля, который часто является узким местом в других архитектурах.

Во-вторых, первостепенным преимуществом является обеспечение однократной подготовки состояния и коррекции ошибок (Раздел I.B, II.C). В отличие от традиционных схем MSD, которые требуют множественных, итеративных раундов дистилляции, трехколесные коды могут подготавливать высокоточные гиперграфовые магические состояния за один раунд. Это достигается за счет двух ключевых свойств: присущей отказоустойчивости в одном базисе стабилизатора во время инициализации состояния и наличия "мета-проверок". Эти мета-проверки являются избыточными Z-проверками четности, которые образуют классический код на битах синдрома, позволяя надежно идентифицировать и исправлять ошибки измерения синдрома в базисе Z. Эта возможность является значительным отходом от кодов, таких как поверхностный код, которые обычно не имеют однократной подготовки состояния, и резко снижает временные накладные расходы с $O(d)$ раундов (где $d$ — расстояние кода) до постоянного числа.

Кроме того, трехколесные коды достигают благоприятных параметров — высоких скоростей и расстояний — при относительно небольших длинах блока (например, [[48, 6, 4]], [[108, 21, 6]], как показано в Таблице I). Эта компактность жизненно важна для практической реализации на квантовом оборудовании ближнего срока. Статья также подчеркивает, что определенные семейства, такие как трехколесные коды 4-2-2, особенно актуальны из-за их более низких весов проверок и минимальной схемы CCZ глубиной 8, что напрямую транслируется в снижение распространения шума на уровне схемы.

Количественно превосходство очевидно в затратах пространства-времени. Как показано в Таблице II, трехколесные коды достигают логических частот ошибок (например, $2 \times 10^{-8}$ для [[48, 6, 4]] и $4 \times 10^{-10}$ для [[84, 6, 5]]) при сопоставимых или значительно более низких затратах пространства-времени (89 и 527 раундов кубитов соответственно) по сравнению с передовыми схемами культивации магических состояний на основе цветовых кодов (например, 90 раундов кубитов для [[7, 1, 3]] цветового кода с частотой ошибок $6 \times 10^{-7}$, или 3000 раундов кубитов для [[19, 1, 5]] цветового кода с частотой ошибок $6 \times 10^{-10}$). Это демонстрирует существенное улучшение эффективности ресурсов для производства высокоточных магических состояний.

Соответствие ограничениям

Выбранный подход трехколесных кодов демонстрирует замечательное "сочетание" со строгими требованиями для практических, отказоустойчивых квантовых вычислений. Принципы проектирования трехколесных кодов были специально разработаны для решения основных ограничений, выявленных при определении проблемы.

Во-первых, всеобъемлющая цель универсальных отказоустойчивых квантовых вычислений напрямую достигается благодаря способности трехколесных кодов поддерживать транзитивные логические вентили CCZ. Вентиль CCZ является не-Клиффордовой операцией, необходимой для универсальных наборов вентилей, и его реализация постоянной глубины и транзитивности в трехколесных кодах является прямым решением этого требования (Раздел I.B, II.B).

Во-вторых, критическое ограничение снижения накладных расходов по пространству-времени решается за счет множества аспектов проектирования трехколесных кодов. Однократный протокол генерации магических состояний (Раздел I.B, II.C) устраняет необходимость в нескольких раундах дистилляции, значительно сокращая временные ресурсы. Высокоскоростные коды позволяют параллельно дистиллировать несколько магических состояний в пределах одного блока кода, повышая пропускную способность и снижая общее время. Кроме того, как логические операции CCZ, так и схемы извлечения синдромов разработаны как постоянной глубины (Раздел I.B, II.E), гарантируя, что сложность схемы не масштабируется неблагоприятно с размером кода, тем самым предотвращая линейное масштабирование накладных расходов, наблюдаемое в других методах. Использование кодов конечной длины блока с благоприятными параметрами (Таблица I) также гарантирует, что коды практичны и эффективны по ресурсам для реализации.

В-третьих, требование высокоточных магических состояний удовлетворяется за счет надежного подавления ошибок. Численные симуляции подтверждают, что трехколесные коды могут достигать чрезвычайно низких логических частот ошибок (например, от $2 \times 10^{-8}$ до ниже $3 \times 10^{-11}$) для магических состояний CCZ даже при умеренных длинах блока и при реалистичном шуме на уровне схемы, особенно с постселекцией (Раздел I.B, Таблица II).

Наконец, отказоустойчивость встроена в архитектуру трехколесных кодов. Схемы извлечения синдромов постоянной глубины (Раздел I.A, II.E) разработаны так, чтобы быть устойчивыми к шуму на уровне схемы. Транзитивный характер не-Клиффордовых вентилей по своей сути ограничивает распространение ошибок между физическими кубитами (Раздел I.A). Высокие относительные расстояния обеспечивают эффективное подавление ошибок во время дистилляции. Критически важно, что наличие мета-проверок позволяет однократную коррекцию ошибок в базисе Z, позволяя немедленно исправлять ошибки X и предотвращать их распространение, что жизненно важно для поддержания отказоустойчивости во время подготовки магических состояний (Раздел II.C). Предлагаемая реализация на перестраиваемых массивах нейтральных атомов (Раздел I.B, II.E) также соответствует практическим аппаратным ограничениям современных квантовых вычислений.

Отклонение альтернатив

Статья неявно и явно отклоняет несколько альтернативных подходов, подчеркивая их недостатки или демонстрируя превосходные возможности трехколесных кодов.

Традиционные схемы дистилляции магических состояний (MSD): Введение статьи (Раздел I.A) служит сильным отклонением традиционных протоколов MSD, таких как дистилляция 15-в-1. Эти методы критикуются за то, что они требуют "многоуровневой повторной дистилляции" и "конкатенации с внутренним кодом достаточного расстояния", что "значительно способствует накладным расходам по пространству-времени". Авторы прямо заявляют, что генерация магических состояний "доминирует в последних оценках ресурсов для факторизации целых чисел RSA с помощью алгоритма Шора, несмотря на значительные оптимизации [4,5]". Трехколесные коды, напротив, нацелены на однократную дистилляцию, что значительно снижает эти накладные расходы.

Существующие протоколы MSD с постоянными накладными расходами, не являющиеся LDPC: Хотя некоторые предыдущие работы предлагали коды с транзитивными не-Клиффордовыми вентилями и постоянными накладными расходами, статья указывает на их критические недостатки (Раздел I.A). Эти коды часто имеют "проверки четности большого веса", что приводит к схемам извлечения синдромов, глубины которых "растут с длиной блока". Это делает их "не inherently отказоустойчивыми сами по себе" и неспособными поддерживать конечный порог. Кроме того, они "неявно предполагают, что Клиффордовы операции не имеют шума", что является нереалистичным упрощением, преувеличивающим их предполагаемую эффективность. Трехколесные коды, как qLDPC коды, преодолевают эти недостатки, обеспечивая разреженные проверки и извлечение синдромов постоянной глубины.

Двухколесные коды (двумерные коды алгебры группы): Трехколесные коды представлены как обобщение двухколесных кодов до "трех гомологических измерений" (Раздел I.B). Это обобщение необходимо, поскольку оно "позволяет, в принципе, транзитивные вентили из третьего уровня Клиффордовой иерархии [23]", в частности логический вентиль CCZ. Хотя двухколесные коды эффективны для вентилей более низкого уровня Клиффордовой иерархии, они недостаточны для прямого транзитивного получения вентиля CCZ, который является целевой не-Клиффордовой операцией для данной работы. Статья отмечает, что, хотя двухколесные коды могут иметь более высокие скорости, трехколесные коды предлагают необходимую трехмерную структуру для CCZ.

Конкретные параметры трехколесных кодов 2-2-2: В рамках семейства трехколесных кодов авторы эмпирически отклонили определенные выборы параметров. Они обнаружили, что "коды 2-2-2 с проверками X веса 6 и проверками Z веса 4" не предлагали "столь же благоприятные" скорости и расстояния для нетривиального транзитивного действия CCZ (Раздел II.A). В частности, они "не смогли найти ни одного такого кода с K > 3 закодированными логическими кубитами и расстоянием D > 7", что побудило их сосредоточиться на кодах 4-2-2, 4-4-2 и 4-4-4, которые продемонстрировали лучшую производительность.

Исходный формализм копроизведения из ссылки [27]: Статья также подробно описывает уточнение теоретической основы для построения транзитивных не-Клиффордовых вентилей. Было обнаружено, что "исходные условия копроизведения из ссылки [27]" были "слишком ограничительными для параметров кода" (Раздел II.B, Приложение D). Эти исходные условия, например, привели к кодам 2-2-2 с ограниченным числом логических кубитов (K=3) и расстоянием (D=2), а также к аналогично ограниченным кодам 4-2-2 и 4-4-4. Авторы разработали "новый формализм симметрического тройного копроизведения", который обеспечивает большую гибкость в выборе параметров, приводя к трехколесным кодам с "лучшими параметрами" (более высокими расстояниями), тем самым отклоняя исходный, более ограничительный формализм.

FIG. 2. Single-shot distillation with tricycle codes. The logical jþi⊗K state of the tricycle code can be prepared fault tolerantly in constant depth by harnessing the code’s intrinsic resilience in one basis—namely, by preparing the physical qubits such that the associated stabilizer checks are deterministic—together with single-shot error correction in the complementary, nondetermin- istic, basis. The logical non-Clifford operation is implemented via a constant-depth circuit composed of physical CCZ gates. The output is a logical hypergraph magic state which embeds KCCZ ≤K disjoint logical jCCZi resource states

Математический и логический механизм

Основное уравнение

Фундаментальный математический механизм данной статьи заключается в определении самих трехколесных кодов, которые представляют собой класс квантовых кодов Калдербанка-Шора-Стийна (CSS). Эти коды в первую очередь характеризуются своими матрицами проверок на четность типа X и Z. Кроме того, статья вводит специфическую трилинейную функцию, определяющую транзитивные вентили controlled-controlled-Z (CCZ), которые являются центральными для протокола генерации магических состояний.

Матрицы проверок на четность задаются как:

$$ H_X = \begin{bmatrix} A^T & B^T & C^T \end{bmatrix} \in \mathbb{F}_2^{n_G \times 3n_G} $$

$$ H_Z = \begin{bmatrix} C & O & A \\ O & C & B \\ B & A & O \end{bmatrix} \in \mathbb{F}_2^{3n_G \times 3n_G} $$

Эти матрицы определяют стабилизаторы квантового кода. Помимо определения кода, основной механизм генерации магических состояний в статье опирается на транзитивную схему CCZ, структура которой закодирована в бинарной функции, полученной из симметрического тройного копроизведения. Хотя статья представляет общую форму (Уравнение 2), конкретная конструкция для трехколесных кодов подробно описана в Предложении D4 (Уравнение D27):

$$ f_{CCZ}(p^I, q^{II}, r^{III}) = |r^{III} \cup a_{out}^{III} \cup q^{II} \cup a_{in}^{II} \cup p^I \cup a_{in}^I \cup a_{out}^I|_{d_{i \neq j \neq k}} \pmod{2} $$

Покомпонентный разбор

Давайте разберем эти уравнения, чтобы понять роль каждого компонента.

Для матриц проверок на четность ($H_X, H_Z$):

• $\mathbf{H_X}$: Это матрица проверок на четность типа X.
  • Математическое определение: Бинарная матрица, строки которой определяют генераторы группы стабилизаторов X.
  • Физическая/логическая роль: Она определяет, какие физические кубиты участвуют в каждом измерении стабилизатора типа X. Эти измерения используются для обнаружения ошибок типа Z на кубитах данных.
  • Почему такая структура: Блочная структура $[A^T \ B^T \ C^T]$ указывает на то, что проверки X формируются путем объединения элементов из трех секторов (I, II, III) блока кода. Транспонирование ($^T$) является стандартным для определения проверок X в CSS кодах при задании $H_Z$ в определенной форме.
• $\mathbf{H_Z}$: Это матрица проверок на четность типа Z.
  • Математическое определение: Бинарная матрица, строки которой определяют генераторы группы стабилизаторов Z.
  • Физическая/логическая роль: Она определяет, какие физические кубиты участвуют в каждом измерении стабилизатора типа Z. Эти измерения используются для обнаружения ошибок типа X на кубитах данных.
  • Почему такая структура: Блочная матричная структура $3n_G \times 3n_G$ отражает разбиение $N=3n_G$ физических кубитов на три равных сектора (I, II, III). Внедиагональные матрицы $A, B, C$ указывают на связи между этими секторами для проверок Z, в то время как диагональные матрицы $C$ предполагают внутрисекторные связи или связи, которые замыкаются.
• $\mathbf{A, B, C}$: Это бинарные матрицы размером $n_G \times n_G$.
  • Математическое определение: Матрицы перестановок, полученные из элементов алгебры группы $a, b, c \in \mathbb{F}_2[G]$. Матрица перестановок имеет ровно одну '1' в каждой строке и столбце.
  • Физическая/логическая роль: Они определяют специфические шаблоны связности между кубитами в разных секторах внутри блока кода. Их свойство перестановки подразумевает взаимно-однозначное отображение, обеспечивая сбалансированное распределение связей. Выбор этих элементов имеет решающее значение для расстояния и скорости кода.
  • Почему матрицы перестановок: Использование матриц перестановок гарантирует, что каждый кубит участвует в фиксированном числе проверок, что приводит к свойствам низкой плотности проверок на четность (LDPC), которые желательны для эффективного декодирования.
• $\mathbf{O}$: Это нулевая матрица размером $n_G \times n_G$.
  • Математическое определение: Матрица, все элементы которой равны нулю.
  • Физическая/логическая роль: Она означает отсутствие связей между определенными секторами для конкретных генераторов стабилизаторов типа Z. Например, в первой строке $H_Z$ $O$ означает отсутствие прямых связей Z-проверки между сектором II и сектором I.
• $\mathbf{\mathbb{F}_2}$: Бинарное поле $\{0,1\}$.
  • Математическое определение: Поле с двумя элементами, где арифметика выполняется по модулю 2.
  • Физическая/логическая роль: Это фундаментально для квантовых CSS кодов, где операторы Паули ($X, Y, Z$) в квадрате дают единицу, а их произведения следуют правилам бинарной арифметики (например, $X \cdot X = I$, $X \cdot Z = -iY$, $Z \cdot X = iY$, поэтому $X \cdot Z \cdot X \cdot Z = I$). Все матричные операции (умножение, сложение) выполняются по модулю 2.
• $\mathbf{n_G}$: Линейный размер каждого блока, равный порядку конечной абелевой группы $G$.
  • Математическое определение: $n_G = |G|$.
  • Физическая/логическая роль: Он определяет количество кубитов в каждом из трех секторов, а следовательно, и общее количество физических кубитов $N = 3n_G$.

Для функции CCZ ($f_{CCZ}$):

• $\mathbf{f_{CCZ}(p^I, q^{II}, r^{III})}$: Это трилинейная бинарная функция.
  • Математическое определение: Функция, которая принимает три входных значения (кубиты из различных секторов/блоков) и выдает 0 или 1.
  • Физическая/логическая роль: Если $f_{CCZ}=1$, это означает, что физический вентиль CCZ применяется к тройке кубитов $(p^I, q^{II}, r^{III})$. Если $f_{CCZ}=0$, вентиль не применяется. Эта функция определяет всю транзитивную схему CCZ.
• $\mathbf{p^I, q^{II}, r^{III}}$: Это представляют собой конкретные физические кубиты.
  • Математическое определение: Переменные, представляющие отдельные кубиты, индексированные по их блоку кода (I, II, III) и позиции внутри этого блока/сектора.
  • Физическая/логическая роль: Это целевые кубиты для вентиля CCZ. Верхние индексы $I, II, III$ указывают на то, что кубиты должны исходить из трех различных блоков кода (или секторов внутри блока, как уточнено в тексте и на рис. 1(a) статьи).
• $\mathbf{\cup}$: Оператор копроизведения.
  • Математическое определение: Двулинейное отображение из алгебраической топологии, в частности гомологической алгебры, которое объединяет коцепи. Статья использует "симметрическое тройное копроизведение" (Определение 6, стр. 21), что подразумевает определенную последовательность этих операций.
  • Физическая/логическая роль: Этот оператор является основным алгебраическим инструментом, используемым для построения транзитивных не-Клиффордовых вентилей. Он естественным образом возникает из структуры гомологического произведения кодов и связан с "тройным пересечением логических операторов". Конкретная последовательность копроизведений в уравнении предназначена для обеспечения того, чтобы результирующая схема CCZ сохраняла кодовое пространство и была инвариантна к кограницам.
  • Почему копроизведение: Оно обеспечивает систематический способ вывода вентилей Клиффордовой иерархии более высокого порядка (таких как CCZ) из лежащей в основе алгебраической структуры кодов, гарантируя их корректное действие на логическое подпространство.
• $\mathbf{a_{in}^I, a_{out}^I, \dots, a_{out}^{III}}$: Это "входные" и "выходные" разбиения элементов алгебры группы $a_I, a_{II}, a_{III}$, определяющих классические коды.
  • Математическое определение: Для элемента алгебры группы $a$ он разбивается на $a = a_{in} + a_{out} + a_{free}$ (Уравнение D20, стр. 22). $a_{in}$ и $a_{out}$ сами являются элементами алгебры группы.
  • Физическая/логическая роль: Эти разбиения, называемые "преориентациями", индуцируют копроизведение на классических кодах. Конкретный выбор этих разбиений, которые должны удовлетворять условиям "симметрического интегрированного правила Лейбница" (Уравнения D15-D19, стр. 22), имеет решающее значение для того, чтобы схема CCZ сохраняла кодовое пространство и была инвариантна к кограницам. Статья отмечает, что для трехколесных кодов $a_{free}$ часто устанавливается как пустое.
  • Почему разбиения: Эти разбиения позволяют точно контролировать, как работает копроизведение, обеспечивая построение вентилей CCZ с желаемыми свойствами (например, нетривиальное действие, лучшие параметры кода).
• $\mathbf{|...|_{d_{i \neq j \neq k}}}$: Это обозначает размер носителя аргумента.
  • Математическое определение: Весовая функция Хэмминга результирующего бинарного вектора после операций копроизведения. Нижний индекс $d_{i \neq j \neq k}$ является условием, которое подразумевает, что $f_{CCZ}=0$, если любые два или более кубита из его аргументов находятся в одном секторе (Предложение D4, стр. 24).
  • Физическая/логическая роль: Весовая функция определяет, является ли комбинированное алгебраическое выражение ненулевым, что затем запускает применение вентиля CCZ. Условие $d_{i \neq j \neq k}$ жизненно важно для обеспечения транзитивного характера схемы CCZ, означающего, что вентили действуют только между кубитами в различных секторах/блоках, что является ключевым свойством отказоустойчивости.
• $\mathbf{\pmod{2}}$: Арифметика по модулю 2.
  • Математическое определение: Результат всего выражения берется по модулю 2.
  • Физическая/логическая роль: Это гарантирует, что вывод является бинарным (0 или 1), напрямую указывая на наличие или отсутствие вентиля CCZ. Это согласуется с бинарной природой квантовой информации и операторов Паули.

Пошаговый поток

Давайте проследим путь абстрактной точки данных, скажем, одного кубита, через описанные механизмы.

1. Определение кода и обнаружение ошибок (через $H_X, H_Z$):

Представим себе один физический кубит, назовем его $q_j$, в одном из трех секторов блока трехколесного кода.
* Инициализация: Сначала $q_j$ инициализируется, как правило, в состоянии вычислительного базиса, таком как $|0\rangle$ или $|+\rangle$. Для однократной подготовки состояния в базисе Z все физические кубиты данных инициализируются в $|+\rangle$.
* Взаимодействие стабилизатора: Для обнаружения ошибок $q_j$ участвует в различных измерениях стабилизатора.
* Если мы проверяем ошибки типа X (используя Z-стабилизаторы), $q_j$ взаимодействует с другими кубитами в соответствии со строками $H_Z$. Например, если $H_Z[i, j] = 1$, то оператор Паули Z на $q_j$ ($Z_j$) является частью $i$-го генератора Z-стабилизатора. Это включает запутывание $q_j$ с вспомогательным кубитом и последующее измерение вспомогательного кубита.
* Аналогично, если мы проверяем ошибки типа Z (используя X-стабилизаторы), $q_j$ взаимодействует с другими кубитами в соответствии со строками $H_X$. Если $H_X[i, j] = 1$, то $X_j$ является частью $i$-го генератора X-стабилизатора.
* Генерация синдрома: Результаты измерений этих проверок стабилизатора формируют "синдром". Если $q_j$ испытал ошибку (например, ошибку Паули X, если мы измеряем Z-стабилизаторы), это изменит исход любого измерения стабилизатора, в котором он участвует.
* Декодирование: Синдром, коллекция бинарных значений, подается на декодер. Декодер обрабатывает эту информацию, чтобы вывести наиболее вероятный паттерн ошибок, который произошел на $q_j$ и других кубитах.
* Коррекция: На основе вывода декодера к $q_j$ применяется корректирующая операция (например, применение вентиля Паули X или Z), чтобы восстановить его в исходное состояние в кодовом пространстве. Это завершает один цикл коррекции ошибок.

2. Применение логического вентиля CCZ (через $f_{CCZ}$):

Теперь рассмотрим три различных физических кубита, $p^I, q^{II}, r^{III}$, каждый из которых находится в разном секторе (I, II, III) трех отдельных блоков кода. Эти кубиты являются частью логического состояния, на котором требуется операция CCZ.
* Вход в функцию: Идентификаторы этих трех кубитов ($p^I, q^{II}, r^{III}$) подаются в качестве входных данных в функцию $f_{CCZ}$.
* Алгебраическая обработка: Внутри функции $f_{CCZ}$ выполняется серия абстрактных алгебраических операций, в частности "копроизведений". Это включает объединение идентификаторов кубитов с преориентационными разбиениями ($a_{in}, a_{out}$) лежащих в основе элементов алгебры группы, определяющих код. Это сложный, многоэтапный расчет в бинарном поле $\mathbb{F}_2$.
* Расчет носителя: Затем вычисляется "носитель" (весовая функция Хэмминга) результата этих копроизведений, который является алгебраическим выражением. Это, по сути, проверяет, является ли комбинированный алгебраический объект ненулевым.
* Проверка транзитивности: Неявно применяется критическое условие $d_{i \neq j \neq k}$. Это гарантирует, что три входных кубита действительно исходят из различных секторов/блоков. Если это не так, функция немедленно выдает 0.
* Решение о вентиле: Конечный результат, взятый по модулю 2, равен либо 0, либо 1.
* Если $f_{CCZ}(p^I, q^{II}, r^{III}) = 1$, то к кубитам $(p^I, q^{II}, r^{III})$ применяется физический вентиль CCZ. Этот вентиль действует одновременно на все три кубита.
* Если $f_{CCZ}(p^I, q^{II}, r^{III}) = 0$, к данной тройке вентиль не применяется.
* Выполнение схемы: Этот процесс повторяется для всех соответствующих троек кубитов в блоках кода. Вся совокупность физических вентилей CCZ, определяемых $f_{CCZ}$, образует схему "постоянной глубины", что означает, что все эти вентили могут быть запланированы за фиксированное, небольшое количество параллельных слоев, независимо от размера кода. Это обеспечивает быстрое выполнение и ограничивает распространение ошибок.
Физические кубиты каждого трехколесного блока кода могут быть естественным образом разделены на три сектора в соответствии со структурой блока матриц проверок на четность в Уравнении (1). Сохраняющие кодовое пространство схемы CCZ всегда действуют между секторами трех блоков кода, как показано на рис. 1.

Динамика оптимизации

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

1. Поиск параметров кода:
Статья описывает построение трехколесных кодов путем выбора конкретных элементов алгебры группы ($a, b, c$) и их весов ($w_a, w_b, w_c$) для матриц проверок на четность $H_X$ и $H_Z$. Это задача поиска для нахождения кодов с благоприятными параметрами (высокая скорость $K$ и расстояние $D$) для заданных длин блоков $N$. Авторы используют численные методы, включая SAT-решатели и целочисленное программирование (MIP), для поиска минимальных расстояний $D_X$ и $D_Z$ для кандидатных кодов. Это исчерпывающий или эвристический поиск по дискретным выборам, а не оптимизация на основе градиентов. "Потеря" здесь будет нежелательным параметром кода (например, низкое расстояние), а "обновление" — попытка другого набора элементов алгебры группы.

2. Построение схемы CCZ (симметрическое тройное копроизведение - STCP):
Для функции $f_{CCZ}$, полученной из симметрического тройного копроизведения, "оптимизация" включает тщательный выбор "преориентаций" ($a_{in}, a_{out}, a_{free}$) элементов алгебры группы. Эти выборы должны удовлетворять набору алгебраических условий, известных как "симметрическое интегрированное правило Лейбница" (Уравнения D15-D19). Статья представляет предписание (Теорема D1) для построения этих преориентаций для элементов веса 4. Это принцип проектирования, который гарантирует желаемые свойства (сохранение кодового пространства, инвариантность к кограницам), а не итеративный процесс обучения. "Динамика" заключается в выводе этих условий и доказательстве того, что они приводят к допустимым схемам. Цель — найти преориентации, которые дают схемы CCZ с малой глубиной.

3. Построение схемы CCZ (численное правило Лейбница - NLR):
Приложение E вводит метод "численного правила Лейбница" (NLR). Здесь процесс больше похож на алгоритм поиска:
* Построение базиса: Строится базисный набор групповых эквивариантных трилинейных функций $f_i^j$. Это включает поиск нулевого пространства матрицы проверок $H_{leibniz}$, которая кодирует условия "обобщенного правила Лейбница" (Уравнение E5). Это задача линейной алгебры, а не итеративная оптимизация.
* Эвристический поиск: Фактическая функция $f_{CCZ}$ затем конструируется путем случайного поиска кандидатов для этих функций $f_i^j$. Цель "оптимизации" — найти кандидатов, которые приводят к низкой максимальной степени функции $f_{CCZ}$, что напрямую транслируется в малую глубину схемы. Это эвристический поиск, потенциально использующий такие методы, как Монте-Карло выборка или имитация отжига, для исследования дискретного пространства возможных функций. "Ландшафт потерь" сильно нерегулярен и невыпукл, без четких градиентов для следования.

4. Оптимизация логической схемы (максимизация $K_{CCZ}$):
Приложение F описывает оптимизацию логической схемы CCZ для максимизации количества непересекающихся логических вентилей CCZ ($K_{CCZ}$), которые могут быть извлечены. Эта проблема формулируется как поиск "подранга" бинарного 3-тензора $T_{ijk}^{log}$, представляющего логическую связность.
* Формулировка проблемы: Это NP-трудная проблема. Авторы используют решатель целочисленного программирования (MIP) (Gurobi) для поиска субоптимальных решений.
* Итеративный поиск: Решатель итеративно исследует возможные назначения бинарных переменных (представляющих матрицы смены базиса $M^1, M^2, M^3$) для удовлетворения условий для $r$ непересекающихся вентилей CCZ (Уравнение F3). "Состояние" здесь — это набор базисных матриц, а "обновление" — это внутренний механизм решателя для исследования пространства решений. Это дискретная оптимизация, а не оптимизация на основе градиентов. "Потеря" — это невозможность найти решение для данного $r$, или нахождение решения с низким $r$. "Сходимость" — это когда решатель находит допустимое решение или превышает время ожидания.

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

FIG. 1. Structure of transversal CCZ gates of tricycle codes. (a) Schematic of a transversal CCZ circuit on a 12-qubit code. Each code block is partitioned into three sectors of four qubits, labeled α, β, γ, and δ with subscripts and superscripts indicating the code block and sector. Colored curves denote CCZ gates between triples of qubits where fCCZ is nonzero. (b) Structure of transversal CCZ circuits: all sectors participate via two disjoint sets of circuit layers denoted by orange and black edges that can individually be parallelized across qubits. Each qubit undergoes a maximum of l black and a maximum of m orange CCZ gates, leading to a maximum degree of l þ m. (c) Logical CCZ connectivity after basis optimization for a K ¼ 3 code. Circles denote logical qubits; rows correspond to separate code blocks. Thick black lines indicate usable CCZ gates for magic-state distillation (KCCZ ¼ 2 shown), while thin lines involve gauge qubits (pink), initialized in j0i. Blue circles represent logical qubits in disjoint triples connected only to other qubits in the triple or to gauge qubits FIG. 9. Reference neutral-atom array architecture. Rydberg interactions are enabled only within the entangling zone. We slice the zones to regions Ei and Si; each one can store a sector. Each region contains two trap arrays (dots=−and circles=þ) to facilitate sector permutation or parallel CNOTs. In the work space, traps are spaced by twice the minimal distance permitted by optical resolution, dmin, allowing qubits to move between traps along dashed paths. In the entangling zone, traps are spaced so that qubit pairs involved in parallel CNOTs are separated by a distance to sufficiently isolate the Rydberg interaction, diso

Результаты, ограничения и заключение

Экспериментальный дизайн и базовые уровни

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

Чтобы доказать эффективность трехколесных кодов, экспериментальный дизайн был сосредоточен на нескольких ключевых аспектах:
1. Построение кода и свойства: Они представили трехколесные коды как квантовые коды с низкой плотностью проверок на четность (LDPC) конечной длины блока, обобщающие двухколесные коды до трех гомологических измерений. Эти коды были разработаны для поддержки физических схем постоянной глубины для реализации логических вентилей CCZ. Построение включало разработку новых аналитических и численных методов, включая модифицированный формализм симметрического тройного копроизведения (Приложение D) и метод численного правила Лейбница (Приложение E), для поиска кодов с благоприятными параметрами (высокая скорость и расстояние) и схемами CCZ малой глубины.
2. Модель шума: Была принята стандартная двухкубитная деполяризующая модель шума, где каждая запутывающая операция сопровождается одной из 15 нетривиальных двухкубитных ошибок Паули с вероятностью $p_{2q}$. Для критически важных вентилей CCZ использовалась трехкубитная смещенная деполяризующая модель шума, предполагающая физическую частоту ошибок $p_{3q} = 0.002$. Эта $p_{3q}$ была консервативно оценена как вдвое большая, чем у двухкубитных запутывающих вентилей, отражая экспериментальные реалии. Кроме того, модель включала сильное смещение в сторону ошибок типа Z для вентилей CCZ (в 10 раз более вероятное), что является характеристикой нативных фазовых вентилей на многих квантовых платформах.
3. Стратегии декодирования:
* Для однократной коррекции ошибок в базисе Z (критически важной для подготовки состояния) использовался протокол оконного декодирования. Он включал три раунда извлечения синдромов, повторяемых 14 раз (всего 42 раунда), с использованием схемы Belief Propagation + Ordered Statistics Decoding (BP + OSD).
* Для d-раундовой коррекции ошибок в базисе X (для производительности памяти) использовался стандартный d-раундовый протокол, декодирующий полную запись накопленной информации синдрома с помощью декодера Most-Likely-Error (MLE). Для постселекции они использовали метод постселекции на основе кластеров в сочетании с BP + LSD (Localized Statistics Decoding).
4. Протокол реализации: Была представлена конкретная схема для эффективной реализации схем извлечения синдромов на платформе перестраиваемых массивов нейтральных атомов (Рис. 5, Приложение I). Это включало подробные процедуры перестановки атомов и планирования CNOT.

"Жертвами" (базовыми моделями), с которыми трехколесные коды безжалостно сравнивались, были в основном передовые схемы культивации магических состояний на основе цветовых кодов, в частности [[7, 1, 3]] и [[19, 1, 5]] цветовые коды из ссылки [36]. Эти традиционные схемы обычно требуют множественных раундов дистилляции и конкатенации, что приводит к существенным накладным расходам по пространству-времени. Авторы также неявно оспаривали предыдущие конструкции копроизведения (ссылка [27]), которые давали коды с менее благоприятными параметрами (например, коды 2-2-2 с $K=3$ и $D=2$).

Что доказывают свидетельства

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

1. Надежная производительность и высокий порог: Численные симуляции в условиях шума на уровне схемы продемонстрировали высокий порог шума схемы >0.5% для семейства трехколесных кодов 4-2-2 (Рис. 4b). Это является сильным показателем их устойчивости к физическим ошибкам.
2. Исключительные логические частоты ошибок для памяти: При полной коррекции ошибок и умеренной постселекции (например, доля принятия 30%) наименьший трехколесный код [[48, 6, 4]] достиг логических частот ошибок памяти примерно $6 \times 10^{-10}$ при частоте ошибок двухкубитных вентилей $p_{2q} = 0.001$. Для большего кода [[84, 6, 5]] логические частоты ошибок памяти были оценены как < $10^{-13}$ при $p_{2q} = 0.001$ с долей принятия примерно 9%. Эти цифры представляют чрезвычайно высокую точность для квантовой памяти.

3. Превосходная точность и стоимость производства магических состояний: Трехколесные коды производили гиперграфовые магические состояния с замечательно низкими логическими частотами ошибок:

   • Трехколесный код [[48, 6, 4]]: $2 \times 10^{-8}$
   • Трехколесный код [[84, 6, 5]]: $4 \times 10^{-10}$
   • Трехколесный код [[108, 6, 6]]: приблизительно $3 \times 10^{-11}$
     Критически важно, что эти впечатляющие точности были достигнуты при сопоставимых или даже более низких затратах пространства-времени, чем передовые схемы культивации магических состояний на основе цветовых кодов (Таблица II). Например, трехколесный код [[48, 6, 4]] имел затраты пространства-времени 89 раундов кубитов на логический кубит, что значительно ниже, чем 90 для культивации цветового кода [[7, 1, 3]], при этом достигая гораздо более низкой логической частоты ошибок ($2 \times 10^{-8}$ против $6 \times 10^{-7}$). Это неоспоримое доказательство того, что основной механизм использования высокоскоростных, высокорасстоятельных LDPC кодов с транзитивными не-Клиффордовыми вентилями для однократной генерации магических состояний работает на практике.

4. Однократная подготовка состояния: Численные данные (Рис. 3) ясно показывают экспоненциальное подавление логической ошибки с увеличением расстояния кода для однократной подготовки в базисе Z. Это подтверждает, что трехколесные коды обеспечивают отказоустойчивую подготовку логических состояний $|+\rangle$ за постоянное число раундов, что является значительным улучшением по сравнению с $O(d)$ раундами, требуемыми многими другими кодами. Эта подготовка постоянной глубины, в сочетании с логическими операциями CCZ постоянной глубины, дает высокоточные гиперграфовые магические состояния постоянной глубины.

5. Схемы CCZ постоянной глубины: Построение трехколесных кодов успешно привело к физическим схемам CCZ постоянной глубины (например, глубина 8 для кодов 4-2-2), что необходимо для отказоустойчивой работы и ограничивает распространение ошибок. Было показано, что схема CCZ постоянной глубины оказывает минимальное влияние на конечную логическую точность состояния по сравнению с производительностью памяти.
6. Высокий выход магических состояний: Способность извлекать $K_{CCZ} \ge 2$ непересекающихся логических вентилей CCZ из произведенных гиперграфовых магических состояний для всех кодов в Таблице I демонстрирует практическую полезность этих кодов в качестве фабрик магических состояний.

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

Ограничения и будущие направления

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

Текущие ограничения:

1. Оптимальность извлечения $K_{CCZ}$: Проблема поиска максимального количества непересекающихся вентилей CCZ ($K_{CCZ}$) из гиперграфовых магических состояний является NP-трудной. Текущий метод целочисленного программирования дает субоптимальные решения и часто превышает время ожидания для больших значений $K_{CCZ}$, что означает, что представленные значения являются нижними границами. Это ограничивает немедленную пропускную способность магических состояний типа CCZ.
2. Асимптотическая доброкачественность семейства кодов: Хотя конструкция позволяет определять семейство кодов, она вряд ли будет асимптотически доброкачественной. Ожидается, что коды с большей длиной блока и большим расстоянием будут существовать, но это не является формальной асимптотической гарантией.
3. Более глубокие схемы CCZ для больших кодов: Для больших трехколесных кодов 4-4-2 и 4-4-4 более глубокие физические схемы CCZ (например, глубина 128 для некоторых кодов 4-4-4) могут привести к большим отклонениям логической точности от чистого состояния памяти. Хотя конкатенация с повторными кодами может уменьшить глубину, это происходит за счет скорости кода.
4. Гарантии метода численного правила Лейбница: Метод численного правила Лейбница (NLR) для построения схем CCZ не гарантирует определенной глубины, и поиск схем с малой степенью часто требует поиска кода в сочетании с методом.
5. Выборочная инициализация состояния: Извлечение непересекающихся вентилей CCZ требует выборочной инициализации калибровочных логических кубитов в состоянии $|0\rangle$ и других логических кубитов в состоянии $|+\rangle$, что нетривиально для LDPC кодов с постоянной глубиной.
6. Несбалансированные расстояния: Трехколесные коды естественным образом демонстрируют более высокие расстояния в базисе X по сравнению с базисом Z. Хотя это может быть полезно для платформ со смещенным шумом, детальное исследование того, как этот смещение может повысить экспериментальную производительность, оставлено для будущей работы.

Будущие направления и темы для обсуждения:

1. Улучшенные стратегии декодирования:

   • Наблюдаемый разрыв на порядок величины между стандартными BP+OSD/BP+LSD и точными декодерами MLE предполагает критическую потребность в новых, более эффективных декодерах, которые могли бы приблизиться к производительности MLE, сохраняя при этом практическое время вывода. Это может включать исследование декодеров на основе машинного обучения или продвинутых статистических методов.
   • Эксплуатация смещения шума: Учитывая асимметрию в секторах X и Z и распространенность смещения шума на экспериментальных платформах (например, ошибки типа Z в нейтральных атомах), будущая работа должна быть сосредоточена на интеграции целенаправленной эксплуатации смещения шума непосредственно в схемы извлечения синдромов и алгоритмы декодирования. Как оптимально спроектировать схемы и декодеры для использования специфических характеристик шума оборудования для максимального увеличения производительности?
   • Управление потерями и утечками: Многие аппаратные архитектуры страдают от ошибок потери и утечки. Разработка явных стратегий для использования или смягчения этих ошибок в рамках трехколесной кодовой структуры может еще больше улучшить логические частоты ошибок. Это может включать новые протоколы измерения или методы коррекции ошибок.

2. Оптимизация пропускной способности фабрики магических состояний:

   • Улучшение извлечения $K_{CCZ}$: NP-трудная проблема поиска подранга логического тензора $T^{log}$ является основным узким местом. Разработка специализированных эвристических стратегий оптимизации для проблемы подранга бинарного тензора имеет решающее значение для извлечения больших значений $K_{CCZ}$ и значительного улучшения пропускной способности магических состояний типа CCZ. Можем ли мы найти приближенные решения, которые достаточно хороши для практических целей?
   • Прямая компиляция гиперграфовых магических состояний: Вместо извлечения непересекающихся вентилей CCZ, более глубокое понимание структуры произведенных гиперграфовых магических состояний может позволить прямую компиляцию в полезные квантовые схемы. Это может предложить альтернативный, потенциально более эффективный, путь к использованию этих ресурсных состояний с высоким магическим числом.

3. Интеграция в более широкие квантовые архитектуры:

   • Бесшовная инъекция/телепортация магических состояний: Ключевой открытой проблемой является бесшовная инъекция или телепортация дистиллированных магических состояний из фабрик трехколесных кодов в вычислительные блоки кода (например, высокопроизводительные двухколесные коды). Исследование транзитивной телепортации на основе естественных изоморфизмов между трехколесными и двухколесными кодами, аналогично протоколам для 3D и 2D цветовых кодов, является многообещающим направлением. Каковы практические проблемы и накладные расходы, связанные с такими протоколами смены кода?
   • Модульные архитектуры: Как трехколесные коды могут быть интегрированы в высоко модульные отказоустойчивые квантовые вычислительные системы? Это включает не только генерацию магических состояний, но и эффективные логические операции, связь и память в более крупной системе.

4. Продвинутое построение кодов и оптимизация схем:

   • Дальнейшее исследование метода численного правила Лейбница: Более тщательное исследование метода численного правила Лейбница и его применение к другим 3D сбалансированным произведениям кодов может привести к кодам с еще более короткими схемами CCZ. Можем ли мы разработать лучшие гиперпараметры или стратегии поиска для гарантии схем малой глубины?
   • Оптимизация схем извлечения синдромов: Статья представляет схемы извлечения синдромов оптимальной глубины. Дальнейшая оптимизация расположения секторов и схем перемещения атомов на перестраиваемых массивах нейтральных атомов, потенциально с использованием математического программирования или теории графов, может снизить накладные расходы по пространству-времени.
   • Сравнение с другими семействами LDPC: Детальное, прямое сравнение накладных расходов и производительности трехколесных кодов с другими недавно предложенными конструкциями LDPC (например, основанными на гомологических произведениях экспандерных кодов или алгебраических пучков) предоставит ценную информацию о относительных достоинствах и оптимальных сценариях применения для каждого.

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

FIG. 4. Circuit-level noise simulation results for tricycle codes. (a) Logical error rate for the ½½48; 6; ðdz ¼ 4; dx ¼ 8Þ code as a function of abort rate under cluster postselection (blue) and full error detection (orange). The cluster postselection data show the trade- off between logical error rate and postselection (abort) probability using a BP þ LSD decoder, while full error detection corresponds to strictly accepting only trials with no detected stabilizer flips. (b) Logical error rate versus two-qubit physical gate error rate p2q for d-round, fault-tolerant error correction in the X basis, for tricycle codes of increasing size and distance using a MLE decoder. In both panels, errors are sampled according to a standard two-qubit depolarizing circuit-level noise model, and the logical error rate corresponds to the total logical error rate normalized by the number of QEC rounds and by the number of logical qubits. Logical error rates are determined via Monte Carlo simulations, with each data point corresponding to M samples; error bars indicate the standard error as ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi pLð1 −pLÞ=M p FIG. 6. Circuit-level noise simulation results for 4-4-4 tricycle codes. (a) Logical error rate (as measured by block failure probability) versus two-qubit physical gate error rate (p2q) for single-shot error correction in the Z basis. Single-shot performance is evaluated using a windowed decoding protocol: three rounds of syndrome extraction followed by decoding and correction, with the window repeated 14 times (for 42 total rounds) to probe sustainable suppression of logical errors. (b) Logical error rate versus p2q for fault-tolerant, d-round error correction in the X basis. In both panels, errors are sampled under a standard two-qubit depolarizing circuit-level noise model, and results are shown for various tricycle codes. Logical error rates are determined via Monte Carlo simulations using a BP þ OSD decoder, with each data point corresponding to M samples; error bars indicate standard errors, computed as ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi pLð1 −pLÞ=M p FIG. 3. Phenomenological noise simulation of single-shot state preparation in the Z basis for 4-2-2 tricycle codes. Our method follows Ref. [57] and assumes that the initial Z syndrome is trivial. For each code, we simulate one round of syndrome measurement in which measurement errors occur with probability p, though we expect performance to improve with a larger decoding window (see Sec. II D). A most-likely-error (MLE) decoder applies a minimum weight correction to both the data and measurement qubits. Then, we simulate a noisy transversal Z basis measurement of the data qubits, decode the reconstructed syndrome with the MLE decoder, and apply the corresponding correction. A logical failure is said to occur if the residual X operator is a logical operator of the tricycle code, and the logical error rate is normalized per logical qubit. The observed phe- nomenological threshold is ≳13%. Logical error rates are determined via Monte Carlo simulations; error bars indicate standard errors, computed as ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi pLð1 −pLÞ=M p , where M is the number of samples