Курс «Квантовые вычисления». Глава 10. Кубит в железе: декогеренция, шум, платформы

Курс «Квантовые вычисления»

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

10.1. Что требуется от кубита

Классический список требований к физической реализации квантового компьютера — критерии ДиВинченцо (2000). Нужна физическая система, которая:

1. содержит хорошо определённые двухуровневые подсистемы (кубиты) и масштабируется по их числу;
2. инициализируется в известном состоянии (например, все кубиты в |0⟩);
3. сохраняет когерентность существенно дольше длительности вентиля;
4. допускает универсальный набор вентилей (глава 4) с высокой точностью;
5. допускает измерение отдельных кубитов.

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

10.2. Декогеренция и модель ошибок

Кубит взаимодействует с окружением: электромагнитными и тепловыми флуктуациями, дефектами материала, движением атомов, излучением и управляющей аппаратурой. В результате система запутывается с неконтролируемыми степенями свободы, и её локальное состояние теряет когерентность. Два стандартных времени характеризуют разные процессы:

• T₁ (релаксация) — характерное время обмена энергией с окружением, обычно наблюдаемого как распад |1⟩ в |0⟩;
• T₂ (декогеренция поперечной компоненты) — время затухания относительной фазы. В стандартной марковской модели 1/T₂ = 1/(2T₁) + 1/T_φ, где T_φ описывает чистую дефазировку, поэтому T₂ ≤ 2T₁.

Любой линейный оператор ошибки одного кубита раскладывается по базису Паули {I,X,Y,Z}. Это не означает, что реальный шум буквально выбирает одну из четырёх матриц: ошибки могут быть когерентными и коррелированными. Однако измерение синдрома в стабилизаторном коде проецирует такие суперпозиции на дискретные классы ошибок, что делает базис Паули центральным для главы 11. Ошибка Z не меняет вероятности немедленного измерения в вычислительном базисе, но изменяет относительную фазу и потому последующую интерференцию. В деполяризующей модели с полной вероятностью p применяют X, Y или Z, обычно каждую с вероятностью p/3.

Ошибается и управление: неточная калибровка создаёт когерентные пере- и недовороты, измеритель путает исходы, связь между соседями вызывает перекрёстные помехи, а выход за вычислительные уровни — утечку. Шум может зависеть от времени и контекста, поэтому одно усреднённое значение ошибки не описывает устройство. Двухкубитные операции обычно труднее однокубитных, но показатели разных платформ и методы их оценки нельзя напрямую смешивать в общий «рейтинг».

10.3. Метрики качества

• Достоверность (fidelity) сравнивает реальную операцию или состояние с идеальным. Величину 1−F иногда называют инфиделити, но она не является универсальной «вероятностью ошибки»: результат зависит от определения fidelity, усреднения и типа шума, а одинаковая средняя fidelity может скрывать разную опасность когерентных и стохастических ошибок.
• T₁, T₂ и длительность операций дают грубую шкалу доступного времени, но отношение T₂/t_gate не равно допустимой глубине. Ошибки вентилей, простои, измерение, сброс, параллельное управление и корреляции могут доминировать раньше.
• Системные тесты — randomized benchmarking, cycle benchmarking, quantum volume и прикладные схемы — оценивают разные аспекты. Сравнивать следует полный набор: связность, скорость, распределение ошибок, стабильность калибровки, утечку, измерение и выполнение целевой схемы.
• Логическая ошибка на цикл после коррекции — более непосредственная метрика масштабирования. Главный признак работы ниже порога: увеличение расстояния кода уменьшает, а не увеличивает логическую ошибку.

10.4. Платформы

Сверхпроводящие схемы. Трансмон — нелинейная сверхпроводящая схема: джозефсоновский переход превращает её в ангармонический осциллятор, два нижних уровня которого кодируют кубит. Отдельный микроволновый резонатор связывают с кубитом для считывания его состояния. Сильные стороны — короткие, обычно десятки или сотни наносекунд, операции, развитое микроволновое управление и полупроводниковое изготовление. Ограничения — криогеника, локальная связность, разброс параметров, утечка и коррелированные события. На процессорах Willow были показаны поверхностные коды расстояний 5 и 7, у которых логическая ошибка уменьшалась при росте кода; расстояние 7 использовало 101 физический кубит.

Ионы в ловушках. Кубит кодируют во внутренних уровнях одинаковых атомных ионов, удерживаемых электромагнитным полем; запутывающие операции используют коллективные колебательные моды. Платформа даёт долгую когерентность, высокую точность и широкую связность внутри регистра, но операции и измерение медленнее, а длинные цепочки усложняют управление модами. Масштабирование строят на сегментированных ловушках, переносе ионов и фотонных межмодульных связях.

Нейтральные атомы. Атомы удерживают в оптических пинцетах, переставляют и связывают ридберговским взаимодействием. В 2025 году была продемонстрирована решётка из 6100 удерживаемых атомных кубитов с длительным хранением и глобальным управлением; это не означает 6100 одновременно работающих высокоточных двухкубитных вентилей. Отдельные эксперименты показали ниже-пороговую коррекцию и набор отказоустойчивых логических операций на меньших массивах. Основные сложности — потери атомов, локальное адресование, точность запутывающих операций и цикл загрузки и измерения.

Фотоника. Фотоны удобны для передачи и слабо взаимодействуют с окружением, но те же свойства затрудняют детерминированные двухкубитные операции. Линейно-оптические схемы используют измерения, вспомогательные фотоны и переключение; потери и эффективность источников и детекторов приводят к большой избыточности. Часть оптики работает при комнатной температуре, тогда как высокоэффективные детекторы нередко требуют криогеники.

Топологический подход. Предлагается кодировать информацию нелокально, например в паритетах майорановских нулевых мод, чтобы локальные возмущения подавлялись физически. Это нужно отличать от поверхностного кода, который является топологическим кодом поверх обычных кубитов. После заявлений Microsoft о Majorana 1 и Majorana 2 экспериментальная интерпретация остаётся предметом спора: опубликованные измерения демонстрируют необходимые методы паритетного считывания и признаки материала, но общепринятой демонстрации защищённого универсального топологического кубита пока нет.

Ни одна платформа не доминирует по всем координатам. Быстрые локальные операции, высокоточная широкая связность, перестраиваемые большие массивы и низкопотерная связь полезны для разных архитектур; итог определит стоимость логических операций в масштабируемой системе, а не отдельный физический рекорд.

10.5. NISQ и переход к ранней отказоустойчивости

NISQ (Noisy Intermediate-Scale Quantum) — введённое Джоном Прескиллом название устройств, достаточно сложных для интересных многокубитных экспериментов, но не способных выполнять длинные алгоритмы с полноценной коррекцией ошибок. У термина нет порога в 50 кубитов или фиксированной максимальной глубины: классическая трудность зависит от связности, типа схемы, шума и требуемой точности.

На таких устройствах исследуют VQE, QAOA, квантовое обучение, динамику многих тел и небольшие демонстрации алгоритмов. Подавление ошибок оценивает безошумный результат из набора шумных запусков, например экстраполяцией к нулевому шуму или вероятностным обращением канала. Оно не создаёт логический кубит, а его выборочная стоимость в худшем случае растёт экспоненциально с эффективным объёмом шума. Для малых и средних схем методы могут быть полезны, но не заменяют коррекцию в криптографически масштабном Шоре или Гровере.

Граница эпох уже не бинарна. С одной стороны, заявления о прикладном преимуществе шумных устройств зависят от выбранной задачи и классического базиса и остаются предметом активной проверки. С другой — на сверхпроводящих и нейтрально-атомных платформах экспериментально показано ниже-пороговое уменьшение логической ошибки и отдельные отказоустойчивые логические операции. До машины с тысячами надёжных логических кубитов и длинной универсальной программой остаётся большой разрыв; следующая глава объясняет, какие условия позволяют его сокращать.

Итоги главы

• Кубит должен быть изолирован и управляем одновременно — все платформы суть разные компромиссы этого противоречия.
• Декогеренция характеризуется временами T₁ (релаксация) и T₂ (дефазировка); произвольные ошибки раскладываются в базис {I, X, Y, Z}, и фазовая ошибка Z — специфически квантовая.
• Fidelity, времена когерентности и системные бенчмарки измеряют разные свойства; для масштабирования особенно важна логическая ошибка и её уменьшение с расстоянием кода.
• Сверхпроводящие схемы, ионы, нейтральные атомы, фотоны и топологические предложения имеют разные профили скорости, связности, точности и масштабируемости.
• Подавление ошибок помогает ограниченным шумным схемам, но длинные криптографические алгоритмы требуют логических кубитов и отказоустойчивых операций.

Упражнения

1. Кубит имеет T₂ = 100 мкс, двухкубитный вентиль длится 50 нс. Оцените «бюджет» операций и сравните с потребностями алгоритма Шора для RSA-2048 (~10¹⁰ операций, глава 7). На сколько порядков не хватает?
2. Объясните, почему ошибка Z невидима при измерении в вычислительном базисе, но разрушает алгоритм Гровера. Указание: проследите, что сделает Z, случившийся посреди итераций, с геометрией вращения из главы 8.
3. Примените Z-ошибку к состояниям |+⟩ и |−⟩. В каком базисе фазовая ошибка выглядит как битовая? Этот факт станет ключом к коррекции фазовых ошибок в главе 11.
4. Предположим, что на одной платформе вентили в тысячу раз медленнее, но их стохастическая ошибка в десять раз меньше. Какие дополнительные данные нужны, чтобы сравнить время до правильного ответа? Учтите последовательную природу Гровера, возможность коррекции ошибок и параллельное выполнение.
5. Машина A: 1000 кубитов и стохастическая ошибка двухкубитного вентиля 10⁻². Машина B: 50 кубитов и ошибка 10⁻⁴. Схема использует 30 кубитов и содержит 15 000 двухкубитных вентилей. В упрощённой независимой модели оцените вероятность прогона без такой ошибки как (1−ε)¹⁵⁰⁰⁰. Почему этот расчёт нельзя напрямую перенести на когерентный и коррелированный шум?

Ответы и указания. 1: отношение времён равно примерно 2000, тогда как учебной оценке Шора нужно порядка 10¹⁰ операций — разрыв около 5·10⁶, или 6,7 порядка; отношение времён не учитывает ошибки самих вентилей и потому является верхней оценкой. 2: отдельный Z меняет относительные знаки большого числа базисных амплитуд и в общем случае выводит состояние из двумерного подпространства идеального вращения Гровера; следующие отражения усиливают уже неверную структуру. 3: Z|+⟩=|−⟩ и Z|−⟩=|+⟩, поэтому в базисе Адамара Z действует как битовый переворот; HZH=X. 4: для длинного последовательного алгоритма важны и скорость, и суммарная логическая ошибка; сравнивать нужно ожидаемое время до правильного результата, включая повторы и коррекцию, а не одну характеристику. 5: машина A даёт примерно 0,99¹⁵⁰⁰⁰≈3·10⁻⁶⁶, машина B — 0,9999¹⁵⁰⁰⁰≈0,223. Независимое стохастическое произведение не описывает систематические повороты, всплески, перекрёстные корреляции и зависимость ошибки от соседних операций.

Литература к главе

1. D. DiVincenzo, "The Physical Implementation of Quantum Computation," 2000. arxiv.org/abs/quant-ph/0002077
2. J. Preskill, "Quantum Computing in the NISQ era and beyond," 2018. arxiv.org/abs/1801.00862
3. M. Kjaergaard et al., "Superconducting Qubits: Current State of Play," Annu. Rev. Condens. Matter Phys. 11, 2020. arxiv.org/abs/1905.13641
4. C. Bruzewicz et al., "Trapped-Ion Quantum Computing: Progress and Challenges," Appl. Phys. Rev. 6, 2019. arxiv.org/abs/1904.04178
5. Google Quantum AI and Collaborators, "Quantum Error Correction Below the Surface Code Threshold," Nature 638, 2025. doi.org/10.1038/s41586-024-08449-y
6. S. J. Evered et al., "A Fault-tolerant Neutral-atom Architecture for Universal Quantum Computation," Nature, 2025. doi.org/10.1038/s41586-025-09848-5
7. C. M. Holland et al., "A Tweezer Array with 6,100 Highly Coherent Atomic Qubits," Nature, 2025. doi.org/10.1038/s41586-025-09641-4

Предыдущая глава || Содержание курса || Следующая глава