arXiv++ Combinatorics

As a vital link between group theory and graph theory, Cayley graphs provide a geometric framework for encoding algebraic structures. This study explores the properties of Cayley graphs derived from cyclic groups whose order is the square of the product of three distinct prime numbers. We specifically examine cases where the connecting set is defined by the collection of all elements with an order equal to the square of a prime. A comprehensive analysis of these graphs is presented, focusing on structural characteristics such as connectivity, Eulerian properties, and Hamiltonicity. Furthermore, we determine several key graph parameters, including the clique number, chromatic number, independence number, and diameter.

We investigate structural and combinatorial properties of Bi-Cayley graphs defined over cyclic groups of order $p^2q^2$, where $p$ and $q$ are distinct primes. We begin by describing their fundamental group-theoretic underpinnings. The main focus is on analyzing their connectivity, girth, clique number, chromatic number, diameter, and independence number. It is shown that these Bi-Cayley graphs are connected, biregular with explicitly determined degrees, and possess girth three. Furthermore, we prove that their diameter is equal to five. We further extend several results to Bi-Cayley graphs over arbitrary finite groups under suitable restrictions on the connecting set, with particular emphasis on the case where the connecting set consists of all its involutions. These results clarify structural similarities and differences between Cayley graphs and their Bi-Cayley generalizations.

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 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.

The relative Cayley graph of a group $G$ with respect to its proper subgroup $H$, is a graph whose vertices are elements of $G$ and two vertices $h\in H$ and $g\in G$ are adjacent if $g=hc$ for some $c\in C$, where $C$ is an inversed-closed subset of $G$. We study the relative Cayley graphs and, among other results, we discuss on their connectivity and forbidden structures, and compute some of their important numerical invariants.