arXiv++ Combinatorics

We study the graphs $MECS_{b,n}^a \cong \overline{K}_a \join \big(n(K_b+K_2)\big)$, obtained by attaching an independent set of size $a$ to $n$ disjoint copies of the block $K_b+K_2$. For $n=1$, we get $MECS_{b,1}^a$, and recover the results of one-block case studied in [Anand, Gupta, Rather and Singh, Homological invariants of some complete split-like graphs, Beitr. Algebra Geom. (2025)]. Using Hochster's formula, tensor products of minimal free resolutions over disjoint variable sets, and the Betti-number formula for graph joins, we derive explicit descriptions of the independence complex, independence polynomial and its analytic properties, Hilbert series, linear and quadratic Betti strands, regularity, projective dimension, and several structural invariants of $MECS_{b,n}^a$. We further classify the well-covered and unmixed members, compute induced matching numbers, show that the family is never Cohen--Macaulay, and record algorithmic procedures for evaluating the Betti data.

We determine the full graded Betti tables of graph families that subsume several classes studied recently in the literature, namely the generalized multiple complete split-like graphs and the generalized clique-star graphs with arbitrary clique block sizes. The method combines Hochster's formula with a precise decomposition of the associated independence complexes into disjoint unions of simplices and iterated joins of discrete complexes. This reduces every graded Betti number to an explicit coefficient extraction formula and yields closed expressions for the linear strand, higher strands, Hilbert series, regularity, projective dimension, and extremal Betti numbers. In particular, we prove a sharp criterion for $2$-linear resolution and identify the regularity corner in terms of the number of nontrivial clique blocks. As applications, we recover and extend earlier results on equal-block split-like graphs, obtain complete formulas for pineapple graphs, and derive consequences for power graphs of cyclic groups, elementary abelian groups, and prime-power dihedral groups.

The independence polynomial of a graph encapsulates all independent sets of differing sizes, a task classified as NP-hard in theoretical computer science. This article examines the independence polynomial of zero divisor graphs in commutative rings. We demonstrate that the independent sets, represented as a sequence of coefficients of the independence polynomial, exhibit unimodality and log-concavity. Therefore, for the independence polynomial of some zero divisor graphs, the unimodal conjecture is true. Additionally, the characteristics of the zeros of the independence polynomial are delineated, along with their corresponding annular regions on the plane.

Let $\bigtriangleup$ be a simplicial complex and let $δ_{\mathcal{NF}}$ denote the NF-operator. The NF-complex $δ_{\mathcal{NF}}(\bigtriangleup)$ is defined as the Stanley--Reisner complex of the facet ideal of $\bigtriangleup$. Iterating $δ_{\mathcal{NF}}$ gives a periodic orbit (up to isomorphism), and the smallest positive integer $t$ for which $δ_{\mathcal{NF}}^{\,t}(\bigtriangleup)\cong \bigtriangleup$ is called the \emph{NF-number} of $\bigtriangleup$ (Habi and Mahmood, Algebra Colloquium, 2022). In this work, we provide various results and determine explicit formulas for the NF-number for several families of graphs. In particular, we compute the NF-number for dumbbell graphs. We also prove that the NF-number of the complete split graph $S_{n,m}$ equals $m+n+2$, and that the NF-number of the double star $D_{p+q}$ equals $p+q+4$. We conclude with remarks, open problems, and conjectures to guide future research.

This paper studies the zero-divisor graphs attached to several finite chain-ring families and computes the homological invariants of their edge ideals by using cochordal constructible systems. We begin with a general layered graph $C(q,L)$, whose vertices are arranged according to valuation layers and whose adjacency is governed by the single rule $k+\ell\ge L$, form some integers $k$ and $\ell$. This graph models the zero-divisor structure of a finite chain ring with residue field of order $q$ and nilpotency index $L$. We prove that $C(q,L)$ is cochordal, determine its type sequence, then correct and refine the Betti formula of its edge ideal [Dung and Vu, Cochordal zero divisor graphs and Betti numbers of their edge ideals, Comm. Algebra 54(2) (2026) 736--744]. The results are then specialized to the Gaussian quotient rings $\mathbb Z_{2^m}[i]$ and to the truncated polynomial rings $\mathbb Z_p[x]/(x^c)$. We compute projective dimension, regularity, independence number, height, Hilbert series, and Cohen--Macaulay behavior. The computations show that these quotient rings have $2$-linear resolutions, while Cohen--Macaulayness occurs only in the expected degenerate or complete-graph cases.

This article settles Problem 7.2 posed by [Banerjee, Special Matrices (2022)] for the induced subgraph $G_2$ of the comaximal graph $Γ(\mathbb Z_n)$ when $n$ is squarefree. Let $n=p_1p_2\cdots p_m$ with distinct primes $p_1<\cdots<p_m$, and let $G_2$ be the graph on the nonzero nonunit residue classes modulo $n$. We use Chinese remainder representation of $\mathbb Z_n$, and encodes each vertex by the set of vanishing coordinates. This converts $G_2$ into a weighted blow-up of a disjointness graph on nonempty proper subsets of $\{1,\dots,m\}$. Within this model, we derive exact class sizes, explicit degree formulas, the minimum-degree layer, and a short-path criterion. The main theorem proves the connectivity of $G_{2}$ as $κ(G_2)=\prod_{i=1}^{m-1}(p_i-1)=\tfrac{φ(n)}{p_m-1}$. Consequently, earlier upper bound is sharp, $G_2$ is maximally connected, and its edge connectivity agrees with its minimum degree. We also obtain distance formulas, diameter and radius information, and a linear-time algorithm once the prime factorization is known.

The characteristic polynomials of the Laplacian and the distance Laplacian matrices of power graphs of groups of order $ pqr $, where $ p,q $ and $ r $ are { primes,} are obtained. Further, the characteristic polynomials of these matrices for proper power graphs of cyclic and dicyclic groups are given. The important inequalities for the zeros of the distance Laplacian characteristic polynomials of power graphs of finite groups are presented in comments.

For a connected simple graph $G$ on $n$ vertices with chromatic number $χ$, the distance Laplacian matrix is $\DL( G)=\mathrm{diag}(\mathrm{Tr}_{ G}(v_1),\dots,\mathrm{Tr}_{ G}(v_n)) - D( G)$, where $D( G)$ is the distance matrix and $\mathrm{Tr}_{ G}(v)=\sum_{u\in V( G)} d_{ G}(u,v)$ is the transmission. The eigenvalues of $\DL( G)$ are ordered as $\partial^{L}_1( G)\ge \partial^{L}_2( G)\ge \cdots \ge \partial^{L}_n( G)=0$. Building on the chromatic lower bound $\partial^{L}_1( G)\ge n+\ceil{\frac{n}χ}$ and subsequent developments, we prove a \emph{color-class majorization principle}: if $(\ell_1,\dots,\ell_χ)$ are the color-class sizes in an optimal $χ$-coloring with $\ell_1\ge \cdots\ge \ell_χ$, then the first $\ell_1-1$ distance Laplacian eigenvalues satisfy $\partial^{L}_i( G)\ge n+\ell_1$, for $1\le i\le \ell_1-1$. This gives sharp lower bounds on the number of eigenvalues above the chromatic threshold $b_χ=n+\ceil{n/χ}$, thereby refining the distribution theorems of Aouchiche--Hansen (Filomat, 2017) and Pirzada--Khan (LAA, 2021). We further refine clique/independent-set based multiplicity results by deriving explicit chromatic criteria in terms of neighborhood compression, and we generalize the extremal problem for minimum $\partial^{L}_1$ at fixed chromatic number by characterizing all minimizers. Several numerical examples are included along with pictorial representations.

This study examines the domination polynomials of friendship graphs and book graphs, focusing on unanswered questions related to these families. For the friendship graph $F_n$, with even $n$, we show that the polynomial $D(F_n,x)$ has exactly three real zeros: $0$ and two simple zeros in the intervals $(-2,-1)$ and $(-1,0)$. We further show that these two nonzero zeros have monotonic variation and converge to $-1-\frac{1}{\sqrt2}$ and $-1+\frac{1}{\sqrt2}$, respectively. We obtain the quantitative approximation $(|z|-1)^2\log |z|\le n$ for any complex zeros of $D(F_n,x)$, resulting in the explicit bound $|z|\le 1+\sqrt{\tfrac{n}{\log 2}}$. For book graphs $B_n$, we ascertain the comprehensive limit set of domination roots and establish results about the presence of real roots contingent on parity. We provide a partial answer to the integer-root an issue by establishing that friendship and book graphs have no nonzero integer domination roots, whereas for corona families, the only nonzero integer root is $-2$.

The comaximal graph $ Γ(R) $ of a commutative ring $R$ is a simple graph with vertex set $ R $ and two distinct vertices $ a $ and $b $ of $ Γ(R) $ are adjacent if and only if $ aR+bR=R $, where $ aR $ is the ideal generated by $ a $ in $ R $. In this article, the independent domination polynomial $ D_{i}(Γ(\mathbb{Z}_{n}),x) $ of $ Γ(\mathbb{Z}_{n}) $ is discussed, along with its unimodal and log-concave properties for certain values of $n$. Some auxiliary results related to $D_{i}(Γ(\mathbb{Z}_{n}),x)$ are presented in terms of their zeros. In addition, we determine the independence polynomial $ I(Γ(\mathbb{Z}_{n}),x ) $ of $ Γ(\mathbb{Z}_{n}) $ for special values of $n$ and provide a general result associated with it. The bounds for the zero of the polynomial $ I(Γ(\mathbb{Z}_{n}),x ) $ are established, and their log-concave and unimodal properties are examined.

Let $R$ be a commutative ring with identity and let $Z^{\ast}(R)$ denote the set of nonzero zero-divisors of $R$. The \emph{zero-divisor graph} $ \varGamma(R)$ is the simple graph with vertex set $V( \varGamma(R))=Z^{\ast}(R)$, where two distinct vertices$x,y\in Z^{\ast}(R)$ are adjacent if and only if $xy=0$ in $R$. In this paper we investigate the zero-divisor graph of the truncated polynomial ring $R=\mathbb{Z}_{p}[x]/\langle x^{c}\rangle,$ for $c\in\mathbb{N}.$ We determine the spectrum of the $A_α$-matrix associated with $ \varGamma(R)$, and, as special cases, explicitly obtain both the adjacency spectrum and the signless Laplacian spectrum of $ \varGamma(R)$. Furthermore, we prove that the Laplacian eigenvalues, as well as the distance eigenvalues, of these graphs are all integers.

Let $M$ be the $n$-square matrix partitioned into $\ell^2$ blocks $b_{ij}$ according to some partition $P=\{C_{1},\dots,C_{\ell}\}$ of index set $\{1,\dots,n\}$. The quotient matrix $Q=(q_{ij})$ is a $k$-square matrix, with $\ell \leq k \leq n-1$, where $(ij)$-th entry is the average row sum (or column sum) of the corresponding block $b_{ij}$ in $M$. The partition $P$ is said to be \emph{equitable} if row sum of each block $b_{ij}$ is constant. In this case, the matrix $Q$ is referred to as the \emph{equitable quotient matrix} of $M$, and the spectrum of $Q$ is the subset of the spectrum of parent matrix $M$. We characterize some classes of matrices such that their equitable quotient matrix $Q$ contains all the distinct eigenvalues of $M$, thereby information can be obtained form the smallest matrix $Q$ without actually analyzing the parent matrix $M.$ We present necessary and the sufficient conditions for distinct eigenvalue of $M$ contained in the spectrum of of $Q$ in terms of eigenspaces. We end up article with some applications, where distinct eigenvalues of a parent matrix can be completely encoded by quotient matrix.

We investigate the adjacency matrices of zero-divisor graphs derived from Lipschitz quaternion rings modulo \(n\). For odd primes \(p\), utilizing the isomorphism \(\LL_p\cong M_2(\F_p)\), we categorize vertices by kernel-image type and demonstrate that the adjacency matrix possesses a block structure as a blow-up of a projective incidence matrix. This produces a reduced matrix on the class-constant subspace, with precise formula for the lower bound for the nullity and the multiplicity of the eigenvalue \(-1\), as well as a closed expression for the spectral radius through an equitable partition. For the two-adic family, we precisely ascertain the graph at \(n=2\) and demonstrate that for \(t\ge 2\), the graph \(G_{2^t}\) encompasses substantial cliques derived from the ideal filtering, which yield definitive lower bounds for the spectral radius. We also examine the implications for graph energy and provide a systematic construction of the adjacency matrix.

We investigate the domination polynomial of the co-maximal graph $Γ(\mathbb{Z}_n)$ related to the ring of integers modulo $n$. Explicit formulas are derived for \( n = p^{n_1} \) and \( n = p^{n_1}q^{n_2} \), demonstrating that the resulting polynomials exhibit unimodality and log-concavity. For general $n$, we present structural expressions that connect $D(Γ(\mathbb{Z}_n),x)$ to appropriate induced subgraphs. Finally, we examine domination roots and establish bounds for their moduli using the Eneström--Kakeya theorem.

The article presents weighted adjacency spectrum of complete multipartite graphs, characterize its families with three distinct eigenvalues and identifies integral matrices. Also, we observe that for almost all weighted matrices, the energy and the spectral radius of a complete graph decreases upon edge deletion, thereby correcting and refining earlier published results in [Bilal and Munir, Int. J. Quantum Chem. (2024)]. Furthermore, we give counter examples related to $ISI$ energy decrease of regular tripartite graph by edge deletion and give its correct $ISI$ spectrum and $ISI$ energy and settle an open problem related to $ISI$ energy change of the multipartite graph. Also, we calculate the weighted adjacency spectrum of crown multipartite graph and discuss its integral spectral weighted spectrum.

The general position problem in graphs seeks the largest set of vertices such that no three vertices lie on a common geodesic. Its counting refinement, the general position polynomial $ψ(G)$, asks for all such possible sets. In this paper, We describe general position sets for several classes of graphs and provide explicit formulas for the general position polynomials of complete multipartite graphs. We specialize to balanced complete multipartite graphs and show that for part size $r\le 4$, the polynomial $ψ(K_{r,\dots,r})$ is log-concave and unimodal for all numbers of parts, while for larger $r$, counterexamples show that these properties fail. Finally, we analyze the corona $G\circ K_1$ and prove that unimodality of $ψ(G)$ is retained for numerous natural classes (paths, edgeless graphs, combs). This contributes to an open problem, but the general case remains unknown. Our findings support the parallel between general position polynomials and classical position-type parameters, and identify balanced multipartite graphs and coronas as promising testbeds for additional research.

For a commutative ring $R,$ with non-zero zero divisors $Z^{\ast}(R)$. The zero divisor graph $Γ(R)$ is a simple graph with vertex set $Z^{\ast}(R)$, and two distinct vertices $x,y\in V(Γ(R))$ are adjacent if and only if $x\cdot y=0.$ In this note, we provide counter examples to the eigenvalues, the energy and the second Zagreb index related to zero divisor graphs of rings obtained in [Johnson and Sankar, J. Appl. Math. Comp. (2023), \cite{johnson}]. We correct the eigenvalues (energy) and the Zagreb index result for the zero divisor graphs of ring $\mathbb{Z}_{p}[x]/\langle x^{4} \rangle.$ We show that for any prime $p$, $Γ(\mathbb{Z}_{p}[x]/\langle x^{4} \rangle)$ is non-hyperenergetic and for prime $p\geq 3$, $Γ(\mathbb{Z}_{p}[x]/\langle x^{4} \rangle)$ is hypoenergetic. We give a formulae for the topological indices of $Γ(\mathbb{Z}_{p}[x]/\langle x^{4} \rangle)$ and show that its Zagreb indices satisfy Hansen and Vuki$\check{c}$cević conjecture \cite{hansen}.

In this note we consider the independent domination polynomial problem along with their unimodal and log-concave properties which were earlier studied by Gürsoy, Ülker and Gürsoy (Soft Comp. 2022). We show that the independent domination polynomial of zero divisor graphs of $\mathbb{Z}_{n}$ for $n\in \{ pq, p^{2}q, pqr, p^α\}$ where $p,q,r$ are primes with $2<p<q<r$ are not unimodal thereby contradicting the main result of Gürsoy, Ülker and Gürsoy \cite{gursoy}. Besides the authors show that the zero of the independent domination polynomial of these graphs have only real zero and used concept of Newton's inequalities to establish the log-concave property for the afore said polynomials. We show that these polynomials have complex zeros and the technique of Newton's inequalities are not applicable. Finally, by definition of log-concave, we prove that these polynomials are log-concave and fix the flaws in Theorem 10 of Gürsoy, Ülker and Gürsoy \cite{gursoy}.

The proximity $π= π(G)$ of a connected graph $G$ is the minimum, over all vertices, of the average distance from a vertex to all others. Similarly, the maximum is called the remoteness and denoted by $ρ= ρ(G)$. The concepts of proximity and remoteness, first defined in 2006, attracted the attention of several researchers in Graph Theory. Their investigation led to a considerable number of publications. In this paper, we present a survey of the research work.