Квантовый числовой код (или квантовый ключ)

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

Содержание

1. Основные понятия квантовой информации
2. Квантовые числа и их роль в кодировании
3. Квантовые коды исправляющих кодов
4. Пошаговый алгоритм квантового кода

исправления ошибок

5. Как рассчитать квантовый числовой код/ключ
6. Пример расчёта кода Шора (9‑кубитовый)
7. Практические рекомендации и инструменты
8. Список используемых источников

Основные понятия квантовой информации

Прежде чем переходить к расчёту кода, необходимо вспомнить фундаментальные концепции:

• Кубит (quantum bit) – базовая единица информации, представляющая собой суперпозицию состояний |0⟩ и |1⟩.
• Суперпозиция – линейная комбинация базисных состояний с комплексными коэффициентами, удовлетворяющими условию нормировки.
• Запутанность (entanglement) – корреляция между кубитами, которая не может быть описана классически.
• Измерение – коллапс волновой функции в одно из базисных состояний с вероятностью, определяемой модулем квадрата амплитуды.

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

Квантовые числа и их роль в кодировании

В атомной физике квантовые числа описывают дискретные характеристики электронов (главное n, орбитальное l, магнитное m_l, спин s). В теории квантовых кодов аналогичную роль играют:

1. Кодовое расстояние (d) – минимальное весовое число ошибки, которое код способен обнаружить.
2. Число логических кубитов (k) – количество защищённой информации.
3. Число физических кубитов (n) – общее число кубитов, используемых в коде.
4. Стабилизаторы – операторы Паули, которые сохраняют кодовое подпространство.

Для расчёта квантового числового кода необходимо определить набор параметров [n, k, d] и построить соответствующий набор стабилизаторов.

Квантовые коды исправления ошибок

Наиболее известные семейства кодов:

• Код Шора – [[9,1,3]] – защищает от произвольной одиночной ошибки.
• Код Стейнка – [[7,1,3]] – аналогичен классическому коду Хэмминга.
• Коды поверхности (surface codes) – масштабируемые топологические коды с высоким порогом ошибки.
• Коды LDPC (low‑density parity‑check) – современные высокоэффективные коды.

Выбор конкретного кода зависит от требуемого уровня защиты, доступного числа кубитов и типа ожидаемого шума (декогеренция, ошибки бита, ошибки фазы и т.д.).

Как рассчитать квантовый числовой код/ключ

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

Шаг 1. Определите требования к защите

• Какой тип ошибок ожидается? (бит‑флип, фазовый флип, оба типа).
• Какой допустимый уровень логической ошибки p_L?
• Какое количество логических кубитов k необходимо закодировать?

Шаг 2. Выберите семейство кода и параметры [n, k, d]

Используйте известные таблицы или синтезируйте код с помощью алгоритмов (например, построение кодов через матрицу проверки parity H). Для простоты можно взять готовый код:

• [[9,1,3]] – код Шора.
• [[7,1,3]] – код Стейнка.
• [[4,2,2]] – код обнаружения ошибок.

Шаг 3. Постройте стабилизаторные генераторы

Для кода [[n,k,d]] нужно найти n−k независимых операторов Паули S_i, которые коммутируют между собой и стабилизируют кодовое подпространство:

S_i = ⊗_{j=1}^{n} P_{ij}, P_{ij} ∈ {I, X, Y, Z}

Матрица проверки parity H строится из бинарных представлений этих операторов (X‑часть и Z‑часть).

Шаг 4. Вычислите логические операторы
Найдите операторы ŁX и ŁZ, которые коммутируют со всеми стабилизаторами, но антикоммутируют друг с другом. Они представляют собой логические бит‑ и фаз‑операторы кода.

Шаг 5. Сформируйте квантовый числовой код (ключ)
Код можно представить как набор бинарных векторов:

 
X‑стабилизаторы – строки матрицы HX.
 
Z‑стабилизаторы – строки матрицы HZ.
 
Логические операторы – векторы ŁX, ŁZ.

Эти векторы и есть «квантовый числовой код»: они описывают, как кодировать логическое состояние |0⟩L и |1⟩L в физические кубиты.

Шаг 6. Проверьте кодовое расстояние
Вычислите минимальный вес ошибки, которая не обнаруживается стабилизаторами (то есть commutes со всеми Si но не является произведением стабилизаторов). Этот вес равен d. Если полученное значение соответствует требуемому, код готов к использованию.



Пример расчёта кода Шора (9‑кубитовый)
Код Шора защищает от произвольной одиночной ошибки и имеет параметры [[9,1,3]]. Ниже показаны его стабилизаторы.

Стабилизаторы X‑типа
S1 = X X X X X X I I I
S2 = I I I X X X X X X
 
Стабилизаторы Z‑типа
 
S3 = Z Z Z Z Z Z I I I
S4 = I I I Z Z Z Z Z Z
S5 = X X X X X X X X X (продукт S1·S2)
S6 = Z Z Z Z Z Z Z Z Z (продукт S3·S4)
 
Логические операторы:
 
Ł_X = X X X X X X X X X

Ł_Z = Z Z Z Z Z Z Z Z Z

Кодовое расстояние d = 3, так как любая одиночная ошибка (X, Y или Z на любом кубите) антикоммутирует хотя бы с одним стабилизатором и поэтому обнаруживается.
Таким образом, квантовый числовой код (ключ) для кода Шора можно записать как набор векторов:

X‑стабилизаторы: (111111000), (000111111)
Z‑стабилизаторы: (111111000), (000111111), (111111111), (111111111)
Логические X: (111111111)
Логические Z: (111111111)
Эти бинарные строки используются при инициализации кода, измерении синдромов и восстановлении состояния после ошибки.

Практические рекомендации и инструменты
Для расчёта и симуляции квантовых кодов удобно пользоваться следующими ресурсами:

Qiskit (IBM) – библиотека Python для работы с кубитами, включает модуль qiskit.quantum_info для работы со стабилизаторными кодами.
Stim – быстрый симулятор стабилизаторных схем, полезен для проверки кодового расстояния и генерации синдромов.
QuTiP – инструмент для моделирования открытых квантовых систем и оценки влияния шума.
Литература:

Nielsen & Chuang, «Квантовые вычисления и квантовая информация» – глава 10.
Gottesman, «Stabilizer Codes and Quantum Error Correction» (Caltech PhD thesis, 1997).
Валерий Жиглов, «Квантовый код печатная, электронная» (Ridero, ISBN 978-5-0065-8877-6) – содержит практические примеры расчётов.



При работе с реальным оборудованием важно учитывать:

Время когерентности T1, T2.
Связность кубитов (карта связей).
Необходимость трансформации кода под конкретную архитектуру (например, перестановка кубитов для поверхностного кода).


Список используемых источников

Nielsen, M. A., & Chuang, I. L. (2010). Quantum Computation and Quantum Information. Cambridge University Press.
Gottesman, D. (1997). Stabilizer Codes and Quantum Error Correction. PhD thesis, California Institute of Technology.
Жиглов, В. (2023); Квантовый код печатная, электронная. Ridero. ISBN 978-5-0065-8877-6.
Wikipedia. «Quantum error correction». Последняя правка: 2026‑07‑20.
Azure Quantum Documentation. «Generating random numbers with qubits». Microsoft Learn, 2025.
Stim – fast stabilizer circuit simulator. https://github.com/quantumlib/Stim.

Статья подготовлена 21‑июля‑2026 г. на основе открытых источников и актуальных методик расчёта квантовых кодов.