Означает ли (спонтанное) нарушение симметрии дальний порядок и наоборот?

Кристаллические твердые тела имеют дальний порядок (где симметрия нарушена), а жидкости имеют только ближний порядок (где симметрия не нарушена). У ферромагнетиков есть дальний магнитный порядок, а у парамагнетиков его нет. Верно и обратное, например, при переходе Костерлица — Таулеса нет нарушения симметрии и нет дальнего порядка (но квазидальнего). Под дальним порядком я понимаю, что ниже какой-то критической температуры Т с двухточечная корреляционная функция параметра порядка (плотности) становится постоянной (не зависящей от положения).

Это общая характеристика? Другими словами, обязательно ли дальний порядок означает нарушение симметрии? И обязательно ли нарушение симметрии подразумевает дальний порядок?

Нарушение симметрии подразумевает наличие дальнего порядка (подходящего типа). Но дальний порядок может существовать без нарушения симметрии.
" дальний порядок может существовать без нарушения симметрии " Можете ли вы привести пример, что вы имеете в виду?
Хорошо, в качестве тривиального примера рассмотрим следующий вариант модели Изинга с дополнительным трехчастичным членом: ЧАС "=" я Дж о я о Дж час я о я ϵ я Дж к о я о Дж о к , где означает «ближайшие соседи». Этот гамильтониан не имеет внутренней симметрии, когда ϵ отличен от нуля. Но можно доказать, что для любого малого ϵ > 0 и любой достаточно большой температуре можно найти значение час так что существует дальний порядок (наличие двух гиббсовских состояний с положительной, соответственно отрицательной, намагниченностью).
Если вы хотите знать, как анализировать такого рода системы, этому посвящена целая математическая теория: теория Пирогова-Синая. См., например, главу 7 этой книги .
@YvanVelenik Поскольку я студент-физик, ссылка на вашу книгу для меня слишком техническая.
Не обязательно (я тоже был студентом-физиком). Мы написали книгу, имея в виду не только математиков, но и продвинутых студентов-физиков...
@YvanVelenik Хорошо. Тем не менее, это слишком сложно, и мне нужно время, чтобы пройти через это. Спасибо за ссылку.
Отлично, надеюсь, вам понравится, как только вы увидите, что на самом деле это не так уж и сложно. Конечно, я бы не советовал начинать с главы 7.
Вы ищете строгий ответ - т.е. какие аспекты этого можно доказать? Или вы ищете за этим «типичную» интуицию? Кроме того, вы определяете SSB и LRO в первую очередь? (Я имею в виду, что существуют четкие определения, но многие физики даже используют их как синонимы — однажды коллега спросил меня «что вы вообще имеете в виду», когда я указал, что это априорно разные понятия.)
Во-вторых, @NorbertSchuch: возможны разные ответы в зависимости от определения SSB и LRO. ОП должен добавить желаемое определение (или явно указать, что он (она) будет доволен любым определением, которое может предпочесть ответчик). Соответственно, если считать LRO «строковых ордеров», то есть явные контрпримеры предполагаемой эквивалентности.
@RubenVerresen Ну, если бы я выбрал любое определение, которое хочу, я бы просто выбрал одно и то же для обоих. Это чрезвычайно упростило бы доказательство. (В любом случае есть четкие концепции; даже более ясные для состояний Гиббса, чем для основных состояний.) --- Я не уверен, что совершенно справедливо считать порядки строк; проблема даже без того невероятная хитрая.
В качестве примера рассматривается вариант модели Изинга (7.1.1 в книге Ивана). Иван сказал, что этот гамильтониан не имеет внутренней симметрии, когда ϵ не равно нулю. Я вижу, что эта модифицированная модель теряет глобальную симметрию с переворотом спина, очевидную симметрию, когда ϵ "=" 0 . Тем не менее, можно ли гарантировать отсутствие "всякой внутренней симметрии"? Любую классическую спиновую модель естественно отождествить со специальной квантовой моделью, введя все матрицы Паули, Икс , у , г . Тогда любой А "=" А * такой, что [ ЧАС , А ] "=" 0 создает симметрию для ЧАС . Таких симметрий много.
В 7.1.1 Иван упомянул единственно возможные основные состояния η + , η которые отображаются друг на друга с помощью глобальной симметрии переворота. Но случай основного состояния, как известно, является исключительным. Я предполагаю, что для состояний теплового равновесия (определяемых условием DLR) такая ситуация вряд ли имеет место. Не могли бы вы дать свой ответ о соотношении между LRO и SSB для случая теплового равновесия при положительной температуре?

Ответы (1)

Есть некоторые тонкости, но ответ в основном «да» в локальных трансляционно-инвариантных системах из-за свойства кластерной декомпозиции . Эмпирически практически любая «реалистичная» физическая система удовлетворяет тому свойству, что

лим | Икс у | [ А ( Икс ) Б ( у ) А ( Икс ) Б ( у ) ] "=" 0
для любых местных операторов А ( Икс ) и Б ( у ) . Другими словами, корреляции затухают с расстоянием, поэтому ожидаемые значения далеких наблюдаемых не коррелированы. (Можно вывести этот результат из различных технических предположений о локальности.) Если м ( Икс ) является локальным параметром порядка, нарушающим симметрию, то м ( Икс ) м ¯ постоянна в силу трансляционной инвариантности, поэтому, если мы позволим А ( Икс ) "=" Б ( Икс ) "=" м ( Икс ) в вышеприведенном тождестве имеем
лим | Икс у | м ( Икс ) м ( у ) "=" м ¯ 2 .
Ненулевое значение левой части определяет дальний порядок, а ненулевое значение правой части определяет спонтанное нарушение симметрии, поэтому мы видим, что одно подразумевает другое.

Свойство кластеризации НЕ верно в этой форме для вырожденных основных состояний, что как раз и нужно в случае SSB! Кроме того, как вы определяете SSB - ваш аргумент кажется довольно запутанным! Не могли бы вы определить SSB как «если я приложу небольшое возмущение, я получу спонтанную намагниченность», а LRO как «имеются дальние корреляции»? --- Я имею в виду, откуда вообще взялось утверждение о равенстве во втором уравнении?! --- Для меня ваш ответ звучит как "это правда, потому что мы знаем, что это правда".
@NorbertSchuch (a) Свойство кластера, безусловно, сохраняется для вырожденных основных состояний, отличных от кошек, которые физически наблюдаются. (b) Я определяю SSB как «когда экспериментаторы измеряют параметр порядка, нарушающий симметрию». м ( Икс ) , они находят ненулевое значение." (c) Второе равенство следует из первого.
Я не уверен, что назвал бы это «определением», так как оно очень сильно зависит от экспериментальной установки, но так оно и есть — и я думаю, что это действительно может быть тесно связано с формальным определением SSB. Хорошо, тогда: как вы определяете LRO?
@NorbertSchuch Существование локального параметра порядка, нарушающего симметрию м ( Икс ) такой, что
лим | Икс у | м ( Икс )   м ( у ) "=" С 0.
В отличие от SSB, это нельзя определить с помощью локальных измерений.
Но если вы посмотрите только на состояния со свойством кластеризации, это тривиально то же самое. И, таким образом, может быть определена локальными измерениями.
@tparker Спасибо за ответ. Существует ли общая формула, когда | Икс у | конечен (чей предел | Икс у | дает ваше первое уравнение)?
@NorbertSchuch Нетривиальный факт, для проверки которого требуются нелокальные измерения, заключается в том, что физические состояния всегда экспериментально наблюдаются в отношении разложения кластера. До сих пор существуют некоторые теоретические разногласия относительно того, почему. Как только вы примете это, эквивалентность между SSB и LRO станет тривиальной (по крайней мере, в трансляционно-инвариантных системах).
@SRS Не точный, который соблюдается в целом. Поведение корреляционной функции очень зависит от системы на расстояниях, меньших или сравнимых с длиной корреляции ξ . Но асимптотическая форма корреляционной функции для расстояний, намного превышающих длину корреляции, обычно представляет собой экспоненциальный спад опыт ( | Икс у | / ξ ) выше критической температуры распад по степенному закону 1 / | Икс у | п при критической температуре и имеет вид С + опыт ( | Икс у | / ξ ) ниже критической температуры.
@tparker Тогда вы должны просто сказать, что это тривиально, и все. Следующим шагом будет объяснение эвристической связи между двумя понятиями с учетом некоторого анзаца среднего поля (= кластеризации). Но дело в том, что концепции разные: например, если вы забудете о квантовой материи и посмотрите на состояния Гиббса, LRO также наблюдается в состояниях Гиббса, которые НЕ НАРУШАЮТ симметрию. Загадка заключается в следующем: всякий раз, когда существует симметрия и состояние Гиббса имеет LRO, тогда состояние Гиббса с небольшим возмущением нарушает симметрию. (Аналогично для основных состояний конечного объема.) Это довольно нетривиальная...
... соединение, которое можно эвристически объяснить с помощью некоторых аргументов типа среднего поля, но (AFAIK) не поддается строгим оценкам. (Не говоря уже о количественной связи между значением LRO и намагниченностью.) Обратите внимание, что это не чисто математическое понятие — например, в QMC именно LRO измеряется для вычисления (предполагаемой) спонтанной намагниченности.