Yüzey Kodları

Kuantum hesaplamada hata istisna değil kuraldır; yüzey kodları, hataları her an ölçüp düzelterek uzun hesapları mümkün kılan, günümüzün en güçlü adayı sayılan hata düzeltme mimarisidir. Bu derste yüzey kodunun iki boyutlu ızgarasını, yıldız ve plaka stabilizatörlerini, sendromu okumayı ve kod mesafesi ile eşik değerini sıfırdan işleyeceğiz. Serinin tüm dersleri için Kuantum Hesaplama dersleri kategorisine bakabilirsin.

Neden Yüzey Kodları? Tek Boyuttan İki Boyuta

Ünitenin önceki derslerinde tek tür hatayı düzeltmenin en yalın yolunu gördük: Tekrarlama Kodları dersindeki üç kübitlik kod, bilgiyi |0⟩ → |000⟩, |1⟩ → |111⟩ diye tekrarlayarak bit flip hatalarını yakalıyordu. Ama bu tasarımın iki zaafı var: faz flip hatalarını hiç görmemesi ve kübitleri bir hizada dizmesi. Her kübitin yalnızca komşusuyla konuştuğu gerçek bir çipte bu düz zincir ölçeklenmez.

Yüzey kodu iki zaafı birden çözer: kübitleri iki boyutlu bir ızgaraya diz, hem X-tipi (bit flip) hem Z-tipi (faz flip) hatalara bakan iki stabilizatör ailesi yerleştir ve bütün işlemleri komşu etkileşimlerle sınırla. Fikrin kökü Kitaev’in toric koduna dayanır; sınırlar eklenip düzleme indirgenmiş hâli yüzey kodudur. Bit Flip ve Phase Flip Hataları dersinde bu iki hata türünün birbirinin ikizi olduğunu görmüştün; yüzey kodu ikisini aynı tasarımda yakalar.

Izgara, Stabilizatörler ve Sendrom Ölçümü

Tasarım şöyle işler: ızgaranın her kesişiminde bir veri kübiti, her kare hücrenin ortasında bir ölçüm kübiti durur. Ölçüm kübitleri bilgi taşımaz; yalnızca hücresinin dört köşesindeki veri kübitlerinin ortak ölçümünü yapar. Her hücre tek stabilizatör taşır: dört kübite birden Z vuran plaka Sₚ = Z₁Z₂Z₃Z₄ veya X vuran yıldız Sᵥ = X₁X₂X₃X₄; komşu hücreler dama deseninde dönüşümlüdür. Stabilizer Formalizmi dersindeki dille: kod uzayı, bu operatörlerin +1 özuzayıdır; biri −1 ölçerse ızgarada hata izi vardır.

Peki iki aile aynı ızgarada neden barışır? Tek kübitte X ile Z anticommute eder (XZ = −ZX); farklı kübitlerdeki işlemler commute eder. Komşu yıldız ile plaka tam iki ortak kübit paylaştığı için anticommütasyon sayısı 2, yani çifttir; toplam işaret (+1)·(−1)·(−1) = +1 çıkar. Böylece her yıldız her plaka ile commute eder ve iki aile aynı devrede birbirini bozmadan ölçülür.

Sendromu adım adım izleyelim. (1) Temiz bir kodda tüm stabilizatörler +1 ölçer. (2) İç bölgedeki bir veri kübitine X hatası vuralım: kübit iki plakaya üyedir ve X, Z ile anticommute ettiği için yalnız o iki plakanın sonucu −1 döner; yıldızlar +1 kalır. (3) Z hatası ayna simetrisiyle komşu iki yıldızı −1 yapar. (4) Y = iXZ hatası iki aileyi birden tetikler: iki plaka, iki yıldız. Sendrom hatanın adresini tek tek vermez; bıraktığı iki işaret bir kenarın iki ucudur, dekoderin işi uçları birleştirmektir.

Hata Zincirleri, Kod Mesafesi ve Mantıksal Kübit

Tek hata iki işaret bırakır; üst üste X hataları ise ızgarada bir zincir çizer ve yalnızca uçlardaki plakalar −1 ölçer. Dekodlayıcı işaret çiftlerini en kısa zincirle eşleştirir, zincirdeki her kübite X uygular; düzeltme, hatayı bir kez daha vurmak demektir ve X·X = birim operatör. Aynı mantık Z zincirleri için de geçerlidir.

Kritik soru şu: hata ne zaman görünmez kalır? Zincirin ucu, kendisine uygun sınıra ulaştığında oradaki kırpılmış stabilizatör işaret üretmez; iki ucu karşıt sınırlara dayanan zincir hiçbir stabilizatörü tetiklemez. İşte bu sınırdan sınıra giden zincirler kodun mantıksal operatörleridir: hiçbir alarm vermeden bilgiyi |0⟩ ↔ |1⟩ çeviren ya da fazını çeviren en kısa yollar. En kısa mantıksal zincirin uzunluğuna kod mesafesi d denir; kod, t = ⌊(d−1)/2⌋ hataya kadar düzeltme garantisi verir: d = 3 bir hata, d = 5 iki hata. Mantıksal kübiti Mantıksal Kübitler dersi ayrıntısıyla işler.

Sendrom Döngüsü, Dekodlama ve Eşik Değeri

Gerçekte yalnız veri kübitleri hatalı değildir; ölçüm kübitleri de yanılır, kapılar da suç işler. Bu yüzden sendrom bir kez ölçülüp bitmez: her turda tüm stabilizatörler yeniden ölçülür ve turlar arasındaki değişime bakılır. Bir yıldızın sonucu turdan tura değiştiyse suçlu çoğunlukla o ölçüm kübitidir, veri kübiti değil. Dekodlama böylece ızgara artı zaman düzleminde üç boyutlu bir probleme dönüşür; en bilinen klasik yöntem, işaretleri toplam uzunluğu en küçük zincirlerle eşleştiren minimum mükemmel eşleştirme (MWPM) algoritmasıdır.

Bu emeğin karşılığı eşik teoremidir: fiziksel hata oranı p, yaklaşık %1’lik kritik değerin altındaysa mesafeyi büyütmek mantıksal hata oranını kaba bir yaklaşımla (p/p_eşik)^((d+1)/2) oranında düşürür; eşik üstündeyse büyütmek işe yaramaz, hatayı artırır. Döndürülmüş düzende d = 3 yama 17 kübit eder (9 veri + 8 ölçüm) ve hata oranını ancak bir miktar iyileştirir; yararlı algoritmalar için d ≈ 25 mertebesinde mesafeler, yani mantıksal kübit başına binlerce fiziksel kübit konuşulur. Yüzey kodu bu özelliğiyle Hata Toleranslı Kuantum Hesaplama dersinin mimari omurgasını oluşturur.

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

• “Yüzey kodu bütün bilgisayarı korur.” Hayır; bir yama tek mantıksal kübit depolar. Yüzlerce mantıksal kübit ve mantıksal kapılar, yamalar arası ek işlemler ister.
• “d = 3 kodu her hatayı düzeltir.” Hayır; d mesafeli kod kübit başına en fazla ⌊(d−1)/2⌋ hata düzeltir. d = 3’te ikinci bir hata, düzeltmeyi tersine çevirip mantıksal hata üretebilir.
• “Yalnız bit flip’e karşıdır.” Tekrarlama kodunun aksine yüzey kodu, X ve Z ailelerini birlikte taşıdığı için bit ve faz hatalarının ikisine de karşı korunur.
• “Ölçüm kübitleri güvenilirdir.” Değildir; onlar da hatalıdır. Bu yüzden sendrom tek seferde değil, art arda d turu gibi çok sayıda turda ölçülür.
• “Kübit sayısı artınca hata her zaman azalır.” Yalnızca p, eşik değerinin altındaysa; üstündeyse mesafeyi büyütmek hatayı artırır.

Kaynaklar ve İleri Okuma

Surface code — Wikipedia — ızgarayı, stabilizatörleri ve kod mesafesini özetleyen madde.

A. Kitaev, Fault-tolerant quantum computation by anyons (arXiv:quant-ph/9707021) — toric kodunu öneren kurucu makalenin özeti.

S. Bravyi, A. Kitaev, Quantum codes on a lattice with boundary (arXiv:quant-ph/9811052) — yüzey kodunu sınırlı düzlem ızgarada tanımlayan çalışma.

A. Fowler vd., Surface codes: Towards practical large-scale quantum computation (arXiv:1208.0928) — %1 eşiğini ve pratik kübit bütçesini hesaplayan kapsamlı makale.

IBM Quantum Learning: Foundations of Quantum Error Correction — stabilizer formalizminden yüzey kodlarına giden ücretsiz kurs.