BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Sanming Zhou appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We correct the statements of two theorems and two corollaries in our paper [On subgroup perfect codes in Cayley graphs, European J. Combin. 91 (2021) 103228]. Proofs of these theorems and three other results are given as well.
A graphical regular representation (GRR) of a group $G$ is a Cayley graph of $G$ whose full automorphism group is equal to the right regular permutation representation of $G$. In this paper we study cubic GRRs of $\mathrm{PSL}_{n}(q)$ ($n=4, 6, 8$), $\mathrm{PSp}_{n}(q)$ ($n=6, 8$), $\mathrm{P}Ω_{n}^{+}(q)$ ($n=8, 10, 12$) and $\mathrm{P}Ω_{n}^{-}(q)$ ($n=8, 10, 12$), where $q = 2^f$ with $f \ge 1$. We prove that for each of these groups, with probability tending to $1$ as $q \rightarrow \infty$, any element $x$ of odd prime order dividing $2^{ef}-1$ but not $2^{i}-1$ for each $1 \le i < ef$ together with a random involution $y$ gives rise to a cubic GRR, where $e=n-2$ for $\mathrm{P}Ω_{n}^{+}(q)$ and $e=n$ for other groups. Moreover, for sufficiently large $q$, there are elements $x$ satisfying these conditions, and for each of them there exists an involution $y$ such that $\{x,x^{-1},y\}$ produces a cubic GRR. This result together with certain known results in the literature implies that except for $\mathrm{PSL}_2(q)$, $\mathrm{PSL}_3(q)$, $\mathrm{PSU}_3(q)$ and a finite number of other cases, every finite non-abelian simple group contains an element $x$ and an involution $y$ such that $\{x,x^{-1},y\}$ produces a GRR, showing that a modified version of a conjecture by Spiga is true. Our results and several known results together also confirm a conjecture by Fang and Xia which asserts that except for a finite number of cases every finite non-abelian simple group has a cubic GRR.
An $L(h_1, h_2, \ldots, h_l)$-labelling of a graph $G$ is a mapping $ϕ: V(G) \rightarrow \{0, 1, 2, \ldots\}$ such that for $1\le i\le l$ and each pair of vertices $u, v$ of $G$ at distance $i$, we have $|ϕ(u) - ϕ(v)| \geq h_i$. The span of $ϕ$ is the difference between the largest and smallest labels assigned to the vertices of $G$ by $ϕ$, and $λ_{h_1, h_2, \ldots, h_l}(G)$ is defined as the minimum span over all $L(h_1, h_2, \ldots, h_l)$-labellings of $G$. In this paper we study $λ_{h, 1, \ldots, 1}$ for Cartesian products of graphs, where $(h, 1, \ldots, 1)$ is an $l$-tuple with $l \ge 3$. We prove that, under certain natural conditions, the value of this and three related invariants on a graph $H$ which is the Cartesian product of $l$ graphs attain a common lower bound. In particular, the chromatic number of the $l$-th power of $H$ equals this lower bound plus one. We further obtain a sandwhich theorem which extends the result to a family of subgraphs of $H$ which contain a certain subgraph of $H$. All these results apply in particular to the class of Hamming graphs: if $q_1\ge \cdots \ge q_d\ge 2$ and $3\le l\le d$ then the Hamming graph $H=H_{q_1,q_2,\ldots ,q_d}$ satisfies $λ_{q_l,1,\ldots,1}(H) = q_1q_2\ldots q_l-1$ whenever $q_1q_2\ldots q_{l-1}>3(q_{l-1}+1)q_l\ldots q_d$. In particular, this settles a case of the open problem on the chromatic number of powers of the hypercubes.
We survey some of the known results on eigenvalues of Cayley graphs and their applications, together with related results on eigenvalues of Cayley digraphs and generalizations of Cayley graphs.
Tutte's 3-flow conjecture asserts that every $4$-edge-connected graph admits a nowhere-zero $3$-flow. We prove that this conjecture is true for every Cayley graph of valency at least four on any supersolvable group with a noncyclic Sylow $2$-subgroup and every Cayley graph of valency at least four on any group whose derived subgroup is of square-free order.
We prove that every regular graph of valency at least four whose automorphism group contains a nilpotent subgroup acting transitively on the vertex set admits a nowhere-zero 3-flow.
A reductive characterization of arc-transitive circulants was given independently by Kovacs in 2004 and the first author in 2005. In this paper, we give an explicit characterization of arc-transitive circulants and their automorphism groups. Based on this, we give a proof of the fact that arc-transitive circulants are all CI-digraphs.
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 otherwise. It was proved by X. G. Fang, C. H. Li and M. Y. Xu that if $Γ$ is a tetravalent 2-transitive Cayley graph of a finite simple group $G$, then either $Γ$ is normal or $G$ is one of the groups $\mathrm{PSL}_2(11)$, $M_{11}$, $M_{23}$ and $A_{11}$. However, it was unknown whether $Γ$ is normal when $G$ is one of these four groups. In the present paper we answer this question by proving that among these four groups only $M_{11}$ produces connected tetravalent 2-transitive non-normal Cayley graphs. We prove further that there are exactly two such graphs which are non-isomorphic and both determined in the paper. As a consequence, the automorphism group of any connected tetravalent 2-transitive Cayley graph of any finite simple group is determined.
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 there exists a Cayley graph of $G$ which admits $H$ as a perfect code. Equivalently, $H$ is a subgroup perfect code of $G$ if there exists an inverse-closed subset $A$ of $G$ containing the identity element such that $(A, H)$ is a tiling of $G$ in the sense that every element of $G$ can be uniquely expressed as the product of an element of $A$ and an element of $H$. In this paper we obtain multiple results on subgroup perfect codes of finite groups, including a few necessary and sufficient conditions for a subgroup of a finite group to be a subgroup perfect code, a few results involving $2$-subgroups in the study of subgroup perfect codes, and several results on subgroup perfect codes of metabelian groups, generalized dihedral groups, nilpotent groups and $2$-groups.
Given graphs $G$ and $H$, the generalized Turán number ${\rm ex}(G,H)$ is the maximum number of edges in an $H$-free subgraph of $G$. In this paper, we obtain an asymptotic upper bound on ${\rm ex}(CT_n,C_{2l})$ for any $n \ge 3$ and $l\geq2$, where $C_{2l}$ is the cycle of length $2l$ and $CT_n$ is the complete transposition graph which is defined as the Cayley graph on the symmetric group ${\rm S}_n$ with respect to the set of all transpositions of ${\rm S}_n$.
Let $V$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$. In this paper we describe the structure of maximal non-trivial $t$-intersecting families of $k$-dimensional subspaces of $V$ with large size. We also determine the non-trivial $t$-intersecting families with maximum size. In the special case when $t=1$ our result gives rise to the well-known Hilton-Milner Theorem for vector spaces.
Let $Γ$ be a graph with vertex set $V(Γ)$. A subset $C$ of $V(Γ)$ is called a perfect code in $Γ$ if $C$ is an independent set of $Γ$ and every vertex in $V(Γ)\setminus C$ is adjacent to exactly one vertex in $C$. A subset $C$ of a group $G$ is called a perfect code of $G$ if there exists a Cayley graph of $G$ which admits $C$ as a perfect code. A group $G$ is said to be code-perfect if every proper subgroup of $G$ is a perfect code of $G$. In this paper we prove that a group is code-perfect if and only if it has no elements of order $4$. We also prove that a proper subgroup $H$ of an abelian group $G$ is a perfect code of $G$ if and only if the Sylow $2$-subgroup of $H$ is a perfect code of the Sylow $2$-subgroup of $G$. This reduces the problem of determining when a given subgroup of an abelian group is a perfect code to the case of abelian $2$-groups. Finally, we determine all subgroup perfect codes in any generalized quaternion group.
A retract of a graph $Γ$ is an induced subgraph $Ψ$ of $Γ$ such that there exists a homomorphism from $Γ$ to $Ψ$ whose restriction to $Ψ$ is the identity map. A graph is a core if it has no nontrivial retracts. In general, the minimal retracts of a graph are cores and are unique up to isomorphism; they are called the core of the graph. A graph $Γ$ is $G$-symmetric if $G$ is a subgroup of the automorphism group of $Γ$ that is transitive on the vertex set and also transitive on the set of ordered pairs of adjacent vertices. If in addition the vertex set of $Γ$ admits a nontrivial partition that is preserved by $G$, then $Γ$ is an imprimitive $G$-symmetric graph. In this paper cores of imprimitive symmetric graphs $Γ$ of order a product of two distinct primes are studied. In many cases the core of $Γ$ is determined completely. In other cases it is proved that either $Γ$ is a core or its core is isomorphic to one of two graphs, and conditions on when each of these possibilities occurs is given.
Given a graph $G$ with $n$ vertices and an Abelian group $A$ of order $n$, an $A$-distance antimagic labelling of $G$ is a bijection from $V(G)$ to $A$ such that the vertices of $G$ have pairwise distinct weights, where the weight of a vertex is the sum (under the operation of $A$) of the labels assigned to its neighbours. An {$A$-distance magic labelling} of $G$ is a bijection from $V(G)$ to $A$ such that the weights of all vertices of $G$ are equal to the same element of $A$. In this paper we study these new labellings under a general setting with a focus on product graphs. We prove among other things several general results on group antimagic or magic labellings for Cartesian, direct and strong products of graphs. As applications we obtain several families of graphs admitting group distance antimagic or magic labellings with respect to elementary Abelian groups, cyclic groups or direct products of such groups.
A signed graph is a graph with a positive or negative sign on each edge. Regarding each edge as two half edges, an orientation of a signed graph is an assignment of a direction to each of its half edges such that the two half edges of a positive edge receive the same direction and that of a negative edge receive opposite directions. A signed graph with such an orientation is called a bidirected graph. A nowhere-zero $k$-flow of a bidirected graph is an assignment of an integer from $\{-(k-1), \ldots, -1, 1, \ldots, (k-1)\}$ to each of its half edges such that Kirchhoff's law is respected, that is, the total incoming flow is equal to the total outgoing flow at each vertex. A signed graph is said to admit a nowhere-zero $k$-flow if it has an orientation such that the corresponding bidirected graph admits a nowhere-zero $k$-flow. It was conjectured by Bouchet that every signed graph admitting a nowhere-zero $k$-flow for some integer $k \ge 2$ admits a nowhere-zero 6-flow. In this paper we prove that every $3$-edge-connected signed graph admitting a nowhere-zero $k$-flow for some $k$ admits a nowhere-zero $9$-flow.
A radio labeling of a graph $G$ is a mapping $f: V(G) \rightarrow \{0, 1, 2, \ldots\}$ such that $|f(u)-f(v)|\geq d + 1 - d(u,v)$ for every pair of distinct vertices $u, v$ of $G$, where $d$ is the diameter of $G$ and $d(u,v)$ the distance between $u$ and $v$ in $G$. The radio number of $G$ is the smallest integer $k$ such that $G$ has a radio labeling $f$ with $\max\{f(v) : v \in V(G)\} = k$. We give a necessary and sufficient condition for a lower bound on the radio number of trees to be achieved, two other sufficient conditions for the same bound to be achieved by a tree, and an upper bound on the radio number of trees. Using these, we determine the radio number for three families of trees.
We study recursive cubes of rings as models for interconnection networks. We first redefine each of them as a Cayley graph on the semidirect product of an elementary abelian group by a cyclic group in order to facilitate the study of them by using algebraic tools. We give an algorithm for computing shortest paths and the distance between any two vertices in recursive cubes of rings, and obtain the exact value of their diameters. We obtain sharp bounds on the Wiener index, vertex-forwarding index, edge-forwarding index and bisection width of recursive cubes of rings. The cube-connected cycles and cube-of-rings are special recursive cubes of rings, and hence all results obtained in the paper apply to these well-known networks.
Let $Γ_{n,q}$ be the point-hyperplane incidence graph of the projective space $\operatorname{PG}(n,q)$, where $n \ge 2$ is an integer and $q$ a prime power. We determine the order of magnitude of $1-i_V(Γ_{n,q})$, where $i_V(Γ_{n,q})$ is the vertex-isoperimetric number of $Γ_{n,q}$. We also obtain the exact values of $i_V(Γ_{2,q})$ and the related incidence-free number of $Γ_{2,q}$ for $q \le 16$.
The orbit problem is at the heart of symmetry reduction methods for model checking concurrent systems. It asks whether two given configurations in a concurrent system (represented as finite strings over some finite alphabet) are in the same orbit with respect to a given finite permutation group (represented by their generators) acting on this set of configurations by permuting indices. It is known that the problem is in general as hard as the graph isomorphism problem, whose precise complexity (whether it is solvable in polynomial-time) is a long-standing open problem. In this paper, we consider the restriction of the orbit problem when the permutation group is cyclic (i.e. generated by a single permutation), an important restriction of the problem. It is known that this subproblem is solvable in polynomial-time. Our main result is a linear-time algorithm for this subproblem.
In a facility game one or more facilities are placed in a metric space to serve a set of selfish agents whose addresses are their private information. In a classical facility game, each agent wants to be as close to a facility as possible, and the cost of an agent can be defined as the distance between her location and the closest facility. In an obnoxious facility game, each agent wants to be far away from all facilities, and her utility is the distance from her location to the facility set. The objective of each agent is to minimize her cost or maximize her utility. An agent may lie if, by doing so, more benefit can be obtained. We are interested in social choice mechanisms that do not utilize payments. The game designer aims at a mechanism that is strategy-proof, in the sense that any agent cannot benefit by misreporting her address, or, even better, group strategy-proof, in the sense that any coalition of agents cannot all benefit by lying. Meanwhile, it is desirable to have the mechanism to be approximately optimal with respect to a chosen objective function. Several models for such approximation mechanism design without money for facility games have been proposed. In this paper we briefly review these models and related results for both deterministic and randomized mechanisms, and meanwhile we present a general framework for approximation mechanism design without money for facility games.
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 then describe all graphs with minimum spans satisfying the same restrictions, and give examples to show that a fairly straightforward upper bound for the minimum spans of the underlying undirected graphs of Cayley graphs turns out to be sharp even for the class of combinatorial semigroups.
An all-to-all routing in a graph $G$ is a set of oriented paths of $G$, with exactly one path for each ordered pair of vertices. The load of an edge under an all-to-all routing $R$ is the number of times it is used (in either direction) by paths of $R$, and the maximum load of an edge is denoted by $π(G,R)$. The edge-forwarding index $π(G)$ is the minimum of $π(G,R)$ over all possible all-to-all routings $R$, and the arc-forwarding index $\overrightarrowπ(G)$ is defined similarly by taking direction into consideration, where an arc is an ordered pair of adjacent vertices. Denote by $w(G,R)$ the minimum number of colours required to colour the paths of $R$ such that any two paths having an edge in common receive distinct colours. The optical index $w(G)$ is defined to be the minimum of $w(G,R)$ over all possible $R$, and the directed optical index $\overrightarrow{w}(G)$ is defined similarly by requiring that any two paths having an arc in common receive distinct colours. In this paper we obtain lower and upper bounds on these four invariants for $4$-regular circulant graphs with connection set $\{\pm 1,\pm s\}$, $1<s<n/2$. We give approximation algorithms with performance ratio a small constant for the corresponding forwarding index and routing and wavelength assignment problems for some families of $4$-regular circulant graphs.
Hadwiger's conjecture asserts that every graph with chromatic number $t$ contains a complete minor of order $t$. Given integers $n \ge 2k+1 \ge 5$, the Kneser graph $K(n, k)$ is the graph with vertices the $k$-subsets of an $n$-set such that two vertices are adjacent if and only if the corresponding $k$-subsets are disjoint. We prove that Hadwiger's conjecture is true for the complements of Kneser graphs.
An $L(2, 1)$-labeling of a graph $G$ is an assignment of a nonnegative integer to each vertex of $G$ such that adjacent vertices receive integers that differ by at least two and vertices at distance two receive distinct integers. The span of such a labeling is the difference between the largest and smallest integers used. The $λ$-number of $G$, denoted by $λ(G)$, is the minimum span over all $L(2, 1)$-labelings of $G$. Bodlaender {\it et al.} conjectured that if $G$ is an outerplanar graph of maximum degree $Δ$, then $λ(G)\leq Δ+2$. Calamoneri and Petreschi proved that this conjecture is true when $Δ\geq 8$ but false when $Δ=3$. Meanwhile, they proved that $λ(G)\leq Δ+5$ for any outerplanar graph $G$ with $Δ=3$ and asked whether or not this bound is sharp. In this paper we answer this question by proving that $λ(G)\leq Δ+ 3$ for every outerplanar graph with maximum degree $Δ=3$. We also show that this bound $Δ+ 3$ can be achieved by infinitely many outerplanar graphs with $Δ=3$.
Given a finite or infinite graph $G$ and positive integers $\ell, h_1, h_2, h_3$, an $L(h_1, h_2, h_3)$-labelling of $G$ with span $\ell$ is a mapping $f: V(G) \rightarrow \{0, 1, 2, \ldots, \ell\}$ such that, for $i = 1, 2, 3$ and any $u, v \in V(G)$ at distance $i$ in $G$, $|f(u) - f(v)| \geq h_i$. A $C(h_1, h_2, h_3)$-labelling of $G$ with span $\ell$ is defined similarly by requiring $|f(u) - f(v)|_{\ell} \ge h_i$ instead, where $|x|_{\ell} = \min\{|x|, \ell-|x|\}$. The minimum span of an $L(h_1, h_2, h_3)$-labelling, or a $C(h_1, h_2, h_3)$-labelling, of $G$ is denoted by $λ_{h_1,h_2,h_3}(G)$, or $σ_{h_1,h_2,h_3}(G)$, respectively. Two related invariants, $λ^*_{h_1,h_2,h_3}(G)$ and $σ^*_{h_1,h_2,h_3}(G)$, are defined similarly by requiring further that for every vertex $u$ there exists an interval $I_u$ $\mod~(\ell + 1)$ or $\mod~\ell$, respectively, such that the neighbours of $u$ are assigned labels from $I_u$ and $I_v \cap I_w = \emptyset$ for every edge $vw$ of $G$. A recent result asserts that the $L(2,1,1)$-labelling problem is NP-complete even for the class of trees. In this paper we study the $L(h, p, p)$ and $C(h, p, p)$ labelling problems for finite or infinite trees $T$ with finite maximum degree, where $h \ge p \ge 1$ are integers. We give sharp bounds on $λ_{h,p,p}(T)$, $λ^*_{h,p,p}(T)$, $σ_{h, 1, 1}(T)$ and $σ^*_{h, 1, 1}(T)$, together with linear time approximation algorithms for the $L(h,p,p)$-labelling and the $C(h, 1, 1)$-labelling problems for finite trees. We obtain the precise values of these four invariants for a few families of trees. We give sharp bounds on $σ_{h,p,p}(T)$ and $σ^*_{h,p,p}(T)$ for trees with maximum degree $Δ\le h/p$, and as a special case we obtain that $σ_{h,1,1}(T) = σ^*_{h,1,1}(T) = 2h + Δ- 1$ for any tree $T$ with $Δ\le h$.
The purpose of this paper is to study spectral properties of a family of Cayley graphs on finite commutative rings. Let $R$ be such a ring and $R^\times$ its set of units. Let $Q_R=\{u^2: u\in R^\times\}$ and $T_R=Q_R\cup(-Q_R)$. We define the quadratic unitary Cayley graph of $R$, denoted by $\mathcal{G}_R$, to be the Cayley graph on the additive group of $R$ with respect to $T_R$; that is, $\mathcal{G}_R$ has vertex set $R$ such that $x, y \in R$ are adjacent if and only if $x-y\in T_R$. It is well known that any finite commutative ring $R$ can be decomposed as $R=R_1\times R_2\times\cdots\times R_s$, where each $R_i$ is a local ring with maximal ideal $M_i$. Let $R_0$ be a local ring with maximal ideal $M_0$ such that $|R_0|/|M_0| \equiv 3\,(\mod\,4)$. We determine the spectra of $\mathcal{G}_R$ and $\mathcal{G}_{R_0\times R}$ under the condition that $|R_i|/|M_i|\equiv 1\,(\mod\,4)$ for $1 \le i \le s$. We compute the energies and spectral moments of such quadratic unitary Cayley graphs, and determine when such a graph is hyperenergetic or Ramanujan.
Unitary graphs are arc-transitive graphs with vertices the flags of Hermitian unitals and edges defined by certain elements of the underlying finite fields. They played a significant role in a recent classification of a class of arc-transitive graphs that admit an automorphism group acting imprimitively on the vertices. In this paper we prove that all unitary graphs are connected of diameter two and girth three. Based on this we obtain, for any prime power $q > 2$, a lower bound of order $O(Δ^{5/3})$ on the maximum number of vertices in an arc-transitive graph of degree $Δ= q(q^2-1)$ and diameter two.
A finite graph $Γ$ is called $G$-symmetric if $G$ is a group of automorphisms of $Γ$ which is transitive on the set of ordered pairs of adjacent vertices of $Γ$. We study a family of symmetric graphs, called the unitary graphs, whose vertices are flags of the Hermitian unital and whose adjacency relations are determined by certain elements of the underlying finite fields. Such graphs admit the unitary groups as groups of automorphisms, and they play a significant role in the classification of a family of symmetric graphs with complete quotients such that an associated incidence structure is a doubly point-transitive linear space. We give this classification in the paper and also investigate combinatorial properties of the unitary graphs.
Tutte's 3-flow conjecture asserts that every 4-edge-connected graph has a nowhere-zero 3-flow. In this note we prove that every regular graph of valency at least four admitting a solvable arc-transitive group of automorphisms admits a nowhere-zero 3-flow.
An arc of a graph is an oriented edge and a 3-arc is a 4-tuple $(v,u,x,y)$ of vertices such that both $(v,u,x)$ and $(u,x,y)$ are paths of length two. The 3-arc graph of a graph $G$ is defined to have vertices the arcs of $G$ such that two arcs $uv, xy$ are adjacent if and only if $(v,u,x,y)$ is a 3-arc of $G$. In this paper we give a characterization of 3-arc graphs and obtain sharp upper bounds on the domination number of the 3-arc graph of a graph $G$ in terms that of $G$.
We give two lower bounds on the largest order of an arc-transitive graph of diameter two and a given degree.
A Frobenius group is a transitive but not regular permutation group such that only the identity element can fix two points. A finite Frobenius group can be expressed as $G = K \rtimes H$ with $K$ a nilpotent normal subgroup. A first-kind $G$-Frobenius graph is a Cayley graph on $K$ with connection set $S$ an $H$-orbit on $K$ generating $K$, where $H$ is of even order or $S$ consists of involutions. We classify all 6-valent first-kind Frobenius circulant graphs such that the underlying kernel $K$ is cyclic. We give optimal gossiping and routing algorithms for such a circulant and compute its forwarding indices, Wiener indices and minimum gossip time. We also prove that its broadcasting time is equal to its diameter plus two or three. We prove that all 6-valent first-kind Frobenius circulants with cyclic kernels are Eisenstein-Jacobi graphs, the latter being Cayley graphs on quotient rings of the ring of Eisenstein-Jacobi integers. We also prove that larger Eisenstein-Jacobi graphs can be constructed from smaller ones as topological covers, and a similar result holds for 6-valent first-kind Frobenius circulants. As a corollary any Eisenstein-Jacobi graph with order congruent to 1 modulo 6 and underlying Eisenstein-Jacobi integer not an associate of a real integer, is a cover of a 6-valent first-kind Frobenius circulant. A distributed real-time computing architecture known as HARTS or hexagonal mesh is a special 6-valent first-kind Frobenius circulant.
An arc of a graph is an oriented edge and a 3-arc is a 4-tuple $(v,u,x,y)$ of vertices such that both $(v,u,x)$ and $(u,x,y)$ are paths of length two. The 3-arc graph of a graph $G$ is defined to have vertices the arcs of $G$ such that two arcs $uv, xy$ are adjacent if and only if $(v,u,x,y)$ is a 3-arc of $G$. In this paper we prove that any connected 3-arc graph is Hamiltonian, and all iterative 3-arc graphs of any connected graph of minimum degree at least three are Hamiltonian. As a consequence we obtain that if a vertex-transitive graph is isomorphic to the 3-arc graph of a connected arc-transitive graph of degree at least three, then it is Hamiltonian. This confirms the well known conjecture, that all vertex-transitive graphs with finitely many exceptions are Hamiltonian, for a large family of vertex-transitive graphs. We also prove that if a graph with at least four vertices is Hamilton-connected, then so are its iterative 3-arc graphs.
Given simple graphs $G_1$ and $G_2$, the neighbourhood corona of $G_1$ and $G_2$, denoted $G_1\star G_2$, is the graph obtained by taking one copy of $G_1$ and $|V(G_1)|$ copies of $G_2$, and joining the neighbours of the $i$th vertex of $G_1$ to every vertex in the $i$th copy of $G_2$. In this paper we determine the adjacency spectrum of $G_1 \star G_2$ for arbitrary $G_1$ and $G_2$, and the Laplacian spectrum and signless Laplacian spectrum of $G_1\star G_2$ for regular $G_1$ and arbitrary $G_2$, in terms of the corresponding spectrum of $G_1$ and $G_2$. The results on the adjacency and signless Laplacian spectra enable us to construct new pairs of adjacency cospectral and signless Laplacian cospectral graphs. As applications of the results on the Laplacian spectra, we give constructions of new families of expander graphs from known ones by using neighbourhood coronae.
A propeller graph is obtained from an $\infty$-graph by attaching a path to the vertex of degree four, where an $\infty$-graph consists of two cycles with precisely one common vertex. In this paper, we prove that all propeller graphs are determined by their Laplacian spectra as well as their signless Laplacian spectra.
A graph $\Ga$ is $G$-symmetric if $\Ga$ admits $G$ as a group of automorphisms acting transitively on the set of vertices and the set of arcs of $\Ga$, where an arc is an ordered pair of adjacent vertices. In the case when $G$ is imprimitive on $V(\Ga)$, namely when $V(\Ga)$ admits a nontrivial $G$-invariant partition $\BB$, the quotient graph $\Ga_{\BB}$ of $\Ga$ with respect to $\BB$ is always $G$-symmetric and sometimes even $(G, 2)$-arc transitive. (A $G$-symmetric graph is $(G, 2)$-arc transitive if $G$ is transitive on the set of oriented paths of length two.) In this paper we obtain necessary conditions for $\Ga_{\BB}$ to be $(G, 2)$-arc transitive (regardless of whether $\Ga$ is $(G, 2)$-arc transitive) in the case when $v-k$ is an odd prime $p$, where $v$ is the block size of $\BB$ and $k$ is the number of vertices in a block having neighbours in a fixed adjacent block. These conditions are given in terms of $v, k$ and two other parameters with respect to $(\Ga, \BB)$ together with a certain 2-point transitive block design induced by $(\Ga, \BB)$. We prove further that if $p=3$ or $5$ then these necessary conditions are essentially sufficient for $\Ga_{\BB}$ to be $(G, 2)$-arc transitive.
Let $R$ be a finite commutative ring. The unitary Cayley graph of $R$, denoted $G_R$, is the graph with vertex set $R$ and edge set ${{a,b}:a,b\in R, a-b\in R^\times}$, where $R^\times$ is the set of units of $R$. An $r$-regular graph is Ramanujan if the absolute value of every eigenvalue of it other than $\pm r$ is at most $2\sqrt{r-1}$. In this paper we give a necessary and sufficient condition for $G_R$ to be Ramanujan, and a necessary and sufficient condition for the complement of $G_R$ to be Ramanujan. We also determine the energy of the line graph of $G_R$, and compute the spectral moments of $G_R$ and its line graph.