arXiv++ Combinatorics

It is shown that there are groups $Γ$ with finite generating sets $S$ such that the adjacency operator of the Cayley graph ${\rm Cay}(Γ,S)$ is a disjoint union of $N$ intervals, for arbitrarily large integers $N$.

The adjacency operator of a graph has a spectrum and a class of scalar-valued spectral measures which have been systematically analyzed; it also has a spectral multiplicity function which has been less studied. The first purpose of this article is to review some examples of infinite graphs for which the spectral multiplicity function of the adjacency operator has been determined. The second purpose of this article is to show explicit examples of infinite connected graphs which are cospectral, i.e., which have unitarily equivalent adjacency operators, and explicit examples of infinite connected graphs which are uniquely determined by their spectrum.

A graph $G = (V, E)$ of bounded degree has an adjacency operator~$A$ which acts on the Hilbert space $\ell^2(V)$. There are different kinds of measures of interest on the spectrum $Σ(A)$ of $A$. In particular, each vector $ξ\in \ell^2(V)$ defines a local spectral measure $μ_ξ$ at $ξ$ on $Σ(A)$; therefore each vertex $v \in V$ defines a vector $δ_v \in \ell^2(V)$ and the associated measure $μ_v$ on $Σ(A)$. A vertex $v$ is dominant if, for all $w \in V$, the measure $μ_w$ is absolutely continuous with respect to $μ_v$ (it then follows that, for all $ξ\in \ell^2(V)$, the measure $μ_ξ$ is absolutely continuous with respect to $μ_v$). The main object of this paper is to show that all possibilities occur: in some graphs, for example in vertex-transitive graphs, all vertices are dominant; in other graphs, only some vertices are dominant; and there are graphs without dominant vertices at all.

We construct cubature formulas on spheres supported by homothetic images of shells in some Euclidian lattices. Our analysis of these cubature formulas uses results from the theory of modular forms. Examples are worked out on the sphere of dimension n-1 for n=4, 8, 12, 14, 16, 20, 23, and 24, and the sizes of the cubature formulas we obtain are compared with the lower bounds given by Linear Programming.

We construct (k+-1)-regular graphs which provide sequences of expanders by adding or substracting appropriate 1-factors from given sequences of k-regular graphs. We compute numerical examples in a few cases for which the given sequences are from the work of Lubotzky, Phillips, and Sarnak (with k-1 the order of a finite field). If k+1 = 7, our construction results in a sequence of 7-regular expanders with all spectral gaps at least about 1.52.

Cubature formulas and geometrical designs are described in terms of reproducing kernels for Hilbert spaces of functions on the one hand, and Markov operators associated to orthogonal group representations on the other hand. In this way, several known results for spheres in Euclidean spaces, involving cubature formulas for polynomial functions and spherical designs, are shown to generalize to large classes of finite measure spaces $(Ω,σ)$ and appropriate spaces of functions inside $L^2(Ω,σ)$. The last section points out how spherical designs are related to a class of reflection groups which are (in general dense) subgroups of orthogonal groups.