Справедливость приближения среднего поля

В приближении среднего поля мы заменяем член взаимодействия гамильтониана членом, квадратичным по операторам рождения и уничтожения. Например, в случае теории БКШ, где

к к В к к с к с к с к с к к Δ к с к с к + Δ к с к с к ,

с Δ к знак равно к В к к с к с к е С . Кроме того, в книгах, подобных этой Брюсса и Фленсберга, всегда есть такое предложение, как «колебания вокруг Δ к очень малы», так что приближение среднего поля является хорошим приближением. Но мы знаем, например, что в случае одномерной модели Изинга приближение среднего поля очень плохое.

Мой вопрос: есть ли неравенство или какие-то математические условия, которые что-то говорят о справедливости подхода среднего поля? Кроме того, существует ли математический строгий вывод приближения среднего поля и его достоверность?

Модель спиннингового стекла Шеррингтона-Киркпатрика см. на annals.math.princeton.edu/wp-content/uploads/…

Ответы (4)

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

Свободная энергия типичной флуктуации имеет порядок к Т а его размер определяется корреляционной длиной ξ , и в порядке ξ г , с г знак равно измерение:

Ф ф л ты с т к Т ξ г ∼∣ т ν г

Использовав ξ ∼∣ т ν куда т знак равно ( Т Т с ) / Т с а также Т с является критической температурой. Чтобы получить полную свободную энергию, мы должны проинтегрировать удвоенную удельную теплоемкость, с ∼∣ т α . Наложение этого Ф ф л ты с т / Ф идет к 0 за т 0 мы получаем

г ν > 2 α

Например, в модели Изинга мы имеем α знак равно 0 а также ν знак равно 1 / 2 , так что условие г > 4 . Вот почему приближение среднего поля плохо подходит для модели Изинга менее чем в четырех измерениях.

Спасибо, это хороший ответ. Однако меня больше интересует случай теории БКШ и теории Хартри-Фока. Здесь это должно работать по-другому или?
Это довольно общие статистико-механические аргументы, и они должны выполняться независимо от модели. То, что я сказал, иногда называют критерием Гинзбурга.
Вы правы, но каково условие приближения Хартри-Фока? Здесь у нас нет критических показателей, только фермионная система.
Теория БКШ (которая представляет собой приближение Хартри-Фока) представляет собой микроскопическую теорию сверхпроводимости, которая является критическим явлением. Таким образом, у вас будет критическая температура и критические показатели. На самом деле у вас будут одинаковые критические показатели (макроскопической) теории Ландау-Гинзбурга, поскольку обе они являются теориями среднего поля. См., например, стр. 766 здесь: lassp.cornell.edu/clh/Book-sample/7.3.pdf
Я думаю вы объясните критерий валидности МИД рядом Т с , но вопрос в том Т знак равно 0 .

Вы можете точно ввести "будущее" бозонное среднее поле, используя метод Хаббарда-Стратонича (он же частичная бозонизация), см. Википедию и Взаимодействующие фермионы на решетке, а также преобразование Хаббарда-Стратоновича и приближение среднего поля .

Приближение среднего поля соответствует выполнению интеграла по бозонному полю с использованием приближения стационарной фазы. Фермионное действие билинейно и может быть выполнено точно. Поправки к приближению стационарной фазы соответствуют флуктуациям вокруг среднего поля. Они малы, если четырехфермионная связь в теории БКШ мала. Если связь сильная, может оказаться возможным обосновать приближение среднего поля с помощью большого N (N компонент векторного поля) или большого d (количество измерений) приближения.

Строго говоря, эффективное действие бозонизированной теории равно

С знак равно Т р { журнал [ грамм 0 1 грамм ( ф ) ] } ф 2 грамм
куда грамм муфта, ф - бозонное поле, а
грамм ( ф ) знак равно ( п 0 ϵ п ф ф п 0 + ϵ п )
является распространителем. Я также определяю грамм 0 знак равно грамм ( 0 ) . В настоящее время
дельта С дельта ф | ф 0 знак равно 0
уравнение зазора MFA
ф 0 знак равно грамм г 3 п ( 2 π ) 3 ф 0 ϵ п 2 + ф 0 2 .
Исправления можно найти, развернув С около ф знак равно ф 0 + дельта ф . Это даст более высокие циклы, содержащие грамм ( ф 0 ) . Параметр расширения равен g. В физических единицах 1 / грамм - логарифм энергии Ферми по щели, грамм [ журнал ( Е Ф / ф 0 ) ] 1 .

Около Т с поправки к среднему полю (= Ландау-Гинзбург) контролируются критерием Гинзбурга, как объясняется в ответе Valrio92. В BCS со слабой связью окно Гинзбурга мало, а среднее поле является точным, за исключением очень близкого к Т с .

Под «Поправками к приближению стационарной фазы» вы имеете в виду члены высокого порядка в разложении Тейлора функционала?
Добавил некоторые детали.

Недавно я заметил ссылку @akhmeteli, которая очень помогает мне понять МИД. Здесь я сделаю некоторые математические расчеты (относительно исходной задачи):

ЧАС знак равно ϵ к с к с к + к к В к к с к с к с к с к
МФА, как предлагает Боголюбов, можно полностью понять в рамках вариационного принципа, поэтому избавиться от путаницы «параметр порядка» и «флуктуации» можно с помощью следующей процедуры:

  • шаг 1: выберите один невзаимодействующий гамильтониан с любым количеством настраиваемых параметров, скажем

    ЧАС 0 знак равно ЧАС 0 ( Е , Δ ) знак равно Е к с к о с к о + к , о о ( Δ к , о о с к о с к о + ХК )
    обратите внимание, что форма здесь подразумевает пространственную трансляционную симметрию. Конечно, вы можете использовать более общую форму, которая может дать вам больше наблюдений (скажем, состояние волны плотности, которое нарушает трансляционную симметрию).

  • шаг 2: Неравенство Боголюбова помогает найти оптимальный набор параметров, определяющий:

    Ф ( ЧАС ) знак равно 1 β журнал ( Тр ( е β ЧАС ) )

    О ^ 0 знак равно Тр ( О ^ е β ЧАС 0 ) Тр ( е β ЧАС 0 )
    неравенство (вариационный принцип):
    Ф ( ЧАС ) Ф ( ЧАС 0 ) + ЧАС ЧАС 0 0 , ЧАС 0
    оптимальный ЧАС 0 таким образом, дается:
    мин все параметры Ф ( ЧАС 0 ) + ЧАС ЧАС 0 0

с некоторой дополнительной математикой, особенно с уравнением Фейнмана-Хеллмана:

Ф ( ЧАС 0 ) Е к знак равно о с к о с к о 0 Ф ( ЧАС 0 ) Δ к , о о знак равно с к о с к , о 0
и теорема Вика для ожидания, рассчитанного для невзаимодействующего основного состояния:
с 1 с 2 с 3 с 4 0 знак равно 0 . . 0 0 0 + 0 0
Будет легко восстановить желаемый результат.

Теория среднего поля точна (в термодинамическом пределе) в случае дальнодействующего взаимодействия (чего нельзя сказать о модели ближайшего соседа Изинга). Следовательно, теория среднего поля точна для БКШ, где у вас есть эффективное дальнодействующее взаимодействие. Что касается строгих результатов, то Боголюбов строго доказал, что в основном состоянии (нулевая температура) энергии, приходящиеся на одну частицу, для БКШ и теории среднего поля в термодинамическом пределе совпадают. Позже Боголюбов-младший строго доказал то же самое для произвольных температур (и свободных энергий на частицу). См. библиографию, например, на http://arxiv.org/abs/1507.00563 (обсуждение идет на странице 43).

Не уверен, что вы имеете в виду. 1) BCS – нулевой диапазон. 2) MFA, безусловно, не является точным для дальнодействующих сил, таких как калибровочные бозоны, флуктуации спина и т. д. 3) Вы можете иметь в виду действительно бесконечный диапазон (нулевой диапазон в импульсном пространстве), но это не реализовано в природе,
@Thomas: «Взаимодействие БКШ происходит исключительно при нулевом импульсе и, как таковое, включает взаимодействие между парами в бесконечном диапазоне. Этот дальнодействующий аспект модели позволяет точно решить гамильтониан БКШ с использованием теории среднего поля». ( books. google.com/… ). И это модель, а не природа :-)
s-волна БКШ рассеивается (k,-k) в (k',-k') , поэтому передача импульса q=kk' имеет порядок k_F, что является короткодействующим взаимодействием.
Я думаю, вы имеете в виду тот факт, что импульс пары равен нулю, но это не делает MFA точным.
@Thomas: В рамках модели и в термодинамическом пределе это так.
Какая модель? Точно не БКС. Если вы не имеете в виду МФА-БКС, что делает утверждение тавтологическим
@Thomas: Боголюбов-младший доказал это для довольно общего ядра BCS. Ссылки, приведенные на arxiv.org/abs/1507.00563 , мне недоступны, у меня есть только книга на русском с доказательством. Я не совсем уверен в произвольном ядре, но почему вы уверены, что результат неверен для произвольного ядра?
См. также HAAG, R.: Математическая структура модели BCS. Nuovo cimento 25/2 287—299 (1962).