arXiv++ Combinatorics

The Difference graph $\mathcal{D}(G)$ of a finite group $G$ is the difference of the enhanced power graph $\mathcal{P}_{E}(G)$ and the power graph $\mathcal{P}(G)$ with all the isolated vertices removed. In this paper, we characterize the vertex set of the difference graph of finite nilpotent groups and obtain its cardinality. Consequently, we obtain the metric dimension of the difference graph of finite nilpotent groups. Moreover, this paper determines the metric dimension of the difference graphs of certain non-nilpotent groups, namely: dihedral groups, the generalized quaternion groups, and the semi-dihedral groups.

Given a graph $A$ on a group $G$ and an equivalence relation $B$ on $G$, the $B$ super$A$ graph, whose vertex set is $G$ and two vertices $g$, $h$ are adjacent if and only if there exist $g^{\prime} \in[g]$ and $h^{\prime} \in[h]$ such that $g^{\prime}$ and $h^{\prime}$ are adjacent in $A$. Recently, Dalal \emph{et al.} (Spectrum of super commuting graphs of some finite groups, \textit{Computational and Applied Mathematics}, 43(6):348, 2024) obtain the Laplacian spectrum of supercommuting graphs of certain non-abelian groups including the dihedral group and the generalized quaternion group. In this paper, we continue the study of Laplacian spectrum of certian $B$ super$A$ graphs. We obtain the Laplacian spectrum of conjugacy superenhanced power graphs of certain non-abelian groups, namely: dihedral group, generalized quaternion group and semidihedral group. Moreover to enhance the work of Dalal \emph{et al}, we obtain the Laplacian spectrum of conjugacy supercommuting graph of semidihedral group. We prove that graphs considered in this paper are $L$-integral.

In an earlier work, finite groups whose power graphs are minimally edge connected have been classified. In this article, first we obtain a necessary and sufficient condition for an arbitrary graph to be minimally edge connected. Consequently, we characterize finite groups whose enhanced power graphs and order superpower graphs, respectively, are minimally edge connected. Moreover, for a finite non-cyclic group $G$, we prove that $G$ is an elementary abelian $2$-group if and only if its enhanced power graph is minimally connected. Also, we show that $G$ is a finite $p$-group if and only if its order superpower graph is minimally connected. Finally, we characterize all the finite nilpotent groups such that the minimum degree and the vertex connectivity of their order superpower graphs are equal.

Let $H$ be a normal subgroup of a group $G$. The normal subgroup based power graph $Γ_H(G)$ of $G$ is the simple undirected graph with vertex set $V(Γ_H(G))= (G\setminus H)\cup \{e\}$ and two distinct vertices $a$ and $b$ are adjacent if either $aH = b^m H$ or $bH=a^nH$ for some $m,n \in \mathbb{N}$. In this paper, we continue the study of normal subgroup based power graph and characterize all the pairs $(G,H)$, where $H$ is a non-trivial normal subgroup of $G$, such that the genus of $Γ_H(G)$ is at most $2$. Moreover, we determine all the subgroups $H$ and the quotient groups $\frac{G}{H}$ such that the cross-cap of $Γ_H(G)$ is at most three.

The power graph $\mathcal{P}(G)$ is the simple undirected graph with group elements as a vertex set and two elements are adjacent if one of them is a power of the other. The order supergraph $\mathcal{S}(G)$ of the power graph $\mathcal{P}(G)$ is the simple undirected graph with vertex set $G$ in which two vertices $x$ and $y$ are adjacent if $o(x)\vert o(y)$ or $o(y)\vert o(x)$. In this paper, we classify all the finite groups $G$ such that the order supergraph $\mathcal{S}(G)$ is the line graph of some graph. Moreover, we characterize finite groups whose order supergraphs are the complement of line graphs.

S. Bera (Line graph characterization of power graphs of finite nilpotent groups, \textit{Communication in Algebra}, 50(11), 4652-4668, 2022) characterized finite nilpotent groups whose power graphs and proper power graphs are line graphs. In this paper, we extend the results of above mentioned paper to arbitrary finite groups. Also, we correct the corresponding result of the proper power graphs of dihedral groups. Moreover, we classify all the finite groups whose enhanced power graphs are line graphs. We classify all the finite nilpotent groups (except non-abelian $2$-groups) whose proper enhanced power graphs are line graphs of some graphs. Finally, we determine all the finite groups whose power graphs, proper power graphs, enhanced power graphs and proper enhanced power graphs are the complement of line graphs, respectively.

The power graph of a finite group $G$ is a simple undirected graph with vertex set $G$ and two vertices are adjacent if one is a power of the other. The enhanced power graph of a finite group $G$ is a simple undirected graph whose vertex set is the group $G$ and two vertices $a$ and $b$ are adjacent if there exists $c \in G$ such that both $a$ and $b$ are powers of $c$. In this paper, we investigate the difference graph $\mathcal{D}(G)$ of a finite group $G$, which is the difference of the enhanced power graph and the power graph of $G$ with all isolated vertices removed. We study the difference graphs of finite groups with forbidden subgraphs among other results. We first characterize an arbitrary finite group $G$ such that $\mathcal{D}(G)$ is a chordal graph, star graph, dominatable, threshold graph, and split graph. From this, we conclude that the latter four graph classes are equivalent for $\mathcal{D}(G)$. By applying these results, we classify the nilpotent groups $G$ such that $\mathcal{D}(G)$ belong to the aforementioned five graph classes. This shows that all these graph classes are equivalent for $\mathcal{D}(G)$ when $G$ is nilpotent. Then, we characterize the nilpotent groups whose difference graphs are cograph, bipartite, Eulerian, planar, and outerplanar. Finally, we consider the difference graph of non-nilpotent groups and determine the values of $n$ such that the difference graphs of the symmetric group $S_n$ and alternating group $A_n$ are cograph, chordal, split, and threshold.

The enhanced power graph of a finite group $G$ is the simple undirected graph whose vertex set is $G$ and two distinct vertices $x, y$ are adjacent if $x, y \in \langle z \rangle$ for some $z \in G$. An $L( 2,1)$-labeling of graph $Γ$ is an integer labeling of $V(Γ)$ such that adjacent vertices have labels that differ by at least $2$ and vertices distance $2$ apart have labels that differ by at least $1$. The $λ$-number of $Γ$, denoted by $λ(Γ)$, is the minimum range over all $L( 2,1)$-labelings. In this article, we study the lambda number of the enhanced power graph $\mathcal{P}_E(G)$ of the group $G$. This paper extends the corresponding results, obtained in [22], of the lambda number of power graphs to enhanced power graphs. Moreover, for a non-trivial simple group $G$ of order $n$, we prove that $λ(\mathcal{P}_E(G)) = n$ if and only if $G$ is not a cyclic group of order $n\geq 3$. Finally, we compute the exact value of $λ(\mathcal{P}_E(G))$ if $G$ is a finite nilpotent group.

The enhanced power graph $\mathcal{P}_E(G)$ of a finite group $G$ is the simple undirected graph whose vertex set is $G$ and two distinct vertices $x, y$ are adjacent if $x, y \in \langle z \rangle$ for some $z \in G$. In this article, we give an affirmative answer of the question posed by Cameron [6] which states that: Is it true that the complement of the enhanced power graph $\bar{\mathcal{P}_E(G)}$ of a non-cyclic group $G$ has only one connected component apart from isolated vertices? We classify all finite groups $G$ such that the graph $\bar{\mathcal{P}_E(G)}$ is bipartite. We show that the graph $\bar{\mathcal{P}_E(G)}$ is weakly perfect. Further, we study the subgraph $\bar{\mathcal{P}_E(G^*)}$ of $\bar{\mathcal{P}_E(G)}$ induced by all the non-isolated vertices of $\bar{\mathcal{P}_E(G)}$. We classify all finite groups $G$ such that the graph is $\bar{\mathcal{P}_E(G^*)}$ is unicyclic and pentacyclic. We prove the non-existence of finite groups $G$ such that the graph $\bar{\mathcal{P}_E(G^*)}$ is bicyclic, tricyclic or tetracyclic. Finally, we characterize all finite groups $G$ such that the graph $\bar{\mathcal{P}_E(G^*)}$ is outerplanar, planar, projective-planar and toroidal, respectively.

The enhanced power graph of a finite group $G$, denoted by $\mathcal{P}_E(G)$, is the simple undirected graph whose vertex set is $G$ and two distinct vertices $x, y$ are adjacent if $x, y \in \langle z \rangle$ for some $z \in G$. In this article, we determine all finite groups such that the minimum degree and the vertex connectivity of $\mathcal{P}_E(G)$ are equal. Also, we classify all groups whose (proper) enhanced power graphs are strongly regular. Further, the vertex connectivity of the enhanced power graphs associated to some nilpotent groups is obtained. Finally, we obtain a lower bound and an upper bound for the Wiener index of $\mathcal{P}_E(G)$, where $G$ is a nilpotent group. The finite nilpotent groups attaining these bounds are also characterized.

The enhanced power graph of a group $G$ is a simple undirected graph with vertex set $G$ and two vertices are adjacent if they belong to same cyclic subgroup. In this paper, we study distant properties and detour distant properties such as closure, interior, distance degree sequence and eccentric subgraph of the enhanced power graph of semidihedral group. Consequently, we obtained the metric dimension and resolving polynomial of the enhanced power graph of semidihedral group. At the final part of this paper, we obtained the Laplacian spectrum of the enhanced power graph of semidihedral, dihedral and generalized quaternion groups.