pfoqcompiler: Efficient Compilation of Quantum Control in Recursive First-Order Quantum Programs

Source: arxiv.org/abs/2611.08503

Mário Silva, Alexandre Guernut, Marco Lewis

arXivarxiv/2611.08503Sep 8, 2026cs.PLscore 0

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…

JSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2611.08503
curl -X POST /api/v1/records/arxiv/2611.08503/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.08503/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'