Ramanujan Complexes from Unitary Groups over Number Fields

TL;DR

This paper introduces new families of Ramanujan complexes derived from super-definite unitary groups over number fields, expanding the known types and providing explicit constructions including applications to computer science and quantum gates.

Contribution

It presents a novel construction method for Ramanujan complexes from super-definite unitary groups over number fields, covering all ranks and new types.

Findings

Constructed infinite families of Ramanujan complexes with diverse local structures.

Provided an explicit example in rank 5 with applications to golden gates.

Extended the known classes of Ramanujan complexes to include new types.

Abstract

In this article, we construct new families of Ramanujan complexes with local structure distinct from all previously known examples. Our approach is based on unitary groups over number fields, more specifically on what we call super-definite unitary groups, that is definite unitary groups that are anisotropic modulo their center at a finite place. These arise naturally as groups of units in central division algebras with involution of the second kind. Our first main result gives a general construction of infinite families of Ramanujan complexes associated with a super-definite unitary group $G$ over a totally real number field and a finite place $v_0$. The structure of the resulting complex is governed by the type of the Bruhat-Tits building at $v_0$. It includes new examples of type $A_n$ when $v_0$ is split, and novel families of type ${}^2\!A'_n$, ${}^2 \! A''_n$ (with $n$ even), $B$-$C_n$, ${}^2 \! B$-$C_n$ and $C$-$BC_n$ in the non-split case. This construction works uniformly across all ranks. Since much of the motivation for constructing expander complexes comes from computer science, we investigate the algorithmic explicitness of our construction in the latter part of the paper, and provide an example in rank 5 where it becomes fully explicit. In particular, this example yields golden gates for the real Lie group $PU(5)$.