Gürültü Modelleri

Statevector simülasyonunda devre her zaman beklendiğin gibi davranır; gerçekte ise hiçbir kuantum işlemci mükemmel değildir. Bu derste kuantum gürültü modellerini öğreneceksin: kapı hatalarını, dekoheransı ve ölçüm hatalarını matematiksel olarak tanımlayıp simülasyona nasıl eklediğimizi. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin; gürültüsüz simülasyonu henüz görmediysen önce Statevector Simülasyonu dersine göz atman iyi olur.

Gürültü Nedir? İdeal Simülasyonla Gerçek Cihazın Farkı

İdeal simülatörde |ψ⟩ durumu, her kapının tarif ettiği üniteryen dönüşle eksiksiz evrilir; sonuç kesindir. Gerçek bir cihazda üç şey ters gider: kapılar hedef dönüşten küçük sapmalar yapar, kübitler ortamla etkileşip enerji ve faz bilgisini kaybeder (dekoherans), ölçüm devresi de zaman zaman yanlış bit okur. Gürültü modeli, bu üç hata ailesini sayısal parametrelerle tarif eden ve devreyi adım adım üzerinden geçiren bir tariftir.

Burada iki tür belirsizliği ayırmak kritik. Aynı gürültüsüz devreyi binlerce shotla ölçtüğünde histogram yine dağınık oranlar verir; bu Shot Tabanlı Simülasyon dersindeki istatistiksel örnekleme gürültüsüdür ve shot sayısıyla küçülür. Cihaz gürültüsü ise örneklemeyle küçülmez; her koşuda aynı biçimde bozar ve Ölçüm Histogramları dersindeki dağılımın yalnızca genişliğine değil, merkez kaymasına da yansır.

Yoğunluk Matrisi: Gürültünün Dili

Temiz bir durum için |ψ⟩ vektörü yeterlidir; ama gürültü, durumu "belirli bir durum"dan "olasılıklar karışımı"na götürür. Bunun dili yoğunluk matrisidir: saf durum için ρ = |ψ⟩⟨ψ|. Örneğin |+⟩ = (|0⟩ + |1⟩)/√2 için ρ = [[1/2, 1/2], [1/2, 1/2]]; köşegen terimler ölçüm olasılıklarını, köşegen dışı terimler ise 0 ile 1 arasındaki girişimi taşır. Genel karışık durum ρ = Σᵢ pᵢ|φᵢ⟩⟨φᵢ| biçiminde yazılır ve her zaman Tr(ρ) = 1'dir.

Gürültülü evrim, kuantum kanalı denen operatörle tarif edilir: E(ρ) = Σᵢ Kᵢ ρ Kᵢ†. Kᵢ'lere Kraus operatörleri denir; geçerli bir kanal için Σᵢ Kᵢ†Kᵢ = I şartı gerekir ve bu, olasılıkların toplamının 1 kalmasını güvenceye alır. İdeal bir kapı U özel durumdur: tek terimlik K = U. Yani gürültü, üniteryen evrimin kanallarla genelleştirilmesidir.

Temel Gürültü Kanalları

Simülatörler birkaç standart kanalı birleştirerek cihazın taklidini örer. En basiti bit ters çevirme kanalıdır: her kapıdan sonra olasılıkla p X kapısı uygular, E(ρ) = (1−p)ρ + p·XρX. Aynı fikri Z ile yapan faz ters çevirme kanalıdır; ikisinin ortalaması ise kutuplaşma (depolarizing) gürültüsüdür: E(ρ) = (1−p)ρ + (p/3)(XρX + YρY + ZρZ). Bu kanal Bloch vektörünü her yönden (1 − 4p/3) oranıyla büzer; p = 3/4'te durum tamamen rastgele hâle gelir. Dikkat: kütüphaneler p'yi farklı ölçekleyebilir (Qiskit'in depolarizing_error'u (1−λ)ρ + λ·I/2 kullanır); aracının dokümanına bak.

• Genlik sönümü (T₁ relaksasyonu): kübitin |1⟩ durumundan |0⟩'a bozunumu. Kraus operatörleri K₀ = [[1, 0], [0, √(1−γ)]] ve K₁ = [[0, √γ], [0, 0]] olup K₀†K₀ + K₁†K₁ = I şartını sağlar; |1⟩, γ olasılıkla |0⟩'a düşer: γ = 0,05 için |1⟩ artık %95 olasılıkla okunur.
• Faz sönümü (dephasing, T₂): ölçüm olasılıklarını değil, girişim için hayati olan faz ilişkilerini bozar.
• Okuma (readout) hatası: ölçümden sonra 0'ı 1 ya da 1'i 0 okuma olasılıkları; kuantumsal değil klasik bir karışıklık matrisiyle modellenir ve histogramı doğrudan kaydırır.

Küçük Bir Hesap: |+⟩ Durumuna Kutuplaşma Gürültüsü

Adım adım gidelim. Başlangıç |+⟩ = (|0⟩ + |1⟩)/√2 olsun: ρ'nın köşegenleri 1/2, köşegen dışı terimleri de 1/2'dir. p = 0,1 kutuplaşma uygulayalım. Bu ρ için XρX değişiklik yapmaz; YρY ve ZρZ ise köşegen dışı terimlerin işaretini değiştirir (−1/2). Köşegen dışı terimin yeni değeri: (1−p)·(1/2) + (p/3)·(1/2 − 1/2 − 1/2) = 0,45 − 0,017 ≈ 0,433 — tam olarak (1/2)·(1 − 4p/3), yani girişim terimi yaklaşık %13 küçüldü.

İşin ilginç yanı: köşegen değişmedi; Z ölçümünde 0 ve 1'i hâlâ 50–50 görürsün. Gürültü bu basit ölçümde görünmez, ama bu girişime dayanan her şey bozulur. Duruma bir Hadamard uygula: temiz hesapta sonuç %100 |0⟩'dır; p = 0,1 gürültüyle olasılık (1 + 0,867)/2 ≈ %93,3'e düşer (r_x, Bloch vektörünün x bileşenidir).

Devre ölçeğinde tablo üstel bozulur: her kapıdan sonra kanal uygulandığında hatalısız koşma olasılığı kabaca (1−p)ⁿ'dir; p = 0,001 ve n = 100 kapı için 0,999¹⁰⁰ ≈ 0,905 — yalnızca ~%90 koşu tertemiz kalır. Pratikte gürültüyü simülatörde devreye eklerken önce devreyi hedef cihazın kapı setine çevirirsin; nasıl yapıldığını Devre Transpilasyonu dersinde işliyoruz.

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

Bu bölüm, en sık takı olunan beş noktayı düzeltiyor:

• "Shot artırırsam gürültü azalır." Hayır; shot sayısı örneklemeyi düzeltir, cihaz gürültüsünü değil. Histogramın merkezi yanlışsa milyar shot da kurtarmaz.
• Modeli gerçeklikle karıştırmak: gürültü modeli, son kalibrasyon verisinden örülmüş idealize bir taklittir; cihazdan cihaza ve günden güne değişir. Gerçek koşu tarafını Gerçek Kuantum Donanımında Çalıştırma dersinde bulursun.
• p'nin tanımını karıştırmak: aynı "depolarizing" adı farklı kütüphanelerde farklı ölçekle kullanılır; "%1 hata" iki araçta aynı sayı olmayabilir.
• Hata azaltma ile hata düzeltmeyi eş görmek: hata azaltma istatistiksel bir sonradan düzeltme, bastırma devre düzeyinde önlem, düzeltme ise fazladan kübitlerle aktif korumadır.
• Karşılaştırmalı kontrolü atlamak: önce gürültüsüz simülasyonda doğruluğu kanıtla, farkı ancak sonra gürültüye atfet; hangi cihazı hedefleyeceğini seçerken Backend ve Cihaz Kavramı dersi yol gösterir.

Bu derste gürültüyü yoğunluk matrisi ve kuantum kanallarıyla tanımladık. Bundan sonraki adım, gürültülü koşunun sonuçlarını sağlıklı yorumlamak: güven aralığı kurmayı Sonuçların İstatistiksel Analizi, deneyi baştan sağlam kurmayı ise Kuantum Deneyi Tasarımı dersi öğretir.

Kaynaklar ve İleri Okuma

Density matrix — Wikipedia — saf ve karışık durumların ρ gösterimi; kanal matematiğinin temeli.

Quantum noise — Wikipedia — gürültü kavramının genel çerçevesi ve kaynakları.

Quantum decoherence — Wikipedia — dekoheransın yoğunluk matrisi diliyle anlatımı.

Qiskit Aer: Building Noise Models — gürültü modelini kodla kurmanın resmî anlatımı.

Preskill, Fault-Tolerant Quantum Computation (arXiv:quant-ph/9712048) — gürültünün derin devrelerde üstel bozulmaya yol açmasını ve hata düzeltmeyi anlatan klasik derleme.