Twierdzenie Mermina-Wagnera

W kwantowej teorii pola i mechanice statystycznej twierdzenie Mermina – Wagnera (znane również jako twierdzenie Mermina – Wagnera – Hohenberga , twierdzenie Mermina – Wagnera – Berezinskiego lub twierdzenie Colemana ) stwierdza, że ​​ciągłe symetrie nie mogą być spontanicznie łamane w skończonej temperaturze w układach o wystarczająco oddziaływania krótkozasięgowe w wymiarach d ≤ 2 . Intuicyjnie oznacza to, że fluktuacje dalekiego zasięgu można wytworzyć przy niewielkich kosztach energii, a ponieważ zwiększają one entropię, są preferowane.

Dzieje się tak, ponieważ gdyby nastąpiło takie spontaniczne złamanie symetrii , to odpowiadające im bozony Goldstone'a , będąc bezmasowymi, miałyby rozbieżną funkcję korelacji w podczerwieni .

Brak spontanicznego łamania symetrii w układach d ≤ 2 wymiarowych został rygorystycznie udowodniony przez Davida Mermina , Herberta Wagnera (1966) i Pierre'a Hohenberga (1967) w mechanice statystycznej oraz przez Sidneya Colemana ( 1973 ) w kwantowej teorii pola. To, że twierdzenie to nie ma zastosowania do dyskretnych symetrii, można zobaczyć w dwuwymiarowym modelu Isinga .

Wstęp

Rozważ swobodne pole skalarne φ o masie m w dwóch wymiarach euklidesowych. Jego propagatorem jest:

Dla małych m G jest rozwiązaniem równania Laplace'a ze źródłem punktowym:

Dzieje się tak, ponieważ propagator jest odwrotnością 2 w przestrzeni k . Aby skorzystać z prawa Gaussa , zdefiniuj analog pola elektrycznego jako E = ∇ G . Dywergencja pola elektrycznego wynosi zero. W dwóch wymiarach, przy użyciu dużego pierścienia Gaussa:

Tak więc funkcja G ma rozbieżność logarytmiczną zarówno przy małym, jak i dużym r .

Interpretacja rozbieżności polega na tym, że fluktuacje pola nie mogą pozostać wyśrodkowane wokół średniej. Jeśli zaczniesz w punkcie, w którym pole ma wartość 1, rozbieżność mówi ci, że gdy podróżujesz daleko, pole jest arbitralnie oddalone od wartości początkowej. To sprawia, że ​​​​dwuwymiarowe bezmasowe pole skalarne jest nieco trudne do zdefiniowania matematycznego. Jeśli zdefiniujesz pole za pomocą symulacji Monte Carlo, nie pozostaje ono w miejscu, ale z czasem przesuwa się do nieskończenie dużych wartości.

Dzieje się tak również w jednym wymiarze, gdy pole jest jednowymiarowym polem skalarnym, przypadkowym spacerowaniem w czasie. Błądzenie losowe przesuwa się również arbitralnie daleko od punktu początkowego, tak że jednowymiarowy lub dwuwymiarowy skalar nie ma dobrze określonej wartości średniej.

Jeśli pole jest kątem θ , tak jak w modelu meksykańskiego kapelusza , gdzie pole zespolone A = Re ma wartość oczekiwaną, ale może się swobodnie przesuwać w kierunku θ , kąt θ będzie losowy na dużych odległościach. To jest twierdzenie Mermina-Wagnera: nie ma spontanicznego złamania ciągłej symetrii w dwóch wymiarach.

Przejście modelu XY

Podczas gdy twierdzenie Mermina – Wagnera zapobiega jakiemukolwiek spontanicznemu złamaniu symetrii w skali globalnej, dopuszczalne mogą być uporządkowane przejścia typu Kosterlitza – Thoulessa . Tak jest w przypadku modelu XY , w którym ciągła (wewnętrzna) symetria O (2) na siatce przestrzennej o wymiarze d ≤ 2 , tj. wartość oczekiwana pola (spinowego), pozostaje zerowa dla dowolnej skończonej temperatury ( kwantowe przejścia fazowe pozostają nieporuszony). Jednak twierdzenie to nie wyklucza istnienia przejścia fazowego w sensie rozbieżności długość korelacji ξ . W tym celu model ma dwie fazy: konwencjonalną fazę nieuporządkowaną w wysokiej temperaturze z dominującym wykładniczym zanikiem funkcji korelacji dla i faza niskotemperaturowa z rzędem quasi-dalekiego zasięgu, gdzie G ( r ) rozpada się zgodnie z pewnym prawem potęgowym dla „wystarczająco dużej”, ale skończonej odległości r ( a r ξ z rozstawem sieci ).

modelu Heisenberga

Przedstawimy intuicyjny sposób zrozumienia mechanizmu zapobiegającego łamaniu symetrii w małych wymiarach, poprzez zastosowanie do modelu Heisenberga , czyli układu n -składowych spinów S i o jednostkowej długości | S ja | = 1 , zlokalizowane w miejscach d -wymiarowej sieci kwadratowej, ze sprzężeniem najbliższego sąsiada J . Jego hamiltonian jest

Nazwa tego modelu pochodzi od jego symetrii obrotowej. Rozważ zachowanie tego układu w niskich temperaturach i załóż, że istnieje spontanicznie złamana symetria, czyli faza, w której wszystkie spiny są skierowane w tym samym kierunku, np. wzdłuż osi x . Wtedy O ( n ) układu jest spontanicznie łamana, a raczej sprowadzana do symetrii O ( n − 1) pod wpływem obrotów wokół tego kierunku. Możemy sparametryzować pole pod względem niezależnych fluktuacji σ α wokół tego kierunku w następujący sposób:

z | σ α | ≪ 1 , a Taylor rozwiń wynikowy hamiltonian. Mamy

skąd

Pomijając nieistotny stały składnik 0 H = − JNd i przechodząc do granicy kontinuum , biorąc pod uwagę, że interesuje nas faza niskiej temperatury, w której dominują fluktuacje długofalowe, otrzymujemy

Fluktuacje pola σ α nazywane są falami spinowymi i można je rozpoznać jako bozony Goldstone'a. Rzeczywiście, ich liczba jest n -1 i mają one zerową masę, ponieważ w hamiltonianie nie ma składnika masowego.

Aby dowiedzieć się, czy ta hipotetyczna faza naprawdę istnieje, musimy sprawdzić, czy nasze założenie jest samozgodne, to znaczy, czy wartość oczekiwana namagnesowania, obliczona w tym schemacie, jest skończona, jak zakładano. W tym celu musimy obliczyć poprawkę pierwszego rzędu do namagnesowania spowodowaną fluktuacjami. Jest to procedura zastosowana przy wyprowadzaniu dobrze znanego kryterium Ginzburga .

Model jest gaussowski do pierwszego rzędu, więc funkcja korelacji przestrzeni pędu jest proporcjonalna do k −2 . Zatem dwupunktowa funkcja korelacji w przestrzeni rzeczywistej dla każdego z tych trybów wynosi

gdzie a jest odstępem między kratami. Średnie namagnesowanie wynosi

a korektę pierwszego rzędu można teraz łatwo obliczyć:

Powyższa całka jest proporcjonalna do

więc jest skończony dla d > 2 , ale wydaje się być rozbieżny dla d ≤ 2 (logarytmicznie dla d = 2 ).

Ta rozbieżność oznacza, że ​​fluktuacje σ α są tak duże, że rozwinięcie parametru | σ α | ≪ 1 wykonane powyżej nie jest samospójne. Można więc naturalnie oczekiwać, że poza tym przybliżeniem średnie namagnesowanie wynosi zero.

Wnioskujemy zatem, że dla d ≤ 2 nasze założenie, że istnieje faza spontanicznego namagnesowania, jest błędne dla wszystkich T > 0 , ponieważ fluktuacje są wystarczająco silne, aby zniszczyć spontaniczne złamanie symetrii. To ogólny wynik:

Twierdzenie Mermina-Wagnera-Hohenberga. Nie ma fazy ze spontanicznym łamaniem ciągłej symetrii dla T > 0 , w d ​​≤ 2 wymiarach.

Wynik można również rozszerzyć na inne geometrie, takie jak filmy Heisenberga z dowolną liczbą warstw, a także na inne układy sieciowe (model Hubbarda, model sf).

Uogólnienia

W rzeczywistości można udowodnić znacznie silniejsze wyniki niż brak namagnesowania, a ustawienie może być znacznie bardziej ogólne. W szczególności [ potrzebne źródło ] :

  1. Hamiltonian może być niezmienny pod działaniem dowolnej zwartej, połączonej grupy Liego G .
  2. Dopuszczalne są interakcje dalekiego zasięgu (pod warunkiem, że zanikają wystarczająco szybko; znane są warunki konieczne i wystarczające).

W tym ogólnym układzie twierdzenie Mermina – Wagnera przyjmuje następującą mocną postać (podaną tutaj w sposób nieformalny):

Wszystkie (o nieskończonej objętości) stany Gibbsa związane z tym hamiltonianem są niezmienne pod działaniem G .

Kiedy odrzuca się założenie, że grupa Liego jest zwarta, zachodzi podobny wynik, ale z wnioskiem, że stany Gibbsa o nieskończonej objętości nie istnieją.

Wreszcie, istnieją inne ważne zastosowania tych pomysłów i metod, w szczególności do udowodnienia, że ​​​​w systemach dwuwymiarowych nie mogą istnieć stany Gibbsa niezmienne dla translacji. Typowym takim przykładem byłby brak stanów krystalicznych w systemie dysków twardych (z ewentualnymi dodatkowymi atrakcyjnymi interakcjami).

Udowodniono jednak, że interakcje typu hard-core mogą generalnie prowadzić do naruszenia twierdzenia Mermina-Wagnera.

Historia

Już w 1930 roku Felix Bloch argumentował, diagonizując wyznacznik Slatera dla fermionów, że magnetyzm w 2D nie powinien istnieć. Kilka łatwych argumentów, które podsumowano poniżej, zostało podanych przez Rudolfa Peierlsa na podstawie rozważań entropicznych i energetycznych. Również Lev Landau pracował nad łamaniem symetrii w dwóch wymiarach.

Energetyczny argument

Szkic przedstawia łańcuch o długości L składający się z momentów magnetycznych, który można przechylić w płaszczyźnie w najniższym stanie wzbudzonym. Kąt między sąsiednimi momentami wynosi

Jednym z powodów braku łamania globalnej symetrii jest to, że łatwo można wzbudzić fluktuacje o dużej długości fali, które niszczą doskonały porządek. „Łatwo wzbudzony” oznacza, że ​​energia dla tych fluktuacji dąży do zera dla wystarczająco dużych systemów. Rozważmy model magnetyczny (np. model XY w jednym wymiarze). Jest to łańcuch momentów magnetycznych o długości . Rozważamy przybliżenie harmoniczne, w którym siły (moment obrotowy) między sąsiednimi momentami rosną liniowo wraz z kątem skręcenia . Oznacza to, że energia spowodowana skręcaniem wzrasta kwadratowo mi ja . Całkowita energia jest sumą wszystkich skręconych par momentów magnetycznych } Jeśli weźmie się pod uwagę tryb wzbudzony o najniższej energii w jednym wymiarze (patrz rysunek), to momenty na łańcuchu długości są pochylone o wzdłuż łańcucha. Względny kąt między sąsiednimi momentami jest taki sam dla wszystkich par momentów w tym trybie i wynosi , jeśli łańcuch składa się z momenty magnetyczne. Wynika z tego, że całkowita energia tego najniższego modu wynosi . Zmniejsza się wraz ze wzrostem rozmiaru systemu do zera w granicy termodynamicznej N , } Dla dowolnych dużych systemów wynika, że ​​najniższe tryby nie kosztują żadnej energii i będą wzbudzane termicznie. Jednocześnie w łańcuchu niszczony jest rozkaz dalekiego zasięgu. W dwóch wymiarach (lub w płaszczyźnie) liczba momentów magnetycznych jest proporcjonalna do pola powierzchni płaszczyzny. . Energia dla najniższego stanu wzbudzonego wynosi zatem , które dąży do stałej granicy termodynamicznej. W ten sposób mody będą wzbudzane w wystarczająco dużych temperaturach. trzech wymiarach liczba momentów magnetycznych jest proporcjonalna do objętości, modu . Różni się w zależności od rozmiaru systemu i dlatego nie będzie podekscytowany w przypadku wystarczająco dużych systemów. Ten tryb nie wpływa na porządek dalekiego zasięgu i dozwolone jest globalne łamanie symetrii.

Argument entropiczny

Istnieje tylko jedna droga między sąsiednimi cząstkami w jednym wymiarze, dwie drogi w dwóch wymiarach i sześć różnych dróg w trzech wymiarach.

Entropiczny argument przeciwko doskonałemu uporządkowaniu dalekiego zasięgu w kryształach z rozważmy łańcuch atomów / cząstek o średniej odległości między cząsteczkami . Wahania termiczne między cząsteczką cząstką doprowadzą do wahań średniej cząstek rzędu , więc odległość jest dana przez . Wahania między cząstkami cząsteczkami ten sam rozmiar . Zakładamy, że fluktuacje termiczne są statystycznie niezależne (co jest oczywiste uwagę tylko interakcję najbliższego sąsiada), a fluktuacje między cząstką a ( podwójnej odległości) mają - być zsumowane statystycznie niezależne (lub niespójne): . średniej odległości fluktuacje będą rosły , jeśli sąsiednie fluktuacje są sumowane niezależnie. Chociaż średnia odległość jest dobrze zdefiniowany, odchylenia od idealnego łańcucha okresowego rosną wraz z pierwiastkiem kwadratowym rozmiaru systemu. W trzech wymiarach trzeba iść w trzech liniowo niezależnych kierunkach, aby objąć całą przestrzeń; efektywnie wzdłuż przekątnej przestrzeni, aby przejść od cząstki do cząstki . Jak można łatwo zobaczyć na rysunku, istnieje sześć różnych możliwości, aby to zrobić. Oznacza to, że fluktuacje na sześciu różnych ścieżkach nie mogą być statystycznie niezależne, ponieważ przechodzą przez te same cząstki w pozycji i . Teraz fluktuacje sześciu należy zsumować w spójny sposób i będą one rzędu - niezależnie od rozmiaru sześcianu. Fluktuacje pozostają skończone, a miejsca sieciowe są dobrze zdefiniowane. W przypadku dwóch wymiarów Herbert Wagner i David Mermin rygorystycznie udowodnili, że odległości fluktuacji rosną logarytmicznie wraz z rozmiarem systemu. . Nazywa się to często logarytmiczną rozbieżnością przemieszczeń.

Kryształy w 2D

2D x-tal z fluktuacjami termicznymi pozycji cząstek. Czerwone linie symbolizują osie sieci, a zielone strzałki symbolizują odchylenia pozycji równowagi.

Obraz przedstawia (quasi-) dwuwymiarowy kryształ cząstek koloidalnych. Są to cząsteczki wielkości mikrometrów rozproszone w wodzie i osadzone na płaskiej powierzchni międzyfazowej, dzięki czemu mogą wykonywać ruchy Browna tylko w płaszczyźnie. Sześciokrotny porządek krystaliczny jest łatwy do wykrycia w skali lokalnej, ponieważ logarytmiczny wzrost przemieszczeń jest raczej powolny. Odchylenia od (czerwonej) osi sieci są również łatwe do wykrycia, tutaj pokazane jako zielone strzałki. Odchylenia są zasadniczo określone przez drgania sieci sprężystej (fonony akustyczne). Bezpośrednim eksperymentalnym dowodem fluktuacji Mermina – Wagnera – Hohenberga byłoby, gdyby przemieszczenia wzrastały logarytmicznie wraz z odległością lokalnie dopasowanego układu współrzędnych (niebieski). Ta logarytmiczna rozbieżność idzie w parze z algebraicznym (powolnym) rozpadem korelacji pozycyjnych. Porządek przestrzenny kryształu 2D nazywany jest quasi-dalekiego zasięgu (zob faza heksatyczna dla zachowania fazowego zespołów 2D). Co ciekawe, znaczących sygnatur fluktuacji Mermina-Wagnera-Hohenberga nie znaleziono w kryształach, ale w nieuporządkowanych układach amorficznych.

Ta praca nie badała logarytmicznych przemieszczeń miejsc sieciowych (które są trudne do oszacowania dla skończonego rozmiaru systemu), ale wielkość średniokwadratowego przemieszczenia cząstek w funkcji czasu. W ten sposób przemieszczenia nie są analizowane w przestrzeni, ale w dziedzinie czasu. Podstawę teoretyczną dają D. Cassi, a także F. Merkl i H. Wagner. Niniejsza praca analizuje prawdopodobieństwo powtórzenia się błądzenia losowego i spontanicznego łamania symetrii w różnych wymiarach. Skończone prawdopodobieństwo rekurencji błądzenia losowego w jednym i dwóch wymiarach pokazuje dualizm braku doskonałego porządku dalekiego zasięgu w jednym i dwóch wymiarach, podczas gdy zanikające prawdopodobieństwo powtórzenia błądzenia losowego w 3D jest dualistyczne względem istnienia doskonałego uporządkowania długo- uporządkowanie zakresów i możliwość złamania symetrii.

Granice

Prawdziwe magnesy zwykle nie mają ciągłej symetrii, ponieważ sprzężenie spin-orbita elektronów narzuca anizotropię. W przypadku układów atomowych, takich jak grafen, można wykazać, że monowarstwy o rozmiarach kosmologicznych (lub przynajmniej kontynentalnych) są niezbędne do pomiaru znacznej wielkości amplitud fluktuacji. Niedawną dyskusję na temat twierdzeń Mermina-Wagnera-Hohenberga i jego ograniczeń przedstawił Bertrand Halperin. Najpoważniejszym ograniczeniem fizycznym są efekty o skończonych rozmiarach w 2D, ponieważ tłumienie spowodowane fluktuacjami w podczerwieni ma rozmiar tylko logarytmiczny. Próbka musiałaby być większa niż obserwowalny wszechświat, aby dwuwymiarowe przejście nadprzewodzące zostało stłumione poniżej ~ 100 K. W przypadku magnetyzmu istnieje tłumienie T z grubsza rzędu wielkości c , co nadal pozwala na porządek magnetyczny w próbkach 2D przy ~ 10 K. Ponieważ jednak nieład i sprzężenie międzywarstwowe konkurują z efektami o skończonej wielkości przy przywracaniu porządku, nie można a priori powiedzieć, który z nich jest odpowiedzialny za obserwację uporządkowania magnetycznego w daną próbkę 2D.

Uwagi

Rozbieżność między twierdzeniem Mermina – Wagnera – Hohenberga (wykluczającym porządek dalekiego zasięgu w 2D) a pierwszymi symulacjami komputerowymi (Alder & Wainwright), które wskazywały na krystalizację w 2D, kiedyś zmotywowała Michaela Kosterlitza i Davida Thoulessa do pracy nad topologicznymi przejściami fazowymi w 2D . Praca ta jest nagrodzona Nagrodą Nobla w dziedzinie fizyki 2016 (wraz z Duncanem Haldane).

Notatki