Komütatörler

Bu derste kuantum mekaniğinin en önemli cebirsel aracını, komütatörü öğreneceğiz: [A, B] = AB − BA. İki operatörün uygulama sırası neden önemlidir, Pauli matrisleriyle somut hesap nasıl yapılır ve komütatörün sıfır çıkması ne anlama gelir, bunları adım adım göreceğiz; Operatörler ve Pauli Matrisleri derslerindeki gösterimi hazır kabul edeceğiz. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin.

Komütatör Nedir? Tanım ve Temel Kurallar

Sayılarla çarpımın sırası önemsizdir: 3·5 = 5·3. Operatörlerde bu rahatlık genelde yoktur: önce A sonra B uygulamak ile tersini yapmak farklı sonuç verebilir. Farkı ölçen ifadeye komütatör denir: [A, B] = AB − BA. Komütatör sıfırsa operatörler komüte ediyor demektir; sıfırdan farklıysa sıra gerçekten meseledir. Dikkat: komütatörün kendisi de bir operatördür, sayı değil.

Temel kurallar şunlardır; hepsi tanımdan birkaç satırda çıkar:

• Antisimetri: [A, B] = −[B, A]. Sıra değişince işaret döner.
• Özdeşlik: [A, A] = 0.
• Çizgisellik: [A + B, C] = [A, C] + [B, C] ve [aA, bB] = ab·[A, B].
• Ürüne yayılma: [A, BC] = [A, B]·C + B·[A, C].
• Jacobi özdeşliği: [A, [B, C]] + [B, [C, A]] + [C, [A, B]] = 0.

Komütatör neden merkezi bir araç? Çünkü hangi büyüklüklerin birlikte kesin ölçülebileceğini ve hangilerinin zamanda korunduğunu tek bir hesapla söyleverir; aşağıda önce elle hesaplayacak, sonra yorumlayacağız.

Somut Hesap: Pauli Matrisleriyle [X, Y]

Kuantum hesaplamada en sık kullanılan operatörler tek kübitin üç Pauli matrisidir: X = [[0, 1], [1, 0]], Y = [[0, −i], [i, 0]], Z = [[1, 0], [0, −1]]. Hepsinin karesi I'dir ve birbirleriyle genelde komüte etmezler. Şimdi [X, Y] hesabını baştan sona yapalım; matris çarpımında satırlar sütunlarla çarpılır.

1. adım — XY: X·Y = [[0, 1], [1, 0]]·[[0, −i], [i, 0]] = [[i, 0], [0, −i]] = i·Z.

2. adım — YX: Aynı yöntemle Y·X = [[−i, 0], [0, i]] = −i·Z.

3. adım — fark: [X, Y] = XY − YX = iZ − (−iZ) = 2iZ. Genel kural [σᵢ, σⱼ] = 2i·εᵢⱼₖ·σₖ biçimindedir; i, j, k döngüsel sırada işaret +, ters sırada − verir. Böylece [Y, Z] = 2iX ve [Z, X] = 2iY; üç eksen birbirini kilitler.

Sonucu durum vektörü üzerinde sınayalım: Y|0⟩ = i|1⟩ olduğundan XY|0⟩ = i·X|1⟩ = i|0⟩; X|0⟩ = |1⟩ ve Y|1⟩ = −i|0⟩ olduğundan YX|0⟩ = −i|0⟩. Fark: i|0⟩ − (−i|0⟩) = 2i|0⟩ = 2iZ|0⟩. Matris hesabıyla birebir uyuşuyor; komütatör soyut bir tanım değil, sınanabilir bir cebirdir.

Antikomütatör: {A, B} = AB + BA

Komütatörün akrabası antikomütatör iki ürünün toplamıdır: {A, B} = AB + BA. Pauli matrislerinde farklı eksenler antikomüte eder: {X, Y} = iZ + (−iZ) = 0. Kendisiyle ise {X, X} = 2I. Tek satırda {σᵢ, σⱼ} = 2δᵢⱼI. İki formülü birleştirince her Pauli çarpımı kapanışa gider: σᵢσⱼ = δᵢⱼI + iεᵢⱼₖσₖ; kübit kapı cebirinin omurgası budur.

Komütatör Sıfırsa Ne Olur? Uyumluluk ve Korunum

[A, B] = 0 fiziksel bir izindir. A ve B Hermitian ve komüte ediyorlarsa, her ikisinin özvektörü olan ortak bir durum takımı vardır; ikisi uyumlu gözlenebilirlerdir ve aynı durumda birlikte kesin değerle ölçülebilir. Komüte etmiyorlarsa bu garanti kalkar. Ayrıntı için Kuantumda Ölçüm ve Gözlenebilirler derslerine bakabilirsin.

Sıfırdan fark, belirsizliğin alt sınırını yazar: Robertson ilişkisi ΔA·ΔB ≥ ½·|⟨[A, B]⟩| der; sağ taraf duruma bağlı bir beklenti değeridir. Klasik örnek: [x̂, p̂] = iℏ, dolayısıyla Δx·Δp ≥ ℏ/2. Açısal momentumda [Lₓ, Lᵧ] = iℏL_z; bileşenler birbirini dışlarken L² ile L_z birlikte kesinleşebilir — bu örnek Spin-1/2 Sistemleri dersinin özüdür.

Komütatör korunumu da test eder: A zamana açıkça bağlı değilken beklenti değerinin akış hızı d⟨A⟩/dt = (i/ℏ)·⟨[H, A]⟩ ile verilir. [H, A] = 0 ise ⟨A⟩ sabit kalır; enerji özdurumlarında H kendisiyle komüte ettiği için enerji korunur. Çerçevenin tamamı için Schrödinger Denklemi ve Zaman Evrimi derslerine göz atabilirsin.

Kuantum Kapılarında Sıra Meselesi

Kapı devrelerinde karşılığı şudur: kapı sırası değişirse devre değişir. Somut örnek: H·X·H = Z ve H·Z·H = X; Hadamard, X ile Z'yi birbirine çevirir. Buradan H·X = Z·H çıkar ama X·H = H·Z olur; iki taraf eşit değildir, yani H ile X komüte etmez. Hangi kapıların yer değiştirebileceğini komütatör belirler.

Aynı eksenin fonksiyonları daima anlaşır: Rz(θ) = e^(−iθZ/2) kapısı Z ile komüte eder, çünkü ikisi de Z'nin fonksiyonudur; [f(Z), g(Z)] = 0 her zaman doğrudur. Farklı eksenler için durum değişir: Rx ile Rz komüte etmez; önce-Rx-sonra-Rz ile tersi farklı devrelerdir. Eksenlerin geometrik haritası için Bloch Küresi dersine bakabilirsin. Son bir formül: [A, B] hem A hem B ile komüte ediyorsa e^A·e^B = e^(A + B + [A, B]/2) olur.

Sık Yapılan Hatalar ve Yanılgılar

En sık görülen beş hata:

• Komütatörü sayı sanmak. [X, Y] = 2iZ bir operatördür; sayı olan şey beklenti değeri ⟨[A, B]⟩'dir.
• İşaret-sıra hatası. [B, A] = −[A, B]; sırayı ters yazıp eski işaretle taşımak sonucu bozar.
• [A, B] = 0'ı eşitlik sanmak. Komütasyon birlikte ölçülebilirliktir; I ile herkes komüte eder ama I başka hiçbir operatör değildir.
• Robertson sınırını eşitlik sanmak. İlişki bir alt sınırdır; her durumda eşitlikle doyurulmaz.
• e^(A+B) = e^A·e^B yazmak. Yalnız A ile B komüte ederken doğrudur; kapı devrelerinde çoğu zaman geçersizdir.

Özet: Akılda Kalanlar

• [A, B] = AB − BA sıranın önemini ölçer; antisimetriktir, çizgiseldir, ürünlere yayılır: [A, BC] = [A, B]·C + B·[A, C].
• [X, Y] = 2iZ, [Y, Z] = 2iX, [Z, X] = 2iY; farklı eksenler antikomüte eder, {σᵢ, σⱼ} = 2δᵢⱼI.
• Hermitianlar için [A, B] = 0 ortak özdurum demektir: uyumlu gözlenebilirler birlikte kesin ölçülür; [H, A] = 0 ise A korunur.
• ΔA·ΔB ≥ ½|⟨[A, B]⟩| belirsizliğin alt sınırını komütatörle yazar; [x̂, p̂] = iℏ klasik örnektir.
• Kapılarda sıra komütatörle belirlenir: H·X·H = Z; aynı eksenin fonksiyonları daima komüte eder.

Bu dersle ünitenin hesap araçlarını tamamlamış olduk: artık iki operatörün anlaşılıp anlaşamayacağını tek satırda sınayabilirsin. Devam eden derslerde bu testin ölçüm ve devre tasarımındaki karşılıklarını kullanacağız.

Kaynaklar ve İleri Okuma

Commutator — Wikipedia — Tanım, cebirsel özellikler ve Jacobi özdeşliği için standart başvuru.

Canonical commutation relation — Wikipedia — [x̂, p̂] = iℏ ve açısal momentum komütatörlerinin özeti.

Pauli matrices — Wikipedia — Komütatör ve antikomütatör tabloları, genel çarpım formülü.

IBM Quantum Learning — Pauli kapıları ve devrede kapı sırası için resmî ders malzemesi.

MIT OpenCourseWare — 8.04 Quantum Physics I — Komütatör, uyumluluk ve belirsizlik ilişkisini ders düzeyinde işleyen ücretsiz notlar.