Stabilizer Formalizmi

Modern kuantum hata düzeltmenin ortak dili stabilizer formalizmidir: bir kuantum durumunu 2ⁿ tane genlik listesiyle değil, onu değiştirmeyen birkaç operatör denklemiyle tanımlarsın. Bu derste stabilizer kavramını sıfırdan kuracak, üç kübitlik kodu bu dille yeniden yazacak ve bir hatanın sendromunu adım adım hesaplayacağız. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına, ünitenin önceki halkası için Tekrarlama Kodları dersine bakabilirsin.

Stabilizer Nedir? Durumu Denklemlerle Tanımlamak

Bir stabilizer, etki ettiği durumu değiştirmeyen operatördür: S|ψ⟩ = |ψ⟩ eşitliğini sağlar; yani ψ, S'nin +1 özdeğerli özdurumudur. Z|0⟩ = |0⟩ olduğundan |0⟩'yu Z stabilize eder; Z|1⟩ = −|1⟩ olduğu için |1⟩'i ise −Z eder. Benzer şekilde |+⟩ = (|0⟩ + |1⟩)/√2 durumunu X stabilize eder: X iki bileşeni takas eder, toplam değişmez. İşaretli kardeşi |−⟩ = (|0⟩ − |1⟩)/√2 ise −X ile stabilize edilir.

Stabilizer'lar bir grup oluşturur: S₁ ve S₂ durumu stabilize ediyorsa S₁S₂ de eder. Birim operatör I da gruptadır; tek yasak −I'dir, çünkü −I|ψ⟩ = |ψ⟩ denkleminin çözümü yoktur. Asıl kazanç ekonomidir: genel bir n kübitlik durum 2ⁿ − 1 karmaşık sayı isterken birçok önemli durum birkaç denklemle tam tanımlanır. Zil durumu |Φ⁺⟩ = (|00⟩ + |11⟩)/√2 için iki denklem yeter: X₁X₂|Φ⁺⟩ = |Φ⁺⟩ ve Z₁Z₂|Φ⁺⟩ = |Φ⁺⟩; ilkinde X bileşenleri takas eder, ikincisinde iki kübitin işareti birlikte değişir ve (−1)(−1) = +1 çıkar.

Pauli Grubu: Değişme ve Anti-değişme Kuralları

Tüm stabilizer'lar Pauli grubundan seçilir: her kübit için {I, X, Y, Z}'den biri, çok kübitli operatörler ise Z₁ ⊗ Z₂ gibi tensör çarpımlarıyla kurulur. X, σₓ olarak da yazılan Pauli matrisidir; |0⟩ ↔ |1⟩ takası yapar. Temel özdeşlikler: X² = Y² = Z² = I, Y = iXZ ve XZ = −ZX. Sonuncusu en kritiğidir: X ile Z anti-değişir, çarpım sırası işareti değiştirir. Kurallar:

• Aynı kübit, farklı eksen: X–Y, Y–Z, Z–X çiftleri anti-değişir: XY = −YX, YZ = −ZY, ZX = −XZ.
• Aynı kübit, aynı eksen: XX = YY = ZZ = I; I ile her operatör değişir.
• Farklı kübitler: farklı kübitlere etki eden operatörler her zaman değişir: Z₁X₂ = X₂Z₁.

Üreticiler birbiriyle değişmelidir; anti-değişen iki operatörün ortak +1 özdurumu yoktur, kod uzayı boşalır. Buna karşılık bir hata E, bir üretici g ile anti-değişiyorsa g onu anında yakalar: g(E|ψ⟩) = −E(g|ψ⟩) = −E|ψ⟩. Hatalı durum, g'nin −1 özdurumuna düşer; +1 beklerken −1 okumak “bir şey oldu” demektir. Tüm yük tek bir soruya iner: E hangi üreticilerle anti-değişiyor?

Üreticiler ve Kod Uzayı: Kaç Mantıksal Kübit?

Bir kod, birbiriyle değişen m adet bağımsız üreticiyle tanımlanır: S = ⟨g₁, g₂, …, gₘ⟩. Bunların tamamına +1 özdeğerli durumlar kod uzayını oluşturur; n kübitlik sistemde boyut 2ⁿ⁻ᵐ olur ve kod k = n − m mantıksal kübit taşır (ayrıntı: Mantıksal Kübitler). Üç kübitlik tekrarlama kodu en küçük örnektir: Tekrarlama Kodları dersindeki kod burada iki denklemdir: S = ⟨Z₁Z₂, Z₂Z₃⟩. Kontrol: Z₁Z₂|000⟩ = |000⟩, Z₁Z₂|111⟩ = (−1)(−1)|111⟩ = |111⟩; Z₂Z₃ için de aynı. O hâlde a|000⟩ + b|111⟩ her iki denkleme uyar: m = 2, n = 3, k = 1. Dokuz kübitlik Shor kodu da sekiz üreticiyle yazılır; ölçek avantajı budur.

Sendrom Ölçümü: Adım Adım Bir Hesap

Sendrom, hata hakkında taşınan tek bilgidir: hangi üreticinin ölçümü +1, hangisi −1 verdi? Ölçüm mantıksal bilgiyi bozmaz: üreticiler kod uzayında zaten +1 davrandığı için hangi mantıksal süperpozisyonda olduğunu ayırt edemez, yalnızca “durum hâlâ kodda mı, çıktıysa hangi hatayla” sorusunu yanıtlar. Senaryo: a|000⟩ + b|111⟩ durumuna ilk kübitte bir X hatası vursun; durum a|100⟩ + b|011⟩ olur.

1. Üreticileri yaz: S₁ = Z₁Z₂ ve S₂ = Z₂Z₃.
2. S₁'i ölç: Z₁Z₂, a|100⟩'da (−1)(+1) = −1, b|011⟩'de (+1)(−1) = −1 verir; iki bileşen de aynı işareti verdiği için ölçüm kesindir: −1.
3. S₂'yi ölç: Z₂Z₃, |100⟩'da (+1)(+1) = +1, |011⟩'de (−1)(−1) = +1 verir: sonuç +1.
4. Sendromu oku: (S₁, S₂) = (−1, +1).
5. Eşleştir ve düzelt: X₁ (−1, +1), X₂ (−1, −1), X₃ (+1, −1) imzalarını verir; sendrom tek anlamlı biçimde X₁'i işaret eder. X₁'i yeniden uygula; durum eski hâline döner.

Her tek kübitlik X hatasının imzası farklıdır; üçü de ayrıştırılıp düzeltilebilir. Ama bir kör nokta da var: Z₁, Z₂, Z₃ hataları her iki üreticiyle de değiştiği için sendrom (+1, +1) kalır, hata görünmez olur. Faz hatalarını yakalamak için X tipi üreticiler (örneğin X₁X₂X₃) listeye eklenir; bit ve faz hatası ikiliği Bit Flip ve Phase Flip Hataları dersinde işlenir. Bir incelik: farklı iki hata aynı sendromu verebilir; kod üzerinde aynı etkiyi yapıyorlarsa aynı düzeltme ikisini de onarır — buna dejenerasyon denir, Shor kodu klasik örnektir.

Clifford Kapıları ve Gottesman–Knill Teoremi

Clifford kapıları, Pauli'leri konjugasyonla yeniden Pauli'ye taşıyan kapılardır: H X H = Z, H Z H = X, S X S† = Y; CNOT'ta X₁ → X₁X₂ ve Z₂ → Z₁Z₂ olur. Böylece bir Clifford devresini genliklerle değil, üretici listesini güncelleyerek izlersin. Gottesman–Knill teoremi sınırı çizer: yalnızca Clifford kapıları ile Pauli hazırlık ve ölçümlerinden oluşan devreler klasik bilgisayarda verimli simüle edilir; bu alt küme tek başına kuantum hızlanması üretmez. Hata düzeltmede bu avantajdır: sendrom çıkarımı tamamen Clifford'dır, klasik işlemci sendromdan düzeltmeyi hesaplar. Bu iş bölümü, Hata Toleranslı Kuantum Hesaplama mimarisinin ve Yüzey Kodları gibi modern kodların temelidir.

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

• Anti-değişen üretici yazmak: grup değişmeli olmalıdır; anti-değişen iki üreticinin ortak +1 özdurumu yoktur, kod uzayı boşalır.
• −I'yi gruba sokmak: −I|ψ⟩ = |ψ⟩ denkleminin çözümü yoktur; üreticilerin işaretleri daima +1'e ayarlanır.
• “Sendrom bilgiyi yok eder” sanmak: ölçüm mantıksal içeriği ayırt edemez; yalnızca hata bilgisini okur.
• Sendromu hatayla karıştırmak: sendrom hatanın kimliğidir; dejener kodlarda aynı sendromu veren hatalar aynı düzeltmeyle onarılır.
• Gottesman–Knill'i abartmak: teorem yalnızca Clifford alt kümesini kapsar; evrensellik T kapısı gibi Clifford dışı bileşenlerle gelir.

Kaynaklar ve İleri Okuma

Stabilizer code — Wikipedia — üreticiler ve sendrom kavramlarının standart özeti.

Stabilizer Codes and Quantum Error Correction — D. Gottesman — formalizmi sistemleştiren klasik tezin arXiv sayfası.

Pauli matrices — Wikipedia — X, Y, Z'nin cebiri ve anti-değişme ilişkileri.

IBM Quantum Learning — kuantum hata düzeltmeyi uygulamalı işleyen resmî ders modülleri.