AlchemQ: Proof-Carrying Quantum Circuit Optimization with Per-Result Equivalence Certificates

arXiv:2609.19160 · quant-ph · Submitted 2026-08-24 · Read on arXiv

quant-ph

Submitted: 2026-08-24

Updated: 2026-08-24

Code: https://github.com/a1damek1125/AlchemQ

Terminology

• Benchmark — 40× in this paper · explained in 2 episodes
• Verifier — 23× in this paper · explained in 2 episodes
• Verification — 18× in this paper · explained in 2 episodes
• Calibration — 11× in this paper · explained in 7 episodes
• Fidelity — 10× in this paper · explained in 2 episodes
• Aggregation — 9× in this paper · explained in 1 episode
• Quantum Circuits — 9× in this paper · explained in 2 episodes
• Ablation — 8× in this paper · explained in 1 episode
• Consistency — 3× in this paper · explained in 3 episodes
• Provenance — 3× in this paper · explained in 3 episodes
• Adam — 2× in this paper · explained in 2 episodes
• Generative AI — 2× in this paper · explained in 2 episodes
• Core — 1× in this paper · explained in 2 episodes
• Empirical Coverage — 1× in this paper · explained in 2 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• Reinforcement Learning — 1× in this paper · explained in 4 episodes
• Reward Shaping — 1× in this paper · explained in 2 episodes

Sources

• ZX-calculus for the working quantum computer scientist
• A Review on Quantum Circuit Optimization using ZX-Calculus
• CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler
• A Verified Compiler for Quantum Simulation
• Assessing Quantum Layout Synthesis Tools via Known Optimal-SWAP Cost Benchmarks
• T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and G\"odel Semantics in a Neuro-Symbolic Reasoning System
• The Heisenberg Representation of Quantum Computers
• Context-Verified, Error-Budget-Aware Decomposition Selection for Toffoli Networks
• Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
• QITE: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms
• QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
• Exploring the optimality of approximate state preparation quantum circuits with a genetic algorithm
• QBalance: A Reproducible Multi-Objective Workflow for Quantum Compilation, Noise Suppression, and Error-Mitigation Strategy Selection
• TRAM: A Transverse Relaxation Time-Aware Qubit Mapping Algorithm for NISQ Devices
• Fidelity-Aware Frequency Allocation and Transpilation Co-Design for Tunable Coupler Quantum Systems
• Per-Phase Fidelity Attribution for Quantum Compilers using HBR Decomposition
• Revisiting Noise-adaptive Transpilation in Quantum Computing: How Much Impact Does it Have?

Related papers

• Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
• Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
• Polynomial-time classical and quantum simulation of quantum impurity models
• Theory of quantum-enhanced interferometry with general Markovian light sources
• A convergent hierarchy of spectral gap certificates for qubit Hamiltonians
• Universal Bound and Phase Transition in Many-Body Fermionic Non-Gaussianity