Optimization and Synthesis of Quantum Circuits with Global Gates
summary
Claims an algorithm that converts arbitrary circuits into ones using the ion-trap native gate set: GMS gates plus single-qubit rotations, implemented inside the Python ZX library pix. It rewrites ZX diagrams and modifies circuit extraction so entangling operations group into layers, encodes extraction of commuting CNOTs as a linear program solved by a solver, and reports fewer global gates and lower runtime across three benchmarks (quantum chemistry, MQ T, QuasarBench) in most cases.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 1:08Hardware and global gates
- 2:32Goal of compiling
- 3:33CX calculus and rules
- 5:23Circuit extraction
- 6:26Extraction for optimization
- 8:16Linear program for CNOT
- 9:21Optimizing control-C layers
- 10:46Implementation results
- 12:32Conclusions
- 13:55Q&A
related talks
14mHybrid quantum-classical circuit simplification with the ZX-calculus
24mSynthesizing Quantum-Circuit Optimizers
31mQuantum compilation using the ZX calculus
20mSynthetiq: Fast and Versatile Quantum Circuit Synthesis
22mHow to Synthesize Quantum-Circuit Optimizers
19mExtracting maximum value from today's quantum computers while prep
19mEquality Saturation for Quantum Circuit Optimization
17mQuantum Applications with Classiq