{"id":"arxiv/2611.08503","url":"https://arxiv.org/abs/2611.08503","tags":["cs.PL","cs.LO","quant-ph"],"score":0,"title":"pfoqcompiler: Efficient Compilation of Quantum Control in Recursive First-Order Quantum Programs","domain":"cs.PL","source":"arxiv","authors":["Mário Silva","Alexandre Guernut","Marco Lewis"],"reviews":0,"subject":"cs.PL","summary":"Recursive quantum control allows for simple and concise descriptions of algorithms. However, a naive circuit compilation sequentializes the different branches of the quantum if-statement and results in an exponential increase in circuit depth. Existing techniques can parallelize these branches, but do so at the cost of an exponential number of ancillary qubits. We present pfoqcompiler, a compiler targeting Qiskit for the first-order quantum programming language FOQ that exploits program structure to merge compatible recursive procedure calls across quantum branches. We introduce weaker…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}