-
Quotient graphs and amalgam presentations for unitary groups over cyclotomic rings
Authors:
Colin Ingalls,
Bruce W. Jordan,
Allan Keeton,
Adam Logan,
Yevgeny Zaytman
Abstract:
Suppose $4|n$, $n\geq 8$, $F=F_n=\mathbb{Q}(ζ_n+\barζ_n)$, and there is one prime $\mathfrak{p}=\mathfrak{p}_n$ above $2$ in $F_n$. We study amalgam presentations for $\operatorname{PU_{2}}(\mathbb{Z}[ζ_n, 1/2])$ and $\operatorname{PSU_{2}}(\mathbb{Z}[ζ_n, 1/2])$ with the Clifford-cyclotomic group in quantum computing as a subgroup. These amalgams arise from an action of these groups on the Bruhat…
▽ More
Suppose $4|n$, $n\geq 8$, $F=F_n=\mathbb{Q}(ζ_n+\barζ_n)$, and there is one prime $\mathfrak{p}=\mathfrak{p}_n$ above $2$ in $F_n$. We study amalgam presentations for $\operatorname{PU_{2}}(\mathbb{Z}[ζ_n, 1/2])$ and $\operatorname{PSU_{2}}(\mathbb{Z}[ζ_n, 1/2])$ with the Clifford-cyclotomic group in quantum computing as a subgroup. These amalgams arise from an action of these groups on the Bruhat-Tits tree $Δ=Δ_{\mathfrak{p}}$ for $\operatorname{SL_{2}}(F_\mathfrak{p})$ constructed via the Hamilton quaternions. We explicitly compute the finite quotient graphs and the resulting amalgams for $8\leq n\leq 48$, $n\neq 44$, as well as for $\operatorname{PU_{2}}(\mathbb{Z}[ζ_{60}, 1/2])$.
△ Less
Submitted 7 January, 2020; v1 submitted 6 January, 2020;
originally announced January 2020.
-
Sarnak's conjecture in quantum computing, cyclotomic unitary group coranks, and Shimura curves
Authors:
Colin Ingalls,
Bruce W. Jordan,
Allan Keeton,
Adam Logan,
Yevgeny Zaytman
Abstract:
Sarnak's conjecture in quantum computing concerns when the groups $\operatorname{PU}_2$ and $\operatorname{PSU}_2$ over cyclotomic rings $\mathbb{Z}[ζ_n, 1/2]$ with $ζ_n=e^{2π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 el…
▽ More
Sarnak's conjecture in quantum computing concerns when the groups $\operatorname{PU}_2$ and $\operatorname{PSU}_2$ over cyclotomic rings $\mathbb{Z}[ζ_n, 1/2]$ with $ζ_n=e^{2π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}(ζ_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.
△ Less
Submitted 29 March, 2024; v1 submitted 5 November, 2019;
originally announced November 2019.
-
The Clifford-cyclotomic group and Euler-Poincaré characteristics
Authors:
Colin J. Ingalls,
Bruce W. Jordan,
Allan Keeton,
Adam Logan,
Yevgeny Zaytman
Abstract:
For an integer $n\geq 8$ divisible by $4$, let $R_n=\mathbb{Z}[ζ_n,1/2]$ and let $\operatorname{U}_2(R_n)$ be the group of $2\times 2$ unitary matrices with entries in $R_n$. Set $\operatorname{U}_2^ζ(R_n)=\{γ\in\operatorname{U}_2(R_n)\mid \detγ\in\langleζ_n\rangle\}$. Let $\mathcal{G}_n\subseteq \operatorname{U}_2^ζ(R_n)$ be the Clifford-cyclotomic group generated by a Hadamard matrix…
▽ More
For an integer $n\geq 8$ divisible by $4$, let $R_n=\mathbb{Z}[ζ_n,1/2]$ and let $\operatorname{U}_2(R_n)$ be the group of $2\times 2$ unitary matrices with entries in $R_n$. Set $\operatorname{U}_2^ζ(R_n)=\{γ\in\operatorname{U}_2(R_n)\mid \detγ\in\langleζ_n\rangle\}$. Let $\mathcal{G}_n\subseteq \operatorname{U}_2^ζ(R_n)$ be the Clifford-cyclotomic group generated by a Hadamard matrix $H=\frac{1}{2}[\begin{smallmatrix} 1+i & 1+i\\1+i &-1-i\end{smallmatrix}]$ and the gate $T=[\begin{smallmatrix}1 & 0\\0 & ζ_n\end{smallmatrix}]$. We prove that $\mathcal{G}_n=\operatorname{U}_2^ζ(R_n)$ if and only if $n=8, 12, 16, 24$ and that $[\operatorname{U}_2^ζ(R_n):\mathcal{G}_n]=\infty$ if $\operatorname{U}_2^ζ(R_n)\neq \mathcal{G}_n$. We compute the Euler-Poincaré characteristics of the groups $\operatorname{SU}_2(R_n)$, $\operatorname{PSU}_2(R_n)$, $\operatorname{PU}_2(R_n)$, $\operatorname{PU}^ζ_2(R_n)$, and $\operatorname{SO}_3(R_n^+)$.
△ Less
Submitted 28 October, 2019; v1 submitted 22 March, 2019;
originally announced March 2019.
-
Unique factorization of principally polarized abelian varieties
Authors:
Bruce W. Jordan,
Allan G. Keeton,
Bjorn Poonen
Abstract:
Shimura proved that each principally polarized abelian variety over $\mathbf{C}$ admits a unique factorization into irreducible principally polarized abelian varieties. We give an exposition of his result, and generalize to an arbitrary ground field $k$. If $k$ is separably closed, the irreducible factors are in bijection with the irreducible components of a theta divisor over $k$ giving rise to t…
▽ More
Shimura proved that each principally polarized abelian variety over $\mathbf{C}$ admits a unique factorization into irreducible principally polarized abelian varieties. We give an exposition of his result, and generalize to an arbitrary ground field $k$. If $k$ is separably closed, the irreducible factors are in bijection with the irreducible components of a theta divisor over $k$ giving rise to the polarization.
△ Less
Submitted 15 July, 2016; v1 submitted 22 February, 2016;
originally announced February 2016.
-
Abelian varieties isogenous to a power of an elliptic curve
Authors:
Bruce W. Jordan,
Allan G. Keeton,
Bjorn Poonen,
Eric M. Rains,
Nicholas Shepherd-Barron,
John T. Tate
Abstract:
Let $E$ be an elliptic curve over a field $k$. Let $R:= \text{End}\, E$. There is a functor $\mathscr{H}\!\!\mathit{om}_R(-,E)$ from the category of finitely presented torsion-free left $R$-modules to the category of abelian varieties isogenous to a power of $E$, and a functor $\text{Hom}(-,E)$ in the opposite direction. We prove necessary and sufficient conditions on $E$ for these functors to be…
▽ More
Let $E$ be an elliptic curve over a field $k$. Let $R:= \text{End}\, E$. There is a functor $\mathscr{H}\!\!\mathit{om}_R(-,E)$ from the category of finitely presented torsion-free left $R$-modules to the category of abelian varieties isogenous to a power of $E$, and a functor $\text{Hom}(-,E)$ in the opposite direction. We prove necessary and sufficient conditions on $E$ for these functors to be equivalences of categories.
△ Less
Submitted 20 March, 2017; v1 submitted 19 February, 2016;
originally announced February 2016.
