Интерпретация одномерного поперечного поля модели Изинга вакуумного состояния на спиновом языке

Одномерная модель Изинга поперечного поля,

ЧАС "=" Дж я о я г о я + 1 г час я о я Икс ,
можно решить с помощью преобразования Джордана-Вигнера (JW) (для получения дополнительной информации о явной форме преобразования JW можно посмотреть следующую ссылку ). Здесь, о г , о Икс являются матрицами Паули, и сумма переносится по бесконечной цепочке (рассмотрите Дж > 0 ). После нелокального отображения JW на бесспиновые фермионные операторы (и преобразования Боголюбова) получается квадратичный гамильтониан, диагональный в импульсном пространстве:
ЧАС "=" к ϵ ( к , час ) ( а к а к + 1 / 2 )
Где мы выражаем час в единицах Дж и ϵ ( к , час ) представляет закон дисперсии возбуждений системы и зависит от поперечного поля час и волновой вектор к . а к ( ) — обычный оператор уничтожения (рождения), который уничтожает (рождает) бесспиновый фермион с импульсом к . Для час < 1 это соотношение дисперсии имеет разрыв, а это означает, что для создания требуется конечная стоимость энергии. а к возбуждение относительно основного состояния вакуума |   0 .

Вот мой вопрос : как вы явно записываете это |   0 основное состояние с точки зрения исходного о г основа? Явно: для час "=" 0 , мы знаем, что основное состояние соответствует всем спинам вверх или вниз, т.е. |   0 "=" |   ↑↑↑↑↑↑ или |   0 "=" |   ↓↓↓↓↓↓ . Теперь, как найти явную форму |   0 для час 0 ?

Волновая функция может быть явно записана в виде пфаффиана в о Икс основе, и тогда вы можете формально преобразовать эту волновую функцию к о г Однако результат не будет явным.

Ответы (2)

Подумав об этом, я должен сказать, что это не так просто, как я думал. JW-преобразование на поперечной модели Изинга содержит немало тонкостей.

Итак, чтобы продолжить,

1) Возьмите свое основное состояние для ЛЮБОГО час выражено на языке бесспиновых фермионов. Я подчеркиваю ЛЮБУЮ, потому что это условие выполняется всегда, а не только для час < 1 . Теперь это вакуум, определяемый формулой | 0 ул. а к | 0 "=" 0 . Это нетривиальное условие, записанное на спин-языке, т.е. мы берем операторы а к и выполните следующие действия:

2) Применить обратное преобразование Боголюбова к а к : { а к } { б к } .

3) Применить обратное преобразование Фурье: { б к } { б я }

4) Применяем обратное преобразование Джордана-Вигнера: б я "=" ф ( о Икс , о у , о г ) .

Все эти преобразования обратимы (см. этот pdf для преобразования JW и обратного преобразования JW ), поэтому вы можете это сделать. Итак, составив все карты, можно выразить а к "=" г ( о Икс , о у , о г ) , где г является весьма нетривиальной функцией.

Затем нужно найти ядро г ( о Икс , о у , о г ) , т.е. | ψ ул. г ( о Икс , о у , о г ) | ψ "=" 0 . | ψ основное состояние, записанное в спин-базисе.

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

Примечание:

Есть много тонкостей, связанных с этой трансформацией. О чем очень часто не упоминают при выводе спектра ϵ ( к , час ) заключается в том, что преобразование JW ДОЛЖНО выполняться отдельно для состояний с разной четностью в гильбертовом пространстве.

Это связано с тем, что наложение периодических граничных условий в спиновом пространстве подразумевает наложение периодических граничных условий для НЕЧЕТНОГО числа фермионов, но антипериодических граничных условий для ЧЕТНОГО числа фермионов. Это влияет на преобразование Фурье. В расчете любой макроскопической величины в термодинамическом пределе нет никакой разницы, и многие книги/ресурсы просто отбрасывают разговоры о двух случаях. Но это различие должно быть сделано, если кто-то хочет быть осторожным.

Один вопрос, который возник у меня, когда я размышлял над этой проблемой, был: хм, в одном пределе, час , основные состояния единственны, а в другом пределе час 0 основные состояния двукратно вырождены. Могу ли я легко увидеть это на фермионном языке?

Есть два решения проблемы, которые я могу придумать.

1) Возможно, основное состояние | 0 к для каждого к не уникален. То есть вместо неприводимого двумерного представления фермионного КА, которое мы обычно принимаем а к действует в, а к могут быть операторами в 2 × д (приводимое) размерное представление, с д «основные состояния».

2) Четные и нечетные сектора полного гильбертова пространства порождают два условия на основное состояние: а к в четном секторе дает условие г ( о Икс , о у , о г ) | ψ "=" 0 пока а к в нечетном секторе дает другое условие г ( о Икс , о у , о г ) | ψ = 0.

Может быть, дело в том, что когда час , | ψ "=" | ψ , в то время когда час 0 , | ψ | ψ .

Мне кажется более вероятным, что 2) является правильным анализом, хотя это утверждение будет трудно доказать.

Я думал об этом раньше, и это, скорее всего, путь. Однако было две вещи, которые я не понял, как это сделать: во-первых: как инвертировать JW-преобразование (я не видел фермионных переменных для вращения переменных в ссылках, которые я просматривал)? Во-вторых: в нашей задаче основное состояние для час < 1 это состояние вакуума, т.е. вы ничего не заполняете. Таким образом, как вы находите, чему это соответствует? Я предполагаю, что мой вопрос заключается в том, что такое состояние вакуума с точки зрения спинового базиса (это просто невозможно записать, и нужно использовать теорию возмущений, чтобы понять, что происходит)?
Также обратите внимание, что, поскольку ваше гильбертово пространство 2 Н многомерное, общее состояние может иметь столько же терминов. Так что даже для малого Н , ваше основное состояние может выглядеть очень ужасно и содержать много терминов. Я говорю это потому, что при выполнении множества спинов часто возникает неправильное представление о том, что состояние является разложимым или имеет простую форму, где одни спины вверх, а другие вниз. Если вы действительно настроены на это, я бы попытался явно решить это для некоторых низкоразмерных случаев, таких как Н "=" 2 , 3 и т. д., и в этом случае вы могли бы просто написать матрицу для гамильтониана и использовать компьютер, чтобы найти ваше основное состояние....
... и если вы дойдете до этого, опубликуйте это здесь в качестве ответа, так как мне также было бы любопытно посмотреть, как это выглядит. Если у вас есть какие-либо вопросы об этом конкретном процессе, не стесняйтесь спрашивать.
@VanillaSpinIce Ознакомьтесь с этим набором заметок: michaelnielsen.org/blog/archive/notes/… уравнения 31–34, где представлены преобразование JW и его обратное. Я также обновил свой ответ, чтобы ответить на ваш второй вопрос.
Я думаю, что ваш ответ - это все, что я искал, и, скорее всего, это единственный путь. Не могли бы вы добавить ссылку на свой последний комментарий в свой ответ (я думаю, это сделает его лучше)? Моя первоначальная мотивация для этого вопроса состояла в том, чтобы попытаться понять основное состояние этой системы с помощью непертурбативного метода (здесь у нас есть точное решение!). Но, как вы заметили, ответ довольно сложный...
Для того чтобы понять тип возбуждений, необходимо прибегнуть к некоторой картине теории возмущений. Тогда ясно, что в термодинамическом пределе и при час << 1 , возбуждения с самой низкой энергией сильно нелокальны и соответствуют доменным границам. Однако что происходит, когда у вас есть час 1 а у вас фазовый переход? Кажется, что теория возмущений не работает, и вакуумное состояние сильно перемешано с возбужденными состояниями. Тогда становится довольно сложно получить реальную космическую картину того, что происходит...
@VanillaSpinIce Что касается получения основного состояния и возбужденных состояний (и фактически всего гильбертова пространства), преобразование Джордана Вигнера дает вам ТОЧНЫЙ результат. Вот что значит точно РЕШИТЬ модель. Нет необходимости прибегать к теории возмущений. Еще раз, для ЛЮБОГО час , основное состояние на фермионном языке | 0 , а первое возбужденное состояние а 0 | 0 . Это связано с тем, что дисперсионное соотношение имеет минимум при 0, и, таким образом, помещая фермион в к "=" 0 дает низшее возбуждение выше | 0 .
(продолжение) Перевод первого возбужденного состояния с точки зрения спинового языка будет болезненным, но вы просто следуете тому же рецепту, который я изложил в своем ответе. Это сохраняется даже при час "=" 1 , критичность. Пожалуйста, попытайтесь получить эту точку!! Теория возмущений, о которой вы говорите, - это подход, когда вы начинаете с любого предела час "=" 0 или час "=" и постарайтесь работать над час "=" 1 . И то, что вы имеете в виду под «вакуумным состоянием сильно смешивается с возбужденными состояниями», заключается в том, что вакуумное состояние в одном из этих пределов (все спины, например) смешиваются с возбужденными состояниями соответствующих пределов (область
(продолж.) стены и т.д.) НО! Это отдельный подход от преобразования JW в целом. Чтобы провести аналогию, предположим, что вы находитесь в машине и хотите узнать скорость, с которой вы движетесь. У вас есть точное решение: просто посмотрите на спидометр. Но есть приблизительный способ сделать это: возьмите секундомер, измерьте время между деревьями, которые вы проезжаете по пути, оцените расстояние до ваших деревьев, чтобы найти свою приблизительную скорость. Но зачем это делать, если можно просто посмотреть на свой спидометр??? В случае поперечной модели Изинга преобразование JW очень хорошо дает вам
(продолжение) спидометр. Но не у всех автомобилей (читай: моделей) есть спидометры, которые можно легко или вообще найти, вот почему нам приходится прибегать к оценке скорости, глядя на расстояние/время между деревьями (читай: теория возмущений). Одномерная поперечная модель Изинга отличается тем, что является точно решаемой моделью.
Я это понимаю. Моя первоначальная мотивация, как я упоминал в своем предыдущем комментарии, заключается в том, что я пытаюсь понять состояние вакуума с точки зрения картины вращения в реальном пространстве. Конечно, точное решение дает вам это состояние, но не является ли оно тривиальным. Если вы хотите понять это состояние простыми словами, вам придется прибегнуть к теории возмущений. В этом смысле интерпретация вашего вакуумного состояния исходит из аргумента типа теории возмущений. Из точного решения вы можете сказать (только с помощью очень сложных вычислений), какой у вас тип вакуумного состояния.
(продолжение) но это просто очень сложно сделать...
Преобразование Боголюбова имеет более хитрые тонкости, и о них упоминают еще реже. В частности, в них содержится ключ к пониманию того, почему основное состояние имеет различную степень вырождения в пределе сильного/слабого поля. Недавно я разместил и ответил на связанный вопрос . Надеюсь, вы найдете это полезным.
@VanillaSpinIce Чтобы точно найти собственные состояния в спиновом базисе, вы также должны учитывать, что фермионный вакуум изменяется нетривиально после преобразования Боголюбова. Вы можете найти более подробную информацию в моем недавнем вопросе (и его ссылках) здесь . Однако, по мнению ИМО, в целом бесполезно рассматривать сильно взаимодействующую квантовую систему многих тел в ее «исходных» степенях свободы (в данном случае — спине). Гораздо разумнее думать о квазичастицах (если это возможно) или об эффективной теории (в данном случае о фермионах).
@Chenfeng: Спасибо, Chenfeng, я рассмотрю ваш недавний вопрос. Кроме того, я согласен с тем, что рассмотрение основного состояния в исходном или, скажем, тривиальном базисе на самом деле не так уж полезно. По-настоящему понять этот вакуум можно только в пертурбативном пределе.

Я думаю, суть в том, что все считают, что обращение операции Жордана-Вигнера должно быть способно давать простые собственные состояния, которые очень легко получаются в любой час 0 или час , но после очень тщательного изучения литературы оказалось, что никто не вычислял это явно.

Априори нет причин, по которым может быть какое-либо несоответствие, и метод, изложенный в ответе nervxxx, безусловно, должен работать, но на самом деле это никогда не делалось раньше.