Kısmi İz

Bu dersin konusu kısmi iz: ortak bir kuantum durumundan bir alt sistemi “hesaba katmamayı” sağlayan ve çoklu kübit dünyasının her köşesinde karşımıza çıkan işlem. İki kübiti birlikte tanımlamak kolaydır; asıl soru, elindeki tek kübün “kendi payını” doğru biçimde yazmaktır. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin; bu derste Tensor Çarpım Uzayları ve Yoğunluk Matrisi derslerinde öğrendiğimiz araçları kullanacağız.

Kısmi İz Nedir, Neden Gerekir?

A ve B diye iki kübitin ortak durumunu biliyorsun ama elinde yalnızca A var: B'yi kimse ölçmüyor, hatta belki ortamla uçup gitmiş. A'nın tek başına hangi olasılıkla 0 veya 1 verdiğini bilmek istiyorsun. Klasik olasılıkta cevap marjinalleştirmedir: p(a) = Σ_b p(a,b). Kuantumda durum bir olasılık dağılımı değil, yoğunluk matrisidir; onun yerine geçen işlem kısmi izdir:

ρ_A = Tr_B(ρ_AB)

Sonuç olan ρ_A'ya küçültülmüş yoğunluk matrisi denir. Bu işlem üç sebepten hayati önemde: Birincisi, pratikte her zaman sistemin tamamına erişemezsin; eriştiğin parçanın davranışını ρ_A tarif eder. İkincisi, dolanıklığın nicel tanımı kısmi izden çıkar: Bell Durumları dersindeki dolanık çiftin yarısına baktığında gördüğün durum kısmi izle hesaplanır. Üçüncüsü gürültüdür: kübitin ortamla etkileşip kararmasını anlamanın yolu, ortamı kısmi izle “atmaktır”; bu fikir Kuantum Kanalları dersinin temelidir.

Tanım ve Hesap Kuralı

İki sistemin ortak uzayının H_A ⊗ H_B biçiminde kurulmasını Çoklu Kübit Sistemleri dersinde görmüştük. B'nin bazı {|0⟩, |1⟩, …} üzerinden izini atmak şöyle tanımlanır:

ρ_A = Tr_B(ρ_AB) = Σₖ (I_A ⊗ ⟨k|) ρ_AB (I_A ⊗ |k⟩)

Eleman bazında pratik bir kural vardır: (ρ_A)ᵢⱼ = Σₖ ⟨i, k| ρ_AB |j, k⟩. Yani satır ve sütundaki B indekslerini eşitle, A indekslerini bırak ve B üzerinden topla. İki kübit için somut karşılığı şudur: 4×4'lük ρ_AB matrisini |00⟩, |01⟩, |10⟩, |11⟩ bazında 2×2'lik bloklara ayır; sol üst blok ile sağ alt bloğu topla, sonuç ρ_A'nın ta kendisidir.

Tam izle karşılaştıralım: Tr(ρ) = Σᵢ ρᵢᵢ köşegenin toplamıdır ve bir sayı döndürür. Kısmi iz ise bir matris döndürür; boyutu kalan sisteme aittir. “Kısmi” adı buradan gelir: iz alma yalnızca bir alt sistemin üstünde uygulanır.

Adım Adım Örnek: Bell Durumunun Kısmi İzi

Örnek olarak Bell Durumları dersinden tanıdığımız |Φ⁺⟩ = (|00⟩ + |11⟩)/√2 durumunu alalım. Yoğunluk matrisi dört terime açılır:

ρ_AB = |Φ⁺⟩⟨Φ⁺| = ½(|00⟩⟨00| + |00⟩⟨11| + |11⟩⟨00| + |11⟩⟨11|)

1. Ayır: Her terimi tensör çarpımı olarak yaz. Örneğin |00⟩⟨11| = (|0⟩⟨1|) ⊗ (|0⟩⟨1|); ilk çarpan A'ya, ikincisi B'ye aittir.
2. Kural uygula: Tr_B(|a⟩⟨b| ⊗ |c⟩⟨d|) = |a⟩⟨b| · ⟨d|c⟩. A çarpanı aynen kalır; B çarpanının tam izi ⟨d|c⟩ iç çarpımıdır.
3. Topla: Çapraz terimlerde ⟨1|0⟩ = 0 olduğu için |00⟩⟨11| ve |11⟩⟨00| yok olur; geriye ½|0⟩⟨0| + ½|1⟩⟨1| kalır.

Sonuç: ρ_A = ½(|0⟩⟨0| + |1⟩⟨1|) = ½ I, matris olarak [[½, 0], [0, ½]]. Sağlama: özdeğerler ½ ve ½, toplamları 1. Yorum: A kübitü tek başına tamamen rastgeledir; hangi tabanda ölçersen ölç %50–%50 alırsın. Ama aynı tabanda A ile B'yi birlikte ölçersen sonuçlar kusursuz korelasyonludur. Kısmi izin felsefesi budur: ρ_A, A üstündeki her ölçümün beklenti değerini verir — ⟨M⟩_A = Tr(M ρ_A) = Tr((M ⊗ I) ρ_AB) — ama korelasyonları taşımaz.

Karşı örnek olarak ürün durumunu alalım: |Ψ⟩ = |+⟩ ⊗ |0⟩, burada |+⟩ = (|0⟩ + |1⟩)/√2. ρ_AB = |+⟩⟨+| ⊗ |0⟩⟨0| olduğundan Tr_B(ρ_AB) = |+⟩⟨+| · Tr(|0⟩⟨0|) = |+⟩⟨+|; bu kez sonuç saf. Genel kriter: global durum safken, küçültülmüş durum ancak ve ancak durum ayrılabilirse saf kalır; dolanıkse karışık çıkar. Bu bağlantıyı Saf ve Karışık Durumlar dersinde kurmuştuk; kısmi iz, o soyut ayrımı somut bir hesaba çevirir.

Kısmi İzin Temel Kuralları

• Doğrusallık: Tr_B(aρ + bσ) = a·Tr_B(ρ) + b·Tr_B(σ).
• Kütle korunumu: Tr(Tr_B ρ_AB) = Tr(ρ_AB) = 1; küçültülmüş durum da geçerli bir yoğunluk matrisidir.
• Tensör çarpımıyla ilişki: Tr_B(X ⊗ Y) = Tr(Y)·X. Bell hesabında kullandığımız kuralın genel hâli.
• B'ye karşı körlük: Tr_B((I ⊗ U) ρ_AB (I ⊗ U†)) = Tr_B(ρ_AB). B'yi zaten atıyoruz; onun üstündeki üniteryen dönüşümler sonucu değiştirmez. A'daki U ise ρ_A'yı U ρ_A U†'ye çevirir.
• Simetri: ρ_A ile ρ_B'nin sıfırdan farklı özdeğerleri aynıdır; “hangisi daha karışık?” sorusu tarafa bağlı değildir. Bu ortak özdeğerlerin Von Neumann Entropisi, saf bir ortak durumda dolanıklığın ölçüsüdür.

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

• “Kısmi iz, klasik marjinalleştirmenin aynısıdır.” Değil: klasikte p(a) = Σ_b p(a,b) yeterlidir; kuantumda üstelik ρ_AB'nin |00⟩⟨11| gibi köşegen dışı terimleri vardır ve kısmi iz tam olarak onları yok eder.
• “Bell durumundan çıkan ρ_A, ortak durumun yarısı gibi saf bir durumdur.” Değildir; ρ_A = ½I hiçbir ψ vektörü için ψ⟨ψ| biçiminde yazılamaz. Gördüğün şey saf bir süperpozisyon değil, tamamen karışık bir durumdur.
• “ρ_A karışık çıktıysa B'de klasik bir zar atılıyordur.” Gerekmez; dolanıklık tek başına, B'ye klasik rastgelelik eklemeden ρ_A'yı karışık yapar.
• “Kısmi iz bir tür ölçümdür.” Ölçüm sonucu çökertir ve rastgelelik getirir; kısmi iz deterministik ve doğrusaldır, hiçbir sonuç “gerçekleşmez”. Bilgi de yok olmaz: ρ_A uygun bir yardımcı sistemle tamamlanarak (purification) saf bir ortak duruma taşınabilir.
• “Hangi alt sistemi attığım sonucu değiştirmez.” Değiştirir: ρ_A ile ρ_B farklı nesnelerdir. |+⟩ ⊗ |0⟩ örneğinde ρ_A = |+⟩⟨+| iken ρ_B = |0⟩⟨0| çıkar.

Kısaca: kısmi iz, ortak durumdan bir alt sistemin payını çıkaran, doğrusal ve kütle koruyan bir işlemdir; yerel ölçüm istatistiğini verir, korelasyonları bilinçli olarak bırakır. Sonraki derslerde bu işlemi iki yönde kullanacağız: Von Neumann entropisiyle dolanıklığı sayısallaştıracağız, gürültülü devrelerde ortamı izleyerek açık sistem davranışını kapatacağız.

Kaynaklar ve İleri Okuma

Partial trace — Wikipedia — Kısmi izin tanımı, blok matris gösterimi ve temel özelliklerinin derli toplu özeti.

Density matrix — Wikipedia — Yoğunluk matrisi ve küçültülmüş yoğunluk matrisi kavramlarının tanımı.

Schmidt decomposition — Wikipedia — ρ_A ile ρ_B'nin özdeğerlerinin neden aynı olduğunu gösteren ayrışım.

IBM Quantum Learning — Kuantum bilgi kuramının temellerini resmi ve ücretsiz anlatan IBM ders materyalleri.

Qiskit: qiskit.quantum_info.partial_trace — Kısmi izi gerçek devre ve matrisler üstünde hesaplayan Qiskit fonksiyonunun dokümantasyonu.