Trainability ยท Algorithms
Dynamical Lie algebra of a local single-qubit-gate circuit
Theorem statement
For an $n$-qubit variational circuit built from single-qubit gates, the dynamical Lie algebra is spanned by the $3n$ single-site Pauli operators $\{X_j,\,Y_j,\,Z_j\}_{j=1}^{n}$ and equals the orthogonal direct sum of $n$ mutually commuting single-qubit copies of $\mathfrak{su}(2)$: $$\mathfrak g \;=\; \bigoplus_{j=1}^{n}\mathfrak{su}(2)_j,\qquad \dim\mathfrak g = 3n.$$
Sources
- Does provable absence of barren plateaus imply classical simulability? Or, why we need to rethink variational quantum computing
M. Cerezo, Martin Larocca, Diego Garcia-Martin, N. L. Diaz, Paolo Braccia, Enrico Fontana, Manuel S. Rudolph, Pablo Bermejo, Aroosa Ijaz, Supanut Thanasilp, Eric R. Anschuetz, Zoe Holmes, 2023
Lean context
- Lean declaration
QuantumAlg.emb_iSup_span_eq_iUnion_dla
Copy a short prompt with the import, theorem name, citations, and public source link.