arXiv++ Combinatorics

A radio labelling of a graph $G$ is a mapping $f : V(G) \rightarrow \{0, 1, 2,\ldots\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d(u,v)$ for every pair of distinct vertices $u,v$ of $G$, where $diam(G)$ is the diameter of $G$ and $d(u,v)$ is the distance between $u$ and $v$ in $G$. The radio number $rn(G)$ of $G$ is the smallest integer $k$ such that $G$ admits a radio labelling $f$ with $\max\{f(v):v \in V(G)\} = k$. The weight of a tree $T$ from a vertex $v \in V(T)$ is the sum of the distances in $T$ from $v$ to all other vertices, and a vertex of $T$ achieving the minimum weight is called a weight center of $T$. It is known that any tree has one or two weight centers. A tree is called a two-branch tree if the removal of all its weight centers results in a forest with exactly two components. In this paper we obtain a sharp lower bound for the radio number of two-branch trees which improves a known lower bound for general trees. We also give a necessary and sufficient condition for this improved lower bound to be achieved. Using these results, we determine the radio number of two families of level-wise regular two-branch trees.

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.

Let $Γ$ be a graph with vertex set $V$, and let $a$ and $b$ be nonnegative integers. A subset $C$ of $V$ is called an $(a,b)$-regular set in $Γ$ if every vertex in $C$ has exactly $a$ neighbors in $C$ and every vertex in $V\setminus C$ has exactly $b$ neighbors in $C$. In particular, $(0, 1)$-regular sets and $(1, 1)$-regular sets in $\Ga$ are called perfect codes and total perfect codes in $\Ga$, respectively. A subset $C$ of a group $G$ is said to be an $(a,b)$-regular set of $G$ if there exists a Cayley graph of $G$ which admits $C$ as an $(a,b)$-regular set. In this paper we prove that, for any generalized dihedral group $G$ or any group $G$ of order $4p$ or $pq$ for some primes $p$ and $q$, if a nontrivial subgroup $H$ of $G$ is a $(0, 1)$-regular set of $G$, then it must also be an $(a,b)$-regular set of $G$ for any $0\leqslant a\leqslant|H|-1$ and $0\leqslant b\leqslant |H|$ such that $a$ is even when $|H|$ is odd. A similar result involving $(1, 1)$-regular sets of such groups is also obtained in the paper.

We start up the study of the stability of general graph pairs. This notion is a generalization of the concept of the stability of graphs. We say that a pair of graphs $(Γ,Σ)$ is stable if $Aut(Γ\timesΣ) \cong Aut(Γ)\times Aut(Σ)$ and unstable otherwise, where $Γ\timesΣ$ is the direct product of $Γ$ and $Σ$. An unstable graph pair $(Γ,Σ)$ is said to be a nontrivially unstable graph pair if $Γ$ and $Σ$ are connected coprime graphs, at least one of them is non-bipartite, and each of them has the property that different vertices have distinct neighbourhoods. We obtain necessary conditions for a pair of graphs to be stable. We also give a characterization of a pair of graphs $(Γ, Σ)$ to be nontrivially unstable in the case when both graphs are connected and regular with coprime valencies and $Σ$ is vertex-transitive. This characterization is given in terms of the $Σ$-automorphisms of $Γ$, which are a new concept introduced in this paper as a generalization of both automorphisms and two-fold automorphisms of a graph.

Perfect state transfer in graphs is a concept arising from quantum physics and quantum computing. Given a graph $G$ with adjacency matrix $A_G$, the transition matrix of $G$ with respect to $A_G$ is defined as $H_{A_{G}}(t) = \exp(-\mathrm{i}tA_{G})$, $t \in \mathbb{R},\ \mathrm{i}=\sqrt{-1}$. We say that perfect state transfer from vertex $u$ to vertex $v$ occurs in $G$ at time $τ$ if $u \ne v$ and the modulus of the $(u,v)$-entry of $H_{A_G}(τ)$ is equal to $1$. If the moduli of all diagonal entries of $H_{A_G}(τ)$ are equal to $1$ for some $τ$, then $G$ is called periodic with period $τ$. In this paper we give a few sufficient conditions for NEPS of complete graphs to be periodic or exhibit perfect state transfer.

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.

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.

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.

In a graph $Γ$ with vertex set $V$, a subset $C$ of $V$ is called an $(a,b)$-perfect set if every vertex in $C$ has exactly $a$ neighbors in $C$ and every vertex in $V\setminus C$ has exactly $b$ neighbors in $C$, where $a$ and $b$ are nonnegative integers. In the literature $(0,1)$-perfect sets are known as perfect codes and $(1,1)$-perfect sets are known as total perfect codes. In this paper we prove that, for any finite group $G$, if a non-trivial normal subgroup $H$ of $G$ is a perfect code in some Cayley graph of $G$, then it is also an $(a,b)$-perfect set in some Cayley graph of $G$ for any pair of integers $a$ and $b$ with $0\leqslant a\leqslant|H|-1$ and $0\leqslant b\leqslant |H|$ such that $\gcd(2,|H|-1)$ divides $a$. A similar result involving total perfect codes is also proved in the paper.

A graph $Γ$ is $G$-symmetric if $G$ is a group of automorphisms of $Γ$ which is transitive on the set of ordered pairs of adjacent vertices of $Γ$. If $V(Γ)$ admits a nontrivial $G$-invariant partition ${\cal B}$ such that for blocks $B, C \in {\cal B}$ adjacent in the quotient graph $Γ_{\cal B}$ of $Γ$ relative to ${\cal B}$, exactly one vertex of $B$ has no neighbour in $C$, then $Γ$ is called an almost multicover of $Γ_{\cal B}$. In this case an incidence structure with point set ${\cal B}$ arises naturally, and it is a $(G, 2)$-point-transitive and $G$-block-transitive 2-design if in addition $Γ_{\cal B}$ is a complete graph. In this paper we classify all $G$-symmetric graphs $Γ$ such that (i) ${\cal B}$ has block size $|B| \ge 3$; (ii) $Γ_{\cal B}$ is complete and almost multi-covered by $Γ$; (iii) the incidence structure involved is a linear space; and (iv) $G$ contains a regular normal subgroup which is elementary abelian. This classification together with earlier results in [A. Gardiner and C. E. Praeger, Australas. J. Combin. 71 (2018) 403--426], [M.~Giulietti et al., J. Algebraic Combin. 38 (2013) 745--765] and [T. Fang et al., Electronic J. Combin. 23 (2) (2016) P2.27] completes the classification of symmetric graphs satisfying (i) and (ii).

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.

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.

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.

The canonical double cover $\D(Γ)$ of a graph $Γ$ is the direct product of $Γ$ and $K_2$. If $\Aut(\D(Γ))\cong\Aut(Γ)\times\ZZ_2$ then $Γ$ is called stable; otherwise $Γ$ is called unstable. An unstable graph is said to be nontrivially unstable if it is connected, non-bipartite and no two vertices have the same neighborhood. In 2008 Wilson conjectured that, if the generalized Petersen graph $\GP(n,k)$ is nontrivially unstable, then both $n$ and $k$ are even, and either $n/2$ is odd and $k^2\equiv\pm 1 \pmod{n/2}$, or $n=4k$. In this note we prove that this conjecture is true. At the same time we determine all possible isomorphisms among the generalized Petersen graphs, the canonical double covers of the generalized Petersen graphs, and the double generalized Petersen graphs. Based on these we completely determine the full automorphism group of the canonical double cover of $\GP(n,k)$ for any pair of integers $n, k$ with $1 \leqslant k < n/2$.

The canonical double cover $\mathrm{D}(Γ)$ of a graph $Γ$ is the direct product of $Γ$ and $K_2$. If $\mathrm{Aut}(\mathrm{D}(Γ))=\mathrm{Aut}(Γ)\times\mathbb{Z}_2$ then $Γ$ is called stable; otherwise $Γ$ is called unstable. An unstable graph is nontrivially unstable if it is connected, non-bipartite and distinct vertices have different neighborhoods. In this paper we prove that every circulant graph of odd prime order is stable and there is no arc-transitive nontrivially unstable circulant graph. The latter answers a question of Wilson in 2008. We also give infinitely many counterexamples to a conjecture of Marušič, Scapellato and Zagaglia Salvi in 1989 by constructing a family of stable circulant graphs with compatible adjacency matrices.

We derive upper and lower bounds for the vertex-isoperimetric number of the incidence graphs of unitals and determine its order of magnitude. In the case when a unital contains sufficiently large arcs, these bounds agree and give rise to the precise value of this parameter. In particular, we obtain the exact value of the vertex-isoperimetric number of the incidence graphs of classical unitals and a certain subfamily of BM-unitals. In the case when the maximum size of arcs in the unital is relatively small, we obtain an upper bound for this parameter in terms of the vertex-isoperimetric number of the incidence graph. We also determine the exact value of the vertex-isoperimetric number of the non-incidence graph of any unital.

A perfect code in a graph $Γ= (V, E)$ is a subset $C$ of $V$ that is an independent set such that every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A total perfect code in $Γ$ is a subset $C$ of $V$ such that every vertex of $V$ is adjacent to exactly one vertex in $C$. A perfect code in the Hamming graph $H(n, q)$ agrees with a $q$-ary perfect 1-code of length $n$ in the classical setting. In this paper we give a necessary and sufficient condition for a circulant graph of degree $p-1$ to admit a perfect code, where $p$ is an odd prime. We also obtain a necessary and sufficient condition for a circulant graph of order $n$ and degree $p^l-1$ to have a perfect code, where $p$ is a prime and $p^l$ the largest power of $p$ dividing $n$. Similar results for total perfect codes are also obtained in the paper.

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$.

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.