Let $G$ be a finite group, and $S$ be a subset of $G\setminus\{1\}$ such that $S=S^{-1}$. Suppose that $Cay(G,S)$ is the Cayley graph on $G$ with respect to the set $S$ which is the graph whose vertex set is $G$ and two vertices $a,b\in G$ are adjacent if and only if $ab^{-1}\in S$. The adjacency spectrum $Spec(Γ)$ of a graph $Γ$ is the multiset of eigenvalues of its adjacency matrix. A graph $Γ$ is called "determined by its spectrum" (or for short DS) whenever if a graph $Γ'$ has the same spectrum as $Γ$, then $Γ\cong Γ'$. We say that the group $G$ is DS (Cay-DS, respectively) whenever if $Γ$ is a Cayley graph over $G$ and $Spec(Γ)=Spec(Γ')$ for some graph (Cayley graph, respectively) $Γ'$, then $Γ\cong Γ'$. In this paper, we study finite DS groups and finite Cay-DS groups. In particular we prove that all finite DS groups are solvable and all Sylow $p$-subgroups of a finite DS group is cyclic for all $p\geq 5$. We also give several infinite families of non Cay-DS solvable groups. In particular we prove that there exist two cospectral non-isomorphic $6$-regular Cayley graphs on the dihedral group of order $2p$ for any prime $p\geq 13$.
A finite group $G$ is called Cayley integral if all undirected Cayley graphs over $G$ are integral, i.e., all eigenvalues of the graphs are integers. The Cayley integral groups have been determined by Kloster and Sander in the abelian case, and by Abdollahi and Jazaeri, and independently by Ahmady, Bell and Mohar in the non-abelian case. In this paper we generalize this class of groups by introducing the class $\mathcal{G}_k$ of finite groups $G$ for which all graphs $\mathrm{Cay}(G,S)$ are integral if $|S| \le k$. It will be proved that $\mathcal{G}_k$ consists of the Cayley integral groups i…
Let $G$ be a finite group, $S\subseteq G\setminus\{1\}$ be a set such that if $a\in S$, then $a^{-1}\in S$, where $1$ denotes the identity element of $G$. The undirected Cayley graph $Cay(G,S)$ of $G$ over the set $S$ is the graph whose vertex set is $G$ and two vertices $a$ and $b$ are adjacent whenever $ab^{-1}\in S$. The adjacency spectrum of a graph is the multiset of all eigenvalues of the adjacency matrix of the graph. A graph is called integral whenever all adjacency spectrum elements are integers. Following Klotz and Sander, we call a group $G$ Cayley integral whenever all undirected C…
In this paper we are interested in the asymptotic enumeration of Cayley graphs. It has previously been shown that almost every Cayley digraph has the smallest possible automorphism group: that is, it is a digraphical regular representation (DRR). In this paper, we approach the corresponding question for undirected Cayley graphs. The situation is complicated by the fact that there are two infinite families of groups that do not admit any graphical regular representation (GRR). The strategy for digraphs involved analysing separately the cases where the regular group $R$ has a nontrivial proper n…
Let $G$ be a finite group with $|G|\geq 4$ and $S$ be a subset of $G$. Given an automorphism $σ$ of $G$, the twisted Cayley graph $C(G, S)^σ$ (resp. the twisted Cayley sum graph $C_Σ(G, S)^σ$) is defined as the graph having $G$ as its set of vertices and the adjacent vertices of a vertex $g\in G$ are of the form $σ(gs)$ (resp. $σ(g^{-1} s)$) for some $s\in S$. If the twisted Cayley graph $C(G, S)^σ$ is undirected and connected, then we prove that the nontrivial spectrum of its normalised adjacency operator is bounded away from $-1$ and this bound depends only on its degree, the order of $σ$ an…
We introduce a family of graphs that generalises the class of Cayley graphs. For non-empty subsets L, R of a group G, the two-sided Cayley graph 2SC(G;L,R) is the directed graph with vertex set G and an arc from x to y if and only if y=a^{-1}xb for some a in L and b in R. Thus, in common with Cayley graphs, two-sided Cayley graphs may be useful to model networks as the same routing and communication scheme can be implemented at each vertex. We determine when two-sided Cayley graphs are simple undirected graphs, and give sufficient conditions for them to be connected, vertex-transitive, or Cayl…
Tournaments are graphs obtained by assigning a direction for every edge in an undirected complete graph. We give a formula for the number of isomorphism classes of vertex-transitive tournaments with prime order. For that, we introduce Cayley tournaments, which are special Cayley digraphs, and show that there is a one to one identification between the isomorphism classes of vertex-transitive tournaments with prime order and the isomorphism classes of Cayley tournaments with prime order.
The degree-diameter problem seeks to find the largest possible number of vertices in a graph having given diameter and given maximum degree. There has been much recent interest in the problem for mixed graphs, where we allow both undirected edges and directed arcs in the graph. For a diameter 2 graph with maximum undirected degree $r$ and directed out-degree $z$, a straightforward counting argument yields an upper bound $M(z,r,2)=(z+r)^2+z+1$ for the order of the graph. Apart from the case $r=1$, the only three known examples of mixed graphs attaining this bound are Cayley graphs, and there ar…
We address the degree-diameter problem for Cayley graphs of Abelian groups (Abelian graphs), both directed and undirected. The problem turns out to be closely related to the problem of finding efficient lattice coverings of Euclidean space by shapes such as octahedra and tetrahedra; we exploit this relationship in both directions. In particular, we find the largest Abelian graphs with 2 generators (dimensions) and a given diameter. (The results for 2 generators are not new; they are given in the literature of distributed loop networks.) We find an undirected Abelian graph with 3 generators and…
Generalizing a result of Conway, Sloane, and Wilkes for real reflection groups, we show the Cayley graph of an imprimitive complex reflection group with respect to standard generating reflections has a Hamiltonian cycle. This is consistent with the long-standing conjecture that for every finite group, G, and every set of generators, S, of G the undirected Cayley graph of G with respect to S has a Hamiltonian cycle.
We prove the existence of a limiting distribution for the appropriately rescaled diameters of random undirected Cayley graphs of finite nilpotent groups of bounded rank and nilpotency class, thus extending a result of Shapira and Zuck which dealt with the case of abelian groups. The limiting distribution is defined on a space of unimodular lattices, as in the case of random Cayley graphs of abelian groups. Our result, when specialised to a certain family of unitriangular groups, establishes a very recent conjecture of Hermon and Thomas. We derive this as a consequence of a general inequality, …
We present families of large undirected and directed Cayley graphs whose construction is related to butterfly networks. One approach yields, for every large $k$ and for values of $d$ taken from a large interval, the largest known Cayley graphs and digraphs of diameter $k$ and degree $d$. Another method yields, for sufficiently large $k$ and infinitely many values of $d$, Cayley graphs and digraphs of diameter $k$ and degree $d$ whose order is exponentially larger in $k$ than any previously constructed. In the directed case, these are within a linear factor in $k$ of the Moore bound.
Let $Γ$ be a group and $(Γ_n)_{n=1} ^{\infty}$ be a descending sequence of finite-index normal subgroups. We establish explicit upper bounds on the diameters of the directed Cayley graphs of the $Γ/Γ_n$ , under some natural hypotheses on the behaviour of power and commutator words in $Γ$. The bounds we obtain do not depend on a choice of generating set. Moreover under reasonable conditions our method provides a fast algorithm for constructing directed Cayley graphs of diameter satisfying our bounds. The proof is closely analogous to the the Solovay-Kitaev procedure, which only uses commutator …
This paper establishes connections between the structure of a semigroup and the minimum spans of distance labellings of its Cayley graphs. We show that certain general restrictions on the minimum spans are equivalent to the semigroup being combinatorial, and that other restrictions are equivalent to the semigroup being a right zero band. We obtain a description of the structure of all semigroups $S$ and their subsets $C$ such that $\Cay(S,C)$ is a disjoint union of complete graphs, and show that this description is also equivalent to several restrictions on the minimum span of $\Cay(S,C)$. We …
Let $G$ be a finite group and $S$ be a symmetric generating set of $G$ with $|S| = d$. We show that if the undirected Cayley sum graph $C_Σ(G,S)$ is an expander graph and is non-bipartite, then the spectrum of its normalised adjacency operator is bounded away from $-1$. We also establish an explicit lower bound for the spectrum of these graphs, namely, the non-trivial eigenvalues of the normalised adjacency operator lies in the interval $\left(-1+\frac{h(G)^{4}}η, 1-\frac{h(G)^{2}}{2d^{2}}\right]$, where $h(G)$ denotes the (vertex) Cheeger constant of the $d$-regular graph $C_Σ(G,S)$ and $η= 2…
Let $G$ be a finite directed graph, $β(G)$ the minimum size of a subset $X$ of edges such that the graph $G' = (V,E \smallsetminus X)$ is directed acyclic and $γ(G)$ the number of pairs of nonadjacent vertices in the undirected graph obtained from $G$ by replacing each directed edge with an undirected edge. Chudnovsky, Seymour and Sullivan \cite{CSS07} proved that if $G$ is triangle-free, then $β(G) \leq γ(G)$. They conjectured a sharper bound (so called the "CSS conjecture") that $β(G) \leq \dfrac{γ(G)}{2}$. Nathanson and Sullivan verified this conjecture for the directed Cayley graph $\Cay(\…
A finite group $G$ is a "non-DCI group" if there exist subsets $S_1$ and $S_2$ of $G$, such that the associated Cayley digraphs $C\overrightarrow{ay}(G;S_1)$ and $C\overrightarrow{ay}(G;S_2)$ are isomorphic, but no automorphism of $G$ carries $S_1$ to $S_2$. Furthermore, $G$ is a "non-CI group" if the subsets $S_1$ and $S_2$ can be chosen to be closed under inverses, so we have undirected Cayley graphs $Cay(G;S_1)$ and $Cay(G;S_2)$. We show that if $p$ is a prime number, and the elementary abelian $p$-group $(\mathbb{Z}_p)^r$ is a non-DCI group, then $(\mathbb{Z}_p)^{r+3}$ is a non-CI group. I…
The optimization problem of the minimum set of leaders for the controllability of undirected graphs are addressed. It is difficult to find not only its optimal solution but also its approximate algorithm. We propose a new concept, namely minimal perfect critical set (MPCS), to obtain an optimal solution. Some properties are presented, and on the basis of these theorems, the problem of the minimum set of leaders of two typical self-similar bipartite networks, namely deterministic scale-free networks (DSFN) and Cayley trees, is solved completely.
We investigate subsets of the symmetric group with structure similar to that of a graph. The trees of these subsets correspond to minimal conjugate generating sets of the symmetric group. There are two main theorems in this paper. The first is a characterization of minimal conjugate generating sets of S_n. The second is a generalization of a result due to Feng characterizing the automorphism groups of the Cayley graphs formed by certain generating sets composed of cycles. We compute the full automorphism groups subject to a weak condition and conjecture that the characterization still holds wi…
We consider the case in which mixed graphs (with both directed and undirected edges) are Cayley graphs of Abelian groups. In this case, some Moore bounds were derived for the maximum number of vertices that such graphs can attain. We first show these bounds can be improved if we know more details about the order of some elements of the generating set. Based on these improvements, we present some new families of mixed graphs. For every fixed value of the degree, these families have an asymptotically large number of vertices as the diameter increases. In some cases, the results obtained are show…
Let $Γ_n$ be the complete undirected Cayley graph of the odd cyclic group $Z_n$. Connected graphs whose vertices are rainbow tetrahedra in $Γ_n$ are studied, with any two such vertices adjacent if and only if they share (as tetrahedra) precisely two distinct triangles. This yields graphs $G$ of largest degree 6, asymptotic diameter $|V(G)|^{1/3}$ and almost all vertices with degree: {\bf(a)} 6 in $G$; {\bf(b)} 4 in exactly six connected subgraphs of the $(3,6,3,6)$-semi-regular tessellation; and {\bf(c)} 3 in exactly four connected subgraphs of the $\{6,3\}$-regular hexagonal tessellation. The…
We solve two open problems regarding the classification of certain classes of Cayley graphs with integer eigenvalues. We first classify all finite groups that have a "non-trivial" Cayley graph with integer eigenvalues, thus solving a problem proposed by Abdollahi and Jazaeri. The notion of Cayley integral groups was introduced by Klotz and Sander. These are groups for which every Cayley graph has only integer eigenvalues. In the second part of the paper, all Cayley integral groups are determined.
Let $G$ be a finite, undirected $d$-regular graph and $A(G)$ its normalized adjacency matrix, with eigenvalues $1 = λ_1(A)\geq \dots \ge λ_n \ge -1$. It is a classical fact that $λ_n = -1$ if and only if $G$ is bipartite. Our main result provides a quantitative separation of $λ_n$ from $-1$ in the case of Cayley graphs, in terms of their expansion. Denoting $h_{out}$ by the (outer boundary) vertex expansion of $G$, we show that if $G$ is a non-bipartite Cayley graph (constructed using a group and a symmetric generating set of size $d$) then $λ_n \ge -1 + ch_{out}^2/d^2\,,$ for $c$ an absolute …
Let $G$ be a group and $S\subseteq G$ its subset such that $S=S^{-1}$, where $S^{-1}=\{s^{-1}\mid s\in S\}$. Then {\it the Cayley graph ${\rm Cay}(G,S)$} is an undirected graph $Γ$ with the vertex set $V(Γ)=G$ and the edge set $E(Γ)=\{(g,gs)\mid g\in G, s\in S\}$. A graph $Γ$ is said to be {\it integral} if every eigenvalue of the adjacency matrix of $Γ$ is integer. In the paper, we prove the following theorem: {\it if a subset $S=S^{-1}$ of $G$ is normal and $s\in S\Rightarrow s^k\in S$ for every $k\in \mathbb{Z}$ such that $(k,|s|)=1$, then ${\rm Cay}(G,S)$ is integral.} In particular, {\it …
{\em Arrowhead} and {\em diamond} are two hierarchical Cayley graphs defined on the triangular grid. In their undirected version, they are isomorphic and merely define two distinct representations of the same graph. This paper gives the expression of their diameter, in the oriented and non--oriented case. It also displays the full distribution of antipodals.
In the symmetric group Sym(n) with n at least 5 let H be a conjugacy class of elements of order 2 and let Γbe the Cayley graph whose vertex set is the group G generated by H (so G is Sym(n) or Alt(n)) and whose edge set is determined by H. We are interested in the metric structure of this graph. In particular, for g\in G let B_{r}(g) be the metric ball in Γof radius r and centre g. We show that the intersection numbers Φ(Γ; r, g):=|\,B_{r}(e)\,\cap\,B_{r}(g)\,| are generalized Stirling functions in n and r. The results are motivated by the study of error graphs and related reconstruction probl…
In this paper we introduce a Cayley-type graph for group-subgroup pairs and present some elementary properties of such graphs, including connectedness, their degree and partition structure, and vertex-transitivity. We relate these properties to those of the underlying group-subgroup pair. From the properties of the group, subgroup and generating set some of the eigenvalues can be determined, including the largest eigenvalue of the graph. In particular, when this construction results in a bipartite regular graph we show a sufficient condition on the size of the generating sets that results on R…
Two colourings of a graph are orthogonal if they have the property that when two vertices are coloured with the same colour in one colouring, then those vertices receive distinct colours in the other colouring. In this paper, orthogonal colourings of Cayley graphs are discussed. Firstly, the orthogonal chromatic number of cycle graphs are completely determined. Secondly, the orthogonal chromatic number of certain circulant graphs is explored. Lastly, orthogonal colourings of product graphs and Hamming graphs are studied.
A Cayley graph Cay$(G;S)$ has the CI (Cayley Isomorphism) property if for every isomorphic graph Cay$(G;T)$, there is a group automorphism $α$ of $G$ such that $S^α=T$. The DCI (Directed Cayley Isomorphism) property is defined analogously on digraphs. A group $G$ is a CI-group if every Cayley graph on $G$ has the CI property, and is a DCI-group if every Cayley digraph on $G$ has the DCI property. Since a graph is a special type of digraph, this means that every DCI-group is a CI-group, and if a group is not a CI-group then it is not a DCI-group, but there are well-known examples of groups that…
In a recent paper Gunnells, Scott and Walden have determined the complete spectrum of the Schreier graph on the symmetric group corresponding to the Young subgroup $S_{n-2}\times S_2$ and generated by initial reversals. In particular they find that the first nonzero eigenvalue, or spectral gap, of the Laplacian is always 1, and report that "empirical evidence" suggests that this also holds for the corresponding Cayley graph. We provide a simple proof of this last assertion, based on the decomposition of the Laplacian of Cayley graphs, into a direct sum of irreducible representation matrices of…
Associative spectra of graph algebras are examined with the help of homomorphisms of DFS trees. Undirected graphs are classified according to the associative spectra of their graph algebras; there are only three distinct possibilities: constant 1, powers of 2, and Catalan numbers. Associative and antiassociative digraphs are described, and associative spectra are determined for certain families of digraphs, such as paths, cycles, and graphs on two vertices.
A graph $Γ$ is called $(G, s)$-arc-transitive if $G \le \mathrm{Aut}(Γ)$ is transitive on the set of vertices of $Γ$ and the set of $s$-arcs of $Γ$, where for an integer $s \ge 1$ an $s$-arc of $Γ$ is a sequence of $s+1$ vertices $(v_0,v_1,\ldots,v_s)$ of $Γ$ such that $v_{i-1}$ and $v_i$ are adjacent for $1 \le i \le s$ and $v_{i-1}\ne v_{i+1}$ for $1 \le i \le s-1$. $Γ$ is called 2-transitive if it is $(\mathrm{Aut}(Γ), 2)$-arc-transitive but not $(\mathrm{Aut}(Γ), 3)$-arc-transitive. A Cayley graph $Γ$ of a group $G$ is called normal if $G$ is normal in $\mathrm{Aut}(Γ)$ and non-normal othe…
A partial difference set $S$ in a finite group $G$ satisfying $1 \notin S$ and $S = S^{-1}$ corresponds to an undirected strongly regular Cayley graph ${\rm Cay}(G,S)$. While the case when $G$ is abelian has been thoroughly studied, there are comparatively few results when $G$ is nonabelian. In this paper, we provide restrictions on the parameters of a partial difference set that apply to both abelian and nonabelian groups and are especially effective in groups with a nontrivial center. In particular, these results apply to $p$-groups, and we are able to rule out the existence of partial diffe…
New criteria for which Cayley graphs of cyclic groups of any order can be completely determined--up to isomorphism--by the eigenvalues of their adjacency matrices is presented. Secondly, a new construction for pairs of nonisomorphic Cayley graphs of cyclic groups with the same list of eigenvalues of their adjacency matrices will be presented.
In 2020, Siemons and Zalesski [On the second eigenvalue of some Cayley graphs of the symmetric group. {\it arXiv preprint arXiv:2012.12460}, 2020] determined the second eigenvalue of the Cayley graph $Γ_{n,k} = \operatorname{Cay}(\operatorname{Sym}(n), C(n,k))$ for $k = 0$ and $k=1$, where $C(n,k)$ is the conjugacy class of $(n-k)$-cycles. In this paper, it is proved that for any $n\geq 3$ and $k\in \mathbb{N}$ relatively small compared to $n$, the second eigenvalue of $Γ_{n,k}$ is the eigenvalue afforded by the irreducible character of $\operatorname{Sym}(n)$ that corresponds to the partition…
CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs (Brief version)
Institut Curie, CNRS UMR168, Paris, France（居里研究所，法国国家科学研究中心UMR168，法国巴黎）；University of Washington（华盛顿大学）；Three Gorges Mathematical Research Center, China Three Gorges University（三峡数学研究中心，三峡大学）；Sobolev Institute of Mathematics（索博列夫数学研究所）；Novosibirsk State University（新西伯利亚国立大学）；Independent Researcher（独立研究员）；Moscow State University（莫斯科国立大学）；Kazakh-British Technical University（哈萨克-英国技术大学）；Neapolis University Pafos, Cyprus（尼阿波利斯大学帕福斯校区，塞浦路斯）；City St George's, University of London（伦敦大学城市圣乔治学院）；Hebrew University of Jerusalem（耶路撒冷希伯来大学）；ITMO University（ITMO大学）；Moscow Center for Advanced Studies（莫斯科高等研究中心）；National Research University Higher School of Economics（国立研究大学高等经济学院）；Ariel University（阿里埃勒大学）；Saint-Petersburg Pasteur Institute（圣彼得堡巴斯德研究所）；Criteo AI Lab, Berlin, Germany（Criteo人工智能实验室，德国柏林）；University of Bologna（博洛尼亚大学）；Faculty of Bioengineering and Bioinformatics, Lomonosov Moscow State University（莫斯科国立大学生物工程与生物信息学系）；Researcher at Banner Stat（Banner Stat研究员）；MIREA — Russian Technological University（MIREA — 俄罗斯技术大学）；Research Center of the Artificial Intelligence Institute, Innopolis University（因诺波利斯大学人工智能研究所研究中心）；Inpdependent Researcher（独立研究员）；LIX, Ecole Polytechnique/CNRS, IP Paris（LIX，巴黎综合理工学院/法国国家科学研究中心，巴黎理工学院）
We investigate Cayley graphs of finite semigroups and monoids. First, we look at semigroup digraphs, i.e., directed Cayley graphs of semigroups, and give a Sabidussi-type characterization in the case of monoids. We then correct a proof of Zelinka from '81 that characterizes semigroup digraphs with outdegree $1$. Further, answering a question of Knauer and Knauer, we construct for every $k\geq 2$ connected $k$-outregular non-semigroup digraphs. On the other hand, we show that every sink-free directed graph is a union of connected components of a monoid digraph. Second, we consider monoid graphs…
If $G$ is a group of permutations of a set $Ω$, then the suborbits of $G$ are the orbits of point-stabilisers $G_α$ acting on $Ω$. The cardinalities of these suborbits are the subdegrees of $G$. Every infinite primitive permutation group $G$ with finite subdegrees acts faithfully as a group of automorphisms of a locally-finite connected vertex-primitive directed graph $Γ$ with vertex set $Ω$, and there is consequently a natural action of $G$ on the ends of $Γ$. We show that if $G$ is closed in the permutation topology of pointwise convergence, then the structure of $G$ is determined by the len…
One of the prominent areas of research in graph theory is the degree-diameter problem, in which we seek to determine how many vertices a graph may have when constrained to a given degree and diameter. Different variants of this problem are obtained by considering further restrictions on the graph, such as whether it is directed, undirected, mixed, vertex-transitive etc. The currently best known extremal constructions are the Gómez graphs, both when considered as directed and undirected. As the Gómez graphs are similar to the Faber-Moore-Chen graphs, we give a natural generalisation of their de…
Packing and covering problems for metric spaces, and graphs in particular, are of essential interest in combinatorics and coding theory. They are formulated in terms of metric balls of vertices. We consider a new problem in graph theory which is also based on the consideration of metric balls of vertices, but which is distinct from the traditional packing and covering problems. This problem is motivated by applications in information transmission when redundancy of messages is not sufficient for their exact reconstruction, and applications in computational biology when one wishes to restore an…
