Торический код — это топологический квантовый код, исправляющий ошибки , и пример кода стабилизатора , определенного на двумерной спиновой решетке . [1] Это самая простая и наиболее хорошо изученная из моделей квантового двойника. [2] Это также простейший пример топологического порядка — топологический порядок Z 2 (впервые изученный в контексте спиновой жидкости Z 2 в 1991 году). [3] [4] Торический код также можно рассматривать как калибровочную теорию Z 2 в определенном пределе. [5] Его представил Алексей Китаев .
Торический код получил свое название от периодических граничных условий, придающих ему форму тора . Эти условия придают модели трансляционную инвариантность, что полезно для аналитического исследования. Однако некоторые экспериментальные реализации требуют открытых граничных условий, позволяющих встроить систему в двумерную поверхность. Результирующий код обычно известен как планарный код. В большинстве, но не во всех случаях, это поведение идентично торическому коду.
Торический код определяется на двумерной решетке, обычно выбираемой в качестве квадратной решетки , со степенью свободы спина ½, расположенной на каждом ребре. Они выбраны периодическими. Операторы стабилизатора определяются на спинах вокруг каждой вершины и плакетки [ необходимо определение ] (или грани, т.е. вершины двойственной решетки) [ необходимы пояснения ] решетки следующим образом:
Где здесь мы используем для обозначения ребер, касающихся вершины , и для обозначения ребер, окружающих плакетку . Пространство стабилизаторов кода — это пространство, в котором все стабилизаторы действуют тривиально, следовательно, для любого состояния в этом пространстве справедливо равенство
Для торического кода это пространство является четырехмерным и поэтому может использоваться для хранения двух кубитов квантовой информации . Это можно доказать, рассмотрев количество независимых операторов стабилизатора. Возникновение ошибок приведет к перемещению состояния из пространства стабилизатора, в результате чего появятся вершины и плакеты, для которых вышеуказанное условие не выполняется. С позиций этих нарушений является синдромом кода, который можно использовать для исправления ошибок.
Уникальная природа топологических кодов, таких как торический код, заключается в том, что нарушения стабилизатора можно интерпретировать как квазичастицы . В частности, если код находится в таком состоянии, что
,
Можно сказать, что квазичастица, известная как анион, существует в вершине . Аналогичным образом нарушения связаны с так называемыми выносками на плакетках. Таким образом, пространство стабилизатора соответствует анонному вакууму. Одиночные ошибки спина приводят к созданию пар анионов и их транспортировке по решетке.
Когда ошибки создают анионные пары и перемещают анионы, можно представить путь, соединяющий их, состоящий из всех задействованных ссылок. Если затем анионы встречаются и уничтожаются, этот путь описывает петлю. Если цикл топологически тривиален, он не влияет на хранимую информацию. В этом случае уничтожение анионов исправляет все ошибки, связанные с их созданием и транспортировкой. Однако, если цикл топологически нетривиален, хотя повторное уничтожение анионов возвращает состояние в пространство стабилизатора, он также реализует логическую операцию над хранимой информацией. Поэтому ошибки в данном случае не исправляются, а консолидируются.
Рассмотрим модель шума, для которой битовые и фазовые ошибки возникают независимо на каждом вращении, обе с вероятностью p . Когда p мало, это приведет к созданию редко распределенных пар анионов, которые не ушли далеко от точки своего создания. Исправление может быть достигнуто путем идентификации пар, в которых были созданы анионы (вплоть до класса эквивалентности), а затем их повторного уничтожения для устранения ошибок. Однако по мере увеличения p становится все более двусмысленным вопрос о том, как можно спарить анионы без риска образования топологически нетривиальных петель. Это дает пороговую вероятность, при которой исправление ошибок почти наверняка будет успешным. Путем сопоставления с моделью Изинга со случайными связями было обнаружено, что эта критическая вероятность составляет около 11%. [6]
Можно также рассмотреть другие модели ошибок и найти пороговые значения. Во всех изученных до сих пор случаях было обнаружено, что код насыщает границу хеширования . Для некоторых моделей ошибок, таких как смещенные ошибки, где битовые ошибки возникают чаще, чем фазовые ошибки, или наоборот, для достижения оптимальных пороговых значений необходимо использовать решетки, отличные от квадратной. [7] [8]
Эти пороговые значения являются верхними пределами и бесполезны, если не найдены эффективные алгоритмы для их достижения. Наиболее часто используемый алгоритм — идеальное сопоставление минимального веса . [9] При применении к модели шума с независимыми битовыми и флип-ошибками достигается порог около 10,5%. Это лишь немного меньше максимального показателя в 11%. Однако согласование не работает так хорошо, когда существуют корреляции между битовыми и фазовыми ошибками, например, при деполяризующем шуме.
Рассмотрены средства выполнения квантовых вычислений над логической информацией, хранящейся в торическом коде, при этом свойства кода обеспечивают отказоустойчивость. Было показано, что расширение пространства стабилизатора с помощью «дыр», вершин или плакеток, на которых стабилизаторы не применяются, позволяет закодировать в коде множество кубитов. Однако универсальный набор унитарных вентилей не может быть отказоустойчиво реализован с помощью унитарных операций, поэтому для достижения квантовых вычислений требуются дополнительные методы. Например, универсальные квантовые вычисления могут быть достигнуты путем подготовки магических состояний с помощью закодированных квантовых заглушек, называемых tidBits, которые используются для телепортации в необходимые дополнительные ворота при замене кубитами. Более того, подготовка магических состояний должна быть отказоустойчивой, чего можно достичь путем дистилляции магических состояний на зашумленных магических состояниях. Была найдена основанная на этом принципе схема квантовых вычислений , порог ошибки которой является самым высоким из известных для двумерной архитектуры. [10] [11]
Поскольку операторы стабилизатора торического кода квазилокальны и действуют только на спины, расположенные рядом друг с другом на двумерной решетке, вполне реально определить следующий гамильтониан:
Основное пространство состояний этого гамильтониана является пространством стабилизатора кода. Возбужденные состояния соответствуют состояниям анионов, энергия которых пропорциональна их числу. Таким образом, локальные ошибки энергетически подавляются зазором, который, как было показано, устойчив к локальным возмущениям. [12] Однако динамические эффекты таких возмущений могут по-прежнему вызывать проблемы в коде. [13] [14]
Этот пробел также придает коду определенную устойчивость к термическим ошибкам, позволяя почти наверняка исправить его в течение определенного критического времени. Это время увеличивается с увеличением , но поскольку произвольное увеличение этой связи нереально, защита, обеспечиваемая гамильтонианом, все еще имеет свои пределы.
Часто рассматриваются способы превращения торического кода или планарного кода в полностью самокорректирующуюся квантовую память. Самокоррекция означает, что гамильтониан естественным образом будет подавлять ошибки на неопределенный срок, что приведет к тому, что время жизни будет отклоняться от термодинамического предела. Было обнаружено, что в торическом коде это возможно только при наличии дальнодействующих взаимодействий между анионами. [15] [16] Были сделаны предложения по реализации этого в лаборатории. [17] Другой подход заключается в обобщении модели на более высокие измерения с возможностью самокоррекции в 4D с только квазилокальными взаимодействиями. [18]
Как уже говорилось выше, так называемые квазичастицы и квазичастицы связаны с вершинами и плакетками модели соответственно. Эти квазичастицы можно назвать анионами из-за нетривиального эффекта их сплетения. В частности, хотя оба вида анионов бозонны по отношению к самим себе, сплетение двух или не имеет никакого эффекта, полная монодромия а и ан приведет к фазе . Такой результат не согласуется ни с бозонной , ни с фермионной статистикой и, следовательно, является анионным.
Анонная взаимная статистика квазичастиц демонстрирует логические операции, выполняемые топологически нетривиальными циклами. Рассмотрим создание пары анионов с последующей транспортировкой одного из них по топологически нетривиальной петле, например, показанной на торе синим цветом на рисунке выше, прежде чем пара будет повторно аннилирована. Состояние возвращается в пространство стабилизатора, но цикл реализует логическую операцию над одним из сохраненных кубитов. Если анионы аналогичным образом перемещаются через красную петлю выше, также произойдет логическая операция. Фаза результирующего при сплетении анионов показывает, что эти операции не коммутируют, а антикоммутируют. Поэтому их можно интерпретировать как логические операторы и операторы Паули на одном из хранимых кубитов. Соответствующие логические числа Паули на другом кубите соответствуют аниону, следующему за синей петлей, и аниону, следующему за красной петлей. Никакого переплетения не происходит при прохождении и по параллельным путям, поэтому фаза не возникает и соответствующие логические операции коммутируют. Этого и следовало ожидать, поскольку эти операции образуют операции, действующие на разные кубиты.
Поскольку оба и анионы могут создаваться парами, ясно видно, что обе эти квазичастицы являются своими собственными античастицами. Таким образом , сложная частица, состоящая из двух анионов, эквивалентна вакууму, поскольку вакуум может дать такую пару, и такая пара аннигилирует в вакууме. Соответственно, эти композиты обладают бозонной статистикой, поскольку их сплетение всегда совершенно тривиально. Соединение двух анионов аналогично вакууму. Создание таких композитов известно как слияние анионов, и результаты могут быть записаны в терминах правил слияния. В данном случае они принимают вид
Где обозначает вакуум. Комбинация an и an нетривиальна. Таким образом, это представляет собой еще одну квазичастицу в модели, иногда обозначаемую с правилом слияния:
Из статистики сплетения анионов мы видим, что, поскольку любой одиночный обмен двух будет включать полную монодромию составляющей и , в результате возникнет фаза . Это подразумевает фермионную самостатистику для 's.
Для формирования кода исправления ошибок использование тора не требуется. Могут быть использованы и другие поверхности, топологические свойства которых определяют вырождение пространства стабилизатора. В общем, коды с квантовой коррекцией ошибок, определенные на двумерных спиновых решетках в соответствии с вышеизложенными принципами, известны как поверхностные коды. [19]
Также возможно определить подобные коды, используя спины более высокой размерности. Это модели квантовых двойников [20] и модели струнных сетей [21] , которые допускают большее разнообразие поведения анионов и поэтому могут использоваться для более продвинутых квантовых вычислений и предложений по исправлению ошибок. [22] К ним относятся не только модели с абелевыми анионами, но и модели с неабелевой статистикой. [23] [24] [25]
Наиболее явная демонстрация свойств торического кода была продемонстрирована в подходах, основанных на состояниях. Вместо того, чтобы пытаться реализовать гамильтониан, они просто готовят код в пространстве стабилизатора. Используя эту технику, эксперименты смогли продемонстрировать создание, транспортировку и статистику анионов [26] [27] [28] и измерение топологической энтропии запутанности . [28] Более поздние эксперименты также смогли продемонстрировать свойства кода по исправлению ошибок. [29] [28]
Для реализации торического кода и его обобщений с помощью гамильтониана большой прогресс был достигнут с использованием джозефсоновских переходов . Теория реализации гамильтонианов разработана для широкого класса топологических кодов. [30] Также был проведен эксперимент, реализующий гамильтониан торического кода для маленькой решетки и демонстрирующий квантовую память, обеспечиваемую ее вырожденным основным состоянием. [31]
Другие теоретические и экспериментальные работы, направленные на реализацию, основаны на холодных атомах. Был исследован набор методов, которые можно использовать для реализации топологических кодов с оптическими решетками [32] , а также эксперименты, касающиеся минимальных случаев топологического порядка. [33] Такие минимальные экземпляры торического кода были реализованы экспериментально на изолированных квадратных плакетках. [34] Также наблюдается прогресс в моделировании торической модели с атомами Ридберга , в которой можно продемонстрировать гамильтониан и эффекты диссипативного шума. [35] [36] Эксперименты с массивами атомов Ридберга также успешно реализовали торический код с периодическими граничными условиями в двух измерениях путем когерентной транспортировки массивов запутанных атомов. [37]