Abstract:Sarnak's conjecture in quantum computing concerns when the groups $\operatorname{PU}_2$ and $\operatorname{PSU}_2$ over cyclotomic rings $\mathbb{Z}[\zeta_n, 1/2]$ with $\zeta_n=e^{2\pi i/n}$, $4|n$, are generated by the Clifford-cyclotomic gate set. We previously settled this using Euler-Poincaré characteristics. A generalization of Sarnak's conjecture is to ask when these groups are generated by torsion elements. An obstruction to this is provided by the corank: a group $G$ has $\operatorname{corank} G >0$ only if $G$ is not generated by torsion elements. In this paper we study the corank of these cyclotomic unitary groups in the families $n=2^s$ and $n=3\cdot 2^s$, $n\geq 8$, by letting them act on Bruhat-Tits trees. The quotients by this action are finite graphs whose first Betti number is the corank of the group. Our main result is that for $n=2^s$ and $n=3\cdot 2^s$ the corank groups doubly exponentially in $s$ as $s\rightarrow \infty$; it is $0$ precisely when $n=8,12, 16,24$ and indeed the cyclotomic unitary groups are generated by torsion elements (in fact by the Clifford-cyclotomic gates) for these $n$. We give explicit lower bounds for the corank in two different ways. The first is to bound the isotropy subgroups in the action on the tree by explicit cyclotomy. The second is to relate our graphs to Shimura curves over $F_n=\mathbb{Q}(\zeta_n)^+$ via interchanging local invariants and applying a result of Selberg and Zograf. We show that the cyclotomy arguments give the stronger bounds. In a final section we execute a program of Sarnak to show that our results for the $n=2^s$ and $n=3\cdot 2^s$ families are sufficient to give a second proof of Sarnak's conjecture.

A proof of the refined PRV conjecture via the cyclic convolution variety

A remark on a theorem of Narasimhan and Ramanan

A Note on Kahler-Ricci Soliton

Eigencones and the PRV conjecture

A proof of the Kudla-Rapoport conjecture for Krämer models

A proof of a Dumortier-Roussarie's conjecture

Proof of a conjecture of Kudla and Rallis on quotients of degenerate principal series

Convolution monodromy groups and the Shafarevich conjecture for hypersurfaces in tori

Two generalizations of the PRV conjecture

A proof of a conjecture of Gukov-Pei-Putrov-Vafa

Proof of the Verjovsky Conjecture

Smash nilpotent cycles on products of curves

Kawaguchi-Silverman conjecture for certain surjective endomorphisms

Certifying nontriviality of Ceresa classes of curves

The Geometric Bombieri-Lang Conjecture for Ramified Covers of Abelian Varieties

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

Wonderful compactifications and rational curves with cyclic action

Quiver varieties and a non-commutative P^2

Formal principle with convergence for rational curves of Goursat type

Effective zero-cycles and the Bloch-Beilinson filtration

Double ramification cycles within degeneracy loci via moduli of roots