Kraus ve CPTP — kuantum gürültünün matematiksel dili
Gerçek bir kuantum cihazında kapılar, ölçümler ve bekleme süreleri ideal üniter işlemler değildir. Her biri, kuantum durumları başka kuantum durumlarına taşıyan daha genel bir nesneyle modellenir: kuantum kanalı. Bu sayfa, kuantum kanalların temel matematiksel dilini kurar: Kraus operatörleri, CPTP koşulu (tamamen pozitif ve iz koruyucu), Stinespring dilatasyonu, Choi matrisi ve temel kanal aileleri. Böylece dekoherens ve gürültü sayfasında fiziksel olarak gördüğümüz T1, T2, dephasing, damping ve crosstalk gibi süreçler, hesaplanabilir kanal modellerine dönüşür.
Kuantum Kanalı Nedir?
Kuantum kanalı, yoğunluk matrislerini yoğunluk matrislerine taşıyan fiziksel bir dönüşümdür. Kapalı sistemde bu dönüşüm üniterdir; açık sistemde ise çevreyle etkileşim, ölçüm, kayıp, hazırlanma hatası ve klasik rastgelelik gibi etkileri içerebilir. Bu yüzden kanal kavramı, kuantum hata modellemesinin en genel ve en pratik dilidir.
Durum vektörü değil, yoğunluk matrisi dili
Gürültülü süreçler genellikle saf durumları saf durumlara taşımaz. Bir süperpozisyon, çevreyle dolanıklık kurduğunda alt sistem açısından karma hâle gelebilir. Bu yüzden kanal modeli doğrudan |ψ⟩ üzerinde değil, yoğunluk matrisi ρ üzerinde yazılır. En genel fiziksel süreç şu biçimde düşünülür:
ρ → E(ρ).
Buradaki E, doğrusal bir haritadır. Doğrusallık önemlidir: karma durumlar olasılıksal karışımlar olduğundan, karışımın evrimi karışımdaki her bileşenin evriminin aynı olasılıklarla toplamı olmalıdır.
Üniter kanal özel bir durumdur
İdeal kuantum kapı, kanal dilinde tek Kraus operatörlü özel bir haritadır: E(ρ)=UρU†. Bu ifade, kapalı sistem üniter evriminin yoğunluk matrisi karşılığıdır. Ancak gerçek donanımda çoğu işlem yalnızca yaklaşık üniterdir; ideal kapının yanında dephasing, amplitude damping, leakage veya okuma hatası gibi ek kanal etkileri bulunur.
Kanal, deneyde neyi temsil eder?
Bir kanal bazen tek bir fiziksel süreci temsil eder: bekleme sırasında dephasing, ölçüm sırasında readout error, iki kübit kapısı sırasında crosstalk gibi. Bazen de birçok küçük hatanın birlikte modellenmiş özetidir. Örneğin randomized benchmarking sonrası raporlanan tek hata oranı, ayrıntılı fiziksel mekanizmaları tek bir efektif depolarizing kanala sıkıştırabilir. Bu pratik ama bilgi kaybettiren bir özetlemedir.
Kraus Temsili ve İz Koruma Koşulu
Kraus temsili, bir açık sistem sürecini sonlu ya da sayılabilir sayıda operatörle yazmanın en kullanışlı yoludur. Her Kraus operatörü, çevreyle etkileşim sonrasında sistemin izleyebileceği olası bir “dalı” temsil eder; fakat bu dallar çoğu zaman klasik olarak gözlenmez, yalnızca toplam etkileri görünür.
Kraus formu
Bir kuantum kanalının Kraus temsili şu biçimde yazılır:
E(ρ)=Σᵢ Kᵢ ρ Kᵢ†.
Bu ifade ölçüm postülatındaki sonuçlara benzer görünür; fark şudur: ölçümde her sonuç ayrı bir klasik kayıt üretebilir, kanalda ise sonuç çoğu zaman okunmaz ve tüm dallar toplanır. Bu yüzden Kraus temsili, “gözlenmeyen çevresel ölçüm sonuçlarının ortalaması” gibi de sezilebilir.
İz koruma: toplam olasılık kaybolmasın
Yoğunluk matrisinin izi toplam olasılıktır ve fiziksel bir kanal bu izi korumalıdır. Kraus operatörleri için iz koruma koşulu şudur:
Σᵢ Kᵢ†Kᵢ = I.
Eğer sol taraf kimlikten küçükse süreç iz azaltıcıdır; bu, post-selection veya belirli bir ölçüm sonucuna koşullama gibi durumlarda kullanılır. Ancak normal bir gürültü kanalı için sonuç “her zaman bir şey olur”; olasılık kaybolmaz, yalnızca durum değişir.
Kraus temsili tekil değildir
Aynı fiziksel kanalın birden fazla Kraus temsili olabilir. Kraus operatörleri, aralarında üniter karışım yapıldığında aynı toplam kanalı verebilir. Bu, tek tek Kraus operatörlerinin doğrudan “fiziksel gerçek olaylar” olarak okunmaması gerektiğini söyler. Fiziksel olan tekil operatör listesi değil, toplam harita E'dir.
Ölçüm kanalı örneği
Z bazında ölçüp sonucu unuttuğumuzu düşünelim. Bu süreç, yoğunluk matrisindeki faz elemanlarını siler ama ölçüm sonucunu kaydetmez. Kraus operatörleri K₀=|0⟩⟨0| ve K₁=|1⟩⟨1| seçilebilir. Sonuç, tam dephasing kanalıdır: popülasyonlar kalır, koherens gider.
CPTP: Tam Pozitiflik Neden Gerekir?
Bir haritanın fiziksel kanal olabilmesi için yalnızca yoğunluk matrislerini yoğunluk matrislerine taşıması yetmez. Daha güçlü bir koşul gerekir: harita tamamen pozitif ve iz koruyucu olmalıdır. Bu iki koşul birlikte CPTP olarak anılır.
Pozitiflik yetmez
Pozitif bir harita, pozitif yarı-tanımlı yoğunluk matrislerini yine pozitif yarı-tanımlı matrislere taşır. Bu kulağa yeterli gelir, fakat kuantum sistemleri alt sistemler halinde dolanık olabilir. Harita yalnızca sistemin bir parçasına uygulandığında, genişletilmiş toplam durumun da fiziksel kalması gerekir. İşte “tam pozitiflik” bu ek güvenceyi verir.
Tam pozitiflik: ancilla ile test
Bir harita E, her boyuttaki yardımcı sistem için E⊗I hâlinde uygulandığında pozitifliği koruyorsa tamamen pozitiftir. Bu koşul dolanıklık nedeniyle zorunludur. Aksi hâlde harita tek başına masum görünürken, bir dolanık çiftin yalnızca bir tarafına uygulandığında negatif olasılık gibi fiziksel olmayan sonuçlar üretebilir.
Transpose örneği: pozitif ama fiziksel değil
Matris transpozisyonu tek sistem yoğunluk matrislerini pozitif tutar; bu nedenle pozitif bir haritadır. Fakat dolanık bir sistemin yalnızca bir tarafına uygulandığında pozitifliği bozabilir. Bu yüzden transpose haritası tamamen pozitif değildir ve fiziksel bir kuantum kanalı olamaz. Aynı fikir, PPT dolanıklık kriterinin arkasındaki matematiksel sezgiyi de açıklar.
İz koruyucu ve iz azaltıcı ayrımı
CPTP kanallar normal fiziksel süreçleri temsil eder. Buna karşılık ölçüm sonucuna göre koşullandırılmış süreçler çoğu zaman CP ama iz azaltıcıdır. Örneğin “yalnızca 0 sonucu gelen deneyleri tut” dediğimizde, seçilen alt ansamblenin olasılığı 1 değildir. Bu ayrım, post-selection ve hata azaltma protokollerinde önemlidir.
Stinespring, Choi Matrisi ve Kanal Eşdeğerlikleri
Kraus temsili pratik hesap için idealdir; fakat kuantum kanalını anlamanın başka eşdeğer yolları da vardır. Stinespring dilatasyonu, her açık sistem kanalının daha büyük bir kapalı sistemde üniter evrimden doğduğunu söyler. Choi matrisi ise kanalı tek bir büyük yoğunluk matrisi gibi incelemeyi sağlar.
Stinespring dilatasyonu
Her CPTP kanal, sistem + çevre üzerinde bir üniter evrim ve sonrasında çevrenin izlenmesi olarak yazılabilir:
E(ρ)=TrE[ U(ρ⊗|0⟩⟨0|)U† ].
Bu sonuç, dekoherensin felsefi anlamını netleştirir: açık sistemde non-üniter görünen süreç, daha büyük sistemde hâlâ üniterdir. Gürültü, temel postülatın bozulması değil, sistem sınırını dar seçmemizin sonucudur.
Choi matrisi
Choi-Jamiołkowski izomorfizmi, bir kanalı maksimal dolanık bir durumun bir yarısına uygulayarak matrise dönüştürür. Sezgisel olarak kanal, “nasıl davrandığını” dolanık bir test durumu üzerinde imzalar. Choi matrisi pozitif yarı-tanımlıysa harita tamamen pozitiftir; uygun kısmi iz koşulu sağlanıyorsa iz koruyucudur. Bu yüzden Choi formu, kanalın CPTP olup olmadığını test etmek için çok kullanışlıdır.
Süperoperatör ve Pauli transfer matrisi
Simülasyon yazılımlarında kanal çoğu zaman vektörleştirilmiş yoğunluk matrisi üzerinde çalışan büyük bir matris olarak tutulur. Pauli transfer matrisi ise kanalı Pauli bazında temsil eder; özellikle tek ve çok kübit gürültü modellerinde görsel ve sayısal olarak okunaklıdır. Bu temsil, randomized benchmarking ve gate set tomography gibi yöntemlerde sık kullanılır.
Temsiller neden çoğalır?
Tek bir “en iyi” kanal temsili yoktur. Kraus formu fiziksel süreç sezgisi verir; Choi formu pozitiflik testleri için iyidir; süperoperatör formu simülasyon için doğrudandır; Stinespring formu açık sistemin kapalı sistem kökenini gösterir. İyi bir kuantum yazılımı, bu temsiller arasında geçiş yapabilmelidir.
Temel Kuantum Kanal Aileleri
Kanal modelleri, gerçek donanımdaki karmaşık gürültü süreçlerini yönetilebilir ailelere ayırır. Aşağıdaki tablo, en sık kullanılan kanal ailelerini neyi modelledikleri, hangi sezgiyle okunmaları gerektiği ve nerede kullanıldıkları açısından özetler.
| Kanal | Kısa form / temsil | Fiziksel anlam | CPTP koşulu | Tipik kullanım |
|---|---|---|---|---|
| Üniter kanal | E(ρ)=UρU† | Gürültüsüz kapalı sistem evrimi | U†U=I | İdeal kapılar, referans model |
| Dephasing | Z tipi faz rastgeleliği | Koherens kaybı, T2/Tφ | Olasılıkların toplamı 1 | Ramsey, echo, faz gürültüsü |
| Amplitude damping | |1⟩ → |0⟩ olasılıklı geçiş | Enerji gevşemesi, T1 | Damping parametresi 0..1 | Süperiletken kayıp, spontan emisyon |
| Phase damping | Popülasyon sabit, faz sönümlü | Enerji kaybı olmadan faz bozunması | Sönüm parametresi 0..1 | Pure dephasing modeli |
| Depolarizing | ρ → (1-p)ρ + p I/d | Yönsüz karışma | Geçerli p aralığı | RB özet modeli, kaba hata modeli |
| Bit-flip / phase-flip | X veya Z hatası olasılıklı | Pauli hata kanalı | Hata olasılığı 0..1 | Basit QEC kodları, öğretici model |
| Erasure | Durum silme bayrağına gider | Kayıp tespit edilebilir | Genişletilmiş çıktı uzayı | Foton kaybı, loss-tolerant protokoller |
| Measurement channel | Projektörlerle ölç ve sonucu sakla/sil | Klasik kayıt üretimi veya dephasing | Projektör toplamı I | Readout modelleme, mid-circuit ölçüm |
| Leakage channel | Kod uzayı dışına geçiş | İki seviyeli kübit modelinin kırılması | Daha büyük Hilbert uzayında CPTP | Transmon |2⟩ sızıntısı, reset modeli |
| Correlated noise | Çok kübitli ortak kanal | Crosstalk, ortak mod gürültüsü | Global CPTP | QEC eşiği, gerçekçi donanım simülasyonu |
Algoritmik ve Donanımsal Köprü
Kraus ve CPTP dili yalnızca teorik temizlik için değildir; simülatörlerin, hata düzeltme çalışmalarının, kalibrasyon raporlarının ve hata azaltma yöntemlerinin ortak arayüzüdür. Gürültüyü kanala çevirdiğimizde, donanım davranışını devre seviyesinde tahmin edebiliriz.
Kanal bileşimi ve devre simülasyonu
Bir devrede her kapıdan sonra gürültü kanalı eklenebilir: ideal üniter, ardından dephasing veya depolarizing kanal gibi. Kanallar bileşebilir ve tensor çarpımıyla çoklu kübitlere genişletilebilir. Fakat yoğunluk matrisi simülasyonu 4^N ölçeklenir; bu nedenle gerçekçi noisy simulation hızla pahalılaşır.
Kanal tomografisi ve gate set tomography
Bir cihazdaki gerçek kanal deneysel olarak öğrenilebilir. Quantum process tomography, bilinen giriş durumlarını hazırlar, kanaldan geçirir ve çıktı tomografisiyle kanalı yeniden kurar. Gate set tomography daha ileri giderek hazırlama, kapı ve ölçüm hatalarını birlikte tahmin eder. Bu teknikler güçlüdür ama örnekleme maliyeti ve model varsayımları nedeniyle büyük sistemlerde zorlaşır.
Hata düzeltme eşiği için kanal varsayımı
Kuantum hata düzeltme eşikleri, çoğu zaman belirli kanal modelleri altında hesaplanır: bağımsız depolarizing hata, biased dephasing, erasure noise veya leakage gibi. Model değişince eşik de değişebilir. Bu yüzden hata düzeltme tasarımında “hangi kanal?” sorusu en az “hangi kod?” sorusu kadar önemlidir.
Hata azaltma ve ters kanal fikri
Error mitigation yöntemleri, ideal kanalın çıktısını gerçek kanalın çıktısından tahmin etmeye çalışır. Probabilistic error cancellation gibi yöntemler, gürültü kanalının tersini doğrusal kombinasyon olarak yaklaşık uygular; zero-noise extrapolation ise aynı kanal ailesinin farklı güçlerde çalıştırılabildiğini varsayar. Bu yöntemlerin başarısı, kanal modelinin deneysel gerçekliğe ne kadar uyduğuna bağlıdır.