arXiv++ Combinatorics

Let $\mathcal{G}$ be an undirected graph with adjacency matrix $A$ and spectral radius $ρ$. Let $w_k, φ_k$ and $φ_k^{(i)}$ be, respectively, the number walks of length $k$, closed walks of length $k$ and closed walks starting and ending at vertex $i$ after $k$ steps. In this paper, we propose a measure-theoretic framework which allows us to relate walks in a graph with its spectral properties. In particular, we show that $w_k, φ_k$ and $φ_k^{(i)}$ can be interpreted as the moments of three different measures, all of them supported on the spectrum of $A$. Building on this interpretation, we leverage results from the classical moment problem to formulate a hierarchy of new lower and upper bounds on $ρ$, as well as provide alternative proofs to several well-known bounds in the literature.

Let $\mathbf{a}_{ij}$, $1\leq i\leq j\leq n$, be independent random variables and $\mathbf{a}_{ji}=\mathbf{a}_{ij}$, for all $i,j$. Suppose that every $\mathbf{a}_{ij}$ is bounded, has zero mean, and its variance is given by $σ_{i}σ_{j}$, for a given sequence of positive real numbers $Ψ=\{σ_{i} , i\in\mathbb{N}\}$. Hence, the matrix of variances $V_n=\left( \mbox{Var}( \mathbf{a}_{ij}) \right)_{i,j=1}^n$ has rank one for all $n$. We show that the empirical spectral distribution of the symmetric random matrix $\mathbf{A}_n(Ψ)$ $ =$ $ \left( \mathbf{a}_{ij}/\sqrt{n}\right)_{i,j=1}^n$ converges weakly (and with probability one) to a deterministic limiting spectral distribution which we fully characterize by providing closed-form expressions for its limiting spectral moments in terms of the sequence $Ψ$. Furthermore, we propose a hierarchy of semidefinite programs to compute upper and lower bound on the expected spectral norm of $\mathbf{A}_n$, for both finite $n$ and the limit $n\to\infty$.