arXiv++ Combinatorics

Tree-child networks are a useful class of binary phylogenetic networks. The Pons--Batle identity (Pons and Batle, \textit{Scientific Reports}, 2021) states that the number $a_{n,k}$ of tree-child networks with $k$ reticulations on $n$ taxa satisfies \[ a_{n,k}=(n-k+1)a_{n,k-1} +\frac{n(2n+k-3)}{n-k}a_{n-1,k}. \] In this paper, we present a short combinatorial proof of this identity.

We prove two surprising results about phylogenetic networks. First, we show that the structure of tree-child networks with $n$ leaves and $k$ reticulation nodes undergoes a sharp phase transition at $n^{1/3}$: if $k=o(n^{1/3})$, then a random tree-child network is almost surely a semi-simplex tree-child network, whereas if $k/n^{1/3}\rightarrow\infty$ and $k=o(n^{1/2})$, it is almost surely not. Second, we show that this result implies that the asymptotic counting formula for galled networks with $n$ leaves and a fixed number $k$ of reticulation nodes remains valid in the range $k=o(n^{1/3})$, but not beyond. This is in strong contrast to recently established results for the asymptotic counting formulas for tree-child and normal networks with $n$ leaves and $k$ reticulation nodes, which are valid in the (optimal) range $k=o(n^{1/2})$.

A group is called bidihedral if it can be expressed as a product of two dihedral subgroups. In this paper, a complete classification for all bidihedral groups is given.

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.

It was shown by Kutnar, Maru\v si\v c and Zhang in 2012 that every connected vertex-transitive graph of order $10p$, where $p$ is a prime and $p\ne 7$, contains a Hamilton path, except for graphs $X$ arising from the action of PSL$(2, s^m)$ on cosets of $\mathbb{Z}_s^m\rtimes \mathbb{Z}_{\frac{s^m-1}{10}}$, where $s$ is a prime. In this paper, Hamilton cycles of these exceptions $X$ will be found.

Given a finite group $G$, a group $X$ is called a dihedral-product group of $G$ if $X=GD$ where $D$ is a finite dihedral group. In particular, it is called a dihedral-skew product group of $G$ if $G\cap D=1$ and $D$ has a trivial core in $X$. In this paper, dihedral-skew product groups of all nonabelian simple groups are classified and dihedral-product groups of all nonabelian simple groups are characterized.

Recently, regular Cayley maps of cyclic groups and dihedral groups have been classified. A nature question is to classify regular Cayley maps of elementary abelian $p$-groups $Z_p^n$. In this paper, a complete classification of regular Cayley maps of $Z_p^n$ is given and moreover, the number of these maps and their genera are enumerated.

A skew-morphism of a finite group $G$ is a permutation $σ$ on $G$ fixing the identity element, and for which there exists an integer function $π$ on $G$ such that $σ(xy)=σ(x)σ^{π(x)}(y)$ for all $x,y\in G$. It has been known that given a skew-morphism $σ$ of $G$, the product of $\langle σ\rangle$ with the left regular representation of $G$ forms a permutation group on $G$, called the skew-product group of $σ$. In this paper, the skew-product groups of skew-morphisms of finite elementary abelian $p$-groups are investigated. Some properties, characterizations and constructions about that are obtained.

After long term efforts, it was recently proved in \cite{DKM2} that except for the Peterson graph, every connected vertex-transitive graph of order $rs$ has a Hamilton cycle, where $r$ and $s$ are primes. A natural topic is to solve the hamiltonian problem for connected vertex-transitive graphs of $2rs$. This topic is quite trivial, as the problem is still unsolved even for that of $r=3$. In this paper, it is shown that except for the Coxeter graph, every connected vertex-transitive graph of order $2rs$ contains a Hamilton cycle, provided the automorphism group acts primitively on vertices.