Entropy of eigenfunctions on quantum graphs

We consider families of finite quantum graphs of increasing size and we are interested in how eigenfunctions are distributed over the graph. As a measure for the distribution of an eigenfunction on a graph we introduce the entropy, it has the property that a large value of the entropy of an eigenfunction implies that it cannot be localised on a small set on the graph. We then derive lower bounds for the entropy of eigenfunctions which depend on the topology of the graph and the boundary conditions at the vertices. The optimal bounds are obtained for expanders with large girth, the bounds are similar to the ones obtained by Anantharaman et.al. for eigenfunctions on manifolds of negative curvature, and are based on the entropic uncertainty principle. For comparison we compute as well the average behaviour of entropies on Neumann star graphs, where the entropies are much smaller. Finally we compare our lower bounds with numerical results for regular graphs and star graphs with different boundary conditions.Comment: 28 pages, 3 figure

The necessity of conditions for graph quantum ergodicity and Cartesian products with an infinite graph

Anantharaman and Le Masson proved that any family of eigenbases of the adjacency operators of a family of graphs is quantum ergodic (a form of delocalization) assuming the graphs satisfy conditions of expansion and high girth. In this paper, we show that neither of these two conditions is sufficient by itself to necessitate quantum ergodicity. We also show that having conditions of expansion and a specific relaxation of the high girth constraint present in later papers on quantum ergodicity is not sufficient. We do so by proving new properties of the Cartesian product of two graphs where one is infinite.Comment: 12 pages, 3 figure

Many nodal domains in random regular graphs

Let $G$ be a random $d$-regular graph. We prove that for every constant $\alpha > 0$, with high probability every eigenvector of the adjacency matrix of $G$ with eigenvalue less than $-2\sqrt{d-2}-\alpha$ has $\Omega(n/$polylog$(n))$ nodal domains.Comment: 18 pages. Minor changes to the introductio

The limit points of the top and bottom eigenvalues of regular graphs

We prove that for each $d \geq 3$ the set of all limit points of the second largest eigenvalue of growing sequences of $d$-regular graphs is $[2\sqrt{d-1},d]$. A similar argument shows that the set of all limit points of the smallest eigenvalue of growing sequences of $d$-regular graphs with growing (odd) girth is $[-d, -2 \sqrt{d-1}]$. The more general question of identifying all vectors which are limit points of the vectors of the top $k$ eigenvalues of sequences of $d$-regular graphs is considered as well. As a by product, in the study of discrete counterpart of the "scarring" phenomenon observed in the investigation of quantum ergodicity on manifolds, our technique provides a method to construct $d$-regular almost Ramanujan graphs with large girth and localized eigenvectors corresponding to eigenvalues larger than $2\sqrt{d-1}$, strengthening a result of Alon, Ganguly, and Srivastava

High-Girth Near-Ramanujan Graphs with Lossy Vertex Expansion

Kahale proved that linear sized sets in $d$-regular Ramanujan graphs have vertex expansion $\sim\frac{d}{2}$ and complemented this with construction of near-Ramanujan graphs with vertex expansion no better than $\frac{d}{2}$. However, the construction of Kahale encounters highly local obstructions to better vertex expansion. In particular, the poorly expanding sets are associated with short cycles in the graph. Thus, it is natural to ask whether high-girth Ramanujan graphs have improved vertex expansion. Our results are two-fold: 1. For every $d = p+1$ for prime $p$ and infinitely many $n$, we exhibit an $n$-vertex $d$-regular graph with girth $\Omega(\log_{d-1} n)$ and vertex expansion of sublinear sized sets bounded by $\frac{d+1}{2}$ whose nontrivial eigenvalues are bounded in magnitude by $2\sqrt{d-1}+O\left(\frac{1}{\log n}\right)$. 2. In any Ramanujan graph with girth $C\log n$, all sets of size bounded by $n^{0.99C/4}$ have vertex expansion $(1-o_d(1))d$. The tools in analyzing our construction include the nonbacktracking operator of an infinite graph, the Ihara--Bass formula, a trace moment method inspired by Bordenave's proof of Friedman's theorem, and a method of Kahale to study dispersion of eigenvalues of perturbed graphs.Comment: 15 pages, 1 figur