Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware
arXiv:2403.10864 · doi:10.4204/EPTCS.406.5
Abstract
Quantum circuit synthesis describes the process of converting arbitrary unitary operations into a gate sequence of a fixed universal gate set, usually defined by the operations native to a given hardware platform. Most current synthesis algorithms are designed to synthesize towards a set of single qubit rotations and an additional entangling two qubit gate, such as CX, CZ, or the Molmer Sorensen gate. However, with the emergence of neutral atom based hardware and their native support for gates with more than two qubits, synthesis approaches tailored to these new gate sets become necessary. In this work, we present an approach to synthesize multi controlled phase gates using ZX calculus. By representing quantum circuits as graph like ZX diagrams, one can utilize the distinct graph structure of diagonal gates to identify multi controlled phase gates inherently present in some quantum circuits even if none were explicitly defined in the original circuit. We evaluate the approach on a wide range of benchmark circuits and compare them to the standard Qiskit synthesis regarding its circuit execution time for neutral atom based hardware with native support of multi controlled gates. Our results show possible advantages for current state of the art hardware and represent the first exact synthesis algorithm supporting arbitrary sized multi controlled phase gates.
arXiv commentIn Proceedings QPL 2024, arXiv:2408.05113
References in corpus (31)
- Quantum information with Rydberg atoms
- Logical quantum processor based on reconfigurable atom arrays
- Measurement-based quantum computation
- An atom-by-atom assembler of defect-free arbitrary 2d atomic arrays
- Synthesis of Quantum Logic Circuits
- Quantum computing with atomic qubits and Rydberg interactions: Progress and challenges
- Parallel implementation of high-fidelity multi-qubit gates with neutral atoms
- Demonstration of multi-qubit entanglement and algorithms on a programmable neutral atom quantum computer
- High-fidelity parallel entangling gates on a neutral atom quantum computer
- Quantum computing with neutral atoms
- High-Fidelity Entanglement and Detection of Alkaline-Earth Rydberg Atoms
- Quantum simulation and computing with Rydberg-interacting qubits
- Mesoscopic Rydberg Gate based on Electromagnetically Induced Transparency
- MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
- Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
- Reducing T-count with the ZX-calculus
- Generalized Flow and Determinism in Measurement-based Quantum Computation
- Towards Large-scale Functional Verification of Universal Quantum Circuits
- PyZX: Large Scale Automated Diagrammatic Reasoning
- There and back again: A circuit extraction tale
- Dispersive optical systems for scalable Raman driving of hyperfine qubits
- On the CNOT-complexity of CNOT-PHASE circuits
- Multi-ensemble metrology by programming local rotations with atom movements
- Quantum optimization via four-body Rydberg gates
- Equivalence Checking of Quantum Circuits with the ZX-Calculus
- Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors
- Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts
- Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization
- Relating Measurement Patterns to Circuits via Pauli Flow
- Characterization, synthesis, and optimization of quantum circuits over multiple-control -rotation gates: A systematic study
- Synthesizing Toffoli-optimal quantum circuits for arbitrary multi-qubit unitaries