stringtranslate.com

Топологический квантовый компьютер

Топологический квантовый компьютер — это теоретический квантовый компьютер , предложенный российско-американским физиком Алексеем Китаевым в 1997 году. [1] Он использует квазичастицы в двумерных системах, называемых анионами , мировые линии которых проходят вокруг друг друга, образуя косы в трехмерном пространстве. пространство-время (т.е. одно временное плюс два пространственных измерения). Эти косы образуют логические элементы , из которых состоит компьютер. Преимущество квантового компьютера на основе квантовых кос перед использованием захваченных квантовых частиц состоит в том, что первый гораздо более стабилен. Небольшие кумулятивные возмущения могут привести к декогерентности квантовых состояний и внести ошибки в вычисления, но такие небольшие возмущения не меняют топологические свойства кос . Это похоже на усилие, необходимое, чтобы разрезать веревку и снова соединить концы, чтобы сформировать другую косу, в отличие от шарика (представляющего обычную квантовую частицу в четырехмерном пространстве-времени), ударяющегося о стену.

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

Введение

Анионы — это квазичастицы в двумерном пространстве. Анионы не являются ни фермионами , ни бозонами , но, как и фермионы, не могут находиться в одном и том же состоянии. Таким образом, мировые линии двух анионов не могут пересекаться или сливаться, что позволяет их путям образовывать устойчивые косы в пространстве-времени. Анионы могут образовываться в результате возбуждений в холодном двумерном электронном газе в очень сильном магнитном поле и переносить дробные единицы магнитного потока. Это явление называется дробным квантовым эффектом Холла . В типичных лабораторных системах электронный газ занимает тонкий полупроводниковый слой, зажатый между слоями арсенида алюминия-галлия.

При сплетении анионов трансформация квантового состояния системы зависит только от топологического класса траекторий анионов (которые классифицируются по группе кос ). Следовательно, квантовая информация, хранящаяся в состоянии системы, невосприимчива к небольшим ошибкам в траекториях. [2] В 2005 году Санкар Дас Сарма , Майкл Фридман и Четан Наяк предложили квантовое устройство Холла, которое реализовало бы топологический кубит. В 2005 году Владимир Дж. Голдман, Фернандо Э. Камино и Вэй Чжоу [3] заявили, что создали и наблюдали первые экспериментальные доказательства использования дробного квантового эффекта Холла для создания реальных анионов, хотя другие предположили, что их результаты могут быть продуктом явлений, не связанных с кем-либо. Неабелевы анионы, разновидность, необходимая для топологических квантовых компьютеров, еще не подтверждены экспериментально. Возможные экспериментальные доказательства были найдены [4] , но выводы остаются спорными. [5] В 2018 году ученые снова заявили, что выделили необходимые частицы Майораны, но в 2021 году это открытие было отозвано. В 2021 году журнал Quanta заявил, что «никто не доказал убедительно существование хотя бы одной (нулевой моды Майораны) квазичастицы. ", [6] хотя в 2023 году в новой статье [7] журнала были упомянуты некоторые препринты Google [8] и Quantinuum [9] , утверждающие реализацию неабелевых анионов на квантовых процессорах, первый использовал торический код с дефекты твиста как топологическое вырождение (или топологический дефект ), в то время как второй использовал другой, но родственный протокол, оба из которых можно понимать как связанные состояния Майораны в квантовой коррекции ошибок .

Топологический и стандартный квантовый компьютер

Топологические квантовые компьютеры эквивалентны по вычислительной мощности другим стандартным моделям квантовых вычислений, в частности модели квантовой схемы и модели квантовой машины Тьюринга . [10] То есть любая из этих моделей может эффективно имитировать любую другую. Тем не менее, некоторые алгоритмы могут быть более естественными для топологической модели квантового компьютера. Например, алгоритмы вычисления полинома Джонса сначала были разработаны в топологической модели и лишь позже преобразованы и расширены в стандартной модели квантовой схемы.

Вычисления

Чтобы оправдать свое название, топологический квантовый компьютер должен обеспечивать уникальные вычислительные свойства, обещанные конструкцией обычного квантового компьютера, в котором используются захваченные квантовые частицы. В 2000 году Майкл Х. Фридман , Алексей Китаев , Майкл Дж. Ларсен и Чжэнхань Ван доказали, что топологический квантовый компьютер в принципе может выполнять любые вычисления, которые может выполнить обычный квантовый компьютер, и наоборот. [10] [11] [12]

Они обнаружили, что обычный квантовый компьютер при безошибочной работе его логических схем даст решение с абсолютным уровнем точности, тогда как топологический квантовый компьютер с безупречной работой даст решение только с конечным уровнем точности. точность. Однако любой уровень точности ответа можно получить, добавив больше витков кос (логических схем) к топологическому квантовому компьютеру в простой линейной зависимости. Другими словами, разумным увеличением элементов (скруток косы) можно добиться высокой степени точности ответа. Фактические вычисления [ворота] выполняются с помощью краевых состояний дробного квантового эффекта Холла. Это делает важными модели одномерных анионов. В одном измерении пространства анионы определяются алгебраически.

Исправление ошибок и контроль

Несмотря на то, что квантовые косы по своей природе более стабильны, чем захваченные квантовые частицы, все еще существует необходимость контролировать ошибки, вызывающие тепловые флуктуации, которые создают случайные случайные пары анионов, которые мешают соседним косам. Контролировать эти ошибки — это просто вопрос разделения анионов на расстояние, на котором скорость мешающих отклонений падает почти до нуля. Моделирование динамики топологического квантового компьютера может стать многообещающим методом реализации отказоустойчивых квантовых вычислений даже со стандартной схемой квантовой обработки информации. Рауссендорф, Харрингтон и Гоял изучили одну модель и получили многообещающие результаты моделирования. [13]

Пример. Вычисления с использованием анионов Фибоначчи.

Одним из ярких примеров топологических квантовых вычислений является система анионов Фибоначчи. Анион Фибоначчи описывается как «возникающая частица, обладающая свойством: по мере добавления новых частиц в систему число квантовых состояний растет подобно последовательности Фибоначчи: 1, 2, 3, 5, 8 и т. д.» [ 14] В контексте конформной теории поля анионы Фибоначчи описываются моделью Янга–Ли, частным случаем SU(2) теории Черна–Саймонса и моделями Весса–Зумино–Виттена . [15] Эти анионы можно использовать для создания универсальных вентилей для топологических квантовых вычислений. Создание модели состоит из трех основных этапов:

Государственная подготовка

Анионы Фибоначчи характеризуются тремя качествами:

  1. Они имеют топологический заряд . В этом обсуждении мы рассматриваем еще один заряд, который называется «вакуумным» зарядом, если анионы аннигилируют друг с другом.
  2. Каждый из этих анионов является собственной античастицей. и .
  3. Если их приблизить друг к другу, они «срастутся» нетривиальным образом. В частности, правила «слияния» таковы:
  4. Многие свойства этой системы можно объяснить аналогично свойствам двух частиц со спином 1/2. В частности, мы используем одни и те же операторы тензорного произведения и прямой суммы .

Последнее правило «слияния» можно распространить на систему трех анионов:

Таким образом, слияние трех анионов приведет к конечному состоянию полного заряда двумя способами или заряду ровно в одном направлении. Мы используем три состояния, чтобы определить нашу основу. [16] Однако, поскольку мы хотим закодировать эти три анионных состояния как суперпозиции 0 и 1, нам необходимо ограничить базис двумерным гильбертовым пространством. Таким образом, мы рассматриваем только два состояния с суммарным зарядом . Этот выбор чисто феноменологический. В этих состояниях мы группируем два крайних левых аниона в «контрольную группу», а крайний правый оставляем как «невычислительный анион». Мы классифицируем состояние как состояние, в котором контрольная группа имеет общий «сплавленный» заряд , а состояние имеет контрольную группу с общим «сплавленным» зарядом . Более полное описание см. в разделе Наяк. [16]

Ворота

Следуя изложенным выше идеям, адиабатическое сплетение этих анионов друг с другом приведет к унитарному преобразованию. Эти операторы кос являются результатом двух подклассов операторов:

Матрицу R можно концептуально рассматривать как топологическую фазу, которая передается анионам во время переплетения. Когда анионы вращаются вокруг друг друга, они набирают некоторую фазу из-за эффекта Ааронова-Бома .

Матрица F является результатом физического вращения анионов. Поскольку они сплетаются друг с другом, важно понимать, что два нижних аниона — контрольная группа — по-прежнему будут различать состояние кубита. Таким образом, переплетение анионов изменит то, какие анионы находятся в контрольной группе, и, следовательно, изменит основу. Мы оцениваем анионы, всегда сначала объединяя контрольную группу (нижние анионы), поэтому замена этих анионов приведет к повороту системы. Поскольку эти анионы неабелевы , порядок анионов (какие из них находятся в контрольной группе) будет иметь значение, и поэтому они преобразуют систему.

Полный оператор косы можно получить как:

Чтобы математически построить операторы F и R , мы можем рассмотреть перестановки этих операторов F и R. Мы знаем, что если мы последовательно изменим основу, на которой действуем, это в конечном итоге приведет нас обратно к той же основе. Точно так же мы знаем, что если мы сплетем анионы друг с другом определенное количество раз, это приведет обратно в то же состояние. Эти аксиомы называются пятиугольными и шестиугольными аксиомами соответственно, поскольку выполнение операции можно визуализировать с помощью пятиугольника/шестиугольника преобразований состояний. Хотя это математически сложно, [17] к ним гораздо успешнее подойти визуально.

С помощью этих операторов кос мы можем наконец формализовать понятие кос с точки зрения того, как они действуют на наше гильбертово пространство, и построить произвольные универсальные квантовые вентили. [18]

Смотрите также

Рекомендации

  1. ^ Китаев, Алексей (9 июля 1997 г.). «Отказоустойчивые квантовые вычисления с помощью анионов». Анналы физики . 303 : 2–30. arXiv : Quant-ph/9707021v1 . Бибкод : 2003AnPhy.303....2K. дои : 10.1016/S0003-4916(02)00018-0. S2CID  11199664.
  2. Кастельвекки, Давиде (3 июля 2020 г.). «Добро пожаловать всем! Физики нашли лучшее доказательство долгожданных двумерных структур». Природа . 583 (7815): 176–177. Бибкод : 2020Natur.583..176C. дои : 10.1038/d41586-020-01988-0 . PMID  32620884. S2CID  220336025. Саймон и другие разработали сложные теории, которые используют анионы в качестве платформы для квантовых компьютеров. Пары квазичастиц могли бы закодировать в своей памяти информацию о том, как они вращались друг вокруг друга. А поскольку дробная статистика «топологична» — она зависит от того, сколько раз один объект обошел вокруг другого, а не от небольших изменений в его траектории — на нее не влияют крошечные возмущения. Эта надежность может облегчить масштабирование топологических квантовых компьютеров по сравнению с современными технологиями квантовых вычислений, которые подвержены ошибкам.
  3. ^ Камино, Фернандо Э.; Чжоу, Вэй; Гольдман, Владимир Дж. (6 декабря 2005 г.). «Суперпериод Ааронова – Бома в квазичастичном интерферометре Лафлина». Физ. Преподобный Летт . 95 (24): 246802. arXiv : cond-mat/0504341 . Бибкод : 2005PhRvL..95x6802C. doi : 10.1103/PhysRevLett.95.246802 . ПМИД  16384405.
  4. Уиллет, Р.Л. (15 января 2013 г.). «Осцилляции Ааронова – Бома, настроенные магнитным полем, и свидетельства существования неабелевых анионов при ν = 5/2». Письма о физических отзывах . 111 (18): 186401. arXiv : 1301.2639 . Бибкод : 2013PhRvL.111r6401W. doi : 10.1103/PhysRevLett.111.186401. PMID  24237543. S2CID  22780228.
  5. ^ фон Кейзерлинг, Курт; Саймон, С.Х.; Бернд, Розенов (2015). «Усиленная кулоновская связь с объемными краями в дробных интерферометрах Фабри-Перо». Письма о физических отзывах . 115 (12): 126807. arXiv : 1411.4654 . Бибкод : 2015PhRvL.115l6807V. doi : 10.1103/PhysRevLett.115.126807. PMID  26431008. S2CID  20103218.
  6. Болл, Филип (29 сентября 2021 г.). «Основная стратегия квантовых вычислений терпит серьезные неудачи». Журнал Кванта . Проверено 30 сентября 2021 г.
  7. Вуд, Чарли (9 мая 2023 г.). «Физики создают неуловимые частицы, которые помнят свое прошлое». Журнал Кванта .
  8. Андерсен, Тронд и другие (9 октября 2023 г.). «Наблюдение неабелевой статистики обмена на сверхпроводящем процессоре». arXiv : 2210.10255 . {{cite journal}}: Требуется цитировать журнал |journal=( помощь )
  9. Икбал, Мохсин и другие (5 мая 2023 г.). «Создание неабелева топологического порядка и анионов на процессоре с захваченными ионами». arXiv : 2305.03766 . {{cite journal}}: Требуется цитировать журнал |journal=( помощь )
  10. ^ аб Фридман, Майкл Х.; Ларсен, Майкл; Ван, Чжэнхань (01 июня 2002 г.). «Модульный функтор, универсальный для квантовых вычислений». Связь в математической физике . 227 (3): 605–622. arXiv : Quant-ph/0001108 . Бибкод : 2002CMaPh.227..605F. дои : 10.1007/s002200200645. ISSN  0010-3616. S2CID  8990600.
  11. ^ Фридман, Майкл Х.; Китаев, Алексей; Ван, Чжэнхань (01 июня 2002 г.). «Моделирование топологических теорий поля с помощью квантовых компьютеров». Связь в математической физике . 227 (3): 587–603. arXiv : Quant-ph/0001071 . Бибкод : 2002CMaPh.227..587F. дои : 10.1007/s002200200635. ISSN  0010-3616. S2CID  449219.
  12. ^ Фридман, Майкл; Китаев, Алексей; Ларсен, Майкл; Ван, Чжэнхань (1 января 2003 г.). «Топологические квантовые вычисления». Бюллетень Американского математического общества . 40 (1): 31–38. arXiv : Quant-ph/0101025 . дои : 10.1090/S0273-0979-02-00964-3. ISSN  0273-0979.
  13. ^ Рауссендорф, Р.; Харрингтон, Дж.; Гоял, К. (1 января 2007 г.). «Топологическая отказоустойчивость в квантовых вычислениях состояний кластера». Новый журнал физики . 9 (6): 199. arXiv : quant-ph/0703143 . Бибкод : 2007NJPh....9..199R. дои : 10.1088/1367-2630/6.09.199. ISSN  1367-2630. S2CID  13811487.
  14. ^ Пирс, Шерил; Университет Пердью. «Предлагаемое квантовое устройство может кратко реализовать возникающие частицы, такие как анионы Фибоначчи». физ.орг . Проверено 25 февраля 2024 г.
  15. ^ Требст, Саймон; Тройер, Матиас; Ван, Чжэнхань; Людвиг, Андреас WW (2008). «Краткое введение в любые модели Фибоначчи». Приложение «Прогресс теоретической физики» . 176 : 384–407. arXiv : 0902.3275 . Бибкод : 2008ПТПС.176..384Т. дои : 10.1143/PTPS.176.384. S2CID  16880657.
  16. ^ Аб Наяк, Четан (2008). «Неабелевы анионы и топологические квантовые вычисления». Обзоры современной физики . 80 (3): 1083–1159. arXiv : 0707.1889 . Бибкод : 2008RvMP...80.1083N. doi : 10.1103/RevModPhys.80.1083. S2CID  119628297.
  17. ^ Эрик Пакетт. Топологические квантовые вычисления с анионами, 1 2009. Категории, логика и основы физики IV.
  18. ^ Явные косы, выполняющие определенные квантовые вычисления с анионами Фибоначчи, были предоставлены Bonesteel, NE; Хормози, Л.; Зикос, Г.; Саймон, С.Х.; Уэст, КВ (2005). «Топологии кос для квантовых вычислений». Письма о физических отзывах . 95 (14): 140503. arXiv : quant-ph/0505065 . Бибкод : 2005PhRvL..95n0503B. doi : 10.1103/PhysRevLett.95.140503. PMID  16241636. S2CID  1246885.

дальнейшее чтение