The QAOA has been the subject of intense study over recent years, yet the corresponding Dynamical Lie Algebra (DLA)--a key indicator of the expressivity and trainability of VQAs--remains poorly understood beyond highly symmetric instances. An exponentially scaling DLA dimension is associated with the presence of so-called barren plateaus (BP) in the optimization landscape, which renders training intractable. In this work, we investigate the DLA of QAOA applied to the canonical MaxCut, for both weighted and unweighted graphs. For weighted graphs, we show that when the weights are drawn from a continuous distribution, the DLA dimension grows as $Θ(4^n)$ almost surely for all connected graphs except paths and cycles. In the more common unweighted setting, we show that asymptotically all but an exponentially vanishing fraction of graphs have $Θ(4^n)$ large DLA dimension. The entire simple Lie algebra decomposition of the corresponding DLAs is also identified, from which we prove that the variance of the loss function is $O(1/2^n)$ , implying that QAOA on these weighted and unweighted graphs all suffers from BP. Moreover, we give explicit constructions for families of graphs whose DLAs have exponential dimension, including cases whose MaxCut is in $\mathsf P$ . Our proof of the unweighted case is based on a number of splitting lemmas and DLA-freeness conditions that allow one to convert prohibitively complicated Lie algebraic problems into amenable graph theoretic problems. These form the basis for a new algorithm that computes such DLAs orders of magnitude faster than previous methods, reducing runtimes from days to seconds on standard hardware. We apply this algorithm to MQLib, a classical MaxCut benchmark suite covering over 3,500 instances with up to 53,130 vertices, and find that, ignoring edge weights, at least 75% of the instances possess a DLA of dimension at least $2^{128}$ .The QAOA has been the subject of intense study over recent years, yet the corresponding Dynamical Lie Algebra (DLA)--a key indicator of the expressivity and trainability of VQAs--remains poorly understood beyond highly symmetric instances. An exponentially scaling DLA dimension is associated with the presence of so-called barren plateaus (BP) in the optimization landscape, which renders training intractable. In this work, we investigate the DLA of QAOA applied to the canonical MaxCut, for both weighted and unweighted graphs. For weighted graphs, we show that when the weights are drawn from a continuous distribution, the DLA dimension grows as $Θ(4^n)$ almost surely for all connected graphs except paths and cycles. In the more common unweighted setting, we show that asymptotically all but an exponentially vanishing fraction of graphs have $Θ(4^n)$ large DLA dimension. The entire simple Lie algebra decomposition of the corresponding DLAs is also identified, from which we prove that the variance of the loss function is $O(1/2^n)$, implying that QAOA on these weighted and unweighted graphs all suffers from BP. Moreover, we give explicit constructions for families of graphs whose DLAs have exponential dimension, including cases whose MaxCut is in $\mathsf P$. Our proof of the unweighted case is based on a number of splitting lemmas and DLA-freeness conditions that allow one to convert prohibitively complicated Lie algebraic problems into amenable graph theoretic problems. These form the basis for a new algorithm that computes such DLAs orders of magnitude faster than previous methods, reducing runtimes from days to seconds on standard hardware. We apply this algorithm to MQLib, a classical MaxCut benchmark suite covering over 3,500 instances with up to 53,130 vertices, and find that, ignoring edge weights, at least 75% of the instances possess a DLA of dimension at least $2^{128}$.

quant-pharXiv:2512.24577Jan 1, 20260 citations

On generating direct powers of dynamical Lie algebras

Jonathan Allcock, Miklós Sántha, Yuan Pei +1 more

The expressibility and trainability of parameterized quantum circuits has been shown to be intimately related to their associated dynamical Lie algebras (DLAs). From a quantum algorithm design perspective, given a set $A$ of DLA generators, two natural questions arise: (i) what is the DLA $\mathfrak{g}_{A}$ generated by ${A}$ ; and (ii) how does modifying the generator set lead to changes in the resulting DLA. While the first question has been the subject of significant attention, much less has been done regarding the second. In this work we focus on the second question, and show how modifying ${A}$ can result in a generator set ${A}'$ such that $\mathfrak{g}_{{A}'}\cong \bigoplus_{j=1}^{K}\mathfrak{g}_{A}$ , for some $K \ge 1$ . In other words, one generates the direct sum of $K$ copies of the original DLA. In particular, we give qubit- and parameter-efficient ways of achieving this, using only $\log K$ additional qubits, and only a constant factor increase in the number of DLA generators. For cyclic DLAs, which include Pauli DLAs and QAOA-MaxCut DLAs as special cases, this can be done with $\log K $ additional qubits and the same number of DLA generators as ${A}$ .The expressibility and trainability of parameterized quantum circuits has been shown to be intimately related to their associated dynamical Lie algebras (DLAs). From a quantum algorithm design perspective, given a set $A$ of DLA generators, two natural questions arise: (i) what is the DLA $\mathfrak{g}_{A}$ generated by ${A}$; and (ii) how does modifying the generator set lead to changes in the resulting DLA. While the first question has been the subject of significant attention, much less has been done regarding the second. In this work we focus on the second question, and show how modifying ${A}$ can result in a generator set ${A}'$ such that $\mathfrak{g}_{{A}'}\cong \bigoplus_{j=1}^{K}\mathfrak{g}_{A}$, for some $K \ge 1$. In other words, one generates the direct sum of $K$ copies of the original DLA. In particular, we give qubit- and parameter-efficient ways of achieving this, using only $\log K$ additional qubits, and only a constant factor increase in the number of DLA generators. For cyclic DLAs, which include Pauli DLAs and QAOA-MaxCut DLAs as special cases, this can be done with $\log K $ additional qubits and the same number of DLA generators as ${A}$.

arXiv:2506.05733Jun 6, 20250 citations

Classification of dynamical Lie algebras generated by spin interactions on undirected graphs

Efekan Kökcü, Roeland Wiersema, Alexander F. Kemper +1 more

Dynamical Lie algebras (DLAs) are a versatile tool for various topics that span from the expressibility-trainability of variational quantum algorithms (VQAs), to simulation of many body Hamiltonians. Quantum gates and most of the Hamiltonians of interest consist of local interactions; therefore, the analysis of all possible DLAs generated by 1- and 2-local operators is crucial for quantum simulation and VQAs on current hardware. Previously in [R. Wiersema et al., npj Quantum Inf. 10, 110 (2024)], we analyzed the DLAs on linear, circular and all-to-all topologies, and obtained results about their dimensions and algebraic structure. In this work, we extend our analysis into any possible hardware topology and provide a classification of all DLAs generated by Pauli strings on any undirected interaction graph. Our results indicate that the DLAs depend solely on whether the connectivity or interaction graph is bipartite or not. In addition, we find that the non-trivial polynomially scaling DLAs appear only on 1D line or circle topologies, and all other DLAs have dimensions scaling exponentially with the system size. Together with the current VQA literature, our results imply that either the majority of VQAs are non-trainable, or we are yet to understand the role of DLAs on the trainability of VQAs.Dynamical Lie algebras (DLAs) are a versatile tool for various topics that span from the expressibility-trainability of variational quantum algorithms (VQAs), to simulation of many body Hamiltonians. Quantum gates and most of the Hamiltonians of interest consist of local interactions; therefore, the analysis of all possible DLAs generated by 1- and 2-local operators is crucial for quantum simulation and VQAs on current hardware. Previously in [R. Wiersema et al., npj Quantum Inf. 10, 110 (2024)], we analyzed the DLAs on linear, circular and all-to-all topologies, and obtained results about their dimensions and algebraic structure. In this work, we extend our analysis into any possible hardware topology and provide a classification of all DLAs generated by Pauli strings on any undirected interaction graph. Our results indicate that the DLAs depend solely on whether the connectivity or interaction graph is bipartite or not. In addition, we find that the non-trivial polynomially scaling DLAs appear only on 1D line or circle topologies, and all other DLAs have dimensions scaling exponentially with the system size. Together with the current VQA literature, our results imply that either the majority of VQAs are non-trainable, or we are yet to understand the role of DLAs on the trainability of VQAs.

arXiv:2409.19797Journal of Mathematical PhysicsMay 1, 20263 citations

Θ(4^n)

almost surely for all connected graphs except paths and cycles. In the more common unweighted setting, we show that asymptotically all but an exponentially vanishing fraction of graphs have

Θ(4^n)

large DLA dimension. The entire simple Lie algebra decomposition of the corresponding DLAs is also identified, from which we prove that the variance of the loss function is

O(1/2^n)

, implying that QAOA on these weighted and unweighted graphs all suffers from BP. Moreover, we give explicit constructions for families of graphs whose DLAs have exponential dimension, including cases whose MaxCut is in

\mathsf P

. Our proof of the unweighted case is based on a number of splitting lemmas and DLA-freeness conditions that allow one to convert prohibitively complicated Lie algebraic problems into amenable graph theoretic problems. These form the basis for a new algorithm that computes such DLAs orders of magnitude faster than previous methods, reducing runtimes from days to seconds on standard hardware. We apply this algorithm to MQLib, a classical MaxCut benchmark suite covering over 3,500 instances with up to 53,130 vertices, and find that, ignoring edge weights, at least 75% of the instances possess a DLA of dimension at least

2^{128}

A

of DLA generators, two natural questions arise: (i) what is the DLA

\mathfrak{g}_{A}

generated by

{A}

; and (ii) how does modifying the generator set lead to changes in the resulting DLA. While the first question has been the subject of significant attention, much less has been done regarding the second. In this work we focus on the second question, and show how modifying

{A}

can result in a generator set

{A}'

such that

\mathfrak{g}_{{A}'}\cong \bigoplus_{j=1}^{K}\mathfrak{g}_{A}

, for some

K \ge 1

. In other words, one generates the direct sum of

K

copies of the original DLA. In particular, we give qubit- and parameter-efficient ways of achieving this, using only

\log K

additional qubits, and only a constant factor increase in the number of DLA generators. For cyclic DLAs, which include Pauli DLAs and QAOA-MaxCut DLAs as special cases, this can be done with $\log K $ additional qubits and the same number of DLA generators as

{A}