Kraus Operatörleri

Ortamla etkileşen bir kuantum sisteminin evrimini hangi matematiksel nesne tanımlar? Bu derste cevabı sıfırdan kuracağız: Kraus operatörleri, kuantum kapılarından ölçüme, sönümden gürültüye kadar bütün fiziksel dönüşümleri tek formülle yazan en genel çerçevedir. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin; bu ders Yoğunluk Matrisi dersindeki ρ dilinin üstüne kurulur.

Kapalı Sistemden Açık Sisteme: Üniteryenlik Neden Yetmez

Evrim kuralın şuydu: kapalı sistemde durum ψ → Uψ ile değişir; yoğunluk matrisi dilinde bu ρ → UρU† demektir. Üniteryen evrim izi korur, tersine çevrilebilir ve bilgi kaybettirmez. Durum vektörünü Tek Kübitin Durumu, saf ve karışık durum ayrımını ise Saf ve Karışık Durumlar derslerinde görmüştün.

Ama gerçek sistemler kapalı değildir: kübit çevresindeki iletkenlerle, foton da kayıp yollarla etkileşir. Ortamı hesaptan çıkarıp atmak sistemin durumunu karıştırır: saf durum bile karışık hâle gelebilir, tutarlılık kaybolur, süreç geri döndürülemez olur. Bu üç özellik ρ → UρU† biçiminin dışında kalır; hepsini yazabilecek daha genel bir dile ihtiyaç vardır.

Kraus Gösterimi: Tanım ve Tamlık İlişkisi

Tanım. d boyutlu bir sistemin yoğunluk matrisi şöyle evrilir: ρ′ = Σₖ Kₖ ρ Kₖ†. Buradaki Kₖ matrislerine Kraus operatörleri denir ve tamlık ilişkisini sağlamak zorundadırlar: Σₖ Kₖ†Kₖ = I. Bu şart izi korur: Tr(ρ′) = Σₖ Tr(KₖρKₖ†) = Tr(ρ·Σₖ Kₖ†Kₖ) = Tr(ρ) = 1; burada Tr(ABC) = Tr(CAB) iz döngüselliğini kullandık. Operatör sayısı sabit değildir; aşağıda bir tanesinden dört tanesine göreceğiz.

Aynı formülün ölçüm yüzü de vardır: k sonucunun görülme olasılığı pₖ = Tr(ρ Kₖ†Kₖ)’dir; sonucu gördüysen durum ρₖ = Kₖ ρ Kₖ† / pₖ olur; tüm sonuçlar pₖ ile ortalanınca yine ρ′ = Σₖ Kₖ ρ Kₖ† çıkar. Kraus gösterimi böylece “hangi sonucu gördüm” (koşullu) ve “sonuca bakmadan devam” (koşulsuz) evrimleri tek formülde taşır. Ölçüm kurallarını Kuantum Ölçüm Teorisi dersinden hatırla; oradaki PₘρPₘ formülleri aşağıda özel hâl olarak çıkacak.

Kraus Operatörleri Nereden Gelir?

Bu formül uydurma bir kural gibi görünse de kapalı sistem fiziğinin doğrudan sonucudur. Sistem (S) ile ortam (E) birlikte kapalıdır; ortamın ilk hâli |e₀⟩ olsun, toplam evrim üniteryen U olsun. Ortamı hesaptan çıkarmak için Kısmi İz dersindeki aracı kullanırız:

1. Başlangıç: S ⊗ E üzerinde ρ ⊗ |e₀⟩⟨e₀|.
2. Üniteryen evrim: U(ρ ⊗ |e₀⟩⟨e₀|)U†.
3. Ortamı izleyip bırak: ρ′ = Tr_E[U(ρ ⊗ |e₀⟩⟨e₀|)U†].

Ortam tabanını {|eₖ⟩} seçip izi açarsan üçüncü adım şuna eşittir: ρ′ = Σₖ Kₖ ρ Kₖ†, öyle ki Kₖ = ⟨eₖ|U|e₀⟩. Her Kraus operatörü, ortamın |e₀⟩’dan |eₖ⟩’ya sıçradığı bileşene karşılık gelir. Tamlık ilişkisi de bedava gelir: Σₖ Kₖ†Kₖ = ⟨e₀|U†(Σₖ |eₖ⟩⟨eₖ|)U|e₀⟩ = ⟨e₀|U†U|e₀⟩ = I. Bu yapılandırma Stinespring açılımıdır: her kanal, bir ortam ekleyip orada üniteryen döndükten sonra ortamı atmakla kurulur. Kanal kavramını Kuantum Kanalları dersinde bütünüyle işleyeceğiz.

Örnekler: Tek Kraustan Dört Krausa, Bir Hesap

Örnek 1 — Üniteryen kapı: tek Kraus operatörü

K = U alırsan tamlık ilişkisi U†U = I ile otomatik sağlanır ve ρ′ = UρU† geri gelir. Bütün üniteryen evrimler Kraus gösteriminin özel hâlidir. Tersi de öğreticidir: bir süreç için birden çok Kraus gerekiyorsa süreç artık üniteryen değildir; bilgi ortama sızmış demektir.

Örnek 2 — Hesaplama tabanında ölçüm: depolanma (dephasing) kanalı

Hesaplama tabanında ideal ölçüm K₀ = |0⟩⟨0| ve K₁ = |1⟩⟨1| ile yazılır; kareleri kendilerine eşit olduğundan Σₖ Kₖ†Kₖ = |0⟩⟨0| + |1⟩⟨1| = I sağlanır. ρ = [[a, b], [c, d]] ise sonuç [[a, 0], [0, d]]: köşegenler durur, b ve c tutarlılık terimleri silinir. Koşullu bakarsan durum |0⟩ ya da |1⟩’e çöker; koşulsuz bakarsan hiçbir sonuç kaydetmeden yalnızca faz bilgisi yok olur.

Örnek 3 — Depolarizasyon kanalı: dört Kraus operatörü

Kübit p olasılıkla rastgele bir Pauli hatası yapıyor, 1−p olasılıkla sağlam kalıyorsa Kraus seti şudur: K₁ = √(1−p)·I, K₂ = √(p/3)·X, K₃ = √(p/3)·Y, K₄ = √(p/3)·Z. Kontrol: X² = Y² = Z² = I olduğundan Σₖ Kₖ†Kₖ = (1−p)I + (p/3)(I + I + I) = I. ✓ Kareleri toplayarak tamlığı doğrulamak, uydurma bir setteki hatayı anında yakalar.

Adım adım hesap: genlik sönümü kanalı

Donanımda en temel hata modeli genlik sönümüdür (amplitude damping): |1⟩’deki kübit enerji salıp |0⟩’a iner — T₁ gevşemesi. Sönme olasılığı γ olsun: K₀ = |0⟩⟨0| + √(1−γ)|1⟩⟨1| ve K₁ = √γ|0⟩⟨1|. Tamlık: K₀†K₀ = |0⟩⟨0| + (1−γ)|1⟩⟨1|, K₁†K₁ = γ|1⟩⟨1|; toplam |0⟩⟨0| + |1⟩⟨1| = I. ✓ Dikkat: K₁ tek başına üniteryen değildir (K₁†K₁ = γ|1⟩⟨1| ≠ I); tamlığı K₀ ile birlikte sağlarlar.

Şimdi |1⟩’de hazırlanmış, ρ = [[0, 0], [0, 1]] olan kübite uygulayalım. (1) K₀ρK₀† = (1−γ)|1⟩⟨1|, çünkü K₀ yalnızca |1⟩ bileşenini √(1−γ) ile ölçekler. (2) K₁ρK₁† = γ|0⟩⟨0|, çünkü K₁ |1⟩’i √γ katlı |0⟩’a taşır. (3) Topla: ρ′ = γ|0⟩⟨0| + (1−γ)|1⟩⟨1| — olasılıkla γ üst durum tabana çökmüş, iz hâlâ 1. Genel ρ = [[a, b], [c, d]] için sonuç: ρ′ = [[a + γd, √(1−γ)·b], [√(1−γ)·c, (1−γ)d]].

Matristen iki şey okunur: nüfus (köşegenler) yavaş değişir, tutarlılık (köşegen dışı) √(1−γ) katına iner. Küçük γ için √(1−γ) ≈ 1 − γ/2 olduğundan tutarlılık, nüfustan yaklaşık iki kat yavaş bozulur — T₂ ≈ 2T₁ ilişkisinin matematiği budur.

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

• Kraus operatörlerini üniteryen sanmak. Yalnızca tek Krauslu kanal üniteryendir; çok Krausluluk, bilgi kaçağının işaretidir.
• Tamlık ilişkisini atlamak. Σₖ Kₖ†Kₖ = I yoksa Tr(ρ′) ≠ 1 olur ve elde ettiğin şey artık olasılık dağılımı değildir.
• Kₖ†Kₖ ile KₖKₖ† karıştırmak. Sıra önemlidir: genlik sönümünde K₁†K₁ = γ|1⟩⟨1| iken K₁K₁† = γ|0⟩⟨0|; iki matris bambaşkadır.
• Tek kolu tüm kanal sanmak. KₘρKₘ†/pₘ, m sonucunu gördüğün koşullu durumdur; kanal için toplam şarttır.
• Gösterimi benzersiz sanmak. Depolanma kanalında K′₀ = (K₀+K₁)/√2, K′₁ = (K₀−K₁)/√2 alırsan çapraz terimler sadeleşir ve aynı [[a, 0], [0, d]] çıkar. Fiziksel olan kanaldır, set değil.
• “Pozitif harita fizikseldir” demek. Transpoze ρ → ρᵀ pozitiftir ve izi korur; ama dolanık bir Bell çiftinin yarısına uygulanırsa (T⊗I) sonuçta −1/2 gibi negatif özdeğer belirir. Fiziksel haritalar tam-pozitif olanlardır; Kraus gösterimi tam olarak bu sınıfı tanımlar.

Kaynaklar ve İleri Okuma

Quantum operation — Wikipedia — Kraus gösterimi ve tam pozitiflik çerçevesini özetleyen madde.

Quantum channel — Wikipedia — iz koruyan tam-pozitif haritaların kanal olarak yorumu.

Amplitude damping channel — Wikipedia — bu derste adım adım hesapladığımız genlik sönümü kanalının maddesi.

Stinespring dilation theorem — Wikipedia — her kanalın ortam + üniteryen evrimle kurulduğu teorem.

General Formulation of Quantum Information — IBM Quantum Learning — yoğunluk matrisinden kanal gösterimlerine uzanan resmî IBM ders serisi.