{"id":"arxiv/2610.06142","url":"https://arxiv.org/abs/2610.06142","tags":["quant-ph","cs.SE"],"score":0,"title":"When Equivalent Quantum Circuits Lose Synthesis Choices","domain":"quant-ph","source":"arxiv","authors":["Boshuai Ye","Peng Liang","Arif Ali Khan"],"reviews":0,"subject":"quant-ph","summary":"Quantum compilers synthesize high-level operations, such as the quantum Fourier transform and multi-controlled X gates, into gate-level circuits. Across compilation stages, a circuit may be serialized, exchanged as OpenQASM, converted between compilers, or lowered to gates. These representation changes can preserve computation while removing the high-level operation itself, leaving the receiving compiler unable to apply a requested synthesis method. We call this loss synthesis availability. We study synthesis availability in Qiskit, TKET, and Cirq through controlled experiments, repository…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-10-05","reactions":{}}