Yoğunluk Matrisi

Bugüne kadar bir kübitin durumunu hep tek bir vektörle, örneğin α|0⟩ + β|1⟩ yazımıyla temsil ettik. Oysa gerçek hayatta durum her zaman bu kadar temiz değildir: hazırlanması kusurlu, ortamla etkileşmiş ya da daha büyük bir sistemin ilgilendiğimiz parçası olan durumlar için tek vektör yetmez. Bu derste kuantum durumunun genel dili olan yoğunluk matrisini (ρ) öğreneceksin: nasıl tanımlanır, hangi kurallara uyar, saf ve karışık durumları nasıl ayırt eder. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin; Kübit Nedir ve Tek Kübitin Durumu dersleri, bu derste hazır bulacağın temeldir.

Neden Durum Vektörü Yetmez?

|ψ⟩ = α|0⟩ + β|1⟩ yazımı, kübitten kesin emin olduğumuz durumlar, yani saf durumlar için mükemmeldir. Şu senaryoyu düşün: elindeki kaynak her seferinde yarısı |0⟩, yarısı |1⟩ kübit hazırlıyor; hangisinin geldiğini bilmiyorsun, yalnızca olasılıkları biliyorsun. Buna karışık durum denir ve tek bir vektörle yazılamaz; çünkü vektör bir süperpozisyonu anlatır, “iki ihtimalden biri geldi ama hangisi bilmiyorum” durumunu değil. Bu ayrımı Saf ve Karışık Durumlar dersinde işlemiştik. Yoğunluk matrisi tam bu noktada devreye girer: saf da karışık da olsa her durumu tek biçimli bir matrisle temsil eder.

Yoğunluk Matrisi Nasıl Tanımlanır?

Tanım iki satırdır. Durum saf ise yoğunluk matrisi dış çarpımla kurulur: ρ = |ψ⟩⟨ψ|. Karışıksa her ihtimalin dış çarpımı kendi olasılığıyla toplanır: ρ = Σᵢ pᵢ|ψᵢ⟩⟨ψᵢ|, burada pᵢ ≥ 0 ve Σᵢ pᵢ = 1 koşulu zorunludur. “Yarısı |0⟩, yarısı |1⟩” kaynağı için örneğin ρ = ½·|0⟩⟨0| + ½·|1⟩⟨1| yazılır.

Tüm deneysel tahminler de ρ üzerinden hesaplanır: bir ölçümde m sonucunu görme olasılığı p(m) = Tr(ρPₘ), bir A gözlenebilirinin beklenen değeri ⟨A⟩ = Tr(ρA) formülüyledir; Pₘ o sonuca karşılık gelen izdüşüm operatörüdür, Tr ise iz alma işlemidir. Ayrı bir olasılık listesi tutmana gerek yok: tek bir ρ, her olası ölçümün istatistiğini içinde taşır.

Her ρ dört temel kurala uyar:

• İz 1'dir: Tr(ρ) = 1. Bu, pᵢ olasılıklarının toplamının 1 olması kuralının matris karşılığıdır.
• Hermitiktir: ρ† = ρ. Yoğunluk matrisi her zaman kendi eşlenik devriğine eşittir; aksi hâlde olasılık anlamı bozulur.
• Pozitif yarı tanımlıdır: tüm özdeğerleri λᵢ ≥ 0'dır. Olasılık negatif olamayacağı gibi ρ'nın özdeğerleri de negatif olamaz.
• Saflığı ölçülebilirdir: her zaman Tr(ρ²) ≤ 1'dir; eşitlik yalnızca saf durumda sağlanır. Kapalı sistemde üniteryen evrim ρ → UρU† bu değeri korur, ortamla etkileşim düşürür.

Adım Adım Hesap: Aynı Olasılıklar, Farklı Durumlar

Yoğunluk matrisinin gücünü en iyi gösteren örnek, Z ölçümünde birebir aynı istatistik veren iki farklı durumdur:

1. Saf durumu yaz: |+⟩ = (|0⟩ + |1⟩)/√2 için dış çarpımı kur: ρ₁ = |+⟩⟨+| = ½·(|0⟩⟨0| + |0⟩⟨1| + |1⟩⟨0| + |1⟩⟨1|). Matris hâli (satır-sütun sırası |0⟩, |1⟩): ρ₁ = ½·[[1, 1], [1, 1]].
2. Karışık durumu yaz: “yarısı |0⟩, yarısı |1⟩” için ρ₂ = ½·|0⟩⟨0| + ½·|1⟩⟨1| = ½·[[1, 0], [0, 1]] = I/2'dir. Köşegenler birebir aynı; fark köşegen dışındaki |0⟩⟨1| ve |1⟩⟨0| terimlerindedir.
3. Z bazında ölç: p(0) = Tr(ρ|0⟩⟨0|) hesabı her iki matris için de ½ verir; bu bazda iki kaynak ayırt edilemez.
4. X bazında ölç: ρ₁ için |+⟩ çıkma olasılığı Tr(ρ₁|+⟩⟨+|) = 1'dir: saf durum her seferinde +1 verir. Karışık için aynı olasılık ½'dir. Ayrım burada belirir.

Farkın kaynağı köşegen dışı terimlerdir: bunlar durumdaki koheransı, yani temel durumlar arasındaki faz ilişkisini kodlar. Bu terimler silinirse |+⟩ durumu ile 50/50 karışım birbirine dönüşür. Ortamla etkileşim köşegen dışı terimleri zamanla söndürür; bu sürece dekohereans denir ve onu yoğunluk matrisi üzerinden izleriz.

Saf mı, Karışık mı? Tr(ρ²) Kriteri

Bir ρ'nın saf mı karışık mı olduğunu anlamak için saflığı hesapla: önce ρ²'yi al, sonra izini topla. Saf durumda ρ² = ρ'dır, çünkü (|ψ⟩⟨ψ|)(|ψ⟩⟨ψ|) = |ψ⟩⟨ψ|; dolayısıyla Tr(ρ²) = Tr(ρ) = 1. Örnekte ρ₁ bunu gösterir. Karışıkta ise ρ₂² = (I/2)² = I/4 ve Tr(I/4) = ½ < 1'dir.

Aynı sonucu özdeğerlerle görmek daha öğreticidir: Tr(ρ²) = Σλᵢ² formülüyle saflık, özdeğerlerin kareleri toplamıdır. Özdeğerlerin toplamı 1 olduğu için kareleri toplamı en çok 1 olabilir ve yalnızca bir özdeğer 1, ötekiler 0 iken bu üst sınıra ulaşılır — o da durumun tek bir vektör olduğunun işaretidir. Tek kübit için en karışık durum I/2'dir: özdeğerleri ½ ve ½, saflığı Tr(ρ²) = ½. Özdeğerler aynı zamanda Von Neumann Entropisi'ni verir: S(ρ) = −Σλᵢ log₂ λᵢ; saf durumda 0, I/2'de tam 1 bittir.

Bu dil, çoklu sistemlerin ve açık sistemlerin ortak paydasıdır. Bir Bell çiftinin yalnızca kendi kübitine bakarsan elinde saf yazamayacağın bir durum olur: o kübit tek başına I/2'dir. Bütünün saf ρ'sından parçanın ρ'sını çıkarma işlemine kısmi iz denir; ayrıntıları Kısmi İz dersinde, çok kübitli yapıyı da Çoklu Kübit Sistemleri dersinde bulabilirsin. Gürültülü ortamda evrim artık üniteryen değildir: ρ → E(ρ) dönüşümüyle, yani Kuantum Kanalları ile tanımlanır.

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

• “Eşit süperpozisyon, 50/50 karışımdır” sanmak: ikisi Z bazında aynı görünse de X bazında tamamen farklı davranır. Karışım, süperpozisyon değil bilgi eksikliğidir; fark köşegen dışı terimlerdedir.
• Olasılıkları normalizesiz yazmak: Σᵢ pᵢ = 1 koşulunu unutursan Tr(ρ) ≠ 1 bulursun. Her hesabın sonunda önce Tr(ρ) = 1 kontrolü yap.
• “Her yoğunluk matrisinin tek bir ayrışması vardır” sanmak: I/2 hem ½|0⟩ + ½|1⟩ hem de ½|+⟩ + ½|−⟩ karışımıdır. Farklı kaynaklar aynı ρ'yı üretebilir; ölçülebilir olan her şey zaten ρ'nın içindedir.
• Tr(ρ²) > 1 bulmak: bu bir hesap hatasıdır; saflık özellik gereği 1'i asla geçemez.

Artık saf ve karışık durumları tek çatı altında toplayan bir dildeyiz; bu dili sonraki derslerde gürültü ve kanal modellerinde kullanacağız.

Kaynaklar ve İleri Okuma

Density matrix — İngilizce Vikipedi — Yoğunluk matrisinin tanımı, temel özellikleri ve saf/karışık ayrımının özetlendiği madde.

IBM Quantum Learning: Basics of Quantum Information — Kuantum bilgi kuramının resmî ders serisi; durum temsili ve ölçüm olasılıklarının temelleri.

John Preskill — Ph219/CS219 Ders Notları (Caltech) — Yoğunluk matrisi, kısmi iz ve kuantum bilgi kuramını derinlemesine işleyen ücretsiz ders notları.

M. Schlosshauer — Decoherence, the Measurement Problem, and Interpretations of Quantum Mechanics — Köşegen dışı terimlerin ortam etkileşimiyle nasıl söndüğünü inceleyen derleme makalenin arXiv sayfası.