QEC artefaktlarının gerçekte neyi kanıtladığını inceleyin
Sınırlı bir kod seçin, stabilizatör matrisini ve kesin tek hata sendrom haritasını inceleyin; ardından deterministik tur izini veya üretilen ileri besleme taşıyıcısını Playground’da açın.
QEC düzeltme haritası inceleyicisi
Her görünüm yerleşik, kimlik özetiyle bağlı düzeltme artefaktlarından üretilir. Laboratuvar denetlenmiş cebiri ve çalışma sınırını yan yana gösterir.
Tur izi kesin bir cebirsel düzeltme haritası projeksiyonudur; gürültülü çok turlu kod çözücü, hata toleransı kanıtı, eşik tahmini veya donanım sonucu değildir. Sendrom çıkarım devreleri ve mantıksal kodlama bu laboratuvarın dışında kalır.
- Veri kübitleri
- 5
- Sendrom bitleri
- 4
- Kod mesafesi
- 3
- Kapsanan hatalar
- 15
- Benzersiz sendromlar
- 15
- Çalışma zamanı kanıtı
- Tier 1 tam tarama
Stabilizatör üreteç matrisi
Bildirilen 4 üreteç, doğrulanmış GF(2) rankı 4 değerine sahiptir ve ikili olarak değişmeli işlem yapar.
fnv1a32:d41e0bd1| Üreteç | q0 | q1 | q2 | q3 | q4 |
|---|---|---|---|---|---|
| S0 | X | Z | Z | X | I |
| S1 | I | X | Z | Z | X |
| S2 | X | I | X | Z | Z |
| S3 | Z | X | I | X | Z |
Kesin düzeltme arama tablosu
Bildirilen tek fiziksel Pauli hatası modeli için kapalı-dünya düzeltme haritası.
0001 → X0 · X0
| Sendrom | Düzeltme | Kapsanan hata sınıfı |
|---|---|---|
| 0001 | X(q[0]) | X0 |
| 0010 | Z(q[2]) | Z2 |
| 0011 | X(q[4]) | X4 |
| 0100 | Z(q[4]) | Z4 |
| 0101 | Z(q[1]) | Z1 |
| 0110 | X(q[3]) | X3 |
| 0111 | Y(q[4]) | Y4 |
| 1000 | X(q[1]) | X1 |
| 1001 | Z(q[3]) | Z3 |
| 1010 | Z(q[0]) | Z0 |
| 1011 | Y(q[0]) | Y0 |
| 1100 | X(q[2]) | X2 |
| 1101 | Y(q[1]) | Y1 |
| 1110 | Y(q[2]) | Y2 |
| 1111 | Y(q[3]) | Y3 |
Deterministik tur izi
Üç turluk NM-RFC-0016 deneyi 1. turda X0 enjekte eder ve her sonucu kesin düzeltme artefaktından üretir.
fnv1a32:6871b2fa- Tur 0
- Enjeksiyon
- yok
- Sendrom
- 0000
- Düzeltme
- yok
- Artık hata
- Temiz
- Mantıksal değişmez
- Temiz turda korunuyor
- Tur 1
- Enjeksiyon
- X0
- Sendrom
- 0001
- Düzeltme
- X0
- Artık hata
- Stabilizatör eşdeğerliğinde birim işlem
- Mantıksal değişmez
- Yayımlanmış model kapsamında korunuyor
- Tur 2
- Enjeksiyon
- yok
- Sendrom
- 0000
- Düzeltme
- yok
- Artık hata
- Temiz
- Mantıksal değişmez
- Temiz turda korunuyor
Kod çözücü artefaktı: fnv1a32:d41e0bd1. İstemci tarafında düzeltme yeniden hesaplanmaz.
Tur izini Playground'da açKanıt sınırı
Kesin cebirsel harita yalnızca bildirilen tek fiziksel Pauli hata kümesini kapsar. Gürültülü çalışmayı, yinelenen turları, kod çözücü gecikmesini, mantıksal hata oranını veya hata toleransını kanıtlamaz.
Üretilen ileri besleme taşıyıcısını incele
Kaynak, ayrılmış sendrom yazmacı kübitlerini ölçer ve doğrulanmış arama haritasını uygular. Kodlama veya stabilizatör ölçüm devrelerini bilinçli olarak sentezlemez.
module qec_lab_qec_perfect5_code;
@target("browser-stabilizer");
fn main() {
let q: QReg<9> = qreg[9];
// Decoder carrier only: syndrome extraction and logical encoding are outside this lab.
let s0: Bit = measure(q[5]);
let s1: Bit = measure(q[6]);
let s2: Bit = measure(q[7]);
let s3: Bit = measure(q[8]);
if (s0 == 0 && s1 == 0 && s2 == 0 && s3 == 1) { X(q[0]); }
if (s0 == 0 && s1 == 0 && s2 == 1 && s3 == 0) { Z(q[2]); }
if (s0 == 0 && s1 == 0 && s2 == 1 && s3 == 1) { X(q[4]); }
if (s0 == 0 && s1 == 1 && s2 == 0 && s3 == 0) { Z(q[4]); }
if (s0 == 0 && s1 == 1 && s2 == 0 && s3 == 1) { Z(q[1]); }
if (s0 == 0 && s1 == 1 && s2 == 1 && s3 == 0) { X(q[3]); }
if (s0 == 0 && s1 == 1 && s2 == 1 && s3 == 1) { Y(q[4]); }
if (s0 == 1 && s1 == 0 && s2 == 0 && s3 == 0) { X(q[1]); }
if (s0 == 1 && s1 == 0 && s2 == 0 && s3 == 1) { Z(q[3]); }
if (s0 == 1 && s1 == 0 && s2 == 1 && s3 == 0) { Z(q[0]); }
if (s0 == 1 && s1 == 0 && s2 == 1 && s3 == 1) { Y(q[0]); }
if (s0 == 1 && s1 == 1 && s2 == 0 && s3 == 0) { X(q[2]); }
if (s0 == 1 && s1 == 1 && s2 == 0 && s3 == 1) { Y(q[1]); }
if (s0 == 1 && s1 == 1 && s2 == 1 && s3 == 0) { Y(q[2]); }
if (s0 == 1 && s1 == 1 && s2 == 1 && s3 == 1) { Y(q[3]); }
return 0;
}