{"id":"arxiv/2611.02345","url":"https://arxiv.org/abs/2611.02345","tags":["cs.PL","quant-ph"],"score":0,"title":"MBUndo: Sound, Automatic, and Efficient Measurement-Based Uncomputation for Quantum Circuits","domain":"cs.PL","source":"arxiv","authors":["Shengyuan Yang","Charles Yuan"],"reviews":0,"subject":"cs.PL","summary":"Quantum programs that use temporary values, known as \\emph{ancilla} qubits, must explicitly \\emph{uncompute} each ancilla back to zero to ensure that the program produces correct outputs. Conventional uncomputation uses unitary quantum gates, whereas leading quantum algorithms now leverage \\emph{measurement-based uncomputation} (MBU), which replaces costly unitary $T$ gates with cheaper measurements and phase corrections. Current quantum programming frameworks can use measurement to uncompute specific gates such as Toffoli. No automatic transformation, however, accepts an arbitrary circuit…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-11-02","reactions":{}}