Dolanıklık Teorisi

Dolanıklık, iki ya da daha çok kuantum sistemin ancak birlikte tanımlanabildiği, parçaların tek başına kesin durumlarının ortadan kalktığı kuantum korelasyondur; kuantum bilgi teorisi onu temel kaynak sayar. Bu derste dolanıklığı sıfırdan kuracağız: ürün durumu ile ürün olmayan durumun ayrımından Bell durumlarına, Schmidt ayrışmasından düğümlenmişlik entropisine ve LOCC dönüşüm kurallarına. Temelleri tazelemek için Kuantum Hesaplama 101 dersine dönebilir, serinin tamamını Kuantum Hesaplama dersleri sayfasından izleyebilirsin.

Dolanıklık Nedir? Ürün Durumu ile Ürün Olmayan Durum

İki kübit alalım: birincinin uzayı H_A, ikincinin H_B olsun. Ortak uzay tensör çarpımla kurulur: H_A ⊗ H_B, tabanı |00⟩, |01⟩, |10⟩, |11⟩ olan dört boyutlu bir uzaydır. Genel saf durumu |ψ⟩ = Σᵢⱼ cᵢⱼ |i⟩⊗|j⟩ diye yazarız; normalizasyon koşulu Σᵢⱼ |cᵢⱼ|² = 1’dir. Katsayılar cᵢⱼ = aᵢbⱼ biçiminde iki vektörün çarpımına ayrılabiliyorsa durum ürün durumudur (ayrılabilir): |ψ⟩ = (a|0⟩ + b|1⟩) ⊗ (c|0⟩ + d|1⟩). Ayrılamıyorsa durum dolanıktır; parçalara tek tek atanmış durum vektörü yoktur.

Bu ayrımı küçük bir ispatla somutlaştıralım. Standart Bell durumu |Φ⁺⟩ = (|00⟩ + |11⟩)/√2 dolanık mıdır? Ürün olduğu farz edilirse katsayı eşitlikleri şöyle olurdu: ac = 1/√2, ad = 0, bc = 0, bd = 1/√2. ad = 0 ise a = 0 ya da d = 0 gerekir; a = 0 dersek ac = 0, d = 0 dersek bd = 0 çıkar — ikisi de 1/√2 şartıyla çelişir. Öyleyse hiçbir ürün durumu |Φ⁺⟩’ya eşit değildir: durum dolanıktır. Normalizasyonu da doğrulayalım: |1/√2|² + |1/√2|² = 1/2 + 1/2 = 1.

Bell Durumları: Dört Standart Örnek

İki kübitin dört standart maksimal dolanık durumu Bell durumlarıdır; her biri tam bir ebit taşır:

• |Φ⁺⟩ = (|00⟩ + |11⟩)/√2
• |Φ⁻⟩ = (|00⟩ − |11⟩)/√2
• |Ψ⁺⟩ = (|01⟩ + |10⟩)/√2
• |Ψ⁻⟩ = (|01⟩ − |10⟩)/√2

Bunlar birbirinden yerel Pauli kapılarıyla üretilir: ikinci kübite σₓ uygularsan |Φ⁺⟩ → |Ψ⁺⟩, faz kapısı σz uygularsan |Φ⁺⟩ → |Φ⁻⟩ elde edilir. Buradaki ders önemli: yerel kapılar Schmidt katsayılarını değiştirmez, dolanıklık miktarı da değişmez; |Φ⁺⟩ ile |Ψ⁺⟩ aynı miktarda dolanıklık taşır, yalnızca korelasyonun yönü farklıdır. Dolanıklığı gerçekten değiştirmek için parçalar arasında etkileşim kuran bir kapı gerekir (CNOT gibi).

Schmidt Ayrışması ve Schmidt Derecesi

Dolanıklık teorisinin temel yapı taşı Schmidt ayrışmasıdır: uygun ortonormal tabanlar {uᵢ} ve {vᵢ} seçilirse herhangi bir iki parçalı saf durum her zaman |ψ⟩ = Σᵢ λᵢ |uᵢ⟩⊗|vᵢ⟩ biçimine getirilebilir; λᵢ ≥ 0 katsayılarına Schmidt katsayıları denir ve Σᵢ λᵢ² = 1 sağlanır. Sıfırdan farklı λᵢ sayısına Schmidt derecesi denir: derece 1 ise durum üründür, 1’den büyükse dolanıktır.

|Φ⁺⟩ için katsayılar λ₁ = λ₂ = 1/√2’dir: eşit katsayılar, maksimal dolanıklığın işaretidir. Ürün durumu |00⟩ için tek katsayı λ₁ = 1 vardır. Ara örnek: (|00⟩ + √3|11⟩)/2 durumunda normalizasyon 1/4 + 3/4 = 1 ile sağlanır, katsayılar λ₁ = 1/2 ve λ₂ = √3/2’dir; durum dolanıktır ama katsayılar eşit olmadığından zirvede değildir. Bu ayrışmayı Tensor Ağları dersinden hatırla: ağ kesitini ayıran bağ sayısı, parçalar arasındaki dolanıklığa üst sınır koyar ve bu sınır Schmidt derecesiyle ilişkilidir.

Dolanıklığı Ölçmek: Kısmi İz ve Düğümlenmişlik Entropisi

Standart ölçü iki adımda hesaplanır. Önce B parçasının izini alarak A’nın indirgenmiş durumunu yaz: ρ_A = Tr_B(|ψ⟩⟨ψ|). Sonra von Neumann entropisini hesapla: S(ρ_A) = −Tr(ρ_A log₂ ρ_A), yani özdeğerler üzerinden −Σₚ p·log₂ p. Birim ebittir: bir ebit, tam dolanık bir Bell çiftinin taşıdığı en büyük iki-kübit dolanıklıktır.

|Φ⁺⟩ için adım adım: |Φ⁺⟩⟨Φ⁺| = (1/2)(|00⟩⟨00| + |00⟩⟨11| + |11⟩⟨00| + |11⟩⟨11|). Kısmi izde çapraz terimler yok olur, çünkü Tr(|0⟩⟨1|) = ⟨1|0⟩ = 0; geriye ρ_A = (1/2)(|0⟩⟨0| + |1⟩⟨1|) = I/2 kalır. Özdeğerler 1/2 ve 1/2; entropi S = −(½·log₂½ + ½·log₂½) = 1 ebit. Ürün durumu |00⟩ için ρ_A = |0⟩⟨0|, entropi 0’dır. Ara örnek (|00⟩ + √3|11⟩)/2’de özdeğerler 3/4 ile 1/4’tür, S ≈ 0,81 ebit: dolanık ama zirvede değil.

LOCC Dönüşümleri ve Sık Yapılan Hatalar

Dolanıklık teorisinin merkezi sorusu şudur: hangi dolanık durum, hangi işlemlerle hangisine dönüştürülebilir? İzin verilen kümeye LOCC (yerel işlemler ve klasik iletişim) denir: taraflar yalnızca kendi kübitlerine kapı uygulayabilir, ölçüm yapabilir ve klasik mesaj alışverişi yapabilir. Temel gerçek: LOCC altında dolanıklık artırılamaz. Nielsen’in 1999 teoremi deterministik dönüşümlerin koşulunu Schmidt katsayılarının majorization dizilişiyle verir; pratik sonucu, düğümlenmişlik entropisinin dönüşüm boyunca azalamadığıdır: S(kaynak) ≥ S(hedef) yoksa kesin dönüşüm yoktur. Dolanıklığı kaynak sayan bu bakış, Kuantum Kaynak Tahmini dersindeki kaynak-şemalarının özel hâlidir.

Sık yapılan hatalar ve yanılgılar:

• “Karışım, dolanıklıktır.” Değil: ρ = ½(|00⟩⟨00| + |11⟩⟨11|) 50-50 korelasyonlu görünür ama saf olmadığından dolanıklığı sıfırdır; indirgenmiş durumu ρ_A = I/2 olan hem bu karışım hem de |Φ⁺⟩ vardır. Dolanıklık genel durumun özelliğidir, parça durumunun değil.
• “Dolanıklık ışıktan hızlı mesaj taşır.” Taşımaz: yerel ölçüm sonuçları tek tek rastgeledir, karşı tarafın tek başına gördüğü istatistik değişmez (no-signaling). Klasik kanalla birlikte kullanılan dolanıklık korelasyonları güçlendirir; protokolleri Kuantum İletişim Protokolleri, kapasite matematiğini Kuantum Kanal Kapasitesi dersinde işleriz.
• “Yerel kapılar dolanıklığı değiştirir.” Değiştirmez: yerel üniteryenler Schmidt katsayılarını korur; σₓ ile |Φ⁺⟩ → |Ψ⁺⟩ sonrasında entropi yine 1 ebit’tir.
• “İki kübit görünce dolanık derim.” Erken davranırsın: |00⟩ tam bir ürün durumudur; dolanıklık iddiası Schmidt derecesinin 1’den büyük olduğunu göstermekle kanıtlanır.

Bu araç seti sonraki derslerin altyapısıdır: dolanıklığın gürültüye dirençli korunması ve dolanık kübit bloklarıyla kod tasarımı, Hata Toleranslı Mimari Tasarımı dersinin konusudur.

Kaynaklar ve İleri Okuma

Kuantum dolanıklığı — Vikipedi (Türkçe) — EPR’den Bell testlerine kavramsal tarih için Türkçe giriş maddesi.

Quantum entanglement — Wikipedia — Tanım, ayrılabilirlik ve dolanıklık ölçülerini özetleyen ana madde.

Schmidt decomposition — Wikipedia — Schmidt ayrışması teoremi ve kanıt taslağı.

Concentrating partial entanglement by local operations (arXiv:quant-ph/9511030) — Bennett, Bernstein, Popescu ve Schumacher’in (1996) LOCC ile dolanıklık yoğunlaştırma üzerine klasik makalesi.

IBM Quantum Learning — Kuantum bilgi ve dolanıklık kavramlarını uygulamalı anlatan resmî ders malzemesi.