Kuantum Derleme

Kuantum derleme, soyut bir kuantum algoritmasını gerçek bir işlemcinin çalıştırabileceği kapı devresine çeviren süreçtir: hangi kapılar mevcut, hangi kübitler komşu, gürültü nerede yoğun — hepsini hesaba katar. Yazılım (Bilgisayar) ders alanında derleyici kavramını biliyorsan zemin tanıdık gelecektir. Bu derste dört aşamayı küçük bir örnekle izleyeceğiz; temeller için Kuantum Hesaplama 101 dersine, serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin.

Derleme Problemi: Soyut Algoritmadan Fiziksel Devreye

Algoritmayı yazarken düşündüğün kübitler mantıksal kübitlerdir; kapılar H, CNOT, Toffoli gibi tanımlarla verilir. İşlemcinin dünyası ise dardır: birkaç kalibre edilmiş dönüş ve sabit bağlantılar. Derleyicinin işi, algoritmanın istediği üniteryen U ile donanımın sunabildikleri arasındaki köprüyü kurmaktır: kapı seti g₁, g₂, …, gₖ ise U ≈ gₖ·…·g₂·g₁ çarpımını bulur. Bu yazımda kapılar devrede sağdan sola, yani önce g₁ ile uygulanır. Çarpım tam denk gelmeyebilir; derleyici ‖U − V‖ ≤ ε koşuluyla ε hata payıyla yaklaşabilir.

Derleme dört aşamada ilerler: sentez (soyut kapıları donanım setine ayrıştırma), eşleme (mantıksal kübitleri fiziksel kübitlere atama), yönlendirme (komşuluk ihlallerini giderme) ve optimizasyon (gereksiz kapıları silme).

Donanım Gerçekliği: Kapı Seti ve Bağlantı Kısıtları

Her kapı, kalibre edilmiş bir mikrodalga ya da lazer darbesidir; bu yüzden çipte “olmayan kapıyı” uygulayamazsın. Tek kübitli taraf genellikle Ry ve Rz gibi eksen dönüşleriyle, iki kübitli taraf çoğunlukla tek bir kapıyla (söz gelimi CNOT) sınırlıdır; Toffoli ve serbest açılı dönüşler bu dar sete çevrilir.

İkinci kısıt bağlantıdır: CNOT yalnızca q0–q1, q1–q2 gibi komşu çiftler arasında çalışır; algoritmanın q0 ile q2 arasında CNOT istemesi imkânsızdır; köprüyü derleyici kurar. Her kapı hata olasılığı taşır ve koherans süresi sınırlıdır; kapı sayısı ve derinlik kritiktir. Kapı bütçesinin hayatî olduğu bugünkü dönemi NISQ Dönemi dersinde işliyoruz; ana fikir: az kapı, az hata.

Devre Sentezi: Üniteryenleri Kapılara Çevirmek

Tek kübitlik tarafta iyi haber var: her tek kübitlik üniteryen eksen dönüşlerinin çarpımıdır (Euler ayrıştırması): U = e^(iγ)·Rz(φ)·Ry(θ)·Rz(λ); global faz e^(iγ) ölçüm olasılıklarını değiştirmediği için atlanabilir. Somut örnek: Ry(π/2) = (1/√2)·[[1, −1], [1, 1]] ve X = [[0, 1], [1, 0]] ise X·Ry(π/2) = (1/√2)·[[1, 1], [1, −1]] = H. Hadamard'ı tanımayan bir donanımda önce Ry(π/2) sonra X uygulamak aynı işi yapar; üniteryenlerin çarpımı üniteryen olduğundan normalizasyon korunur.

İki kübitli taraf pahalıdır: hedef kübite konan iki Hadamard CNOT'u kontrolsüz-faz kapısına çevirir, CZ = (I⊗H)·CNOT·(I⊗H). Üç kübitli Toffoli ise 6 CNOT'la kurulur, daha az iki kübitli kapıyla tam olarak kurulamaz. Genel sınır da serttir: n kübitlik rastgele bir üniteryen en kötü durumda 4ⁿ mertebesinde iki kübitli kapı gerektirebilir (Barenco vd., 1995). Kapı setin serbest açılı dönüşleri yoksa istenen dönüş sabit kapılarla ε hatayla yaklaşık kurulur; Solovay–Kitaev teoremi bunun kabaca logᶜ(1/ε), c ≈ 4, kapıyla mümkün olduğunu garanti eder. Derleyicinin çıktısı bu yüzden “aynı işlemi yapan” değil, “istenilen hassasiyette yakın bir devre”dir.

Eşleme, Yönlendirme ve Optimizasyon

Eşleme, mantıksal kübitleri fiziksel kübitlere atama kararıdır; en sık birlikte işlem görenleri komşuya oturtmak, sonradan eklenecek köprülerin çoğunu baştan önler. Komşu olmayan bir çift arasında CNOT gerektiğinde derleyici araya SWAP ekler. SWAP iki kübitin içeriklerini değiştirir ve 3 CNOT'a ayrışır; tek köprü bile iki kübitli kapı sayısını üç artırır. Derleyici yer değişimini kübit eşlemesinde izler: soyut anlam korunur, fiziksel maliyet büyür.

Optimizasyon kapı cimriliğidir: ardışık iki X birbirini yok eder (X·X = I), H için de aynıdır; aynı eksende ardışık dönüşler toplanır, Rz(θ₁)·Rz(θ₂) = Rz(θ₁+θ₂). Komütasyonla ters çiftler yan yana getirilip silinir. İzlenen öncelikli sayı iki kübitli kapı sayısı ve derinliktir. Derlenen devredeki gürültüyü ölçüm sonrasında yumuşatmayı Hata Azaltma Teknikleri dersi anlatır; derleyici yalnızca gürültünün besleneceği yüzeyi küçültür.

Uçtan Uca Küçük Bir Derleme Akışı

Hedefimiz üç kübit üzerinde Toffoli(c₀, c₁; t); donanım üç kübitlik bir zincir (q0–q1–q2) ve CNOT yalnızca komşular arasında. Adımlar şöyle işler:

1. Sentez: Toffoli'yi 6 CNOT ve birkaç tek kübitli dönüşe ayrıştır.
2. Eşleme: c₀ → q1, c₁ → q0, t → q2 ataması çiftlerin çoğunu komşuya oturtur.
3. Yönlendirme: Kalan ihlal için 1 SWAP ekle; SWAP 3 CNOT ettiği için devredeki CNOT sayısı 6'dan 9'a çıkar.
4. Optimizasyon: Ters çiftleri sil, dönüşleri birleştir; tek kübitli kapı sayısı 15'e insin.
5. Maliyet muhasebesi: CNOT başına %1, tek kübitli kapı başına %0,1 hata ile kaba toplam 9 × %1 + 15 × %0,1 ≈ %10,5 hata; modele göre ölçümde yaklaşık %89,5 başarı beklenir.

Bu kapı-hata bütçesi derlemenin asıl ürünüdür ve deney tasarımına giden yolu açar. Aynı işi Kuantum Kaynak Tahmini dersinde derinleştiriyoruz.

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

• “Derleme hızlı ve deterministiktir.” Değil: minimum SWAP'li yönlendirme ve optimal sentez NP-zor sınıfındadır; derleyiciler sezgisel yöntemlerle optimal olduğu kanıtlanmamış sonuçlar üretir.
• “SWAP hesabı bozar.” Hayır; derleyici yer değişimini kübit eşlemesinde izler, soyut anlam korunur. Bozan şey maliyettir: her SWAP 3 CNOT.
• “Kapı sayısı düştü, iş bitti.” Kapılar eşit değildir; bir CNOT on tek kübitli kapıdan gürültülü olabilir; öncelikli sayı iki kübitli kapıdır.
• “Ayrıştırma birebir aynı matrisi vermeli.” Zorunda değil; Solovay–Kitaev tarzı sentez ε hassasiyetiyle yaklaşır, küçük ε uzun devre demektir.
• “İyi derleyici gürültüyü düzeltir.” Düzeltmez; devreyi küçültür ve doğru donanıma oturtur.

Derleme hattını dört aşamada izledik. Aynı problemin, hata düzeltme kodlarının devrelere derlendiği ölçekte nasıl büyüdüğünü Hata Toleranslı Mimari Tasarımı dersinde göreceksin.

Kaynaklar ve İleri Okuma

Elementary gates for quantum computation (Barenco vd.) — Üniteryenlerin temel kapılara sistematik ayrıştırılmasını veren klasik makale.

The Solovay–Kitaev algorithm (Dawson–Nielsen) — Sınırlı kapı setiyle yaklaşık sentezi anlatan gözden geçirme makalesi.

Solovay–Kitaev teoremi (Vikipedi) — Yaklaşık sentezin kapı sayısı garantisini özetleyen madde.

Quantum circuit (Vikipedi) — Kapı, devre ve üniteryenlik tanımlarının yer aldığı madde.

IBM Quantum Learning — Devre derleme (transpile) aşamalarını uygulamalı gösteren resmî eğitim kaynağı.