Syndromes and errors during non-Clifford logical gates
Syndromes and errors during non-Clifford logical gates — original question and dated source context.
Problem statement
6.2 Errors during Non-Clifford Logical Gates
Julio Carlos Magdalena de la Fuente (FU Berlin, DE)
License:
Creative Commons BY 4.0 International license © Julio Carlos Magdalena de la Fuente
Pauli errors that happen during the application of a logical non-Clifford gate can create random syndromes. This is a problem when simulating erroneous circuits and decoding them. We discussed how scalable ZX calculus can help in analyzing the effect of Pauli errors between logical gates in the third level of the Clifford hierarchy and stabilizer measurements. For diagonal gates, a normal form provides a compact representation, and we discussed possibilities for utilizing it in the context of simulating syndrome statistics and the propagation of Clifford errors through the circuit.
Lean 4
No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.
Progress & source assessment
Historical source dated 2026-05-08. Current resolution status has not been independently reassessed; bounds and claims in the source context refer to that date.
- [1]Quantum Error Correction Meets ZX-Calculus, Dagstuhl Seminar 25382, section 6.2 link
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.
No machine attempts recorded.
Sign in to run an attempt. New accounts start with enough credits for ten.
Discussion
0 notesNotes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.
No notes yet.
Sign in to add a note.