Gözlenebilirler

Ölçtüğünde karşına bir sayı çıkan her şey — konum, momentum, enerji, spin bileşeni — kuantum mekaniğinde özel bir matematiksel nesneyle eşleşir; bu eşleşmeye gözlenebilir denir ve temsilcisi daima Hermitian bir operatördür. Bu derste gözlenebilirin ne olduğunu, ölçüm sonuçlarının neden operatörün özdeğerleri olduğunu ve beklenen değerin adım adım nasıl hesaplandığını sıfırdan öğreneceksin. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin.

Gözlenebilir Nedir? Sayıdan Operatöre

Klasik fizikte mesele yoktur: parçacığın momentumu bir sayıdır, ölçsen de ölçmesen de oradadır. Kuantum mekaniğinde ise sistemin tüm bilgisi Kuantum Durumları dersindeki |ψ⟩ durumunda durur ve durum tek başına kesin sonuç vermez; sonucu durum ile gözlenebilir birlikte belirler. Büyüklük başına bir operatör atanır: konum için konum operatörü, momentum için p̂ = −iℏ·d/dx, enerji için Hamilton operatörü Ĥ, kübitin spin bileşenleri için Pauli operatörleri X, Y, Z (fizik kitaplarında σₓ, σ_y, σ_z).

Bağlantıyı kuran ölçüm aksiyomu şunu söyler: A gözlenebilirini ölçtüğünde okuyabileceğin her sonuç, A'nın bir özdeğeridir. |ψ⟩ tesadüfen A'nın özdurumuysa (A|e⟩ = λ|e⟩), ölçüm %100 olasılıkla o λ'yı verir; değilse sonuçlar özdeğerler arasında Kuantumda Ölçüm dersindeki kurallara göre dağılır. Klasikle fark yan yana:

• Klasik: değer ölçümden bağımsız olarak zaten bellidir; ölçüm kayıtsız bir okumadır.
• Kuantum: durum gözlenebilirin özdurumu değilse, ölçülecek değerin önceden belirlenmiş bir hâli yoktur; elindeki tek bilgi olasılık dağılımıdır.
• Sınır: kuantumda σₓ–σ_z gibi bazı çiftler aynı anda kesin olamaz; hangi çiftlerin uyumlu olduğu Komütatörler dersinde komütatörle test edilir.

Neden Hermitian? Üç Zorunlu Sonuç

Gözlenebilirin Hermitian olması (A† = A; matrisin devriğinin kendi eşleniğine eşit olması) keyfi bir tercih değil, ölçümün dayattığı üç gereksinimden gelir:

• Özdeğerler gerçektir. Cihaz sana gerçek sayı okur. A|e⟩ = λ|e⟩ iken λ = ⟨e|A|e⟩ yazılabilir; Hermitianlık bu sayının kendi eşleniğine eşit, yani gerçek olmasını zorunlu kılar.
• Farklı sonuçlar ayırt edilebilir. Farklı özdeğerlere ait özvektörler ortogonaldır: +1 okuduğun durum ile −1 okuduğun durum iç içe geçmez, cihaz ikisini güvenle ayırır.
• Olasılıklar her durum için tanımlıdır. Özvektörler tam bir taban kurar (Σᵢ |eᵢ⟩⟨eᵢ| = I); böylece hangi |ψ⟩ gelirse gelsin pᵢ = |⟨eᵢ|ψ⟩|² olasılıkları toplanınca 1 çıkar.

Hermitianlığı üniteryenlikle karıştırmayın: gözlenebilirler Hermitian, kapılar ve zaman evrimi ise üniteryendir — evrim durumu bozmadan taşır. Özel durumlarda çakışırlar: X, Y, Z özdeğerleri ±1 olduğundan hem Hermitian hem üniteryendir; ama genel bir dönüş olan exp(−iθσ_y/2) yalnızca üniteryendir ve ölçüm sonucu üretemez. Enerji operatörü Ĥ'nin Hermitianlığı iki iş görür: enerjilerin gerçekliğini garanti eder ve exp(−iĤt/ℏ) evrimini üniteryen kılar; evrim tarafını Zaman Evrimi dersinde işleyeceğiz.

Gözlenebilirin kimliği tek satırdadır: A = Σᵢ λᵢ|eᵢ⟩⟨eᵢ|. Bu spektral ayrışım, olası sonuçları (λᵢ) ve her sonucun ait olduğu durumu (|eᵢ⟩) birlikte verir; özdeğer–özvektör tekniğini Operatörler dersine bırakıyoruz. En sık kullanılan gözlenebilirler Pauli ailesidir; X, Y, Z'nin tabloları Pauli Matrisleri dersinde çıkarılır.

Adım Adım Hesap: Z'yi Ölçmek

Kübitimiz |ψ⟩ = (|0⟩ + |1⟩)/√2 durumunda (Süperpozisyon dersindeki |+⟩ durumu), gözlenebilirimiz Z. Z'nin spektral ayrışımı Z = |0⟩⟨0| − |1⟩⟨1|; matrisi köşegendir ve köşegeni +1, −1 taşır. Dört adımda ilerleyelim:

1. Olası sonuçları listele. Z|0⟩ = +|0⟩ ve Z|1⟩ = −|1⟩: özdeğerler +1 (özvektör |0⟩) ve −1 (özvektör |1⟩). Başka sonuç imkânsızdır; asla 0 okumazsın.
2. Durumu özvektör tabanında yaz. |ψ⟩ zaten bu tabandadır: katsayılar 1/√2 ve 1/√2.
3. Olasılıkları hesapla. Born Kuralı'na göre pᵢ = |⟨eᵢ|ψ⟩|²: p(+1) = |1/√2|² = 1/2, p(−1) = 1/2. Toplam 1'dir; normalizasyon tutuyor.
4. Beklenen değeri hesapla. ⟨Z⟩ = Σᵢ pᵢλᵢ = (+1)(1/2) + (−1)(1/2) = 0. Doğrulama: ⟨ψ|Z|ψ⟩ hesabında çapraz terimler ⟨0|Z|1⟩ = 0 olduğundan sonuç yine 0 çıkar.

Aynı durumu X ile ölçseydin tablo değişirdi: σₓ'nin +1 özvektörü tam da (|0⟩+|1⟩)/√2'dir; yani |+⟩, X'in özdurumudur ve sonuç %100 olasılıkla +1'dir. Tek bir durum, bir gözlenebilir için kesin, ötekine karşı belirsiz olabilir; belirsizlik yalnızca durumun değil, durum–gözlenebilir çiftinin özelliğidir. Bu tablo spin sistemlerinde Spin-1/2 Sistemleri ve geometrik karşılığında Bloch Küresi dersinde somutlaşır.

İki kübitli sistemde gözlenebilirler aynı kuralla büyür: 'ilk kübiti Z ile ölç' demek olan Z ⊗ I, Tensor ve Kronecker Çarpımı dersindeki yapıyla kurulur ve özdeğerleri parçaların özdeğerlerinin çarpımıdır: +1, +1, −1, −1.

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

Yeni başlayanların en çok takıldığı noktaları tek tek düzeltelim:

• 'Beklenen değeri ölçeceğim.' Yukarıdaki hesapta ⟨Z⟩ = 0 çıktı ama Z'nin özdeğerleri yalnızca ±1'dir; 0'ı hiçbir koşulda ölçemezsin. Beklenen değer, aynı deneyin çok sayıda tekrarının ortalamasıdır.
• 'Her operatör gözlenebilirdir.' Yalnızca Hermitian olanlar öyledir; özdeğerleri karmaşık olabilen genel bir üniteryen kapı olabilir ama gözlenebilir olamaz.
• 'Değer ölçümden önce bellidir.' Klasik alışkanlık budur. |ψ⟩ özdurum değilse, o gözlenebilir için kesin bir değer taşımaz; ölçüm öncesinde elinde yalnızca olasılık dağılımı vardır.
• 'Operatörle matrisi aynı şey.' Gözlenebilir tabandan bağımsızdır; matrisi seçtiğin tabandaki temsilidir. Taban değişince matris değişir, özdeğerler değişmez.
• 'Normalizasyonsuz çalışıyorum.' Olasılıklar ancak |ψ⟩ normalizeyse 1'e toplar; (|0⟩ + |1⟩)/√2'deki 1/√2 çarpanı tam olarak bu işi görür.

Kaynaklar ve İleri Okuma

Observable — Wikipedia — Gözlenebilir kavramının tanımı ve operatör karşılığı üzerine güvenilir bir özet.

Expectation value (quantum mechanics) — Wikipedia — Beklenen değerin tanımı ve kuantum mekaniğindeki hesap örnekleri.

Hermitian matrix — Wikipedia — Hermitian matrislerin gerçek özdeğerleri ve ortogonal özvektör yapısı gibi özellikleri.

IBM Quantum Learning — Ölçüm ve gözlenebilirleri devre pratiğiyle birleştiren ücretsiz IBM/Qiskit ders materyalleri.