Отказоустойчивое кодирование логических кудитов в спиновых системах

Основная информация

• ID статьи: 2511.06620
• Название: Fault-Tolerant Encoding of Logical Qudits in Spin Systems
• Автор: Sumin Lim (KAIST & University of Oxford)
• Классификация: quant-ph (квантовая физика)
• Дата публикации: 11 ноября 2025
• Ссылка на статью: https://arxiv.org/abs/2511.06620

Аннотация

В данной работе предложена универсальная схема реализации отказоустойчивого кодирования логических квантовых многоуровневых систем (кудитов) в спиновых системах. Исследование показывает, что кодирование d-мерного логического кудита с расстоянием-3 (или расстоянием-5) может быть реализовано в 12d-мерном (или 40d-мерном) гильбертовом пространстве и обобщено на коды расстояния 2t+1 и многофизические кодирования кудитов. Количественное сравнение демонстрирует экспоненциальное преимущество в ресурсах по сравнению с многоуровневыми схемами, полученными из отображения логических кубитов.

Исследовательский контекст и мотивация

1. Решаемая проблема

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

2. Важность проблемы

• Квантовое моделирование: Универсальные квантовые компьютеры должны моделировать квантовые состояния, управляемые произвольными гамильтонианами; многоуровневые системы являются фундаментальной характеристикой физических систем
• Вычислительное преимущество: Кудиты по сравнению с кубитами обеспечивают экспоненциальное увеличение ёмкости хранения и скорости вычислений
• Потребности эпохи NISQ: Текущая эпоха шумных среднемасштабных квантовых (NISQ) систем требует срочного развития схем отказоустойчивого кодирования

3. Ограничения существующих методов

• GKP коды: Требуют бозонных систем (бесконечномерное гильбертово пространство), дополнительные процедуры нормализации и экспериментальную сложность
• Схемы отображения кубитов: Отображение кудита на несколько логических кубитов требует дополнительных физических кубитов и глубины схемы; потребление ресурсов растёт экспоненциально
• Отсутствие универсальной схемы: Существующие исследования не содержат систематического подхода к отказоустойчивому кодированию в конечномерных спиновых системах

4. Исследовательская мотивация

• Спиновые системы (электронные и ядерные спины) являются одними из наиболее когерентных и стабильных квантовых систем
• Ядерные спины — идеальные кандидаты для отказоустойчивого квантового хранения
• Большие гильбертовы пространства могут быть реализованы посредством химического проектирования гигантских молекулярных магнетов или захвата лазером охлаждённых атомов/молекул

Основные вклады

1. Универсальная схема кодирования: Предложен универсальный метод кодирования логических кудитов в системах спиновых кудитов, применимый к произвольной размерности d и произвольному расстоянию кода 2t+1
2. Ресурсоэффективный дизайн:
   • Логический кудит размерности d с расстоянием-3 требует только 12d-мерное гильбертово пространство
   • Кодирование расстояния-5 требует 40d-мерное пространство
   • Достигается экспоненциальная экономия ресурсов по сравнению со схемами отображения кубитов
3. Многоуровневая способность коррекции ошибок:
   • Коды коррекции Z-ошибок (ошибок фазы)
   • Полные коды коррекции ошибок Паули X/Y/Z
   • Расширяемость на коррекцию ошибок высшего порядка
4. Множественные варианты реализации:
   • Кодирование одного большого спинового кудита
   • Запутанное кодирование нескольких связанных спиновых кудитов
   • Полные последовательности импульсов кодирования/декодирования
5. Количественный анализ производительности: Систематическое сравнение требуемого гильбертова пространства, сложности вентилей и минимальных пороговых значений верности однокудитных вентилей

Подробное описание методов

Определение задачи

Входные данные: d-мерное логическое состояние кудита $|\psi\rangle = \sum_{i=0}^{d-1} \alpha_i |i\rangle$

Выходные данные: Закодированное отказоустойчивое логическое состояние $|\psi_{enc}\rangle = \sum_{i=0}^{d-1} \alpha_i |i_L\rangle$, способное корректировать квантовые ошибки определённого порядка

Ограничения:

• Удовлетворение критерию Knill-Laflamme (KL)
• Использование конечномерного гильбертова пространства
• Полиномиальная сложность вентилей

Архитектура модели

1. Коды коррекции Z-ошибок (расстояние-3)

Пример кодирования кутрита (использование системы со спином 9/2):

$|0_L\rangle = \sqrt{\frac{10}{20}}\left(|-\frac{5}{2}\rangle + |+\frac{5}{2}\rangle\right)$

$|1_L\rangle = \sqrt{\frac{6}{20}}\left(|-\frac{3}{2}\rangle + |+\frac{3}{2}\rangle\right) + \sqrt{\frac{4}{20}}\left(|-\frac{7}{2}\rangle + |+\frac{7}{2}\rangle\right)$

$|2_L\rangle = \sqrt{\frac{7}{20}}\left(|-\frac{1}{2}\rangle + |+\frac{1}{2}\rangle\right) + \sqrt{\frac{3}{20}}\left(|-\frac{9}{2}\rangle + |+\frac{9}{2}\rangle\right)$

Универсальная формула (d-мерный кудит):

$|0_L\rangle = \sqrt{\frac{1}{2}}(|-(S/2+1/4)\rangle + |+(S/2+1/4)\rangle)$

$|i_L\rangle = a_i(|-(S/2+1/4-i)\rangle + |+(S/2+1/4-i)\rangle) + b_i(|-(S/2+1/4+i)\rangle + |+(S/2+1/4+i)\rangle)$

где $S = 2d - 3/2$, коэффициенты:

$a_i = \sqrt{\frac{2d-1+i}{8d-4}}, \quad b_i = \sqrt{\frac{2d-1-i}{8d-4}}$

2. Проверка критерия Knill-Laflamme

Кодовые слова должны удовлетворять: $\langle i_L|E_a^\dagger E_b|j_L\rangle = 0, \quad (i \neq j)$$\langle i_L|E_a^\dagger E_b|i_L\rangle - \langle j_L|E_a^\dagger E_b|j_L\rangle = 0$

Для Z-ошибок операторы ошибок — $E \in \{I, S_Z\}$. Благодаря симметричной конструкции кодовых слов все исходные кодовые слова и кодовые слова с ошибками взаимно ортогональны, образуя чистый код коррекции ошибок.

3. Кодирование расстояния-5 (коррекция ошибок второго порядка)

Пример кутрита (система со спином 19/2):

$|0_L\rangle = \sqrt{\frac{5}{16}}\left(|-\frac{5}{2}\rangle + |+\frac{5}{2}\rangle\right) + \sqrt{\frac{3}{16}}\left(|-\frac{15}{2}\rangle + |+\frac{15}{2}\rangle\right)$

Содержит 4 компоненты базового состояния, удовлетворяя критерию KL до $\langle i_L|S_Z^n|i_L\rangle = \langle j_L|S_Z^n|j_L\rangle$ (n=0,1,2,3,4).

4. Полная коррекция ошибок X/Y/Z

Реализуется расширением индекса базового состояния в 2t+1 раз:

• Расстояние-3: расширение с 9/2 до 29/2 (интервал 3)
• Расстояние-5: расширение с 19/2 до 99/2 (интервал 5)

Ключевое понимание: Одинаковые коэффициенты могут использоваться для коррекции X/Y/Z, поскольку: $\langle i_L|S_X^2|i_L\rangle = 2S(S+1) - 2\langle i_L|S_Z^2|i_L\rangle$

Дизайн интервалов обеспечивает ортогональность после действия операторов X/Y.

5. Многокудитное запутанное кодирование

Кодирование кутрита с использованием трёх систем со спином 9/2:

$|0_L\rangle = \sqrt{\frac{10}{20}}\left(|-\frac{5}{2}\rangle_{A,B,C} + |+\frac{5}{2}\rangle_{A,B,C}\right)$

где $|m_I\rangle_{A,B,C} = |m_I\rangle_A \otimes |m_I\rangle_B \otimes |m_I\rangle_C$

Технические инновации

1. Дизайн коэффициентов, управляемый симметрией

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

2. Многоуровневая стратегия расширения

• Z-ошибка → X/Y/Z-ошибка: расширение интервала базового состояния в 2t+1 раз
• Расстояние-3 → Расстояние-5: удвоение гильбертова пространства, добавление новых компонент базового состояния
• Коэффициенты переиспользуются, дизайн модульный

3. Свойства чистого кода коррекции ошибок

• Все кодовые слова и кодовые слова с ошибками полностью ортогональны
• Кодирование/декодирование может быть реализовано простыми последовательностями импульсов (см. приложение A)
• Не требуется сложное измерение синдрома

4. Полиномиальное расширение ресурсов

• Гильбертово пространство: $O(d \cdot (2t+1)^2)$
• Сложность вентилей: полиномиальная
• В сравнении с экспоненциальным расширением схемы кубитов

Экспериментальная установка

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

1. Модель декогеренции

Использование уравнения Линдблада для моделирования естественной дефазировки: $\dot{\rho} = -i[H, \rho] + \mathcal{L}[\rho]$

Вероятность ошибки: $\epsilon_Z = t/T_2$ (при условии $t \ll T_2$)

2. Модель верности вентилей

Тестируемые параметры:

• Верность однокудитного вентиля: 99.5%, 99.9%
• Соотношение времени вентиля: $t_{gate}/T_2 = 10^{-4}, 10^{-3}$
• Ошибка угла поворота: $10^{-3}, 5 \times 10^{-3}$

3. Установка начального состояния

Суперпозиция кутрита: $|\psi\rangle = \frac{1}{\sqrt{3}}(|0_L\rangle + |1_L\rangle + |2_L\rangle)$

Показатели оценки

1. Верность: $F = \langle\psi|\rho|\psi\rangle$
2. Частота ошибок: $E = 1 - F^2$
3. Усиление: $G = E_{uncorrected}/E_{corrected}$
4. Размерность гильбертова пространства: Общая размерность, требуемая для кодирования
5. Сложность вентилей: Количество операций вентилей, требуемых для кодирования/декодирования

Методы сравнения

Традиционная схема отображения кубитов:

• Использование кода поверхности расстояния-3 для построения логических кубитов
• Отображение d-мерного кудита на $\lceil\log_2 d\rceil$ логических кубитов
• Каждый логический кубит требует 9 физических кубитов (код поверхности расстояния-3)

Детали реализации

Последовательность импульсов кодирования (Z-ошибка кутрита)

• Начальное состояние: $|\psi\rangle = \alpha|-\frac{9}{2}\rangle + \beta|-\frac{7}{2}\rangle + \gamma|-\frac{5}{2}\rangle$
• Использование селективных вентилей поворота $U_{\theta_i}$ (вокруг оси y), углы удовлетворяют:
  • $\cos(\theta_1) = \sqrt{1/2}$
  • $\cos(\theta_2) = \sqrt{3/10}$
  • $\cos(\theta_3) = \sqrt{3/7}$
  • $\cos(\theta_4) = \sqrt{7/20}$
  • $\cos(\theta_5) = \sqrt{7/13}$

Декодирование и коррекция ошибок

• Применение обратной последовательности импульсов кодирования
• Условное возбуждение вспомогательного кудита
• Проективное измерение вспомогательного кудита для восстановления исходного состояния

Экспериментальные результаты

Основные результаты

1. Сравнение гильбертова пространства (рис. 2a)

Вывод: Требуемое гильбертово пространство в предложенном методе растёт полиномиально $O(12d)$, тогда как в схеме кубитов — экспоненциально $O(9 \cdot 2^{\lceil\log_2 d\rceil})$

2. Сравнение расширения кода расстояния (рис. 2b)

3. Эволюция верности (рис. 1b)

• Без коррекции ошибок: Верность линейно убывает, $F \approx 1 - t/T_2$
• Коррекция расстояния-3: Остаточная ошибка $\propto (t/T_2)^2$
• Коррекция расстояния-5: Остаточная ошибка $\propto (t/T_2)^3$

Усиление (вставка):

• При $t/T_2 = 0.1$:
  • Расстояние-3: усиление ~10 раз
  • Расстояние-5: усиление ~100 раз

4. Требования к верности практических вентилей (рис. 3)

Критические пороги:

• Оптимальные условия: Верность однокудитного вентиля > 99.9%, $t_{gate}/T_2 < 10^{-4}$
• Субоптимальные условия: При верности 99.5% или $t_{gate}/T_2 = 10^{-3}$ преимущество коррекции ошибок значительно снижается

Конкретные данные ($t/T_2 = 0.1$):

• Идеальная коррекция ошибок: $F = 0.95$
• $t_{gate}/T_2 = 10^{-4}$, ошибка поворота $10^{-3}$: $F = 0.92$
• $t_{gate}/T_2 = 10^{-3}$, ошибка поворота $10^{-3}$: $F = 0.75$

Абляционные исследования

Хотя в статье отсутствует явное обозначение "абляционные исследования", проведён систематический анализ компонентов:

1. Влияние расстояния кода

• Расстояние-1 (без коррекции) vs расстояние-3 vs расстояние-5
• Большее расстояние обеспечивает более сильную способность коррекции ошибок, но требует большего гильбертова пространства

2. Однокудитное vs многокудитное кодирование

• Один большой спин (например, S=9/2)
• Три малых спина (три S=9/2)
• Многокудитная схема более легко реализуется на твёрдотельных платформах (ядерные спины)

3. Z-ошибка vs полная коррекция ошибок Паули

• Z-ошибка: применима к твёрдотельным спинам (основная дефазировка)
• X/Y/Z-ошибка: требует 3-кратного гильбертова пространства

Экспериментальные находки

1. Экспоненциальное преимущество в ресурсах: По сравнению с отображением кубитов требуемое гильбертово пространство снижается на 6-14 порядков
2. Преимущество в сложности декодирования: Общая размерность гильбертова пространства даёт верхнюю границу сложности задачи декодирования; предложенный метод значительно снижает сложность декодирования
3. Снижение сложности вентилей:
   • Процесс коррекции ошибок: однокудитное кодирование не требует многокудитных вентилей
   • Реализация алгоритма: прямые кудитные вентили vs разложение на несколько кубитных вентилей
4. Неуникальность коэффициентов: Для кода расстояния-5 существуют несколько наборов действительных коэффициентов (приложение B), что указывает на существование пространства более оптимизированного дизайна
5. Гибкость платформы:
   • Твёрдотельные системы: Bi, легированный Si (ядерные спины)
   • Молекулярные магниты: гигантские молекулярные магниты (большие спины)
   • Атомные системы: захваченные холодные атомы (угловой момент)

Связанные работы

1. Коды коррекции логических кубитов

• Коды поверхности28: Текущий основной метод, но требует высоких ресурсов
• Теория Knill-Laflamme27: Теоретическая основа дизайна данной работы
• Совершенные коды квантовой коррекции ошибок26: Теоретическая схема

2. Коды коррекции кудитов

• GKP коды29: Бозонные системы, требуют бесконечномерное пространство
• Биномиальные коды20,51,52: Один из источников вдохновения данной работы
• Cat коды49,50: Системы непрерывных переменных
• Коды неприводимых представлений SU(d)18: Групповой теоретический метод
• Коды, инвариантные относительно перестановок21: Использование симметрии

3. Квантовые вычисления в спиновых системах

• Ранние NMR эксперименты2,4,5: Доказательство осуществимости спиновых систем
• Кодирование кубита со спином-7/213: Предыдущая работа автора
• Молекулярные наномагниты38,39: Встроенная коррекция ошибок
• Доноры с высоким спином42: Навигация в 16-мерном гильбертовом пространстве

4. Квантовые алгоритмы кудитов

• Ресурсоэффективное моделирование16: Моделирование d-уровневых систем
• Сжатие схем15: Роль запутанности в кудитных схемах
• Алгоритм Гровера59: Реализация на кудитах требует дополнительных ресурсов

Преимущества данной работы

1. Универсальность: Применима к произвольным d и произвольным расстояниям кода 2t+1
2. Конечная размерность: Не требует бесконечномерных бозонных систем
3. Экспериментальная осуществимость: Полные последовательности импульсов, совместимость с существующими платформами
4. Ресурсная эффективность: Экспоненциальная экономия по сравнению со всеми существующими методами

Заключение и обсуждение

Основные выводы

1. Теоретический вклад: Установлена полная теоретическая схема кодирования логических кудитов в конечномерных спиновых системах; доказано, что d-мерный логический кудит может быть реализован в 12d-мерном (расстояние-3) или 40d-мерном (расстояние-5) гильбертовом пространстве
2. Преимущество в ресурсах: По сравнению с традиционной схемой отображения кубитов требуемое гильбертово пространство снижается на 6-14 порядков, достигая экспоненциальной экономии ресурсов
3. Практичность: Предоставлены полные последовательности импульсов кодирования/декодирования, которые могут быть реализованы на существующих спиновых платформах (ядерные спины, молекулярные магниты, захваченные атомы)
4. Требования к производительности: Численное моделирование показывает, что для достижения значительного преимущества коррекции ошибок требуется верность однокудитного вентиля >99.9% и $t_{gate}/T_2 < 10^{-4}$

Ограничения

1. Экспериментальные барьеры

• Требование высокой верности: Верность однокудитного вентиля 99.9% представляет значительный вызов в текущих спиновых системах
• Быстрые операции вентилей: Требование $t_{gate}/T_2 < 10^{-4}$ предполагает либо чрезвычайно быстрые операции вентилей, либо чрезвычайно длительное время когерентности

2. Реализация большого гильбертова пространства

• Высокомерные спины: Полная коррекция ошибок Паули расстояния-5 требует S=99/2 (100-мерное пространство)
• Ограничения платформы:
  • Ядерные спины обычно $I \leq 9/2$
  • Требуется специальный дизайн молекулярных магнитов или захваченных атомных систем

3. Теоретическая полнота

• Оптимальность не доказана: Признаётся неуникальность коэффициентов, но отсутствует математическое доказательство минимальной размерности
• Коды высокого расстояния: Универсальные аналитические решения для $t \geq 3$ не предоставлены, даны только стратегии построения

4. Отсутствие экспериментальной проверки

• Все результаты основаны на численном моделировании
• Отсутствуют экспериментальные данные подтверждения
• Не обсуждены детали реализации на конкретных платформах (например, дизайн управляющего гамильтониана)

5. Упрощение модели шума

• Основное внимание уделяется дефазировке (Z-ошибка)
• Недостаточное обсуждение других типов шума (затухание амплитуды, утечка и т.д.)
• Модель Линдблада может быть чрезмерно идеализирована

Направления будущих исследований

1. Экспериментальная реализация: Проведение экспериментов на платформах Bi-легированного Si или молекулярных магнитов для демонстрации концепции
2. Оптимизация дизайна:
   • Поиск математического доказательства минимальной размерности гильбертова пространства
   • Разработка алгоритмов оптимизации коэффициентов (с учётом экспериментальных ограничений)
3. Отказоустойчивые операции вентилей: Дизайн отказоустойчивой реализации операций логических кудитных вентилей
4. Адаптация к шуму: Оптимизация дизайна кодовых слов для различных моделей шума (например, затухание амплитуды)
5. Масштабируемая архитектура: Исследование запутанности и операций вентилей в системах с несколькими логическими кудитами

Глубокая оценка

Преимущества

1. Теоретическая инновативность (⭐⭐⭐⭐⭐)

• Высокая оригинальность: Первая систематическая универсальная схема кодирования логических кудитов в конечномерных спиновых системах
• Математическая строгость: Полная проверка критерия KL, предоставлены аналитические формулы коэффициентов
• Расширяемость: Ясный путь расширения от Z-ошибки к X/Y/Z-ошибке, от расстояния-3 к произвольному расстоянию

2. Практическая ценность (⭐⭐⭐⭐)

• Ресурсная эффективность: Экспоненциальная экономия ресурсов имеет значительное практическое значение
• Гибкость платформы: Совместимость с несколькими физическими реализациями (твёрдое тело, молекулы, атомы)
• Простота операций: Дизайн чистого кода коррекции ошибок делает последовательности импульсов кодирования/декодирования простыми

3. Полнота анализа (⭐⭐⭐⭐⭐)

• Количественное сравнение: Систематическое сравнение гильбертова пространства, сложности вентилей, требований к верности
• Многоуровневый дизайн: Полное покрытие Z-ошибки, X/Y/Z-ошибки, различных расстояний кода
• Практические соображения: Учёт влияния ошибок вентилей и декогеренции на производительность

4. Ясность изложения (⭐⭐⭐⭐)

• Логическая структура: от простых примеров к универсальной схеме
• Точное математическое выражение: детальные выводы формул (приложения)
• Эффективные графики: наглядное представление сравнения ресурсов и прироста производительности

Недостатки

1. Сомнения в экспериментальной осуществимости (⭐⭐)

• Высокие требования к верности: Верность вентиля 99.9% представляет экстремальный вызов в спиновых системах
• Требование большого пространства: Физическая реализация S=99/2 чрезвычайно сложна
• Отсутствие конкретного плана управления: Не предоставлены конкретные схемы реализации последовательностей импульсов кодирования

2. Неполнота теории (⭐⭐⭐)

• Оптимальность не доказана: Признаётся существование более компактного кодирования, но не доказано
• Дефект высокого расстояния: Отсутствуют универсальные формулы для $t \geq 3$
• Ограниченная модель шума: Основное внимание на дефазировке, недостаточное обсуждение других типов шума

3. Неполная справедливость сравнения (⭐⭐⭐)

• Выбор baseline: Использование кода поверхности в качестве базовой линии может быть не оптимальным отображением кудита на кубиты
• GKP коды: Недостаточное детальное сравнение с непрерывными переменными GKP кодами
• Сложность вентилей: Фактическая сложность высокомерных поворотов спина может быть недооценена

4. Отсутствие экспериментальных данных (⭐⭐)

• Полная зависимость от численного моделирования
• Отсутствие ссылок на какую-либо экспериментальную проверку (даже маломасштабную демонстрацию концепции)
• Недостаточный анализ источников экспериментальных ошибок

Оценка влияния

Вклад в область (⭐⭐⭐⭐)

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

Практическая ценность (⭐⭐⭐)

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

Воспроизводимость (⭐⭐⭐⭐)

• Теоретическая воспроизводимость: Полные формулы, ясные математические выводы
• Численная воспроизводимость: Чёткие параметры моделирования, легко повторить результаты
• Экспериментальная воспроизводимость: Сложность, отсутствие детальных экспериментальных протоколов

Применимые сценарии

Идеальные сценарии применения

1. Квантовое моделирование:
   • Моделирование многоуровневых атомных/молекулярных систем
   • Квантовое моделирование ядерного магнитного резонанса
   • Динамика химических реакций
2. Квантовое хранилище:
   • Хранилище квантовой информации на ядерных спинах
   • Долгоживущее хранилище на гигантских молекулярных магнитах
   • Узлы хранения в гибридных квантовых системах
3. Конкретные платформы:
   • Bi-легированный Si (ядерный спин I=9/2)
   • Гигантские молекулярные магниты (S>10)
   • Захваченные Ba-133 (большой угловой момент)

Неприменимые сценарии

1. Текущие NISQ устройства: Текущая верность вентилей недостаточна
2. Сверхпроводящие кубиты: По сути двухуровневые системы
3. Фотонные системы: Более подходят GKP коды
4. Алгоритмы, требующие быстрых операций: Высокомерные повороты могут быть медленными

Сравнение со связанными работами

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

Ключевые ссылки

13 S. Lim et al., "Fault-tolerant qubit encoding using a spin-7/2 qudit", PRA 108, 062403 (2023) - Предыдущая работа автора

27 E. Knill & R. Laflamme, "Theory of quantum error-correcting codes", PRA 55, 900 (1997) - Теоретическая основа критерия KL

29 D. Gottesman et al., "Encoding a qubit in an oscillator", PRA 64, 012310 (2001) - Оригинальная статья о GKP кодах

31 S. Lim et al., "Demonstrating experimentally the encoding...", PRL 134, 070603 (2025) - Предыдущая экспериментальная работа

42 I. Fernández de Fuentes et al., "Navigating the 16-dimensional Hilbert space...", Nat. Commun. 15, 1380 (2024) - Управление высокомерным спином

Общая оценка: ⭐⭐⭐⭐ (4/5)

Это высокоинновационная теоретическая работа с полным анализом, предоставляющая важные новые идеи для области квантовой коррекции ошибок. Её экспоненциальное преимущество в ресурсах имеет значительную теоретическую и потенциальную практическую ценность. Основные недостатки заключаются в отсутствии экспериментальной проверки и сомнениях в экспериментальной осуществимости. Рекомендуется, чтобы будущие работы сосредоточились на: (1) концептуальной экспериментальной демонстрации на существующих платформах; (2) математическом доказательстве оптимальности кодирования; (3) более полном анализе моделей шума.