arXiv++ Combinatorics

We present measure theoretic rigidity for graphs of first Betti number b>1 in terms of measures on the boundary of a 2b-regular tree, that we make explicit in terms of the edge-adjacency and closed-walk structure of the graph. We prove that edge-reconstruction of the entire graph is equivalent to that of the "closed walk lengths".

We show that if a graph $G$ has average degree $\bar d \geq 4$, then the Ihara zeta function of $G$ is edge-reconstructible. We prove some general spectral properties of the edge adjacency operator $T$: it is symmetric for an indefinite form and has a "large" semi-simple part (but it can fail to be semi-simple in general). We prove that this implies that if $\bar d>4$, one can reconstruct the number of non-backtracking (closed or not) walks through a given edge, the Perron-Frobenius eigenvector of $T$ (modulo a natural symmetry), as well as the closed walks that pass through a given edge in both directions at least once. The appendix by Daniel MacDonald established the analogue for multigraphs of some basic results in reconstruction theory of simple graphs that are used in the main text.

Let $Γ$ be a compact metric graph, and denote by $Δ$ the Laplace operator on $Γ$ with the first non-trivial eigenvalue $λ_1$. We prove the following Yang-Li-Yau type inequality on divisorial gonality $γ_{div}$ of $Γ$. There is a universal constant $C$ such that \[γ_{div}(Γ) \geq C \frac{μ(Γ) . \ell_{\min}^{\mathrm{geo}}(Γ). λ_1(Γ)}{d_{\max}},\] where the volume $μ(Γ)$ is the total length of the edges in $Γ$, $\ell_{\min}^{\mathrm{geo}}$ is the minimum length of all the geodesic paths between points of $Γ$ of valence different from two, and $d_{\max}$ is the largest valence of points of $Γ$. Along the way, we also establish discrete versions of the above inequality concerning finite simple graph models of $Γ$ and their spectral gaps.