Квантовая коррекция ошибок - Quantum error correction
Квантовая коррекция ошибок (QEC) используется в квантовые вычисления защищать квантовая информация от ошибок из-за декогеренция и другие квантовый шум. Квантовая коррекция ошибок необходима, если кто-то хочет добиться отказоустойчивых квантовых вычислений, которые могут иметь дело не только с шумом в хранимой квантовой информации, но также с неисправными квантовыми вентилями, ошибочной квантовой подготовкой и ошибочными измерениями.
Классический исправление ошибки нанимает избыточность. Самый простой способ - сохранить информацию несколько раз, и - если впоследствии выяснится, что эти копии не совпадают - просто проголосуйте большинством; например предположим, мы копируем бит трижды. Предположим далее, что зашумленная ошибка искажает трехбитовое состояние, так что один бит равен нулю, а два других равны единице. Если предположить, что зашумленные ошибки независимы и возникают с некоторой вероятностью п, скорее всего, это однобитовая ошибка, а переданное сообщение - три единицы. Возможно, возникнет двухбитовая ошибка и переданное сообщение будет равно трем нулям, но такой результат менее вероятен, чем результат выше.
Копирование квантовой информации невозможно из-за теорема о запрете клонирования. Эта теорема, кажется, представляет собой препятствие для формулирования теории квантовой коррекции ошибок. Но возможно распространять информация одного кубит на сильно запутанное состояние нескольких (физический) кубиты. Петр Шор впервые открыл этот метод формулирования квантовый код коррекции ошибок сохраняя информацию об одном кубите в сильно запутанном состоянии из девяти кубитов. Код квантовой коррекции ошибок защищает квантовую информацию от ошибок ограниченной формы.
Классические коды исправления ошибок используют измерение синдрома для диагностики того, какая ошибка искажает закодированное состояние. Затем мы исправляем ошибку, применяя корректирующую операцию на основе синдрома. Квантовая коррекция ошибок также использует синдромные измерения. Мы выполняем многокубитное измерение, которое не нарушает квантовую информацию в закодированном состоянии, но извлекает информацию об ошибке. Измерение синдрома может определить, был ли поврежден кубит, и если да, то какой. Более того, результат этой операции ( синдром) сообщает нам не только о том, какой физический кубит был затронут, но и о том, каким из нескольких возможных способов он был затронут. Последнее на первый взгляд противоречит интуиции: поскольку шум произвольный, как может влияние шума быть одной из немногих различных возможностей? В большинстве кодов эффект либо переворот битов, либо знак ( фаза ) перевернуть, или оба (соответствующие Матрицы Паули Икс, Z, и Y). Причина в том, что измерение синдрома имеет проективный эффект квантовое измерение. Таким образом, даже если ошибка из-за шума была произвольной, ее можно выразить как суперпозиция из основа операции - основание ошибки (который здесь задается матрицами Паули и личность ). Измерение синдрома «вынуждает» кубит «решить», что определенная «ошибка Паули» «произошла», и синдром сообщает нам, какая именно, так что мы можем позволить тому же оператору Паули снова воздействовать на испорченный кубит для восстановления эффект ошибки.
Измерение синдрома сообщает нам как можно больше о произошедшей ошибке, но ничего вообще о ценить который хранится в логическом кубите, иначе измерение уничтожит все квантовая суперпозиция этого логического кубита с другими кубитами в квантовый компьютер.
Битовый флип-код
В код повторения работает в классическом канале, потому что классические биты легко измерить и повторить. Это перестает иметь место для квантового канала, в котором из-за теорема о запрете клонирования, больше невозможно повторить один кубит три раза. Чтобы преодолеть это, другой метод, например так называемый трехкубитовый битовый флип-код, необходимо использовать. Этот метод использует запутанность и измерения синдрома и сопоставимы по производительности с кодом повторения.
Рассмотрим ситуацию, в которой мы хотим передать состояние отдельного кубита через шумный канал . Более того, предположим, что этот канал либо переворачивает состояние кубита, с вероятностью , или оставляет его без изменений. Действие на общем входе поэтому можно записать как .
Позволять быть передаваемым квантовым состоянием. При отсутствии протокола исправления ошибок переданное состояние с вероятностью будет правильно передано. . Однако мы можем улучшить это число, кодирование состояние в большее количество кубитов таким образом, чтобы ошибки в соответствующих логические кубиты можно обнаружить и исправить. В случае простого трехкубитового кода повторения кодирование состоит в отображениях и . Состояние входа закодировано в состояние . Это отображение может быть реализовано, например, с использованием двух вентилей CNOT, запутывающих систему с двумя вспомогательными кубитами, инициализированными в состоянии .[1] Закодированное состояние это то, что сейчас проходит через зашумленный канал.
Канал действует на перевернув некоторое подмножество (возможно, пустое) его кубитов. Ни один кубит не переворачивается с вероятностью , отдельный кубит переворачивается с вероятностью , два кубита переворачиваются с вероятностью , и все три кубита переворачиваются с вероятностью . Обратите внимание, что здесь сделано еще одно предположение о канале: мы предполагаем, что действует одинаково и независимо на каждом из трех кубитов, в которых теперь закодировано состояние. Теперь проблема в том, как обнаруживать и исправлять такие ошибки. без одновременного нарушения передаваемого состояния.
Предположим для простоты, что достаточно мала, чтобы пренебрежимо мала вероятность перевернуть более одного кубита. Затем можно определить, был ли кубит перевернут, без запроса передаваемых значений, задав вопрос, отличается ли один из кубитов от других. Это составляет выполнение измерения с четырьмя различными результатами, соответствующими четырем проективным измерениям:
Знак флип-код
Перевернутые биты - единственный вид ошибки в классическом компьютере, но есть еще одна возможность ошибки с квантовыми компьютерами - переворот знака. Через передачу в канале относительный знак между и может перевернуться. Например, кубит в состоянии может быть его знак перевернут на
Исходное состояние кубита
будет преобразован в состояние
В основе Адамара переворачивание битов становится переключением знака, а изменение знака - переключением битов. Позволять быть квантовым каналом, который может вызвать не более одного переворота фазы. Тогда битовый флип-код сверху может восстановить путем преобразования в базис Адамара до и после передачи через .
Кодекс Шора
Канал ошибки может вызвать переворот битов, смену знака (т. Е. Переворот фазы) или и то, и другое. Оба типа ошибок можно исправить с помощью одного кода, и код Шора делает именно это. Фактически, код Шора исправляет произвольные однокубитовые ошибки.
Позволять быть квантовым каналом, который может произвольно повредить отдельный кубит. 1-й, 4-й и 7-й кубиты предназначены для переворота знака, а три группы кубитов (1,2,3), (4,5,6) и (7,8,9) предназначены для переворота битов. код. С кодом Шора состояние кубита превратится в произведение 9 кубитов , куда
Если с кубитом происходит ошибка переворота бита, синдромный анализ будет выполняться для каждого набора состояний (1,2,3), (4,5,6) и (7,8,9), а затем исправить ошибку. .
Если трехбитовая группа переключения (1,2,3), (4,5,6) и (7,8,9) рассматривается как три входа, тогда схема кода Шора может быть сокращена как код переключения знака. Это означает, что код Шора может также исправить ошибку переворота знака для одного кубита.[2]
Код Шора также может исправлять любые произвольные ошибки (как изменение битов, так и изменение знака) в одном кубите. Если ошибка моделируется унитарным преобразованием U, которое будет действовать на кубит , тогда можно описать в виде
куда ,,, и - комплексные константы, I - тождество, а Матрицы Паули даны
Если U равно I, то ошибки не возникает. Если возникает ошибка переворота битов. Если возникает ошибка переворота знака. Если тогда возникает ошибка переворота битов и ошибка переворота знака. Из-за линейности следует, что код Шора может исправлять произвольные 1-кубитные ошибки.[требуется разъяснение ]
Бозонные коды
Было сделано несколько предложений по хранению квантовой информации с исправлением ошибок в бозонных режимах. В отличие от двухуровневой системы, квантовый гармонический осциллятор имеет бесконечно много уровней энергии в одной физической системе. Коды для этих систем включают cat,[3][4][5] Готтесман-Китаев-Прескилл (ГКП),[6] и биномиальные коды.[7][8] Эти коды позволяют использовать преимущества избыточности внутри одной системы, а не дублировать множество двухуровневых кубитов.
Написано в Фок базис, простейшее биномиальное кодирование
где нижний индекс L указывает "логически закодированное" состояние. Тогда, если доминирующим механизмом ошибок системы является стохастическое применение бозонной оператор опускания соответствующие состояния ошибки и соответственно. Поскольку кодовые слова содержат только четное число фотонов, а состояния ошибки включают только нечетное число фотонов, ошибки могут быть обнаружены путем измерения номер фотона паритетность системы.[7][9] Измерение нечетной четности позволит выполнить корректировку путем применения соответствующей унитарной операции без знания конкретного логического состояния кубита. Однако приведенный выше конкретный биномиальный код не устойчив к двухфотонным потерям.
Общие коды
В целом квантовый код для квантовый канал подпространство , куда гильбертово пространство состояний, такое, что существует другой квантовый канал с
куда это ортогональная проекция на . Здесь известен как операция коррекции.
А невырожденный код - это ошибка, для которой различные элементы набора исправляемых ошибок дают линейно независимые результаты при применении к элементам кода. Если отдельные исправимые ошибки дают ортогональные результаты, код считается чистый.[10]
Модели
Со временем исследователи придумали несколько кодов:
- Петр Шор 9-кубитовый код, также известный как код Шора, кодирует 1 логический кубит в 9 физических кубитов и может исправлять произвольные ошибки в одном кубите.
- Эндрю Стейн нашел код, который делает то же самое с 7 вместо 9 кубитов, см. Код Steane.
- Раймонд Лафламм и соавторы нашли класс 5-кубитовых кодов, которые делают то же самое, которые также обладают свойством быть отказоустойчивой. Код из 5 кубитов - это минимально возможный код, который защищает отдельный логический кубит от ошибок, связанных с одним кубитом.
- Обобщение этого[который? ] концепция CSS коды, названные в честь своих изобретателей: А. Р. Кальдербанк, Петр Шор и Эндрю Стейн. Согласно квантовой границе Хэмминга, для кодирования одного логического кубита и обеспечения произвольной коррекции ошибок в одном кубите требуется минимум 5 физических кубитов.
- Более общий класс кодов (включающий первые) - это коды стабилизатора обнаружен Даниэль Готтесман ([1] ), и по А. Р. Кальдербанк, Эрик Рейнс, Петр Шор, и Н. Дж. А. Слоан ([2], [3] ); их также называют аддитивные коды.
- Двумерные коды Бэкона-Шора представляют собой семейство кодов, параметризованных целыми числами m и n. В квадратной решетке расположены нм кубиты.[11]
- Более новая идея Алексей Китаев с топологические квантовые коды и более общее представление о топологический квантовый компьютер.
- Тодд Брун, Игорь Деветак, и Мин-Сю Се также построил формализм стабилизатора с помощью сцепления как расширение стандарта формализм стабилизатора который включает квантовая запутанность разделяется между отправителем и получателем.
То, что эти коды действительно допускают квантовые вычисления произвольной длины, является содержанием квантовая пороговая теорема, найдено Майкл Бен-Ор и Дорит Ааронов, который утверждает, что вы можете исправить все ошибки, если объедините квантовые коды, такие как коды CSS, т.е. перекодировать каждый логический кубит тем же кодом еще раз и так далее на логарифмически многих уровнях -при условии частота ошибок отдельных квантовые ворота ниже определенного порога; в противном случае попытки измерить синдром и исправить ошибки привнесут больше новых ошибок, чем они исправят.
По состоянию на конец 2004 г. оценки этого порога показывают, что он может достигать 1-3%,[12] при условии, что есть достаточно много кубиты имеется в наличии.
Экспериментальная реализация
Было несколько экспериментальных реализаций кодов на основе CSS. Первая демонстрация была с кубитами ЯМР.[13] Впоследствии были проведены демонстрации линейной оптики,[14] захваченные ионы,[15][16] и сверхпроводящие (трансмон ) кубиты.[17]
В 2016 году впервые срок службы квантового бита был продлен за счет использования кода QEC.[18] Демонстрация исправления ошибок была проведена на Шредингер-кот утверждает закодирован в сверхпроводящем резонаторе и использовался квантовый контроллер способен выполнять операции обратной связи в реальном времени, включая считывание квантовой информации, ее анализ и исправление обнаруженных ошибок. Работа продемонстрировала, как система с квантовыми ошибками достигает точки безубыточности, в которой время жизни логического кубита превышает время жизни основных составляющих системы (физических кубитов).
Также были реализованы другие коды с исправлением ошибок, например код, предназначенный для коррекции потери фотонов, основного источника ошибок в схемах фотонных кубитов.[19][20]
Смотрите также
Рекомендации
- ^ Майкл А. Нильсен и Исаак Л. Чуанг (2000). Квантовые вычисления и квантовая информация. Издательство Кембриджского университета.
- ^ У. Шор, Питер (1995). «Схема уменьшения декогеренции в памяти квантового компьютера». Физический обзор A. 52 (4): R2493 – R2496. Bibcode:1995ПхРвА..52.2493С. Дои:10.1103 / PhysRevA.52.R2493. PMID 9912632.
- ^ Cochrane, P.T .; Milburn, G.J .; Манро, В. Дж. (1999-04-01). «Макроскопически различные состояния квантовой суперпозиции как бозонный код для демпфирования амплитуды». Физический обзор A. 59 (4): 2631–2634. arXiv:Quant-ph / 9809037. Bibcode:1999ПхРвА..59.2631С. Дои:10.1103 / PhysRevA.59.2631. S2CID 119532538.
- ^ Легтас, Заки; Кирхмайр, Герхард; Властакис, Брайан; Schoelkopf, Роберт Дж .; Devoret, Michel H .; Миррахими, Мазьяр (2013-09-20). «Аппаратно-эффективная автономная квантовая защита памяти». Письма с физическими проверками. 111 (12): 120501. arXiv:1207.0679. Bibcode:2013PhRvL.111l0501L. Дои:10.1103 / Physrevlett.111.120501. ISSN 0031-9007. PMID 24093235. S2CID 19929020.
- ^ Миррахими, Мазьяр; Легтас, Заки; Альберт, Виктор V; Тоузар, Стивен; Schoelkopf, Роберт Дж; Цзян, Лян; Деворе, Мишель Х (2014-04-22). «Динамически защищенные кошачьи кубиты: новая парадигма универсальных квантовых вычислений». Новый журнал физики. 16 (4): 045014. arXiv:1312.2017. Bibcode:2014NJPh ... 16d5014M. Дои:10.1088/1367-2630/16/4/045014. ISSN 1367-2630. S2CID 7179816.
- ^ Дэниел Готтесман, Алексей Китаев, Джон Прескилл (2001). «Кодирование кубита в осцилляторе». Физический обзор A. 64 (1): 012310. arXiv:Quant-ph / 0008040. Bibcode:2001PhRvA..64a2310G. Дои:10.1103 / PhysRevA.64.012310. S2CID 18995200.CS1 maint: использует параметр авторов (связь)
- ^ а б Майкл, Мариос Х .; Сильвери, Матти; Brierley, R.T .; Альберт, Виктор V .; Салмилехто, Юха; Цзян, Лян; Гирвин, С. М. (14.07.2016). «Новый класс квантовых кодов исправления ошибок для бозонной моды». Физический обзор X. 6 (3): 031006. arXiv:1602.00008. Bibcode:2016PhRvX ... 6c1006M. Дои:10.1103 / PhysRevX.6.031006. S2CID 29518512.
- ^ Виктор В. Альберт; и другие. (2018). «Характеристики и структура одномодовых бозонных кодов». Физический обзор A. 97 (3): 032346. arXiv:1708.05010. Bibcode:2018PhRvA..97c2346A. Дои:10.1103 / PhysRevA.97.032346. S2CID 51691343.
- ^ Вс, л .; Петренко, А .; Leghtas, Z .; Властакис, Б .; Kirchmair, G .; Слива, К. М .; Нарла, А .; Hatridge, M .; Шанкар, С .; Blumoff, J .; Фрунцио, Л. (июль 2014 г.). «Отслеживание скачков фотонов с помощью многократных квантовых измерений четности без разрушения». Природа. 511 (7510): 444–448. arXiv:1311.2534. Дои:10.1038 / природа13436. ISSN 1476-4687. PMID 25043007. S2CID 987945.
- ^ Calderbank, A. R .; Rains, E.M .; Шор, П. У .; Слоан, Н. Дж. А. (1998). «Квантовая коррекция ошибок с помощью кодов над GF (4)». IEEE Transactions по теории информации. 44 (4): 1369–1387. arXiv:Quant-ph / 9608006. Дои:10.1109/18.681315. S2CID 1215697.
- ^ Бэкон, Дэйв (30.01.2006). «Операторные квантовые подсистемы коррекции ошибок для самокорректирующейся квантовой памяти». Физический обзор A. 73 (1): 012340. arXiv:Quant-ph / 0506023. Bibcode:2006PhRvA..73a2340B. Дои:10.1103 / PhysRevA.73.012340. S2CID 118968017.
- ^ Книл, Эмануэль (2 ноября 2004 г.). «Квантовые вычисления с очень шумными устройствами». Природа. 434 (7029): 39–44. arXiv:Quant-ph / 0410199. Bibcode:2005Натура.434 ... 39К. Дои:10.1038 / природа03350. PMID 15744292. S2CID 4420858.
- ^ Кори, Д.Г .; Прайс, М.Д .; Maas, W .; Knill, E .; Laflamme, R .; Zurek, W. H .; Havel, T. F .; Сомару, С. С. (1998). «Экспериментальная квантовая коррекция ошибок». Phys. Rev. Lett. 81 (10): 2152–2155. arXiv:Quant-ph / 9802018. Дои:10.1103 / PhysRevLett.81.2152. S2CID 11662810.
- ^ Питтман, Т.B .; Jacobs, B.C .; Фрэнсон, Дж. Д. (2005). «Демонстрация квантовой коррекции ошибок с помощью линейной оптики». Phys. Ред. А. 71 (5): 052332. arXiv:Quant-ph / 0502042. Bibcode:2005ПхРвА..71э2332П. Дои:10.1103 / PhysRevA.71.052332. S2CID 11679660.
- ^ Chiaverini, J .; Leibfried, D .; Schaetz, T .; Barrett, M.D .; Blakestad, R. B .; Britton, J .; Itano, W. M .; Jost, J.D .; Knill, E .; Langer, C .; Озери, Р .; Вайнленд, Д. Дж. (2004). «Реализация квантовой коррекции ошибок». Природа. 432 (7017): 602–605. Bibcode:2004Натура.432..602C. Дои:10.1038 / природа03074. PMID 15577904. S2CID 167898.
- ^ Schindler, P .; Barreiro, J. T .; Monz, T .; Nebendahl, V .; Nigg, D .; Chwalla, M .; Hennrich, M .; Блатт, Р. (2011). «Экспериментальная повторяющаяся квантовая коррекция ошибок». Наука. 332 (6033): 1059–1061. Bibcode:2011Научный ... 332.1059S. Дои:10.1126 / science.1203329. PMID 21617070. S2CID 32268350.
- ^ Reed, M.D .; DiCarlo, L .; Nigg, S.E .; Вс, л .; Frunzio, L .; Гирвин, С. М .; Шелькопф, Р. Дж. (2012). «Реализация трехкубитной квантовой коррекции ошибок с помощью сверхпроводящих схем». Природа. 482 (7385): 382–385. arXiv:1109.4948. Bibcode:2012Натура.482..382R. Дои:10.1038 / природа10786. PMID 22297844. S2CID 2610639.
- ^ Офек, Нисим; Петренко, Андрей; Heeres, Reinier; Рейнхольд, Филипп; Легтас, Заки; Властакис, Брайан; Лю, Ехан; Фрунцио, Луиджи; Гирвин, С. М .; Jiang, L .; Миррахими, Мазьяр (август 2016 г.). «Увеличение срока службы квантового бита с исправлением ошибок в сверхпроводящих схемах». Природа. 536 (7617): 441–445. Bibcode:2016Натура.536..441O. Дои:10.1038 / природа18949. ISSN 0028-0836. PMID 27437573. S2CID 594116.
- ^ Лассен, М .; Sabuncu, M .; Гек, А .; Niset, J .; Leuchs, G .; Cerf, N.J .; Андерсен, У. Л. (2010). «Квантовая оптическая когерентность может выдержать потери фотонов, используя квантовый код с непрерывной переменной, корректирующий стирание». Природа Фотоника. 4 (10): 700. arXiv:1006.3941. Bibcode:2010НаФо ... 4..700л. Дои:10.1038 / nphoton.2010.168. S2CID 55090423.
- ^ Го, Цихао; Чжао, Юань-Юань; Грассл, Маркус; Не, Синьфан; Сян, Го-Юн; Синь, Дао; Инь, Чжан-Ци; Цзэн, Бэй (22.01.2020). «Тестирование квантового кода исправления ошибок на различных платформах». arXiv:2001.07998 [Quant-ph ].
Библиография
- Даниэль Лидар и Тодд Брун, изд. (2013). Квантовая коррекция ошибок. Издательство Кембриджского университета.
- Фрэнк Гайтан (2008). Квантовая коррекция ошибок и отказоустойчивые квантовые вычисления. Тейлор и Фрэнсис.
- Фридман, Майкл Х .; Мейер, Дэвид А .; Ло, Фэн: Z2-Систолическая свобода и квантовые коды. Математика квантовых вычислений, 287–320, Ж. вычисл. Математика. Сер., Chapman & Hall / CRC, Бока-Ратон, Флорида, 2002.
- Фридман, Майкл Х .; Мейер, Дэвид А. (1998). «Проективные плоские и планарные квантовые коды». Найденный. Comput. Математика. 2001 (3): 325–332. arXiv:Quant-ph / 9810055. Bibcode:1998quant.ph.10055F.
- Лассен, Микаэль; Сабунку, Метин; Гек, Александр; Нисет, Жюльен; Leuchs, Герд; Серф, Николас Дж .; Андерсен, Ульрик Л. (2010). «Квантовая оптическая когерентность может выдержать потери фотонов, используя квантовый код с непрерывной переменной, корректирующий стирание». Природа Фотоника. 4 (1): 10. Bibcode:2010NaPho ... 4 ... 10Вт. Дои:10.1038 / nphoton.2009.243.
внешняя ссылка
- Книл, Э. (2004). «Квантовые вычисления с очень шумными устройствами». Природа. 434: 39–44. arXiv:Quant-ph / 0410199. Bibcode:2005Натура.434 ... 39К. Дои:10.1038 / природа03350. PMID 15744292. S2CID 4420858.
- Прорыв в области квантовых вычислений[постоянная мертвая ссылка ]
- «Топологическая квантовая коррекция ошибок». Квантовый свет. Университет Шеффилда. 28 сентября 2018 г. - через YouTube.