Одномерная модель Изинга поперечного поля,
Вот мой вопрос : как вы явно записываете это основное состояние с точки зрения исходного основа? Явно: для , мы знаем, что основное состояние соответствует всем спинам вверх или вниз, т.е. "=" или "=" . Теперь, как найти явную форму для ?
Подумав об этом, я должен сказать, что это не так просто, как я думал. JW-преобразование на поперечной модели Изинга содержит немало тонкостей.
Итак, чтобы продолжить,
1) Возьмите свое основное состояние для ЛЮБОГО выражено на языке бесспиновых фермионов. Я подчеркиваю ЛЮБУЮ, потому что это условие выполняется всегда, а не только для . Теперь это вакуум, определяемый формулой ул. . Это нетривиальное условие, записанное на спин-языке, т.е. мы берем операторы и выполните следующие действия:
2) Применить обратное преобразование Боголюбова к : .
3) Применить обратное преобразование Фурье:
4) Применяем обратное преобразование Джордана-Вигнера: .
Все эти преобразования обратимы (см. этот pdf для преобразования JW и обратного преобразования JW ), поэтому вы можете это сделать. Итак, составив все карты, можно выразить , где является весьма нетривиальной функцией.
Затем нужно найти ядро , т.е. ул. . основное состояние, записанное в спин-базисе.
Вы можете написать программу, которая сделает это за вас символически, но при всех ваших усилиях вы получите крайне нелокальное основное состояние в спиновом базисе из-за всех струн Джордана-Вигнера.
Примечание:
Есть много тонкостей, связанных с этой трансформацией. О чем очень часто не упоминают при выводе спектра заключается в том, что преобразование JW ДОЛЖНО выполняться отдельно для состояний с разной четностью в гильбертовом пространстве.
Это связано с тем, что наложение периодических граничных условий в спиновом пространстве подразумевает наложение периодических граничных условий для НЕЧЕТНОГО числа фермионов, но антипериодических граничных условий для ЧЕТНОГО числа фермионов. Это влияет на преобразование Фурье. В расчете любой макроскопической величины в термодинамическом пределе нет никакой разницы, и многие книги/ресурсы просто отбрасывают разговоры о двух случаях. Но это различие должно быть сделано, если кто-то хочет быть осторожным.
Один вопрос, который возник у меня, когда я размышлял над этой проблемой, был: хм, в одном пределе, , основные состояния единственны, а в другом пределе основные состояния двукратно вырождены. Могу ли я легко увидеть это на фермионном языке?
Есть два решения проблемы, которые я могу придумать.
1) Возможно, основное состояние для каждого не уникален. То есть вместо неприводимого двумерного представления фермионного КА, которое мы обычно принимаем действует в, могут быть операторами в (приводимое) размерное представление, с «основные состояния».
2) Четные и нечетные сектора полного гильбертова пространства порождают два условия на основное состояние: в четном секторе дает условие пока в нечетном секторе дает другое условие = 0.
Может быть, дело в том, что когда , , в то время когда , .
Мне кажется более вероятным, что 2) является правильным анализом, хотя это утверждение будет трудно доказать.
Я думаю, суть в том, что все считают, что обращение операции Жордана-Вигнера должно быть способно давать простые собственные состояния, которые очень легко получаются в любой или , но после очень тщательного изучения литературы оказалось, что никто не вычислял это явно.
Априори нет причин, по которым может быть какое-либо несоответствие, и метод, изложенный в ответе nervxxx, безусловно, должен работать, но на самом деле это никогда не делалось раньше.
Исидор Севилья