Dirac Bra-ket Notasyonu

Bu derste kuantum hesaplamanın evrensel yazı dili olan Dirac bra-ket notasyonunu sıfırdan öğreneceğiz. Fizikçi Paul Dirac'ın 1939'da önerdiği bu gösterim, vektörleri |ψ⟩ biçiminde yazar; iç çarpım, adjoint ve projeksiyon gibi işlemleri kâğıt üstünde çok daha derli toplu hâle getirir. Bu ünitenin Vektörler ve İç Çarpım derslerinde kazandığın araçları artık kuantumcuların günlük diliyle yazacağız; serinin tamamı için Kuantum Hesaplama dersleri sayfasına göz atabilirsin.

Dirac Notasyonu Nedir?

Bra-ket notasyonu, vektör uzayındaki nesneleri yazmanın pratik bir söz dizimidir. Dirac, ⟨φ|ψ⟩ biçimindeki iç çarpım ifadesine “bracket” (parantez) adını verdi ve kelimeyi ortadan ikiye böldü: sağ parça |ψ⟩’ye ket, sol parça ⟨φ|’ye bra dendi. İfade okunurken “bra-ket” denir; gösterimin adı bu kelime oyunundan gelir.

En kritik nokta şudur: ket’in içine yazılan sembol bir etikettir, sayı değil. |0⟩ “sıfır vektörü” demek değildir; “0 diye etiketlenmiş bir vektör” demektir. İstesen içine |yukarı⟩ ya da |+⟩ da yazabilirdin. Bu özgürlük, kübit durumlarını |0⟩, |1⟩, |01⟩ gibi okunur etiketlerle taşımamızı sağlar: kuantum hesaplamada her durum bir ket ile isimlendirilir.

Ket: Durum Bir Kolon Vektörüdür

Her ket, bir kolon vektörün başka bir yazılışıdır. Kübitin iki temel durumu standart baz olarak şöyle tanımlanır: |0⟩ bileşenleri üstten alta 1 ve 0 olan kolon vektördür; |1⟩ ise 0 ve 1 bileşenlerini taşır. Bu, Ortonormal Bazlar dersindeki standart baz vektörlerinin birebir aynı fikridir; değişen tek şey isimlerdir, |e₁⟩, |e₂⟩ yerine |0⟩, |1⟩ yazılır.

Genel bir kübit durumu bu bazın lineer kombinasyonudur: |ψ⟩ = α|0⟩ + β|1⟩. Buradaki α ve β, Karmaşık Sayılar dersinden hatırlayacağın gibi kompleks sayılardır ve normalizasyon kuralına uyarlar: |α|² + |β|² = 1. Örneğin |ψ⟩ = (1/√2)|0⟩ + (1/√2)|1⟩ durumunda kübit her iki sonuçtan eşit ölçüde karışım içerir; 1/√2 ≈ 0,707’dir. Sonraki bölümlerde i içeren örneklerle devam edeceğiz.

Bra: Adjoint Alınmış Satır Vektörü

Bra, ket’in adjoint’idir: önce transpozunu al, sonra bileşenleri eşlenikle (i’nin −i olması gibi). Transpoz ve Adjoint dersindeki gösterimle ⟨ψ| = ψ† yazarız; kolon vektör, eşlenik bileşenli bir satır vektörüne dönüşür. Somut örnek: |ψ⟩ = (1/√2)|0⟩ + (i/√2)|1⟩ ise ket’in bileşenleri (1/√2, i/√2)’dir ve bra’sı ⟨ψ| = (1/√2, −i/√2) olur. Ketler, Kompleks Vektör Uzayları dersinde incelenen uzayın elemanlarıdır; eşlenik işlemi tam da bu yüzden hayatın doğal bir parçasıdır.

Bra-ket: İç Çarpım Adım Adım

Bir bra ile bir ket’i yan yana koyduğunda iç çarpım elde edersin: ⟨φ|ψ⟩ bir sayıdır ve kompleks olabilir. Hesap, satır bileşenlerini kolon bileşenleriyle çarpıp toplamaktan ibarettir. Adım adım gidelim: ⟨0| = (1, 0) ve |ψ⟩ = (1/√2, i/√2) için ⟨0|ψ⟩ = 1·(1/√2) + 0·(i/√2) = 1/√2 çıkar. Şimdi ψ ile kendi bra’sını çarpalım: ⟨ψ|ψ⟩ = (1/√2)·(1/√2) + (−i/√2)·(i/√2) = 1/2 + (−i·i)/2 = 1/2 + 1/2 = 1. Sonucun tam 1 çıkması tesadüf değil: normalizasyon kuralı, ket dilinde tam olarak ⟨ψ|ψ⟩ = 1 demektir.

Standart bazda iç çarıplar ortonormalliği söyler: ⟨0|0⟩ = 1, ⟨1|1⟩ = 1 ve ⟨0|1⟩ = 0. Ölçüm olasılıkları da aynı dilde yazılır: |ψ⟩ = α|0⟩ + β|1⟩ durumundaki kübiti ölçtüğünde 0 görme olasılığın |⟨0|ψ⟩|² = |α|², 1 görme olasılığın |⟨1|ψ⟩|² = |β|²’dir. Ket-bra ise ters yöne gider ve bir matris üretir: |0⟩⟨0|, satırları (1, 0) ve (0, 0) olan 2×2’lik matristir; buna projeksiyon operatörü denir ve (|0⟩⟨0|)² = |0⟩⟨0| olduğu hemen kontrol edilir. Ayrıca |0⟩⟨0| + |1⟩⟨1| = I eşitliği sağlanır. Kısacası sıra nesnenin türünü değiştirir: ⟨φ|ψ⟩ sayı, |φ⟩⟨ψ| matris.

Notasyon çok kübitli sistemlerde de ölçeklenir: iki kübitin |0⟩ ve |1⟩ durumları, Tensor ve Kronecker Çarpımı dersindeki ⊗ işlemiyle birleşip |0⟩⊗|1⟩ = |01⟩ durumunu verir. Böylece n kübitlik bir durum, |010…1⟩ gibi uzun bir bit etiketi taşıyan tek bir ket olarak okunur.

Sık Yapılan Hatalar

1. |0⟩’ı sıfır vektörü sanmak. |0⟩ bir etikettir; vektörün kendisi (1, 0)’dır. Gerçek sıfır vektörü kastedilirken ket içine 0 yazılmaz.
2. Bra alırken eşleniği atlamak. Bra = adjoint = transpoze + eşlenik. (i, 1)’in bra’sı (−i, 1)’dir, (i, 1) değil.
3. ⟨φ|ψ⟩’nin her zaman gerçekte beklemek. Genel olarak kompleks olabilir; her zaman gerçeğe eşit olduğu söylenebilen tek şey ⟨ψ|ψ⟩ ≥ 0’dır.
4. Bra-ket ile ket-bra’yı karıştırmak. ⟨φ|ψ⟩ sayı, |φ⟩⟨ψ| matristir; iki nesnenin türü ve anlamı farklıdır.
5. Genliği olasılık gibi kullanmak. Ölçüm olasılığı genliğin kendisi değil, büyüklüğünün karesidir: P = |α|². Bu yüzden toplam 1 koşulu α + β = 1 değil, |α|² + |β|² = 1’dir.

Özetle Dirac notasyonu yeni bir matematik değildir; bu ünitede öğrendiğin lineer cebirin daha az mürekkeple yazılmış hâlidir. Serinin kalanında tüm operatörleri ve kapıları bu dille yazacağız; iç çarpımı henüz tam oturtmadıysan İç Çarpım dersine dönmek iyi bir yatırım olur.

Kaynaklar ve İleri Okuma

Bra–ket notation (Wikipedia) — Notasyonun tarihi, bra-ket ile ket-bra ayrımı ve fizikteki kullanımını anlatan kapsamlı İngilizce madde.

Quantum state (Wikipedia) — “Durum” kavramının matematiksel karşılıklarını derinleştirmek için okunabilecek genel madde.

Basics of Quantum Information (IBM Quantum) — Durumları ve ölçümü Dirac notasyonuyla tanıtan ücretsiz IBM kursu.

A fast quantum mechanical algorithm for database search (arXiv:quant-ph/9605043) — Grover’ın klasik makalesi; Dirac notasyonunun gerçek bir kuantum algoritmasında nasıl kullanıldığını gösterir.