We show that any connected Cayley graph $Γ$ on an Abelian group of order $2n$ and degree $\tildeΩ(\log n)$ has at most $2^{n+1}(1 + o(1))$ independent sets. This bound is tight up to to the $o(1)$ term when $Γ$ is bipartite. Our proof is based on Sapozhenko's graph container method and uses the Plünnecke-Rusza-Petridis inequality from additive combinatorics.
Let $p$ be an odd prime, and $D_{2p}=\langle τ,σ\mid τ^p=σ^2=e,στσ=τ^{-1}\rangle$ the dihedral group of order $2p$. In this paper, we provide the number of (connected) Cayley (di-)graphs on $D_{2p}$ up to isomorphism by using the Pólya enumeration theorem. In the process, we also enumerate (connected) Cayley digraphs on $D_{2p}$ of out-degree $k$ up to isomorphism for each $k$.
We construct a polynomial-time algorithm that given a graph $X$ with $4p$ vertices ($p$ is prime), finds (if any) a Cayley representation of $X$ over the group $C_2\times C_2\times C_p$. This result, together with the known similar result for circulant graphs, shows that recognising and testing isomorphism of Cayley graphs over an abelian group of order $4p$ can be done in polynomial time.
University of Sydney(悉尼大学);Hebei Normal University(河北师范大学);Sobolev Insitute of Mathematics(索博列夫数学研究所);East China University of Science and Technology(华东理工大学)
The unitary Cayley graph of $\mathbb Z/n\mathbb Z$, denoted $G_{\mathbb Z/n\mathbb Z}$, is the graph with vertices $0,1,\ldots,$ $n-1$ in which two vertices are adjacent if and only if their difference is relatively prime to $n$. These graphs are central to the study of graph representations modulo integers, which were originally introduced by Erdős and Evans. We give a brief account of some results concerning these beautiful graphs and provide a short proof of a simple formula for the number of cliques of any order $m$ in the unitary Cayley graph $G_{\mathbb Z/n\mathbb Z}$. This formula invol…
In this paper, we study self-complementary distance-regular Cayley graphs over abelian groups. We prove that if a regular graph is self-complementary distance-regular, then it is self-complementary strongly regular. We also deal with self-complementary strongly regular Cayley graphs over abelian groups and give an example of a self-complementary strongly regular Cayley graph over a non-elementary abelian group.
In this paper, we consider regular automorphism groups of graphs in the RT$2$ family and the Davis-Xiang family and amorphic abelian Cayley schemes from these graphs. We derive general results on the existence of non-abelian regular automorphism groups from abelian regular automorphism groups and apply them to the RT$2$ family and Davis-Xiang family and their amorphic abelian Cayley schemes to produce amorphic non-abelian Cayley schemes.
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.
We present simple graph-theoretic characterizations of Cayley graphs for monoids, semigroups and groups. We extend these characterizations to commutative monoids, semilattices, and abelian groups.
In this paper we are interested in the asymptotic enumeration of bipartite Cayley digraphs and Cayley graphs over abelian groups. Let $A$ be an abelian group and let $ι$ be the automorphism of $A$ defined by $a^ι=a^{-1}$, for every $a\in A$. A Cayley graph $\Cay(A, S)$ is said to have an automorphism group as small as possible if $\Aut(\Cay(A,S)) = \langle A,ι\rangle$. In this paper, we show that, except for two infinite families, almost all bipartite Cayley graphs on abelian groups have automorphism group as small as possible. We also investigate the analogous question for bipartite Cayley di…
Researchers in the past have studied eigenvalues of Cayley digraphs or graphs. We are interested in characterizing Cayley digraphs on a finite Abelian group G whose eigenvalues are algebraic integers in a given number field K. And we succeed in finding a method to do so by proving Theorem 1. Also, the number of such Cayley digraphs is computed.
A graph is said to be a bi-Cayley graph over a group H if it admits H as a group of automorphisms acting semiregularly on its vertices with two orbits. A non-abelian group is called an inner-abelian group if all of its proper subgroups are abelian. In this paper, we complete the classification of connected cubic edge-transitive bi-Cayley graphs over inner-abelian p-groups for an odd prime p.
Using the domination parameters of Cayley graphs constructed out of $\mathbb{Z}_{p}\times \mathbb{Z}_{m}$, where $m\in\{p^α, p^αq^β, p^αq^βr^γ\},$ in this paper we are discussing about the total and connected domination number and diameter of these Cayley graphs.
We comment on the paper "Extremal Cayley digraphs of finite Abelian groups" [Intercon. Networks 12 (2011), no. 1-2, 125--135]. In particular, we give some counterexamples to the results presented there, and provide a correct result for degree two.
设$A$是一个阿贝尔群,$ι$是由$i:a\mapsto a^{-1}$定义的$A$的自同构.一个Cayley图$Γ=\mathrm{Cay}(A,S)$称为有一个自同构群\emph{as small as possible},如果$\mathrm{Aut}(Γ)= A\rtimes\langle i\rangle$ .本文证明了几乎所有阿贝尔群上的Cayley图都有尽可能小的自同构群,证明了Babai和Godsil的一个猜想。
In 1988, Duval introduced the concept of directed strongly regular graphs, which can be viewed as a directed graph version of strongly regular graphs. Such directed graphs have similar structural and algebraic properties to strongly regular graphs. In the past three decades, it was found that Cayley graphs, especially those over dihedral groups, play a key role in the construction of directed strongly regular graphs. In this paper, we focus on the characterization of directed strongly regular Cayley graphs over more general groups. Let $G$ be a non-abelian group with an abelian subgroup of ind…
A geometric method for obtaining an infinite family of Cayley digraphs of constant density on finite Abelian groups is presented. The method works for any given degree and it is based on consecutive dilates of a minimum distance diagram associated with a given initial Cayley digraph. The method is used to obtain infinite families of dense or asymptotically dense Cayley digraphs. In particular, for degree $d=3$, an infinite family of maximum known density is proposed.
A mixed graph is said to be integral if all the eigenvalues of its Hermitian adjacency matrix are integer. Let $Γ$ be an abelian group. The \textit{mixed Cayley graph} $Cay(Γ,S)$ is a mixed graph on the vertex set $Γ$ and edge set $\{ (a,b): b-a\in S \}$, where $0\not\in S$. We characterize integral mixed Cayley graph $Cay(Γ,S)$ over abelian group in terms of its symbol set $S$.
In this paper, we consider the problem on the existence of perfect state transfer(PST for short) on semi-Cayley graphs over abelian groups (which are not necessarily regular), i.e on the graphs having semiregular and abelian subgroups of automorphisms with two orbits of equal size. We stablish a characterization of semi-Cayley graphs over abelian groups having PST. As a result, we give a characterization of Cayley graphs over groups with an abelian subgroup of index 2 having PST, which improves the earlier results on Cayley graphs over abelian groups, dihedral groups and dicyclic group and det…
A graph $Γ$ is said to be a semi-Cayley graph over a group $G$ if it admits $G$ as a semiregular automorphism group with two orbits of equal size. We say that $Γ$ is normal if $G$ is a normal subgroup of ${\rm Aut}(Γ)$. We prove that every connected intransitive one-matching semi-Cayley graph, with maximum degree three, over a finite abelian group is normal and characterize all such non-normal graphs.
Abelian Cayley digraphs can be constructed by using a generalization to $Z^n$ of the concept of congruence in $Z$. Here we use this approach to present a family of such digraphs, which, for every fixed value of the degree, have asymptotically large number of vertices as the diameter increases. Up to now, the best known asymptotically dense results were all non-constructive.
Fractional revival, known as a quantum transport phenomenon, is essential for entanglement generation in quantum spin networks. The concept of fractional revival is a generalization of perfect state transfer and periodicity on graphs. In this paper, we propose a sufficient and necessary condition for abelian Cayley graphs having fractional revival between any two distinct vertices. With this characterization, two general constructions of abelian Cayley graphs having fractional revival is presented. Meanwhile, we establish several new families of abelian Cayley graphs admitting fractional reviv…
Strongly regular Cayley graphs over primary abelian groups of rank 2
秩为2的阿贝尔群上具有Paley参数的强正则Cayley图在[J. ADavis,PartialDifferenceSetsinP-groups,Arch.Math.63(1994)103-110; K. HLeung,S.L. Ma,Partial difference sets with Paley parameters,Bull. London Math Soc.27(1995)553-564].证明了这类图存在当且仅当对应的群同构于${\mathbb Z}_{p^n} \oplus {\mathbb Z}_{p^n}$,其中$p$是奇素数.本文利用Schur环方法对这类群上的强正则Cayley图进行了分类。作为结果,我们得到了秩为2的阿贝尔群上具有Paley参数的强正则Cayley图的完全分类。
We construct a polynomial-time algorithm which given a graph $Γ$ finds the full set of non-equivalent Cayley representations of $Γ$ over the group $D\cong C_p\times C_{p^k}$, where $p\in\{2,3\}$ and $k\geq 1$. This result implies that the recognition and the isomorphism problems for Cayley graphs over $D$ can be solved in polynomial time.
In this paper, we characterize perfect state transfer in Cayley graphs for abelian groups that have a cyclic Sylow-2-subgroup. This generalizes a result of Bašić from 2013 where he provides a similar characterization for Cayley graphs of cyclic groups.
Fractional revival on oriented Cayley and semi-Cayley graphs over abelian groups
School of Mathematics and Statistics,Northwestern Polytechnical University(西北工业大学数学与统计学院);Xi’an-Budapest Joint Research Center for Combinatorics,Northwestern Polytechnical University(西北工业大学西安-布达佩斯组合学联合研究中心);School of Mathematics and Statistics,Shaanxi Normal University(陕西师范大学数学与统计学院)
We study the game of Cops and Robbers, where cops try to capture a robber on the vertices of a graph. Meyniel's conjecture states that for every connected graph $G$ on $n$ vertices, the cop number of $G$ is upper bounded by $O(\sqrt{n})$, i.e., that $O(\sqrt{n})$ suffice to catch the robber. We present several families of abelian Cayley graphs that are Meyniel extremal, i.e., graphs whose cop number is $O(\sqrt{n})$. This proves that the $O(\sqrt{n})$ upper bound for Cayley graphs proved by Bradshaw is tight up to a multiplicative constant. In particular, this shows that Meyniel's conjecture, …
In this paper a wide family of identifying codes over regular Cayley graphs of degree four which are built over finite Abelian groups is presented. Some of the codes in this construction are also perfect. The graphs considered include some well-known graphs such as tori, twisted tori and Kronecker products of two cycles. Therefore, the codes can be used for identification in these graphs. Finally, an example of how these codes can be applied for adaptive identification over these graphs is presented.
A mixed graph is called \emph{second kind hermitian integral}(or \emph{HS-integral}) if the eigenvalues of its Hermitian-adjacency matrix of second kind are integers. A mixed graph is called \emph{Eisenstein integral} if the eigenvalues of its (0, 1)-adjacency matrix are Eisenstein integers. Let $Γ$ be an abelian group. We characterize the set $S$ for which a mixed Cayley graph $\text{Cay}(Γ, S)$ is HS-integral. We also show that a mixed Cayley graph is Eisenstein integral if and only if it is HS-integral.
We show that for certain integers $n$, the problem of whether or not a Cayley digraph $Γ$ of $\mathbb Z_n$ is also isomorphic to a Cayley digraph of some other abelian group $G$ of order $n$ reduces to the question of whether or not a natural subgroup of the full automorphism group contains more than one regular abelian group up to isomorphism (as opposed to the full automorphism group). A necessary and sufficient condition is then given for such circulants to be isomorphic to Cayley digraphs of more than one abelian group, and an easy-to-check necessary condition is provided.
A well-known conjecture of Alspach says that every $2k$-regular Cayley graph of an abelian group can be decomposed into Hamiltonian cycles. We consider an analogous question for infinite abelian groups. In this setting one natural analogue of a Hamiltonian cycle is a spanning double-ray. However, a naive generalisation of Alspach's conjecture fails to hold in this setting due to the existence of $2k$-regular Cayley graphs with finite cuts $F$ where $|F|$ and $k$ differ in parity, which necessarily preclude the existence of a decomposition into spanning double-rays. We show that every $4$-regul…
Let $X$ be a connected Cayley graph on an abelian group of odd order, such that no two distinct vertices of $X$ have exactly the same neighbours. We show that the direct product $X \times K_2$ (also called the "canonical double cover" of $X$) has only the obvious automorphisms (namely, the ones that come from automorphisms of its factors $X$ and $K_2$). This means that $X$ is "stable". The proof is short and elementary. The theory of direct products implies that $K_2$ can be replaced with members of a much more general family of connected graphs.
Mixed graphs can be seen as digraphs that have both arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case in which such graphs are Cayley graphs of Abelian groups. These groups can be constructed by using a generalization to $\mathbb{Z}^n$ of the concept of congruence in $\mathbb{Z}$. Here we use this approach to present some families of mixed graphs, which, for every fixed value of the degree, have an asymptotically large number of vertices as the diameter increases. In some cases, the results obtained are shown to be optimal.
Using methods of Marklof and Strömbergsson we establish several limit laws for metric parameters of random Cayley graphs of finite abelian groups with respect to a randomly chosen set of generators of a fixed size. Doing so we settle a conjecture of Amir and Gurel-Gurevich.