Diagrammatic Analysis for Parameterized Quantum Circuits
arXiv:2204.01307 · doi:10.4204/EPTCS.394.15
Abstract
Diagrammatic representations of quantum algorithms and circuits offer novel approaches to their design and analysis. In this work, we describe extensions of the ZX-calculus especially suitable for parameterized quantum circuits, in particular for computing observable expectation values as functions of or for fixed parameters, which are important algorithmic quantities in a variety of applications ranging from combinatorial optimization to quantum chemistry. We provide several new ZX-diagram rewrite rules and generalizations for this setting. In particular, we give formal rules for dealing with linear combinations of ZX-diagrams, where the relative complex-valued scale factors of each diagram must be kept track of, in contrast to most previously studied single-diagram realizations where these coefficients can be effectively ignored. This allows us to directly import a number useful relations from the operator analysis to ZX-calculus setting, including causal cone and quantum gate commutation rules. We demonstrate that the diagrammatic approach offers useful insights into algorithm structure and performance by considering several ansatze from the literature including realizations of hardware-efficient ansatze and QAOA. We find that by employing a diagrammatic representation, calculations across different ansatze can become more intuitive and potentially easier to approach systematically than by alternative means. Finally, we outline how diagrammatic approaches may aid in the design and study of new and more effective quantum circuit ansatze.
arXiv commentIn Proceedings QPL 2022, arXiv:2311.08375
References in corpus (40)
- Quantum Computing in the NISQ era and beyond
- A variational eigenvalue solver on a quantum processor
- Variational Quantum Algorithms
- Barren plateaus in quantum neural network training landscapes
- The theory of variational hybrid quantum-classical algorithms
- A Quantum Approximate Optimization Algorithm
- Noisy intermediate-scale quantum (NISQ) algorithms
- From the Quantum Approximate Optimization Algorithm to a Quantum Alternating Operator Ansatz
- Training variational quantum algorithms is NP-hard
- Quantum Approximate Optimization Algorithm for MaxCut: A Fermionic View
- Algorithms for entanglement renormalization
- Interacting Quantum Observables: Categorical Algebra and Diagrammatics
- General parameter-shift rules for quantum gradients
- Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
- -mixers: analytical and numerical results for QAOA
- Reducing T-count with the ZX-calculus
- PyZX: Large Scale Automated Diagrammatic Reasoning
- Gradients of parameterized quantum gates using the parameter-shift rule and gate decomposition
- Phase Gadget Synthesis for Shallow Circuits
- On the representation of Boolean and real functions as Hamiltonians for quantum computing
- There and back again: A circuit extraction tale
- Analyzing the barren plateau phenomenon in training quantum neural networks with the ZX-calculus
- ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity
- Classical symmetries and the Quantum Approximate Optimization Algorithm
- Dimensional Expressivity Analysis of Parametric Quantum Circuits
- Exploiting Symmetry Reduces the Cost of Training QAOA
- Quantum Algorithms for Scientific Computing and Approximate Optimization
- Analytical Framework for Quantum Alternating Operator Ansätze
- A diagrammatic approach to variational quantum ansatz construction
- Qutrit Dichromatic Calculus and Its Universality
- Depicting qudit quantum mechanics and mutually unbiased qudit theories
- Diagrammatic Differentiation for Quantum Machine Learning
- ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification
- Simplification Strategies for the Qutrit ZX-Calculus
- Diagrammatic Design and Study of Ansätze for Quantum Machine Learning
- AKLT-states as ZX-diagrams: diagrammatic reasoning for quantum states
- Y-Calculus: A Language for Real Matrices Derived from the ZX-Calculus
- Sheet diagrams for bimonoidal categories
- Quantum Algorithms and Oracles with the Scalable ZX-calculus
- Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)