Топологический квантовый компьютер — это теоретический квантовый компьютер , предложенный российско-американским физиком Алексеем Китаевым в 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] Эти анионы можно использовать для создания универсальных вентилей для топологических квантовых вычислений. Создание модели состоит из трех основных этапов:
Анионы Фибоначчи характеризуются тремя качествами:
Последнее правило «слияния» можно распространить на систему трех анионов:
Таким образом, слияние трех анионов приведет к конечному состоянию полного заряда двумя способами или заряду ровно в одном направлении. Мы используем три состояния, чтобы определить нашу основу. [16] Однако, поскольку мы хотим закодировать эти три анионных состояния как суперпозиции 0 и 1, нам необходимо ограничить базис двумерным гильбертовым пространством. Таким образом, мы рассматриваем только два состояния с суммарным зарядом . Этот выбор чисто феноменологический. В этих состояниях мы группируем два крайних левых аниона в «контрольную группу», а крайний правый оставляем как «невычислительный анион». Мы классифицируем состояние как состояние, в котором контрольная группа имеет общий «сплавленный» заряд , а состояние имеет контрольную группу с общим «сплавленным» зарядом . Более полное описание см. в разделе Наяк. [16]
Следуя изложенным выше идеям, адиабатическое сплетение этих анионов друг с другом приведет к унитарному преобразованию. Эти операторы кос являются результатом двух подклассов операторов:
Матрицу R можно концептуально рассматривать как топологическую фазу, которая передается анионам во время переплетения. Когда анионы вращаются вокруг друг друга, они набирают некоторую фазу из-за эффекта Ааронова-Бома .
Матрица F является результатом физического вращения анионов. Поскольку они сплетаются друг с другом, важно понимать, что два нижних аниона — контрольная группа — по-прежнему будут различать состояние кубита. Таким образом, переплетение анионов изменит то, какие анионы находятся в контрольной группе, и, следовательно, изменит основу. Мы оцениваем анионы, всегда сначала объединяя контрольную группу (нижние анионы), поэтому замена этих анионов приведет к повороту системы. Поскольку эти анионы неабелевы , порядок анионов (какие из них находятся в контрольной группе) будет иметь значение, и поэтому они преобразуют систему.
Полный оператор косы можно получить как:
Чтобы математически построить операторы F и R , мы можем рассмотреть перестановки этих операторов F и R. Мы знаем, что если мы последовательно изменим основу, на которой действуем, это в конечном итоге приведет нас обратно к той же основе. Точно так же мы знаем, что если мы сплетем анионы друг с другом определенное количество раз, это приведет обратно в то же состояние. Эти аксиомы называются пятиугольными и шестиугольными аксиомами соответственно, поскольку выполнение операции можно визуализировать с помощью пятиугольника/шестиугольника преобразований состояний. Хотя это математически сложно, [17] к ним гораздо успешнее подойти визуально.
С помощью этих операторов кос мы можем наконец формализовать понятие кос с точки зрения того, как они действуют на наше гильбертово пространство, и построить произвольные универсальные квантовые вентили. [18]
Саймон и другие разработали сложные теории, которые используют анионы в качестве платформы для квантовых компьютеров. Пары квазичастиц могли бы закодировать в своей памяти информацию о том, как они вращались друг вокруг друга. А поскольку дробная статистика «топологична» — она зависит от того, сколько раз один объект обошел вокруг другого, а не от небольших изменений в его траектории — на нее не влияют крошечные возмущения. Эта надежность может облегчить масштабирование топологических квантовых компьютеров по сравнению с современными технологиями квантовых вычислений, которые подвержены ошибкам.
{{cite journal}}
: Требуется цитировать журнал |journal=
( помощь ){{cite journal}}
: Требуется цитировать журнал |journal=
( помощь )