arXiv Science⌕ Search

arXiv subjects

Mutasim Mim

Publications and source records attributed to Mutasim Mim.

5 recordsLinked to original sources
arXiv2026

On the homology groups of clique complexes of strongly regular graphs

For a graph $G$ and a field $\mathbb{F},$ the first clique-homology $H_1(\text{Cl}(G),\mathbb{F})$ vanishes precisely when the cycle space of $G$ over $\mathbb{F}$ is generated by the signed boundaries of the triangles. We develop cycle-surgery methods for establishing this property in arbitrary characteristic and apply them to strongly regular graphs. Combining our results with Neumaier's classification, we show that $H_1(\text{Cl}(G),\mathbb{F}) \ne 0$ can only occur in the Petersen graph, the Shrikhande graph, the complete bipartite graphs, the conference graphs on at most $255$ vertices, the lattice graphs, and the finite exceptional families $E_m$ in Neumaier's classification of strongly regular graphs with smallest adjacency eigenvalue $-m$, for some integer $m \geq 3$. Consequently, if $(G_n)_{n\geq 1}$ is an infinite family of pairwise distinct strongly regular graphs and $(\mathbb{F}_n)_{n\geq 1}$ is a sequence of fields such that $H_1(\text{Cl}(G_n), \mathbb{F}_n)\not=0$ for every $n$, then either $G_n$ is a lattice graph for infinitely many $n$, or $\lim_{n\rightarrow +\infty} \lambda_{\min}(G_n)=-\infty$. For Latin square graphs, we determine the clique homologies over arbitrary fields and show that if $G$ is the strongly regular graph associated with a Latin square $M$ of order $n \geq 5$ and $\mathbb{F}$ is any field, then $H_i(\text{Cl}(G),\mathbb{F})=0$ for $i=1$ or $i \geq 3$, and $\dim H_2(\text{Cl}(G),\mathbb{F})=(n-1)^3-I(M),$ where $I(M)$ is the number of $2 \times 2$ Latin subsquares or intercalates in $M$.

math.CO↗
arXiv2026

Triangle Families with Large Edge Up-Laplacian Spectral Gap

Let $\mathcal{T}$ be a finite nonempty set of $3$-element subsets of a totally ordered set $V$. We view $\mathcal{T}$ as the set of triangles in the support graph. Let $\delta_{1,\mathcal{T}}$ be the signed edge-triangle incidence matrix, and $\lambda(\mathcal{T})$ the spectral gap of $\delta_{1,\mathcal{T}}^T\delta_{1,\mathcal{T}}.$ Our main results show that large $\lambda(\mathcal{T})$ forces strong overlap and a large minimum degree in the support graph. In particular, every support edge lies in at least $\lceil \lambda(\mathcal{T})\rceil-2$ triangles in $\mathcal{T}$ and hence the graph has minimum degree at least $\lceil \lambda(\mathcal{T})\rceil-1$. We further prove that $\binom{n}{3}$ is the exact threshold for attaining level $n:$ if $|\mathcal{T}|< \binom{n}{3}$, then $\lambda(\mathcal{T}) \leq n-1,$ while if $|\mathcal{T}|=\binom{n}{3}$ and $\lambda(\mathcal{T}) > n-1,$ then $\mathcal{T}$ is exactly the full set of triangles on an $n$-vertex clique. Moreover, this clique peak is isolated in a strong interval-scale sense: letting $\phi(t)=\max_{|\mathcal{T}|=t} \lambda(\mathcal{T})$, immediately above $\binom{n}{3}$ there is a forbidden interval on which $\phi(t) \leq n-1$, and the first passage above the level $n-1$ is delayed by $\Theta(n^2)$ additional triangles. Since $\binom{n+1}{3} - \binom{n}{3}=\Theta(n^2),$ this implies that after the peak at $\binom{n}{3}$ one must traverse a nonzero proportion of the full gap until the next clique threshold before substantial recovery can occur. In particular, $\phi$ is not monotone. However, $\phi(t)=\Theta(t^{\frac{1}{3}}).$ Finally, if $\Lambda(t):=\max_{1 \leq s \leq t}\phi(s),$ then $\Lambda(t)=\max\{n \in \mathbb{N}:\binom{n}{3} \leq t\}.$ Thus complete triple systems are the unique minimal spectral extremizers, but their peaks are isolated on the natural scale between consecutive clique thresholds.

math.CO↗
arXiv2025

Clique complexes of strongly regular graphs, their eigenvalues, and cohomology groups

It is known that non-isomorphic strongly regular graphs with the same parameters must be cospectral (have the same eigenvalues). In this paper, we investigate whether the spectra of higher order Laplacians associated with these graphs can distinguish them. In this direction, we study the clique complexes of strongly regular graphs, and determine the spectra of the triangle complexes of several families of strongly regular graphs including Hamming graphs and Triangular graphs. In many cases, the spectrum of the triangle complex distinguishes between strongly regular graphs with the same parameters, but we find some examples where that is not the case. We also prove that if a graph has the property that for any induced cycle, there are four consecutive vertices on the cycle with a common neighbor, then the first cohomology group of the graph is trivial and we apply this result to several families of graphs.

math.CO↗