{"id":"arxiv/2610.31694","url":"https://arxiv.org/abs/2610.31694","tags":["quant-ph"],"score":0,"title":"Verified Pauli-Product Measurement Compilation for Fault-Tolerant Quantum Computation","domain":"quant-ph","source":"arxiv","authors":["John Zhuoyang Ye","Jens Palsberg"],"reviews":0,"subject":"quant-ph","summary":"Fault-tolerant quantum compilers implement gates through Pauli-product measurements and classical feedback. Verifying such a compiler requires reasoning about the quantum state and the recorded outcomes together: a correction reads an outcome, a gate's internal outcomes must be hidden from its caller, and an application's outcomes must survive optimization. We introduce QPPM, a language for Pauli-product measurement programs, with a weakest-precondition semantics over store-indexed matrix assertions, following quantum Hoare logic with classical variables. Every program terminates, so the…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-10-20","reactions":{}}