The Lie algebra of XY-mixer topologies and warm starting QAOA for constrained optimization

The XY-mixer is widely used in quantum computing, particularly in variational quantum algorithms like the Quantum Alternating Operator Ansatz (QAOA). It is effective for solving Cardinality Constrained Optimization problems, a broad class of NP-hard tasks. We provide explicit decompositions of the dynamical Lie algebras (DLAs) for various XY-mixer topologies. When these DLAs decompose into polynomial-sized Lie algebras, they are efficiently trainable, such as in cycle XY-mixers with arbitrary RZ