Temel Kuantum Fiziği ve Kuantum Teknolojilerine Giriş · 3. Ünite: Kuantum Mekaniğinin Matematiksel Altyapısı

Komütatörler ve Heisenberg Belirsizlik İlkesi

Ünite 2-2'de dar bir dalga paketinin geniş bir momentum dağılımı gerektirdiğini Fourier analiziyle gördük. Bu konuda bu gözlemi her gözlemlenebilir çiftine genelleştiriyoruz: iki operatörün komütatörü $[\hat{A}, \hat{B}] = \hat{A}\hat{B} - \hat{B}\hat{A}$ sıfırsa iki nicelik aynı anda kesin değer alabilir; sıfır değilse standart sapmalarının çarpımı $\tfrac12|\langle[\hat{A}, \hat{B}]\rangle|$'den küçük olamaz. Komütatör cebirini ve $[\hat{x}, \hat{p}] = i\hbar$'yi kuracak, uyumlu gözlemlenebilirlerin ortak özdurumlarını inceleyecek, Robertson belirsizlik ilişkisini Cauchy–Schwarz eşitsizliğinden ispatlayacak, eşitliği sağlayan durumun Gauss paketi olduğunu türetecek ve enerji–zaman ilişkisinin neden farklı bir statüde olduğunu açıklayacağız. Spin-½ örneğinde sınırın durumdan duruma nasıl değiştiğini simülasyonda sayısal olarak göreceksin.

Öğrenme hedefleri

• Komütatörün doğrusallık, ters simetri ve çarpım kuralını kullanarak $[\hat{x}, \hat{p}] = i\hbar$'den $[\hat{x}^n, \hat{p}]$, $[f(\hat{x}), \hat{p}]$, $[\hat{x}, \hat{p}^2]$ gibi komütatörleri ve Pauli matrislerinden $[\hat{S}_i, \hat{S}_j] = i\hbar\varepsilon_{ijk}\hat{S}_k$ bağıntısını hesaplar.
• Değişen (uyumlu) iki gözlemlenebilirin ortak bir özvektör tabanı olduğunu gösterir ve ardışık ölçümlerde uyumlu ile uyumsuz gözlemlenebilirlerin farkını olasılıklarla açıklar.
• Genelleştirilmiş (Robertson) belirsizlik ilişkisini $\sigma_A\sigma_B \geq \tfrac12|\langle[\hat{A}, \hat{B}]\rangle|$ Cauchy–Schwarz eşitsizliğinden ispatlar ve $\Delta x\Delta p \geq \hbar/2$'yi elde eder.
• Eşitlik koşulundan minimum belirsizlik dalga paketinin Gauss olduğunu türetir; sonsuz kuyu ve spin-½ durumlarında belirsizlik çarpımını hesaplayıp sınırla karşılaştırır.
• Enerji–zaman belirsizliğini Mandelstam–Tamm biçimiyle ifade eder, zamanın bir operatör olmadığını belirtir ve doğal çizgi genişliği gibi uygulamalarda kullanır.
• Belirsizlik ilişkisinin bir ölçüm bozulması değil, durumun (hazırlamanın) bir özelliği olduğunu topluluk ölçümleriyle açıklar.

Konu anlatımı

1. Bağlam: Heisenberg'in Mikroskobu ve Kennard–Robertson Eşitsizliği

2. Komütatör Cebiri ve Kanonik Komütasyon Bağıntısı

3. Uyumlu ve Uyumsuz Gözlemlenebilirler

4. Robertson Belirsizlik İlişkisinin İspatı

5. Minimum Belirsizlik Dalga Paketi

6. Enerji–Zaman Belirsizliği: Farklı Bir Statü

7. Fiziksel Yorum: Ölçüm Bozulması Değil, Durumun Özelliği

8. Çözümlü Örnekler

9. Sık Yapılan Hatalar ve Kavram Yanılgıları

10. Simülasyon ve Bağlantılar

Anahtar terimler

Komütatör (commutator)

$[\hat{A}, \hat{B}] = \hat{A}\hat{B} - \hat{B}\hat{A}$; ters simetrik, doğrusal, çarpım kuralını sağlar. Hermityen operatörler için anti-Hermityendir.

Kanonik komütasyon bağıntısı

$[\hat{x}, \hat{p}] = i\hbar$; konum ve momentum operatörlerinin temel cebiri. Sonlu boyutlu matrislerle sağlanamaz.

Uyumlu gözlemlenebilirler (compatible observables)

Değişen ($[\hat{A}, \hat{B}] = 0$) ve bu nedenle ortak bir özvektör tabanına sahip gözlemlenebilirler; ardışık ölçümleri birbirini bozmaz.

Tam değişen gözlemlenebilirler kümesi (CSCO)

Karşılıklı değişen ve ortak özdeğerleri her ortak özdurumu tek başına etiketleyen gözlemlenebilirler; kuantum sayılarının kaynağı.

Robertson belirsizlik ilişkisi

$\sigma_A\sigma_B \geq \tfrac12|\langle[\hat{A}, \hat{B}]\rangle|$; Cauchy–Schwarz eşitsizliğinden türetilir, sınır genelde duruma bağlıdır.

Minimum belirsizlik paketi

$\sigma_x\sigma_p = \hbar/2$ sağlayan durum; momentum fazı taşıyan Gauss paketi. Harmonik osilatörün taban durumu bir örnektir.

Mandelstam–Tamm bağıntısı

$\sigma_H\sigma_Q \geq \tfrac\hbar2|d\langle Q\rangle/dt|$; enerji–zaman belirsizliğinin kesin biçimi, $\Delta t$ karakteristik değişim süresidir.

Doğal çizgi genişliği (natural linewidth)

Ömrü $\tau$ olan düzeyin enerji genişliği $\Gamma = \hbar/\tau$, frekans genişliği $1/(2\pi\tau)$.

Levi-Civita simgesi

$\varepsilon_{ijk}$: $(x, y, z)$ döngüsel sırada $+1$, ters sırada $-1$, tekrar eden indiste 0; $[\hat{S}_i, \hat{S}_j] = i\hbar\varepsilon_{ijk}\hat{S}_k$.

Örnek soru

$[\hat{x}, \hat{p}] = i\hbar$ kullanılarak $[\hat{x}, \hat{p}^2]$ komütatörü nedir?

1. $2i\hbar\,\hat{p}$
2. $i\hbar$
3. $2i\hbar\,\hat{x}$
4. $-2i\hbar\,\hat{p}$
5. $0$

Doğru cevap: A

Çözüm

1. Çarpım kuralı: $[\hat{x}, \hat{p}\hat{p}] = [\hat{x}, \hat{p}]\hat{p} + \hat{p}[\hat{x}, \hat{p}]$.
2. $= i\hbar\hat{p} + \hat{p}\,i\hbar = 2i\hbar\hat{p}$.
3. $[\hat{x}, \hat{p}^2] = 2i\hbar\hat{p}$; genel kural $[\hat{x}, g(\hat{p})] = i\hbar g'(\hat{p})$ ile de aynı sonuç.
$2i\hbar\hat{x}$, $[\hat{x}^2, \hat{p}]$'nin sonucudur (operatörlerin rolü karışmış); $-2i\hbar\hat{p}$ ise $[\hat{p}^2, \hat{x}]$'tir.

Temel Kuantum Fiziği ve Kuantum Teknolojilerine Giriş: tüm konular