arXiv++ Combinatorics

We study star-based symmetries in uniform hypergraphs and their consequences for matrices whose entries depend only on vertex stars. Such matrices admit a deterministic decomposition into a global component and a local component supported on equivalence classes of vertices with identical stars, known as units. While nontrivial units may exist at finite size in hypergraphs of uniformity greater than two, their persistence in random settings has remained unclear. We analyze star collisions in random $k$-uniform hypergraphs and show that, in some particular regimes, nontrivial units disappear with high probability as the number of vertices grows. As a consequence, star-dependent matrices exhibit asymptotically trivial local structure, and their spectral behavior, invariant subspaces, and associated linear dynamics are governed by a reduced quotient object obtained by contracting vertex stars. These results identify star collisions as a finite-size phenomenon in random hypergraphs and clarify the asymptotic irrelevance of star-based symmetries for operator behavior in large random systems in particular regimes.

The notion of local weak convergence, or Benjamini--Schramm convergence, was introduced by Benjamini and Schramm. The local weak limit of sparse Erd\H os--Rényi graphs is the Galton--Watson measure with Poisson offspring almost surely. Recently, Adhikari, Kumar, and Saha showed that the line graph of sparse Linial--Meshulam complexes converges to the $d$-block Galton--Watson measure. We study a unified model: weighted line graphs of sparse $k$-uniform random hypergraphs on $n$ vertices. Let $H(n,k,p)$ be the $k$-uniform random hypergraph where each $k$-subset of $[n]$ is included as a hyperedge independently with probability $p$. For a $k$-uniform hypergraph $H=(V,E)$ and $1\le r\le k-1$, define the $r$-set weighted line graph $G_r(H)=(\mathcal V_r,\mathcal E_r,w_H)$ by $$ \mathcal V_r=\bigl[\tbinom{n}{r}\bigr],\quad \mathcal E_r=\bigl\{\{τ_1,τ_2\}:τ_1,τ_2\in\mathcal V_r,\ \exists e\in E\text{ s.t. }τ_1,τ_2\subset e\bigr\}, $$ with weight $w_H(\{τ_1,τ_2\})=\bigl|\{e\in E:τ_1,τ_2\subset e\}\bigr|$. In particular, $G_1(H_n)$ generalizes Erd\H os--Rényi graphs and $G_{k-1}(H_n)$ is the line graph of the Linial--Meshulam complex. We show that if $\tbinom{n-r}{k-r}\to λ$ as $n\to\infty$, then $G_r(H_n)$ converges locally to the $(\tbinom{k}{r}-1)$-block Galton--Watson measure with $\operatorname{Poisson}(λ)$ offspring almost surely. As a consequence, we obtain the limiting spectral distribution of the adjacency matrices of $G_r(H_n)$.

In a recent paper [6], J. Gaudio and E. Mossel studied the shotgun assembly of the Erdős-Rényi graph $\mathcal G(n,p_n)$ with $p_n=n^{-α}$, and showed that the graph is reconstructable form its $1$-neighbourhoods if $0<α< 1/3$ and not reconstructable from its $1$-neighbourhoods if $1/2 <α<1$. In this article, we generalise the notion of reconstruction of graphs to the reconstruction of simplicial complexes. We show that the Linial-Meshulam model $Y_{d}(n,p_n)$ on $n$ vertices with $p_n=n^{-α}$ is reconstructable from its $1$-neighbourhoods when $0< α< 1/3$ and is not reconstructable form its $1$-neighbourhoods when $1/2 < α< 1$.