Elementary Quantum Gates from Lie Group Embeddings in $U(2^n)$: Geometry, Universality, and Discretization

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Falco, Antonio, Falco-Pomares, Daniela, Matthies, Hermann G.
Format: Preprint
Published: 2026
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866917304797757440
author Falco, Antonio
Falco-Pomares, Daniela
Matthies, Hermann G.
author_facet Falco, Antonio
Falco-Pomares, Daniela
Matthies, Hermann G.
contents In the standard circuit model, elementary gates are defined relative to a chosen tensor factorization and are therefore extrinsic to the ambient group $U(2^n)$. Writing $N=2^n$, we introduce an \emph{intrinsic descriptor layer} in $U(N)$ by declaring as primitive the motions inside faithful embedded copies of $SU(2)$ (phase-free), together with a phase-inclusive $U(2)$ variant. We describe the embedding landscape $\Emb(SU(2),U(N))$ as a finite union of $U(N)$-homogeneous strata indexed by isotypic multiplicities, with stabilizers given by centralizers, and we isolate a canonical \emph{two-level sector} parameterized by $\Gr_2(\C^N)$ up to a $PSU(2)$ gauge. Equipping $U(N)$ with the Hilbert--Schmidt bi-invariant metric, each embedded subgroup is totally geodesic, yielding a variational characterization of elementary motions via minimal-norm logarithms. On the constructive side, we prove phase-free universality in $SU(N)$ from two-level primitives using QR/Givens factorizations together with explicit diagonal generation, and we obtain full universality in $U(N)$ by explicit abelian phase bookkeeping (equivalently, via the $U(2)$ two-level dictionary). Finally, we formalize a modular finite-alphabet compilation interface: any approximation routine in $SU(2)$ (e.g.\ Solovay--Kitaev) can be lifted through two-level embeddings to yield $U(N)$-level synthesis with global operator-norm error control.
format Preprint
id arxiv_https___arxiv_org_abs_2601_17936
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Elementary Quantum Gates from Lie Group Embeddings in $U(2^n)$: Geometry, Universality, and Discretization
Falco, Antonio
Falco-Pomares, Daniela
Matthies, Hermann G.
Quantum Physics
Numerical Analysis
81P68, 68Q12, 22E46
In the standard circuit model, elementary gates are defined relative to a chosen tensor factorization and are therefore extrinsic to the ambient group $U(2^n)$. Writing $N=2^n$, we introduce an \emph{intrinsic descriptor layer} in $U(N)$ by declaring as primitive the motions inside faithful embedded copies of $SU(2)$ (phase-free), together with a phase-inclusive $U(2)$ variant. We describe the embedding landscape $\Emb(SU(2),U(N))$ as a finite union of $U(N)$-homogeneous strata indexed by isotypic multiplicities, with stabilizers given by centralizers, and we isolate a canonical \emph{two-level sector} parameterized by $\Gr_2(\C^N)$ up to a $PSU(2)$ gauge. Equipping $U(N)$ with the Hilbert--Schmidt bi-invariant metric, each embedded subgroup is totally geodesic, yielding a variational characterization of elementary motions via minimal-norm logarithms. On the constructive side, we prove phase-free universality in $SU(N)$ from two-level primitives using QR/Givens factorizations together with explicit diagonal generation, and we obtain full universality in $U(N)$ by explicit abelian phase bookkeeping (equivalently, via the $U(2)$ two-level dictionary). Finally, we formalize a modular finite-alphabet compilation interface: any approximation routine in $SU(2)$ (e.g.\ Solovay--Kitaev) can be lifted through two-level embeddings to yield $U(N)$-level synthesis with global operator-norm error control.
title Elementary Quantum Gates from Lie Group Embeddings in $U(2^n)$: Geometry, Universality, and Discretization
topic Quantum Physics
Numerical Analysis
81P68, 68Q12, 22E46
url https://arxiv.org/abs/2601.17936