Okuma ve hazırlama — SPAM hatalarının kanal seviyesinde anatomisi

“Kuantum hatası” konuşulduğunda akla genellikle kapı hataları gelir: T₁, T₂, crosstalk, leakage. Fakat algoritmanın başında ve sonunda iki sessiz hata kaynağı daha vardır. Hazırlanan başlangıç durumu mükemmel |0⟩ değildir; okunan klasik bit, kübitin gerçek durumunun yalnızca gürültülü bir tahmindir. Bu iki kaynağın toplamı SPAM olarak adlandırılır.

Algoritmanın üç ayağı

Her kuantum devresi üç aşamalı bir hesaplamadır: hazırla, dönüştür, ölç. Geleneksel hata analizleri çoğunlukla ortadaki aşamaya odaklanır; T₁ ve T₂ oraya aittir. SPAM ise ilk ve son aşamanın hatasıdır ve kanal seviyesinde modellenmeden algoritma çıktısı doğrudan yorumlanamaz. NISQ donanımının pratik fidelity'sini değerlendirirken çoğu zaman kapı hatasından çok SPAM hatası daha büyük bir bütçe yer.

Hazırlama ve okuma neden farklı?

Hazırlama, hedeflenen durumu sıfırdan kurmak için cihazı yönlendirir; pasif (termalize ol, bekle) veya aktif (ölç, koşullu uygula) olabilir. Okuma ise durumu klasik bir sonuca dönüştürür; doğası gereği yıkıcıdır (destructive) ve ölçüm cihazının sınırlamalarına tabidir. İkisi de farklı fiziksel mekanizmalardan beslenir, farklı kanal yapılarına sahiptir, farklı mitigasyon stratejisi ister.

SPAM ile gate fidelity'nin ayrılması

Bir devrenin son fidelity'sine bakarken hangi katmanın ne kadar hata kattığını bilmek gerekir. SPAM hatasını “gate fidelity” diye raporlamak, donanım iyileştirme çabasını yanlış yere yönlendirir. Bu yüzden modern karakterizasyon protokolleri (RB, GST, XEB) SPAM'ı analiz dışında tutmak için özel olarak tasarlanır; Soğutma ve kalibrasyon sayfasında bu protokollerin günlük menüsünden bahsetmiştik.

SPAM'ın görünmez maliyeti

Tek bir SPAM olayının görünür etkisi çoğunlukla %1–5 civarındadır; küçük gibi görünür. Fakat çok kübitli ölçümlerde bu hata her kübit için bağımsız uygulanır; örneğin 50 kübitli bir devrede her kübit %2 SPAM hatasıyla raporlansa bile (1 − 0.02)⁵⁰ ≈ 0.36: yalnızca üçte biri tüm bitleri doğru okunur. Bu üstel ölçeklenme, neden modern donanım tasarımında readout fidelity'nin uzun süredir en yüksek öncelikli iyileştirme hedefi olduğunu açıklar.

Okuma, soyut bir “Z bazında projektif ölçüm” değildir; fiziksel bir protokoldür. Hangi protokolün seçildiği, kübitin hangi platformda olduğuna ve neyin korunmak istendiğine bağlıdır. Bu bölüm üç temel ailenin — dispersive, fluorescence ve QND — kanal seviyesindeki davranışını okur.

Dispersive readout (süperiletken)

Süperiletken transmonun standart okuma protokolü dispersive readout'tur. Kübit, kendisinden frekansça uzak (detuned) bir okuma rezonatörüne kapasitif olarak bağlanır. Kübitin durumuna göre rezonatörün frekansı küçük bir miktar kayar; rezonatöre gönderilen mikrodalga probu farklı bir faz/genlik ile geri yansır. Süperiletken transmon sayfasında konuştuğumuz Cooper-pair box ve transmon mimarisinin neden bir rezonatöre takıldığının cevabı budur. Bu protokol doğru tasarlanırsa QND (quantum non-demolition) olur: ölçüm sonrası kübit, ölçülen özdurumda kalır ve tekrar kullanılabilir.

Fluorescence readout (iyon, atom)

İyon tuzaklarında okuma çoğunlukla fluorescence ile yapılır. Bir lazer, kübit durumlarından yalnızca birini (örneğin “bright”) güçlü biçimde uyarır; bu durum sürekli foton saçar ve bu fotonlar PMT veya kamerayla sayılır. Diğer durum (“dark”) ise saçılmaz. Foton sayım istatistiği Poisson tabanlıdır; karar verme süresinin uzunluğu fidelity'yi belirler. İyi kalibrasyonda %99.9 ve üzeri ölçüm fidelity'si standarttır.

QND vs destructive readout

Kuantum non-demolition (QND) ölçüm, ardışık tekrar ölçümlerin aynı sonucu vermesini garanti eder; çünkü ölçüm projektif olduktan sonra durumu özdurum olarak bırakır. Destructive readout ise durumu, ölçümün fiziksel mekanizmasıyla yok eder: örneğin fotonun dedektörde soğurulması destructive bir ölçümdür. Mid-circuit ölçüm ve feed-forward feed-forward protokolleri yalnızca QND okumayla anlamlıdır.

Single-shot vs ensemble

Single-shot okuma, tek bir devre çalıştırmasında o kübitin tam klasik bitini verir. Ensemble okuma ise çok sayıda tekrarın istatistiğini verir. Single-shot yalnızca dispersive readout'un yeterince büyük SNR'a sahip olduğu modern donanımda olanaklıdır; feed-forward, heralded preparation ve QEC syndrome ölçümü tümü single-shot gerektirir.

Latching ve foton sayısı bağımlı kaymalar

Dispersive readout sırasında gönderilen mikrodalga probunun foton sayısı arttıkça, kübit ile rezonatör arasındaki etkileşim doğrusallıktan çıkar. Çok güçlü prob, kübitin latching denen istenmeyen geçişine yol açar ve okuma sonucunu kalıcı olarak değiştirir. Bu yüzden okuma probu, “yeterince güçlü ki gürültüyü aşsın, yeterince zayıf ki kübit bozulmasın” dengesinde kalibre edilir.

Okuma hatasının modellenmesinde standart araç confusion matrix'tir. Kübitin gerçek durumunu i, ölçülen klasik biti m kabul edersek, kanal klasik bir geçiş matrisidir; satır toplamları bire eşittir ve her satır bir koşullu olasılık dağılımıdır. Bu, postülat seviyesindeki projektif ölçümün (ölçüm ve operatörler) klasik bir gürültü kanalıyla genişletilmiş hâlidir.

Confusion matrix tanımı

Tek bir kübit için 2×2 confusion matrix:

M = [[p(0|0), p(0|1)], [p(1|0), p(1|1)]], p(0|0) + p(1|0) = 1, p(0|1) + p(1|1) = 1.

Burada p(m|i) kübit gerçekten |i⟩ hâlinde iken klasik m sonucunun okunma olasılığıdır. İdeal okuma M = I'dir; gerçekte M, bu kimlik matrisinden farklıdır.

Asimetri ve T1 kökeni

Modern okuma süreleri T₁'in önemli bir kesrini alır. Okuma sırasında uyarılmış durum |1⟩ spontan olarak |0⟩'a düşebilir ve bu olay sonucu “0” olarak işaretler. Tersi (taban durumundayken yanlışlıkla “1” okunma) çok daha nadirdir. Bunun sonucu olarak confusion matrix neredeyse her zaman asimetriktir:

p(0|1) > p(1|0).

Bu asimetri, okuma kanalını basit bit-flip değil, asimetrik bit-flip kılar. T1 hataları sayfasında türettiğimiz amplitude damping kanalı, bu asimetrinin fiziksel kaynağıdır.

Çok kübitli confusion matrix

N kübit için tam confusion matrix 2^N × 2^N boyutundadır ve doğrudan ölçülmesi üstel maliyetlidir. Pratikte iki yaklaşım kullanılır. (i) Bağımsız kübit varsayımı: tam matris, her kübitin 2×2 confusion matrix'inin tensör çarpımı sanılır. (ii) Korelasyonlu yaklaşım: yakın kübitler arasındaki crosstalk etkisi sınırlı sayıda bağımsız komşulukla modellenir. İkincisi modern mitigasyon protokollerinde daha doğru sonuç verir ama daha çok kalibrasyon verisi gerektirir.

Platformlar arası readout — referans tablosu

Aşağıdaki tablo, başlıca donanım platformlarının okuma protokolünü, tipik okuma süresini, tek-shot fidelity aralığını ve baskın hata kaynağını özetler. Değerler hızla gelişen bir alan olduğu için yıldan yıla iyileşir; yapıyı kavramak için referans olarak okunmalıdır.

Hazırlanan başlangıç durumu mükemmel |0⟩ değildir. Bunun üç bağımsız nedeni vardır: termal denge popülasyonu, leakage, reset protokolünün kendi mükemmel olmaması. Üçü de farklı mekanizmalardan beslenir ve farklı azaltma stratejisi ister.

Pasif reset: T1 ile bekleme

En basit reset, kübitin doğal olarak taban durumuna düşmesini beklemektir. T1 hataları sayfasında türettiğimiz üstel bozunma 4–6 T₁ süresinde uyarılmış popülasyonu ihmal edilebilir düzeye indirir. Avantajı basitliği, dezavantajı ise süresinin uzunluğudur; günümüz transmonlarında bu süre ~1 milisaniyeye çıkabilir ve mid-circuit hazırlığı için elverişsizdir.

Aktif reset: ölç + koşullu X

Aktif reset üç adımdan oluşur: kübit ölçülür, sonuç “1” ise koşullu bir X kapısı uygulanır, sonuç “0” ise hiçbir şey yapılmaz. Bu protokol kübit-bazlı geri besleme (feed-forward) gerektirir ve QND dispersive readout sayesinde mümkün hâle gelir. Tipik süresi ~T₂ ölçeğindedir, pasif reset'ten önemli ölçüde hızlıdır.

Heralded state preparation

Heralded preparation, durum bilgisini bir ölçüm sonucuyla işaretler. Örneğin bir kübit hazırlama protokolünden geçirilir, ardından bir ölçüm yapılır; yalnızca beklenen sonucu veren tekrarlar istatistiğe alınır, diğerleri elenir (post-selection). Bu strateji bazı deneylerde son derece yüksek başlangıç kalitesine erişebilir; bedeli ise post-selection sonrası örnek azalmasıdır. Bell ve CHSH sayfasında konuştuğumuz Bell testlerinde de heralded preparation sıkça kullanılır.

Termal popülasyon (sonlu sıcaklık etkisi)

Cihaz sıcaklığı tam sıfır olmadığı için kübit denge popülasyonu da tam |0⟩ değildir. T1 hataları sayfasındaki generalized amplitude damping (GAD) bölümünde türettiğimiz p_∞ asimptotik popülasyonu, hazırlama hatasının doğal alt sınırını koyar. İyi soğutulmuş bir transmonda p_∞ tipik olarak %1'in altındadır ama sıfır değildir; bu “termal hata”yı yalnızca daha iyi soğutma azaltabilir.

Leakage: hesaplama altuzayından çıkış

Kübit aslında çok seviyeli bir sistemin yalnızca alt iki seviyesidir. Hazırlama veya kapı sırasında sistemin daha yüksek bir seviyeye (örneğin transmonun |2⟩'si) sızması mümkündür. Bu olaya leakage denir; sistem artık “kübit” değildir ve standart confusion matrix bu durumu temsil etmez. Modern transmonlarda DRAG pulse shaping leakage'i bastırır; QEC kodlarında ise “leakage reset” adlı özel protokoller leakage olaylarını yakalayıp kübit altuzayına iade eder.

Hazırlama hatasının kanal modeli

Hazırlama hatası, bağımsız bir 2×2 olasılık matrisi P ile modellenebilir: hazırlanmak istenen bit i iken sistemin gerçek başlangıç durumu j olabilir. Pratikte |0⟩ hazırlama, |1⟩'e oranla çok daha temizdir; çünkü pasif reset doğal olarak |0⟩'ı tercih eder. Bu yüzden hazırlama confusion matrix'i de okumayla benzer biçimde asimetriktir.

SPAM hatası, ne kapı kalibrasyonuyla giderilebilir ne de kapı tasarımına müdahaleyle. Bunun için ayrı bir karakterizasyon protokolü ve ayrı bir mitigasyon mantığı gerekir. Bu bölüm, modern donanımda standart hâline gelmiş üç adımı toparlar.

Kalibrasyon vektörleri

Confusion matrix tahmini iki referans deneye dayanır. (i) Kübiti |0⟩'a hazırla ve ölç: ölçüm dağılımı M'in ilk sütununu verir. (ii) Kübiti |1⟩'e hazırla ve ölç: ikinci sütun. Çok kübitli sistemde 2^N hazırlama gerekir; bu yüzden bağımsız kübit varsayımı altında çoğu zaman yalnızca her kübit için iki referans deney yapılır ve tensor çarpımı alınır.

M⁻¹ tabanlı mitigasyon

Confusion matrix bilindiğinde, gözlemlenen dağılım p_obs'nın gerçek dağılım p_true olduğu varsayımı altında ters bir matris uygulanır:

p_true ≈ M⁻¹ p_obs.

Bu yöntem hızlıdır ve istatistiksel olarak doğru ortalamayı verir; fakat iki risk taşır. Birincisi, ters matrisin gürültüyü amplifikasyonu (özellikle M ideal kimliğe yakınken bile küçük SNR'da). İkincisi, sonuç olasılıkların negatife çıkabilmesidir; fiziksel olarak anlamsız olan bu durum, sınırsız örnek limitinde sıfıra gider ama sonlu örnekte düzeltme istemektedir.

Bayesian iteratif unfolding

Negatif olasılık sorununu çözmek için maksimum olabilirlik (MLE) veya Bayesian iteratif unfolding kullanılır. Her iterasyonda dağılım, fiziksel (negatif olmayan, normalize) simplekste güncellenir ve confusion matrix'in ters etkisi yumuşatılır. Pratikte bu yöntem birkaç iterasyonda yakınsar ve modern karakterizasyon kütüphanelerinin (Qiskit M3, mthree) varsayılan yaklaşımıdır.

RB neden SPAM'a duyarsız?

Randomized benchmarking (RB), rastgele Clifford dizilerinin uzunluğuna karşı başarı olasılığını ölçer ve üstel bir fit verir. Bu fitin çarpan sabiti SPAM hatasını, üstel taban ise gate hatasını içerir. Üstel fit yapısı sayesinde SPAM bütçesi gate fidelity'sinden cebirsel olarak ayrılır; bu yüzden RB modern karakterizasyonun standart aracıdır.

SPAM mitigasyonunun maliyeti

M⁻¹ uygulamak istatistik gürültüyü artırır; aynı kesinlikte sonuç elde etmek için daha fazla shot gerekir. Bu artış faktörü, M'in kondisyon sayısıyla orantılıdır. Yüksek SPAM hatası → büyük kondisyon → çok daha fazla shot ihtiyacı. Bu yüzden mitigasyon “bedava düzeltme” değildir; donanım iyileştirmenin bu maliyeti azaltması, sadece doğruluğu değil maliyet bütçesini de düşürür.

SPAM hataları, NISQ ve fault-tolerant kuantum hesaplamanın iki uç senaryosunda farklı önem taşır. Bu son bölüm, okuma ve hazırlama hatalarının algoritmik ve mimari sonuçlarını toplu olarak özetler.

Mid-circuit measurement ve feed-forward

Modern donanım, devrenin ortasında ölçüm yapmayı ve sonucu sonraki kapıların seçimine bağlamayı destekler (örneğin teleportation, hata düzeltme syndrome ölçümü, koşullu hazırlama). Bu protokollerin tamamı QND okuma + hızlı klasik geri besleme + temiz reset üçlüsünü gerektirir. SPAM hatası bu üçlünün her bileşeninde ayrı bir bütçe tüketir.

QEC syndrome readout

Kuantum hata düzeltme kodlarında her hata bilgisi bir ancilla kübit üzerinden okunur. Yanlış okunan bir syndrome, hatanın yanlış yerde “düzeltildiği” anlamına gelir ve net olarak yeni hata yaratır. Bu yüzden QEC eşik teoremleri readout fidelity'ye doğrudan bağlıdır; surface code'da ortalama olarak readout hatasının kapı hatasıyla benzer bütçede tutulması kuraldır. Mitigasyon yerine yapısal çözüm aranır: tekrar okuma, “majority vote” veya repetition code'larla syndrome güçlendirme.

Algoritmik post-processing

NISQ algoritmaları (VQE, QAOA) çıktı olarak çoğunlukla bir beklenti değeri verir. Confusion matrix bilinince M⁻¹ bu beklenti değerine uygulanabilir; pratikte modern derleyiciler bu adımı varsayılan post-processing adımı olarak yapar. Buna karşılık çıkıt bir dağılımsa (örneğin Bernstein–Vazirani veya QAOA bit-string okuması) M⁻¹ dağılıma uygulanır ve gerekirse Bayesian unfolding ile fiziksel hâle çekilir.

Yapısal okuma azaltma: parite, kompresyon

Bazı algoritmalar tüm bit-string'i değil, bunun parite bilgisini gerektirir (örneğin Deutsch–Jozsa'da son kübitin tek bir bitinin parite cevabı verir). Bu durumda tek bit okuma yeterlidir ve N kübitli okumanın üstel SPAM bütçesi tek bir 2×2 confusion matrix'e iner. Algoritma tasarımı sırasında “hangi okumayı yapmadan atlayabilirim?” sorusu, SPAM bütçesini doğrudan azaltır.

SPAM-ötesi: gerçekten yüksek fidelity okuma

İyon ve nötr atom platformları, optik okuma sayesinde %99.9'un üzerine ulaşır; süperiletken transmon ise dispersive readout'un fiziksel sınırlamaları nedeniyle hâlâ %99 civarına yerleşir. Travelling-wave parametric amplifier (TWPA), Josephson parametric amplifier (JPA) ve Purcell filtreleri, süperiletken okumayı yıldan yıla iyileştiren üç ana kaldıraçtır. Hardware yol haritaları bu üçünü merkeze koyar.