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)$.

This study delves into the incidence matrices of hypergraphs, with a focus on two types: the edge-vertex incidence matrix and the vertex-edge incidence matrix. The edge-vertex incidence matrix is a matrix in which the rows represent hyperedges and the columns represent vertices. For a given hyperedge $e$ and vertex $u$, the $(e,u)$-th entry of the matrix is $1$ if $u$ is incident to $e$; otherwise, this entry is $0$. The vertex-edge incidence matrix is simply the transpose of the edge-vertex incidence matrix. This study examines the ranks and null spaces of these incidence matrices. It is shown that certain hypergraph structures, such as $k$-uniform cycles, units, and equal partitions of hyperedges and vertices, can influence specific vectors in the null space. In a hypergraph, a unit is a maximal collection of vertices that are incident with the same set of hyperedges. Identification of vertices within the same unit leads to a smaller hypergraph, known as unit contraction. The rank of the edge-vertex incidence matrix remains the same for both the original hypergraph and its unit contraction. Additionally, this study establishes connections between the edge-vertex incidence matrix and certain eigenvalues of the adjacency matrix of the hypergraph.

This study explores the relationship between hypergraph automorphisms and the spectral properties of matrices associated with hypergraphs. For an automorphism $f$, an \( f \)-compatible matrices capture aspects of the symmetry, represented by \( f \), within the hypergraph. First, we explore rotation, a specific kind of automorphism and find that the spectrum of any matrix compatible with a rotation can be decomposed into the spectra of smaller matrices associated with that rotation. We show that the spectrum of any \(f\)-compatible matrix can be decomposed into the spectra of smaller matrices associated with the component rotations comprising \( f \). Further, we study a hypergraph symmetry termed unit-automorphism, which induces bijections on the hyperedges, though not necessarily on the vertex set. We show that unit automorphisms also lead to the spectral decomposition of compatible matrices.

Here, the structural symmetries of a hypergraph are represented through equivalence relations on the vertex set of the hypergraph. A matrix associated with the hypergraph may not reflect a specific structural symmetry. In the context of a given symmetry within a hypergraph, we investigate a collection of matrices that encapsulate information about the symmetry. Our investigation reveals that certain structural symmetries in a hypergraph manifest observable effects on the eigenvalues and eigenvectors of designated matrices associated with the hypergraph. We identify specific matrices where the invariance is a consequence of symmetries present in the hypergraph. These invariant subspaces elucidate analogous behaviours observed in certain clusters of vertices during random walks and other dynamical processes on the hypergraph.

In this study, we explore the substructures of a hypergraph that lead us to linearly dependent rows (or columns) in the incidence matrix of the hypergraph. These substructures are closely related to the spectra of various hypergraph matrices, including the signless Laplacian, adjacency, Laplacian, and adjacency matrices of the hypergraph's incidence graph. Specific eigenvectors of these hypergraph matrices serve to characterize these substructures. We show that vectors belonging to the nullspace of the adjacency matrix of the hypergraph's incidence graph provide a distinctive description of these substructures. Additionally, we illustrate that these substructures exhibit inherent similarities and redundancies, which manifest in analogous behaviours during random walks and similar values of hypergraph centralities.

Starting with an isolated vertex, here we construct a threshold hypergraph by repeatedly adding an isolated vertex or a $k$-dominating vertex set. We represent a threshold hypergraph by a string of non-negative integers and find the Laplacian spectrum of threshold hypergraphs from their string representation. We also compute the complete Laplacian spectrum of certain threshold hypergraphs from the Ferrer's diagram of their degree sequences. We show that the Laplacian spectra of threshold hypergraphs are $r$-integral, i.e., integral multiple of $r$, for some $r\in \mathbb{Q}$. We also construct another class of hypergraphs whose Laplacian spectra are $r$-integral.

In this study, we explore the interrelation between hypergraph symmetries represented by equivalence relations on the vertex set and the spectra of operators associated with the hypergraph. We introduce the idea of equivalence relation compatible operators related to hypergraphs. Some eigenvalues and the corresponding eigenvectors can be computed directly from the equivalence classes of the equivalence relation. The other eigenvalues can be computed from a quotient operator obtained by identifying each equivalence class as an element. We provide an equivalence relation $\mathfrak{R}_s$ on the vertex set of a hypergraph such that the Adjacency, Laplacian, and signless Laplacian operators associated with that hypergraph become $\mathfrak{R}_s$-compatible. The $\mathfrak{R}_s$-equivalence classes are named as units. Using units, we find some more symmetric substructures of hypergraphs called twin units, regular sets, co-regular sets, and symmetric sets. We collectively classify them as building blocks of hypergraphs. We show that the presence of these building blocks leaves certain traces in the spectrum and the corresponding eigenspaces of the $\mathfrak{R}_s$-compatible operators associated with the hypergraph. We also show that, conversely, some specific footprints in the spectrum and the corresponding eigenvectors retrace the presence of some of these building blocks in the hypergraph. Besides the spectra of $\mathfrak{R}_s$-compatible operators, building blocks are also interrelated with hypergraph colouring, distances in hypergraphs, hypergraph automorphisms, and random walks on hypergraphs.

Here we introduce connectivity operators, namely, diffusion operators, general Laplacian operators, and general adjacency operators for hypergraphs. These operators are generalisations of some conventional notions of apparently different connectivity matrices associated with hypergraphs. In fact, we introduce here a unified framework for studying different variations of the connectivity operators associated with hypergraphs at the same time. Eigenvalues and corresponding eigenspaces of the general connectivity operators associated with some classes of hypergraphs are computed. Applications such as random walks on hypergraphs, dynamical networks, and disease transmission on hypergraphs are studied from the perspective of our newly introduced operators. We also derive spectral bounds for the weak connectivity number, degree of vertices, maximum cut, bipartition width, and isoperimetric constant of hypergraphs.

Being cognizant of the abundance of multi-body interactions in various complex systems, here we investigate a possible way to incorporate multi-body interactions in dynamical networks. Adopting hypergraph as the underlying architecture aids our proposed dynamical network models to go beyond the traditional archetype of only pairwise interactions. We introduce some matrices associated with hypergraphs to incorporate multi-body frameworks in dynamic networks. We illustrate the fact that the approximation of multi-body interactions by pairwise binary interactions, i.e. considering graph as the underlying architecture of the corresponding dynamical network may lead to a wrong conclusion to the study. Here we use weighted hypergraphs to deal with the multi-body interactions of variable weights. We study the possibility of global and local synchronization in discrete and continuous-time dynamical networks. Some real-world numerical illustrations are included at the end to reinforce our theoretical results.