Как увидеть вырождение основного состояния (GSD) из теории BFBFBF в 2+12+12+1 ddd?

Я видел много раз, Б Ф теория имеет нетривиальное вырождение в основном состоянии (обычно на торе), но я не вижу, как получается вывод. Недавно я нашел статью Ханссона, Оганесяна и Сондхи « Сверхпроводники топологически упорядочены» , в которой сверхпроводник описывается уравнением Максвелла. Б Ф теория. У них есть раздел GSD в Б Ф теория в 2 + 1 г . Но на самом деле у меня все еще есть вопросы, чтобы понять это.

The Б Ф теория в 2 + 1 г дается действием

С "=" 1 π г 3 Икс ϵ мю ν о б мю ν а о , ( 1 )
где а мю и б мю являются U ( 1 ) калибровочные поля. мю , ν , о "=" 0 , Икс , у .

Работа над 2 -torous, как в разделе IV.A в статье Ханссона, Б Ф теорию можно записать в виде

С "=" 1 π г 3 Икс [ ϵ я Дж а ˙ я б Дж + а 0 ϵ я Дж я б Дж + б 0 ϵ я Дж я а Дж ] ,
где а ˙ "=" 0 а и я , Дж "=" Икс , у . Они интерпретируют а 0 и б 0 множители для ограничений ϵ я Дж я б Дж "=" 0 и ϵ я Дж я а Дж "=" 0 . При вставке а я "=" я Λ а + а ¯ я / л и б я "=" я Λ б + б ¯ я / л , где Λ а / б периодические функции на торе, а я ¯ и б я ¯ пространственно постоянны, л обозначает размер системы, выше Б Ф теория сводится к
С "=" 1 π г 3 Икс ϵ я Дж а ¯ ˙ я б ¯ Дж . ( 2 )

Тогда они говорят, что из уравнения (2) можно получить коммутационное соотношение ( уравнение (38) в их статье)

[ а ¯ Икс , 1 π б ¯ у ] "=" я , [ а ¯ у , 1 π б ¯ Икс ] "=" я . ( 3 )

Более того, из коммутационных соотношений (3), можно иметь ( уравнение (39) в их статье)

А Икс Б у + Б у А Икс "=" 0 , А у Б Икс + Б Икс А у "=" 0 , ( 4 )
где А я "=" е я а ¯ я и Б я "=" е я б ¯ я . Они утверждают, что отношения Eq. (4) указывает на 2 × 2 "=" 4 -кратно GSD и " Б я можно интерпретировать как измерение б -флюс или вставка а - флюс."

Есть несколько моментов, которые я не понимаю.

  1. Как я могу получить отношения связи Eq. (3) из уравнения действия. (2)?
  2. Почему отношения Eq. (4) указать 4 -кратно GSD?
  3. Как я должен понимать высказывание " Б я можно интерпретировать как измерение б -флюс или вставка а -флюс."?

Я был бы очень признателен, если кто-нибудь может дать мне несколько советов или предложить мне некоторые соответствующие ссылки.

Ответы (1)

Сначала небольшое замечание: обычно люди называют эту теорию теорией Черна-Саймонса в (2+1)d, тогда как теория BF обычно ссылается на аналогичную теорию в (3+1)d. Но в любом случае, это название не имеет значения. U(1)-теория Черна-Саймонса в (2+1)d всегда формулируется в следующем общем виде

С "=" я 4 π К я Дж а я г а Дж .
Действие в вашем уравнении. (1) соответствует следующему К матрица
К "=" [ 0 2 2 0 ] ,
который очень известен К матрица, которая соответствует Z 2 топологический порядок торического кода (или Z 2 Калибровочная теория). Низкоэнергетическая эффективная теория сверхпроводника с полной щелью представляет собой Z 2 калибровочной теории просто потому, что конденсация куперовской пары с зарядом 2 преобразовала Хиггсе калибровочную структуру U(1) в Z 2 . Это эквивалентно (и, возможно, лучше) тому, что сверхпроводник проявляет Z 2 топологический порядок.

Что касается ваших технических вопросов, я бы порекомендовал оригинальную статью Вена и Зи (cond-mat/9711223) о топологическом вырождении основного состояния теории Черна-Саймонса или раздел 8.2.1 книги Вена. Ваш последний вопрос связан с моделью торического кода Китаева, которую я бы предложил в оригинальной статье Китаева (cond-mat/0506438) .

Попробую кратко ответить на ваши вопросы.

  1. Из уравнения (2) мы знаем лагранжиан л "=" 1 π ( а ¯ ˙ Икс б ¯ у а ¯ ˙ у б ¯ Икс ) , согласно классической механике, сопряженные импульсы а ¯ Икс и а ¯ у являются

    п а ¯ Икс "=" л ( а ¯ ˙ Икс ) "=" 1 π б ¯ у , п а ¯ у "=" л ( а ¯ ˙ у ) "=" 1 π б ¯ Икс .
    Каноническим квантованием ( [ д , п ] "=" я в квантовой механике), уравнение (3) просто следует из
    [ а ¯ Икс , п а ¯ Икс ] "=" [ а ¯ Икс , 1 π б ¯ у ] "=" я , [ а ¯ у , п а ¯ у ] "=" [ а ¯ у , 1 π б ¯ Икс ] "=" я .

  2. Однако для вычисления вырождения основного состояния вдоль этой линии нужно знать, что калибровочные поля а и б оба компактны из-за того, что их калибровочные заряды квантуются (см. раздел 6.3 книги Вэня), а это означает, что помимо локального калибровочного преобразования допускается и так называемое большое калибровочное преобразование. На торе преобразование большой калибровки посылает а ¯ я а ¯ я + 2 π и б ¯ я б ¯ я + 2 π . Калибровочные конфигурации, связанные калибровочным преобразованием, являются просто разными метками одного и того же физического квантового состояния, поэтому большое калибровочное преобразование фактически накладывает граничное условие на а ¯ и б ¯ . Например, | а ¯ Икс "=" | а ¯ Икс + 2 π являются одним и тем же государством. Таким образом, квантово-механическая волновая функция подчиняется периодическому граничному условию, например ψ ( а ¯ Икс ) "=" ψ ( а ¯ Икс + 2 π ) , а это означает, что импульс п а ¯ Икс "=" 1 π б ¯ у должен быть проквантован до целого числа (вспомним формулу импульсного квантования 2 π н л с л "=" 2 π ), т.е. б ¯ у "=" н π н е Z ). Однако в силу большого калибровочного преобразования | б ¯ у "=" | б ¯ у + 2 π также являются одним и тем же состоянием, поэтому н "=" 0 , 1 может принимать только два значения, что соответствует двум собственным состояниям б ¯ у , натягивающий двумерное гильбертово пространство. Повторите тот же аргумент для другой сопряженной пары. а ¯ у и б ¯ Икс , можно найти другое 2-мерное гильбертово пространство. В конце концов, гильбертово пространство основных состояний является просто прямым произведением обоих 2-мерных гильбертовых пространств, которое содержит всего 4 состояния, следовательно, 4-кратное GSD.

  3. Вы можете понять это утверждение так же, как понимаете следующее утверждение в квантовой механике: оператор импульса п измеряет импульс частицы, а также генерирует перевод координат. Каждый квантово-механический оператор имеет два эффекта: измерительный и операционный. Если он измеряет импульс, он также должен управлять (или изменять) координатой. Теперь отношение между а -флюс и б -поток аналогичен отношению между координатой и импульсом, поэтому любой оператор, измеряющий б -поток обязательно должен изменить а -поток (путем подстановки потока причины) и, очевидно, Б такой оператор. В модели торического кода А и Б также известны как петлевой оператор по гомологическому базису, который имеет более ясный геометрический и физический смысл. Чтобы узнать больше об алгебре петель, вы можете посмотреть статью (1208.4834) Баркешли, Цзяня и Ци или статью (1208.4109) Ю, Цзяня и Вэня.