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

arXiv1911.02137MaRDI QIDQ6503489FDOQ6503489

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

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.

Mathematics Subject Classification ID

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

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)