{"id":"arxiv/2610.09749","url":"https://arxiv.org/abs/2610.09749","tags":["quant-ph"],"score":0,"title":"Automated reduction of fault-tolerant circuits","domain":"quant-ph","source":"arxiv","authors":["Hyeongjun Jeon","Jeonghoon Lee","Taehyun Kim"],"reviews":0,"subject":"quant-ph","summary":"We present an automated method for reducing fault-tolerant circuits through fault-equivalent rewrites. Starting from a known fault-tolerant circuit, the search applies non-reducing enabling rules to expose Bell-pair reductions, each of which removes an ancilla preparation and a CNOT gate. Because every search transition preserves fault equivalence, the resulting circuits inherit the fault-tolerance properties of the input circuit. Candidate circuits are evaluated using circuit-level Monte Carlo simulation. For Shor-style syndrome extraction with the $[[7,1,3]]$ code, our method reduces one…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-10-07","reactions":{}}