Линейные оптические квантовые вычисления или линейные оптические квантовые вычисления ( LOQC ), также фотонные квантовые вычисления (PQC) — это парадигма квантовых вычислений , позволяющая (при определенных условиях, описанных ниже) универсальные квантовые вычисления . LOQC использует фотоны в качестве носителей информации, в основном использует линейные оптические элементы или оптические инструменты (включая обратные зеркала и волновые пластины ) для обработки квантовой информации и использует детекторы фотонов и квантовую память для обнаружения и хранения квантовой информации. [1] [2] [3]
Хотя существует множество других реализаций для квантовой обработки информации (QIP) и квантовых вычислений, оптические квантовые системы являются видными кандидатами, поскольку они связывают квантовые вычисления и квантовую коммуникацию в одной структуре. В оптических системах для квантовой обработки информации единица света в заданном режиме — или фотон — используется для представления кубита . Суперпозиции квантовых состояний могут быть легко представлены, зашифрованы , переданы и обнаружены с помощью фотонов. Кроме того, линейные оптические элементы оптических систем могут быть простейшими строительными блоками для реализации квантовых операций и квантовых вентилей . Каждый линейный оптический элемент эквивалентно применяет унитарное преобразование к конечному числу кубитов. Система конечных линейных оптических элементов создает сеть линейной оптики, которая может реализовать любую квантовую схему цепи или квантовую сеть на основе модели квантовой цепи. Квантовые вычисления с непрерывными переменными также возможны в рамках схемы линейной оптики. [4]
Универсальность 1- и 2-битных вентилей для реализации произвольных квантовых вычислений была доказана. [5] [6] [7] [8] Операции с унитарными матрицами ( ) могут быть реализованы только с использованием зеркал, расщепителей луча и фазовращателей [9] (это также отправная точка бозонной выборки и анализа вычислительной сложности для LOQC). Это указывает на то, что каждый оператор с входами и выходами может быть построен с помощью линейных оптических элементов. Исходя из причины универсальности и сложности, LOQC обычно использует только зеркала, расщепители луча, фазовращатели и их комбинации, такие как интерферометры Маха-Цендера со сдвигами фаз, для реализации произвольных квантовых операторов . При использовании недетерминированной схемы этот факт также подразумевает, что LOQC может быть ресурсоемким с точки зрения количества оптических элементов и временных шагов, необходимых для реализации определенного квантового вентиля или схемы, что является основным недостатком LOQC.
Операции через линейные оптические элементы (в данном случае светоделители, зеркала и фазовращатели) сохраняют статистику фотонов входного света. Например, когерентный (классический) входной свет производит когерентный выходной свет; суперпозиция входных квантовых состояний дает выходное квантовое состояние света . [3] По этой причине люди обычно используют случай с источником одного фотона для анализа эффекта линейных оптических элементов и операторов. Многофотонные случаи могут подразумеваться посредством некоторых статистических преобразований.
Внутренняя проблема использования фотонов в качестве носителей информации заключается в том, что фотоны почти не взаимодействуют друг с другом. Это потенциально вызывает проблему масштабируемости для LOQC, поскольку нелинейные операции трудно реализовать, что может увеличить сложность операторов и, следовательно, может увеличить ресурсы, необходимые для реализации заданной вычислительной функции. Один из способов решения этой проблемы — ввести нелинейные устройства в квантовую сеть. Например, эффект Керра можно применить в LOQC для создания однофотонного управляемого НЕ и других операций. [10] [11]
Считалось, что добавление нелинейности в линейную оптическую сеть было достаточным для реализации эффективных квантовых вычислений. [12] Однако реализация нелинейных оптических эффектов является сложной задачей. В 2000 году Книлл, Лафламм и Милберн доказали, что возможно создание универсальных квантовых компьютеров исключительно с помощью линейных оптических инструментов. [2] Их работа стала известна как «схема KLM» или « протокол KLM », которая использует линейные оптические элементы, источники одиночных фотонов и детекторы фотонов в качестве ресурсов для построения схемы квантовых вычислений, включающей только вспомогательные ресурсы, квантовые телепортации и исправления ошибок . Она использует другой способ эффективных квантовых вычислений с помощью линейных оптических систем и способствует нелинейным операциям исключительно с помощью линейных оптических элементов. [3]
По своей сути схема KLM индуцирует эффективное взаимодействие между фотонами, выполняя проективные измерения с помощью фотодетекторов , что попадает в категорию недетерминированных квантовых вычислений. Она основана на нелинейном сдвиге знака между двумя кубитами, который использует два вспомогательных фотона и пост-селекцию. [13] Она также основана на демонстрациях того, что вероятность успеха квантовых вентилей может быть сделана близкой к единице, используя запутанные состояния, подготовленные недетерминированным образом, и квантовую телепортацию с однокубитными операциями [14] [15] В противном случае, без достаточно высокого процента успеха одного квантового вентиля, может потребоваться экспоненциальное количество вычислительных ресурсов. Между тем, схема KLM основана на том факте, что надлежащее квантовое кодирование может сократить ресурсы для получения точно закодированных кубитов эффективно по отношению к достигнутой точности и может сделать LOQC отказоустойчивым для потери фотонов, неэффективности детектора и фазовой декогеренции . В результате LOQC может быть надежно реализован с помощью схемы KLM с достаточно низкими требованиями к ресурсам, что обеспечивает практическую масштабируемость, что делает его такой же многообещающей технологией для QIP, как и другие известные реализации.
Более ограниченная модель выборки бозонов была предложена и проанализирована Ааронсоном и Архиповым в 2010 году. [16] Она не считается универсальной, [16] но все же может решать задачи, которые, как считается, выходят за рамки возможностей классических компьютеров, такие как задача выборки бозонов . 3 декабря 2020 года группа под руководством китайского физика Пань Цзяньвэя (潘建伟) и Лу Чаояна (陆朝阳) из Университета науки и технологий Китая в Хэфэе , провинция Аньхой, представила свои результаты в журнал Science, в которых они решили задачу, которая практически не поддается решению ни одному классическому компьютеру; тем самым доказав квантовое превосходство своего квантового компьютера на основе фотонов под названием Jiu Zhang Quantum Computer (九章量子计算机). [17] Задача выборки бозонов была решена за 200 секунд, они подсчитали, что китайскому суперкомпьютеру Sunway TaihuLight потребуется 2,5 миллиарда лет, чтобы решить ее — квантовое превосходство около 10^14. Цзю Чжан был назван в честь старейшего сохранившегося в Китае математического текста (Jiǔ zhāng suàn shù) «Девять глав о математическом искусстве» [18]
Критерии ДиВинченцо для квантовых вычислений и QIP [19] [20] показывают, что универсальная система для QIP должна удовлетворять как минимум следующим требованиям:
В результате использования фотонов и линейных оптических схем, в целом, системы LOQC могут легко удовлетворять условиям 3, 6 и 7. [3] В следующих разделах основное внимание уделяется реализациям подготовки квантовой информации, считывания, обработки, масштабируемости и исправления ошибок, чтобы обсудить преимущества и недостатки LOQC как кандидата для QIP.
Кубит является одной из фундаментальных единиц QIP. Состояние кубита , которое может быть представлено как, является суперпозиционным состоянием , которое, если измеряется в ортонормальном базисе , имеет вероятность нахождения в состоянии и вероятность нахождения в состоянии, где — условие нормировки. Оптическая мода — это различимый оптический канал связи, который обычно помечается индексами квантового состояния. Существует много способов определения различимых оптических каналов связи. Например, набор мод может быть различной поляризацией света, которая может быть выделена с помощью линейных оптических элементов, различными частотами или комбинацией двух приведенных выше случаев.
В протоколе KLM каждый из фотонов обычно находится в одном из двух режимов, и режимы различаются между фотонами (вероятность того, что режим занят более чем одним фотоном, равна нулю). Это не так только при реализациях управляемых квантовых вентилей, таких как CNOT. Когда состояние системы такое, как описано, фотоны можно различать, поскольку они находятся в разных режимах, и, следовательно, состояние кубита можно представить с помощью одного фотона в двух режимах, вертикальном (V) и горизонтальном (H): например, и . Состояния, определяемые через занятие режимов, принято называть состояниями Фока .
В бозонной выборке фотоны не различаются и, следовательно, не могут напрямую представлять состояние кубита. Вместо этого мы представляем состояние кубита всей квантовой системы, используя фоковские состояния мод, которые заняты неразличимыми одиночными фотонами (это -уровневая квантовая система).
Чтобы подготовить желаемое многофотонное квантовое состояние для LOQC, сначала требуется однофотонное состояние. Поэтому будут использоваться нелинейные оптические элементы , такие как однофотонные генераторы и некоторые оптические модули. Например, оптическое параметрическое преобразование вниз может использоваться для условной генерации состояния в канале вертикальной поляризации в момент времени (нижние индексы игнорируются для этого случая с одним кубитом). Используя условный однофотонный источник, выходное состояние гарантируется, хотя для этого может потребоваться несколько попыток (в зависимости от процента успеха). Совместное многокубитное состояние может быть подготовлено аналогичным образом. В общем случае произвольное квантовое состояние может быть сгенерировано для QIP с надлежащим набором источников фотонов.
Для достижения универсальности квантовых вычислений LOQC должен быть способен реализовать полный набор универсальных вентилей . Это может быть достигнуто в протоколе KLM, но не в модели выборки бозонов.
Игнорируя коррекцию ошибок и другие проблемы, основной принцип реализации элементарных квантовых вентилей с использованием только зеркал, расщепителей луча и фазовращателей заключается в том, что с помощью этих линейных оптических элементов можно построить любую произвольную унитарную операцию с 1 кубитом; другими словами, эти линейные оптические элементы поддерживают полный набор операторов на любом отдельном кубите.
Унитарная матрица, связанная с делителем луча, имеет вид:
где и определяются амплитудой отражения и амплитудой пропускания (соотношение будет дано позже для более простого случая). Для симметричного светоделителя, имеющего фазовый сдвиг при унитарном условии преобразования и , можно показать, что
что представляет собой вращение состояния отдельного кубита вокруг оси на величину в сфере Блоха .
Зеркало — это особый случай, когда коэффициент отражения равен 1, так что соответствующий унитарный оператор представляет собой матрицу вращения, заданную как
Для большинства случаев использования зеркал в QIP угол падения .
Аналогично, оператор фазового сдвига ассоциируется с унитарным оператором, описываемым , или, если записан в формате 2-mode
что эквивалентно повороту вокруг оси.
Поскольку любые два вращения вдоль ортогональных вращающихся осей могут генерировать произвольные вращения в сфере Блоха, можно использовать набор симметричных светоделителей и зеркал для реализации произвольных операторов для QIP. На рисунках ниже приведены примеры реализации вентиля Адамара и вентиля Паули-X (НЕ-вентиль) с использованием светоделителей (изображенных как прямоугольники, соединяющие два набора пересекающихся линий с параметрами и ) и зеркал (изображенных как прямоугольники, соединяющие два набора пересекающихся линий с параметром ).
На рисунках выше кубит кодируется с использованием двух модовых каналов (горизонтальные линии): представляет фотон в верхней моде и представляет фотон в нижней моде.
В действительности, сборка целой кучи (возможно, порядка [21] ) светоделителей и фазовращателей в оптическом экспериментальном столе является сложной и нереалистичной. Чтобы сделать LOQC функциональным, полезным и компактным, одним из решений является миниатюризация всех линейных оптических элементов, источников фотонов и детекторов фотонов и их интеграция в чип. При использовании полупроводниковой платформы источники одиночных фотонов и детекторы фотонов могут быть легко интегрированы. Для разделения мод были интегрированы упорядоченные волноводные решетки (AWG), которые обычно используются в качестве оптических (де)мультиплексоров в мультиплексировании с разделением по длине волны (WDM). В принципе, светоделители и другие линейные оптические элементы также могут быть миниатюризированы или заменены эквивалентными элементами нанофотоники . Некоторый прогресс в этих начинаниях можно найти в литературе, например, в ссылках. [22] [23] [24] В 2013 году была продемонстрирована первая интегральная фотонная схема для квантовой обработки информации с использованием фотонно-кристаллического волновода для реализации взаимодействия между направляемым полем и атомами. [25]
Преимущество протокола KLM над моделью выборки бозонов заключается в том, что, хотя протокол KLM является универсальной моделью, выборка бозонов не считается универсальной. С другой стороны, кажется, что проблемы масштабируемости в выборке бозонов более управляемы, чем в протоколе KLM.
В бозонной выборке допускается только одно измерение, измерение всех мод в конце вычисления. Единственная проблема масштабируемости в этой модели возникает из-за требования, чтобы все фотоны прибывали на детекторы фотонов в течение достаточно короткого интервала времени и с достаточно близкими частотами. [16]
В протоколе KLM есть недетерминированные квантовые вентили, которые необходимы для универсальности модели. Они основаны на телепортации вентилей, где несколько вероятностных вентилей готовятся в автономном режиме, а дополнительные измерения выполняются в середине схемы. Эти два фактора являются причиной дополнительных проблем масштабируемости в протоколе KLM.
В протоколе KLM желаемое начальное состояние — это состояние, в котором каждый из фотонов находится в одной из двух мод, а вероятность того, что мода занята более чем одним фотоном, равна нулю. Однако в бозонной выборке желаемое начальное состояние является конкретным, требуя, чтобы первые моды были заняты каждым из одного фотона [16] ( — число фотонов, — число мод), а все остальные состояния были пустыми.
Другая, более ранняя модель, которая опирается на представление нескольких кубитов одним фотоном, основана на работе C. Adami и NJ Cerf. [1] Используя как местоположение, так и поляризацию фотонов, один фотон в этой модели может представлять несколько кубитов; однако, в результате, CNOT-вентиль может быть реализован только между двумя кубитами, представленными одним и тем же фотоном.
На рисунках ниже приведены примеры создания эквивалентных вентилей Адамара и CNOT с использованием светоделителей (изображены в виде прямоугольников, соединяющих два набора пересекающихся линий с параметрами и ) и фазовращателей (изображены в виде прямоугольников на линии с параметром ).
В оптической реализации вентиля CNOT поляризация и местоположение являются управляющим и целевым кубитом соответственно.