arXiv++ Combinatorics

The co-maximal subgroup graph $Γ(G)$ of a finite group $G$ is defined to be a graph with the set of all non-trivial proper subgroups of $G$ as the set of vertices and two distinct vertices $H$ and $K$ are adjacent if and only if $HK=G$. The deleted co-maximal subgroup graph of $G$, denoted by $Γ^*(G)$, is defined as the graph obtained by removing the isolated vertices from $Γ(G)$. In this paper, we prove that for any finite group $G$, $Γ^*(G)$ is connected. Furthermore, we show that $Γ^*(G)$ either contains a cycle or is a star. When $Γ^*(G)$ contains a cycle, its girth is either $3$ or $4$. Finally, we classify all finite groups $G$ for which $Γ^*(G)$ is a star.

The number of subgroups and the number of cyclic subgroups are natural combinatorial invariants of a finite group. We investigate how restrictions on these quantities, together with the number of distinct prime divisors of $|G|$, enforce nilpotency, supersolvability, and solvability of $G$. These criteria improve earlier results that relied solely on the total number of subgroups, and they are sharp in the sense that for each bound there exist non-nilpotent (respectively non-supersolvable, non-solvable) groups attaining the bound.

A finite group $G$ is said to be Cayley integral if every undirected Cayley graph $\operatorname{Cay}(G,S)$ on $G$ is integral. In this paper, we introduce three natural extensions of this concept; namely as: Cayley colour integral, $\mathfrak{F}$-Cayley colour integral and normal Cayley integral groups. We characterize the first two families in its entirety. The last family of groups is shown to be coinciding with inverse semi-rational groups introduced by Chillag and Dolfi, thereby providing an alternative characterization for the same. We also establish an inclusion hierarchy among these families.

Quasi-strongly regular graphs form a significant generalization of strongly regular graphs. We study the eigenvalues of a family of such graphs, $Γ_H(G)$, constructed from a finite group $G$ and a subgroup $H$. Our main results include a sufficient condition for $Γ_H(G)$ to be integral and an explicit computation of its entire spectrum when $H$ is normal, revealing that the spectrum in this case depends only on $|G|$ and the index $[G:H]$.

The \emph{difference subgroup graph} $D(G)$ of a finite group $G$ is defined as the graph whose vertices are the non-trivial proper subgroups of $G$, with two distinct vertices $H$ and $K$ adjacent if and only if $\langle H, K \rangle = G$ but $HK \ne G$. This graph arises naturally as the difference between the join graph $Δ(G)$ and the comaximal subgroup graph $Γ(G)$. In this paper, we initiate a systematic study of $D(G)$ and its reduced version $D^*(G)$, obtained by removing isolated vertices. We establish several fundamental structural properties of these graphs, including conditions for connectivity, forbidden subgraph characterizations, and the relationship between graph parameters - such as independence number, clique number, and girth - and the solvability or nilpotency of the underlying group. The paper concludes with a discussion of open problems and potential directions for future research.

In this sequel paper, we continue the analysis of the prime order element graph $Γ(G)$ of a finite group $G$, where vertices are elements of $G$ and edges connect distinct elements $x, y$ satisfying $\circ(xy) = p$ for some prime $p$. Our investigation focuses on the adjacency and Laplacian spectra, planarity, and clique number of this graph. We conclude by outlining open issues and potential directions for future investigations.

The algebraic degree $Deg(G)$ of a graph $G$ is the dimension of the splitting field of the adjacency polynomial of $G$ over the field $\mathbb{Q}$. It can be shown that for every positive integer $d$, there exists a circulant graph with algebraic degree $d$. Let $C(d)$ be the least positive integer such that there exists a circulant graph of order $C(d)$ having algebraic degree $d$. A graph $G$ is called $d$-integral if $Deg(G)=d$. We call a $d$-integral circulant graph \textit{minimal} if order of that graph equals $C(d)$. Let $\mathcal{F}_{n,d}$ denote the collection of isomorphism classes of connected, $d$-integral circulant graphs of some given possible order $n$. In this paper we compute the exact value of $C(d)$ and provide some bounds on $|\mathcal{F}_{n,d}|$, thereby showing that the minimal $d$-integral circulant graph is not unique. Moreover, we find the exact value of $|\mathcal{F}_{p,d}|$ where both $p$ and $d$ are prime.

In this paper, we study different forbidden subgraph characterizations of the prime-order element graph $Γ(G)$ defined on a finite group $G$. Its set of vertices is the group $G$ and two vertices $x,y \in G$ are adjacent if the order of $xy$ is prime. More specifically, we investigate the conditions when $Γ(G)$ is perfect, cograph, chordal, claw-free, and interval graph.

Let $G_n=\mathbb{Z}_n\times \mathbb{Z}_n$ for $n\geq 4$ and $S=\{(i,0),(0,i),(i,i): 1\leq i \leq n-1\}\subset G_n$. Define $Γ(n)$ to be the Cayley graph of $G_n$ with respect to the connecting set $S$. It is known that $Γ(n)$ is a strongly regular graph with the parameters $(n^2,3n-3,n,6)$ \cite{19}. Hence $Γ(n)$ is a distance regular graph. It is known that every distance transitive graph is distance regular, but the converse is not true. In this paper, we study some algebraic properties of the graph $Γ(n)$. Then by determining the automorphism group of this family of graphs, we show that the graphs under study are not distance transitive.

In this paper, we construct a family of quasi-strongly regular Cayley graphs $Γ_H(G)$ which is defined on a finite group $G$ with respect to a subgroup $H$ of $G$. We also compute its full automorphism group and characterize various transitivity properties of it.

The difference graph $D(G)$ of a finite group $G$ is the difference of enhanced power graph of $G$ and power graph of $G$, with all isolated vertices are removed. In this paper we study the connectedness and perfectness of $D(G)$ with respect to various properties of the underlying group $G$. We also find several connection between the difference graph of $G$ and the Gruenberg-Kegel graph of $G$.

The annihilating-ideal graph of a commutative ring $R$ with unity is defined as the graph $\mathbb{AG}(R)$ with the vertex set is the set of all non-zero ideals with non-zero annihilators and two distinct vertices $I$ and $J$ are adjacent if and only if $IJ = 0$. Nikandish {\it et.al.} proved that $\mathbb{AG}(\mathbb{Z}_n)$ is weakly perfect. In this short paper, we characterize $n$ for which $\mathbb{AG}(\mathbb{Z}_n)$ is perfect.

The co-maximal subgroup graph $Γ(G)$ of a group $G$ is a graph whose vertices are non-trivial proper subgroups of $G$ and two vertices $H$ and $K$ are adjacent if $HK=G$. In this paper, we continue the study of $Γ(G)$, especially when $Γ(G)$ has isolated vertices. We define a new graph $Γ^*(G)$, which is obtained by removing isolated vertices from $Γ(G)$. We characterize when $Γ^*(G)$ is connected, a complete graph, star graph, has an universal vertex etc. We also find various graph parameters like diameter, girth, bipartiteness etc. in terms of properties of $G$.

The determining number of a graph $G = (V,E)$ is the minimum cardinality of a set $S\subseteq V$ such that pointwise stabilizer of $S$ under the action of $Aut(G)$ is trivial. In this paper, we provide some improved upper and lower bounds on the determining number of Kneser graphs. Moreover, we provide the exact value of the determining number for some subfamilies of Kneser graphs.

In this paper, we introduce a new family of graphs, $Γ(n,a)$. We show that it is an infinite family of tetravalent half-transitive Cayley graphs. Apart from that, we determine some structural properties of $Γ(n,a)$.

Rose window graphs are a family of tetravalent graphs, introduced by Steve Wilson. Following it, Kovacs, Kutnar and Marusic classified the edge-transitive rose window graphs and Dobson, Kovacs and Miklavic characterized the vertex transitive rose window graphs. In this paper, we classify the Cayley rose window graphs.

In this paper, we introduce and study a new distance parameter {\it triameter} of a connected graph $G$, which is defined as $max\{d(u,v)+d(v,w)+d(u,w): u,v,w \in V\}$ and is denoted by $tr(G)$. We find various upper and lower bounds on $tr(G)$ in terms of order, girth, domination parameters etc., and characterize the graphs attaining those bounds. In the process, we provide some lower bounds of (connected, total) domination numbers of a connected graph in terms of its triameter. The lower bound on total domination number was proved earlier by Henning and Yeo. We provide a shorter proof of that. Moreover, we prove Nordhaus-Gaddum type bounds on $tr(G)$ and find $tr(G)$ for some specific family of graphs.

Let $G=(V,E)$ be a graph. For some $α$ with $0<α\leq 1$, a subset $S$ of $V$ is said to be a $α$-partial dominating set if $|N[S]|\geq α|V|$. The size of a smallest such $S$ is called the $α$-partial domination number and is denoted by $\mathsf{pd}_α(G)$. In this paper, we introduce $α$-partial domination number in a graph $G$ and study different bounds on the partial domination number of a graph $G$ with respect to its order, maximum degree, domination number etc., Moreover, $α$-partial domination spectrum is introduced and Nordhaus-Gaddum bounds on the partial domination number are studied.

In this paper we introduce a graph structure, called subspace sum graph $\mathcal{G}(\mathbb{V})$ on a finite dimensional vector space $\mathbb{V}$ where the vertex set is the collection of non-trivial proper subspaces of a vector space and two vertices $W_1,W_2$ are adjacent if $W_1 + W_2=\mathbb{V}$. The diameter, girth, connectivity, maximal independent sets, different variants of domination number, clique number and chromatic number of $\mathcal{G}(\mathbb{V})$ are studied. It is shown that two subspace sum graphs are isomorphic if and only if the base vector spaces are isomorphic. Finally some properties of subspace sum graph are studied when the base field is finite.