Квантовые вычисления
Квантовая коррекция ошибок
В 1994 году Шор открыл алгоритм факторизации, который сломает RSA. В 1995 году он же доказал, что квантовые ошибки можно исправлять. Без второго открытия первое было бы бесполезным. Квантовая коррекция ошибок - это то, что отделяет теоретически интересный квантовый компьютер от практически применимого.
- **IBM Quantum Roadmap**: цель - 100 логических кубитов к 2026 году, защищённых surface code. Каждый логический кубит = ~100 физических
- **Google**: в 2023 году продемонстрировал, что при увеличении d с 3 до 5 логическая ошибка surface code действительно упала - первое экспериментальное подтверждение масштабирования ошибок ниже физического порога
- **Алгоритм Шора и криптография**: взлом RSA-2048 требует ~4 миллиона физических кубитов - текущий рекорд IBM 1121. До практической угрозы криптографии десятилетия работы
Код Шора
В 1995 году Питер Шор задал вопрос, который казался невозможным: можно ли защитить квантовую информацию от ошибок кодированием, если измерение разрушает суперпозицию? Ответ - да, через **обходную хитрость**: измерять симптомы ошибки (синдром), не раскрывая саму информацию. Код Шора кодирует 1 логический кубит в 9 физических, защищая от произвольной ошибки на одном кубите.
Код Шора - первый квантовый код коррекции ошибок. Он объединяет два классических кода: **repetition code** защищает от bit-flip ошибок (X), а **phase-flip code** - от phase-flip ошибок (Z). 9 физических кубитов = 3 группы по 3. Измеряются синдромы - CNOT-структуры, чувствительные к типу ошибки, но не к значению кубита.
Почему нельзя просто скопировать квантовый кубит для защиты (как в классическом repetition code)?
Surface Code
**Surface code** - наиболее перспективный квантовый код с точки зрения практической реализации. Физические кубиты размещаются на двумерной решётке; логический кубит кодируется в d^2 + (d-1)^2 физических (для distance d). При d=7: 85 физических кубитов на 1 логический. Главное преимущество: нужны только ближайшие взаимодействия - совместимо с физическими архитектурами сверхпроводящих чипов.
**Distance d** surface code исправляет до t = (d-1)/2 ошибок. При d=7: исправляет до 3 ошибок. Логическая ошибка происходит, когда цепочка физических ошибок пересекает решётку от одного края до другого - вероятность этого падает экспоненциально с d. IBM планирует реализовать d=7 surface code к 2025 году.
Surface code distance d=5 исправляет ошибки до какого числа физических ошибок?
Стабилизаторный формализм
Большинство практически важных квантовых кодов описывается через **стабилизаторный формализм** Готтесмана. Стабилизатор - это группа операторов Паули {I, X, Y, Z}, которые оставляют логическое состояние неизменным. Ошибка обнаруживается, когда она антикоммутирует с каким-то стабилизатором (меняет его собственное значение с +1 на -1). Измерение стабилизаторов = измерение синдрома ошибки.
Стабилизаторный формализм мощен именно тем, что синдромные измерения не раскрывают информацию о логическом состоянии - они измеряют только **относительные** ошибки. Это и есть ключ: можно определить ошибку без разрушения суперпозиции.
Почему измерение стабилизаторов не разрушает логическое квантовое состояние?
Отказоустойчивые квантовые вычисления
Коррекция ошибок необходима, но недостаточна. **Отказоустойчивые вычисления** (fault-tolerant QC) требуют, чтобы и сами операции над логическими кубитами не распространяли ошибки катастрофически. Гейт на логических кубитах реализуется через трансвёрсальные (поразрядные) операции или через **телепортацию гейтов** - заготовленные 'магические состояния'. T-гейт (поворот на 45°) не является трансвёрсальным для большинства кодов и требует дистилляции магических состояний.
**Magic state distillation** - ресурсоёмкий процесс получения высококачественного T-состояния (|T> = (|0> + e^{i*pi/4}|1>)/sqrt(2)) из многих зашумлённых копий. Это доминирующий источник накладных расходов в fault-tolerant алгоритмах: ~100 физических кубитов на одно магическое состояние. Алгоритм Шора для RSA-2048 требует ~4 миллионов физических кубитов.
Если кубит защищён квантовым кодом коррекции ошибок, вычисления становятся абсолютно надёжными
КQC даёт экспоненциальное подавление ошибок, но не нулевую ошибку. Логическая ошибка экспоненциально мала при физической ошибке ниже порога - но ненулевая. И сами операции коррекции ошибок вносят накладные расходы и могут распространять ошибки при неосторожной реализации.
Fault-tolerant не означает error-free. Это гарантия, что ошибки не накапливаются катастрофически - при условии, что физическая ошибка ниже порога и все операции реализованы отказоустойчиво.
Почему T-гейт в fault-tolerant вычислениях значительно дороже H-гейта или CNOT?
Ключевые идеи
- **No-cloning теорема** запрещает прямое копирование кубитов, поэтому квантовая коррекция ошибок использует измерение синдромов, не раскрывающее логическое состояние
- **Surface code** - наиболее реалистичный код: требует только ближайших взаимодействий, distance d=7 защищает от 3 ошибок ценой ~85 физических кубитов на 1 логический
- **Magic state distillation** для T-гейта - главный источник ресурсных накладных расходов: алгоритм Шора для RSA-2048 требует ~4 миллиона физических кубитов
Связанные темы
Квантовая коррекция ошибок - вершина квантовых алгоритмов и теории информации:
- Квантовые ошибки и декогеренция — Предыдущий урок: декогеренция, T1/T2 и модели шума - физический фундамент, с которым борется коррекция ошибок
- Квантовые алгоритмы — Алгоритм Шора - мотивация для развития fault-tolerant вычислений; его ресурсные требования определяют дорожную карту квантового железа
Вопросы для размышления
- Почему существование порога отказоустойчивости является нетривиальным математическим результатом - какие именно предположения обеспечивают его существование?
- Если бы физическая ошибка превышала порог ~1%, был бы возможен квантовый компьютер вообще - или это фундаментальный запрет?
- Какое из трёх направлений улучшения - более низкая физическая ошибка, более высокий порог кода или более эффективная дистилляция - даст наибольший практический выигрыш в ближайшие 10 лет?