No-Cloning Teoremi
Klasik dünyada bir dosyayı kopyalamak sıradan bir iştir; kuantum dünyasında ise bilinmeyen bir kuantum durumunun kusursuz kopyası çıkarılamaz. Bu imkânsızlığı kanıtlayan sonuca no-cloning teoremi denir; kuantum kriptografisinden hata düzeltmeye kadar alanın birçok köşesi bu tek teoreme dayanır. Bu derste kusursuz kopyayı önce tanımlayacak, iki kısa kanıtla teoremi ispatlayacak, sonra teoremin neyi yasaklamadığını ve sonuçlarını işleyeceğiz. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin; ket-bra gösterimi tazelenmek isterse Kuantum Durumları dersi iyi bir hazırlıktır.
Kusursuz Kopya Tam Olarak Ne Demek?
Kopyalama makinesi kurgusu şudur: elinde bilinmeyen bir durum |ψ⟩ ile boş bir kübit |0⟩ (kopya kâğıdı) vardır; makine ise ikisine birden uygulanan tek bir üniteryen operatör U'dur — kapıların neden üniteryen olması gerektiğini Zaman Evrimi dersinde işlemiştik. Kusursuz kopyalama, her |ψ⟩ için şu eşitliğin sağlanması demektir: U(|ψ⟩ ⊗ |0⟩) = |ψ⟩ ⊗ |ψ⟩.
Buradaki ⊗, iki sistemi yan yana koymayı gösteren tensor çarpımıdır; gösterimin ayrıntısı için Tensor ve Kronecker Çarpımı dersine bakabilirsin. Kritik koşul “her |ψ⟩ için” ifadesidir: makine girdiyi bilmeden çalışmalı ve tüm olası durumları kopyalayabilmelidir. |0⟩ ve |1⟩ için çalışan bir düzenek henüz kopyalama makinesi değildir; teorem, evrensel tek bir U'nun varlığını yasaklar. Ayrıca çıktının ikinci kübiti girdiyle özdeş olmalıdır; “benzer bir durum” yetmez.
Kanıt 1: Doğrusallık Çelişkiyi Doğurur
İspat iki satır sürer. Diyelim U gerçekten kopyalıyor; o hâlde temel durumlar için şu ikisi sağlanmalıdır: U(|0⟩ ⊗ |0⟩) = |0⟩ ⊗ |0⟩ ve U(|1⟩ ⊗ |0⟩) = |1⟩ ⊗ |1⟩. Şimdi makineye, |0⟩ ile |1⟩'in süperpozisyonu olan |+⟩ = (|0⟩ + |1⟩)/√2 durumunu verelim.
U doğrusal olduğu için girdinin parçalarının görüntülerini toplayabilir: U(|+⟩ ⊗ |0⟩) = (|00⟩ + |11⟩)/√2. Oysa U bir kopyalayıcıysa aynı çıktı |+⟩ ⊗ |+⟩ = (|00⟩ + |01⟩ + |10⟩ + |11⟩)/2 olmalıydı. Bu iki durum eşit değildir ve fark kozmetik değildir: (|00⟩ + |11⟩)/√2, iki kübitin kaderini birleştiren dolanık bir Bell durumudır; dört terimli toplam ise hiç dolanmayan bir çarpım durumudur. Tek bir U bu iki sonucu birden üretemez — çelişki, evrensel kopyalayıcının var olmadığını kanıtlar. (Dolanıklık kavramı tazelenmek isterse Dolanıklık dersi yerinde.) Kanıt bu hâliyle 1982'de Wootters–Zurek ve bağımsız olarak Dieks tarafından yayımlandı; tetikleyici, dolanıklıkla ışıktan hızlı haberleşme vaat eden bir öneriye verilen yanıttı.
Kanıt 2: İç Çarpım Argümanı
Daha soyut ama tek satırlık ikinci bir kanıt vardır. U üniteryen olduğu için iç çarpımları korur; iki rastgele durum |φ⟩ ve |ψ⟩ için kopyalama eşitliğini iki yandan iç çarpımla karşılaştırırsak: girdi tarafında ⟨φ|ψ⟩·⟨0|0⟩ = ⟨φ|ψ⟩, çıktı tarafında ⟨φ|ψ⟩·⟨φ|ψ⟩ = (⟨φ|ψ⟩)². Üniteryenlik bu ikisini eşitler: ⟨φ|ψ⟩ = (⟨φ|ψ⟩)². Bu denklemi sağlayan sayılar yalnızca 0 ile 1'dir.
Sonuç çarpıcıdır: bir makine ancak ya birbirinin tıpkısı ya da birbirine dik durumları kopyalayabilir. {|0⟩, |1⟩} gibi dik bir küme sorunsuz kopyalanır; klasik bitlerin serbestçe çoğaltılabilmesinin nedeni tam olarak budur, çünkü klasik bilgi yalnızca dik durumlar üzerinde yaşar. Ama durum uzayı sürekli olduğundan dik kümelerin dışında kalan sonsuz durum, aynı makineyle asla kopyalanamaz.
Teorem Neyi Yasaklamaz?
Yasak, “kuantumda hiçbir şey çoğaltılamaz” demek değildir. Bildiğin bir durumu istediğin kadar üretebilirsin: |0⟩ hazırlamak kopyalamak değil, üretmektir. Dik temel durumları da kopyalanır: CNOT kapısı |0⟩ ⊗ |0⟩ → |0⟩ ⊗ |0⟩ ve |1⟩ ⊗ |0⟩ → |1⟩ ⊗ |1⟩ eşleşmelerini kusursuz gerçekleştirir. Hatta kusursuzluk şartını biraz gevşetirsen teorem sessizleşir: yaklaşık kopya mümkündür; Bužek–Hillery evrensel kopyalama makinesi her girdi için 5/6 ≈ %83 sadakatle çalışır. Aşağıdakiler bu konuda en sık görülen yanılgılardır:
- “CNOT kuantum durumunu kopyalıyor” yanılgısı: CNOT'a (α|0⟩ + β|1⟩) ⊗ |0⟩ verirsen çıktı α|00⟩ + β|11⟩ olur; bu iki özdeş kopya değil, dolanık tek bir durumdur. İkinci kübiti ölçersen ilkini de çökertirsin — gerçek kopyalarda imkânsız bir şey.
- “Ölçüp kaydetmek kopyalamaktır” yanılgısı: Ölçüm sonucunu klasik bir kayda yazmak, kuantum durumunun kopyası değildir; ölçüm süperpozisyonu yıkar (bkz. Kuantumda Ölçüm). Elinde kalan yalnızca 0/1 bilgisidir, |ψ⟩ değil.
- “Teorem üretimi de yasaklıyor” yanılgısı: Yasak olan, bilinmeyen bir girdinin kusursuz ikizini çıkarmaktır; bilinen bir durumun çok sayıda kusursuz örneğini hazırlamak serbesttir.
Sonuçları: Kriptografi, Hata Düzeltme ve Işıktan Hızlı Yasak
Teoremin en bilinen uygulaması kuantum kriptografisidir: BB84 gibi protokollerde hattaki kübitleri gizlice kopyalayıp sonra rahatça inceleyen bir dinleyici fiziksel olarak yoktur; ölçmek zorundadır ve ölçüm iz bırakır. Hata düzeltme tarafında teorem bir engel gibi görünür — klasik kodlar biti üç kez yazarak korur, kuantumda bu yasaktır. Çözüm kopyasız fazlalıktır: Shor'un dokuz kübitlik kodu gibi kodlar bilgiyi tek kübitte değil, dolanık kübitler arasına dağıtarak tek kübitlik hataları algılayıp düzeltir.
En derin sonuç görelilikle ilgilidir. Dolanık çiftin bir ucunda ölçüm yapan Alice, karşı ucun durumunu anında etkiler; ama Bob elindeki tek kübiti kopyalayamadığı için durumunu istatistikle saptayamaz. Kopyalayabilseydi yüzlerce kopya üzerinde ölçüm yapıp Alice'in seçimini okur ve ışıktan hızlı haber gönderirdi; Born Kuralı gereği tek bir örnekleme hiç tekrarlanamadığı için bu kapı kapalıdır. Bilinmeyen bir durumu taşımak gerektiğinde de kopya gerekmez: kuantum teleportasyonu durumu dolanıklık ve iki klasik bit ile aktarır; orijinal ölçümle yok olur, yani hiçbir anda iki kusursuz kopya var olmaz.
Sık Sorulan Sorular
No-cloning teoremi nedir, kısaca ne söyler?
Bilinmeyen keyfi bir kuantum durumunun kusursuz kopyasını üreten bir işlem yoktur: |ψ⟩⊗|0⟩ girdisini her |ψ⟩ için |ψ⟩⊗|ψ⟩'ya çeviren tek bir üniteryen U bulunamaz. Kopyalanabilen durumlar yalnızca ya birbirinin tıpkısı ya da birbirine diktir; bu, iç çarpım korunumunun doğrudan sonucudur.
Kuantum bilgisayar neden yedek kopya tutamaz?
Klasik yedekleme, bilinmeyen bir durumu çoğaltmayı gerektirir; no-cloning teoremi bunu yasaklar. Kuantum hata düzeltmesi bu yüzden kopya kullanmaz: bilgiyi dolanık kübitler arasına dağıtan kodlarla (örneğin Shor kodu) tek kübitlik hataları kopyasız algılar ve düzeltir.
CNOT kapısı kuantum durumunu kopyalıyor sayılır mı?
Hayır. CNOT yalnızca dik temel durumları kopyalar: |0⟩⊗|0⟩ → |0⟩⊗|0⟩ ve |1⟩⊗|0⟩ → |1⟩⊗|1⟩. Girdi α|0⟩+β|1⟩ ise çıktı α|00⟩+β|11⟩ olur; bu iki özdeş kopya değil, dolanık tek bir durumdur ve ölçüm anında çöker.
No-cloning teoremi ışıldan hızlı haberleşmeyi nasıl engeller?
Dolanıklıkta karşı ucun durumu uzaktan etkilenir ama eldeki tek kübitin durumu istatistikle saptanamaz. Kopyalama mümkün olsaydı Bob yüzlerce kopya üretip Alice'in ölçüm seçimini okurdu. Teorem bu çoğaltmayı yasakladığı için dolanıklık tek başına sinyal taşıyamaz.
Kaynaklar ve İleri Okuma
No-cloning theorem — Wikipedia — Teoremin ifadesi, iç çarpım kanıtı ve Wootters–Zurek/Dieks tarihi için standart başvuru maddesi.
Quantum cloning — Wikipedia — Kusursuz kopya yasakken neyin mümkün kaldığını (evrensel ve olasılıksal yaklaşık kopyalama) anlatır.
Quantum Copying: Beyond the No-Cloning Theorem — Bužek & Hillery (1996) — Yaklaşık kopyalamanın sınırlarını koyan klasik makalenin arXiv özeti; evrensel makinenin 5/6 sadakati buradan gelir.
Basics of quantum information — IBM Quantum Learning — Kübit, durum, dolanıklık ve teleportasyon temellerini resmî IBM kursuyla pekiştirmek için.
A single quantum cannot be cloned — Wootters & Zurek, Nature (1982) — Teoremi literatüre sokan klasik kısa makale; tam erişim abonelik gerektirebilir.