ЯдроКодаподготовка к экзаменам
Подготавливаем текст, источники и редакционные примечания без изменения разметки страницы.
Автор: Казачкин Даниил Михайлович · Обновлено
Чем cat qubit отличается от оптического сенсора: кодирование, стабилизация, считывание и разные каналы ошибок. Учебный пример показывает границы защиты повторением.
# Cat qubits: от состояния кота к памяти
Словосочетание «кот Шрёдингера» встречается и в статьях об измерениях, и в разработке квантовых процессоров. Общий физический ресурс не делает задачи одинаковыми. Сенсор должен изменить результат при воздействии сигнала. Память должна сохранить неизвестную информацию несмотря на нежелательные воздействия. Для программиста это два разных контракта системы.
Grimm и соавторы исследовали генерацию и стабилизацию состояний кота в сверхпроводящем микроволновом резонаторе с нелинейностью Керра. Работа включает управление однокубитными операциями и считывание при стабилизации. Журнальная публикация вышла в Nature 584, 205–209 в 2020 году; доступна открытая авторская версия. The Kerr-Cat Qubit.
Это экспериментальная линия квантового кодирования. Её нельзя считать проверкой схемы оптического интерферометра из [работы APS 2026 года](/research/antisqueezed-cat-states-phase-detection). Среда, операции и целевая метрика различаются. Для переноса конкретной идеи потребуется отдельная физическая модель и эксперимент.
Хранить состояние полезно лишь тогда, когда его можно подготовить, преобразовать и прочитать с приемлемыми ошибками. Более долгая память с очень медленными или неточными операциями может не улучшить алгоритм. Поэтому инженерная таблица должна содержать как минимум ошибку хранения, ошибку операции, длительность операции и ошибку считывания.
Кроме того, у шума могут быть разные направления в выбранном логическом базисе. То, какой канал называют bit flip или phase flip, зависит от определения базиса. При чтении сравнения стоит сначала выписать логические состояния. Иначе два автора могут по-разному называть физически сходное событие.
Чтобы понять пользу и ограничение избыточности, рассмотрим три обычных бита с независимой вероятностью переворота p. Большинство ошибётся при двух или трёх переворотах. Получаем 3p²(1 − p) + p³.
def majority_error(p):
return 3 * p * p * (1 - p) + p ** 3
for probability in (0.01, 0.1, 0.6):
print(probability, round(majority_error(probability), 6))
assert majority_error(0.1) < 0.1
assert majority_error(0.6) > 0.6Результаты: 0,000298; 0,028; 0,648. Повторение помогает в выбранной модели при небольшой ошибке. При p = 0,6 оно уже ухудшает ситуацию. А если все три бита всегда переворачиваются вместе, предположение независимости нарушается и выражение неприменимо.
Этот пример не симуляция cat qubit и не квантовый код. Произвольное неизвестное квантовое состояние нельзя просто скопировать трижды обычной командой. Аналогия объясняет только то, почему оценка защиты всегда привязана к определённой модели ошибок. Для квантового кодирования приходится учитывать сохранение суперпозиций и способы получения информации об ошибке без чтения самого логического состояния.
Возможный программный проект — анализ журнала последовательностей операций. Для каждой последовательности сохраняют начальную подготовку, команды управления, длительности и результаты считывания. Затем сравнивают несколько моделей ошибок на отложенных последовательностях. Это предлагаемая нами задача обработки данных, а не готовый результат упомянутой статьи.
Особенно полезны проверки зависимостей: растёт ли ошибка с числом операций, меняется ли со временем калибровки, существуют ли серии коррелированных сбоев. Один усреднённый процент скроет такие эффекты. Если программа моделирует ошибки как независимые, это предположение должно быть видно в конфигурации и отчёте.
Переход от одного защищённого элемента к большой вычислительной системе требует межэлементных операций, маршрутизации, декодирования и управления ресурсами. Успех отдельной физической операции не задаёт автоматически стоимость полезной программы. Нужен полный расчёт под конкретный алгоритм и допускаемую вероятность сбоя.
Существует и другая идея хранения кубита в осцилляторе — [GKP-код](/research/gkp-grid-code-displacement-errors). В исходной работе Gottesman, Kitaev и Preskill кодовое пространство встраивается в систему с непрерывными переменными для защиты от сдвигов. Encoding a qubit in an oscillator. Сопоставление этих подходов полезно начинать с вопроса «какой шум исправляем», а затем переходить к стоимости подготовки, операций и проверки.
Авторский русскоязычный разбор ЯдроКода с первичными источниками. Учебные примеры и инженерные предположения отделены от результатов исследований. Не перевод и не перепечатка.
Таблицы, код и синтетические данные созданы для этого материала. Иллюстрации, код и экспериментальные данные авторов исследований не переносятся.