SOURCE-LINKED INTELLIGENCE

LLM-Driven Algorithm Design for Quantum Circuit Synthesis based on Binary Decision Diagrams

arXiv · AI, language, vision and robotics · article · Sep 4, 2026 · UTC

Quantum circuits are central to implementing quantum algorithms on quantum devices, where quantum gates must be reversible. Many quantum algorithms rely on Boolean functions, which must therefore be implemented reversibly within quantum circuits. Reversible circuit synthesis provides a way to translate such Boolean functions into reversible circuits. Binary decision diagrams (BDDs) offer a scalable approach to this task, but the resulting BDDs and circuits depend heavily on variable ordering. Existing ordering heuristics commonly minimize BDD size because it is closely tied to the circuit size

Read original source ↗ Open in workspace

recordType

paper

region

Global