Рассмотрим систему, взаимодействующую с термостатом при обратной температуре , с результирующей динамикой системы, описываемой лиувиллевским супероператором . Если эта система конечна, то при достаточно общих условиях на , ожидаем состояние равновесия , значение , однозначно заданное состоянием Гиббса
куда является гамильтонианом системы.
Позволять — группа симметрии гамильтониана, а это означает, что существует унитарное представление из такой, что для всех . Понятно, что у нас тоже , поэтому состояние Гиббса сохраняет все симметрии гамильтониана. В этом смысле кажется, что в конечных системах не может быть спонтанного нарушения симметрии (SSB) .
Далее в типичном повествовании говорится, что на самом деле SSB может возникать, но только в бесконечных системах. Здесь нет гарантии, что является трассовым классом, поэтому в целом состояние Гиббса определено нечетко. Чтобы распространить понятие «теплового» состояния на бесконечные системы, обычно определяют так называемые состояния КМС. Это штаты которые удовлетворяют условию KMS, которое можно (неформально) сформулировать как
для всех операторов и в операторной алгебре, где указывает ожидаемое значение по отношению к состоянию . (все опускаю -алгебраические детали здесь для краткости.)
Существует большое количество литературы, показывающей, что состояния KMS сохраняют свойства, которые мы считаем ключевыми для определения теплового состояния, такие как состояния равновесия, но остаются четко определенными для бесконечных систем.
Я считаю, что для конечных систем условие KMS однозначно определяет состояние: состояние Гиббса. Однако для бесконечных систем это не обязательно так, и, грубо говоря, SSB возникает при множестве состояний KMS, каждое из которых не сохраняется группой симметрии гамильтониана.
И эксперименты, и численное моделирование показывают системы, поведение которых очень похоже на поведение SSB (ферромагнетики существуют!). Однако эти системы реального мира явно ограничены, поэтому приведенные выше аргументы предполагают, что они не могут действительно отображать SSB. Чем объясняется это несоответствие?
Хотя эксперименты в реальном мире конечны, их часто можно довольно эффективно описать, приняв ограничение на бесконечный размер. Если это уместно, то, возможно, динамика этих больших конечных систем может быть хорошо аппроксимирована бесконечными системами, по крайней мере, до некоторого большого масштаба времени. который предположительно быстро растет с размером системы. Тогда мы могли бы ожидать, что эти конечные системы будут отображать сигнатуры SSB в масштабе времени. , после чего они распадутся в состояние Гиббса и симметрия восстановится. Если это правильно, можно ли что-то уточнить?
Именно этим вопросом занимается и строго занимается Н.П. Ландсман . Объясняется это тем, что в большом пределе симметричное основное состояние становится экспоненциально чувствительным к асимметричным возмущениям, в то время как первые возбужденные состояния, хотя и неустойчивые, становятся очень близкими по энергии к симметричному состоянию и экспоненциально медленно затухают в любом направлении, таким образом, система динамически оказывается в состоянии с нарушенной симметрией уже на конечной очень большой .
Не уверен, что это соответствует вашей головоломке, но: когда вы пишете что-то вроде , вы думаете об измерении существования симметрии, глядя на ожидаемое значение самого оператора. Однако в полностью квантовом смысле вы должны определять симметрию с ожиданием корреляторов, отличных от самих операторов.
Вы можете найти здесь полезное примечание к Лек.1, в котором в качестве примера использовалась поперечная модель Изинга, а определение SB упоминается на стр.9.
https://learning-modules.mit.edu/materials/index.html?uuid=/course/8/fa17/8.513#materials
Шейн П. Келли
Норберт Шух
Кнчжоу
анон1802
анон1802
Кнчжоу
Кнчжоу
анон1802
анон1802
Кнчжоу
анон1802
Кнчжоу
Кнчжоу
Шейн П. Келли