arXiv++ Combinatorics

A perfect code in a graph $Γ= (V, E)$ is a subset $C$ of $V$ such that no two vertices in $C$ are adjacent and every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A subgroup $H$ of a group $G$ is called a subgroup perfect code of $G$ if it is a perfect code in some Cayley graph of $G$. In this paper, we study the set $Δ(G)$ of conjugacy classes of nontrivial subgroup perfect codes of $G$, with a focus on its relation to $|π(G)|$, the number of prime divisors of $|G|$. We prove that $|Δ(G)| \ge |π(G)|$ with only three exceptional families, which leads to the natural question: when is this bound attained or nearly attained? We completely classify finite groups $G$ satisfying $|Δ(G)| = |π(G)|$ and $|Δ(G)| = |π(G)| + 1$, and we further characterize all insolvable groups with $|Δ(G)| \le 6$. Our approach is based on the classification of primitive groups of odd degree, as well as the classification of primitive groups of square-free degree.

Isomorphic factorizations of complete graphs originate from the seminal work of Frank Harary and collaborators, who initiated the systematic study of decompositions of complete graphs into pairwise isomorphic spanning subgraphs. In this paper, we investigate isomorphic factorizations of complete graphs into Cayley graphs on CI-groups. Let $Γ=Cay(G,S)$ denote the Cayley graph of finite group $G$. We obtain a necessary and sufficient condition on CI-group $G$ so that the complete graph on $|G|$ vertices can be edge-partitioned into $k$-copies of Cayley graph of the same CI-group $G$ each isomorphic to $Cay(G,S)$ for some inverse-closed subset $S\subset G\setminus\{1\}$. Further we give a construction of isomorphic factorizations of the complete graph into Cayley graphs on CI-group.

A subset $C$ of the vertex set of a graph $Γ$ is called a perfect code in $Γ$ if every vertex of $Γ$ is at distance no more than 1 to exactly one vertex of $C$. A subgroup $H$ of a group $G$ is called a subgroup perfect code of $G$ if $H$ is a perfect code in some Cayley graph of $G$. Recently, Zhang reveals that the study of subgroup perfect codes of finite groups naturally reduces to the case of $p$-groups, especially $2$-groups. Based on the combined works of Berkovich, Janko and Zhang, every $p$-group is an $\mathcal{A}_t$-group. In this work, we establish a complete classification of subgroup perfect codes of $\mathcal{A}_t$-groups for $t \in\{0, 1\}$. Moreover, subgroup perfect codes of finite groups with abelian Sylow $2$-subgroups are also characterized.

After long-term efforts, the Hamilton path (cycle) problem for connected vertex-transitive graphs of order $pq$ (where $p$ and $q$ are primes) was finally resolved in 2021, see [10]. Fifteen years ago, mathematicians began addressing this problem for graphs of order $2pq$. Among these studies, it was proved in 2012 (see [21]) that every connected vertex-transitive graph of order $10p$ (where $p \neq 7$ is a prime) contains a Hamilton path, with the exception of a family of graphs that was recently confirmed in [11]. In this paper, we achieve a further result: every connected vertex-transitive graph of order $10p$ (where $p$ is a prime) contains a Hamilton cycle, except for the truncation of the Petersen graph.