Evrensel Kapı Setleri

Şimdiye kadar kapıları tek tek tanıdık; bu derste sıra büyük soruda: eldeki bir kapı seti, kuantum bilgisayarın yapması mümkün her işlemi gerçekleştirmeye yeterli mi? Yeterli olan setlere evrensel kapı setleri denir; hangi setin evrensel olduğu, devre derleyicisinden hata toleransına kadar her şeyi belirler. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına göz atabilirsin.

Evrensellik Ne Demek?

Klâsik dünyada NAND kapısının tek başına evrensel olduğunu bilirsin: her Boolean fonksiyonu yalnızca NAND'larla kurulabilir. Kuantum karşılığı şu tanımdır: bir kapı seti evrenseldir der ki, n kübit üzerindeki herhangi bir U üniteryeni için, setteki kapıları ardışık uygulayıp U'ya istediğimiz kadar yaklaşan bir devre kurabiliriz. Yani her ε > 0 hassasiyeti için, sonlu sayıda kapıdan oluşan ve U'dan ε'dan daha az sapan bir V devresi vardır.

Neden tam eşitlik değil de yaklaşım? Döndürme kapıları Rₓ(0,7) gibi sürekli ve sonsuz çeşitlilikte açılar içerir; sonlu sayıda temel kapı bunları ancak yakınsayarak kapsayabilir. Bedeli makuldür: V'nin U'dan ε kadar sapması, ölçüm olasılıklarını da en fazla birkaç ε kadar kaydırır — fiziksel sonuç pratikte aynıdır. Bir de çerçeveyi hatırla: kapı U üniteryendir (U·U† = I) ve normu, dolayısıyla olasılık toplamını korur; yaklaşım hedefi olan her U da üniteryendir. n kübitlik bir üniteryen 4ⁿ gerçek parametre taşır; sonlu bir setin uzunluk-L devreleri ise ancak sayılabilir çoklukta işlem üretir. İşte bu uçurum, ancak yoğunluk + yakınsama fikriyle kapanır.

Üç Kapıyla Her Şey: H, T, CNOT

En bilinen evrensel set üç kapılıdır: {H, T, CNOT}. Üç rol birbirini tamamlar:

• H süperpozisyon üretir: |0⟩'ı (|0⟩ + |1⟩)/√2 durumuna taşır; ayrıntı Hadamard Kapısı dersinde.
• T, |1⟩ bileşenine 45° faz ekler: T = diag(1, e^(iπ/4)). İnce faz çözünürlüğü T'nin tek başına gücünden gelmez: T⁸ = I olduğundan T'nin katları yalnızca π/4'ün katları olan sonlu bir faz kümesi verir, asla π/8 gibi daha ince açılara inemez. İncelik H ile T'nin bileşiminden gelir: H·T·H, T'nin Z-ekseni dönüşünü X-ekseni dönüşüne çevirir; farklı eksenli dönüşlerin ürettiği grup tüm tek kübit dönüşmelerine yoğundur. S kapısı T'nin karesidir: T·T = diag(1, i) = S; bakınız S ve T Kapıları.
• CNOT iki kübiti dolandırır. Tek kübitli kapıların tensör ürünü hiçbir zaman dolanıklık üretemez; çok kübitli evrensellik için en az bir dolanıklaştırıcı kapı şarttır; ayrıntı CNOT Kapısı dersinde.

{H, S, CNOT} üçlüsü (Clifford seti) tek başına evrensel değildir; T eklenince Clifford+T evrensel seti doğar. Bu ayrımın ne demek olduğunu aşağıdaki yanılgılar bölümünde netleştireceğiz.

Adım Adım İki Küçük Örnek

Evrensel setin kapılarından başka kapıların üretilebildiğini iki özdeşlikle görelim. Birincisi tek kübit tarafında: T = diag(1, e^(iπ/4)) yazılışını küresel faza kadar düzenlersek T = e^(iπ/8)·R_z(π/4) olur. Hadamard, Z ile X eksenlerini birbirine çevirir (H·Z·H = X; bkz. Pauli Kapıları X Y Z). Bu yüzden T'yi iki yandan Hadamard'la çevrelemek dönme eksenini değiştirir: H·T·H = e^(iπ/8)·Rₓ(π/4). Matrisle doğrulamak isteyen için: H·T·H'nin köşegenleri (1 + e^(iπ/4))/2 = cos(π/8)·e^(iπ/8), karşı köşegenleri (1 − e^(iπ/4))/2 = −i·sin(π/8)·e^(iπ/8) çıkar — yani gerçekten Rₓ(π/4)'ün kendisi. Küresel faz e^(iπ/8) ise fiziksel olarak önemsizdir: |ψ⟩ ile e^(iφ)·|ψ⟩ aynı durumdur.

İkincisi çok kübit tarafında: CNOT'un hedefine her iki yandan Hadamard koyarsan kontrol-faz kapısını elde edersin: (I ⊗ H)·CNOT·(I ⊗ H) = CZ. Küçük hesap: |1⟩|1⟩ durumunda hedef |1⟩ → H → |−⟩ olur; CNOT hedefe X uygular ve X·|−⟩ = −|−⟩; sondaki H bu işareti geri çevirmez, faz −1 yerinde kalır. Diğer üç temel durum (|00⟩, |01⟩, |10⟩) değişmeden çıkar. Tam CZ. Bu tür yeniden yazımların toplu listesi Devre Özdeşlikleri dersinde; CZ'nin kendi anlatımı CZ Kapısı dersindedir.

Bilinen Evrensel Setler

Aynı işi gören farklı setler vardır; sık karşılaşılanları karşılaştıralım:

• {H, T, CNOT} — kapı sayısı sonlu (ayrık) set; hata düzeltme eşikleriyle uyumlu olduğu için kuantum donanımının fiilî standardıdır.
• Bütün tek kübit kapıları + CNOT — teorik çalışmalarda varsayılan set; sürekli döndürme serbestliği verir (bkz. Döndürme Kapıları RX RY RZ).
• {Toffoli, H} — Toffoli tek başına kuantum evrenseli değildir: temel durumları yalnızca temel durumlara çevirir, |0⟩…|0⟩'dan başlayınca hiçbir süperpozisyon üretemezsin. Tek bir Hadamard eklendiğinde ise tam evrensel hâle gelir (bkz. Toffoli Kapısı; tersinir klâsik kapı akrabası için Fredkin Kapısı).

Sonlu bir setle ε hassasiyeti için kaç kapı gerektiği sorusunun cevabı Solovay–Kitaev teoremindedir: yaklaşık O(log^c(1/ε)) kapı, üs c ≈ 4. Hata payını 10 kat küçültmek, kapı sayısını yalnızca sabit bir çarpan büyütür; gerçek derleyiciler (Qiskit'in transpile adımı gibi) her devreyi donanımın gerçek setine tam bu mantıkla çevirir. Devrenin hazırlanmadan ölçüme kadarki bütün yaşamı için Kuantum Devreleri dersine bakabilirsin.

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

• “Clifford seti evrenseldir” — değildir. {H, S, CNOT} ile kurulan devreler Gottesman–Knill teoremi gereği klâsik bilgisayarda verimli simüle edilir; kuantum üstünlüğü ancak Clifford dışı bir kapı (örneğin T) devreye girdiğinde başlar.
• “Toffoli tek başına yeter” — yalnızca klâsik tersinir hesaplama için evrenseldir; temel durumdan çıkmadığı için süperpozisyon ve dolanıklık üretemez.
• “Evrensellik, her kapıyı tam olarak üretmek demektir” — hayır; tanım zaten yakınsamadır. Sürekli açılı bir kapıyı sonlu setle tam yazmak genel olarak imkânsızdır; ε hassasiyeti hem yeterlidir hem de fiziksel olarak tek anlamlı hedeftir.
• “CNOT gereksiz, tek kübit kapıları yeter” — hayır; CNOT'suz devre, kübit başına uygulanan tek kübit kapılarının tensör ürününden öteye geçemez ve Bell durumu gibi dolanıklı durumlar hazırlayamaz.
• “Her faz farkı hata sayılır” — küresel faz sayılmaz, göreli faz sayılır. e^(iφ) çarpanı hiçbir ölçüm olasılığını değiştirmediği için önemsizdir; derleme hatası ise ölçülebilir göreli fazları kaydırdığı için hatadır.

Kaynaklar ve İleri Okuma

Elementary gates for quantum computation (Barenco ve ark., 1995) — evrensellik yapı taşlarının sistematik kurulumunu yapan klasik makale.

Both Toffoli and Controlled-NOT need little help (Shi, 2003) — {Toffoli, H} evrenselliğinin kısa kanıtı.

Quantum logic gate (Wikipedia) — standart kapı tanımları ve evrensel set örnekleri.

Clifford gate (Wikipedia) — Clifford seti ve Gottesman–Knill teoremi üzerine özet.

Basics of quantum information (IBM Quantum Learning) — kübit, kapı ve devre kavramlarını sıfırdan anlatan ücretsiz kurs.