Much is understood about 1-dimensional spin chains in terms of entanglement properties, physical phases, and integrability. However, the Lie algebraic properties of the Hamiltonians describing these systems remain largely unexplored. In this work, we provide a classification of all Lie algebras generated by the terms of 2-local spin chain Hamiltonians, or so-called dynamical Lie algebras, on 1-dimensional linear and circular lattice structures. We find 17 unique dynamical Lie algebras. Our classification includes some well-known models such as the transverse-field Ising model and the Heisenberg chain, and we also find more exotic classes of Hamiltonians that appear new. In addition to the closed and open spin chains, we consider systems with a fully connected topology, which may be relevant for quantum machine learning approaches. We discuss the practical implications of our work in the context of variational quantum computing, quantum control and the spin chain literature.
Much is understood about 1-dimensional spin chains in terms of entanglement properties, physical phases, and integrability. However, the Lie algebraic properties of the Hamiltonians describing these systems remain largely unexplored. In this work, we provide a classification of all Lie algebras generated by the terms of 2-local spin chain Hamiltonians, or so-called dynamical Lie algebras, on 1-dimensional linear and circular lattice structures. We find 17 unique dynamical Lie algebras. Our classification includes some well-known models such as the transverse-field Ising model and the Heisenberg chain, and we also find more exotic classes of Hamiltonians that appear new. In addition to the closed and open spin chains, we consider systems with a fully connected topology, which may be relevant for quantum machine learning approaches. We discuss the practical implications of our work in the context of variational quantum computing, quantum control and the spin chain literature.
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.
In this paper, we present a controllability analysis of the quantum Ising periodic chain of n spin 1/2 particles where the interpolating parameter between the two Hamiltonians plays the role of the control. A fundamental result in the control theory of quantum systems states that the set of achievable evolutions is (dense in) the Lie group corresponding to the Lie algebra generated by the Hamiltonians of the system. Such a dynamical Lie algebra therefore characterizes all the state transitions available for a given system. For the Ising spin periodic chain we characterize such a dynamical Lie algebra and therefore the set of all reachable states. In particular, we prove that the dynamical Lie algebra is a (3n-1)-dimensional Lie sub-algebra of su(2^n) which is a direct sum of a two dimensional center and a (3n-3)-dimensional semisimple Lie subalgebra. This in turn is the direct sum of n-1 Lie algebras isomorphic to su(2) parametrized by the eigenvalues of a fixed matrix. We display the basis for each of these Lie subalgebras. Therefore the problem of control for the Ising spin periodic chain is, modulo the two dimensional center, a problem of simultaneous control of n-1 spin 1/2 particles. In the process of proving this result, we develop some tools which are of general interest for the controllability analysis of quantum systems with symmetry.
Abstract The Ising spin model is a fundamental theoretical model in statistical physics which has received large attention in the context of quantum phase transitions (Sachdev S 2011 Quantum Phase Transitions (Cambridge University) Press) and, more recently, in quantum information (King et al 2022 Nat. Phys. 18 1324–8). In this paper, we present a controllability analysis of the quantum Ising periodic chain (1-dimensional) of n spin 1 2 particles (Pfeuty 1970 Ann. Phys 57 79–90) where the interpolating parameter between the two Hamiltonians plays the role of the control. The controllability is characterized by the dynamical Lie algebra generated by the two Hamiltonians (D’Alessandro 2021 Introduction to Quantum Control and Dynamics (CRC Press Taylor and Francis)). It is known (see, e.g. (Minami 2021 Nucl. Phys. B 973 115599; Roan 1991 Max-Plank-. Math. ; Von Gehlen and Rittenberg 1985 Nucl. Phys. B 257 351–70) that such a Lie algebra is an Onsager algebra . We present an alternative derivation of this result which is based on the algebra of Pauli matrices and Pauli strings . This derivation displays the explicit basis of the Lie algebra and of its simple ideals and center in the relevant representation of the space of n qubits ( C 2 ) ⊗ n . We discuss how these results match the ones of the seminal paper by Onsager (Onsager 1944 Phys. Rev. 65 3–4) which were obtained in the context of classical statistical mechanics. Applications to quantum information and control are also discussed.
We analyze Fock-state lattices (FSLs) from an algebraic viewpoint. Starting from a Lie algebra, we associate a FSL constructed from the action of its generators: diagonal (Cartan) generators define the lattice sites, while off-diagonal (root) generators determine the lattice bonds. This construction reveals that identifying an underlying algebraic structure provides direct physical insight into FSLs, including their dimensionality, connectivity, symmetry constraints, and possible transport and revival phenomena. By examining several common Lie algebras, we identify not only their associated FSLs but also the corresponding Lie phase spaces, thereby establishing a systematic connection between FSL dynamics and phase-space geometry. In many cases, both the phase space and the FSL exhibit nontrivial curvature, opening possibilities for exploring quantum dynamics in curved synthetic spaces. We further address whether every integrable Hamiltonian admits an underlying Lie algebra that reproduces the same FSL structure. We show that this is not generally the case, particularly for Hamiltonians that are nonlinear in the generators, and that for systems combining different types of degrees of freedom the appropriate underlying structure may instead be a Lie superalgebra.
Lie groups, and therefore Lie algebras, are fundamental structures in quantum physics that determine the space of possible trajectories of evolving systems. However, classification and characterization methods for these structures are often impractical for larger systems. In this work, we provide a comprehensive classification of Lie algebras generated by an arbitrary set of Pauli operators, from which an efficient method to characterize them follows. By mapping the problem to a graph setting, we identify a reduced set of equivalence classes: the free-fermionic Lie algebra, the set of all anti-symmetric Paulis on n qubits, the Lie algebra of symplectic Paulis on n qubits, and the space of all Pauli operators on n qubits, as well as controlled versions thereof. Moreover, out of these, we distinguish 6 Clifford inequivalent cases and find a simple set of canonical operators for each, which allow us to give a physical interpretation of the dynamics of each class. Our findings reveal a no-go result for the existence of small Lie algebras beyond the free-fermionic case in the Pauli setting and offer efficiently computable criteria for universality and extendibility of gate sets. These results bear significant impact in ideas in a number of fields like quantum control, quantum machine learning, or classical simulation of quantum circuits.
Determining the unitary dynamics accessible from finite Hamiltonian resources is a central problem in Hamiltonian engineering and quantum control. Dynamical Lie algebras (DLAs) connect available control Hamiltonians with the reachable dynamics, but their use as a design tool for modifying Hamiltonian generator sets remains less developed. In this work, we develop a finite-dimensional DLA framework for three generator-set operations: composition, invariance, and reduction. For composition, we construct direct sums of component DLAs using spectral projectors on an auxiliary register. For invariance, we analyze when modifications of Pauli-string generating sets preserve the generated Lie algebra, and introduce algebraic diagnostics for added generators. For reduction, we consider compact reductive DLAs and show how projection onto selected simple ideals gives reduced generating sets whose Lie closures are the corresponding ideal sums. We illustrate these results with finite-dimensional examples and numerical checks, including direct-sum dimension addition, central-spin invariance diagnostics, and DLA-based ansatz reduction for block-local Hamiltonians. The results show how DLA structure can be used to diagnose controllability and guide Hamiltonian generator design under explicit algebraic assumptions.