Антикоммутируют ли производные с переменными Грассмана и комплексными числами в интеграле по траекториям многих тел?

Я пытаюсь научиться делать интеграл по траекториям многих тел как для фермионов, так и для бозонов , и я застрял. Я следую Altland and Simons - The Condensed Matte Field Theory, глава 4. На странице 167 уравнение 4.27 выглядит следующим образом:

Z "=" н "=" 1 Н г ( ψ ¯ н , ψ н ) е дельта н "=" 0 Н 1 [ дельта 1 ( ψ ¯ н ψ ¯ н + 1 ) . ψ н + ЧАС ( ψ ¯ н + 1 , ψ н ) ]

(я установил мю "=" 0 из уравнения в книге). Лимит Н затем берется, что включает в себя разные вещи, но я не понимаю вот что:

лим Н дельта 1 ( ψ ¯ н ψ ¯ н + 1 ) ) т ψ ¯

что хорошо, но следующее

Z "=" Д ( ψ ¯ , ψ ) е С [ ψ ¯ , ψ ] , С [ ψ ¯ , ψ ] "=" 0 β [ ψ ¯ т ψ + ЧАС ( ψ ¯ , ψ ) ]

Мой вопрос в том, как вы получаете от т ψ ¯ , который т ψ ¯ ψ в Z , к + ψ ¯ т ψ ? Если бы это было только для фермионов, я бы предположил, что переменная Грассмана ψ и производная т антикоммутативный, откуда берется знак минус. Но в книге говорится, что это справедливо как для бозонов, так и для фермионов; для бозонов ψ является комплексным числом, и поэтому я бы не ожидал знака минус.

Любая помощь приветствуется!

Ответы (2)

Джейн, т явно является производной по бозонному времени т , так что он коммутирует со всем остальным (кроме функций т себя, с которым у него есть ненулевой коммутатор), а не антикоммутирует. Только если оба объекта имеют фермионный характер (если оба они нечетны по Грассману), они антикоммутируют друг с другом (или имеют антикоммутатор, который можно вычислить).

Однако в формулах нет ошибки со знаком. Вы задали хороший вопрос: как вы получаете от

т ψ ¯ ψ
к
+ ψ ¯ т ψ
Нужно немного терпения, чтобы ответить на этот вопрос. Обратите внимание, что в двух выражениях дифференцируется другая переменная. В первом это ψ ¯ это дифференцировано; во втором это ψ .

Вы не можете просто перемещать производные. Даже для бозонных функций ты в это нечто иное, чем ты в , не так ли?

Таким образом, два выражения не являются «очевидно равными», даже с точностью до знака, и чтобы преобразовать одно в другое, вы должны тщательно интегрировать по частям. Обратите внимание, что

т ( ψ ¯ ψ ) "=" т ψ ¯ ψ + ψ ¯ т ψ .
Это «правило Лейбница» действовало точно так же, как и для производной произведений бозонных факторов, потому что мне приходилось пузыриться т сквозь ψ 'песок т является бозонным объектом. Если бы я записывал правило Лейбница для производной Грассмана, мне пришлось бы менять знак каждый раз, когда производная будет пузыриться через нечетный множитель Грассмана.

Но здесь мы имеем дело с бозоном т -производные, так что правило Лейбница остается таким же, как всегда. Таким образом, это означает, что с точностью до полной производной, а именно левой части т ( ψ ¯ ψ ) который интегрируется до нуля по периодическому евклидову времени - два члена в правой части противоположны друг другу. Отсюда и появился минус.

За исключением того, что я совершенно уверен, что числа Грассмана образуют дифференциальную градуированную алгебру и поэтому подчиняются градуированному правилу Лейбница...
Нет, @genneth, ты запутался. Оператор г на странице Википедии, на которую вы ссылаетесь, является нечетным оператором Грассмана (поэтому он возводится в квадрат до нуля, см. Правило (i) на этой странице), но оператор т в вопросе Джейн — это обычная производная, четная по Грассману. Фактор ( 1 ) | а | перед вторым членом в (ii), в более общем смысле, ( 1 ) | а | | г | , что доказывает, что г Грассман-странен там, но не здесь.
@lubos: я исправлен. Вы совершенно правы :-) +1
@Lubos У меня есть еще один вопрос, связанный с этим, но я не уверен, что он достаточно интересен / отличается, чтобы задать его как новый вопрос: у нас есть т ( ψ ¯ ψ ) "=" ( т ψ ¯ ) ψ + ψ ¯ т ψ "=" 0 . Могу ли я написать ( т ψ ¯ ) ψ "=" ψ ( т ψ ¯ ) путем перемещения ψ прошло другое число Грассмана? Затем ψ ( т ψ ¯ ) "=" ψ ¯ т ψ .
я не знаю, что такое «бозонное время». Существует ли также «фермионное время»? или вы просто говорите бозонный как синоним скаляра, который коммутирует со всем?

Ответ на ваш вопрос не ссылайтесь ψ является переменной Грассмана. Давай сделаем это:

Начните с:

лим Н н ( ψ ¯ н ψ ¯ н + 1 ) ψ н "=" лим Н н ( ψ ¯ н ψ н ψ ¯ н + 1 ψ н )

Прежде чем взять лимит Н сдвиньте фиктивную переменную н во второй срок к н 1 (Я не помню, но, возможно, необходимо использовать ψ ( β ) "=" ψ ( 0 ) в какой-то момент) мы получаем:

лим Н н ( ψ ¯ н ψ н ψ ¯ н ψ н 1 ) "=" лим Н дельта н ψ ¯ н ( ψ н ψ н 1 ) дельта

Поэтому, когда вы применяете ограничение Н Вы получаете:

г т   ψ ¯ ( т ) т ψ ( т ) ,

решение проблемы.

Однако, если вам нужен элегантный способ преобразить т ψ ¯ ψ к ψ ¯ т ψ вы определяете производную произведения Грассмана по нормальной переменной (под нормальной я подразумеваю все, что не является Грассманом) как:

т ( η η ) "=" т η η + η т η т η η "=" т ( η η ) η т η
поэтому:

г т   т ψ ¯ ( т ) ψ ( т ) "=" [ ψ ¯ ( т ) ψ ( т ) ] 0 β г т   ψ ¯ ( т ) т ψ ( т ) "=" г т   ψ ¯ ( т ) т ψ ( т ) ,
также решение проблемы.