Квантовый гейт

Квантовый гейт (квантовый вентиль) — это базовый логический элемент квантовых вычислений, который выполняет унитарное преобразование над одним или несколькими кубитами. В отличие от классических логических вентилей (например, AND, OR, NOT), которые оперируют битами (0 или 1), квантовые гейты изменяют квантовое состояние кубитов, включая состояния суперпозиции и запутанности, что лежит в основе экспоненциального ускорения некоторых вычислительных задач. Квантовые гейты являются аналогом классических логических схем, но подчиняются законам квантовой механики, в частности, принципу обратимости и линейности.

Математическое представление

Любой квантовый гейт описывается унитарной матрицей \(U\), которая удовлетворяет условию \(U^{\dagger}U = I\), где \(U^{\dagger}\) — эрмитово сопряжённая матрица, а \(I\) — единичная матрица. Унитарность гарантирует сохранение нормы вектора состояния (вероятности) и обратимость преобразования: каждый квантовый гейт имеет обратный гейт, который отменяет его действие. Действие гейта на состояние \(|\psi\rangle\) записывается как \(|\psi'\rangle = U|\psi\rangle\).

Для одного кубита, состояние которого описывается вектором \(\alpha|0\rangle + \beta|1\rangle\) (где \(\alpha, \beta\) — комплексные числа, \(|\alpha|^2 + |\beta|^2 = 1\)), гейт представляется матрицей размером \(2 \times 2\). Для двух кубитов — матрицей \(4 \times 4\), и так далее. Размерность матрицы растёт экспоненциально с числом кубитов: для \(n\) кубитов требуется матрица \(2^n \times 2^n\).

Основные типы квантовых гейтов

Однокубитовые гейты

Эти гейты действуют на один кубит и изменяют его состояние. Наиболее важные из них:

• Гейт Паули X (аналог классического NOT): переворачивает состояние кубита: \(|0\rangle \rightarrow |1\rangle\), \(|1\rangle \rightarrow |0\rangle\). Матрица: \(\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}\).
• Гейт Паули Y: комбинирует поворот и изменение фазы: \(X \cdot Z \cdot i\). Матрица: \(\begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}\).
• Гейт Паули Z: меняет знак фазы состояния \(|1\rangle\): \(|0\rangle \rightarrow |0\rangle\), \(|1\rangle \rightarrow -|1\rangle\). Матрица: \(\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}\).
• Гейт Адамара (H): создаёт суперпозицию: \(|0\rangle \rightarrow \frac{1}{\sqrt{2}}(|0\rangle + |1\rangle)\), \(|1\rangle \rightarrow \frac{1}{\sqrt{2}}(|0\rangle - |1\rangle)\). Матрица: \(\frac{1}{\sqrt{2}}\begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}\). Это один из ключевых гейтов для квантовых алгоритмов.
• Фазовый гейт (S): сдвигает фазу состояния \(|1\rangle\) на \(e^{i\pi/2}\): \(|0\rangle \rightarrow |0\rangle\), \(|1\rangle \rightarrow i|1\rangle\). Матрица: \(\begin{pmatrix} 1 & 0 \\ 0 & i \end{pmatrix}\).
• Гейт T (π/8-гейт): сдвигает фазу на \(e^{i\pi/4}\): \(|0\rangle \rightarrow |0\rangle\), \(|1\rangle \rightarrow e^{i\pi/4}|1\rangle\). Матрица: \(\begin{pmatrix} 1 & 0 \\ 0 & e^{i\pi/4} \end{pmatrix}\).

Многокубитовые гейты

Эти гейты действуют на два и более кубита и могут создавать квантовую запутанность — состояние, при котором кубиты не могут быть описаны независимо друг от друга.

• CNOT (контролируемый NOT): классический двухкубитовый гейт. Если управляющий кубит равен \(|1\rangle\), то на целевом кубите выполняется операция NOT; если управляющий кубит равен \(|0\rangle\), целевой кубит остаётся без изменений. Матрица: \(\begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \end{pmatrix}\). Гейт CNOT является основой для создания запутанных состояний (например, состояний Белла).
• Гейт SWAP: меняет состояния двух кубитов местами. Матрица: \(\begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}\).
• Гейт Тоффоли (CCNOT): трёхкубитовый гейт с двумя управляющими и одним целевым кубитом. Операция NOT выполняется на целевом кубите только в том случае, если оба управляющих кубита находятся в состоянии \(|1\rangle\). Этот гейт является универсальным для классических вычислений (может реализовать любую булеву функцию) и обратим.
• Гейт Фредкина (CSWAP): трёхкубитовый гейт, который меняет местами два целевых кубита, если управляющий кубит равен \(|1\rangle\). Также обратим и универсален для классических вычислений.

Универсальные наборы гейтов

Для реализации произвольного квантового алгоритма достаточно конечного набора базовых гейтов, который называется универсальным. Известно несколько таких наборов:

• Набор Клиффорда + T: включает гейты Адамара, S, CNOT и T. Этот набор удобен для коррекции ошибок и используется во многих квантовых процессорах.
• Набор из гейтов Тоффоли и Адамара: теоретически достаточен, но менее эффективен на практике.
• Набор из гейта CNOT и произвольных однокубитовых вращений: любой однокубитовый гейт может быть аппроксимирован с заданной точностью комбинацией гейтов из конечного набора (например, из набора Клиффорда + T).

Реализация на физических платформах

Физическая реализация квантовых гейтов зависит от типа используемой квантовой технологии. Основные подходы:

• Сверхпроводящие кубиты: гейты реализуются с помощью микроволновых импульсов, которые резонансно взаимодействуют с кубитами. Например, гейт X выполняется импульсом определённой длительности и амплитуды, а гейт CNOT — с помощью кросс-резонансного взаимодействия.
• Ионные ловушки: кубиты кодируются в энергетических уровнях ионов, удерживаемых электромагнитными полями. Гейты выполняются лазерными импульсами, которые возбуждают ионы и создают запутанность через коллективные колебательные моды.
• Фотонные системы: кубиты кодируются в поляризации или временных модах фотонов. Гейты реализуются с помощью линейных оптических элементов (поляризаторов, фазовых пластинок, светоделителей) и нелинейных эффектов.
• Квантовые точки: кубиты — спины электронов или дырок в полупроводниковых наноструктурах. Гейты управляются электрическими или магнитными полями.
• Топологические кубиты: теоретическая концепция, основанная на анионах в двумерных системах. Гейты реализуются путём переплетения (браидинга) анионов, что обеспечивает устойчивость к локальным возмущениям. Экспериментальная реализация находится на ранней стадии.

Ограничения и проблемы

• Декогеренция: квантовые состояния чрезвычайно чувствительны к взаимодействию с окружающей средой, что приводит к потере квантовой информации. Время когерентности ограничивает число последовательно выполняемых гейтов.
• Ошибки вентилей: из-за несовершенства управления и шума реальные гейты не являются идеально унитарными. Точность современных однокубитовых гейтов достигает 99,9%, двухкубитовых — 99,5% и выше, но для масштабирования требуется ещё более высокая точность.
• Квантовая коррекция ошибок: для построения надёжного квантового компьютера необходимо использовать логические кубиты, состоящие из множества физических, и применять коды коррекции ошибок. Это требует огромного числа дополнительных гейтов и кубитов.
• Масштабируемость: создание квантового процессора с тысячами и миллионами кубитов, способного выполнять сложные алгоритмы, остаётся серьёзной инженерной задачей.

Применение

Квантовые гейты являются строительными блоками для всех известных квантовых алгоритмов, включая:

• Алгоритм Шора: факторизация больших чисел, что угрожает безопасности современных криптосистем (RSA). Использует гейты Адамара, CNOT и квантовое преобразование Фурье.
• Алгоритм Гровера: поиск в неструктурированной базе данных с квадратичным ускорением. Основан на гейтах Адамара, X, Z и CNOT.
• Квантовое моделирование: симуляция квантовых систем (молекул, материалов) с использованием гейтов, аппроксимирующих эволюцию гамильтониана.
• Квантовое машинное обучение: алгоритмы, использующие квантовые гейты для обработки данных, например, вариационные квантовые схемы (VQE, QAOA).

История

Концепция квантовых гейтов была предложена в 1980-х годах, вскоре после того, как Ричард Фейнман (1982) и Дэвид Дойч (1985) заложили основы квантовых вычислений. Дойч ввёл понятие квантового логического вентиля и показал, что квантовые компьютеры могут решать задачи, недоступные классическим. В 1994 году Питер Шор разработал алгоритм факторизации, что стимулировало активные исследования в области физической реализации квантовых гейтов. Первые экспериментальные демонстрации однокубитовых гейтов были выполнены в 1990-х годах на ионных ловушках и ядерном магнитном резонансе (ЯМР). В 2000-х годах началась разработка масштабируемых сверхпроводящих кубитов, а в 2010-х — создание первых много кубитовых процессоров (например, IBM, Google).

Источники

• Feynman, R. P. (1982). "Simulating physics with computers". International Journal of Theoretical Physics.
• Deutsch, D. (1985). "Quantum theory, the Church–Turing principle and the universal quantum computer". Proceedings of the Royal Society of London.
• Nielsen, M. A., & Chuang, I. L. (2010). "Quantum Computation and Quantum Information". Cambridge University Press.
• Preskill, J. (2018). "Quantum Computing in the NISQ era and beyond". Quantum.
• Arute, F. et al. (2019). "Quantum supremacy using a programmable superconducting processor". Nature.