Протокол KLM
![]() | Эта статья включает список литературы , связанную литературу или внешние ссылки , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( июнь 2024 г. ) |
Схема KLM или протокол KLM — это реализация линейных оптических квантовых вычислений (LOQC), разработанная в 2000 году Эмануэлем Ниллом , Рэймондом Лафламмом и Джерардом Дж. Милберном . Этот протокол позволяет создавать универсальные квантовые компьютеры, используя исключительно линейные оптические инструменты. [1] Протокол KLM использует линейные оптические элементы, источники одиночных фотонов и детекторы фотонов в качестве ресурсов для построения схемы квантовых вычислений, включающей только вспомогательные ресурсы, квантовую телепортацию и коррекцию ошибок .
Обзор [ править ]
Схема KLM вызывает эффективное взаимодействие между фотонами путем проведения проективных измерений с помощью фотодетекторов , что попадает в категорию недетерминированных квантовых вычислений . Он основан на нелинейном сдвиге знака между двумя кубитами , который использует два вспомогательных фотона и постселекцию. [2] Он также основан на демонстрации того, что вероятность успеха квантовых вентилей можно приблизить к единице, используя запутанные состояния, приготовленные недетерминированно, и квантовую телепортацию с однокубитными операциями. [3] [4] Без достаточно высокого уровня успеха одного блока квантовых вентилей может потребоваться экспоненциальное количество вычислительных ресурсов. Схема KLM основана на том факте, что правильное квантовое кодирование может эффективно сократить ресурсы для получения точно закодированных кубитов по отношению к достигаемой точности и может сделать LOQC отказоустойчивым к потере фотонов , неэффективности детектора и фазовой декогеренции . LOQC может быть надежно реализован с помощью схемы KLM с достаточно низкими требованиями к ресурсам, чтобы обеспечить практическую масштабируемость, что делает ее столь же многообещающей технологией квантовой обработки информации, как и другие известные реализации.
Элементы LOQC в схеме KLM [ править ]
Кубиты и режимы [ править ]
Чтобы не потерять общности, обсуждение ниже не ограничивается конкретным примером представления режима. Состояние, записанное как означает состояние с нулевым фотоном в режиме (может быть канал «вертикальной» поляризации) и один фотон в моде (может быть канал «горизонтальной» поляризации).
В протоколе KLM каждый из фотонов обычно находится в одной из двух мод, причем моды у фотонов различны (вероятность того, что мода занята более чем одним фотоном, равна нулю). Это происходит не только при реализации управляемых квантовых вентилей, таких как CNOT. Когда состояние системы соответствует описанию, фотоны можно различить, поскольку они находятся в разных модах, и поэтому состояние кубита можно представить с помощью одного фотона в двух режимах: вертикальном (V) и горизонтальном (H): для пример, и . Состояния, определяемые через занятие мод, принято называть состояниями Фока .
Такие обозначения полезны в квантовых вычислениях , квантовой связи и квантовой криптографии . Например, используя эти обозначения, очень легко учесть потерю одного фотона , просто добавив состояние вакуума содержащий ноль фотонов в этих двух модах. Другой пример: при наличии двух фотонов в двух разделенных модах (например, в двух временных интервалах или двух плечах интерферометра ) легко описать запутанное состояние двух фотонов. Синглетное состояние (два связанных фотона с общим спиновым квантовым числом ) можно описать следующим образом:если и описывают базисные состояния двух разделенных мод, тогда синглетное состояние будет
Состояние измерения/считывания [ править ]
В протоколе KLM квантовое состояние можно считывать или измерять с помощью детекторов фотонов в выбранных модах. Если фотодетектор обнаруживает фотонный сигнал в данном режиме, это означает, что перед измерением соответствующее состояние режима является 1-фотонным. Как обсуждалось в предложении KLM, [1] Потеря фотонов и эффективность регистрации существенно влияют на достоверность результатов измерений. Соответствующая проблема сбоя и методы исправления ошибок будут описаны позже.
Треугольник с заостренным влево треугольником будет использоваться на принципиальных схемах для обозначения оператора считывания состояния в этой статье. [1]
Реализации элементарных квантовых вентилей [ править ]
Не принимая во внимание коррекцию ошибок и другие проблемы, основной принцип реализации элементарных квантовых вентилей с использованием только зеркал, светоделителей и фазовращателей заключается в том, что, используя эти линейные оптические элементы, можно построить любую произвольную унитарную операцию с 1 кубитом; другими словами, эти линейные оптические элементы поддерживают полный набор операторов на любом отдельном кубите.
Унитарная матрица, связанная с светоделителем является:
- ,
где и определяются амплитудой отражения и амплитуда передачи (для более простого случая связь будет указана позже). Для симметричного светоделителя, имеющего фазовый сдвиг при условии унитарного преобразования и , можно показать, что
- ,
что представляет собой вращение состояния одного кубита вокруг -ось по в сфере Блоха .
Зеркало — это частный случай, когда коэффициент отражения равен 1, так что соответствующий унитарный оператор представляет собой матрицу вращения , определяемую формулой
- .
Для большинства случаев светоделителей, используемых в QIP, угол падения .
Аналогично, оператор фазовращателя ассоциируется с унитарным оператором, описываемым , или, если записано в 2-режимном формате
- ,
что эквивалентно вращению о -ось.
Поскольку любые два вращения вдоль ортогональных вращающихся осей могут генерировать произвольные вращения в сфере Блоха, можно использовать набор симметричных светоделителей и зеркал для реализации произвольного вращения. операторы для QIP. На рисунках ниже приведены примеры реализации вентиля Адамара и вентиля Паули-X (вентиль НЕ) с использованием светоделителей (показаны в виде прямоугольников, соединяющих два набора пересекающихся линий с параметрами и ) и зеркала (показаны в виде прямоугольников, соединяющих два набора пересекающихся линий с параметром ).
![]() | ![]() |
На рисунках выше кубит кодируется с использованием двух режимных каналов (горизонтальные линии): представляет фотон в верхней моде, а представляет фотон в нижней моде.
В схеме KLM манипуляции с кубитами реализуются посредством серии недетерминированных операций с возрастающей вероятностью успеха. Первое усовершенствование этой реализации, которое будет обсуждаться, — это недетерминированный условный вентиль с откидным знаком.
Реализация недетерминированного условного знакового вентиля [ править ]
Важным элементом схемы KLM является условный переворот знака или нелинейный гейт переворота знака ( NS-gate ), как показано на рисунке ниже справа. Это дает нелинейный фазовый сдвиг на одной моде, обусловленный двумя вспомогательными модами.
На рисунке справа метки слева от нижнего поля обозначают режимы. Выходной сигнал принимается только в том случае, если обнаружен один фотон в режиме 2 и ноль фотонов в режиме 3, где вспомогательные режимы 2 и 3 подготовлены как состояние. Нижний индекс — фазовый сдвиг выходного сигнала, который определяется параметрами выбранных внутренних оптических элементов. [1] Для случае используются следующие параметры: , , , , , , и . Для случае параметры могут быть выбраны как , , , , , , и . Аналогичным образом, изменяя параметры светоделителей и фазовращателей или комбинируя несколько вентилей NS, можно создавать различные квантовые вентили. Используя два вспомогательных режима, Нилл изобрел следующий вентиль с контролируемой Z (см. рисунок справа) с вероятностью успеха 2/27. [5]
Преимущество использования вентилей NS заключается в том, что выходные данные могут быть гарантированно обработаны по условию с некоторой вероятностью успеха, которую можно повысить почти до 1. Используя конфигурацию, показанную на рисунке выше справа, вероятность успеха NS-ворота . Чтобы еще больше повысить успешную скорость и решить проблему масштабируемости, необходимо использовать телепортацию ворот, описанную ниже.
почти детерминированные Телепортация ворот и врата
Учитывая использование недетерминированных квантовых вентилей для KLM, вероятность что схема с ворота с вероятностью успеха одиночных ворот будет работать отлично, запустив схему один раз. Поэтому операции необходимо в среднем повторять порядка раз или такие системы должны работать параллельно. В любом случае требуемое время или ресурсы схемы масштабируются экспоненциально. [ нужна ссылка ] В 1999 году Готтесман и Чуанг отметили, что вероятностные вентили можно подготовить автономно от квантовой схемы, используя квантовую телепортацию . [4] Основная идея заключается в том, что каждый вероятностный вентиль готовится в автономном режиме, а сигнал об успешном событии телепортируется обратно в квантовую схему. Иллюстрация квантовой телепортации представлена на рисунке справа. Как можно видеть, квантовое состояние в режиме 1 телепортируется в режим 3 посредством измерения Белла и запутанного ресурсного состояния Белла. , где состояние 1 можно считать подготовленным в автономном режиме.
Ресурс Bell State может быть сгенерировано из состояния с помощью зеркала с параметром

Используя телепортацию, можно подготовить множество вероятностных ворот параллельно с - фотонные запутанные состояния , посылающие управляющий сигнал в режим вывода. Через использование вероятностные ворота параллельно в автономном режиме, вероятность успеха можно получить, что близко к 1, так как становится большим. Количество вентилей, необходимых для реализации определенной точности, масштабируется полиномиально, а не экспоненциально. В этом смысле протокол KLM является ресурсоэффективным. Один эксперимент с использованием первоначально предложенного KLM вентиля «управляемое НЕ» с четырехфотонным входом был продемонстрирован в 2011 году: [6] и дал среднюю точность .
Обнаружение и исправление ошибок [ править ]
Как обсуждалось выше, вероятность успеха телепортационных врат можно сделать сколь угодно близкой к 1, подготовив более крупные запутанные состояния . Однако асимптотический подход к вероятности 1 довольно медленный по отношению к фотонов. числу . Более эффективный подход заключается в кодировании отказа (ошибки) ворот на основе четко определенного режима отказа телепортов. В протоколе KLM неисправность телепорта можно диагностировать, если ноль или фотоны обнаруживаются. Если вычислительное устройство можно будет закодировать против случайных измерений некоторого определенного количества фотонов, тогда можно будет исправить сбои вентиля, и вероятность в конечном итоге успешного применения вентиля увеличится.
Было проведено множество экспериментальных испытаний с использованием этой идеи (см., например, работы [7] [8] [9] ). Однако для достижения вероятности успеха, очень близкой к 1, по-прежнему необходимо большое количество операций. Для продвижения протокола KLM как жизнеспособной технологии необходимы более эффективные квантовые вентили. Это тема следующей части.
Улучшения [ править ]
В этом разделе обсуждаются улучшения протокола KLM, которые были изучены после первоначального предложения.
Существует множество способов улучшить протокол KLM для LOQC и сделать LOQC более перспективным. Ниже приведены некоторые предложения из обзорной статьи Ref. [10] и другие последующие статьи:
- Использование состояний кластера в оптических квантовых вычислениях .
- на основе схем Возвращение к оптическим квантовым вычислениям .
- Использование одноэтапной детерминированной многочастной очистки запутанности с помощью линейной оптики для генерации запутанных фотонных состояний. [11]
Существует несколько протоколов для использования состояний кластера для улучшения протокола KLM. Модель вычислений с этими протоколами представляет собой реализацию LOQC одностороннего квантового компьютера :
- Протокол Йорана-Резника — этот протокол использует кластерные цепочки для увеличения вероятности успешной телепортации.
- Протокол Нильсена — этот протокол улучшает протокол Йорана-Резника, сначала используя телепортацию для добавления кубитов в цепочки кластеров, а затем использует увеличенные цепочки кластеров для дальнейшего увеличения вероятности успеха телепортации.
- Протокол Брауна-Рудольфа — этот протокол улучшает протокол Нильсена, используя телепортацию не только для добавления кубитов в цепочки кластеров, но и для их объединения.
См. также [ править ]
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б с д Нилл, Э.; Лафламм, Р.; Милберн, Дж.Дж. (2001). «Схема эффективных квантовых вычислений с линейной оптикой». Природа . 409 (6816). Издательская группа «Природа»: 46–52. Бибкод : 2001Natur.409...46K . дои : 10.1038/35051009 . ПМИД 11343107 . S2CID 4362012 .
- ^ Адлеман, Леонард М.; ДеМаррэ, Джонатан; Хуанг, Мин-Де А. (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 4411647 .
- ^ Нилл, Э. (14 ноября 2002 г.). «Квантовые ворота с использованием линейной оптики и постселекции». Физический обзор А. 66 (5): 052306. arXiv : quant-ph/0110144 . Бибкод : 2002PhRvA..66e2306K . дои : 10.1103/PhysRevA.66.052306 . S2CID 119529530 .
- ^ Окамото, Ре; О'Брайен, Джереми Л.; Хофманн, Хольгер Ф.; Такеучи, Сигеки (21 июня 2011 г.). «Реализация фотонной квантовой схемы Книла-Лафламма-Милберна, сочетающей в себе эффективные оптические нелинейности» . Труды Национальной академии наук . 108 (25): 10067–10071. arXiv : 1006.4743 . Бибкод : 2011PNAS..10810067O . дои : 10.1073/pnas.1018839108 . ISSN 0027-8424 . ПМК 3121828 . ПМИД 21646543 .
- ^ О'Брайен, JL; Прайд, Дж.Дж.; Уайт, АГ; Ральф, TC (9 июня 2005 г.). «Высокоточное кодирование ошибок Z-измерений оптических кубитов». Физический обзор А. 71 (6): 060303. arXiv : quant-ph/0408064 . Бибкод : 2005PhRvA..71f0303O . дои : 10.1103/PhysRevA.71.060303 . S2CID 21661867 .
- ^ Хейс, 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 .
- ^ Питтман, ТБ; Джейкобс, Британская Колумбия; Фрэнсон, доктор юридических наук (31 мая 2005 г.). «Демонстрация квантовой коррекции ошибок с использованием линейной оптики». Физический обзор А. 71 (5): 052332. arXiv : quant-ph/0502042 . Бибкод : 2005PhRvA..71e2332P . дои : 10.1103/PhysRevA.71.052332 . S2CID 11679660 .
- ^ Кок, П.; Манро, WJ; Немото, К.; Ральф, TC; Даулинг, JP; Милберн, Дж.Дж. (2007). «Линейные оптические квантовые вычисления с фотонными кубитами». Преподобный Мод. Физ . 79 (1). Американское физическое общество: 135–174. arXiv : Quant-ph/0512071 . Бибкод : 2007РвМП...79..135К . дои : 10.1103/RevModPhys.79.135 . S2CID 119335959 .
- ^ Шэн, Ю.-Б.; Лонг, ГЛ; Дэн, Ф.-Г. (2012). «Одноэтапная детерминированная многочастичная очистка запутанности с помощью линейной оптики» . Буквы по физике А. 2012 (376): 314–319. Бибкод : 2012PhLA..376..314S . doi : 10.1016/j.physleta.2011.09.056 . Архивировано из оригинала 29 января 2021 г. Проверено 13 августа 2023 г.