İkinci niceleme - Second quantization

Meslek numarası gösterimi olarak da adlandırılan ikinci nicemleme , kuantum çok cisim sistemlerini tanımlamak ve analiz etmek için kullanılan bir formalizmdir . Olarak kuantum alan teorisi , bu şekilde bilinen standart nicemleme (tipik olarak maddenin dalga fonksiyonları gibi) alanları olarak düşünülen edildiği, alan operatörleri fiziksel miktarlar (konum, ivme vs.) ne kadar benzer bir şekilde, ilk kuantizasyonda operatörler olarak düşünülür . Bu yöntemin temel fikirleri 1927'de Paul Dirac tarafından tanıtıldı ve en önemlisi daha sonra Vladimir Fock ve Pascual Jordan tarafından geliştirildi .

Bu yaklaşımda, kuantum çok-cisim durumları, her bir tek parçacık durumunu belirli sayıda özdeş parçacıkla doldurarak oluşturulan Fock durumu temelinde temsil edilir. İkinci niceleme biçimciliği , Fock durumlarını inşa etmek ve işlemek için yaratma ve yok etme operatörlerini tanıtır ve kuantum çok cisim teorisinin incelenmesine faydalı araçlar sağlar.

Kuantum çok cisim durumları

İkinci niceleme biçimciliğinin başlangıç ​​noktası, kuantum mekaniğinde parçacıkların ayırt edilemezliği kavramıdır . Her bir parçacık bir tat konumu vektörü ile etiketlenir klasik mekanik, aksine ve kümesinin farklı konfigürasyonlarda , s, farklı çok-cisim durumlarına karşılık gelen kuantum mekaniği olarak, parçacıklar, yani, iki parçacık alışverişi, özdeş , yok farklı bir çok cisimli kuantum durumuna yol açar . Bu, kuantum çok cisimli dalga fonksiyonunun, iki parçacığın değişimi altında (bir faz faktörüne kadar) değişmez olması gerektiği anlamına gelir. Parçacık istatistiklerine göre , parçacık değişimi altında çok cisimli dalga fonksiyonu simetrik veya antisimetrik olabilir:

parçacıklar bozon ise ,
parçacıklar fermiyon ise .

Bu değiş tokuş simetrisi özelliği, çok cisimli dalga fonksiyonu üzerinde bir kısıtlama getirir. Çok cisim sisteminden bir parçacık her eklendiğinde veya çıkarıldığında, simetri kısıtlamasını karşılamak için dalga fonksiyonu uygun şekilde simetrik veya anti-simetrik olmalıdır. İlk kuantizasyon formalizminde, bu kısıtlama, dalga fonksiyonunu tek parçacık durumlarının kalıcılarının (bozonlar için) veya belirleyicilerinin (fermiyonlar için) doğrusal kombinasyonu olarak temsil ederek garanti edilir . İkinci nicemleme biçimciliğinde, simetri sorunu yaratma ve yok etme operatörleri tarafından otomatik olarak halledilir, öyle ki gösterimi çok daha basit olabilir.

İlk nicelenmiş çok cisimli dalga fonksiyonu

(bir dizi kuantum sayısının birleşik bir indeksi olabilir) ile etiketlenmiş tek parçacık dalga fonksiyonlarının tam bir setini düşünün . Aşağıdaki dalga fonksiyonu

Bir temsil N ile -Parçacık durumunu i tek parçacık durumunu işgal inci parçacık . Kısa elli gösterimde, dalga işlevin konumu bağımsız değişken atlanabilir ve varsayılmaktadır I inci tek parçacık dalga fonksiyonu durumunu açıklar i inci parçacık. Dalga fonksiyonu simetrikleştirilmemiştir veya anti-simetrileştirilmemiştir, bu nedenle genel olarak özdeş parçacıklar için çok cisimli dalga fonksiyonu olarak nitelendirilmemiştir. Bununla birlikte, operatör simetriklestirilir (anti-simetriklestirilir) formuna getirilebilir symmetrizer için ve için antisymmetrizer .

Bozonlar için çok cisimli dalga fonksiyonu simetrik olmalıdır,

fermiyonlar için, çok cisimli dalga fonksiyonu anti-simetrik olmalıdır,

Burada bir eleman olduğu , N -body permütasyon grubu (ya da simetrik grubu ) , bir yerine, permütasyon durum etiketler arasında , ve karşılık gelen belirtmektedir permütasyon işareti . dalga fonksiyonunu normalleştiren normalleştirme operatörüdür. ( N dereceli simetrik tensörlere uygun bir sayısal normalleştirme faktörü uygulayan operatördür ; değeri için sonraki bölüme bakın.)

Bir matristeki tek parçacık dalga fonksiyonları , satır- i sütun- j matris elemanı olacak şekilde düzenlenirse , bozon çok cisimli dalga fonksiyonu basitçe kalıcı olarak yazılabilir ve fermiyon çok cisimli dalga fonksiyonu bir şekilde belirleyici (olarak da bilinir Slater belirleyici ).

İkinci nicelenmiş Fock durumları

Birinci nicelenmiş dalga fonksiyonları, fiziksel olarak gerçekleştirilebilir çok cisimli durumları tanımlamak için karmaşık simetrikleştirme prosedürlerini içerir, çünkü birinci niceleme dili, ayırt edilemez parçacıklar için fazlalıktır. İlk niceleme dilinde, çok cisim durumu, "Hangi parçacık hangi durumda?" gibi bir dizi soruya cevap verilerek tanımlanır. . Ancak bunlar fiziksel sorular değildir, çünkü parçacıklar özdeştir ve ilk etapta hangi parçacığın hangisi olduğunu söylemek imkansızdır. Görünüşte farklı durumlar ve aslında aynı kuantum çok-cisim durumunun gereksiz isimleridir. Bu nedenle, ilk niceleme açıklamasında bu fazlalığı ortadan kaldırmak için simetrikleştirme (veya anti-simetrileştirme) tanıtılmalıdır.

İkinci nicemleme dilinde, "her parçacık hangi durumda" diye sormak yerine, "Her durumda kaç tane parçacık var?" diye sorulur. . Bu açıklama parçacıkların etiketlenmesine atıfta bulunmadığından, fazla bilgi içermez ve bu nedenle kuantum çok cisim durumunun kesin ve daha basit bir açıklamasına yol açar. Bu yaklaşımda, çok gövdeli durum meslek numarası bazında temsil edilir ve temel durum, belirtilen meslek numaraları kümesi ile etiketlenir.

yani tek parçacık durumunda (veya as ) parçacıklar vardır . Meslek sayıları toplam parçacık sayısının toplamıdır, yani . İçin fermiyonlar , işgal numarası yalnızca nedeniyle 0 veya 1 olabilir Pauli ilkesine ; için ise bozonları herhangi bir negatif olmayan bir tam sayı olabilir

Meslek sayısı durumları , Fock durumları olarak da bilinir. Tüm Fock durumları, çok cisimli Hilbert uzayının veya Fock uzayının tam bir temelini oluşturur . Herhangi bir jenerik kuantum çok cisim durumu, Fock durumlarının doğrusal bir kombinasyonu olarak ifade edilebilir.

Daha verimli bir dil sağlamanın yanı sıra, Fock uzayının değişken sayıda parçacıklara izin verdiğini unutmayın. Bir Hilbert uzayı olarak , bir-boyutlu sıfır-parçacık uzayı ℂ dahil olmak üzere, önceki bölümde açıklanan n- parçacık bozonik veya fermiyonik tensör uzaylarının toplamına eşbiçimlidir.

Tüm işgal sayıları sıfıra eşit olan Fock durumuna vakum durumu denir ve gösterilir . Yalnızca sıfır olmayan bir işgal numarasına sahip Fock durumu, ile gösterilen tek modlu bir Fock durumudur . İlk nicelenmiş dalga fonksiyonu açısından, vakum durumu birim tensör çarpımıdır ve ile gösterilebilir . Tek parçacık hali dalga fonksiyonuna indirgenir . Diğer tek modlu çok cisimli (bozon) durumlar, ve gibi, o modun dalga fonksiyonunun tensör ürünüdür . Çok modlu Fock durumları için (birden fazla tek parçacık durumunun dahil olduğu anlamına gelir ), karşılık gelen ilk nicelenmiş dalga fonksiyonu, parçacık istatistiklerine göre, örneğin bir bozon durumu ve bir fermiyon durumu için (sembolü) uygun simetrikleştirme gerektirecektir. arasında ve basitlik için atlanmıştır). Genel olarak, normalizasyon olarak bulunur , burada N toplam parçacık sayısıdır. Fermiyon için bu ifade yalnızca sıfır veya bir olabileceği gibi indirgenir . Böylece, Fock durumuna karşılık gelen ilk nicelenmiş dalga fonksiyonu okur

bozonlar için ve

fermiyonlar için. Yalnızca fermiyonlar için, bu nedenle yukarıdaki tensör ürününün, tüm dolu tek parçacık durumları üzerinde etkin bir şekilde yalnızca bir çarpım olduğuna dikkat edin.

Yaratma ve yok etme operatörleri

Yaratma ve yok etme operatörleri eklemek veya çok-cisim sistemi için bir parçacık kaldırmak için eklenir. Bu operatörler, birinci ve ikinci nicelenmiş durumlar arasındaki boşluğu dolduran ikinci nicemleme formalizminin merkezinde yer alır. Yaratma (yok etme) operatörünü birinci nicelenmiş çok cisimli bir dalga fonksiyonuna uygulamak, parçacık istatistiklerine bağlı olarak simetrik bir şekilde dalga fonksiyonundan bir tek-parçacık durumunu ekleyecektir (silecektir). Öte yandan, tüm ikinci nicelenmiş Fock durumları, yaratma operatörlerini tekrar tekrar vakum durumuna uygulayarak oluşturulabilir.

Yaratma ve yok etme operatörleri (bozonlar için) orijinal olarak kuantum harmonik osilatör bağlamında yükseltme ve alçaltma operatörleri olarak inşa edilir ve bunlar daha sonra kuantum alan teorisindeki alan operatörlerine genelleştirilir. Her çok cisim operatörünün (çok cisim sisteminin Hamiltoniyeni ve tüm fiziksel gözlemlenebilirler dahil) onlar cinsinden ifade edilebilmesi anlamında kuantum çok cisim teorisi için temeldirler.

Ekleme ve silme işlemi

Bir parçacığın yaratılması ve yok edilmesi, simetrik veya anti-simetrik bir şekilde birinci nicelenmiş dalga fonksiyonundan tek parçacık durumunun eklenmesi ve silinmesiyle gerçekleştirilir. Izin 1 tensör kimliği (sıfır-parçacık alanı ℂ ve karşılar jeneratör olsun, bir tek parçacık durumu olmak içinde tensör cebir temel Hilbert alanı üzerinde) ve izin genel tensör ürün durum olabilir. Ekleme ve silme operatörleri, aşağıdaki özyinelemeli denklemlerle tanımlanan doğrusal operatörlerdir.

İşte olan Kronecker delta 1 eğer verir sembol, aksi ve 0. Alt simge girme ya da silme operatörleri (bozonları için) symmetrization ya da (fermiyonlar için), anti-symmetrization uygulanan olup olmadığını gösterir.

Bozon oluşturma ve yok etme operatörleri

Bozon oluşturma (yani yok etme) operatörü genellikle (ya da ) olarak gösterilir . Yaratma operatörü , tek parçacık durumuna bir bozon ekler ve yok etme operatörü , tek parçacık durumundan bir bozonu çıkarır . Yaratma ve yok etme operatörleri birbirine Hermitian eşleniğidir, ancak ikisi de Hermitian operatör değildir ( ).

Tanım

Bozon oluşturma (yok etme) operatörü, bir N -parçacığı birinci nicelenmiş dalga fonksiyonu üzerindeki eylemi şu şekilde tanımlanan doğrusal bir operatördür .

burada tek parçacık durumunu ekler olarak simetrik mümkün Ekleme pozisyonları ve tek parçacık durum silinir gelen simetrik mümkün silme konumlarına sahip olmasıdır.

Örnekler (tıklayın gösterisi görünümüne)

Bundan sonra, tek parçacık durumları arasındaki tensör sembolü , basitlik için atlanmıştır. Devleti al, devlet üzerinde bir bozon daha yarat ,

Sonra devletten bir bozonu yok et ,

Fock durumlarında eylem

Tek modlu vakum durumundan başlayarak , yaratma operatörünü tekrar tekrar uygulayarak,

Yaratma operatörü, bozon işgal sayısını 1 arttırır. Bu nedenle, tüm işgal sayısı durumları, bozon oluşturma operatörü tarafından vakum durumundan oluşturulabilir.

Öte yandan, yok etme operatörü bozon işgal sayısını 1 azaltır.

Ayrıca , vakum durumunda yok edilecek hiçbir bozon kalmadığından, vakum durumunu da söndürecektir. Yukarıdaki formüller kullanılarak gösterilebilir.

yani bozon sayısı operatörünü tanımlar.

Yukarıdaki sonuç, bozonların herhangi bir Fock durumuna genelleştirilebilir.

Bu iki denklem, ikinci nicemleme formalizminde bozon yaratma ve yok etme operatörlerinin tanımlayıcı özellikleri olarak düşünülebilir. Altta yatan birinci nicemlenmiş dalga fonksiyonunun karmaşık simetrisi, yaratma ve yok etme operatörleri tarafından otomatik olarak halledilir (birinci nicemlenmiş dalga fonksiyonu üzerinde hareket ederken), böylece karmaşıklık ikinci nicemlenmiş seviyede ortaya çıkmaz ve ikinci niceleme formülleri basit ve düzenlidir.

Operatör kimlikleri

Aşağıdaki operatör kimlikleri, bozon oluşturma ve yok etme operatörlerinin Fock durumu üzerindeki eyleminden kaynaklanmaktadır,

Bu komütasyon ilişkileri bozon oluşturma ve yok etme operatörlerinin cebirsel tanımı olarak düşünülebilir. Bozon çok cisimli dalga fonksiyonunun parçacık değişimi altında simetrik olduğu gerçeği bozon operatörlerinin komütasyonuyla da kendini gösterir.

Kuantum harmonik osilatörün yükseltme ve alçaltma operatörleri de aynı komütasyon ilişkileri setini sağlar, bu da bozonların bir osilatörün enerji kuantası (fononları) olarak yorumlanabileceğini gösterir. Bir Harmonik osilatörün (veya bir Harmonik salınım modları koleksiyonunun) konum ve momentum operatörleri, fonon yaratma ve yok etme operatörlerinin Hermitian kombinasyonları tarafından verilir,

konum ve momentum operatörleri arasındaki kurallı komütasyon ilişkisini yeniden üreten ($\hbar=1$ ile)

Bu fikir, madde alanının her modunu kuantum dalgalanmalarına tabi bir osilatör olarak kabul eden kuantum alan teorisinde genelleştirilmiştir ve bozonlar, alanın uyarımları (veya enerji kuantumları) olarak ele alınır.

Fermiyon oluşturma ve yok etme operatörleri

Fermiyon oluşturma (yok etme) operatörü genellikle ( ) olarak gösterilir . Oluşturma operatörü , tek parçacık durumuna bir fermiyon ekler ve yok etme operatörü , tek parçacık durumundan bir fermiyon çıkarır .

Tanım

Fermiyon oluşturma (yok etme) operatörü, N -parçacığı birinci nicemlenmiş dalga fonksiyonu üzerindeki eylemi şu şekilde tanımlanan doğrusal bir operatördür .

burada tek parçacık durumunu ekler olarak , anti-simetrik mümkün Ekleme pozisyonları ve tek parçacık durum silinir gelen anti-simetrik mümkün silme konumlarına sahip olmasıdır.

Örnekler (tıklayın gösterisi görünümüne)

Bundan sonra, tek parçacık durumları arasındaki tensör sembolü , basitlik için atlanmıştır. Devlet al , işgal üzerine bir daha fermiyon oluşturma girişiminde bütün çok cisim dalgası fonksiyonunu gidermek olacak devlet,

Devlet üzerinde bir fermiyon yok et, devleti al ,

Eksi işareti (fermiyon işareti olarak bilinir), fermiyon dalga fonksiyonunun anti-simetrik özelliği nedeniyle ortaya çıkar.

Fock durumlarında eylem

Tek modlu vakum durumundan başlayarak , fermiyon oluşturma operatörünü uygulayarak ,

Tek parçacık durumu boşsa, oluşturma operatörü durumu bir fermiyonla dolduracaktır. Bununla birlikte, durum zaten bir fermiyon tarafından işgal edilmişse, yaratma operatörünün daha fazla uygulanması durumu söndürecek ve iki özdeş fermiyonun aynı anda aynı durumu işgal edemeyeceği Pauli dışlama ilkesini gösterecektir . Bununla birlikte, fermiyon yok etme operatörü tarafından işgal edilen durumdan fermiyon çıkarılabilir ,

Vakum durumu, yok etme operatörünün eylemiyle söndürülür.

Bozon durumuna benzer şekilde, fermiyon Fock durumu, fermiyon oluşturma operatörü kullanılarak vakum durumundan oluşturulabilir.

(numaralandırma yoluyla) kontrol etmek kolaydır.

yani fermiyon sayısı operatörünü tanımlar.

Yukarıdaki sonuç, herhangi bir Fock fermiyon durumu için genelleştirilebilir.

Fermiyonlar için işgal numarasının sadece 0 veya 1 alabileceğini hatırlayın . Bu iki denklem, ikinci kuantizasyon formalizminde fermiyon oluşturma ve yok etme operatörlerinin tanımlayıcı özellikleri olarak düşünülebilir. Jordan-Wigner dizisi olarak da bilinen fermiyon işareti yapısının , tek parçacık durumlarının önceden tanımlanmış bir sıralamasının ( döndürme yapısı ) var olmasını gerektirdiğine ve önceki tüm durumların fermiyon işgal sayılarının bir sayılmasını içerdiğine dikkat edin; bu nedenle fermiyon oluşturma ve yok etme operatörleri bir anlamda yerel olmayan olarak kabul edilir. Bu gözlem, fermiyonların uzun menzilli dolaşık yerel kübit sisteminde ortaya çıkan parçacıklar olduğu fikrine yol açar .

Operatör kimlikleri

Aşağıdaki operatör kimlikleri, Fock durumundaki fermiyon oluşturma ve yok etme operatörlerinin eyleminden kaynaklanmaktadır,

Bu anti-komütasyon ilişkileri, fermiyon oluşturma ve yok etme operatörlerinin cebirsel tanımı olarak düşünülebilir. Fermiyon çok cisimli dalga fonksiyonunun partikül değişimi altında anti-simetrik olduğu gerçeği, fermiyon operatörlerinin anti-komütasyonu ile de kendini gösterir.

Yaratma ve yok etme operatörleri birbirine Hermitian eşleniğidir, ancak ikisi de Hermitian operatör değildir ( ). Fermiyon oluşturma ve yok etme operatörlerinin Hermitian kombinasyonu

Majorana fermiyon operatörleri denir . Bir "fermiyonik" Harmonik osilatörün konum ve momentum operatörlerinin fermiyonik analoğu olarak görülebilirler. Antikomütasyon ilişkisini sağlarlar.

Burada, herhangi bir Majorana fermiyon operatörünü eşit temelde etiketler (karmaşık fermiyon operatörlerinin Re veya Im kombinasyonundan kaynaklanmalarına bakılmaksızın ). Antikomütasyon ilişkisi, Majorana fermiyon operatörlerinin , çok cisimli Hilbert uzayında sistematik olarak Pauli operatörleri olarak temsil edilebilen bir Clifford cebiri ürettiğini gösterir .

Kuantum alan operatörleri

Tanımlama , bir tek parçacık durum için genel bir yok etme (oluşturulması) operatör ya fermiyonik olabilir veya bozonik , gerçek alan gösterimi operatörlerin tanımlayan kuantum alan operatörleri ve ile

Bunlar, katsayıları olan ve sıradan birinci nicemleme dalga fonksiyonları olan ikinci nicemleme operatörleridir . Bu nedenle, örneğin, herhangi bir beklenti değeri, sıradan birinci nicemleme dalga fonksiyonları olacaktır. Basitçe söylemek gerekirse, aşağıdaki gibi düzlem dalgalar olmak zorunda değil , temel durumlardan herhangi biri yoluyla sisteme r konumunda bir parçacık eklemenin tüm olası yollarının toplamıdır .

Yana ve uzayda her noktasında tanımlanan ikinci nicemleme operatörleri onlar denir kuantum alan operatörleri. Aşağıdaki temel komütatör ve anti komütatör ilişkilerine uyarlar,

bozon alanları,
fermiyon alanları.

Homojen sistemler için, gerçek uzay ve momentum temsilleri arasında dönüşüm yapmak genellikle arzu edilir, bu nedenle, Fourier bazında kuantum alan operatörleri şunları verir:

İsimlendirme hakkında yorum yapın

Jordan tarafından ortaya atılan "ikinci nicemleme" terimi, tarihsel nedenlerle varlığını sürdüren bir yanlış adlandırmadır. Kuantum alan teorisinin kökeninde, Dirac denkleminin , kuantize edildiğinde (skaler alan gibi) bir sonuç veren klasik bir spinor alandan ziyade göreli bir dalga fonksiyonunu (dolayısıyla eski "Dirac denizi" yorumu) tanımladığı uygunsuz bir şekilde düşünülmüştü. fermiyonik kuantum alanı (bosonik kuantum alanına karşı).

"İkinci" teriminin önerebileceği gibi, "tekrar" niceleme yapılmaz; kuantize edilen alan, bir parçacığın nicelenmesinin sonucu olarak üretilen bir Schrödinger dalga fonksiyonu değil, klasik bir alandır (elektromanyetik alan veya Dirac spinor alanı gibi), esasen birleştirilmiş osilatörlerin bir birleşimidir; önceden kuantize edilmiştir. Biri bu düzenekteki her bir osilatörün sadece kuantize edilmesidir, sistemin yarı-klasik bir tedavisinden tamamen kuantum-mekanik olana geçilir .

Ayrıca bakınız

Referanslar

daha fazla okuma

Dış bağlantılar