arXiv++ Combinatorics

Let ${T}_n$ be a random $2$-dimensional determinantal hypertree on $n$ vertices. Given any prime $p$, we answer the following question: If a cocycle in $Z^1({T}_n,\mathbb{F}_p)$ has small support, what does the support typically look like? More precisely, we characterize all the finite connected graphs $G$ for which there is a constant $c_G>0$ with the following property: For all large enough $n$, with probability at least $c_G$, we have a cocycle $f\in Z^1({T}_n,\mathbb{F}_p)$ such that after removing all the isolated vertices, the support of $f$ is isomorphic to $G$. We prove that for $p>2$, we do not have any such graph. For $p=2$, a connected graph has the property above if and only if it has a unique cycle such that this unique cycle has odd length, moreover, if the unique cycle is a triangle, then we also need to require that all the vertices of the triangle have degree at least $3$.

Let us consider a random infinite lower triangular matrix, where the entries on and below the diagonal are i.i.d. uniform random elements of a fixed finite field. We investigate the evolution of the span of the first $n$ rows of this matrix as $n$ grows. Many properties of this evolving subspace can be captured with the help of the verbose persistence diagram, which is a standard tool in stochastic topology and topological data analysis. We give an explicit formula for the distribution of the persistence diagram. We prove a law of large numbers for the distribution of lifetimes. We also describe the fluctuations of the persistent Betti numbers.

For a fixed dimension $k\ge 1$, let us consider the randomly growing simplical complex on the vertex set $\{1,2,\dots,n\}$ defined as follows: We start with the empty complex, and for each $k+1$-element subset $σ$ of $\{1,2,\dots,n\}$, we add $σ$ and all of its subsets to the complex at some random time $t_σ$, where $(t_σ)$ are i.i.d. uniform random elements of $[0,n]$. As the complex evolves, new $k-1$-dimensional cycles are born and then at a later time they die, that is, they get filled in. The notion of persistence diagrams, which is a standard tool in topological data analysis, provides a way to record these birth and death times. In this paper, we understand the asymptotic behavior of the persistence diagrams of the above defined randomly evolving complexes as $n$ goes to infinity. As the single time marginals of the above process are variants of the Linial-Meshulam complex, our results can be viewed as extensions of the results of Linial and Peled on the Betti numbers of the Linial-Meshulam complex. Our proof relies on the notion of local weak convergence of graphs and a generalization of the results of Bordenave, Lelarge and Salez on the rank of sparse random matrices.

We develop a limit theory for $1$-cochains of complete graphs with coefficients from a finite abelian group. We prove an analogue of the large deviation principle of Chatterjee and Varadhan for random cochains. We use these new tools to prove results about the homology of random $2$-dimensional simplicial complexes. More specifically, we prove that if $T_n$ is a random $2$-dimensional determinantal hypertree on $n$ vertices and $p$ is any prime, then \[\frac{\dim H_1(T_n,\mathbb{F}_p)}{n^2}\] converges to zero in probability. The same result holds for random $1$-out 2-complexes.

We consider random lower triangular matrices such that the entries on and below the diagonal are i.i.d. copies of some $\mathbb{Z}$-valued random variable. We prove that the Sylow $p$-subgroups of the cokernels of these matrices have the same constant order fluctuations as that of the matrix products studied by Nguyen and Van Peski. As a special case, we can describe the limiting fluctuations of the rank of lower triangular matrices over $\mathbb{F}_p$ with i.i.d. random entries on and below the diagonal.

Fix a dimension $d\ge 2$, and let $T_n$ be a random $d$-dimensional determinantal hypertree on $n$ vertices. We prove that \[\frac{\log|H_{d-1}(T_n,\mathbb{Z})|}{n\choose {d}}\] converges in probability to a constant $c_d$, which satisfies \[\frac{1}2 \log\left(\frac{d+1}e\right)\le c_d\le \frac{1}2 \log\left(d+1\right) .\]

Let $\mathbf{B}_n$ be an $n\times n$ Haar-uniform band matrix over $\mathbb{Z}_p$ with band width $w_n$. We prove that $\text{cok}(\mathbf{B}_n)$ has Cohen-Lenstra limiting distribution if and only if \[\lim_{n\to\infty} \left(w_n-\log_p(n)\right)=+\infty.\]

Let $T_n$ be a $2$-dimensional determinantal hypertree on $n$ vertices. Kahle and Newman conjectured that the $p$-torsion of $H_1(T_n,\mathbb{Z})$ asymptotically follows the Cohen-Lenstra distribution. For $p=2$, we disprove this conjecture by showing that given a positive integer $h$, for all large enough $n$, we have \[\mathbb{P}(\dim H_1(T_n,\mathbb{F}_2)\ge h)\ge \frac{e^{-200h}}{(100h)^{5h}}.\] We also show that $T_n$ is a bad cosystolic expander with positive probability.

As a first step towards a conjecture of Kahle and Newman, we prove that if $T_n$ is a random $2$-dimensional determinantal hypertree on $n$ vertices, then \[\frac{\dim H_1(T_n,\mathbb{F}_2)}{n^2}\] converges to zero in probability. Confirming a conjecture of Linial and Peled, we also prove the analogous statement for the $1$-out $2$-complex. Our proof relies on the large deviation principle for the Erdős-Rényi random graph by Chatterjee and Varadhan.

We prove that for any large enough constant $k$, the union of $k$ independent $d$-dimensional determinantal hypertrees is a coboundary expander with high probability.

Let us consider the following matrix $B_n$. The columns of $B_n$ are indexed with $[n]=\{1,2,\dots,n\}$ and the rows are indexed with $[n]^3$. The row corresponding to $(x_1,x_2,x_3)\in [n]^3$ is given by $\sum_{i=1}^3 e_{x_i}$, where $e_1,e_2,\dots,e_n$ is the standard basis of $\mathbb{R}^{[n]}$. Let $A_n$ be random $n\times n$ submatrix of $B_n$, where the probability that we choose a submatrix $C$ is proportional to $|\det(C)|^2$. Let $p\ge 5$ be a prime. We prove that the asymptotic distribution of the $p$-Sylow subgroup of the cokernel of $A_n$ is given by the Cohen-Lenstra heuristics. Our result is motivated by the conjecture that the first homology group of a random two dimensional hypertree is also Cohen-Lenstra distributed.

Let $\mathcal{C}(n,k)$ be the set of $k$-dimensional simplicial complexes $C$ over a fixed set of $n$ vertices such that: (1) $C$ has a complete $k-1$-skeleton; (2) $C$ has precisely ${{n-1}\choose {k}}$ $k$-faces; (3) the homology group $H_{k-1}(C)$ is finite. Consider the probability measure on $\mathcal{C}(n,k)$ where the probability of a simplicial complex $C$ is proportional to $|H_{k-1}(C)|^2$. For any fixed $k$, we determine the local weak limit of these random simplicial complexes as $n$ tends to infinity. This local weak limit turns out to be the same as the local weak limit of the $1$-out $k$-complexes investigated by Linial and Peled.

Let $h(0),h(1),\dots,h(k)$ be a symmetric concave sequence. For a $(d,k)$-biregular factor graph $G$ and $x\in \{0,1\}^V$, we define the Hamiltonian \[H_G(x)=\sum_{f\in F} h\left(\sum_{v\in \partial f} x_v\right),\] where $V$ is the set of variable nodes, $F$ is the set of factor nodes. We prove that if $(G_n)$ is a large girth sequence of $(d,k)$-biregular factor graphs, then the free energy density of $G_n$ converges. The limiting free energy density is given by the Bethe-approximation.

Let $G$ be a finite tree. For any matching $M$ of $G$, let $U(M)$ be the set of vertices uncovered by $M$. Let $\mathcal{M}_G$ be a uniform random maximum size matching of $G$. In this paper, we analyze the structure of $U(\mathcal{M}_G)$. We first show that $U(\mathcal{M}_G)$ is a determinantal process. We also show that for most vertices of $G$, the process $U(\mathcal{M}_G)$ in a small neighborhood of that vertex can be well approximated based on a somewhat larger neighborhood of the same vertex. Then we show that the normalized Shannon entropy of $U(\mathcal{M}_G)$ can be also well approximated using the local structure of $G$. In other words, in the realm of trees, the normalized Shannon entropy of $U(\mathcal{M}_G)$ -- that is, the normalized logarithm of the number of maximum size matchings of $G$ -- is a Benjamini-Schramm continuous parameter. We show that $U(\mathcal{M}_G)$ is a determinantal process through establishing a new connection between $U(\mathcal{M}_G)$ and the adjacency matrix of $G$. This result sheds a new light on the well-known fact that on a tree, the number of vertices uncovered by a maximum size matching is equal to the nullity of the adjacency matrix. Some of the proofs are based on the well established method of introducing a new perturbative parameter, which we call temperature, and then define the positive temperature analogue of $\mathcal{M}_G$, the so called monomer-dimer model, and let the temperature go to zero.

Let $G=(S,T,E)$ be a bipartite graph. For a matching $M$ of $G$, let $V(M)$ be the set of vertices covered by $M$, and let $B(M)$ be the symmetric difference of $V(M)$ and $S$. We prove that if $M$ is a uniform random matching of $G$, then $B(M)$ satisfies the BK inequality for increasing events.

We prove that the matching measure of an infinite vertex-transitive connected graph has no atoms. Generalizing the results of Salez, we show that for an ergodic non-amenable unimodular random rooted graph with uniformly bounded degrees, the matching measure has only finitely many atoms. Ku and Chen proved the analogue of the Gallai-Edmonds structure theorem for non-zero roots of the matching polynomial for finite graphs. We extend their results for infinite graphs. We also show that the corresponding Gallai-Edmonds decomposition is compatible with the zero temperature monomer-dimer model.

We extend Lyons's tree entropy theorem to general determinantal measures. As a byproduct we show that the sofic entropy of an invariant determinantal measure does not depend on the chosen sofic approximation.

We study the distribution of the sandpile group of random d-regular graphs. For the directed model, we prove that it follows the Cohen-Lenstra heuristics, that is, the limiting probability that the $p$-Sylow subgroup of the sandpile group is a given $p$-group $P$, is proportional to $|Aut(P)|^{-1}$. For finitely many primes, these events get independent in the limit. Similar results hold for undirected random regular graphs, where for odd primes the limiting distributions are the ones given by Clancy, Leake and Payne. This answers an open question of Frieze and Vu whether the adjacency matrix of a random regular graph is invertible with high probability. Note that for directed graphs this was recently proved by Huang. It also gives an alternate proof of a theorem of Backhausz and Szegedy.