Kuantum hata düzeltme — Kodlar, stabilizer ve sendrom akışı

Kuantum hata düzeltme (KHD), çoklu fiziksel kübit ve yardımcı ölçümlerle mantıksal bilgiyi koruyan kodlar, çözümleyiciler ve (ileri düzeyde) hata toleranslı devreler bütünüdür. Bu sayfa notasyon, stabilizer–sendrom akışı ve aile sezgisi verir; mantıksal/fiziksel kavram ayrımı mantıksal ve fiziksel kübit dosyasında; NISQ azaltma şemsiyesi hata azaltma girişindedir. Stabilizer cebiri ve tablo resmi stabilizer sayfasında derinleşir.

Varsayılan hata modeli

Çoğu giriş metni Pauli (veya Clifford) hatalarına odaklanır; bu kanal ailesi Pauli hataları ve depolarize dosyalarında işlenir. Tam ünite hataları ve çapraz konuşma, kod tasarımını zorlaştırır.

Ne vaat edilmez

Burada belirli bir donanımın yerleştirme haritası veya üretim çözümleyicisi API’si sabitlenmez; paket sürümleri değişkendir — resmi Qiskit ve donanım belgelerini kaynak kabul edin.

Bir [[n, k, d]] kuantum kodu, n fiziksel kübit üzerinde k mantıksal kübit saklar; minimum mesafe d, düzeltilebilen Pauli hata ağırlığı ile ilişkilendirilir (tam tanım ders kitabındadır). Algılama hatanın varlığını gösterir; düzeltme hatayı bir eşdeğerlik sınıfına kadar belirleyip telafi eder.

Klonlama yasağı

Klasik tekrarın doğrudan kopyası işe yaramaz; kuantum tekrar ve iç içe kodlama (concatenation) farklı mekanizmalardır.

Gürültü modeli hizası

Simülasyonda kanal seçimi NoiseModel ile yapılır; kod çözümleyicisi tasarımı, hatanın hangi yerel Pauli ağırlıklarında baskın olduğu varsayımına bağlıdır.

Stabilizer grubu, kod uzayını +1 özaltığı olarak sabitleyen Pauli ürünlerinden oluşur; üreteçler ölçüm desenini (çip yerleşimi ve zaman çizelgesi) belirler. Bu sayfa üreteç tablolarını listelemez; resim ve tablo için stabilizer sayfasına yönlendirir.

CSS ve Calderbank–Shor–Steane

CSS yapısı X ve Z hatalarını ayrı yapılarda ele almayı kolaylaştırır; Steane tipi kodlar bu fikrin örneklerindendir. Ayrıntılı cebir ayrı ders notlarında kalır.

Clifford çevresi

Birçok protokol, ölçüm ve telafiyi Clifford işlemleriyle sınırlamayı hedefler; Clifford çevresi bu yüzden pratikte sık geçer.

Stabilizer ölçümü klasik bir sendrom bit dizisi üretir; çözümleyici bu sendromdan hatanın hangi sınıfına ait olduğunu tahmin eder. Yanlış çözümleme, mantıksal bir hata olarak yansır; bu yüzden çözümleyici tasarımı ve gecikme kritiktir.

Ölçüm hatası

Yardımcı kübitlerin okunması da hatalı olabilir; ileri protokollerde ölçüm tekrarı veya hata toleranslı ölçüm desenleri düşünülür. Okuma modeli okuma hatası başlığında kalır.

Klasik arka uç

Çözümleme genellikle klasik hesaplama ile yapılır; büyük yüzey kodlarında minimum‑ağırlık eşleştirme veya öğrenilmiş çözümleyiciler kullanılır — burada yalnızca rol ayrımı sabittir.

Yüzey kodu (surface code), yerel stabilizer ölçümleri ve düşük bağlantı derecesi ile donanıma yakın bir hedeftir. Renk kodları ve ikilik kodlar farklı topolojik veya cebirsel özellikler sunar. Burada yalnızca isim ve rol verilir; kapsayıcı karşılaştırma tabloları ders kitabına bırakılır.

9‑kübit Shor ve 7‑kübit Steane

Tarihsel ve pedagojik örneklerdir; modern ölçek hedefleri genellikle daha verimli ailelere kayar. Parametreleri ezberlemek yerine [[n, k, d]] sezgisini taşımak yeterlidir.

Yerleştirme

Kod çizelgesi, çip üzerindeki gerçek bağlantı grafiğine göre uyarlanır; uzun SWAP zincirleri etkili mesafeyi kötüleştirebilir.

Hata toleranslı kuantum hesaplama (FTQC), kapıların ve ölçümlerin kendisinin de hatalı olduğu senaryoda yine de güvenilir mantıksal işlem üretmeyi hedefler; bu, KHD’den daha geniş bir protokol katmanıdır. Eşik ve kaynak tahminleri mantıksal ve fiziksel kübit · eşik bölümüyle birlikte okunmalıdır.

NISQ ve KHD birlikteliği

ZNE ve rastgele derleme gibi azaltıcılar, tam kod öncesi veya hibrit deneylerde kullanılabilir; rolleri farklıdır.

Ekosistem

Qiskit ekosisteminde kod inşası ve emülasyon için ayrı paketler ve örnekler bulunur; API yüzeyi sürüme göre değişir — burada yalnızca kavramsal yönlendirme yapılır.

Birinci kutu üç bitlik tekrar kodunun GF(2) parite matrisi ile sendromu; ikinci kutu küçük sendrom tablosu; üçüncü kutu Qiskit ile basit çoğaltım (encode) iskeleti.

import numpy as np

H = np.array([[1, 1, 0], [1, 0, 1]], dtype=int)

def syndrome_bits(v):
    return (H @ (v % 2)) % 2

patterns = {
    "000": "hatasız",
    "100": "bit 0 çevirme",
    "010": "bit 1 çevirme",
    "001": "bit 2 çevirme",
}
for bits, note in patterns.items():
    v = np.array([int(b) for b in bits])
    print(bits, note, "-> sendrom", syndrome_bits(v))

# Tek bitlik X hataları için örnek eşleme (H ile uyumlu: (1,1)->bit0, (1,0)->bit1, (0,1)->bit2)
lookup = {
    (0, 0): "hatasız (veya algılanamayan çoklu hata)",
    (1, 1): "X0 sınıfı",
    (1, 0): "X1 sınıfı",
    (0, 1): "X2 sınıfı",
}
for s, lbl in lookup.items():
    print(s, "->", lbl)

from qiskit import QuantumCircuit

# |0> -> |000> bit‑çevirme kodu (çekirdek fikir; ölçüm/telafi ayrı tasarlanır)
qc = QuantumCircuit(3)
qc.cx(0, 1)
qc.cx(0, 2)
print(qc)

KHD; kod uzayı, stabilizer ölçümü, sendrom ve çözümleme ile mantıksal bilgiyi korumayı hedefler; FTQC ve donanım yerleştirmesi ayrı mühendislik katmanlarıdır.

• Mantıksal ve fiziksel kübit — kavram ve eşik.
• Stabilizer — cebir ve tablolar.
• Pauli hataları — kanal modeli.
• Hata azaltma — NISQ ailesi.