arXiv++ Combinatorics

We study mixtures of free, monotone, and Boolean independence described by a directed graph $G = (V,E)$ in the context of $\mathcal{T}$-free convolutions of Jekel and Liu. We prove general limit theorems for the associated additive convolution operations $\boxplus_G$. For a sequence of digraphs $G_n = (V_n,E_n)$, we give sufficient conditions for the limit $\widehatμ = \lim_{n \to \infty} \boxplus_{G_n}(μ_n)$ to exist whenever the Boolean convolution powers $μ_n^{\uplus |V_n|}$ converge to some $μ$. This in particular includes central limit and Poisson limit theorems, as well as limit theorems for each classical domain of attraction. The hypothesis on the sequence of $G_n$ is that the normalized counts of digraph homomorphisms from rooted trees into $G_n$ converge as $n \to \infty$, and we verify this for several families of examples where the $G_n$'s converge in some sense to a continuum limit, or digraphon. In particular, we obtain a new limit theorem for multiregular digraphs, as well as recovering several limit theorems in prior work.

We undertake a comprehensive study of structural properties of graph products of von Neumann algebras equipped with faithful, normal states, as well as properties of the graph products relative to subalgebras coming from induced subgraphs. Among the technical contributions in this paper include a complete bimodule calculation for subalgebras arising from subgraphs. As an application, we obtain a complete classification of when two subalgebras coming from induced subgraphs can be amenable relative to each other. We also give complete characterizations of when the graph product can be full, diffuse, or a factor. Our results are obtained in a broad generality, and we emphasize that they are new even in the tracial setting. They also allow us to deduce new results about when graph products of groups can be amenable relative to each other.

Graph independence (also known as $ε$-independence or $λ$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain random permutation matrices, we construct random matrix models for graph independence with amalgamation over the diagonal matrices. This yields a new probabilist,ic proof that graph products of sofic groups are sofic.

We give a new combinatorial proof of Parraud's formula for the asymptotic expansion in powers of $1/N^2$ for the expected trace of polynomials of several independent $N \times N$ GUE matrices, which expresses the result using a mixture of free difference quotients, introducing new freely independent semicircular variables, and integration with respect to parameters. Our approach streamlines the statement of the formula while clarifying its relationship to the combinatorial genus expansion.

We propose an algebraic framework for generalized graph Laplacians which unifies the study of resistor networks, the critical group, and the eigenvalues of the Laplacian and adjacency matrices. Given a graph with boundary $G$ together with a generalized Laplacian $L$ with entries in a commutative ring $R$, we define a generalized critical group $Υ_R(G,L)$. We relate $Υ_R(G,L)$ to spaces of harmonic functions on the network using the Hom, Tor, and Ext functors of homological algebra. We study how these algebraic objects transform under combinatorial operations on the network $(G,L)$, including harmonic morphisms, layer-stripping, duality, and symmetry. In particular, we use layer-stripping operations from the theory of resistor networks to systematize discrete harmonic continuation. This leads to an algebraic characterization of the graphs with boundary that can be completely layer-stripped, an algorithm for simplifying computation of $Υ_R(G,L)$, and upper bounds for the number of invariant factors in the critical group and the multiplicity of Laplacian eigenvalues in terms of geometric quantities.

We consider the inverse problem for countable, locally finite electrical networks with edge weights in an arbitrary field. The electrical inverse problem seeks to determine the weights of the edges knowing only the potential and current data of harmonic functions on a set of boundary nodes. Motivated by the results of Curtis-Ingerman-Morrow and de-Verdiere-Gitler-Vertigan and others, we formalize the idea of using layer-stripping and harmonic continuation to solve the inverse problem. Our strategy is to iteratively recover "vulnerable" edges near the boundary, then remove them by deletion or contraction. To recover the vulnerable edge, we set up a clever boundary value problem and solve it using discrete harmonic continuation. We define "scaffolds," a set of oriented edges that models the flow of information in harmonic continuation. We formulate a sufficient geometric condition ("recoverability by scaffolds") for the inverse problem to be solvable using the layer-stripping strategy. Recoverability by scaffolds is preserved under box products, harmonic subgraphs, covering graphs, and more generally under preimages by unramified harmonic morphisms. For critical circular planar graphs, we prove recoverability by scaffolds using the medial graph. We also connect the harmonic continuation process to Baez-Fong's compositional framework for networks and Lam-Pylyavskyy's electrical linear group. We use this to generalize results of Curtis-Ingerman-Morrow and de-Verdiere-Gitler-Vertigan relating the size of connections through the graph and the rank of submatrices of the response matrix. We give a symplectic characterization of the boundary behavior for networks and the electrical linear group, valid for fields other than $\mathbb{F}_2$. Many of our results also generalize to the nonlinear networks such as those of Johnson.