arXiv++ Combinatorics

Let $L(G)$ be the set of all subgroups of a group $G$. The subgroup generating bipartite graph $\mathcal{B}(G)$ defined on $G$ is a bipartite graph whose vertex set is the union of two sets $G \times G$ and $L(G)$, and two vertices $(a, b) \in G \times G$ and $H \in L(G)$ are adjacent if $H$ is generated by $a$ and $b$. In this paper, we realize the structures of $\mathcal{B}(G)$ for cyclic groups of order $pq, p^2q$ and $p^2q^2$, where $p$ and $q$ are primes and $p \neq q$. We also deduce expressions for first and second Zagreb indices of these graphs and check the validity of Hansen-Vuki{č}evi{ć} conjecture [Hansen, P. and Vuki{č}evi{ć}, D. Comparing the Zagreb indices, {\em Croatica Chemica Acta}, \textbf{80}(2), 165-168, 2007]. Expressions of certain other degree-based topological indices of these graphs are also computed. We further compute various spectra and their corresponding energies of $\mathcal{B}(G)$ if $G$ is any cyclic group of order $p^n, pq, p^2q$ and $p^2q^2$, where $p$ and $q$ are two distinct primes and $n \geq 1$. We conclude the paper showing that $\mathcal{B}(G)$ satisfies E-LE conjecture [Gutman, I., Abreu, N. M. M., Vinagre, C. T. M., Bonifacioa, A. S. and Radenkovic, S. Relation between energy and Laplacian energy, {\em MATCH Communications in Mathematical and in Computer Chemistry}, \textbf{59}, 343--354, 2008] for these groups.

Let ${G}$ be a finite non-abelian group. The non-commuting conjugacy class graph (abbreviated as NCCC-graph) of $G$ is a simple undirected graph whose vertex set is the set of conjugacy classes of non-central elements of $G$ and two vertices $x^G$ and $y^G$ are adjacent to each other if $x'$ and $y'$ does not commute for all $x'\in x^G$ and $y'\in y^G$, where $x^G$ is the conjugacy class of $x \in G$. In this paper, we compute the spectrum, Laplacian spectrum, signless Laplacian spectrum and corresponding energies of NCCC-graphs of certain families of finite non-abelian groups. We determine whether these graphs are integral, L-integral and Q-integral. Further, we compare energy, Laplacian energy and signless Laplacian energy; and determine whether these graphs are borderenergetic, L-borderenergetic, Q-borderenergetic, hyperenergetic, L-hyperenergetic or Q-hyperenergetic.

Let $G$ be a group and $L(G)$ be the set of all subgroups of $G$. We introduce a bipartite graph $\mathcal{B}(G)$ on $G$ whose vertex set is the union of two sets $G \times G$ and $L(G)$, and two vertices $(a, b) \in G \times G$ and $H \in L(G)$ are adjacent if $H$ is generated by $a$ and $b$. We establish connections between $\mathcal{B}(G)$ and the generating graph of $G$. We also discuss about various graph parameters such as independence number, domination number, girth, diameter, matching number, clique number, irredundance number, domatic number and minimum size of a vertex cover of $\mathcal{B}(G)$. We obtain relations between $\mathcal{B}(G)$ and certain probabilities associated to finite groups. We also obtain expressions for various topological indices of $\mathcal{B}(G)$. Finally, we realize the structures of $\mathcal{B}(G)$ for the dihedral groups of order $2p$ and $2p^2$ and dicyclic groups of order $4p$ and $4p^2$ (where $p$ is any prime) including certain other small order groups.

Let $G$ be a group. The co-Engel graph of $G$) with $G$ whose vertex set is $G$ and two distinct vertices $x$ and $y$ are adjacent if $[x,{}_k y]\neq1$ and $[y,{}_k x] \neq 1$ for all positive integer $k$, where $[x,{}_ky]$ is the iterated commutator $[x,y,y,\ldots,y]$, with $k$ terms $y$ in the expression; usually we delete isolated vertices (these are the left Engel elements). This graph, under the name ``Engel graph'', was introduced by Abdollahi~\cite{aa}. However, we argue that it is more naturally called the ``co-Engel graph''. We compute genus, various spectra, energies and Zagreb indices of co-Engel graphs for groups including the dihedral and generalized quaternion groups and nonabelian groups of order $pq$ where $p$ and $q$ are primes. As a consequence, we determine (up to isomorphism) all finite non-Engel group $G$ such that the clique number of the co-Engel is at most $4$ and the graph is toroidal or projective. Further, we show that the co-Engel graph is super integral and satisfies the E-LE conjecture and the Hansen--Vuki{č}evi{ć} conjecture for the groups considered in this paper. We also look briefly at the directed Engel graph, with an arc $x\to y$ if $[y,{}_kx]=1$ for some $k$. We show that, if $G$ is a finite soluble group, this graph either is the complete directed graph (which occurs only if $G$ is nilpotent), or has pairs of vertices joined only by single arcs. We also show that the (directed or undirected) Engel graph of a group $G$ is the lexicographic product of a complete graph of order $Z_\infty(G)$ by the (directed or undirected) Engel graph of $G/Z_\infty(G)$, where $Z_\infty(G)$ is the hypercenter of $G$.

Let A be a graph type and B an equivalence relation on a group $G$. Let $[g]$ be the equivalence class of $g$ with respect to the equivalence relation B. The B superA graph of $G$ is an undirected graph whose vertex set is $G$ and two distinct vertices $g, h \in G$ are adjacent if $[g] = [h]$ or there exist $x \in [g]$ and $y \in [h]$ such that $x$ and $y$ are adjacent in the A graph of $G$. In this paper, we compute spectrum of equality/conjugacy supercommuting graphs of dihedral/dicyclic groups and show that these graphs are not integral.

In this paper we establish connections between common neighborhood Laplacian and common neighborhood signless Laplacian energies and the first Zagreb index of a graph $\mathcal{G}$. We introduce the concepts of CNL-hyperenergetic and CNSL-hyperenergetic graphs and showed that $\mathcal{G}$ is neither CNL-hyperenergetic nor CNSL-hyperenergetic if $\mathcal{G}$ is a complete bipartite graph. We obtain certain relations between various energies of a graph. Finally, we conclude the paper with several bounds for common neighborhood Laplacian and signless Laplacian energies of a graph.

In this paper we introduce the graph $Γ_{sc}(G)$ associated with a group $G$, called the solvable conjugacy class graph (abbreviated as SCC-graph), whose vertices are the nontrivial conjugacy classes of $G$ and two distinct conjugacy classes $C, D$ are adjacent if there exist $x \in C$ and $y \in D$ such that $\langle x, y\rangle$ is solvable. We discuss the connectivity, girth, clique number, and several other properties of the SCC-graph. One of our results asserts that there are only finitely many finite groups whose SCC-graph has given clique number~$d$, and we find explicitly the list of such groups with $d=2$.

Let $G$ be a finite group. A number of graphs with the vertex set $G$ have been studied, including the power graph, enhanced power graph, and commuting graph. These graphs form a hierarchy under the inclusion of edge sets, and it is useful to study them together. In addition, several authors have considered modifying the definition of these graphs by choosing a natural equivalence relation on the group such as equality, conjugacy, or equal orders, and joining two elements if there are elements in their equivalence class that are adjacent in the original graph. In this way, we enlarge the hierarchy into a second dimension. Using the three graph types and three equivalence relations mentioned gives nine graphs, of which in general only two coincide; we find conditions on the group for some other pairs to be equal. These often define interesting classes of groups, such as EPPO groups, $2$-Engel groups, and Dedekind groups. We study some properties of graphs in this new hierarchy. In particular, we characterize the groups for which the graphs are complete, and in most cases, we characterize the dominant vertices (those joined to all others). Also, we give some results about universality, perfectness, and clique number. The paper ends with some open problems and suggestions for further work.

Let $Γ$ be a graph with the adjacency matrix $A$. The energy of $Γ$ is the sum of the absolute values of the eigenvalues of $A$. In this article we compute the energies of the commuting graphs of some finite groups and discuss some consequences.