ЯдроКодаподготовка к экзаменам
Подготавливаем текст, источники и редакционные примечания без изменения разметки страницы.
Автор: Казачкин Даниил Михайлович · Обновлено
Кодирование кубита в осцилляторе, малые сдвиги, синдром и конечная энергия. Простой расчёт ближайшей точки объясняет идею и границы классической аналогии.
# GKP-код: исправление сдвигов в осцилляторе
Для обычного бита ошибка выглядит как смена нуля на единицу. У физического осциллятора есть непрерывные переменные, поэтому шум может немного сдвинуть состояние. Возникает вопрос: как сохранить дискретную квантовую информацию в системе, у которой возможных значений бесконечно много?
Gottesman, Kitaev и Preskill предложили кодировать конечномерное логическое пространство в осцилляторе и использовать структуру фазового пространства для защиты от малых сдвигов сопряжённых переменных. Исходная журнальная работа — Physical Review A 64, 012310, 2001. Открытая авторская версия.
В идеализированном описании появляются регулярные решётчатые структуры. Их реальные приближения имеют конечную энергию и ненулевую ширину пиков. Поэтому идеальная геометрия помогает понять код, но не задаёт безошибочную физическую память. Гауссовские операции и непрерывные переменные в более широком контексте обсуждаются в Gaussian Quantum Information.
Представьте, что допустимые точки на прямой стоят через одну условную единицу. Передана точка 0. Шум сдвинул её на 0,2. Ближайшая целая точка всё ещё 0, поэтому округление восстанавливает исходное значение. Если сдвиг равен 0,6, ближайшей становится 1: декодер ошибается.
Это собственная классическая аналогия, не физическая реализация GKP. Она показывает геометрию решения на одной оси. В настоящем квантовом коде нельзя просто прочитать точные значения обеих сопряжённых переменных и округлить их как обычные числа.
from math import floor
def nearest_point(value, spacing=1.0):
return spacing * floor(value / spacing + 0.5)
for shift in (-0.6, -0.2, 0.2, 0.6):
decoded = nearest_point(shift)
residual = shift - decoded
print(shift, decoded, round(residual, 2))
assert nearest_point(0.2) == 0
assert nearest_point(0.6) == 1На выходе получатся ближайшие точки −1, 0, 0, 1. Остатки равны 0,4; −0,2; 0,2; −0,4. Видно важное ограничение: малый остаток ещё не доказывает верное декодирование. При сдвиге 0,6 программа получила красивый остаток −0,4, но выбрала соседнюю точку. На границе половины шага наше правило округляет вверх; это явное соглашение для воспроизводимости примера.
У кода коррекции ошибок нужно узнавать информацию о повреждении, сохраняя защищаемые данные. В классической аналогии остаток по модулю шага похож на свидетельство малого сдвига. Но он не сообщает, сколько целых шагов уже потеряно. Поэтому разные физические ошибки могут выглядеть одинаково для ограниченного наблюдения.
Именно здесь полезно различать физическую и логическую ошибку. Процедура может успешно вернуть состояние к допустимой структуре, но оказаться в другом логическом состоянии. Хороший отчёт должен оценивать сохранение информации, а не только факт возвращения к некоторой разрешённой точке.
В собственной инженерной модели декодера можно добавить шум к измерению остатка. Тогда ошибка возникает не только из-за большого исходного сдвига, но и из-за неверной оценки коррекции. Если эти два шума зависимы, простой расчёт с независимыми случайными числами будет недостаточен. Предпосылку следует проверять отдельно.
Для численной работы полезно начать с маленькой задачи: зафиксировать последовательность сдвигов, сравнить несколько декодеров и сохранить случаи, в которых они расходятся. После этого менять ширину распределения и строить зависимость частоты ошибки. Такой эксперимент изучает ваш классический декодер; он не доказывает качество квантового устройства.
GKP связывает геометрию, статистику и алгоритмы восстановления. Разработчику могут пригодиться поиск наиболее вероятной ошибки, работа с решётками, моделирование корреляций и проверка устойчивости численных методов. Однако выбор физического кода, подготовка состояния и измерение синдрома требуют специализированной физики. Замена оборудования программным округлением невозможна.
В отличие от [cat qubits](/research/cat-qubits-stabilization-and-noise), здесь мы начали с регулярной структуры, полезной для сдвиговых ошибок. В отличие от [оптического сенсора](/research/antisqueezed-cat-states-phase-detection), целью служит сохранение информации. Эти направления связаны общим языком квантовой оптики, но успех каждого проверяют своим экспериментом и своей метрикой. Для общей карты возможных задач читайте [влияние на программирование](/research/quantum-sensing-software-impact).
Авторский русскоязычный разбор ЯдроКода с первичными источниками. Учебные примеры и инженерные предположения отделены от результатов исследований. Не перевод и не перепечатка.
Таблицы, код и синтетические данные созданы для этого материала. Иллюстрации, код и экспериментальные данные авторов исследований не переносятся.