AlphaClifford is a model‑based reinforcement learning framework that uses Monte Carlo Tree Search to synthesize Clifford circuits from the H, S, and CNOT gate set. By modeling the state space with the algebraic properties of the symplectic group, it consistently reduces total and two‑qubit gate counts compared to existing heuristics. The approach also extends to hardware‑constrained transpilation and serves as a post‑synthesis optimizer in a full Clifford+T pipeline.
By Daniele Lizzio Bosco, Jacopo Cossio, Carla Piazza, Giuseppe Serra
The review examines how machine learning can adapt quantum combinatorial optimization workflows by learning decisions such as formulation, penalties, shot budgets, and backend selection. It categorizes the literature into three paradigms—AI for quantum optimization, quantum for AI-driven optimization, and AI‑quantum co‑optimization—and analyzes 119 papers, finding stronger evidence for AI assisting quantum methods than for quantum enhancing learned optimizers. The authors highlight limited experimental controls, introduce an M0‑M5 evidence hierarchy, and argue that scaling is a systems problem requiring careful allocation of classical and quantum resources.
By Hoong Chuin LAU
arXiv:2610. 37045v1 Announce Type: new Abstract: Efficient quantum circuit compilation is challenging for quantum computers, where limited qubit connectivity can introduce substantial overhead in the implementation of logical operations.
By Daniele Lizzio Bosco, Jacopo Cossio, Simone Faro, Francesco Pio Marino, Gabriele Messina, Carla Piazza, Giuseppe Serra
Bridge of Ψ's (BOPS) is a generative model that learns to transform quantum circuits into equivalent, optimized versions using Schr"odinger bridges and a custom denoiser architecture. Trained on data engineered to challenge existing optimizers, BOPS achieves a 2.46× reduction in gate count and a 2.45× reduction in depth on 8‑qubit, 64‑depth Clifford+$T$ circuits, outperforming nine baseline optimizers. This work demonstrates the first successful application of generative machine learning to quantum circuit optimization, expanding the quantum compilation stack with learned techniques.
By Lino S. Hofstetter, Lia Yeh, Prakash Murali
The paper presents a method for learning the mapping from combinatorial optimization problem instances to high‑quality variational angles for the Quantum Approximate Optimization Algorithm (QAOA). By training models that predict these angles, the authors replace the expensive per‑instance classical optimization with a single forward pass, achieving near‑identical solution quality while being several orders of magnitude faster. The learned models generalize to unseen graph topologies, and experiments on quantum hardware confirm that the sampled solutions are indistinguishable from those obtained with traditional solver‑derived angles.
By Johannes Jakubik, Isabelle Wittmann, Zaheed Gaffoor, Gciniwe Simphiwe Baloyi, Craig Mahlasi, Etienne Vos, Thomas Brunschwiler, Daniel J. Egger
The paper introduces a fully quantum method, Quantum Hamiltonian Descent (QHD), for training parametric quantum circuits by treating circuit parameters as quantum particle positions in a potential defined by the cost function. It demonstrates that, for smooth periodic cost functions, the simulation error is bounded independently of grid resolution and grows at most linearly with the number of parameters, while the dynamics depend on a single schedule curve that can be optimized to reduce gate count. Numerical simulations on benchmark functions and circuits show that schedules designed in this way significantly improve the probability of locating the global minimum compared to conventional approaches.
By Marco Burato, Leonardo Banchi
arXiv:2510. 12430v2 Announce Type: replace-cross Abstract: Translating a general quantum circuit on a specific hardware topology with a reduced set of available gates, also known as transpilation, comes with a substantial increase in the length of the equivalent circuit.
By Bodo Rosenhahn, Tobias J. Osborne, Christoph Hirche
arXiv:2607. 20225v1 Announce Type: cross Abstract: While combinatorial optimization problems are central to many scientific and engineering applications, their solution remains challenging due to exponentially large search spaces.
By Seongmin Kim, Abhinav Rijal, Yuri Alexeev, Nora Bauer, Martin Roetteler, Mina Yoon, George Siopsis, In-Saeng Suh
arXiv:2607. 21121v1 Announce Type: cross Abstract: In this work, a quantum architecture search framework for approximate quantum state preparation (QSP) is proposed.
By Marco Mordacci, Michele Amoretti
The paper introduces QuantumEvo, an evolutionary framework that employs a large language model (LLM) to generate heuristics for ordering variables in binary decision diagrams (BDDs) used in reversible quantum circuit synthesis. By searching over heuristic families and directly manipulating BDD variable orderings, QuantumEvo produces the HGA-QE heuristic, which modifies the sifting step of a genetic algorithm to better align with quantum circuit cost (QCC). Across benchmark sets, HGA-QE achieves a 70.9% tie-or-win rate against the best per-function baseline and strictly outperforms it on 13.5% of functions, demonstrating competitive QCC performance and a clear advantage on benchmarks from different data sources.
By Yoonju Sim, Federico Berto, Chuanbo Hua, Jinkyoo Park, Changhyun Kwon
arXiv:2608. 12936v1 Announce Type: cross Abstract: As quantum computing progresses from proof-of-principle demonstrations toward practical utility, a significant impediment is the need to augment algorithmic feasibility with system-level optimization across heterogeneous hardware and software stacks.
By Harshkumar Oza, Aritra Sarkar, Syed Naqi Abbas, Rahul Bhowmick, Aryan Prakash, Prateek P Kulkarni, Krishna Kumar Sabapathy
As quantum computing progresses from proof-of-principle demonstrations toward practical utility, a significant impediment is the need to augment algorithmic feasibility with system-level optimization across heterogeneous hardware and software stacks. Quantum resource estimation (QRE) plays a central role in this transition, yet existing approaches remain largely compilation-heavy or domain-knowledge-guided symbolic annotations, and tightly coupled to long-term fault-tolerant assumptions, limiting their topical applicability.