Graph spectra for finite upper half planes over rings
type: Item
instance of: scholarly article
title: Graph spectra for finite upper half planes over rings
zbMATH Open document ID: 0833.11059
DOI: 10.1016/0024-3795(95)00173-O
author: J. Angel
author: C. Trimble
author: B. Shook
author: Audrey A. Terras
published in: Linear Algebra and its Applications
publication date: 1996-03-17T00:00:00Z
review text: Graphs attached for finite analogues of the Poincaré upper half plane over rings \(\mathbb{Z}/ p^r \mathbb{Z}\) are introduced for \(p\) an odd prime. The spectra of these graphs for \(r=2\) are shown to be related to those for \(r=1\) which were studied earlier. In contrast to the case \(r=1\), we find that the graphs are not Ramanujan graphs when \(r=2\) and \(p\geq 5\). Histograms of the eigenvalues for \(r=1\) and 2 are also compared. The graphs over rings are of interest for connections with \(p\)-adic upper half-planes as well as fundamental domains for congruence subgroups of the modular group \(\text{SL} (2, \mathbb{Z})\). ``An outline of the paper follows. Section 1 defines the distance \(d(z, w)\) for \(z,w\in H_R\), the finite upper half-plane. For \(a\in R= \mathbb{Z}/ p^r \mathbb{Z}\), define the graph \(X_R (\delta, a)\) to have as vertices the elements of \(H_R\). Two vertices \(z\), \(w\) are connected if \(d(z, w)= a\). Theorem 1 shows that if \(a\not\equiv 0\) or \(4\delta \pmod p\), the graph \(X_R (\delta, a)\) is regular of degree \(p^r+ p^{r-1}\). Theorem 2 (proved elsewhere by the first author) says that \(X_R (\delta, a)\) is a Cayley graph for the affine group over \(R\) defined in (1.3). In particular, the graph is connected. Section 2 concerns the representations of the affine group \(\text{Aff} (\mathbb{Z}/ p^2 \mathbb{Z})\). Then the Fourier transform for this group is used to block-diagonalize the adjacency operator for our graphs (see Theorem 3). Section 3 gives properties of the spectra of the graphs \(X_{\mathbb{Z}/ p^2 \mathbb{Z}} (\delta, a)\). The spectra can be subdivided into one, \((p-1)\), and \((p^2 -p)\) dimensional eigenvalues according to the various representations of \(\text{Aff} (\mathbb{Z}/ p^2 \mathbb{Z})\) (by Theorem 3). Theorem 4 shows that the one-dimensional eigenvalues can be computed explicitly. Often they are 0. Otherwise they are either a cosine or \(p\) times an eigenvalue for the corresponding graph \(\text…
Mathematics Subject Classification ID: 11T99
Mathematics Subject Classification ID: 05C50
Mathematics Subject Classification ID: 05C25
zbMATH DE Number: 803754
zbMATH Keywords: graph spectra
zbMATH Keywords: finite upper half planes
zbMATH Keywords: Poincaré upper half plane
zbMATH Keywords: rings
zbMATH Keywords: Ramanujan graphs
zbMATH Keywords: eigenvalues
zbMATH Keywords: modular group
MaRDI profile type: Publication
cites work: Q3138326
cites work: Q4314388
cites work: Q4770409
cites work: Q3139646
cites work: Q5610449
cites work: Q3995195
cites work: Q4314355
cites work: Q3141915
cites work: Q4002278
cites work: Estimates for Soto-Andrade sums.
cites work: A Natural Orthogonal Basis of Eigenfunctions of the Hecke Algebra Acting on Cayley Graphs
cites work: Q4336973
cites work: Ramanujan graphs
cites work: Q3201100
cites work: Q3797393
cites work: Q3762397
cites work: Q4280543
cites work: Q4256626
cites work: Q3994578
cites work: Q5521595
cites work: Diameters and Eigenvalues
cites work: Eigenvalue bounds and girths of graphs of finite, upper half-planes
description: scientific article; zbMATH DE number 803754