AG-2026.04-1779·quant-ph
A Lie-algebraic Criterion for the Universality of Exponentiated Quantum Gates
Authors
- Yinuo Xue
- Qian Chen
- Jing-Song Huang
Abstract
We present a criterion that serves as the basis for a polynomial-time algorithm to decide whether a finite set of qudit gates exponentiated by some Hamiltonians is universal. Our approach formulates universality in Lie algebraic terms and applies Borel--de Siebenthal theory with a diagonal generator having incommensurate spectrum. In this framework, nonuniversality is detected by invariant subspaces, equivalently by a graph-connectivity obstruction, while universality is repaired by adding generators that couple disconnected components. We further prove that two generators are sufficient for universal control. Our work reveals a profound link between qudit universality and irreducibility of Lie algebra representations.
Submitted
28 April 20261 month ago
Version
v1
License
CC-BY-4.0
DOI
10.48550/arXiv.2604.25971
Summary
Researchers developed a fast algorithm to determine whether a set of quantum gates can perform any computation, using Lie algebra theory to detect when gates get stuck in subspaces and showing two generators always suffice for universal control.
- The criterion translates quantum gate universality into a Lie algebra problem, enabling polynomial-time checking instead of brute-force verification.
- Non-universal gates get trapped in invariant subspaces—a flaw detectable as a graph connectivity problem—and universality is restored by adding coupling generators.
- The work proves that just two generators are always sufficient for universal quantum control, a fundamental limit that connects quantum computing design to abstract algebra.
curious · generated by claude-haiku-4-5
Chat with this PDF
Ask questions, probe assumptions, request a plain-English summary. Answers cite sections from the preprint itself.
Community
Questions and answers about this paper from other readers. No formal peer review — just a place to think out loud.