EPOC: A Novel Pulse Generation Framework Incorporating Advanced Synthesis Techniques for Quantum Circuits
Abstract: In this paper we propose EPOC, an efficient pulse generation framework for quantum circuits that combines ZX-Calculus, circuit partitioning, and circuit synthesis to accelerate pulse generation. Unlike previous works that focus on generating pulses from unitary matrices without exploring equivalent representations, EPOC employs a finer granularity approach by grouping quantum gates and decomposing the resulting unitary matrices into smaller ones using synthesis techniques. This enables increased parallelism and decreased latency in quantum pulses. EPOC also continuously optimizes the circuit by identifying equivalent representations, leading to further reductions in circuit latency while minimizing the computational overhead associated with quantum optimal control. We introduce circuit synthesis into the workflow of quantum optimal control for the first time and achieve a 31.74% reduction in latency compared to previous work and a 76.80% reduction compared to the gate-based method for creating pulses. The approach demonstrates the potential for significant performance improvements in quantum circuits while minimizing computational overhead.
- Reinforcement learning in different phases of quantum control. Physical Review X 8, 3 (2018), 031086.
- Iulia Buluta and Franco Nori. 2009. Quantum simulators. Science 326, 5949 (2009), 108–111.
- Chopped random-basis quantum optimization. Physical Review A 84, 2 (2011), 022326.
- A pulse generation framework with augmented program-aware basis gates and criticality analysis. In 2023 IEEE International Symposium on High-Performance Computer Architecture (HPCA). IEEE, 773–786.
- Accqoc: Accelerating quantum optimal control based pulse generation. In ISCA 2020. IEEE.
- Fidelity estimator, randomized benchmarking and ZNE for quantum pulses. arXiv preprint arXiv:2305.12597 (2023).
- Bob Coecke and Ross Duncan. 2008. Interacting Quantum Observables. In Automata, Languages and Programming, Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, et al. (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 298–310.
- Bob Coecke and Ross Duncan. 2011. Interacting quantum observables: categorical algebra and diagrammatics. New Journal of Physics 13, 4 (apr 2011), 043016. https://doi.org/10.1088/1367-2630/13/4/043016
- Towards Optimal Topology Aware Quantum Circuit Synthesis. In 2020 IEEE International Conference on Quantum Computing and Engineering (QCE). 223–234. https://doi.org/10.1109/QCE49297.2020.00036
- Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms. Electronic Proceedings in Theoretical Computer Science 318 (May 2020), 85–105. https://doi.org/10.4204/eptcs.318.6
- Ross Duncan and Maxime Lucas. 2014. Verifying the Steane code with Quantomatic. Electronic Proceedings in Theoretical Computer Science 171 (Dec. 2014), 33–49. https://doi.org/10.4204/eptcs.171.4
- Ross Duncan and Simon Perdrix. 2010. Rewriting Measurement-Based Quantum Computations with Generalised Flow. In Automata, Languages and Programming, Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, and Paul G. Spirakis (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 285–296.
- Andrew Fagan and Ross Duncan. 2019. Optimising Clifford Circuits with Quantomatic. Electronic Proceedings in Theoretical Computer Science 287 (Jan. 2019), 85–105. https://doi.org/10.4204/eptcs.287.5
- Optimization of Simultaneous Measurement for Variational Quantum Eigensolver Applications. In 2020 IEEE International Conference on Quantum Computing and Engineering (QCE). IEEE, 379–390.
- Alignment between initial state and mixer improves QAOA performance for constrained optimization. npj Quantum Information 9, 1 (2023), 121.
- A co-design framework of neural networks and quantum circuits towards quantum advantage. Nature communications 12, 1 (2021), 1–13.
- Exploiting the Regular Structure of Modern Quantum Architectures for Compiling and Optimizing Programs with Permutable Operators. In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4. 108–124.
- Optimal control of coupled spin dynamics: design of NMR pulse sequences by gradient ascent algorithms. Journal of magnetic resonance 172, 2 (2005), 296–305.
- Aleks Kissinger and John van de Wetering. 2019. Reducing T-count with the ZX-calculus. arXiv preprint arXiv:1903.10477 (2019).
- Aleks Kissinger and John van de Wetering. 2020. PyZX: Large Scale Automated Diagrammatic Reasoning. arXiv:quant-ph/1904.04735
- Quantum optimal control in quantum technologies. Strategic report on current status, visions and goals for research in Europe. EPJ Quantum Technology 9, 1 (2022), 19.
- A quantum engineer’s guide to superconducting qubits. Applied physics reviews 6, 2 (2019), 021318.
- Speedup for quantum optimal control from automatic differentiation based on graphics processing units. Physical Review A 95, 4 (2017), 042318.
- Quantum chemistry. Vol. 6. Pearson Prentice Hall Upper Saddle River, NJ.
- Qasmbench: A low-level qasm benchmark suite for nisq evaluation and simulation. arXiv preprint arXiv:2005.13018 (2020).
- Tackling the qubit mapping problem for NISQ-era quantum devices. In ASPLOS. 1001–1014.
- NAPA: intermediate-level variational native-pulse ansatz for variational quantum algorithms. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2024).
- Can Noise on Qubits Be Learned in Quantum Neural Network? A Case Study on QuantumFlow. In 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD). IEEE, 1–7.
- Tackling the qubit mapping problem with permutation-aware synthesis. In 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), Vol. 1. IEEE, 745–756.
- Michael A. Nielsen and Isaac L. Chuang. 2010. Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press.
- Advances in quantum teleportation. Nature photonics 9, 10 (2015), 641–652.
- John Preskill. 2018. Quantum Computing in the NISQ era and beyond. Quantum 2 (2018), 79.
- Peter Selinger. 2007. Dagger compact closed categories and completely positive maps. Electronic Notes in Theoretical computer science 170 (2007), 139–163.
- Synthesis of quantum logic circuits. In Proceedings of the 2005 Asia and South Pacific Design Automation Conference. 272–275.
- Model-free quantum control with reinforcement learning. arXiv preprint, arXiv:2104.14539.
- Leap: Scaling numerical optimization based synthesis using an incremental approach. ACM Transactions on Quantum Computing 4, 1 (2023), 1–23.
- Bochen Tan and Jason Cong. 2020. Optimal layout synthesis for quantum computing. In 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD). IEEE, 1–9.
- John van de Wetering. 2020a. ZX-calculus for the working quantum computer scientist. arXiv preprint arXiv:2012.13966 (2020).
- John van de Wetering. 2020b. ZX-calculus for the working quantum computer scientist. arXiv:quant-ph/2012.13966
- Quantum secure direct communication with high-dimension quantum superdense coding. Physical Review A 71, 4 (2005), 044305.
- J Werschnik and EKU Gross. 2007. Quantum optimal control theory. Journal of Physics B: Atomic, Molecular and Optical Physics 40, 18 (2007), R175.
- Wikipedia. 2023. ZX-calculus. https://en.wikipedia.org/w/index.php?title=ZX-calculus&oldid=1108579483 [accessed 4-May-2023].
- The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus. In Proceedings of the 59th ACM/IEEE Design Automation Conference. 1367–1370.
- Berkeley Quantum Synthesis Toolkit (BQSKit) v1. https://doi.org/10.11578/dc.20210603.2
- Qfast: Conflating search and numerical optimization for scalable quantum circuit synthesis. In 2021 IEEE International Conference on Quantum Computing and Engineering (QCE). IEEE, 232–243.
- Jun Zhuang and Mohammad Al Hasan. 2022. Defending graph convolutional networks against dynamic graph perturbations via bayesian self-supervision. In Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 36. 4405–4413.
- An efficient methodology for mapping quantum circuits to the IBM QX architectures. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 38, 7 (2018), 1226–1236.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.