Devre Özdeşlikleri

İki farklı kapı dizisinin birebir aynı işi yapabildiğini hiç düşündün mü? Kuantum devrelerinde bu eşitliklere devre özdeşliği denir; derleyicilerin devreleri donanıma uydurmasını sağlayan gizli gramer budur. Bu derste özdeşliği tanımlayacak, en sık kullanılanları adım adım doğrulayacak ve sık yapılan hatalara bakacağız; serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin.

Devre Özdeşliği Nedir?

Aynı kübitlere uygulandığında birebir aynı durum dönüşümünü üreten iki farklı kapı dizisi özdeştir: her |ψ⟩ için U₁|ψ⟩ = U₂|ψ⟩ geçerliyorsa bu iki devre eşittir. Tolerans şurada: matrisler yalnızca bir küresel faz çarpanı kadar farklıysa (U₁ = c·U₂, |c| = 1), ölçüm olasılıkları genliklerin karesiyle hesaplandığından hiçbir olasılık değişmez; devreler pratikte eşit sayılır. Göreceli faz farkı ise asla bağışlanmaz: genlikler arasındaki açı girişimi ve olasılıkları doğrudan belirler. Devre şemaları için Kuantum Devreleri dersine bakabilirsin.

Aynı işi yapan iki farklı devre neden dursun? Birincisi yerel kapı seti: her cihaz yalnızca belirli kapıları donanımda uygular. İkincisi bağlantı kısıtı: iki kübitli kapılar çoğu mimaride yalnızca komşu kübitlerde çalışır; istediğin kapı o çiftte yoksa özdeşlikler başka bir yazım bulur. Üçüncüsü maliyet: derinliği az eşdeğer devre daha az hata biriktirir. Derleyicinin (transpiler) işi tam olarak budur (bkz. Evrensel Kapı Setleri).

Tek Kübitli Özdeşlikler: İptal ve Faz Birleştirme

En basit özdeşlikler iptallerdir: aynı kapıyı arka arkaya iki kez uygulamak hiçbir şey yapmamakla eşdeğerdir — X·X = I, Z·Z = I, H·H = I. Gerekçe özdeğerlerden gelir: H'nin özdeğerleri +1 ve −1'dir, her özdeğerin karesi 1 olduğundan H² = I'dir. Genel kural kapıyla tersinin yanyana gelmesidir: U·U⁻¹ = I; derleyiciler yanyana gelmiş eş kapıları bu özdeşlikle silip devreyi bedava kısaltır. Ayrıntı için Pauli Kapıları X Y Z ve Hadamard Kapısı derslerine bak.

Faz kapılarında ise iptal değil faz birikimi vardır: diyagonal kapılar aynı kübitte yanyana gelince fazları çarparak tek bir kapıya iner. S·S = Z (çünkü i·i = −1), T·T = S, T⁴ = Z, T⁸ = I; kısacası S = √Z ve T = √S'dir. Bu aileyi S ve T Kapıları ve Faz Kapıları derslerinde işledik; buradaki mesaj şu: faz kapılarını yanyana gördüğünde fazları topla, devre çoğu zaman kısılır.

Hadamard Konjugasyonu: Kapılar Arası Köprü

Serinin en sık kullanılan özdeşliği şudur: bir kapının önüne ve arkasına Hadamard koyarsan X ile Z rolleri değişir — H·X·H = Z ve H·Z·H = X; Y için işaret eklenir: H·Y·H = −Y (küresel faza kadar H·Y·H = Y'dir). Hızlı doğrulama: H|0⟩ = (|0⟩+|1⟩)/√2, X bunu değiştirmez, son H tekrar |0⟩ verir; |1⟩ benzer biçimde kalır — yani her temel durumda Z gibi davranır. Bu işleme konjugasyon, yani taban değiştirme denir.

En bilinen uygulaması ölçümdür: kübiti X tabanında ölçmek için önüne bir H koyup standart Z ölçümü yaparsın; sondaki H gerekmez, ölçümle durum zaten çökmüştür (bkz. Devrelerde Ölçüm). Dikkat: H·X·H = Z doğruyken X·H·X = Z yanlıştır. |0⟩ üstünde dene: X|0⟩ = |1⟩, H|1⟩ = (|0⟩−|1⟩)/√2, X bunu (|1⟩−|0⟩)/√2 yapar — bu ne |1⟩ ne de onun bir faz katıdır. Sandviçi ters çevirmek H'ye özgüdür.

Sandviçler yeni kapılar da üretir: (H·S·H)·(H·S·H) = H·S·(H·H)·S·H = H·S²·H = H·Z·H = X. Yani H·S·H, X'in bir kareköküdür. Matris hesabı ayrıca bu dizinin küresel faza kadar Rx(π/2)'ye eşit olduğunu gösterir (bkz. Döndürme Kapıları RX RY RZ).

İki Kübitli Özdeşlikler: CNOT, CZ ve SWAP

Yazım sözleşmemiz: |q₁q₂⟩'de birinci kübit kontrol, ikincisi hedef. CNOT = |0⟩⟨0|⊗I + |1⟩⟨1|⊗X; CZ = diag(1, 1, 1, −1) = |0⟩⟨0|⊗I + |1⟩⟨1|⊗Z. Köprüyü uygula: CNOT'un içindeki X'i yalnızca hedefte H sandviçiyle Z'ye çevir: (I⊗H)·CNOT·(I⊗H) = |0⟩⟨0|⊗I + |1⟩⟨1|⊗(H·X·H) = |0⟩⟨0|⊗I + |1⟩⟨1|⊗Z = CZ. Kısacası CZ, hedefinin önüne ve arkasına Hadamard konmuş bir CNOT'tur. Matris çarpımında en sağdaki işlem önce çalışır: kübitler önce sağdaki H'yi, sonra CNOT'u, sonra soldaki H'yi görür. Ayrıntı için CNOT Kapısı, CZ Kapısı ve Kontrollü Kapılar derslerine bak.

Adım adım doğrulama: |11⟩ üstünde

Giriş |11⟩ olsun. Birinci adım: sağdaki H yalnızca hedefe dokunur, durum |1⟩⊗(|0⟩−|1⟩)/√2 olur. İkinci adım: CNOT kontrol 1 gördüğünden hedefe X uygular, bileşenler yer değiştirir: |1⟩⊗(|1⟩−|0⟩)/√2. Üçüncü adım: soldaki H yine hedefe dokunur: H(|1⟩−|0⟩)/√2 = ((|0⟩−|1⟩)−(|0⟩+|1⟩))/2 = −|1⟩; sonuç −|11⟩. CZ ne yapardı? İki kübit de 1 olduğundan −1 basardı: CZ|11⟩ = −|11⟩. Birebir aynı; aynı kontrol |00⟩, |01⟩, |10⟩ için de tutar.

Kontrol ile hedefi takas etmek de özdeşlik işidir; cihazlarda CNOT çoğu zaman tek yönlüdür. Ters yön için iki yol: (H⊗H)·CNOT(1→2)·(H⊗H) = CNOT(2→1) ya da CNOT(2→1) = SWAP·CNOT(1→2)·SWAP. SWAP'ın kendisi de bir özdeşliktir: SWAP = CNOT(1→2)·CNOT(2→1)·CNOT(1→2), yani üç CNOT. Zaman sırasıyla |10⟩ üstünde kontrol: ilk CNOT hedefe dokunup |11⟩ yapar; ikinci (ters yönlü) CNOT kontrolu |0⟩'a indirip |01⟩ yapar; üçüncü CNOT kontrol 0 gördüğünden dokunmaz; sonuç |01⟩ — takas tamam. Maliyeti unutma: iki kübitli kapı hata kaynağıdır (bkz. SWAP Kapısı).

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

Aşağıdaki beş hata, özdeşlik çalışırken hem ders kitaplarında hem gerçek projelerde en sık görülenlerdir.

• Uygulama sırasını ters sanmak. Matris çarpımında en sağdaki kapı kübitle ilk karşılaşır; devre şeması soldan sağa okunur. İkisini karıştırmak özdeşliği yanlış yönde kurdurur.
• İki eş kapının hep iptal olduğunu sanmak. Yalnızca U·U⁻¹ = I iptal eder: H·H = I doğrudur ama S·S = Z, T·T = S'tir — I değil.
• Küresel fazla göreceli fazı karıştırmak. Devreler arasındaki |c| = 1 çarpanı ölçülemez; aynı fazı tek bileşene yüklersen göreceli faz olur ve girişimi değiştirir.
• Sandviçi evrenselleştirmek. H·X·H = Z bilmek X·H·X = Z demek değildir; yukarıdaki |0⟩ kontrolünde gördük.
• Özdeşlikleri kozmetik görmek. Amaç yazıyı kısaltmak değil: yerel kapı setine uymak, bağlantı kısıtını aşmak, derinliği azaltıp hatayı düşürmektir.

Kapıları tek tek bildikten sonra özdeşlikler, devreyi donanıma uyduran bir dil hâline gelir. Bu eşdeğerliklerin en zarif sahnesi Kuantum Teleportasyon devresidir; orada H, CNOT ve CZ tam da bu özdeşliklerle birbirine çevrilir.

Kaynaklar ve İleri Okuma

Quantum logic gate — Wikipedia — temel kapıların matrisleri ve birbirleriyle ilişkileri.

Controlled NOT gate — Wikipedia — CNOT'un matrisi ve CZ ile ilişkisi.

Elementary gates for quantum computation (Barenco vd., 1995) — devre özdeşliklerinin sistematik kataloğu, arXiv özeti.

IBM Quantum Learning — kapılar, devreler ve derleyici konularında resmi ders materyali.