Ölçüm ve operatörler — gözlenebilirin matematiksel temsili

Klasik fizikte “ölçülebilir nicelik” deyince konum, hız, enerji gibi bir gerçek sayı anlaşılır; ölçüm bu sayıyı verir, ölçüm cihazının kendisi sistemi prensipte etkilemez (ideal varsayım). Kuantum mekaniğinde ise ölçülebilir niceliğin matematiksel kimliği artık tek bir sayı değildir. Postülat şudur: her fiziksel gözlenebilir (observable), sistemin Hilbert uzayı üzerinde tanımlı bir Hermitik operatör ile temsil edilir. Ölçüm sürecinin tüm istatistikleri — olasılıklar, beklenen değer, ölçüm sonrası durum güncellemesi — bu operatörün özdeğer ve özvektör yapısından türetilir.

Niçin Hermitik?

Hermitik operatör koşulu, çoğu kitapta A = A† denkliği ile yazılır; burada A†, A operatörünün eşlenik-transpozudur. Bu koşul matematiksel bir kapris değildir; iki fiziksel sonuca yol açar.

• Özdeğerler gerçek sayıdır. Hermitik bir operatörün tüm özdeğerleri reel sayılardır. Bu, ölçümün “gözle görülebilecek” bir gerçek değer vermesi gereksinimini doğrudan karşılar; bir voltmetre okuyamayacağımız karmaşık sayılar üretemez.
• Özvektörler ortogonal seçilebilir. Farklı özdeğerlere ait özvektörler otomatik olarak ortogonaldir; aynı özdeğere ait olanlar için ise ortogonal bir baz seçmek her zaman mümkündür. Bu, farklı ölçüm sonuçlarının prensipte birbirinden ayırt edilebilir olmasını sağlar.

Hermitik koşulu olmayan bir operatör, ölçüm postülatı için temel taşı olamaz: ya karmaşık özdeğerler verir, ya da özvektörleri ortogonal bir baz oluşturmaz. Bu yüzden “fiziksel gözlenebilir” ile “Hermitik operatör” kuantum mekaniğinde tek tek eşleşir.

Klasik örnekler kuantum dilinde

Klasik fizikteki tanıdık nicelikler kuantum dilinde belirli Hermitik operatörlere karşılık gelir. Pozisyon ve momentum, sürekli spektrumlu Hermitik operatörlerdir; enerji bir Hermitik operatör olan Hamiltonyen H ile temsil edilir; spin bileşenleri için Pauli operatörleri σ_x, σ_y, σ_z kullanılır. Bu operatörlerin hepsi Hermitik koşulunu sağlar ve dolayısıyla ölçüm postülatının geçerli adaylarıdır.

Kuantum hesaplamada en sık karşılaşılan örnek tek kübitin σ_z ölçümüdür; bu, hesaplama tabanında yapılan standart okumadır. Bilim ve mühendislik açısından farklı görünseler de tüm bu örnekler aynı postülatın özel durumlarıdır: bir gözlenebilirin Hermitik operatör temsili.

Hermitik operatörlerin gücü, spektral teorem ile ortaya çıkar. Bu teorem, sonlu boyutlu (veya uygun sonsuz boyutlu) bir Hilbert uzayında Hermitik bir operatörün özdeğer ve özvektörleri kullanılarak tek bir kanonik biçimde yazılabileceğini söyler. Bu kanonik biçim — özdeğer ayrışımı — ölçüm postülatının bütün matematiksel açılımının kalbidir.

Özdeğer ayrışımı: A nasıl yazılır?

Sonlu boyutlu durumda, Hermitik bir A operatörü özdeğerleri λ_i ve onlara karşılık gelen ortonormal özvektör bazı {|i⟩} ile şöyle ayrışır:

A = Σ_i λ_i |i⟩⟨i|.

Burada P_i = |i⟩⟨i| ifadelerine özprojektörler denir. Her bir projektör, ilgili özdeğerli özuzaya yansıtma işlemi yapar; yani durumu o özuzaya “kesip atan” operatördür.

Projektörlerin üç temel özelliği

Spektral ayrışımdaki projektörler, ölçüm postülatını şekillendiren üç koşulu sağlar:

• Idempotent. P_i² = P_i: bir projeksiyonu iki kez uygulamak, tek kez uygulamakla aynıdır. Durum bir kez özuzaya düşürüldükten sonra orada kalır.
• Ortogonal. P_i P_j = 0 (i ≠ j için): farklı ölçüm sonuçlarına ait özuzaylar birbirinden bağımsızdır.
• Tamlık. Σ_i P_i = I: tüm projeksiyonlar birleştiğinde Hilbert uzayının tamamını verir. Bu, “ölçüm bir sonuç verir” cümlesinin matematiksel karşılığıdır.

Dejenere özuzaylar ve rank

Bazı özdeğerler birden fazla bağımsız özvektöre karşılık gelir; bu duruma dejenerasyon denir. Dejenere bir özdeğer için projektör artık yalnızca tek bir |i⟩⟨i| değil, o özdeğere ait tüm özvektörlerin spanladığı alt uzaya projeksiyondur. Pratikte bu, ölçümün “tam olarak hangi vektöre çöktüğünü” söylemediği, yalnızca hangi alt uzaya çöktüğünü söylediği anlamına gelir. Dejenere durumlar fiziksel olarak çok yaygındır: örneğin sabit enerjili birden fazla durumun varlığı, kuantum kimyasında orbital dejenerasyonu ve hata düzeltme kodlarında mantıksal alt uzaylar.

Sürekli spektrum hakkında kısa not

Pozisyon veya momentum gibi sürekli spektrumlu gözlenebilirler için yukarıdaki toplam yerine bir integral kullanılır; özvektörler ise sıradan vektörler değil, doğrulanmış anlamda “dağılım” karakterindedir. Bu sayfanın amacı sürekli spektrumun teknik inceliklerine girmek değildir; kuantum hesaplama bağlamında neredeyse her zaman sonlu boyutlu Hilbert uzayları ve ayrık spektrumlar yeterlidir.

Buraya kadar gözlenebiliri bir Hermitik operatör olarak tanımladık ve onu özdeğer ayrışımıyla yazdık. Şimdi sıra, ölçümün olasılık yapısını bu ayrışımdan nasıl çıkardığımıza geldi. Bu kural Born kuralı olarak bilinir ve kuantum mekaniğinin doğrusal yapısını fiziksel olasılığa çeviren tek nesnedir: durum vektörü doğrusaldır, ama gözlenen olasılıklar genlik karelerinin türevidir.

Saf durum için Born kuralı

Sistem normalize bir saf durum |ψ⟩ ile temsil ediliyorsa ve gözlenebilirin özdeğer ayrışımı A = Σ_i λ_i P_i ise, ölçüm sonucu olarak λ_i değerinin görülme olasılığı şudur:

p(λ_i) = ⟨ψ| P_i |ψ⟩ = ‖P_i |ψ⟩‖².

Bu ifade iki şeyi bir arada söyler. Birincisi, olasılık daima sıfır ile bir arasında kalır; çünkü bir projektörün beklenen değeri her zaman bu aralıktadır. İkincisi, projektörlerin tamlık koşulu Σ P_i = I gereği toplam olasılık 1'dir; yani “ölçüm bir sonuç verir” postülatı otomatik olarak sağlanır.

Karma durum için Born kuralı

Sistem bir yoğunluk operatörü ρ ile temsil ediliyorsa, Born kuralı izdüşüm formundan çıkıp iz formuna geçer:

p(λ_i) = Tr(ρ P_i).

Saf durumda ρ = |ψ⟩⟨ψ| seçildiğinde bu ifade tam olarak saf durumlu form ile çakışır; karma durumlar için ise klasik istatistiksel karışım doğal olarak hesaba katılır. Bu yüzden iz formundaki Born kuralı, tüm kuantum durumları için tek bir cümleyle yazılmış genel kuraldır.

Ölçüm sonrası durum güncellemesi

Born kuralı yalnızca olasılığı vermez; ölçüm sonrası durumun nasıl güncellendiğini de söyler. Saf durumda λ_i sonucu görüldüyse, ölçüm sonrası durum şu olur:

|ψ′⟩ = P_i |ψ⟩ / √p(λ_i).

Buradaki √p(λ_i) ile bölme, yeniden normalize etme işlemidir; çünkü projeksiyon genel olarak normu küçültür. Karma durumda ise aynı güncelleme yoğunluk matrisi seviyesinde ρ′ = P_i ρ P_i / p(λ_i) şeklinde yazılır. Konunun “çökme” yorumu —yani neden ölçüm sonrası kuantum durumun bir alt uzaya “düştüğü”— Born kuralının doğal sonucudur ve günlük dildeki anlamı Ölçüm ve çökme sayfasında daha sezgisel bir akışla anlatıldı; bu sayfa onun matematiksel zeminini verir.

Önceki üç bölümde gördüğümüz çerçeve, kuantum mekaniğinin “klasik” ölçüm dilidir; teknik adıyla projektif ölçüm ya da von Neumann ölçümü denir. Bu dilde ölçüm, Hermitik bir operatörün özprojektörler ailesiyle tanımlanır. Ancak gerçek deneylerin önemli bir kısmı bu çerçeveye tam olarak uymaz: bazı ölçümler tam keskin değildir, bazıları yardımcı kübitler aracılığıyla yapılır, bazıları tek bir özdeğer yerine aralık verir. Bu durumlar için kuantum mekaniği daha geniş bir matematiksel yapıya başvurur: POVM (positive operator-valued measure).

Projektif ölçüm: ne işe yarar, sınırı nedir?

Projektif ölçümde her sonuç bir projektör P_i ile temsil edilir; projektörler birbirine ortogonal ve tamdır. Bu çerçeve, ölçüm sonuçları arasında “net ayrım” yapılabilen ideal durumların matematiksel halidir; tek kübitlerde Pauli ölçümleri, kuantum hesaplamada hesaplama tabanı okuması ve faz tahmin algoritmasındaki son ölçüm bu sınıfa girer.

Bununla birlikte projektif çerçeve yetmeyen yerler vardır: örneğin iki örtüşen kuantum durumunun “en iyi” ayırt edilmesi, bir yardımcı kübit kullanılarak elde edilen ölçüm istatistikleri, optik fotonik ölçüm cihazlarında modlama, hatalı ölçüm hatlarının modellenmesi. Bu noktalarda “tam ortogonal projektör ailesi” bulmak mümkün olmaz; daha esnek bir araç gerekir.

POVM: pozitif operatör değerli ölçüm

POVM, her ölçüm sonucu m için pozitif yarı-tanımlı bir operatör E_m seçer; bunlara POVM elemanları denir ve tek koşul Σ_m E_m = I tamlık koşuludur. Born kuralı bu çerçevede şöyle genelleşir:

p(m) = ⟨ψ| E_m |ψ⟩ (saf), p(m) = Tr(ρ E_m) (genel).

Projektif ölçüm, POVM'nin özel hâlidir: E_m = P_m seçildiğinde POVM çerçevesi projektif çerçeveye çöker. Bu yüzden POVM, kuantum ölçümünün en genel matematiksel halidir; “ölçüm” dediğimizde tüm fiziksel ölçüm cihazları bu çerçeveye uyar.

Kraus operatörleri ve ölçüm sonrası durum

POVM elemanları olasılıkları verir, ama tek başlarına ölçüm sonrası durumun nasıl güncellendiğini söylemez. Bu güncellemeyi yapmak için her sonuç m için bir Kraus operatörü M_m tanımlanır; POVM elemanı bu operatörden E_m = M_m^† M_m olarak üretilir. Ölçüm sonrası saf durum güncellemesi şöyledir:

|ψ′⟩ = M_m |ψ⟩ / √p(m).

Karma durumda aynı kural ρ′ = M_m ρ M_m^† / p(m) şeklinde yazılır. Aynı POVM elemanları için farklı Kraus seçimleri mümkündür; bu, gerçek bir ölçüm cihazının iki durumla yetinmediği, hangi “iz tutma stratejisini” kullandığını söylediği yerdir.

Ölçüm tipleri kıyaslama tablosu

Aşağıdaki tablo, kuantum mekaniğinde karşılaşacağınız başlıca ölçüm tiplerini ve aralarındaki temel farkları özetler. Amaç formülleri çoğaltmak değil, hangi modelin hangi durumlarda kullanıldığını netleştirmektir.

Bir gözlenebilirin ölçüm istatistiği yalnızca olasılıklarla değil, türetilen iki klasik nicelikle de özetlenebilir: ortalama (beklenen değer) ve dağılım (varyans). Bu iki nicelik, kuantum varyasyonel algoritmaların ve birçok deneysel sertifikanın temel ölçüleridir. Aynı zamanda kuantum mekaniğinin en ünlü cümlesi — Heisenberg belirsizlik ilkesi — doğrudan bu büyüklüklerin matematiksel yapısından gelir.

Beklenen değer ve varyans

Saf bir durum için bir gözlenebilirin beklenen değeri şöyle yazılır:

⟨A⟩ = ⟨ψ| A |ψ⟩ = Σ_i λ_i p(λ_i).

Bu ifade, A'nın özdeğerlerinin Born olasılıklarıyla ağırlıklandırılmış klasik ortalamasıdır; yani her ölçüm sonucunu görme olasılığını kendi değeriyle çarpıp toplarsanız aynı sayıyı elde edersiniz. Karma durum için ifade aynı yapıyı izler: ⟨A⟩ = Tr(ρA). Varyans tanımı klasik biçimiyle aynıdır: (ΔA)² = ⟨A²⟩ − ⟨A⟩². Bu büyüklük, ölçümün ortalama etrafındaki dağılımını ölçer.

Uyumlu ve uyumsuz gözlenebilirler

İki Hermitik operatör A ve B için komütatör [A, B] = AB − BA hesaplanır. Eğer komütatör sıfır ise A ve B aynı bazda eş zamanlı olarak ölçülebilir: uyumlu (compatible) gözlenebilirlerdir. Komütatör sıfır değilse, bu iki gözlenebiri aynı anda keskin olarak tanımlamak mümkün değildir; biri için ne kadar belirli bilgi tutarsanız, diğeri için o kadar belirsizlik ortaya çıkar.

Pratik kuantum hesaplamadaki örneklerden biri Pauli operatörleridir: aynı kübitte σ_x ile σ_z uyumsuzdur, [σ_x, σ_z] = −2i σ_y. Farklı kübitlerdeki Pauli'ler ise birbirleriyle komüt eder; bu, çoklu Pauli string ölçümlerini paralel yapabilmemizin matematiksel sebebidir.

Heisenberg–Robertson belirsizliği

Belirsizlik ilkesinin genel, matematiksel formu Robertson eşitsizliğidir:

ΔA · ΔB ≥ |⟨[A, B]⟩| / 2.

Burada ΔA ve ΔB standart sapmalardır. Eşitsizliğin sağ tarafı, A ile B'nin komütatörünün durumdaki beklenen değerine bağlıdır; uyumsuz gözlenebilirler için bu sayı sıfır olmaz ve bir alt sınır oluşturur. Pozisyon–momentum çiftinde komütatör [x, p] = iħ olduğundan eşitsizlik Δx · Δp ≥ ħ / 2 biçimini alır; bu da Heisenberg'in klasik belirsizlik ifadesidir. Buradaki “klasik” söz, kavramı değil tarihsel adı belirtir; ilke kuantum mekaniğinin doğrudan bir teoremidir.

Belirsizlik bir “bilgi eksikliği” değildir

Heisenberg belirsizliği sıkça “ölçüm cihazımız iyi olmadığı için” varmış gibi sunulur; bu yanlıştır. Belirsizlik, ölçüm cihazından bağımsız olarak gözlenebilirlerin operatör yapısından gelir: uyumsuz iki gözlenebiri aynı anda keskin tanımlamak için ortak özvektörler gerekirdi, ama komütasyon ilişkisi bunu yasaklar. Bu yüzden belirsizlik kuantum mekaniğinin yapısal bir özelliğidir; gürültü gibi düzeltilebilecek bir kalibrasyon problemi değildir.

Yukarıdaki postülat ve teoremler soyut görünebilir; ancak modern kuantum hesaplamanın büyük bölümü tam olarak bu dilin pratik uygulamalarından oluşur. Estimator API'lerinin “gözlenebiliri ver, beklenen değeri al” sözleşmesi, varyasyonel algoritmaların Hamiltonyen beklenen değer hesabı, hata düzeltme sendrom ölçümü, ölçüm gürültüsü modellemesi — hepsi bu sayfanın çerçevesinden türetilir.

Hesaplama tabanı: standart Z ölçümü

Kuantum hesaplamadaki “standart ölçüm”, her kübit için σ_z ölçümüdür; sonuç 0 veya 1 olur ve karşılık gelen özprojektörler |0⟩⟨0| ve |1⟩⟨1|'dir. Farklı bir tabanda ölçmek istediğimizde, klasik strateji önce uygun bir üniter dönüşümü uygulayıp sonra Z ölçümü yapmaktır; örneğin X ölçümü için ölçüm öncesi Hadamard, Y ölçümü için S^†H uygulanır. Bu, hâlihazırdaki donanımın yalnızca Z ölçümünü desteklediği gerçeğiyle yapısal bir uyumdur.

Bu bölümün tek kübit özel hâli Qubit ve Bloch küresi sayfasında geometrik olarak gösterildi; ölçüm bazları orada Bloch eksenleriyle eşlendi. Burada gördüğümüz tablo, aynı resmin tüm Hilbert uzaylarına genişlemiş hâlidir.

Beklenen değer odaklı algoritmalar

Varyasyonel kuantum algoritmaları (VQE, QAOA) ve kuantum kimyası uygulamaları, çıktıyı doğrudan bir “ölçüm sonucu” olarak değil, bir beklenen değer ⟨H⟩ olarak okur. Bu yüzden modern SDK'larda sampler arayüzü (örneklem üretir) ile estimator arayüzü (beklenen değer üretir) ayrı yapıdadır. Estimator, Hamiltonyeni Pauli string toplamı olarak kabul eder, her bir string için uygun ölçüm temelini seçer, bir veya birden fazla devreyi paralel olarak çalıştırır ve sonuçların ağırlıklı toplamını verir; tüm bu akış doğrudan Born kuralının tanımına dayanır.

POVM ve gürültü modeli

Soğutma ve kalibrasyon sayfasında readout kalibrasyonunun bir kalibrasyon adımı olduğundan söz ettik. Bunun matematiksel adı tam olarak POVM modellemesidir: ideal projektif ölçüm yerine, gerçek donanımın “0 dedi ama 1'di” veya tersi yönde küçük karışım yaptığı POVM elemanları tanımlanır. Sonra bu POVM modeline göre tahminler düzeltilir (readout error mitigation). Yani POVM, deneysel ölçüm gerçekliğinin matematiksel olarak en uyumlu temsilidir.

Sonraki postülatlara hazırlık

Bu sayfa, postülat sırasında “durum nedir?”den sonra “ölçüm nedir?” sorusunu cevapladı. Doğal bir sonraki adım, ölçüm aralarındaki zaman evriminin nasıl tanımlandığıdır: kuantum mekaniğinin üçüncü postülatı, izole bir sistemin durumunun zaman içinde Schrödinger denklemine göre üniter olarak evrildiğini söyler. Bu evrim, kuantum kapılarının da matematiksel temelidir; üniter operatörler ise tam olarak bu sayfada konuştuğumuz Hermitik operatörlerden üretilir (U = e^{−iHt/ħ}). Yani Hermitik dünyası ölçümü tanımlar, üniter dünya zaman evrimini tanımlar; her ikisi de aynı operatör cebrinden gelir.