Не-Клиффордовские вентили между стабилизаторными кодами через неабелевский топологический порядок

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

Проблема реализации не-Клиффордовских логических вентилей между стабилизаторными кодами возникла из более широкой области топологических квантовых вычислений. Основная идея заключается в использовании устойчивых свойств топологического порядка, при котором информация кодируется в неглобальных свойствах системы, что делает ее изначально защищенной от локальных шумов. Эта концепция была впервые предложена X.-G. Wen и Q. Niu в начале 1990-х годов [1,2] и значительно развита А. Китаевым с его предложением об отказоустойчивых квантовых вычислениях с использованием анионов [3].

Исторически сложилось так, что основное внимание в универсальных топологических квантовых вычислениях уделялось манипулированию неабелевыми анионами посредством измерений сплетения и слияния [3,11-13]. Несмотря на значительный теоретический прогресс и недавние экспериментальные прорывы в подготовке и манипулировании неабелевыми анионами [10], достижение полностью отказоустойчивого метода их контроля остается существенной открытой проблемой. Эта "болевая точка" экспериментальных трудностей и отсутствие надежного отказоустойчивого контроля для динамических анионных операций (сплетения и слияния) послужили мотивацией для авторов исследовать альтернативные протоколы. Их цель — реализовать не-Клиффордовские логические вентили, используя неабелевский топологический порядок как статический промежуточный ресурс, а не полагаясь на сложное динамическое управление сплетением и слиянием анионов. Такой подход упрощает процесс коррекции ошибок, поскольку коды поверхности квидитов (qudit surface codes) остаются в основном состоянии на протяжении всей операции.

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

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

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

Обозначение	Описание

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

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

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

Входное/текущее состояние состоит из абелевых кодов поверхности квидитов, в частности, кода поверхности $\mathbb{Z}_2$ для кубитов и кода поверхности $\mathbb{Z}_3$ для кутритов, каждый из которых инициализирован в произвольном логическом состоянии (стр. 2). Эти коды известны своей устойчивостью в квантовой памяти, но ограничены выполнением Клиффордовских вентилей.

Выходное/целевое состояние — успешное выполнение не-Клиффордовского логического вентиля между этими кодами. Основной подробно описанный пример — вентиль контролируемого зарядового сопряжения (CC), который преобразует базисные состояния как $CC: |ab\rangle \rightarrow |a^{(-1)^b}\rangle$, где $a \in \mathbb{Z}_3$ — целевой кутрит, а $b \in \mathbb{Z}_2$ — управляющий кубит (стр. 2, ур. 2). В более общем случае протокол направлен на реализацию контролируемых вентилей автоморфизма анионов $C_\psi$ (стр. 3, ур. 3). Ключевым моментом является достижение этого при сохранении отказоустойчивых свойств, присущих топологическим кодам.

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

Болезненный компромисс или дилемма, в которой оказались предыдущие исследователи, заключается в конфликте между достижением универсальных квантовых вычислений (что требует не-Клиффордовских вентилей) и поддержанием отказоустойчивости. Схемы, основанные на сплетении анионов, обеспечивают универсальные вычисления, но сталкиваются со значительными экспериментальными и теоретическими препятствиями в достижении отказоустойчивого контроля (стр. 1). Дилемма заключается в том, что увеличение вычислительной мощности (не-Клиффордовские вентили) обычно достигается за счет снижения устойчивости или увеличения сложности коррекции ошибок. Данная статья пытается разрешить это, используя статические свойства неабелевского топологического порядка, что позволяет абелевым кодам поверхности квидитов оставаться в своих основных состояниях на протяжении всего процесса, упрощая процедуру декодирования (стр. 2).

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

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

• Экспериментальная сложность контроля неабелевых анионов: Основным практическим ограничением является сложность экспериментальной подготовки и манипулирования неабелевыми анионами отказоустойчивым образом. Несмотря на прогресс, полное решение остается неуловимым (стр. 1). Эта сложность мотивирует подход статьи, основанный на статических ресурсах.
• Нелокальность калибровочного отображения: $\mathbb{Z}_2$ калибровочное отображение, являющееся основным компонентом протокола, по своей природе нелокально. Если бы оно применялось одновременно, ошибки могли бы распространяться нелокально, что делало бы анализ и коррекцию отказоустойчивости чрезвычайно сложными (стр. 12). Это требует применения калибровочного отображения по столбцам, что добавляет процедурную сложность.
• Сложность неабелевских декодеров: Разработка декодеров для неабелевских топологических порядков значительно сложнее, чем для абелевых кодов. Хотя статья предлагает "относительно простую" схему декодирования с оповещением для квантового удвоения $\mathbb{D}(S_3)$, признается, что детальный численный анализ его порогового значения ошибок против ошибок одного кубита и кутрита оставлен для будущей работы (стр. 3, стр. 12). Это указывает на то, что надежная отказоустойчивость для этих систем по-прежнему является сложной, открытой проблемой.
• Распространение ошибок и нелокальные ошибки: Ошибки, возникающие до калибровочного отображения, могут превратиться в нелокальные ошибки в коде $\mathbb{D}(S_3)$, если их не исправить своевременно и локально. Например, ошибка $\mathbb{Z}_e$ в коде $\mathbb{Z}_3$ может стать оператором, зависящим от нелокальной строки, если код $\mathbb{S}_3$ подготовлен одновременно (стр. 12). Это требует тщательной, поколоночной стратегии коррекции ошибок для локализации ошибок.
• Обобщенные декодеры для кодов квидитов: Стандартные декодеры, разработанные для кодов поверхности кубитов, не применимы напрямую к кодам поверхности квидитов, что требует разработки и использования более обобщенных алгоритмов декодирования (стр. 12).
• Ошибки измерения и шум на уровне схемы: Статья явно откладывает детальный анализ ошибок измерения и шума на уровне схемы в рамках протокола для будущей работы (стр. 3). Это критические практические ограничения в любых квантовых вычислениях, и их полное влияние на отказоустойчивость данного конкретного протокола еще предстоит количественно оценить.
• Цикличность анионов: Коррекция определенных неабелевых анионов, в частности анионов C и F, требует нескольких раундов коррекции из-за их циклической природы, что усложняет процесс декодирования (стр. 13).

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

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

Выбор авторов использовать неабелевский топологический порядок в качестве статического промежуточного ресурса для реализации не-Клиффордовских логических вентилей был не просто вариантом, а стратегической необходимостью, обусловленной присущими проблемами альтернативных подходов к универсальным топологическим квантовым вычислениям. В статье прямо указывается, что, хотя "один из многообещающих подходов... заключается в использовании топологических свойств неабелевых анионов [3]", стандартный метод достижения этого — через "измерения сплетения и слияния неабелевых анионов [3,11-13]" — остается "открытой проблемой" для полностью отказоустойчивой реализации (стр. 1). Это осознание знаменует собой точный момент, когда традиционные "SOTA" методы, в данном контексте относящиеся к динамическому манипулированию анионами, были признаны недостаточными для практической, отказоустойчивой схемы на устройствах ближайшего будущего.

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

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

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

Кроме того, протокол обобщает предыдущие подходы, предоставляя "фреймворк, который генерирует большой класс не-Клиффордовских и недиагональных логических вентилей между кодами поверхности квидитов путем калибровки топологической симметрии обогащенных топологических порядков" (стр. 1, аннотация). Это структурное преимущество позволяет использовать более широкий спектр вентилей, чем ранее исследованные методы, выходя за рамки конкретных случаев, таких как топологический порядок D4. Предлагаемый декодер с оповещением для квантового удвоения S3 также "относительно прост, используя вероятностные измерения синдромов, возникающие из модели коммутирующих проекторов" (стр. 3), что является качественным улучшением сложности декодирования для неабелевских систем. Избегая прямого манипулирования неабелевыми анионами, метод обходит сложные задачи управления и измерения, связанные с их сплетением и слиянием, которые часто подвержены ошибкам в экспериментальных установках.

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

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

1. Реализация не-Клиффордовских вентилей: Основная цель — реализовать не-Клиффордовские вентили, которые необходимы для универсальных квантовых вычислений. Протокол напрямую достигает этого, используя неабелевскую природу квантового удвоения D(S3) для реализации вентиля контролируемого зарядового сопряжения (CC) и, в более общем случае, вентилей автоморфизма анионов (стр. 2, 11).
2. Отказоустойчивость: Стратегия поддержания абелевых кодов поверхности в их основных состояниях упрощает коррекцию ошибок, что является критически важным аспектом отказоустойчивости (стр. 2). Поколоночное калибровочное отображение имеет решающее значение для локализации ошибок, предотвращая их нелокальное распространение и значительно упрощая коррекцию (стр. 12). Хотя полный численный анализ порогового значения ошибок оставлен для будущей работы, предлагаемая схема декодирования с оповещением для кода D(S3) разработана для устранения ошибок, возникающих как до, так и после калибровочного отображения (стр. 12).
3. Экспериментальная осуществимость: Протокол опирается на "квантовые схемы конечной глубины с измерениями и прямой связью" (стр. 1), которые являются методами, совместимыми с текущими и ближайшими квантовыми аппаратными средствами. Пример D(S3) специально выделен как "наиболее актуальный для экспериментов ближайшего будущего" (стр. 12), что соответствует практическому ограничению реализуемости на существующих платформах, которые уже реализовали обобщенные топологические порядки, такие как торный код Z3 и квантовое удвоение D4 [9,10].
4. Универсальность: Вентиль CC, в сочетании с Клиффордовской группой (предполагается, что она может быть реализована отдельно), обеспечивает универсальные квантовые вычисления (стр. 3). Это гарантирует, что метод способствует более широкой цели создания универсального квантового компьютера.

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

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

Кроме того, статья позиционирует свою работу как обобщение и улучшение существующих топологических подходов. Отмечается, что их протоколы "более общие" и могут "извлекать логические вентили из большего класса моделей квантового удвоения [27,28]" по сравнению с предыдущими работами, которые были сосредоточены на конкретных топологических порядках, таких как D4 (стр. 2). Это предполагает, что, хотя существуют и другие топологические методы, предлагаемый фреймворк предлагает более широкий и гибкий раствор для генерации не-Клиффордовских вентилей. Упоминание в запросе моделей GAN или Diffusion здесь нерелевантно, поскольку это парадигмы машинного обучения, полностью выходящие за рамки топологических квантовых вычислений.

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

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

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

$$ CC: |ab\rangle \rightarrow |a^{(-1)^b}\rangle $$

Это уравнение охватывает, как логическое состояние целевого кутрита условно модифицируется на основе логического состояния управляющего кубита. Это фундаментальное правило, которое диктует поведение вентиля. Статья также обобщает это до вентиля контролируемого автоморфизма анионов $C_\psi : |ab\rangle \rightarrow |a^{\psi^b}\rangle$ в Ур. (3), но вентиль CC является основным подробно описанным примером.

Потерминальная аутопсия

Давайте разберем основное уравнение $CC: |ab\rangle \rightarrow |a^{(-1)^b}\rangle$, чтобы понять каждый компонент:

• $CC$: Этот символ представляет сам вентиль контролируемого зарядового сопряжения.

  • Математическое определение: Это специфический не-Клиффордовский логический квантовый вентиль.
  • Физическая/логическая роль: Его назначение — выполнить операцию зарядового сопряжения на целевом кутрите, но только если управляющий кубит находится в определенном состоянии. Это условное действие делает его "контролируемым" вентилем, а его не-Клиффордовская природа делает его мощным строительным блоком для универсальных квантовых вычислений.
  • Почему этот выбор?: Авторы выбрали этот вентиль, потому что зарядовое сопряжение является $Z_2$ симметрией $Z_3$ кутритного кода поверхности. Эта симметрия может быть "калибрована" путем ее связи с кубитным кодом $Z_2$, что приводит к образованию неабелевского топологического порядка ($\mathbb{D}(S_3)$) в качестве промежуточного этапа, что является центральной идеей статьи.

• $|ab\rangle$: Это входное логическое состояние комбинированной квантовой системы до применения вентиля.

  • Математическое определение: Это составное квантовое состояние в обозначении Дирака, представляющее тензорное произведение состояния управляющего кубита и состояния целевого кутрита.
    • $a$: Это логическое состояние целевого кутрита. Математически, $a \in \mathbb{Z}_3 = \{0, 1, 2\}$, представляющее одно из трех вычислительных базисных состояний кутрита.
    • $b$: Это логическое состояние управляющего кубита. Математически, $b \in \mathbb{Z}_2 = \{0, 1\}$, представляющее одно из двух вычислительных базисных состояний кубита.
  • Физическая/логическая роль: Логическое состояние $a$ несет информацию, предназначенную для преобразования, закодированную в коде поверхности $\mathbb{Z}_3$. Логическое состояние $b$ действует как управляющий сигнал, закодированный в коде поверхности $\mathbb{Z}_2$, определяя, происходит ли преобразование $a$.
  • Почему этот выбор?: Использование кодов поверхности $\mathbb{Z}_2$ и $\mathbb{Z}_3$ отражает конкретные размерности квидитов (кубит и кутрит), выбранные для этого примера, которые являются экспериментально релевантными. Структура тензорного произведения является стандартной для многоквидных систем.

• $\rightarrow$: Эта стрелка означает преобразование или отображение из входного состояния в выходное состояние.

  • Математическое определение: Это функциональный оператор, указывающий результат применения вентиля CC.
  • Физическая/логическая роль: Он просто обозначает состояния "до" и "после" системы под действием вентиля.

• $|a^{(-1)^b}\rangle$: Это выходное логическое состояние комбинированной системы после операции вентиля CC.

  • Математическое определение: Этот термин описывает преобразованное логическое состояние целевого кутрита, где преобразование зависит от $b$.
    • Если $b=0$: Управляющий кубит находится в логическом состоянии $|0\rangle$. В этом случае $(-1)^0 = 1$. Состояние целевого кутрита становится $a^1 = a$. Это означает, что состояние целевого кутрита остается неизменным.
    • Если $b=1$: Управляющий кубит находится в логическом состоянии $|1\rangle$. В этом случае $(-1)^1 = -1$. Состояние целевого кутрита становится $a^{-1}$. Как определено в статье, это $a^{-1}$ соответствует операции зарядового сопряжения $C$ на кутрите, которая конкретно оставляет состояние $|0\rangle$ инвариантным и меняет местами состояния $|1\rangle$ и $|2\rangle$. Таким образом, $C|0\rangle = |0\rangle$, $C|1\rangle = |2\rangle$, и $C|2\rangle = |1\rangle$.
  • Физическая/логическая роль: Этот термин является ядром функциональности вентиля CC. Управляющий кубит $b$ действует как переключатель: если $b=0$, целевой кутрит $a$ остается неизменным; если $b=1$, целевой кутрит $a$ подвергается преобразованию зарядового сопряжения. Эта условная операция является желаемым логическим выходом вентиля.
  • Почему такая форма?: Обозначение $a^{(-1)^b}$ является компактным способом представления этой условной операции. Оно не подразумевает прямого арифметического возведения в степень в $\mathbb{Z}_3$, а скорее символическое представление условного зарядового сопряжения. Выбор правила преобразования состояний (отображение входных состояний в выходные) вместо суммы операторов или интеграла является фундаментальным для определения логического действия квантового вентиля.

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

Представьте, что одна абстрактная логическая точка данных, представленная комбинированным состоянием $|ab\rangle$ управляющего кубита и целевого кутрита, движется по этому протоколу, как по сборочной линии:

1. Начальная настройка: Наша логическая точка данных начинается как два отдельных объекта: логическое состояние кубита $|b\rangle$, закодированное в коде поверхности $\mathbb{Z}_2$, и логическое состояние кутрита $|a\rangle$, закодированное в коде поверхности $\mathbb{Z}_3$. Эти коды изначально различны и физически разделены.

2. Расширение кода и обогащение симметрии:

   • Сначала в области, где коды $\mathbb{Z}_2$ и $\mathbb{Z}_3$ в конечном итоге будут перекрываться, вводятся вспомогательные кубиты. Эти вспомогательные кубиты подготавливаются в специфических произведениях состояний.
   • Затем применяется квантовая схема конечной глубины, в частности, серия локальных вентилей CC ($U_{CC}$ из Ур. (14)). Эта схема действует как механизм связи, запутывая вспомогательные кубиты с кутритами кода $\mathbb{Z}_3$. Этот шаг "обогащает" симметрию зарядового сопряжения кода $\mathbb{Z}_3$, связывая ее с вспомогательными кубитами.
   • После этого выполняется "калибровочное отображение". Это критически важное преобразование, которое эффективно объединяет коды $\mathbb{Z}_2$ и $\mathbb{Z}_3$ в перекрывающейся области, создавая полосу неабелевского топологического порядка $\mathbb{D}(S_3)$. Наша логическая точка данных $|ab\rangle$ теперь вводится в эту неабелевскую среду. Логические операторы (такие как $X$ и $Z$), которые определяли $|a\rangle$ и $|b\rangle$ в их исходных абелевых кодах, преобразуются в специфические линии анионов (например, анионы $D$, анионы $C$) в коде $\mathbb{D}(S_3)$.

3. Логическое преобразование внутри $\mathbb{D}(S_3)$: Пока логическая точка данных закодирована в топологическом порядке $\mathbb{D}(S_3)$, происходит основное логическое действие вентиля CC. Неабелевские свойства порядка $\mathbb{D}(S_3)$ в сочетании со специфическим калибровочным отображением и последующей процедурой измерения эффективно реализуют условное зарядовое сопряжение. Если логическое состояние управляющего кубита было $|1\rangle$ (т.е. $b=1$), логическая информация, соответствующая целевому кутриту $|a\rangle$, подвергается преобразованию зарядового сопряжения. Если $b=0$, она остается неизменной. Это преобразование не является прямым унитарным применением к $|a\rangle$, а возникает из общего протокола.

4. Извлечение кода и прямая связь:

   • Затем система проходит фазу "извлечения кода", где кубиты из кода $\mathbb{Z}_2$ (а затем и из кода $\mathbb{D}(S_3)$) измеряются столбец за столбцом в базисе $Z$. Это эффективно "разкалибровывает" систему, извлекая логическую информацию обратно в абелевы коды поверхности.
   • Результаты измерений здесь критически важны. Например, если наблюдается результат $Z=-1$ на неконтрактируемой линии во время извлечения, это означает логический переворот.
   • На основе этих результатов измерений применяются операции "прямой связи". Это корректирующие действия (например, применение операций $C$ к кутритам или $X$ к кубитам) для обеспечения того, чтобы любые нежелательные анионы или доменные границы, созданные во время извлечения, были удалены или должным образом учтены. Этот шаг гарантирует, что логическое состояние правильно восстанавливается, а любые ошибки, введенные процессом измерения, смягчаются.

5. Конечное состояние: Логическая точка данных выходит из сборочной линии, теперь как $|a^{(-1)^b}\rangle$, снова закодированная в отдельные коды поверхности $\mathbb{Z}_2$ и $\mathbb{Z}_3$. Состояние управляющего кубита $|b\rangle$ сохраняется, а состояние целевого кутрита $|a\rangle$ было условно зарядово сопряжено, достигая желаемого не-Клиффордовского вентиля.

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

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

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

• Стратегия декодирования $\mathbb{D}(S_3)$ с оповещением: Когда система находится в неабелевской фазе $\mathbb{D}(S_3)$, используется специализированная стратегия декодирования "с оповещением". Это не связано с градиентами в ландшафте потерь, а скорее с идентификацией и нейтрализацией анионных возбуждений (ошибок), которые отклоняют систему от ее основного состояния.

  1. Измерение синдрома: Протокол включает измерение коммутирующих проекторов (стабилизаторов) кода $\mathbb{D}(S_3)$. Нарушения этих стабилизаторов указывают на наличие анионов (например, анионов $B$, $C$, $D$, $F$), которые являются "ошибками" в этом топологическом контексте.
  2. Последовательная адаптивная коррекция: Процедура коррекции является последовательной и адаптивной:
     • Сначала синдромы $B_p = -1$ (связанные с анионами $D$ и $E$) корректируются с использованием операторов строки $X$. Однако это может создать другие анионы ($C$ и $F$).
     • Затем устраняются синдромы $A_v$ и $B_p$ (связанные с анионами $C$ и $F$). Их можно измерять одновременно. Коррекция включает выбор специфических путей для устранения этих синдромов, часто с использованием адаптивных схем, которые применяют операции $Z$ и $Z^\dagger$. Этот шаг имеет решающее значение, поскольку он эффективно преобразует сложную задачу коррекции неабелевых анионов в более простую задачу коррекции абелевых анионов.
     • Наконец, любые оставшиеся абелевы анионы $B$ корректируются с использованием операторов строки $Z$, аналогично стандартным декодерам кода поверхности $\mathbb{Z}_2$.
  3. Сходимость к основному состоянию: "Сходимость" здесь означает возвращение кода $\mathbb{D}(S_3)$ к его основному состоянию (состоянию без анионных возбуждений) после возникновения ошибок. Каждый шаг коррекции направлен на уменьшение количества или сложности анионов, эффективно "сглаживая" ландшафт ошибок обратно к стабильному, свободному от ошибок основному состоянию. "Адаптивный" характер означает, что выбор корректирующих операций информируется предыдущими результатами измерений, направляя систему к желаемому состоянию.

• Прямая связь для сохранения логического состояния: Во время фазы извлечения кода результаты измерений используются в цикле прямой связи. Если измерения указывают на логический переворот или создание нежелательных доменных границ (например, петли $Z=-1$), применяются специфические логические операции (например, $X$ на коде $\mathbb{Z}_2$ или $C$ на коде $\mathbb{Z}_3$) для исправления этих проблем. Это гарантирует, что общее логическое преобразование вентиля CC точно реализуется, даже при наличии ошибок измерения.

FIG. 1. Implementation of logical CC gate between D(Z2) and D(Z3) surface codes. (a) The qubit and qutrit surface codes are separately initialized in arbitrary logical states. Depicted are the Z and X logical operators of the qutrit code and the Z and X logical operators of the qubit code. (b) Non-Clifford CC gates between ancilla qubits initialized in the |0⟩and qutrits of the Z3 code. This is the symmetry-enrichment step, where the Z2 charge-conjugation symmetry of the qutrit surface code is coupled to ancilla qubits. (c) Applying the gauging map to the symmetry-enriched Z3 code yields S3 topological order. After applying the gauging map to the entire Z3 code, a S3 quantum double has been prepared with A + B + 2C boundary conditions on the left and right boundaries and A + D + F boundary conditions on the top and bottom boundaries, which are the analogs of rough and smooth boundary conditions for the S3 non-Abelian code. Logical information from both codes is now injected into the S3 code. The X and Z logical operator from the qubit code transform into the B and D anyon operators, respectively, while the Z and the X map to the C and F anyon operators respectively. (d) The ejection of the qubit and qutrit code from the non-Abelian code is done by simply measuring out qubits from the left side of the Z2 code in the Z basis. Measurement outcomes of Z = −1 correspond to the endpoints of ground state D anyon loops terminating at the left boundary. Feedforward is performed to return the stabilizers of the Z3 code back to their original form. (e) Once FIG. 2. We schematically show the states in the superposition of the D(S3) wavefunction in the Z basis. Each state is a D(Z3) wavefunction with a charge-conjugation domain wall configu- ration applied to the state. After the qubits of the S3 code are measured out in the Z basis, one such state is obtained with the Z = −1 measurement outcomes bounding the domain walls

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

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

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

Суть их подхода заключается в том, чтобы взять два абелевых кода поверхности — код поверхности $\mathbb{Z}_2$ для кубитов и код поверхности $\mathbb{Z}_3$ для кутритов, оба инициализированные в произвольных логических состояниях — и ввести неабелевский топологический порядок, в частности, квантовое удвоение $S_3$ ($\mathbb{D}(S_3)$), в качестве промежуточного ресурса. Это достигается путем скольжения кода $\mathbb{Z}_2$ над кодом $\mathbb{Z}_3$, последовательно калибруя и разкалибровывая симметрию зарядового сопряжения кода поверхности $\mathbb{Z}_3$ в перекрывающейся области. Этот процесс создает трехстороннюю систему: коды $\mathbb{Z}_2$, $\mathbb{D}(S_3)$ и $\mathbb{Z}_3$, с пропущенными доменными границами между ними.

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

Окончательным, неоспоримым доказательством того, что их основной механизм работает в реальности, является строгий математический вывод. Они точно показывают, как логические операторы стабилизаторных кодов (эквивалентные абелевым линиям анионов) могут быть деформированы через эти доменные границы в неабелевы линии анионов квантового удвоения $S_3$. Протокол завершается логическим действием вентиля контролируемого зарядового сопряжения (CC), где управляющий кубит из кода $\mathbb{Z}_2$, а целевой кутрит из кода $\mathbb{Z}_3$. Это явно демонстрируется отслеживанием преобразования логических операторов: логический оператор $Z$ кода $\mathbb{Z}_2$ просто расширяется, в то время как логический оператор $X$ кода $\mathbb{Z}_2$ преобразуется в оператор $X$, "одетый" операторами $C$ (глобальная операция зарядового сопряжения на коде $\mathbb{Z}_3$). Аналогично, логический оператор $Z$ кода $\mathbb{Z}_3$ преобразуется в $Z$, а логический оператор $X$ кода $\mathbb{Z}_3$ преобразуется в оператор $X$, зависящий от нелокальных строк. Конечное состояние после извлечения кодов точно реализует вентиль CC, как показано преобразованием логических операторов $X \rightarrow XC$ и $Z \rightarrow Z$.

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

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

1. Реализация не-Клиффордовских вентилей: Центральное достижение — успешная теоретическая демонстрация логического вентиля контролируемого зарядового сопряжения (CC) между кодом кубита и кодом кутрита. Это не-Клиффордовский вентиль, критически важный для универсальных квантовых вычислений. Логическое действие точно определяется как $CC: |ab\rangle \rightarrow |aC^{-1}b\rangle$, где $a \in \mathbb{Z}_3$ — целевой кутрит, а $b \in \mathbb{Z}_2$ — управляющий кубит.
2. Механизм через неабелевский топологический порядок: Протокол использует запутывание в неабелевский топологический порядок $\mathbb{D}(S_3)$ в качестве промежуточного этапа. Детальный анализ того, как стабилизаторы (Ур. 16-21) и логические операторы (Ур. 22-26, 31-32) преобразуются во время обогащения симметрии, калибровки и фаз извлечения, предоставляет конкретное математическое доказательство того, что код $\mathbb{D}(S_3)$ действует как необходимый "вычислительный движок". Преобразование логических операторов из исходных абелевых кодов в конечное действие вентиля CC явно выведено и проиллюстрировано.
3. Сохранение основного состояния: Ключевое преимущество и доказанный аспект их подхода заключается в том, что абелевы коды поверхности квидитов остаются в своем основном состоянии на протяжении всего процесса. Это значительно упрощает процедуру коррекции ошибок по сравнению со схемами, требующими манипулирования анионами в возбужденных состояниях.
4. Обобщаемость: Авторы демонстрируют, что их протоколы более общие, распространяются на больший класс моделей квантового удвоения $\mathbb{D}(G)$, где $G$ является полупрямым произведением абелевых групп. Это обобщение дает контролируемые вентили автоморфизма анионов (Ур. 3), указывая на широкую применимость их фреймворка за пределами конкретного примера $S_3$.
5. Генерация магических состояний: Как прямое следствие вентиля CC, статья показывает, как вероятностно генерировать магические состояния для кода поверхности $\mathbb{Z}_2$ (Приложение G). Это критический шаг на пути к достижению универсальности, поскольку магические состояния в сочетании с Клиффордовскими вентилями обеспечивают универсальные квантовые вычисления.

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

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

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

Одной из значительных областей для будущей работы является численный анализ отказоустойчивости. Авторы предлагают схему декодирования с оповещением для квантового удвоения $S_3$ (Раздел V.B) и представляют аргументы в пользу ее отказоустойчивости против локального стохастического паули-шума. Однако детальный анализ ошибок измерения и шума на уровне схемы в рамках протокола, а также численное вычисление порогового значения ошибок для их декодера против ошибок кубитов и кутритов, явно оставлены для будущей работы. Это критический шаг для оценки практической жизнеспособности протокола на квантовых устройствах ближайшего будущего.

Еще один открытый вопрос касается универсальных квантовых вычислений. Хотя статья конструирует магические состояния для кода поверхности $\mathbb{Z}_2$ с использованием их вентиля CC (Приложение G), полное доказательство универсальности для кода квидитов $\mathbb{Z}_2 \times \mathbb{Z}_3$ выходит за рамки данной работы. Кроме того, состояние кутрита, полученное в Приложении G (Ур. G6), не является стабилизаторным состоянием, и его полезность для универсальных вычислений кутритов требует дальнейшего доказательства. Расширение области для строгого установления универсальности для комбинированной системы было бы естественным следующим шагом.

Обобщение протокола также представляет несколько направлений для исследования. Текущая работа сосредоточена на моделях квантового удвоения $\mathbb{D}(G)$, где $G$ является расщепленным расширением двух абелевых групп. Естественным обобщением является исследование того, какие вентили могут быть получены из квантовых удвоений, чья калибровочная группа является центральным расширением двух абелевых групп. Кроме того, исследование того, могут ли вентили на более высоких уровнях Клиффордовской иерархии быть получены путем вложения протоколов расщепленного и центрального расширения, было бы увлекательным теоретическим предприятием.

С точки зрения теоретической физики, исследование 3+1D пространственно-временной картины или описания топологической теорией поля (ТТП) их протокола может дать более глубокое понимание. Хотя ТТП для неабелевских топологических порядков существуют, правильное включение всех анионов и дефектов симметрии в структуру ТТП, особенно для недиагональных вентилей, таких как вентиль CC, остается открытой проблемой. Преодоление этого разрыва может привести к более единому пониманию топологических квантовых вычислений.

Наконец, статья подчеркивает необходимость точного алгоритма для определения путей для сопряжения анионов C в их стратегии декодирования с оповещением (Раздел V.B). Разработка такого алгоритма, потенциально использующего машинное обучение или передовые методы теории графов, была бы необходима для оптимизации коррекции ошибок. Решение проблемы коррекции ошибок при наличии ошибок измерения также является важным открытым вопросом.

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