Ölçüm tabanları — kuantum bilgiyi sorgulayan yön seçimi

Ölçüm postülatı, bir projektif ölçümün matematiksel iskeletini Hermitik bir gözlenebilirin ortonormal özbazı üzerinden kurar. Pratikte ise “bir gözlenebiliri ölçmek” cümlesi, çoğu zaman “bir ortonormal bazda hangi bileşene düştüğünü okumak” olarak yeniden yazılır. Bu yüzden kuantum algoritma ve devre dünyasında ölçüm tabanı seçmek, ölçümün kendisinden ayrı bir karar gibi görünür ve doğrudan algoritma kalitesini etkiler.

Taban değişikliği = üniter ön-dönüşüm

Donanım üzerinde fiziksel olarak ulaşılabilir tek ölçüm türü çoğu zaman computational basis (|0⟩, |1⟩) ölçümüdür. Başka bir bazda ölçmek istediğimizde, durumu önce computational basis'e haritalayan bir üniter uygularız, ölçümü standart bazda yaparız ve sonuçları geri çeviririz. Yani “X bazında ölçmek” fiziksel olarak şu üç adımdır:

|ψ⟩ → H |ψ⟩ → standart ölçüm.

Bu yüzden ölçüm tabanı seçmek aslında ölçüm öncesinde uygulanan bir kapı zincirini seçmektir. Bu basit gözlem, devre derleyicilerinin ölçüm tabanını bir “üniter ön-dönüşüm + standart ölçüm” olarak temsil etmesinin sebebidir.

Hangi taban hangi bilgiyi açar?

Aynı kuantum durumu farklı tabanlarda farklı istatistikler verir. Bir taban tam keskin bilgi verirken (durum o tabanın bir özvektörüdür) bir başkası tamamen tek tip bir dağılım verebilir. Bu doğrudan belirsizlik ve uyumluluk sayfasında konuştuğumuz karşılıklı yansız baz (MUB) sezgisinin ölçüm yansımasıdır: tabanlar arasında bilgi aktarımı yoktur, tabanlar farklı sorulara cevap verir.

Ölçüm tasarımı bir mühendislik kararıdır

Hangi bazda ölçeceğimizin “doğal” bir cevabı yoktur; karar, algoritmaya bağlıdır. Bir VQE çalışmasında ölçmek istediğimiz Hamiltonyenin spektral yapısı bizi belirli Pauli stringlerine, dolayısıyla belirli tabanlara götürür. Bir QEC sendrom okumasında stabilizator operatörünün ortak özbazı tek baz seçeneğidir. Bir tomografi protokolünde ise bütün bir taban ailesi üzerinde sıralı ölçüm yaparak yoğunluk matrisini yeniden inşa ederiz. Sayfanın ilerleyen bölümleri bu üç kullanımı sırayla işleyecek.

Tek kübit, ölçüm tabanı tartışmasının en sade laboratuvarıdır. Bloch küresinin herhangi bir ekseni bir ortonormal taban tanımlar; bunların içinde üçü (Z, X, Y) öne çıkar çünkü birlikte tek kübitin karşılıklı yansız baz üçlüsünü oluştururlar. Bu üçlü, hem kuantum kriptografinin (örneğin BB84) hem de tek kübit tomografisinin yapı taşıdır.

Z bazı: hesaplama bazı

Bloch küresinin kuzey ve güney kutbu computational basis vektörlerine, |0⟩ ve |1⟩'e karşılık gelir. Donanım üzerinde dispersive readout, fluorescence detection ya da tek atom emission gibi okuma mekanizmalarının doğrudan ürettiği baz çoğunlukla budur. Tüm diğer ölçüm tabanları, bu bazın üzerine inşa edilir.

X bazı: Hadamard sonrası standart ölçüm

X bazının özvektörleri |+⟩ ve |−⟩'dir; Bloch'ta ekvator üzerindeki ±x noktalarına karşılık gelir. Üniter ön-dönüşüm olarak Hadamard kapısı bu bazı computational basis'e taşır. Pratikte “X bazında ölçüm” cümlesi bir H kapısı uygulayıp standart ölçüm yapmak demektir. Bu, BB84 ve CHSH ölçümlerinde sıkça karşımıza çıkar.

Y bazı: faz duyarlılığı

Y bazının özvektörleri Bloch'ta ±y eksenindedir ve sanal bir bileşene duyarlıdır. Bu baza dönüşüm için önce S^† sonra H uygulanır; bu zincir Y özvektörlerini Z eksenine haritalar. Y bazı, bir kübitin sanal genlik bilgisini açtığı için tomografide vazgeçilmezdir.

Bloch'ta keyfi eksen: tek kübitin sonsuz bazı

Tek kübitin ölçüm tabanları aslında Bloch küresinin sonsuz çift kutbuna karşılık gelir. Z, X, Y özel olarak seçilmiş üç dik eksen; ama küre üzerindeki her yön bir ölçüm bazını tanımlar. Genel bir eksen ölçümü, sıralı bir R_z, R_y kapı zincirinden sonra standart ölçüm olarak uygulanır. Qubit ve Bloch küresi sayfasında bu geometriyi ayrıntılı işledik; burada gördüğümüz şey aynı geometrinin ölçüm tarafıdır.

Üç MUB: bilgi ayırıcı tasarım

Z, X, Y üçlüsünün özel bir matematiksel özelliği vardır: aralarında karşılıklı yansızdırlar. Bir bazda keskin olan bir durum, diğerlerinde tam tekdüze dağılır. Bu özellik, kuantum bilgi protokollerinde tabanların neden “rastgele” seçilebildiğinin matematiksel dayanağıdır. Tek kübit için tam üç MUB vardır; daha yüksek boyutlarda durum farklıdır ve tomografi bölümünde tekrar bahsedilecektir.

Bileşik sistemlerde ölçüm tabanları iki büyük sınıfa ayrılır. Birincisi lokal tabanlar: her alt sistem üzerinde bağımsız bir tek kübit tabanı seçilir ve toplam taban bunların tensor çarpımıdır. İkincisi global tabanlar: toplam tabanın elemanları dolanık durumlardır ve ölçüm gerçekten “sistemler arası” bir sorudur. Bu ayrım, kuantum bilgi protokollerinin pek çoğunun kalbinde durur.

Lokal tabanlar ve marjinal istatistik

İki kübitten oluşan bir sistemde, Alice X bazında ve Bob Z bazında ölçerse, kullanılan ortak taban {|+⟩, |−⟩} ⊗ {|0⟩, |1⟩} olur ve dört elemanlıdır. Her bir alt sistemin sonucu yalnızca kendi marjinaline bakar. Bell ve CHSH sayfasında gördüğümüz dört korelasyon büyüklüğü tam olarak bu tür lokal taban ölçümleriyle elde edilir; bu yüzden Bell senaryosu “lokal ölçümler ile global korelasyon” diline oturur.

Global tabanlar: Bell-bazı ortak ölçümü

Bell-bazı ortak ölçümünde dört ortonormal eleman dolanık Bell durumlarıdır; bu taban iki kübiti bir bütün olarak sorgular. Donanım açısından tek doğrudan ölçüm mekanizması yine computational basis okumasıdır; o yüzden Bell-bazı ölçümü üniter ön-dönüşümlerle standart ölçüme indirgenir. Genel reçete şudur: önce iki kübit arasına bir CNOT uygulanır (Bell durumlarını ürün durumlarına ayrıştıran cebirsel adım), ardından kontrol kübite bir H uygulanır, sonra her iki kübit standart bazda okunur. İki sonuç biti, dört Bell durumundan hangisinin ölçüldüğünü etiketler.

Neden Bell ölçümü kritik?

Bell-bazı ortak ölçümü, kuantum bilgi protokollerinin yapı taşıdır. Kuantum teleportasyon, yardımcı bir Bell çifti üzerinde gönderici tarafında yapılan bir Bell ölçümüyle çalışır; ölçüm sonucu klasik iki bit olarak iletilir ve alıcı tarafında bu klasik bilgiyle uygun Pauli düzeltmesi yapılır. Süper yoğun kodlama ters yönde aynı çifti kullanır: gönderici, yerel Pauli operatörleriyle çiftini dört farklı Bell durumuna sokar, alıcı Bell ölçümüyle dört olasılığı ayırt eder ve iki klasik bit tek bir kübitte taşınmış olur. Her iki protokol, Bell-bazı ölçümünün tek bir global ölçüm türü olduğunu gösterir.

GHZ-bazı ve genel stabilizer ortak ölçümleri

Bell ölçümü, daha geniş bir aile olan stabilizer ortak ölçümleri'nin iki kübitlik özel örneğidir. N kübitlik bir GHZ tabanı için ön-dönüşüm zinciri benzer yapıdadır: bir dizi CNOT ile dolanıklık “açılır”, ardından bir Hadamard ile faz bilgisi ortaya çıkarılır ve son olarak standart ölçüm yapılır. Bu prensip kuantum hata düzeltmedeki sendrom ölçümlerinin doğrudan kaynağıdır; algoritmik köprü bölümünde ayrıntılı geri döneceğiz.

Projektif ölçüm, ortonormal bir tabanın elemanlarına karşılık gelen birbirine ortogonal projektörler kümesidir. Ama kuantum mekaniği daha geniş bir ölçüm sınıfı tanımlar: ölçüm ve operatörler sayfasında gördüğümüz POVM (Positive Operator-Valued Measure). POVM, “ortonormal tabandan daha fazla sonuç üretebilen” ölçümlere izin verir ve bazı bilgi-teorik görevlerde projektif ölçümlerden daha verimlidir. Adaptive ölçüm ve mid-circuit ölçüm ise ölçüm tabanını devrenin akışında değiştirmeye izin verir.

POVM bağlamı: kapasiteyi neden genişletiriz?

d boyutlu bir kuantum sistemde, projektif ölçüm en fazla d sonuç üretebilir; POVM ise daha fazlasını yapabilir. Bunun maliyeti, ölçüm operatörlerinin ortogonal olmaması; ödülü ise durumlar hakkında daha ince bilgi açabilmek (örneğin sembol ayrımı, kuantum durum tahmini, kuantum tomografi). Tek kübit için (d = 2), projektif ölçüm en fazla iki sonuç verir; bir POVM ise dört simetrik sonuç verebilir ve bu en bilinen örnek SIC-POVM'dur.

SIC-POVM: simetrik bilgi ölçütü

Symmetric Informationally Complete POVM (SIC-POVM), dört eleman arasında çift bazda iç çarpımları eşit olan tek kübitlik bir POVM ailesidir; Bloch küresinde dörtyüzlü bir simetri ile durur. SIC-POVM bilgi tamamlığı (informational completeness) taşır: tek bir ölçüm türü, yeterli sayıda tekrarla durumun yoğunluk matrisini yeniden inşa eder. Bu yüzden SIC-POVM kuantum durum tahmini için doğal bir araçtır; ne yazık ki keyfi boyutlarda varlığı hâlâ açık bir soru olarak durmaktadır.

Adaptive ve mid-circuit ölçüm

Modern kuantum donanım, devre sırasında bazı kübitlerde ölçüm yapıp sonuçları klasik olarak okuyup kalan devrenin akışını bu sonuca göre yönlendirebilir. Buna mid-circuit ölçüm ve sonuç-bağımlı kapı tetiklemesine adaptive measurement denir. Bu yetenek, kuantum hata düzeltmenin, ölçüme-dayalı kuantum hesaplamanın ( küme durumları) ve modern dinamik devrelerin temel ön koşuludur. Donanım tarafında, çok hızlı klasik geri besleme, ölçüm-sonrası rezet ve kalibrasyon karmaşıklığını arttırır; bu tartışma soğutma ve kalibrasyon sayfasındaki kalibrasyon protokollerine bağlanır.

Delayed-choice ve post-selection

Ölçüm bazı seçimini “geç” yapmak veya bazı sonuçları filtrelemek de pratik araçlardır. Delayed-choice ölçümünde ölçüm bazı, dolanık çiftin diğer ucunda yapılan ölçüm sonrasında belirlenir; bu deneyler kuantum mekaniğinin “zamana dirençli” yapısını çarpıcı biçimde gösterir. Post-selection ise yalnızca belirli bir ölçüm sonucu çıkan tekrarları analize dahil etmek demektir; kuantum tomografide, fotonik kuantum hesaplamada ve hata atıcı (error mitigation) yöntemlerde yaygın olarak kullanılır.

Kuantum durum tomografisi, bilinmeyen bir kuantum durumunu çok sayıda kopyası üzerinde sıralı ölçümler yaparak yoğunluk matrisi olarak yeniden inşa etmenin pratiğidir. Bu işin başarısı doğrudan ölçüm bazı seçimine bağlıdır; iyi seçilmiş bir taban ailesi az sayıda ölçümle çok bilgi açar, kötü seçim ise üstel maliyete yol açar. Aşağıda en sık karşılaşılan üç ana yaklaşımı — Pauli tomografi, MUB tomografi ve classical shadows — bir tabloda topluyor ve artılarını karşılaştırıyoruz.

Pauli tomografi: en doğrudan yol

N kübitlik bir sistemde durumun yoğunluk matrisi, 4^N Pauli stringinin beklenen değerlerinin doğrusal kombinasyonu olarak yazılır. Her bir Pauli stringi, sonuna uygun bir tek kübit baz değişikliği eklendikten sonra computational basis ölçümü ile elde edilir. Pauli tomografi, durumu bu 3^N tek kübit baz kombinasyonu üzerinde sıralı ölçümle inşa eder ve klasik post-processing ile yoğunluk matrisini çözer. Avantajı sade ve doğrudan olması, dezavantajı maliyetin 3^N ölçüm bazına çıkmasıdır; 10 kübit için yaklaşık 60 bin ölçüm bazı, her birinde binlerce tekrarla.

MUB tomografi: minimum baz, maksimum verim

Bilgi-teorik olarak en az sayıda baz ile durumu yeniden inşa eden yaklaşım MUB tomografi'dir. d boyutlu bir sistemde, eğer d + 1 tane karşılıklı yansız baz varsa, bu bazlar üzerinde yapılan ölçümler durumu en az tekrarla yeniden inşa etmek için yeterlidir. Asal kuvvet boyutlarda (örneğin d = 2ⁿ) bu maksimum MUB sayısının var olduğu bilinmektedir; genel boyutlarda ise bu açık bir matematik problemidir (örneğin d = 6 için cevap hâlâ bilinmemektedir).

Classical shadows: modern verimli alternatif

Classical shadows, son yıllarda ortaya çıkan modern bir tomografi tekniğidir; tam yoğunluk matrisini hesaplamak yerine, durum üzerindeki belirli doğrusal fonksiyonelleri (örneğin beklenen değerler, sadakat) az sayıda tek-kopya ölçümüyle tahmin etmeyi öğretir. Yöntemin kalbi, her tek kopyaya rastgele bir Clifford ya da rastgele bir Pauli baz dönüşümü uygulayıp standart ölçüm yapmak; sonra bu rastgele ölçüm çıktısından durumun klasik bir “gölgesini” inşa etmektir. Pek çok doğrusal fonksiyonel için maliyet, kübit sayısı ile doğrusal ya da logaritmik ölçeklenir; klasik tam tomografinin üstel maliyetine kıyasla büyük bir verim kazancı sağlar.

Ölçüm tabanları ve tomografi yöntemleri — referans tablosu

Aşağıdaki tablo, bu sayfada bahsedilen ana ölçüm tabanlarını ve tomografi yöntemlerini bir arada toplayan bir referanstır. Tablonun “taban tipi” sütunu tabanın ortonormal, dolanık ya da POVM yapısını gösterir; “tipik devre / dönüşüm” sütunu donanım uygulamasının özünü verir.

Ölçüm tabanı seçmek, kuantum algoritma tasarımında çoğunlukla en sona bırakılan ama aslında en belirleyici kararlardan biridir. Bu son bölüm, sayfada gördüğümüz taban kataloğunun pratik kuantum algoritmalarında ve donanım gerçeğinde nereye oturduğunu üç başlık altında özetler.

VQE ve ölçüm gruplaması

Belirsizlik ve uyumluluk sayfasında konuştuğumuz Pauli komütasyon grafı boyama, doğrudan bir ölçüm tabanı seçimi problemidir. Tek bir tabanda “komüt eden” Pauli stringler simültane ölçülebilir; bu yüzden VQE'de Hamiltonyenin yüzlerce Pauli teriminin ölçüm maliyeti, ortak tabanlara gruplama ile dramatik biçimde düşürülür. Bu sayfada gördüğümüz tek kübit dönüşüm dili (Z, X, Y), o gruplamanın baz değişikliği kapılarının kodu olur.

QEC sendrom ölçümü

Kuantum hata düzeltmede stabilizator operatörlerinin ortak özbazı, bir global ölçüm tabanıdır ve sendrom kübitleri yardımıyla ölçülür. Klasik okuma, fiziksel kübitin durumunu değil, hata sendromunu okur. Bu sayede mantıksal durum bozulmadan hata tespit edilir. Bu sayfada gördüğümüz CNOT zinciri + Hadamard + standart ölçüm reçetesi tam olarak yüzey kodu ve stabilizer kodları için sendrom devresinin iskeletidir.

Donanım: mid-circuit ölçümün gereklilikleri

Mid-circuit ölçüm, doğrudan süperiletken ve iyon tuzaklı donanımların pratik kalibrasyon kalitesine bağlıdır. Bir ölçüm yaparken komşu kübitlerin bozulmaması (cross-talk minimumu), klasik geri besleme için yeterli hızda işlemci, ölçüm sonrası kübit resetinin güvenli yapılması — bu üçü mid-circuit ölçüm kalitesinin yapı taşlarıdır. Soğutma ve kalibrasyon sayfasında bu gereksinimlerin kalibrasyon protokolleriyle (özellikle readout RB, ölçüm fidelity benchmark) bağı verildi.

Algoritma–taban birlikte tasarımı

Modern kuantum algoritma tasarımında bir ölçüm tabanı seçmek artık algoritmik tasarımın geç bir parametresi değil, doğrudan tasarımın bir parçasıdır. Phase estimation algoritmasının QFT bazlı çıkışı, VQE'nin Pauli gruplamalı ölçümleri, kuantum hata düzeltmenin stabilizer sendrom okumaları, modern varyasyonel devrelerin adaptive ölçüm zincirleri — hepsi “hangi tabanda okurum?” sorusunun farklı cevaplarıdır. Bu yüzden ölçüm tabanı seçimi, kuantum yazılım tasarımının değil, doğrudan kuantum algoritma teorisinin bir parçasıdır.