Tensor Çarpım Uzayları

Bir kuantum hesaplamada birden fazla kübit söz konusu olduğunda, bu kübitlerin ortak durumunu tek bir matematiksel uzayda yazmamız gerekir; kuantum mekaniğinin bu iş için kullandığı araç tensor çarpımı (⊗) ve onun ürettiği tensor çarpım uzaylarıdır. Bu derste iki kübitlik örnekten yola çıkarak tensor çarpımının nasıl hesaplandığını, birleşik uzayın boyutunu ve tabanını, operatörlerin bu uzaya taşınmasını ve bu dilin dolanıklığı neden doğal biçimde anlattığını öğreneceksin. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin; kübiti ve tek kübitin durum gösterimini henüz görmediysen önce Kübit Nedir ile Tek Kübitin Durumu derslerine dönmek işini kolaylaştırır.

Tensor Çarpımı: İki Sistemi Tek Uzayda Birleştirmek

Elimizde iki ayrı kuantum sistem olsun: birincisi H₁ uzayında, ikincisi H₂ uzayında yaşıyor. İkisini birlikte tanımlamanın yolu, bu iki uzayı birleştirip H₁ ⊗ H₂ uzayını kurmaktır. ⊗ işaretinin temel kuralı çok sade: iki sistemin durumlarını yan yana koyar. |a⟩ ⊗ |b⟩, “birinci sistem a'da, ikinci sistem b'de” demektir; kısaca |ab⟩ diye yazılır. Örneğin |0⟩ ⊗ |1⟩ = |01⟩.

Asıl çarpıcı özellik boyutlarda görünür: H₁ m boyutlu, H₂ n boyutluysa birleşik uzayın boyutu m·n'dir. Kübit 2 boyutlu olduğu için iki kübit 2 × 2 = 4 boyutlu uzayda yaşar; n kübitlik sistem 2ⁿ boyuttur. Klasik dünyada iki bitin olası değer sayısı da 4'tür; kuantum farkı, bu uzayın her yönünün — dört taban durumunun her üst üste biniminin — geçerli bir durum olmasıdır. Genel iki-kübitlik durum dört karmaşık genlik taşır: ψ = α|00⟩ + β|01⟩ + γ|10⟩ + δ|11⟩, koşulu |α|² + |β|² + |γ|² + |δ|² = 1. Bu üstel büyüme, kuantum registerların gücünün kaynağıdır; örgütlenmeyi Kuantum Registerları dersinde, genel resmi ise Çoklu Kübit Sistemleri dersinde bulursun.

Genlikler Nasıl Çarpılır? Adım Adım Bir Hesap

Somut bir hesap yapalım. Birinci kübit |+⟩ = (|0⟩ + |1⟩)/√2 durumunda, ikinci kübit |0⟩ durumunda olsun. Kural, her terimi diğer tarafın her terimiyle eşleştirmektir:

|+⟩ ⊗ |0⟩ = (|0⟩ ⊗ |0⟩ + |1⟩ ⊗ |0⟩)/√2 = (|00⟩ + |10⟩)/√2.

Genel biçimde: (α|0⟩ + β|1⟩) ⊗ (γ|0⟩ + δ|1⟩) = αγ|00⟩ + αδ|01⟩ + βγ|10⟩ + βδ|11⟩. Genlikler sırayla çarpılır: αγ ilk bileşene, αδ ikinciye, βγ üçüncüye, βδ dördüncüye gider. Sayısal görünüm de aynı mantıktadır: |0⟩ = (1, 0) ve |1⟩ = (0, 1) kolon vektörleriyse |0⟩ ⊗ |1⟩ = (0, 1, 0, 0) kolonudur; iki 2'lik vektörden 4'lük vektör çıkar.

Normalizasyon zarif biçimde korunur: ‖ψ ⊗ φ‖ = ‖ψ‖ · ‖φ‖. İki durum da normalize ise birleşik durum da normalize olur. Örneğimizde olasılık toplamı |1/√2|² + |1/√2|² = ½ + ½ = 1'dir. Genel çarpımda genliklerin kareleri toplamı (|α|² + |β|²)(|γ|² + |δ|²) = 1'e açılır; tek kübitlerin normalizasyonu birleşik duruma kendiliğinden taşınır.

Operatörler ve Kronecker Çarpımı

Durumlar gibi operatörler de tensor çarpımıyla birleşir. A birinci kübite, B ikinci kübite etki eden kapılar olsun; birlikte A ⊗ B etkirler ve kural şudur: (A ⊗ B)(|ψ⟩ ⊗ |φ⟩) = (A|ψ⟩) ⊗ (B|φ⟩). Yani her kapı yalnızca kendi kübitine dokunur. Matris temsilinde bu işlem Kronecker çarpımı denen bloklu yapılandırmadır: 2×2'lik A ile 2×2'lik B'nin birleşimi 4×4'lük matristir.

Somut örnek: birinci kübite Pauli-Z, ikinciye hiçbir şey uygulamayalım. Z'nin köşegeni (1, −1)'dir ve Z ⊗ I, köşegeni (1, 1, −1, −1) olan 4×4'lük matris verir: |00⟩ ve |01⟩ değişmez (+1), |10⟩ ve |11⟩ işaret değiştirir (−1). Benzer biçimde X ⊗ X her iki kübiti birden çevirir: X ⊗ X |00⟩ = |11⟩. Tek bir kübite kapı uygulanacaksa diğer tarafa birim I yazılır; Pauli kapılarını sonraki ünitede işleyeceğiz: Pauli Kapıları X Y Z.

Küçük ama önemli uyarı: her iki-kübitlik operatör bir tensor çarpımı değildir. CNOT kapısı 4×4'lüktür ve H₁ ⊗ H₂ uzayında geçerlidir ama hiçbir A ⊗ B biçimine indirgenemez. Tensor çarpımı birleşik uzayı kurar; o uzaydaki her operatörün ikiye bölünmesi gerekmez. Bu, dolanıklık üreten kapıların öneminin ilk ipucudur.

Ayrılabilir ve Ayrılamaz Durumlar

Tensor çarpım uzayındaki her durum, iki parçanın çarpımı olarak yazılamaz; dolanıklığın tanımı tam buradadır. |00⟩ ya da (|00⟩ + |10⟩)/√2 gibi (a|0⟩ + b|1⟩) ⊗ (c|0⟩ + d|1⟩) biçiminde üretilebilen durumlara ayrılabilir denir. Φ = (|00⟩ + |11⟩)/√2 için çarpım varsayımı yapıp genlikleri eşleyelim. ac = 1/√2, bd = 1/√2, ad = 0, bc = 0 olmalı. ad = 0 demek a = 0 ya da d = 0 demektir; a = 0 olursa ac = 0 olur ki bu ac = 1/√2 ile çelişir; d = 0 olursa bu kez bd = 0 kalır, o da bd = 1/√2 ile çelişir. Varsayım çöktü: Φ hiçbir çarpıma eşit değildir; dolanık bir durumdur.

Pratik bir test: ψ = c₀₀|00⟩ + c₀₁|01⟩ + c₁₀|10⟩ + c₁₁|11⟩ durumunun çarpım olması için c₀₀ · c₁₁ = c₀₁ · c₁₀ eşitliği gerekir ve yeter. Bell durumlarında c₀₀ = c₁₁ = 1/√2, c₀₁ = c₁₀ = 0 olduğundan eşitlik ½ ≠ 0 verir; dolanıklık kesindir. Bell durumlarının tamamı bu türdendir ve kendi dersinde işlenir: Bell Durumları. Dolanık bir durumun parçalarının bağımsız bir durumu yoktur; bu fikri hesaba döken araçlar bu ünitenin ilerleyen derslerinde gelir: Kısmi İz ve yoğunluk matrisi formalizmi.

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

• “İki kübit = iki durum” sanmak. İki kübitin uzayı 4 boyutludur; taban |00⟩, |01⟩, |10⟩, |11⟩ olmak üzere dört tanedir. Karışıklık, “iki kübit” ile “2 boyut”un karıştırılmasından doğar.
• Boyutları toplamak. Birleşik uzayın boyutu çarpımla gelir: iki kübitte 2 × 2 = 4, üç kübitte 2 × 2 × 2 = 8, n kübitte 2ⁿ. “2 + 2 = 4” iki kübitte doğruyu verir ama gerekçesi yanlıştır; üç kübitte yanıltır.
• Normalizasyonu terim sayısına göre yanlış seçmek. İki terimli üst üste binmede payda √2, dört terimlide 2'dir: (|00⟩ + |01⟩ + |10⟩ + |11⟩)/2. Genliklerin karelerinin toplamı her zaman 1 olmalıdır.
• Her durumu parçalara ayırmaya çalışmak. (|00⟩ + |11⟩)/√2 ayrılamaz; önce c₀₀ · c₁₁ = c₀₁ · c₁₀ testini uygula, eşitlik bozuluyorsa durum dolanıktır.
• Kronecker çarpımını sıradan matris çarpımı sanmak. A ⊗ B, A·B değildir; bloklu bir yapılandırmadır ve 2×2 ⊗ 2×2'den 4×4 çıkar.

Bu araçlarla kuantum bilgisinin nerede büyüdüğünü ve nerede parçalara indirgenemez hâle geldiğini görebilirsin. Ünitenin bundan sonraki adımı, olasılığı ve karışımı bu uzayların içine taşır: ilk durak Saf ve Karışık Durumlar dersidir.

Kaynaklar ve İleri Okuma

Tensor product — Wikipedia — tensor çarpımının genel tanımı ve cebirsel özellikleri.

Tensor product of Hilbert spaces — Wikipedia — birleşik kuantum sistemlerinin matematiksel kurulumu.

Kronecker product — Wikipedia — operatörlerin birleşik uzaydaki blok matris temsili.

Basics of quantum information — IBM Quantum Learning — çoklu sistemlerin tensor çarpımı gösterimini işleyen resmî IBM ders serisi.