arXiv++ Combinatorics

Let $Γ=$Cay$(G,T)$ be a Cayley digraph over a finite Abelian group $G$ with respect the generating set $T\not\ni0$. $Γ$ has order ord$(Γ)=|G|=n$ and degree deg$(Γ)=|T|=d$. Let $k(Γ)$ be the diameter of $Γ$ and denote $κ(d,n)=\min\{k(Γ):~\textrm{ord}(Γ)=n,\textrm{deg}(Γ)=d\}$. We give a closed expression, $\ell(d,n)$, of a tight lower bound of $κ(d,n)$ by using the so called {\em solid density} introduced by Fiduccia, Forcade and Zito. A digraph $Γ$ of degree $d$ is called {\em tight} when $k(Γ)=κ(d,|Γ|)=\ell(d,|Γ|)$ holds. Recently, the {\em Dilating Method} has been developed to derive a sequence of digraphs of constant solid density. In this work, we use this method to derive a sequence of tight digraphs $\{Γ_i\}_{i=1}^{\textrm{c}(Γ)}$ from a given tight digraph $Γ$. Moreover, we find a closed expression of the cardinality c$(Γ)$ of this sequence. It is perhaps surprising that c$(Γ)$ depends only on $n$ and $d$ and not on the structure of $Γ$.

Given a finite Abelian group $G$ and a generator subset $A\subset G$ of cardinality two, we consider the Cayley digraph $Γ=$Cay$(G,A)$. This digraph is called $2$--Cayley digraph. An extension of $Γ$ is a $2$--Cayley digraph, $Γ'=$Cay$(G',A)$ with $G<G'$, such that there is some subgroup $H<G'$ satisfying the digraph isomorphism Cay$(G'/H,A)\cong$Cay$(G,A)$. We also call the digraph $Γ$ a quotient of $Γ'$. Notice that the generator set does not change. A $2$--Cayley digraph is called optimal when its diameter is optimal with respect to its order. In this work we define two procedures, E and Q, which generate a particular type of extensions and quotients of $2$--Cayley digraphs, respectively. These procedures are used to obtain optimal quotients and extensions. Quotients obtained by procedure Q of optimal $2$--Cayley digraphs are proved to be also optimal. The number of tight extensions, generated by procedure E from a given tight digraph, is characterized. Tight digraphs for which procedure E gives infinite tight extensions are also characterized. Finally, these two procedures allow the obtention of new optimal families of $2$--Cayley digraphs and also the improvement of the diameter of many proposals in the literature.