On the Differential Topology of Expressivity of Parameterized Quantum Circuits
arXiv:2507.16401 · doi:10.3390/appliedmath5030121
Abstract
Parameterized quantum circuits play a key role in quantum computing. Measuring the suitability of such a circuit for solving a class of problems is needed. One such promising measure is the expressivity of a circuit, which is defined in two main variants. The variant in focus of this contribution is the so-called dimensional expressivity which measures the dimension of the submanifold of states produced by the circuit. Understanding this measure needs a lot of background from differential topology which makes it hard to comprehend. In this article we provide this background in a vivid as well as pedagogical manner. Especially it strives towards being self-contained for understanding expressivity, e.g. the required mathematical foundations are provided and examples are given. Also, the literature makes several statements about expressivity the proofs of which are omitted or only indicated. In this article we give proofs for key statements from dimensional expressivity, sometimes revealing limits for generalizing them, and also sketching how to proceed in practice to determine this measure.
References in corpus (18)
- Quantum Computing in the NISQ era and beyond
- Variational Quantum Algorithms
- The theory of variational hybrid quantum-classical algorithms
- Expressibility and entangling capability of parameterized quantum circuits for hybrid quantum-classical algorithms
- Power of data in quantum machine learning
- Quantum Fisher information matrix and multiparameter estimation
- Efficient Learning for Deep Quantum Neural Networks
- Connecting ansatz expressibility to gradient magnitudes and barren plateaus
- A Review on Quantum Approximate Optimization Algorithm and its Variants
- The Bitter Truth About Quantum Algorithms in the NISQ Era
- A Lie Algebraic Theory of Barren Plateaus for Deep Parameterized Quantum Circuits
- Variational Quantum Algorithms for Computational Fluid Dynamics
- On the Universality of the Quantum Approximate Optimization Algorithm
- Dimensional Expressivity Analysis of Parametric Quantum Circuits
- On the expressivity of embedding quantum kernels
- Constrained and Vanishing Expressivity of Quantum Fourier Models
- Warm-Starting the VQE with Approximate Complex Amplitude Encoding
- Expressibility, entangling power and quantum average causal effect for causally indefinite circuits