Ölçüm — kuantum durumdan klasik sonuca

Klasik bir bilgisayarda bir bit’i “okumak” aslında pasif bir iştir. Disk üzerinde zaten bir 0 ya da 1 vardır; okuma yalnızca bu değeri ortaya çıkarır. Daha sonra tekrar okusanız aynı değeri alırsınız, başka biri de okusa yine aynı şeyi görür. Okuma, bilgiyi almaktır; bilgiyi üretmek ya da değiştirmek değil. Kuantum dünyasında ise ölçüm bambaşka bir şeydir: orada okuma kavramı doğrudan etkileşim demektir ve bu etkileşim, durumu kalıcı olarak değiştirir.

Bir kübit, ölçülmeden önce genelde tek bir “değer”e sahip değildir. Qubit ve Bloch küresi sayfasında gördüğümüz gibi, durum |ψ⟩ = α|0⟩ + β|1⟩ biçiminde iki temel durumun karmaşık bir karışımıdır. Bu “karışım” saklanmış bir değer değildir; iki olasılığın birden açık tutulduğu bir fiziksel durumdur. Devre boyunca uygulanan üniter kapılar bu karışıma dokunabilir, fazları değiştirebilir, oranları kaydırabilir; ama hiçbirinde “durum şu an 0” ya da “durum şu an 1” denemez. Sadece ölçüm anına geldiğimizde bir tane sonuç ortaya çıkar — ve o sonuç görüldüğünde, durumun geri kalan kısmı ortadan kaybolur.

Bu yüzden kuantum ölçümünü düşünürken en faydalı sezgi şudur: ölçüm bir kapı değildir. Devredeki Hadamard veya CNOT gibi adımlar tersinirdir; durumu kaybetmeden başka bir duruma götürürler ve gerekirse geri çevrilebilirler. Ölçüm ise bunu yapamaz. Bir kübiti ölçtüğünüzde, o noktada eski süperpozisyonun bilgisi yok olur; geriye yalnızca okuduğunuz klasik sonuç ve onun karşılık geldiği tek bir temel durum kalır. Bu “tek yönlü” karakter, kuantumun bütün özelliğinin yoğunlaştığı yerdir.

Neden “okuma değil etkileşim”?

Klasik dünyada bile, aslında bir nesneyi “tamamen pasif” biçimde okuyamayız — örneğin bir cismi görmek için ona ışık göndermemiz gerekir, ışık ise nesneye küçük de olsa bir kuvvet uygular. Ne var ki büyük, gündelik nesneler için bu etki o kadar küçüktür ki ihmal edilebilir; bilgi alma adımı pratikte değer değiştirmez. Atom seviyesine indikçe artık böyle bir lüks yoktur: bir kübitin durumunu “görebilmek” için onunla yeterince güçlü bir etkileşim kurmak gerekir ve bu etkileşim, durumun kendisini değiştirir. Bu yüzden ölçümü teknik olarak kübit + ölçüm cihazı + çevre üçlüsünün tek bir kuantum etkileşimi olarak düşünmek doğrudur; klasik sonuç o etkileşimin geride bıraktığı izdir.

Para benzetmesi neden kısmen yanıltıcı?

Birçok popüler anlatımda kuantum süperpozisyonu “havada dönen bir paraya” benzetilir: yere düşmeden önce hem yazı hem turadır. Bu benzetme iki sebepten eksiktir. Birincisi, klasik dönen bir paranın aslında her an iyi tanımlı bir konumu vardır; sadece biz hangi yüzü dönük göreceğimizi bilmediğimizden olasılıkla konuşuruz. Oysa kuantum süperpozisyonu “bilmediğimiz bir değer” değil, fiziksel olarak gerçekten iki olasılığın aynı anda açık tutulmasıdır — ve bu, girişim adı verilen, klasik olasılıkta hiç bulunmayan bir etki üretir.

İkincisi, klasik paranın “tura” gelmesi onu değiştirmez; istersek aynı parayı yeniden döndürebiliriz. Kuantum durumda ise ölçüm sonucunu gördüğümüz an, eski süperpozisyon artık yoktur — “aynı kübiti tekrar dönderip diğer sonucu deneyemeyiz”. Sonraki ölçüm aynı sonucu verir. Bu yüzden kuantum ölçümünü düşünürken para yerine şöyle bir resim yararlı olabilir: çok hassas bir teraziye konulan bir damla yağmur; ağırlığını ölçtüğünüz anda damla, terazinin yüzeyine yapışır ve artık başka türlü ölçemezsiniz. Ölçüm hem bilgiyi verir, hem de ölçtüğünüz nesneyi “tek bir hâle” iter.

Ne işe yarar: hesabın klasik bilgisayara teslimi

Kuantum algoritmasının amacı çoğu zaman karmaşık bir genlik dağılımını öyle ayarlamaktır ki, sonunda ölçüldüğünde aradığımız cevap yüksek olasılıkla okunsun. Grover’da bu, aranan dizinin diğerlerine göre çok daha büyük bir genliğe taşınması demektir; Shor algoritmasında ise belirli bir periyodun fazını taşıyan bir ölçüm sonucu üretmektir. Bütün bu çalışmanın sonunda her algoritma aynı kapıdan geçer: ölçüm. Bu yüzden ölçüm hem fiziksel hem mühendislik açısından, bir kuantum algoritmasının asıl klasik dünyaya açıldığı yerdir.

Kuantum mekaniği bir kübitin durumunu bir vektörle anlatır; ama ölçtüğünüzde gördüğünüz sayı bir vektör değil, sadece tek bir 0 ya da 1’dir. Bu iki dünyayı birbirine bağlayan basit ama derin bir kural vardır: Born kuralı. 1926’da Max Born tarafından önerilen bu kural, dalga fonksiyonunun katsayılarının karelerinin ölçüm sonuçlarının olasılığını verdiğini söyler. Yıllar içinde yapılan deneylerin neredeyse tamamı bu kuralı doğrulamış ve kuantum mekaniğinin “teori ile gözlem” köprüsü hâline gelmiştir.

Tek kübitin sade hâli

Bir kübitin durumu |ψ⟩ = α|0⟩ + β|1⟩ olarak yazılır. Hesaplama tabanında ölçüm yaptığınızda — yani “sonuç 0 mı 1 mi?” diye sorduğunuzda — iki olası sonucun olasılıkları şunlardır:

P(0) = |α|², P(1) = |β|².

α ve β karmaşık sayılardır; “kare” işareti onların mutlak değerinin karesidir. Bu sayede olasılıklar her zaman pozitif gerçek sayılar olur — kuantum mekaniğinin karmaşık genliklerle çalışıp yine de klasik olasılık dağılımı vermesinin tüm inceliği bu kareyi alma adımındadır.

Normalize koşulu neden önemli?

Bu iki olasılığın toplamı bire eşit olmak zorundadır: 0 ya da 1 görmek dışında bir sonuç yoktur, dolayısıyla biri ya da öteki kesin gerçekleşir. Yani |α|² + |β|² = 1. Buna normalize koşul denir ve fiziksel olarak anlamlı her ket vektörünün uyması gereken kuraldır. Üniter kapılar bu normu hiçbir adımda bozmaz; bu yüzden bütün hesap boyunca olasılıkların doğru toplam vermesi otomatik olarak korunur. Hesabınızın bir yerinde “toplam olasılık 1’i geçti” diye bir sonuçla karşılaşırsanız, problem ölçümde değil, kullandığınız temsilde — ya bir normalleştirmeyi unuttunuz ya da üniter olmayan bir adım koydunuz demektir.

Genelleme: herhangi bir taban için

Ölçüm her zaman bir taban seçimine göredir. Hesaplama tabanı dediğimiz {|0⟩, |1⟩} en yaygınıdır ama tek değildir. Herhangi bir ortonormal taban {|b_0⟩, |b_1⟩} için Born kuralı şu kadar genelleşir:

P(b_k) = |⟨b_k|ψ⟩|².

Yani sonucun “b_k” olma olasılığı, durumla o taban vektörünün iç çarpımının mutlak değerinin karesidir. Bu form, sonraki bölümde anlatacağımız farklı tabanda ölçüm yapma tekniğinin de temelidir: hangi soruyu soruyorsanız, vektörler arasındaki açı o sorunun cevabına götürür.

“Karmaşık genlik nereye gitti?”

Kuantum mekaniğinin gücü, ölçümün doğrudan göremediği fazın hesabın içinde iş görmesinden gelir. Bir tek kübitin küresel fazı — |ψ⟩ yerine e^{iχ}|ψ⟩ yazmak — ölçüm sonuçlarını hiçbir biçimde değiştirmez; çünkü mutlak değer karesi |e^{iχ}|² = 1’dir, dışarı düşer. Ama iki katsayı arasındaki göreli faz, ölçüm öncesinde uyguladığınız bir Hadamard ya da kontrollü-faz adımıyla istatistikleri ciddi biçimde değiştirebilir. Yani faz doğrudan görünmez; fakat doğru bir “taban değiştirici” kapıdan sonra görünür hâle gelir. Algoritmaların önemli kısmı tam olarak bu görünmez fazı “gözle görülebilir bir ölçüm istatistiğine” çevirmek üzerinedir.

Tek bir ölçüm bize ne anlatır?

Tek bir ölçüm yalnızca bir tane klasik bit verir ve bu bit hangi olasılıkla geldiğinin bilgisini taşımaz. Bir kübit yarı yarıya 0/1 dağılımı taşıyor olabilir de, %99 oranında 0 verecek bir durumda olabilir de; tek bir “0” okuması bu ikisini ayırt etmenize yetmez. Bu yüzden gerçek bir kuantum algoritmasında aynı devreyi çok sayıda kez çalıştırırız ve ölçüm sonuçlarının istatistiğini çıkarırız. Bu istatistik, Born kuralı tarafından öngörülen olasılıklara yakınsar — ne kadar çok shot, o kadar iyi tahmin. Algoritmaya geçildiğinde “shot sayısı” denen bu kavram doğrudan bu noktadan gelir.

Ölçümü tanımladık, olasılığını söyledik. Geriye en az bunlar kadar önemli bir soru kalıyor: ölçtükten sonra ne oldu? Süperpozisyon hâlinde bütün seçenekleri açık tutan kübit, ölçüm sonrasında nasıl bir duruma geçer? Kuantum mekaniğinin verdiği cevap kısa ve nettir: durum, ölçtüğünüz sonuca karşılık gelen tek bir temel duruma indirgenir. Bu indirgemenin teknik adı dalga fonksiyonunun çökmesidir.

Çökmenin pratik ifadesi

Diyelim ki ölçüm öncesi durum |ψ⟩ = α|0⟩ + β|1⟩ idi ve Z tabanında ölçüm yaptık. Eğer sonuç 0 ise, ölçüm sonrası durum artık |0⟩’dır; eğer sonuç 1 ise, durum |1⟩ olur. Eskiden var olan α ve β katsayıları ölçümden sonraki durumda artık yer almaz — sadece olasılığı belirlemek için kullanılmışlardır, sonrasında “unutulurlar”. Bu yüzden çökmeyi “bilgi kazandık, ama eski bilgiyi kaybettik” cümlesiyle özetlemek doğrudur: hangi sonucu okuduğumuzu öğrendik, fakat durumun eski karışım yapısını geri getirmenin yolu kalmadı.

Aynı kübiti hemen tekrar ölçersek?

Bu sorunun cevabı çökme kavramını çok somut kılar. Bir kübiti ölçüp 0 sonucunu aldıktan hemen sonra aynı tabanda tekrar ölçerseniz, sonuç tekrar 0 olur — bu sefer rastlantı değildir, kesindir. Çünkü ilk ölçümden sonra durum artık |0⟩’dır; bu durumun “0 görme olasılığı” yüzde yüzdür. Eğer bu kararlılığı görmüyor olsaydık çökme kavramı sadece bir matematiksel uydurma olurdu; oysa aynı sonucun tekrarlanması ölçümün durumu gerçekten değiştirdiğinin fiziksel kanıtıdır.

Bu noktada şu ayrımı yapmak yararlıdır: aynı sonucun tekrarlanması aynı taban için geçerlidir. Ölçümden hemen sonra başka bir tabanda ölçerseniz, durum bu kez yeni tabanın özdurumlarıyla farklı olasılıklara sahip olur. Örneğin Z tabanında 0 okuduktan hemen sonra X tabanında ölçerseniz, |0⟩ = (|+⟩ + |−⟩)/√2 açılımı yüzünden yarı yarıya şans bulursunuz. Yani çökme “durumu rastgele bir özduruma kilitler”, sonraki ölçüm hangi tabandaysa o yeni Born kuralı çalışır.

Felsefe değil, hesap için bir kural

Çökme yorumu, fizik felsefesinin en tartışmalı konularından biridir. Bazıları “gerçekten bir fiziksel olay” derken, bazıları “sadece bilginin güncellenmesi” der; çoklu evren ve dekoherens temelli yorumlar da vardır. Bu sayfa için bunların hiçbiri konu değildir. Pratik açıdan bilmemiz gereken tek şey şudur: hesaplama mekaniği olarak, ölçümden sonra durum vektörü ölçüm sonucuna karşılık gelen özduruma indirgenir. Algoritma yazarken, simülatör kodu üretirken ya da donanım çıktısı yorumlarken çökme bu şekilde işler.

No-cloning ile akrabalık

Çökmenin doğrudan bir sonucu, kuantumun ünlü kopyalama yasağıdır. Klasik bir bit’i sınırsız kopyalayabilirsiniz; aynı diskten bir okur, başkası tekrar okur, herkes aynı veriyi alır. Ama bir kübiti aldığınızda durumunu “görmek” için ölçmeniz gerekir, ölçmek de bilgiyi yok eder. Üstelik kopyalamayı garanti eden üniter bir kapı yoktur: matematiksel olarak, herhangi iki farklı süperpozisyonu da aynı şekilde kopyalayan bir üniter işlem kurulamaz. Buna no-cloning teoremi denir; kuantum iletişiminin, kuantum hata düzeltmenin neden klasik kopya tabanlı stratejiler kullanamadığını da bu yasak açıklar. Çökme yasak değildir, doğal bir sonuçtur; ama uygulamada birlikte düşünmek gerekir.

Ölçüm her zaman bir soruya karşılık gelir, ve bu sorunun ne olduğunu seçen şey ölçüm tabanıdır. “Durum yukarı mı aşağı mı?” diye sorduğunuzda kuantum mekaniği size Z tabanında bir cevap verir; “sağa mı sola mı?” diye sorduğunuzda X tabanında bir cevap. Aynı kübitin aynı durumu, farklı tabanlarda farklı istatistikler üretebilir — bu kuantumun en çarpıcı yanlarından biridir. Bu bölüm, tabanlar arasındaki köprüyü ve gerçek donanımda farklı tabanlarda ölçümün nasıl yapıldığını topluyor.

Donanım tek bir tabandan ölçer

Pratikte ölçüm tabanı seçeneği aslında bir aldatmacadır: gerçek bir kuantum donanımının ölçüm aygıtı tek bir tabanda — genellikle Z tabanında — okuma yapar. Süperiletken bir transmonda bu, mikrodalga rezonatörüyle gerçekleşen bir dispersif okumadır; iyon tuzaklarında florescein ışıma sayımıdır; her durumda sabit bir fiziksel ölçüm prosedürüdür. O hâlde “farklı tabanlarda ölçmek” ne demek?

Cevap basit ve aslında çok şıktır: ölçüm öncesi devrede uygun bir kapı uygulayarak istediğimiz tabanı Z tabanına çevirmek. Eğer ölçmek istediğiniz taban {|b_0⟩, |b_1⟩} ise, ve bu tabanı standart taban {|0⟩, |1⟩}’a götüren üniter kapı U ise, devreye ölçümden hemen önce U† eklemek yeterlidir; sonra standart Z ölçümü yapılır. Çünkü U† uygulamak, |b_k⟩ durumlarını |k⟩ durumlarına götürür; standart ölçüm de bunları sayar. Algoritmada Hadamard’ın sıkça ölçüm öncesi görünmesinin sebebi tam olarak budur: aşağıda ayrıntılı anlattığımız X tabanı ölçümünü Z üzerinden yapmanın yolu.

Üç klasik taban: Z, X, Y

Üç Pauli ekseninin her birine karşılık gelen üç doğal ölçüm tabanı vardır. Aşağıdaki tablo, sık karşılaşılan üç tabanı, hangi kapının ölçüm öncesi gerektiğini ve elde edilen klasik 0/1 sonucunun ne anlama geldiğini özetler — algoritma yazarken bir yerden bir yere geçerken sürekli ihtiyacınız olur:

Aynı durum, farklı taban: küçük bir hikâye

Şu örnek tabanın neden önemli olduğunu çok net gösterir. Diyelim ki kübitiniz |+⟩ = (|0⟩ + |1⟩)/√2 durumunda. Z tabanında ölçerseniz, Born kuralı gereği 0 ve 1 sonuçlarını yarı yarıya alırsınız: bir tarafa baktığınızda her seferinde tamamen rastlantısal görünür. Aynı kübiti X tabanında ölçerseniz — yani önce Hadamard uygulayıp sonra Z’de okuduğunuzda — sonuç her seferinde 0’dır. Bu, durumun X tabanının özdurumu olmasının doğal sonucudur. Aynı fiziksel durum, hangi soruyu sorduğunuza göre tamamen rastlantısal ya da tamamen belirli görünebilir. Bilgi durumun içindedir; tabanı seçmek o bilgiyi nasıl çıkardığınızı belirler.

Geometrik resmi düşünmek de yardımcı olur: Bloch küresinde Z tabanı ölçümü kürenin kuzey-güney ekseni boyunca bir izdüşümdür; X tabanı doğu-batı, Y tabanı önümüz-arkamız. Bir nokta küre üzerinde tam olarak doğuda duruyorsa (yani X özdurumu ise), kuzey-güney izdüşümü onu eşit olasılıkla iki kutbun arasına böler; oysa doğu-batı izdüşümünde tam olarak bir tarafa düşer. Taban seçimi sonuçta sadece küreyi hangi eksenden okuduğumuzdur.

Genel hâl: gözlemlenebilir ölçümü

Tek kübitlik bir gözlemlenebilir, Hermitik bir operatördür ve özdeğerleri olası ölçüm sonuçlarıdır. Pauli ekseni n̂ = (n_x, n_y, n_z) boyunca spinin gözlemini ölçmek demek, gözlemlenebilir n̂·σ = n_x X + n_y Y + n_z Z’nin ±1 özdurumlarına projeksiyon yapmak demektir. Devrede bunun yolu, küreyi ilgili eksene oturtacak bir rotasyon kapısı uygulayıp ardından Z tabanında ölçmektir. Bell testi gibi protokollerde Alice ve Bob “farklı n̂ eksenleri” seçer; bu eksenlerin kübit durumuyla ilişkisi, sonunda CHSH eşitsizliğinin neden klasik beklentiyi aştığını belirler. Algoritma tarafında ise VQE gibi varyasyonel yöntemler bir Hamiltoniyen’in beklenen değerini ölçmek için aynı kübiti farklı tabanlarda çok sayıda kez ölçer; sonuçları klasik olarak toplar.

Tek kübit hikâyesini kavradığımızda, gerçek algoritmaların yaşadığı yere geçeriz: çok kübitli sistemler. Burada ölçümün yeni bir yönü ortaya çıkar — bütün kübitleri tek anda ölçmek zorunda değiliz, istediğimiz kadarını ölçüp gerisini hesabın içinde bırakabiliriz. Buna kısmi ölçüm denir ve özellikle dolanıklı sistemlerde bir kübiti ölçmek diğerlerinin durumu hakkında anında bilgi verir. Bu bölüm, bu fikrin nasıl çalıştığını ve doğru/yanlış anlaşılma alanlarını anlatır.

İki kübitli ölçüm: dört olası sonuç

İki kübitlik bir devrenin ortak durumu, dört temel durumdan oluşan bir süperpozisyondur: |00⟩, |01⟩, |10⟩, |11⟩. Her ikisini de aynı tabanda ölçtüğünüzde ortaya çıkacak ortak sonuç (örneğin “ilki 0, ikincisi 1”) bir olasılığa sahiptir ve bu olasılık Born kuralının doğrudan genellemesidir: ilgili ortak temel durumun katsayısının mutlak değerinin karesi. Bütün dört olasılığın toplamı yine bir eder; çok kübit sayfasında anlatılan normalize koşulu burada da çalışır.

Yalnızca bir kübiti ölçmek

Asıl ilginç durum kısmi ölçümdür. İki kübitten yalnız birini ölçtüğünüzde bu kübit için Born kuralı çalışır; sonuç hangi olasılıkla geldiyse, ortak durum bu sonuca karşılık gelen alt uzaya iner. Ölçülmeyen kübit hâlâ kuantum kalır — ama onun da durumu, ilk kübiti ölçtüğünüz tabandaki sonuca göre yeniden ayarlanır.

Bunun en güzel örneği Bell çiftidir. İki kübit |β⟩ = (|00⟩ + |11⟩)/√2 durumunda olsun. Bu durum ürün olarak ayrıştırılamaz — yani “Alice’in kübitinin durumu ayrı, Bob’unkinin ayrı” diyemeyiz. Şimdi Alice yalnızca kendi kübitini Z tabanında ölçsün. İki olası sonuç vardır, her ikisinin olasılığı yarı yarıya:

Eğer Alice 0 okursa, ortak durum |00⟩’a iner; demek ki Bob’un kübiti de — ölçülmeden önce — artık |0⟩’dadır. Eğer Alice 1 okursa, durum |11⟩’e iner ve Bob’un kübiti |1⟩ olur. Yani Alice’in tek kübitlik ölçümü, Bob’un uzaktaki kübitine de bilgi verir — fakat hangi sonucu okuduğunu Bob bilmedikçe bu bilgi kullanılmaz. Bu yüzden dolanıklık “anlık iletişim” aracı değildir; klasik bir kanal olmadan sinyal taşınamaz.

Klasik korelasyondan farkı

Bell çiftindeki “Alice 0 gördüyse Bob da 0 görür” ilişkisi, ilk bakışta klasik bir korelasyon gibi durabilir: iki sayfa bir zarftan çıkar, biri kırmızı diğeri kırmızı olur. Ancak fark, farklı tabanlarda ölçüm yapıldığında ortaya çıkar. Alice X tabanında, Bob Y tabanında ölçtüğünde elde edilen istatistikler klasik korelasyonla açıklanabileceği sınırı (CHSH eşitsizliği) aşar. Bu, ölçüm sonuçlarının yalnız ortak kaynaktan değil, ölçüm anında oluşan ortak yapıdan geldiğini gösterir. Bell testleri ve algoritma sayfalarındaki dolanıklık doğrulamaları tam olarak bu farkı sayar.

Ölçülmeyen kübit ne hâle gelir? Kısmi izleme

Çok kübitli bir devrede ilgilendiğiniz kübit dışındaki herkesi yok sayıp “bizimkinin durumu nedir?” diye soruyorsanız, matematiksel olarak yapılan iş kısmi izlemedir (partial trace). Sonuç, tek bir saf ket değildir; genelde bir karışık durumdur ve yoğunluk matrisi ρ ile gösterilir. Karışık durum, “durumun ne olduğuna dair eksik bilgi” anlamına gelir; dolanıklığın istenmeyen tarafı olarak görmek yerine, çok parçacıklı sistemlerin tek bir alt parça için doğal anlatım biçimi olarak düşünmek daha sağlıklıdır. Bloch küresi üzerinde karışık durum, kürenin yüzeyi yerine içerideki bir noktaya karşılık gelir; “tam” saf durumun bir “sulandırılmış” hâlidir.

Pratik özet

Algoritma yazarken bunun anlamı şudur: bir kuantum hatasıyla karıştığınız ya da dolanıklığın yalnız bir parçasına eriştiğiniz her durumda, geriye kalan kısmı saf bir ket olarak betimleyemeyebilirsiniz. Bu, simülatörün yoğunluk matrisi modunda çalışmak zorunda kalmasının ya da kanal modellerinin devreye girmesinin kaynağıdır. Konunun derinine inmenin önce yeri değil; ama ölçümün çok parçacıklı sistemlerde dolanıklıkla iç içe geçtiğini bilmek, ileri sayfaları okurken sürpriz olmaktan çıkarır.

Ölçümün teorisi tek başına yarı yarıya bir bilgidir; gerçek algoritmaların ölçümle nasıl iş yaptığını gördükçe resim tamamlanır. Bu son bölüm, kuantum donanımda ölçümü pratik kılan birkaç konuyu — shot istatistiği, okuma hatası, devre ortasında ölçüm, klasik kontrollü kapılar — özetler ve sonra algoritma sayfalarında ölçümü nerede hangi rolde göreceğinizi gösterir.

Shot sayısı ve istatistik

Bir kuantum algoritması, ölçüm sonucunun olasılık dağılımını tahmin eder; ama tek bir çalıştırmadan elde edilen tek bir bit, bu dağılım hakkında çok az bilgi taşır. Bu yüzden gerçek deneylerde aynı devre çok sayıda kez tekrarlanır, sonuçlar sayılır ve frekansları hesaplanır. Tekrar sayısına genellikle shot sayısı denir; sıklıkla 1024, 4096, 8192 gibi değerler kullanılır. Shot sayısı arttıkça gözlenen frekanslar teorik olasılıklara yakınsar; ama sonsuz değildirler, bu nedenle istatistiksel gürültü her zaman vardır. Algoritma yorumlanırken “bu sayı sağlam mı?” sorusunun cevabı çoğu kez kaç shot ile alındığına bağlıdır.

Okuma hatası: donanımda ölçümün başka bir hatası

Gerçek bir donanımda ölçüm yapan elektronik, mükemmel değildir. Durum aslında |0⟩ iken cihaz nadiren “1” raporlayabilir, |1⟩ iken “0” raporlayabilir. Bu sapmaya okuma hatası (readout error) denir ve modern süperiletken işlemcilerde tipik değerleri %0.5 ile %5 arasındadır. Klasik bir hata olduğundan sonradan istatistiksel olarak düzeltmek mümkündür: kalibrasyon matrisi ölçülür ve sayım dağılımına ters çevrilerek uygulanır. Algoritmanız doğru bile olsa, donanım sayım dağılımında bu hatayı görürsünüz; “düzeltilmiş” ve “ham” sayım dağılımları arasındaki ayrımı bilmek pratik analizde önemli olur.

Mid-circuit ölçüm: devre devam ediyor

Klasik resimde ölçüm hep en sona gelir: devreyi çalıştırırsın, bitince ölçersin. Ama bugünün donanımlarının çoğu artık mid-circuit measurement denilen yetenekle gelir: devre ortasında bir kübit ölçülür, sonucu klasik bir bit’e yazılır ve devre kalan adımlarla devam eder. Ölçülen kübit isteğe göre yeniden başlatılır (reset edilir), klasik sonuç ise sonraki adımlarda kullanılır. Bu yetenek dört kritik şey için gereklidir: kuantum hata düzeltme (sürekli syndrome ölçümü), teleportasyon (Alice’in iki bit klasik bilgisi), klasik kontrollü kapılar (ölçüm sonucuna göre Pauli düzeltmesi) ve adaptif algoritmalar. Şimdilik mid-circuit ölçüm tüm donanımlarda eşit kalitede değil; mevcut donanımın bu yeteneği destekleyip desteklemediğini algoritmayı çalıştırmadan kontrol etmek önemlidir.

Klasik kontrollü kapılar

Mid-circuit ölçümün doğal devamı, ölçüm sonucu hangi değer olduysa devamdaki kapıların ona göre çalışmasıdır. Bu yapı için devre dilinde klasik kontrollü kapı simgesi kullanılır; klasik bir bit kontrol görevi görür, kuantum bir kübit hedeftir. En tipik örnek teleportasyondur: Alice kübitini Bell yarımıyla birleştirip ölçer; çıkan iki klasik bit Bob’a iletilir; Bob aldığı klasik sonuca göre kendi kübitine bir X, bir Z ya da hiçbir Pauli düzeltmesi uygulamaz. Sonuç olarak Alice’in başlangıçtaki kuantum durumu, tamamen klasik kanal üzerinden Bob’a “taşınmış” olur. Bu zincirin kuantum olmayan tek halkası ölçümdür — ve onu olmazsa olmaz yapan tam olarak çökme kuralıdır.

Algoritmalarda ölçümü nerede görüyoruz?

Grover’da ölçüm her şeyin sonundadır: oracle ve diffüzör adımları aranan girdinin genliğini yükseltir; en sonda Z tabanında bütün kübitler okunur, çıkan bit dizisi yüksek olasılıkla aranan girdiyi verir. Deutsch–Jozsa ve Bernstein–Vazirani de benzer biçimde tek bir ölçüm turuyla cevabı verir; çünkü algoritmalar tam olarak “istenen bilgiyi tek bir ölçümün determinist çıktısına basacak” şekilde tasarlanmıştır.

Shor algoritmasında ölçüm tek başına işin yarısıdır: kuantum tarafı bir periyotla ilişkili bir faz dağılımı üretir, ölçümden çıkan klasik sonuç ise sürekli kesir gibi klasik post-processing teknikleriyle işlenerek periyot bulunur. Faz tahmininde ise QFT’nin tersi uygulanmış sayaç kayıt ölçülür ve okunan ikili dize, fazın yaklaşık değeridir. Buradaki ölçümlerin hepsi standart Z tabanında olur; tabandaki “farklılığı” QFT veya başka bir taban değiştirici kapı zaten devrede halletmiş olur.

Varyasyonel algoritmalarda (VQE, QAOA) ölçüm her iterasyonda yapılır; ama tek bir sonuç değil, bir gözlemin beklenen değeri tahmin edilir. Bunun için çoğu zaman aynı parametrik devre farklı Pauli tabanlarında ölçülür ve elde edilen sayımlar klasik olarak toplanır. Buradaki shot sayısı, optimizasyonun stabilitesini doğrudan etkiler — algoritma değil, ölçüm istatistiği tasarımı tıkayıcı olabilir. Bell testi ve süperdense kodlama gibi iletişim protokollerinde ise ölçüm hem amaçtır hem de protokolün bütün mantığı tek tek ölçümlerin nasıl korelasyon ürettiği üzerine kuruludur.

Toparlama

Bu üç temel sayfanın sonunda — Qubit ve Bloch küresi, Kapı işlemleri, Ölçüm ve çökme — algoritma metinlerinde göreceğiniz neredeyse her şeyin alt yapısı yerine oturmuş olur. Algoritma sayfalarına geçtiğinizde tek tek devre adımlarını okurken üç dili birden konuşacaksınız: bir tarafta normalize bir ket vektörü ve onun olasılık dağılımı, ortada üniter kapıların oluşturduğu hareket, sonunda ölçümün klasik dünyayla buluşması. Algoritmanın “neden çalıştığı” sorusunun cevabı her zaman bu üç dilden birini ya da hepsini ister.

Buradan sonrası için: geometrik resmi tazelemek istersen Qubit ve Bloch küresi sayfasına; kapıların kanonik atlasına dönmek istersen Kuantum kapı işlemleri sayfasına; somut bir algoritmanın ölçümle nasıl işlediğine bakmak istersen ana sayfadaki algoritma haritasına dönebilirsin.