Druga kwantyzacja

Druga kwantyzacja , zwana także reprezentacją liczby okupacji , jest formalizmem używanym do opisu i analizy kwantowych układów wielociałowych . W kwantowej teorii pola znana jest jako kwantyzacja kanoniczna , w której pola (zwykle jako funkcje falowe materii) są traktowane jako operatory pola , w sposób podobny do tego, w jaki sposób wielkości fizyczne (położenie, pęd itp.) traktowane jako operatory w pierwszej kwantyzacji . Kluczowe idee tej metody zostały wprowadzone w 1927 roku przez Paula Diraca , a później rozwinęli je przede wszystkim Pascual Jordan i Vladimir Fock . W tym podejściu kwantowe stany wielociałowe są reprezentowane w stanów Focka , które są konstruowane przez wypełnienie każdego stanu pojedynczej cząstki pewną liczbą identycznych cząstek. Drugi formalizm kwantyzacji wprowadza operatory kreacji i anihilacji do konstruowania i obsługi stanów Focka, dostarczając użytecznych narzędzi do badania kwantowej teorii wielu ciał.

Kwantowe stany wielociałowe

Punktem wyjścia drugiego formalizmu kwantyzacji jest pojęcie nieodróżnialności cząstek w mechanice kwantowej. W przeciwieństwie do mechaniki klasycznej, gdzie każda cząstka jest oznaczona odrębnym wektorem położenia i różnymi konfiguracjami zbioru s odpowiadają różnym stanom wielociałowym, w mechanice kwantowej cząstki są identyczne, tak że wymiana dwóch cząstek, tj. nie prowadzi do innego wielociałowego stanu kwantowego . Oznacza to, że kwantowa funkcja falowa wielu ciał musi być niezmienna (do współczynnika fazy) przy wymianie dwóch cząstek. Zgodnie ze statystykami cząstek, funkcja falowa wielu ciał może być albo symetryczna, albo antysymetryczna przy wymianie cząstek:

jeśli cząstki są bozonami ,
jeśli cząstki są fermionami .

Ta właściwość symetrii wymiany nakłada ograniczenie na funkcję falową wielu ciał. Za każdym razem, gdy cząstka jest dodawana lub usuwana z układu wielu ciał, funkcja falowa musi być odpowiednio symetryzowana lub antysymetryzowana, aby spełnić ograniczenie symetrii. W pierwszym formalizmie kwantyzacji to ograniczenie jest gwarantowane przez przedstawienie funkcji falowej jako liniowej kombinacji stałych ( dla bozonów) lub wyznaczników (dla fermionów) stanów jednocząsteczkowych. W drugim formalizmie kwantyzacji kwestią symetryzacji zajmują się automatycznie operatory kreacji i anihilacji, dzięki czemu jej zapis może być znacznie prostszy.

Pierwsza skwantowana funkcja falowa wielu ciał

pełny zestaw funkcji falowych pojedynczej ( połączonym szereg liczb kwantowych). Następująca funkcja falowa

reprezentuje stan N -cząstki z i -tą cząstką zajmującą stan pojedynczej cząstki . W zapisie skróconym można pominąć argument położenia funkcji falowej i założyć, że i- ta funkcja falowa pojedynczej cząstki opisuje stan i- tej cząstki. Funkcja falowa nie została zsymetryzowana ani antysymetryzowana, a zatem generalnie nie kwalifikuje się jako funkcja falowa wielu ciał dla identycznych cząstek. Można antysymetrycznej) za pomocą operatorów i dla antysymetryzatora .

W przypadku bozonów funkcja falowa wielu ciał musi być symetryczna,

podczas gdy dla fermionów funkcja falowa wielu ciał musi być antysymetryczna,

Tutaj elementem w grupie permutacji N (lub symetrycznej , który wykonuje permutację etykietami stanu { } i oznacza jest operatorem normalizacji, który normalizuje funkcję falową. (To operator stosuje odpowiedni numeryczny współczynnik normalizacji do symetrycznych tensorów stopnia n ; jego wartość znajduje się w następnej sekcji).

falowe pojedynczej cząstki w macierzy element macierzy wiersza i kolumny j to , to wielociałową funkcję falową bozonu można po prostu zapisać jako permanent i fermionowa funkcja fali wielu ciał jako wyznacznik (znany również jako wyznacznik Slatera ).

Drugie skwantowane stany Focka

Pierwsze skwantowane funkcje falowe obejmują skomplikowane procedury symetryzacji do opisu fizycznie osiągalnych stanów wielu ciał, ponieważ język pierwszej kwantyzacji jest zbędny dla nierozróżnialnych cząstek. W pierwszym języku kwantyzacji stan wielu ciał opisuje się, odpowiadając na serię pytań, takich jak „Która cząstka jest w jakim stanie?” . Nie są to jednak pytania fizyczne, ponieważ cząstki są identyczne i nie można w ogóle stwierdzić, która cząstka jest która. Pozornie różne stany i są w rzeczywistości zbędnymi nazwami tego samego kwantowego stan wielu ciał. Dlatego należy wprowadzić symetryzację (lub antysymetryzację), aby wyeliminować tę redundancję w pierwszym opisie kwantyzacji.

W drugim języku kwantyzacji, zamiast pytać „każda cząstka w jakim stanie”, pyta się „Ile cząstek jest w każdym stanie?” . Ponieważ opis ten nie odnosi się do etykietowania cząstek, nie zawiera zbędnych informacji, a tym samym prowadzi do precyzyjnego i prostszego opisu kwantowego stanu wielu ciał. W tym podejściu stan wielociałowy jest reprezentowany w bazie liczby zawodów, a stan bazowy jest oznaczony zbiorem liczb zawodów, oznaczonych

​​w stanie pojedynczej cząstki znajdują się cząstki (lub jako . Liczby zajętości sumują się do całkowitej liczby cząstek, tj. . W przypadku fermionów numer zawodu może wynosić tylko 0 lub 1, ze względu na zasadę wykluczenia Pauliego ; podczas gdy dla bozonów może to być dowolna nieujemna liczba całkowita

Numer zawodu stanowi są również znane jako stany Focka. Wszystkie stany Focka tworzą kompletną podstawę wielociałowej przestrzeni Hilberta lub przestrzeni Focka . Każdy ogólny kwantowy stan wielu ciał można wyrazić jako liniową kombinację stanów Focka.

Zauważ, że oprócz zapewnienia bardziej wydajnego języka, przestrzeń Focka pozwala na zmienną liczbę cząstek. Jako przestrzeń Hilberta jest izomorficzna z sumą n -cząstkowych przestrzeni tensorowych bozonowych lub fermionowych opisanych w poprzedniej sekcji, w tym jednowymiarowej przestrzeni cząstek zerowych C .

Stan Focka, w którym wszystkie liczby zajętości są równe zeru, nazywany jest stanem próżni , oznaczanym . Stan Focka z tylko jedną niezerową liczbą zajętości jest jednomodowym stanem Focka, oznaczonym . Jeśli chodzi o pierwszą skwantyzowaną funkcję falową, stan próżni jest iloczynem tensora jednostkowego i można go oznaczyć . Stan pojedynczej cząstki jest zredukowany do funkcji falowej . Inne jednomodowe stany wielu ciał ( bozonów ) są po prostu iloczynem tensorowym funkcji falowej tego modu, na przykład i . Dla wielomodowych stanów Focka (co oznacza więcej niż jeden stan pojedynczej cząstki jest zaangażowany), odpowiednia pierwsza skwantowana funkcja falowa będzie wymagała odpowiedniej symetryzacji zgodnie ze statystyką cząstek, np. dla stanu bozonowego i ) dla stanu fermionowego (symbol a jest pominięte dla uproszczenia). Ogólnie rzecz biorąc, normalizacja wynosi , gdzie N to całkowita liczba cząstek. Dla fermionu wyrażenie to sprowadza się do jak może wynosić tylko zero lub jeden. Tak więc odczytuje się pierwszą skwantyzowaną funkcję falową odpowiadającą stanowi Focka

dla bozonów i

dla fermionów. Zauważ, że dla fermionów stanów pojedynczych cząstek.

Operatory kreacji i anihilacji

tworzenia i anihilacji są wprowadzane w celu dodania lub usunięcia cząstki z układu wielu ciał. Operatory te leżą u podstaw drugiego formalizmu kwantyzacji, wypełniając lukę między pierwszym a drugim skwantowanym stanem. Zastosowanie operatora kreacji (anihilacji) do pierwszej skwantowanej funkcji falowej wielu ciał spowoduje wstawienie (usunięcie) stanu pojedynczej cząstki z funkcji falowej w sposób symetryczny, w zależności od statystyki cząstek. Z drugiej strony, wszystkie drugie skwantowane stany Focka można skonstruować przez wielokrotne stosowanie operatorów kreacji do stanu próżni.

Operatory tworzenia i anihilacji (dla bozonów) są pierwotnie konstruowane w kontekście kwantowego oscylatora harmonicznego jako operatory podnoszenia i opuszczania, które następnie są uogólniane na operatory pola w kwantowej teorii pola. Są fundamentalne dla kwantowej teorii wielu ciał w tym sensie, że każdy operator wielu ciał (w tym hamiltonian układu wielu ciał i wszystkie obserwable fizyczne) można wyrazić za ich pomocą.

Operacja wstawiania i usuwania

Tworzenie i anihilacja cząstki jest realizowana przez wstawianie i usuwanie stanu pojedynczej cząstki z pierwszej skwantowanej funkcji falowej w sposób symetryczny lub antysymetryczny. Niech 1 będzie tożsamością tensorową (jest generatorem przestrzeni cząstek zerowych C i spełnia w algebrze tensorowej nad podstawową przestrzenią Hilberta) i niech ogólnym stanem iloczynu tensorowego . Wstawienie i usunięcie i usunięcie operatory są operatorami liniowymi zdefiniowanymi przez następujące równania rekurencyjne

Tutaj symbolem , który daje 1, jeśli Kronecker delta, and 0 otherwise. The subscript of the insertion or deletion operators indicates whether symmetrization (for bosons) or anti-symmetrization (for fermions) is implemented.

Operatory tworzenia i anihilacji bozonu

Operator tworzenia bozonu (odpowiednio anihilacji) jest zwykle oznaczany jako (odp. . Operator kreacji dodaje bozon do stanu pojedynczej cząstki , a operator anihilacji usuwa bozon ze stanu pojedynczej cząstki . Operatory tworzenia i anihilacji są ze sobą sprzężone hermitowsko, ale żaden z nich nie jest operatorem hermitowskim ( .

Definicja

Operator tworzenia (anihilacji) bozonu jest operatorem liniowym, którego działanie na pierwszą skwantowaną funkcję falową N -cząstki jest zdefiniowane jako

gdzie wstawia stan pojedynczej cząstki w pozycje wstawiania symetrycznie i usuwa stan pojedynczej cząstki z możliwe pozycje usuwania symetrycznie.

Przykłady (kliknij pokaż , aby zobaczyć)

pominięto symbol tensora Weź stan , stwórz jeszcze jeden bozon w stanie ,

Następnie unicestwić jeden bozon ze stanu ,

Działanie na stanach Focka

Począwszy od jednomodowego stanu próżni , wielokrotnie stosując operator tworzenia wielokrotnie, można znaleźć

Operator kreacji podnosi liczbę zajętości bozonu o 1. Dlatego wszystkie stany zajętości bozonu mogą być skonstruowane przez operatora kreacji bozonu ze stanu próżni

Z drugiej strony operator anihilacji obniża liczbę zajęcia bozonu o 1

Zgasi również stan próżni nie pozostał żaden bozon do Korzystając z powyższych wzorów, można to pokazać

co oznacza, że .

Powyższy wynik można uogólnić na dowolny stan Focka bozonów.

Te dwa równania można uznać za definiujące właściwości operatorów tworzenia i anihilacji bozonu w formalizmie drugiej kwantyzacji. Skomplikowana symetryzacja leżącej u podstaw pierwszej skwantowanej funkcji falowej jest automatycznie obsługiwana przez operatory kreacji i anihilacji (podczas działania na pierwszej skwantowanej funkcji falowej), tak że złożoność nie jest ujawniana na drugim skwantowanym poziomie, a wzory drugiej kwantyzacji są proste i schludne.

Tożsamości operatorów

Następujące tożsamości operatorów wynikają z działania operatorów tworzenia i anihilacji bozonu na stanie Focka,

Te relacje komutacji można uznać za algebraiczną definicję operatorów tworzenia i anihilacji bozonu. Fakt, że wielociałowa funkcja falowa bozonu jest symetryczna przy wymianie cząstek, przejawia się również w komutacji operatorów bozonu.

Operatory podnoszące i obniżające kwantowego oscylatora harmonicznego również spełniają ten sam zestaw relacji komutacji, co oznacza, że ​​bozony można interpretować jako kwanty energii (fonony) oscylatora. Operatory położenia i pędu oscylatora harmonicznego (lub zbioru modów oscylacji harmonicznych) są podane przez hermitowskie kombinacje operatorów tworzenia i anihilacji fononów,

kanoniczną relację komutacji między operatorami pozycji i (

Idea ta jest uogólniona w kwantowej teorii pola , która traktuje każdy mod pola materii jako oscylator podlegający fluktuacjom kwantowym, a bozony traktuje jako wzbudzenia (lub kwanty energii) pola.

Operatory tworzenia i anihilacji fermionów

Operator tworzenia (anihilacji jest jako Operator tworzenia stanu pojedynczej , a operator anihilacji usuwa fermion ze stanu pojedynczej cząstki .

Definicja

Operator tworzenia (anihilacji) fermionu jest operatorem liniowym, którego działanie na pierwszą skwantowaną funkcję falową N -cząstki jest zdefiniowane jako

gdzie wstawia stan pojedynczej cząstki w wstawiania antysymetrycznie i usuwa stan pojedynczej cząstki od możliwe pozycje delecji antysymetryczne.

Szczególnie pouczające jest przyjrzenie się wynikom operatorów kreacji i anihilacji na stanach dwóch (lub więcej) fermionów, ponieważ pokazują one skutki wymiany. W poniższym przykładzie podano kilka ilustrujących operacji. Pełną algebrę operatorów kreacji i anihilacji w stanie dwóch fermionów można znaleźć w Quantum Photonics .

Przykłady (kliknij pokaż , aby zobaczyć)

pominięto symbol tensora Weź stan , spróbuj utworzyć jeszcze jeden fermion na zajętym stan wygasi całą funkcję falową wielu ciał,

Zniszcz fermion w stan ,

Znak minus (znany jako znak fermionu) pojawia się z powodu antysymetrycznej właściwości funkcji falowej fermionu.

Działanie na stanach Focka

Począwszy od jednomodowego stanu próżni , stosując operator tworzenia fermionu ,

Jeśli stan jednocząsteczkowy jest pusty, operator tworzenia wypełni stan fermionem. Jeśli jednak stan jest już zajęty przez fermion, dalsze zastosowanie operatora kreacji ugasi ten stan, demonstrując zasadę wykluczenia Pauliego , zgodnie z którą dwa identyczne fermiony nie mogą jednocześnie zajmować tego samego stanu. Niemniej jednak fermion można usunąć ze stanu zajętego przez operatora anihilacji fermionu ,

Stan próżni jest wygaszany przez działanie operatora anihilacji.

Podobnie jak w przypadku bozonu, stan fermionu Focka można skonstruować ze stanu próżni za pomocą operatora tworzenia fermionu

Łatwo to sprawdzić (poprzez wyliczenie).

co oznacza, że .

Powyższy wynik można uogólnić na dowolny stan Focka fermionów.

zawodu może przyjmować 0 lub 1 dla fermionów. Te dwa równania można uznać za definiujące właściwości operatorów tworzenia i anihilacji fermionów w drugim formalizmie kwantyzacji. Zauważ, że struktura znaku fermionu , znana również jako Jordan-Wigner strunowy , wymaga istnienia z góry określonego uporządkowania stanów pojedynczej cząstki ( struktura spinowa ) [ wymagane wyjaśnienie ] i obejmuje zliczanie liczby zajętości fermionów we wszystkich poprzednich stanach; dlatego operatory tworzenia i anihilacji fermionów są w pewnym sensie uważane za nielokalne. Ta obserwacja prowadzi do wniosku, że fermiony są cząstkami wyłaniającymi się w splątanym lokalnym kubitów dalekiego zasięgu .

Tożsamości operatorów

Następujące tożsamości operatorów wynikają z działania operatorów tworzenia i anihilacji fermionów na stanie Focka,

Te relacje antykomutacyjne można uznać za algebraiczną definicję operatorów tworzenia i anihilacji fermionów. Fakt, że fermionowa funkcja falowa wielu ciał jest antysymetryczna przy wymianie cząstek, przejawia się również w antykomutacji operatorów fermionowych.

Operatory tworzenia i anihilacji są ze sobą sprzężone hermitowsko, ale żaden z nich nie jest operatorem hermitowskim ( . Hermitowska kombinacja operatorów tworzenia i anihilacji fermionów

nazywane są operatorami fermionowymi Majorany . Można je postrzegać jako fermionowy analog operatorów położenia i pędu „fermionowego” oscylatora harmonicznego. Spełniają one relację antykomutacyjną

gdzie oznacza wszystkie operatory fermionów Majorany na równych prawach (niezależnie od ich pochodzenia z kombinacji Re lub Im złożonych operatorów fermionów . Relacja antykomutacyjna wskazuje, że operatory fermionów Majorany generują algebrę Clifforda , którą można systematycznie przedstawić jako operatory Pauliego w wielociałowej przestrzeni Hilberta.

Operatorzy pól kwantowych

Definiowanie jako ogólnego operatora anihilacji ( pojedynczej cząstki, być albo fermionowy lub bozonowy , reprezentacja operatorów w rzeczywistej przestrzeni definiuje pole kwantowe operatorzy i przez

Są to drugie operatory kwantyzacji ze współczynnikami i które są zwykłymi funkcjami falowymi pierwszej kwantyzacji . Zatem na przykład wszelkie wartości oczekiwane będą zwykłymi funkcjami falowymi pierwszej kwantyzacji. Mówiąc luźno, r prawej ) , niekoniecznie fal płaskich, jak poniżej.

Ψ i są drugimi operatorami kwantyzacji w każdym punkcie w kosmosie nazywane są kwantowymi operatorami pola . Przestrzegają następujących podstawowych relacji komutatora i antykomutatora,

,
pola fermionów.

W przypadku układów jednorodnych często pożądana jest transformacja między reprezentacją przestrzeni rzeczywistej a reprezentacją pędu, stąd operatory pól kwantowych na bazie Fouriera dają:

Komentarz do nazewnictwa

Termin „druga kwantyzacja”, wprowadzony przez Jordana, jest błędną nazwą, która przetrwała z powodów historycznych. U początków kwantowej teorii pola niesłusznie sądzono, że równanie Diraca opisuje relatywistyczną funkcję falową (stąd przestarzała interpretacja „morza Diraca”), a nie klasyczne pole spinorowe, które po skwantowaniu (podobnie jak pole skalarne) daje fermionowe pole kwantowe (w porównaniu z bozonowym polem kwantowym).

Nie dokonuje się kwantyzacji „ponownie”, jak mogłoby sugerować określenie „drugi”; pole, które jest kwantyzowane, nie jest funkcją falową Schrödingera , która powstała w wyniku kwantyzacji cząstki, ale jest klasycznym polem (takim jak pole elektromagnetyczne lub pole spinorowe Diraca ), zasadniczo zespołem sprzężonych oscylatorów, które nie było uprzednio skwantyzowane. Jednym z nich jest jedynie kwantyzacja każdego oscylatora w tym zestawie, przechodząc od półklasycznego traktowania systemu do w pełni kwantowo-mechanicznego.

Zobacz też