Kuantum Kanalları

Bir kuantum devresi kâğıt üstünde temiz kapılarla yürür; gerçek cihazda ise kübitler çevreyle etkileşir, gürültüye maruz kalır ve ara ara ölçülür. Kuantum kanalları, bir kuantum durumunun uğrayabileceği en genel dönüşümü tek çerçevede toplar: kapılar, gürültü ve ölçüm aynı tanımın özel hâlleridir. Bu derste önce üniteryen evrimin neden yetmediğini göreceğiz, sonra kanalı Kraus operatörleriyle tanımlayıp somut örnekler üzerinde adım adım hesap yapacağız; serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin.

Neden Sadece Kapılar Yetmez? Üniteryen Evrimin Sınırı

Kapalı bir sistemin evrimi üniteryendir: durum, yoğunluk matrisi diliyle ρ → UρU† olarak değişir. Bu dönüşüm izi korur (Tr ρ hep 1 kalır) ve saflığı korur: saf durumda Tr(ρ²) = 1 değeri evrim boyunca sabittir. Ama hiçbir gerçek kübit ortamsız yaşamaz; sistem+ortam birlikte ele alınınca evrim üniteryen kalır, yalnızca ortamın üzerinden kısmi iz alınca eline geçen dönüşüm üniteryen olmak zorunda kalmaz.

Bu yüzden genel evrimi tek kübitin durum vektörü üstünde değil, yoğunluk matrisi üstünde yazmak gerekir: kanallar saf durumu saf ve karışık durumlar ayrımını yıkan biçimde karışığa çevirebilir; durumu ρ ile betimleyen ders Yoğunluk Matrisi'dir. Tersi de doğru: Stinespring teoremine göre her kanal, büyük bir sistemde üniteryen evrim artı kısmi iz olarak yazılabilir; kanal, ortamı görünmez kılan üniteryen evrimdir.

Kuantum Kanalının Tanımı: Kraus Gösterimi

Bir kuantum kanalı, yoğunluk matrisleri üstünde tanımlı doğrusal bir eşlemedir ve operatör-toplamı (Kraus) gösterimiyle şöyle yazılır:

ℰ(ρ) = Σₖ Kₖ ρ Kₖ†

Burada Kₖ matrislerine Kraus operatörleri denir ve kanalın fiziksel olması iki koşula bağlanır. Birincisi iz koruma: Σₖ Kₖ†Kₖ = I. Kontrolü tek satır: Tr(KₖρKₖ†) = Tr(Kₖ†Kₖρ) olduğundan Tr ℰ(ρ) = Σₖ Tr(Kₖ†Kₖρ) = Tr(ρ). İkincisi tam pozitiflik: kanal, ρ başka bir sistemle dolanıktayken sisteme düşen yarısını da pozitif tutmalıdır. Sıradan pozitiflik yetmez: transpoze alma her matrisi pozitif özdeğerli yapar ama bir Bell durumunun yarısına uygulanırsa özdeğerlerden biri −1/2 çıkar — fiziksel değildir. Doğrusallığın çarpıcı sonucu: kopyalama eşlemesi ρ → ρ ⊗ ρ doğrusal olmadığından hiçbir kanal bilinmeyen bir durumu kopyalayamaz — bu, önceki ünitedeki no-cloning teoreminin işlem düzeyindeki karşılığıdır.

Dört Kanal: Kapı, Bit Çevirme, Depolarizasyon, Ölçüm

1) Üniteryen kanal. Tek Kraus operatörlü özel durum: ℰ(ρ) = UρU†; iz koruma koşulu burada U†U = I'a, yani üniteryenliğe iner. Her kapı bir kanaldır, ama tersi doğru değildir.

2) Bit çevirme kanalı. Kübit p olasılıkla Pauli-X kapısına maruz kalır: K₀ = √(1−p)·I ve K₁ = √p·σₓ (Pauli kapıları için bkz. Pauli Kapıları X Y Z). İz kontrolü: σₓ² = I olduğundan Σₖ Kₖ†Kₖ = (1−p)·I + p·I = I ✓. |0⟩ girdisinde sonuç basittir: ℰ(|0⟩⟨0|) = (1−p)|0⟩⟨0| + p|1⟩⟨1|. Buna karşılık |+⟩ = (|0⟩ + |1⟩)/√2 bu kanaldan hiç etkilenmez, çünkü σₓ|+⟩ = |+⟩. Bilgiyi |+⟩ türü durumlarda kodlamak, hata düzeltmede bu gözlemden doğar.

3) Depolarizasyon kanalı. En yaygın gürültü modeli ℰ(ρ) = (1−p)ρ + p·I/2: durum p olasılıkla rastgeleşir. Kraus biçiminde dört operatör vardır: √(1−3p/4)·I ve her Pauli kapısının √(p/4) ölçeklisi; dördünün karesi de I olduğundan Σₖ Kₖ†Kₖ = (1−3p/4 + 3p/4)·I = I ✓. Kanal özdeğerleri korumadığından entropiyi değiştirir: p → 1'de çıktı tamamen karışık I/2 olur, von Neumann entropisi 1 bite yaklaşır; üniteryen kanallarda ise entropi sabittir.

4) Seçici olmayan ölçüm. Hangi sonucun geldiğine bakmadan ölçmek de bir kanaldır: ℰ(ρ) = Σₘ MₘρMₘ†. Ölçüm operatörleri Σₘ Mₘ†Mₘ = I'yi zaten sağlar; iz korunur. Sonucu okursan iz azalır ve durum ρₘ = MₘρMₘ† / Tr(MₘρMₘ†) ile güncellenir; ölçümün olasılık yapısını Kuantum Ölçüm Teorisi dersi işler.

Adım Adım Hesap: Sönümlenme Kanalı Altında |+⟩

Amplitüd sönümlenmesi, kübitin üst enerji düzeyinden alt düzeye (|1⟩ → |0⟩) bozunmasının standart modelidir. Kraus operatörleri (köşeli parantezler satırlardır): K₀ = [[1, 0], [0, √(1−γ)]] ve K₁ = [[0, √γ], [0, 0]]. İz kontrolü: K₀†K₀ köşegeni 1 ve 1−γ, K₁†K₁ köşegeni 0 ve γ; toplam I ✓. |1⟩ girdisi γ|0⟩⟨0| + (1−γ)|1⟩⟨1| verir: kübit γ olasılıkla bozulur. Şimdi |+⟩ durumunu adım adım geçirelim:

1. Durumu yaz: ρ = |+⟩⟨+| = ½·(|0⟩⟨0| + |0⟩⟨1| + |1⟩⟨0| + |1⟩⟨1|).
2. K₀ uygula: K₀ρK₀† = ½·(|0⟩⟨0| + √(1−γ)·|0⟩⟨1| + √(1−γ)·|1⟩⟨0| + (1−γ)·|1⟩⟨1|). Köşegenler ½ kalır; tutarlılık √(1−γ) ile ölçeklenir.
3. K₁ uygula: K₁ρK₁† = γ·⟨1|ρ|1⟩·|0⟩⟨0| = (γ/2)·|0⟩⟨0|, çünkü ⟨1|ρ|1⟩ = ½.
4. Topla: ℰ(ρ) = ½·((1+γ)·|0⟩⟨0| + √(1−γ)·(|0⟩⟨1| + |1⟩⟨0|) + (1−γ)·|1⟩⟨1|).
5. Kontrol et: İz ½(1+γ) + ½(1−γ) = 1 ✓. Üst düzey nüfus ½'den (1−γ)/2'ye düşer; tutarlılık √(1−γ) ile büzülür.

Dikkat: γ küçükken nüfus kaybı γ, tutarlılık kaybı yaklaşık γ/2 mertebesindedir (√(1−γ) ≈ 1 − γ/2); koherans nüfustan yavaş ölür. İnce ayrıntı: çıktı çoğu γ'da karışıktır ama γ = 1'de yine saftır — ℰ(|+⟩) = |0⟩. Sönümlenme entropiyi önce artırır, durum |0⟩'a çöktüğünde sıfıra indirir; entropiyi her zaman artırmaz, yalnızca üniteryen olmayan kanallar değiştirir.

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

• Kanalı gürültüyle eş görmek. İdeal kapılar da kanaldır (tek Kraus operatörlü üniteryen kanal); gürültü yalnızca üniteryen olmayan özel durumdur.
• Kanalı durum vektörüne uygulamaya çalışmak. Genel kanal ψ üstünde değil ρ üstünde tanımlıdır; saf girdinin çıktısı genellikle karışımdır, vektör güncellemesi kalmaz.
• İz koruma kontrolünü atlamak. Kraus seti yazınca Σₖ Kₖ†Kₖ = I denetimini mutlaka yap; √(1−p) katsayısını unutmak fiziksel olmayan modellere yol açar.
• Pozitifliği yeterli sanmak. Transpoze örneği gösterir ki sıradan pozitif her eşleme fiziksel değildir; dolanık sistemlerin yarısında da pozitiflik (tam pozitiflik) şarttır.
• Seçici ve seçici olmayan ölçümü karıştırmak. Sonuca bakmadan ölçüm iz koruyan bir kanaldır; sonucu okumak izi azaltır ve ρₘ = MₘρMₘ†/Tr(MₘρMₘ†) bırakır.

Bu çerçeve ünitenin ortak zeminidir: Kraus operatörleri, entropi ve gürültü hesapları kanal diliyle yazılır. Sonraki ünitede Pauli kapılarını incelerken her kapının bir üniteryen kanal olduğunu bilmek, ideal ile gürültülü kapıyı ayırt etmeyi kolaylaştırır.

Kaynaklar ve İleri Okuma

Quantum channel — Wikipedia — Kanalların CPTP tanımı ve örnek kanallar için ana madde.

Quantum operation — Wikipedia — Kraus gösteriminin tanımı ve iz koruma koşulu.

Stinespring factorization theorem — Wikipedia — Her kanalın üniteryen evrim artı kısmi iz olarak yazılabileceğini söyler.

Qiskit quantum_info — Channel representations — Kraus, Stinespring, Choi, SuperOp kanal gösterimlerinin yazılımdaki karşılıkları.