code code/shor@1 · verified · raw JSON
Shor [[9,1,3]]
parameters
[[9,1,3]]
rate k/n
0.111
max stabilizer weight
6
distance source
Shor, Phys. Rev. A 52, R2493 (1995)
Stabilizer generators
+ZZIIIIIII
+IZZIIIIII
+IIIZZIIII
+IIIIZZIII
+IIIIIIZZI
+IIIIIIIZZ
+XXXXXXIII
+IIIXXXXXX
Logical operators
| i | X̄ᵢ | Z̄ᵢ |
|---|---|---|
| 0 | +XXXXXXXXX | +ZIIZIIZII |
Operations
Same code
| protocol | kind | logical action | codes | verification |
|---|---|---|---|---|
| shor/cx-transversal@1 | gate | CX 0→1 | Shor [[9,1,3]] ⊗ Shor [[9,1,3]] → Shor [[9,1,3]] ⊗ Shor [[9,1,3]] | verified |
| shor/readout-x-decoded@1 | gate | MX 0 → m_out | Shor [[9,1,3]] → ∅ | verified |
| shor/readout-z-decoded@1 | gate | MZ 0 → m_out | Shor [[9,1,3]] → ∅ | verified |
| shor/se-x-round@1 | gate | identity (no declared logical action) | Shor [[9,1,3]] → Shor [[9,1,3]] | verified |
| shor/se-z-round@1 | gate | identity (no declared logical action) | Shor [[9,1,3]] → Shor [[9,1,3]] | verified |
| shor/x-transversal@1 | gate | X 0 | Shor [[9,1,3]] → Shor [[9,1,3]] | verified |
| shor/z-transversal@1 | gate | Z 0 | Shor [[9,1,3]] → Shor [[9,1,3]] | verified |
To other codes
None yet.
Preparations into this code
| protocol | kind | logical action | codes | verification |
|---|---|---|---|---|
| shor/prep-plus@1 | gate | prep |+⟩ | ∅ → Shor [[9,1,3]] | verified |
| shor/prep-zero@1 | gate | prep |0⟩ | ∅ → Shor [[9,1,3]] | verified |
Verification
| field | value |
|---|---|
| status | verified |
| method | bell-choi-exact-v1 |
| patterns_checked | 0 |
| date | 2026-10-07 |
| tools.adaptq | 433813df312502c551d89f624375e0124f4cebbb |
| tools.xtim | xtim-engine-9 |
Provenance
| field | value |
|---|---|
| submitter | ikim |
| source | Shor, Phys. Rev. A 52, R2493 (1995); adaptq.codes_builtin.shor(); exported from adaptq 2612aa6 |
| created | 2026-10-07 |