Sarnak's conjecture in quantum computing, cyclotomic unitary group coranks, and Shimura curves

MaRDI QIDQ6503489arXivFDO

Authors Colin Ingalls, Bruce W. Jordan, Allan G. Keeton, Adam Logan, Yevgeny Zaytman

Mathematics Subject Classification ID

Linear algebraic groups over global fields and their integers (20G30) Cyclotomic extensions (11R18) Quantum gates (81P65)

Abstract: The corank of a group $G$ is the maximum $k$ such that $G$ surjects onto a free group of rank $k$. We study the corank of the groups $operatorname{PSU}_2$ and $operatorname{PU}_2$ over cyclotomic rings $mathbfZ[zet{a}_n,1/2]$ with $zet{a}_n=e^{2pii/n}$, $n=2^s$ or $n=3cdot{2}^s$, $ngeq8$. We do this by studying their actions on Bruhat-Tits trees constructed using definite quaternion algebras. The quotients of the trees by this action are finite graphs whose first Betti number is the corank of the group. Our main result is that for the families $n=2^s$ and $n=3cdot{2}^s$ the corank grows doubly exponentially in $s$ as $sightarrowinfty$; it is $0$ precisely when $n=8,12,16,24$. We deduce from this main result a theorem on the Clifford-cyclotomic group in quantum computing.

This page was built for publication: Sarnak's conjecture in quantum computing, cyclotomic unitary group coranks, and Shimura curves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6503489)