arXiv++ Combinatorics

We develop finite free information theory for real-rooted polynomials, establishing finite free analogues of entropy and Fisher information monotonicity, as well as the Stam and entropy power inequalities. These results resolve conjectures by Shlyakhtenko and Gribinski and recover inequalities in free probability in the large-degree limit. Equivalently, our results may be interpreted as potential-theoretic inequalities for the zeros of real-rooted polynomials under differential operators which preserve real-rootedness. Our proofs leverage a new connection between score vectors and Jacobians of root maps, combined with convexity results for hyperbolic polynomials.

Let $\mathbf{T}_{d, N}: Ω\to \mathbb{R}^{N^d}$ be a random real symmetric Wigner-type tensor. For unit vectors $(u_N^{(i, j)})_{i \in I, j \in [d-2]} \subset \mathbb{S}^{N-1}$, we study the contracted tensor ensemble \[ \left(\frac{1}{\sqrt{N}}\mathbf{T}_{d, N}\left[u_N^{(i, 1)} \otimes \cdots \otimes u_N^{(i, d-2)}\right]\right)_{i \in I}. \] For large $N$, we show that the joint spectral distribution of this ensemble is well-approximated by a semicircular family $(s_i)_{i \in I}$ whose covariance $(\mathbf{K}_{i, i'}^{(N)})_{i, i'\in I}$ is given by the rescaled overlaps of the corresponding symmetrized contractions \[ \mathbf{K}_{i, i'}^{(N)} = \frac{1}{d(d-1)}\langle u_N^{(i, 1)} \odot \cdots \odot u_N^{(i, d-2)}, u_N^{(i', 1)} \odot \cdots \odot u_N^{(i', d-2)} \rangle, \] which is the true covariance of the ensemble up to a $O_d(N^{-1})$ correction. We further characterize the extreme cases of the variance $\mathbf{K}_{i, i}^{(N)} \in [\frac{1}{d!}, \frac{1}{d(d-1)}]$. Our analysis relies on a tensorial extension of the usual graphical calculus for moment method calculations in random matrix theory, allowing us to access the independence in our random tensor ensemble.

Given two polynomials $p(x), q(x)$ of degree $d$, we give a combinatorial formula for the finite free cumulants of $p(x)\boxtimes_d q(x)$. We show that this formula admits a topological expansion in terms of non-crossing multi-annular permutations on surfaces of different genera. This topological expansion, on the one hand, deepens the connection between the theories of finite free probability and free probability, and in particular proves that $\boxtimes_d$ converges to $\boxtimes$ as $d$ goes to infinity. On the other hand, borrowing tools from the theory of second order freeness, we use our expansion to study the infinitesimal distribution of certain families of polynomials which include Hermite and Laguerre, and draw some connections with the theory of infinitesimal distributions for real random matrices. Finally, building off our results we give a new short and conceptual proof of a recent result [Steinerberger (2020), Hoskins and Kabluchko (2020)] that connects root distributions of polynomial derivatives with free fractional convolution powers.

For any multi-graph $G$ with edge weights and vertex potential, and its universal covering tree $\mathcal{T}$, we completely characterize the point spectrum of operators $A_{\mathcal{T}}$ on $\mathcal{T}$ arising as pull-backs of local, self-adjoint operators $A_{G}$ on $G$. This builds on work of Aomoto, and includes an alternative proof of the necessary condition for point spectrum he derived in (Aomoto, 1991). Our result gives a finite time algorithm to compute the point spectrum of $A_{\mathcal{T}}$ from the graph $G$, and additionally allows us to show that this point spectrum is contained in the spectrum of $A_{G}$. Finally, we prove that typical pull-back operators have a spectral delocalization property: the set of edge weight and vertex potential parameters of $A_{G}$ giving rise to $A_{\mathcal{T}}$ with purely absolutely continuous spectrum is open and its complement has large codimension.

We use tools from free probability to study the spectra of Hermitian operators on infinite graphs. Special attention is devoted to universal covering trees of finite graphs. For operators on these graphs we derive a new variational formula for the spectral radius and provide new proofs of results due to Sunada and Aomoto using free probability. With the goal of extending the applicability of free probability techniques beyond universal covering trees, we introduce a new combinatorial product operation on graphs and show that, in the non-commutative probability context, it corresponds to the notion of freeness with amalgamation. We show that Cayley graphs of amalgamated free products of groups, as well as universal covering trees, can be constructed using our graph product.

Given an abstract polytope $\cal P$, its flag graph is the edge-coloured graph whose vertices are the flags of $\cal P$ and the $i$-edges correspond to $i$-adjacent flags. Flag graphs of polytopes are maniplexes. On the other hand, given a maniplex $\cal M$, on can define a poset $\cal P_M$ by means of the non empty intersection of its faces. In this paper we give necessary and sufficient conditions (in terms of graphs) on a maniplex $\cal M$ in order for $\cal P_M$ to be an abstract polytope. Moreover, in such case, we show that $\cal M$ is isomorphic to the flag graph of $\cal P_M$. This in turn gives necessary and sufficient conditions for a maniplex to be (isomorphic to) the flag graph of a polytope.