Линейные оптические квантовые вычисления
Линейные оптические квантовые вычисления или квантовые вычисления с линейной оптикой ( LOQC ), также фотонные квантовые вычисления (PQC) , являются парадигмой квантовых вычислений , позволяющей (при определённых условиях, описанных ниже) универсальные квантовые вычисления . LOQC использует фотоны в качестве носителей информации, в основном использует линейные оптические элементы или оптические инструменты (включая обратные зеркала и волновые пластины ) для обработки квантовой информации , а также использует детекторы фотонов и квантовую память для обнаружения и хранения квантовой информации. [1] [2] [3]
Обзор [ править ]
Хотя существует множество других реализаций квантовой обработки информации (QIP) и квантовых вычислений, оптические квантовые системы являются яркими кандидатами, поскольку они связывают квантовые вычисления и квантовую связь в одной структуре. В оптических системах квантовой обработки информации единица света в данном режиме — фотон — используется для обозначения кубита . Суперпозиции квантовых состояний можно легко представить, зашифровать , передать и обнаружить с помощью фотонов. Кроме того, линейные оптические элементы оптических систем могут быть простейшими строительными блоками для реализации квантовых операций и квантовых вентилей . Каждый линейный оптический элемент эквивалентно применяет унитарное преобразование к конечному числу кубитов. Система конечных линейных оптических элементов образует сеть линейной оптики, которая может реализовать любую квантовую схему или квантовую сеть на основе модели квантовой схемы. Квантовые вычисления с непрерывными переменными также возможны по схеме линейной оптики. [4]
универсальность 1- и 2-битных вентилей для реализации произвольных квантовых вычислений. Доказана [5] [6] [7] [8] До унитарные матричные операции ( ) можно реализовать только с помощью зеркал, светоделителей и фазовращателей. [9] (это также отправная точка выборки бозонов и анализа сложности вычислений для LOQC). Он указывает на то, что каждый оператор с входы и выходные данные могут быть построены с помощью линейные оптические элементы. По причине универсальности и сложности LOQC обычно использует только зеркала, светоделители, фазовращатели и их комбинации, такие как интерферометры Маха – Цендера с фазовыми сдвигами, для реализации произвольных квантовых операторов . При использовании недетерминированной схемы этот факт также означает, что LOQC может быть неэффективным с точки зрения количества оптических элементов и временных шагов, необходимых для реализации определенного квантового вентиля или схемы, что является основным недостатком LOQC.
Операции с помощью линейных оптических элементов (в данном случае светоделителей, зеркал и фазовращателей) сохраняют статистику фотонов входного света. Например, когерентный (классический) световой поток дает когерентный световой поток; суперпозиция входных квантовых состояний дает выход квантового состояния света . [3] По этой причине люди обычно используют случай источника одиночных фотонов для анализа эффекта линейных оптических элементов и операторов. Многофотонные случаи можно выявить с помощью некоторых статистических преобразований.
Основная проблема использования фотонов в качестве носителей информации заключается в том, что фотоны практически не взаимодействуют друг с другом. Это потенциально вызывает проблему масштабируемости LOQC, поскольку нелинейные операции сложно реализовать, что может увеличить сложность операторов и, следовательно, увеличить ресурсы, необходимые для реализации заданной вычислительной функции. Один из способов решить эту проблему — включить в квантовую сеть нелинейные устройства. Например, эффект Керра можно применить в LOQC для выполнения однофотонного управляемого НЕ и других операций. [10] [11]
Протокол KLM [ править ]
Считалось, что добавления нелинейности к линейной оптической сети достаточно для реализации эффективных квантовых вычислений. [12] Однако реализация нелинейно-оптических эффектов является сложной задачей. В 2000 году Нилл, Лафламм и Милберн доказали, что создать универсальные квантовые компьютеры можно исключительно с помощью линейных оптических инструментов. [2] Их работа стала известна как «схема KLM» или « протокол KLM », которая использует линейные оптические элементы, источники одиночных фотонов и детекторы фотонов в качестве ресурсов для построения схемы квантовых вычислений, включающей только вспомогательные ресурсы, квантовую телепортацию и коррекцию ошибок . Он использует другой способ эффективных квантовых вычислений с помощью линейных оптических систем и продвигает нелинейные операции исключительно с линейными оптическими элементами. [3]
По своей сути схема KLM вызывает эффективное взаимодействие между фотонами путем проведения проективных измерений с помощью фотодетекторов , что попадает в категорию недетерминированных квантовых вычислений. Он основан на нелинейном сдвиге знака между двумя кубитами, который использует два вспомогательных фотона и постселекцию. [13] Он также основан на демонстрации того, что вероятность успеха квантовых вентилей можно приблизить к единице, используя запутанные состояния, приготовленные недетерминированно, и квантовую телепортацию с однокубитными операциями. [14] [15] В противном случае, без достаточно высокого уровня успеха одного блока квантовых вентилей, это может потребовать экспоненциального количества вычислительных ресурсов. Между тем, схема KLM основана на том факте, что правильное квантовое кодирование может эффективно сократить ресурсы для получения точно закодированных кубитов по отношению к достигаемой точности и может сделать LOQC отказоустойчивым к потере фотонов, неэффективности детектора и фазовой декогеренции . В результате LOQC может быть надежно реализован через схему KLM с достаточно низкими требованиями к ресурсам, чтобы обеспечить практическую масштабируемость, что делает ее такой же многообещающей технологией для QIP, как и другие известные реализации.
Выборка бозонов [ править ]
Более ограниченная модель выборки бозонов была предложена и проанализирована Ааронсоном и Архиповым в 2010 году. [16] Он не считается универсальным, [16] но все же может решать проблемы, которые, как полагают, находятся за пределами возможностей классических компьютеров, такие как проблема выборки бозонов .3 декабря 2020 года группа под руководством китайского физика Пань Цзяньвэя (潘建伟) и Лу Чаояна (陆朝阳) из Университета науки и технологий Китая в Хэфэе , провинция Аньхой, представила в журнал Science свои результаты, в которых они решили проблему, которая практически неоспорима. любым классическим компьютером; тем самым доказав квантовое превосходство их квантового компьютера на основе фотонов под названием « Квантовый компьютер Цзю Чжан» (九章量子计算机). [17] Проблема выборки бозонов была решена за 200 секунд. По их оценкам, китайскому суперкомпьютеру Sunway TaihuLight потребуется 2,5 миллиарда лет для решения - квантовое превосходство около 10 ^ 14. Цзю Чжан был назван в честь старейшего из сохранившихся математических текстов Китая (Цзиу чжан суан шо). Девять глав математического искусства. [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-режимном формате
- ,
что эквивалентно вращению о -ось.
Поскольку любые два вращения вдоль ортогональных вращающихся осей могут генерировать произвольные вращения в сфере Блоха, можно использовать набор симметричных светоделителей и зеркал для реализации произвольного вращения. операторы для QIP. На рисунках ниже приведены примеры реализации вентиля Адамара и вентиля Паули-X (вентиль НЕ) с использованием светоделителей (показаны в виде прямоугольников, соединяющих два набора пересекающихся линий с параметрами и ) и зеркала (показаны в виде прямоугольников, соединяющих два набора пересекающихся линий с параметром ).
На рисунках выше кубит кодируется с использованием двух режимных каналов (горизонтальные линии): представляет фотон в верхней моде, а представляет фотон в нижней моде.
фотонных интегральных Использование схем
Реально собрать целую кучу (возможно порядка [21] ) светоделителей и фазовращателей на оптическом экспериментальном столе является сложной и нереальной задачей. Чтобы сделать LOQC функциональным, полезным и компактным, одним из решений является миниатюризация всех линейных оптических элементов, источников фотонов и детекторов фотонов и их интеграция в чип. При использовании полупроводниковой платформы можно легко интегрировать источники одиночных фотонов и детекторы фотонов. Для разделения мод были встроены волноводные решетки (AWG), которые обычно используются в качестве оптических (дем) мультиплексоров в мультиплексировании с разделением по длине волны (WDM). В принципе, светоделители и другие линейные оптические элементы также могут быть миниатюризированы или заменены эквивалентными элементами нанофотоники . Некоторый прогресс в этих начинаниях можно найти в литературе, например, [21]. [22] [23] [24] В 2013 году была продемонстрирована первая интегральная фотонная схема для обработки квантовой информации с использованием фотонно-кристаллического волновода для реализации взаимодействия между управляемым полем и атомами. [25]
Сравнение реализаций [ править ]
протокола KLM и модели Сравнение выборки бозонов
Преимущество протокола KLM перед моделью выборки бозонов заключается в том, что, хотя протокол KLM является универсальной моделью, выборка бозонов не считается универсальной. С другой стороны, кажется, что проблемы масштабируемости при выборке бозонов более решаемы, чем проблемы в протоколе KLM.
При выборке бозонов допускается только одно измерение — измерение всех мод в конце вычислений. Единственная проблема масштабируемости в этой модели возникает из-за требования, чтобы все фотоны доходили до детекторов фотонов за достаточно короткий интервал времени и с достаточно близкими частотами. [16]
В протоколе KLM есть недетерминированные квантовые вентили, которые необходимы для универсальности модели. Они основаны на телепортации ворот, при которой несколько вероятностных ворот подготавливаются в автономном режиме, а дополнительные измерения выполняются в середине схемы. Эти два фактора являются причиной дополнительных проблем масштабируемости протокола KLM.
В протоколе KLM желаемым начальным состоянием является состояние, в котором каждый из фотонов находится в одной из двух мод, а вероятность того, что мода занята более чем одним фотоном, равна нулю. Однако при выборке бозонов желаемое начальное состояние является конкретным и требует, чтобы первое каждая мода занята одним фотоном [16] ( количество фотонов и — количество режимов), а все остальные состояния пусты.
Более ранние модели [ править ]
Другая, более ранняя модель, основанная на представлении нескольких кубитов одним фотоном, основана на работах К. Адами и Н. Дж. Серфа. [1] Используя как местоположение, так и поляризацию фотонов, один фотон в этой модели может представлять несколько кубитов; однако в результате CNOT-вентиль может быть реализован только между двумя кубитами, представленными одним и тем же фотоном.
На рисунках ниже приведены примеры создания эквивалентных вентилей Адамара и вентиля CNOT с использованием светоделителей (показаны в виде прямоугольников, соединяющих два набора пересекающихся линий с параметрами и ) и фазовращатели (показаны прямоугольниками на линии с параметром ).
В оптической реализации вентиля CNOT поляризация и местоположение являются управляющим и целевым кубитом соответственно.
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б Адами, К.; Серф, Нью-Джерси (1999). «Квантовые вычисления с линейной оптикой». Квантовые вычисления и квантовые коммуникации . Конспекты лекций по информатике. Том. 1509. Спрингер. стр. 391–401. arXiv : Quant-ph/9806048 . дои : 10.1007/3-540-49208-9_36 . ISBN 978-3-540-65514-5 . S2CID 5222656 .
- ^ Jump up to: Перейти обратно: а б Нилл, Э.; Лафламм, Р.; Милберн, Дж.Дж. (2001). «Схема эффективных квантовых вычислений с линейной оптикой». Природа . 409 (6816): 46–52. Бибкод : 2001Natur.409...46K . дои : 10.1038/35051009 . ПМИД 11343107 . S2CID 4362012 .
- ^ Jump up to: Перейти обратно: а б с д Кок, П.; Манро, WJ; Немото, К .; Ральф, TC; Даулинг, JP; Милберн, Дж.Дж. (2007). «Линейные оптические квантовые вычисления с фотонными кубитами». Преподобный Мод. Физ . 79 (1): 135–174. arXiv : Quant-ph/0512071 . Бибкод : 2007РвМП...79..135К . дои : 10.1103/RevModPhys.79.135 . S2CID 119335959 .
- ^ Ллойд, С.; Браунштейн, С.Л. (2003). «Квантовые вычисления над непрерывными переменными». Письма о физических отзывах . 82 (8): 9–17. arXiv : Quant-ph/9810082 . Бибкод : 1999PhRvL..82.1784L . doi : 10.1103/PhysRevLett.82.1784 . S2CID 119018466 .
- ^ ДиВинченцо, Дэвид П. (1 февраля 1995 г.). «Двухбитные вентили универсальны для квантовых вычислений». Физический обзор А. 51 (2): 1015–1022. arXiv : cond-mat/9407022 . Бибкод : 1995PhRvA..51.1015D . дои : 10.1103/PhysRevA.51.1015 . ПМИД 9911679 . S2CID 2317415 .
- ^ Дойч, Дэвид; Баренко, Адриано; Экерт, Артур (8 июня 1995 г.). «Универсальность в квантовых вычислениях». Труды Лондонского королевского общества А: Математические и физические науки . 449 (1937): 669–677. arXiv : Quant-ph/9505018 . Бибкод : 1995RSPSA.449..669D . CiteSeerX 10.1.1.54.2646 . дои : 10.1098/rspa.1995.0065 . ISSN 1471-2946 . S2CID 15088854 .
- ^ Баренко, Адриано (8 июня 1995 г.). «Универсальный двухбитный вентиль для квантовых вычислений». Труды Лондонского королевского общества А: Математические и физические науки . 449 (1937): 679–683. arXiv : Quant-ph/9505016 . Бибкод : 1995RSPSA.449..679B . дои : 10.1098/rspa.1995.0066 . ISSN 1471-2946 . S2CID 119447556 .
- ^ Ллойд, Сет (10 июля 1995 г.). «Почти любой квантовый логический вентиль универсален». Письма о физических отзывах . 75 (2): 346–349. Бибкод : 1995PhRvL..75..346L . дои : 10.1103/PhysRevLett.75.346 . ПМИД 10059671 .
- ^ Рек, Майкл; Цайлингер, Антон; Бернштейн, Герберт Дж.; Бертани, Филип (4 июля 1994 г.). «Экспериментальная реализация любого дискретного унитарного оператора» . Письма о физических отзывах . 73 (1): 58–61. Бибкод : 1994PhRvL..73...58R . дои : 10.1103/PhysRevLett.73.58 . ПМИД 10056719 .
- ^ Милберн, Дж.Дж. (1 мая 1989 г.). «Квантовые оптические ворота Фредкина» (PDF) . Письма о физических отзывах . 62 (18): 2124–2127. Бибкод : 1989PhRvL..62.2124M . doi : 10.1103/PhysRevLett.62.2124 . ПМИД 10039862 .
- ^ Хатчинсон, Джорджия; Милберн, Дж.Дж. (2004). «Нелинейные квантово-оптические вычисления посредством измерений». Журнал современной оптики . 51 (8): 1211–1222. arXiv : Quant-ph/0409198 . Бибкод : 2004JMOp...51.1211H . дои : 10.1080/09500340408230417 . ISSN 0950-0340 . S2CID 14246243 .
- ^ Ллойд, Сет (20 июля 1992 г.). «Для вычислений достаточно любых нелинейных вентилей с линейными вентилями» . Буквы по физике А. 167 (3): 255–260. Бибкод : 1992PhLA..167..255L . дои : 10.1016/0375-9601(92)90201-В . ISSN 0375-9601 .
- ^ Адлеман, Леонард М.; ДеМаррэ, Джонатан; Хуанг, Мин-Де А. (1997). «Квантовая вычислимость». SIAM Journal по вычислительной технике . 26 (5): 1524–1540. дои : 10.1137/S0097539795293639 . ISSN 0097-5397 .
- ^ Беннетт, Чарльз Х.; Брассар, Жиль; Крепо, Клод; Джожа, Ричард; Перес, Ашер; Вуттерс, Уильям К. (29 марта 1993 г.). «Телепортация неизвестного квантового состояния по двойному классическому каналу и каналу Эйнштейна-Подольского-Розена» . Письма о физических отзывах . 70 (13): 1895–1899. Бибкод : 1993PhRvL..70.1895B . doi : 10.1103/PhysRevLett.70.1895 . ПМИД 10053414 .
- ^ Готтесман, Дэниел; Чуанг, Исаак Л. (25 ноября 1999 г.). «Демонстрация жизнеспособности универсальных квантовых вычислений с использованием телепортации и однокубитных операций». Природа . 402 (6760): 390–393. arXiv : Quant-ph/9908010 . Бибкод : 1999Natur.402..390G . дои : 10.1038/46503 . ISSN 0028-0836 . S2CID 119342550 .
- ^ Jump up to: Перейти обратно: а б с д Ааронсон, Скотт; Архипов, Алексей (2013). «Вычислительная сложность линейной оптики» . Теория вычислений . 9 : 143–252. дои : 10.4086/toc.2013.v009a004 .
- ^ Болл, Филип (2020). «Физики в Китае бросают вызов «квантовому преимуществу» Google » . Природа . 588 (7838): 380. Бибкод : 2020Natur.588..380B . дои : 10.1038/d41586-020-03434-7 . ПМИД 33273711 . S2CID 227282052 .
- ^ «Китай утверждает, что квантовые вычисления лидируют благодаря фотонному тесту Цзючжана, создав машину «в триллион раз быстрее», чем следующий лучший суперкомпьютер» . СКМП .
- ^ ДиВинченцо, Д.; Потеря, Д. (1998). «Квантовая информация физична». Сверхрешетки и микроструктуры . 23 (3–4): 419–432. arXiv : cond-mat/9710259 . Бибкод : 1998SuMi...23..419D . дои : 10.1006/spmi.1997.0520 . S2CID 6877353 .
- ^ Дивинченцо, ДП (2000). «Физическая реализация квантовых вычислений». Fortschritte der Physik . 48 (9–11): 771–783. arXiv : Quant-ph/0002077 . Бибкод : 2000ForPh..48..771D . doi : 10.1002/1521-3978(200009)48:9/11<771::AID-PROP771>3.0.CO;2-E . S2CID 15439711 .
- ^ Хейс, AJF; Гилкрист, А.; Майерс, ЧР; Ральф, TC (1 декабря 2004 г.). «Использование кодирования в масштабируемых квантовых вычислениях с линейной оптикой». Журнал оптики B: Квантовая и полуклассическая оптика . 6 (12): 533–541. arXiv : Quant-ph/0408098 . Бибкод : 2004JOptB...6..533H . дои : 10.1088/1464-4266/6/12/008 . ISSN 1464-4266 . S2CID 119465216 .
- ^ Жево, Д. (2008). «Оптические квантовые схемы: На квантовый уровень» . Природная фотоника . 2 (6): 337. Бибкод : 2008NaPho...2..337G . дои : 10.1038/nphoton.2008.92 .
- ^ Полити, А.; Крайан, MJ; Рарити, Дж.Г.; Ю, С.; О'Брайен, JL (2008). «Волноводные квантовые схемы кремний-на-кремнии». Наука . 320 (5876): 646–649. arXiv : 0802.0136 . Бибкод : 2008Sci...320..646P . дои : 10.1126/science.1155441 . ПМИД 18369104 . S2CID 3234732 .
- ^ Томпсон, Миннесота; Полити, А.; Мэтьюз, Джей Си; О'Брайен, JL (2011). «Интегральные волноводные схемы для оптических квантовых вычислений». Схемы, устройства и системы IET . 5 (2): 94–102. doi : 10.1049/iet-cds.2010.0108 .
- ^ Гобан, А.; Хунг, К.-Л.; Ю, С.-П.; Худ, Джей Ди; Мунис, Дж.А.; Ли, Дж. Х.; Мартин, MJ; МакКлунг, AC; Чой, К.С.; Чанг, Делавэр; Художник, О.; Кимбл, HJ (2013). «Взаимодействие атома и света в фотонных кристаллах». Природные коммуникации . 5 : 3808. arXiv : 1312.3446 . Бибкод : 2014NatCo...5.3808G . дои : 10.1038/ncomms4808 . ПМИД 24806520 . S2CID 337901 .
Внешние ссылки [ править ]
- «Оптический чип позволяет перепрограммировать квантовый компьютер за считанные секунды» . kurzweilai.net. 14 августа 2015 г.
- Математика квантовых компьютеров | Бесконечная серия , получено 23 ноября 2019 г.