arXiv++ Combinatorics

Metacirculants are a basic and well-studied family of vertex-transitive graphs, and weak metacirculants are generalizations of them. A graph is called a weak metacirculant if it has a vertex-transitive metacyclic automorphism group. This paper is devoted to the study of weak metacirculants with odd prime power order. We first prove that a weak metacirculant of odd prime power order is a metacirculant if and only if it has a vertex-transitive split metacyclic automorphism group. We then prove that for any odd prime $p$ and integer $\ell\geq 4$, there exist weak metacirculants of order $p^\ell$ which are Cayley graphs but not Cayley graphs of any metacyclic group; this answers a question in Li et al. (2013). We construct such graphs explicitly by introducing a construction which is a generalization of generalized Petersen graphs. Finally, we determine all smallest possible metacirculants of odd prime power order which are Cayley graphs but not Cayley graphs of any metacyclic 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 $Γ$, a subset $C$ of $V(Γ)$ is called a perfect code in $Γ$ if every vertex of $Γ$ is at distance no more than one to exactly one vertex in $C$, and a subset $C$ of $V(Γ)$ is called a total perfect code in $Γ$ if every vertex of $Γ$ is adjacent to exactly one vertex in $C$. In this paper we study perfect codes and total perfect codes in Cayley graphs, with a focus on the following themes: when a subgroup of a given group is a (total) perfect code in a Cayley graph of the group; and how to construct new (total) perfect codes in a Cayley graph from known ones using automorphisms of the underlying group. We prove several results around these questions.

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.

A graph $Γ$ is called $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of ordered pairs of adjacent vertices. We give a classification of $G$-symmetric graphs $Γ$ with $V(Γ)$ admitting a nontrivial $G$-invariant partition $\mathcal{B}$ such that there is exactly one edge of $Γ$ between any two distinct blocks of $\mathcal{B}$. This is achieved by giving a classification of $(G, 2)$-point-transitive and $G$-block-transitive designs $\mathcal{D}$ together with $G$-orbits $Ω$ on the flag set of $\mathcal{D}$ such that $G_{σ, L}$ is transitive on $L \setminus \{σ\}$ and $L \cap N = \{σ\}$ for distinct $(σ, L), (σ, N) \in Ω$, where $G_{σ, L}$ is the setwise stabilizer of $L$ in the stabilizer $G_σ$ of $σ$ in $G$. Along the way we determine all imprimitive blocks of $G_σ$ on $V \setminus \{σ\}$ for every $2$-transitive group $G$ on a set $V$, where $σ\in V$.

Hadwiger's conjecture asserts that any graph contains a clique minor with order no less than the chromatic number of the graph. We prove that this well-known conjecture is true for all graphs if and only if it is true for squares of split graphs. This observation implies that Hadwiger's conjecture for squares of chordal graphs is as difficult as the general case, since chordal graphs are a superclass of split graphs. Then we consider 2-trees which are a subclass of each of planar graphs, 2-degenerate graphs and chordal graphs. We prove that Hadwiger's conjecture is true for squares of $2$-trees. We achieve this by proving the following stronger result: for any $2$-tree $T$, its square $T^2$ has a clique minor of order $χ(T^2)$ for which each branch set induces a path, where $χ(T^2)$ is the chromatic number of $T^2$.

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.

A total perfect code in a graph $Γ$ is a subset $C$ of $V(Γ)$ such that every vertex of $Γ$ is adjacent to exactly one vertex in $C$. We give necessary and sufficient conditions for a conjugation-closed subset of a group to be a total perfect code in a Cayley graph of the group. As an application we show that a Cayley graph on an elementary abelian $2$-group admits a total perfect code if and only if its degree is a power of $2$. We also obtain necessary conditions for a Cayley graph of a group with connection set closed under conjugation to admit a total perfect code.

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.

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.

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.

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.

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.

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.

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

We study two families of cyclotomic graphs and perfect codes in them. They are Cayley graphs on the additive group of $\mathbb{Z}[ζ_m]/A$, with connection sets $\{\pm (ζ_m^i + A): 0 \le i \le m-1\}$ and $\{\pm (ζ_m^i + A): 0 \le i \le φ(m) - 1\}$, respectively, where $ζ_m$ ($m \ge 2$) is an $m$th primitive root of unity, $A$ a nonzero ideal of $\mathbb{Z}[ζ_m]$, and $φ$ Euler's totient function. We call them the $m$th cyclotomic graph and the second kind $m$th cyclotomic graph, and denote them by $G_{m}(A)$ and $G^*_{m}(A)$, respectively. We give a necessary and sufficient condition for $D/A$ to be a perfect $t$-code in $G^*_{m}(A)$ and a necessary condition for $D/A$ to be such a code in $G_{m}(A)$, where $t \ge 1$ is an integer and $D$ an ideal of $\mathbb{Z}[ζ_m]$ containing $A$. In the case when $m = 3, 4$, $G_m((α))$ is known as an Eisenstein-Jacobi and Gaussian networks, respectively, and we obtain necessary conditions for $(β)/(α)$ to be a perfect $t$-code in $G_m((α))$, where $0 \ne α, β\in \mathbb{Z}[ζ_m]$ with $β$ dividing $α$. In the literature such conditions are known to be sufficient when $m=4$ and $m=3$ under an additional condition. We give a classification of all first kind Frobenius circulants of valency $2p$ and prove that they are all $p$th cyclotomic graphs, where $p$ is an odd prime. Such graphs belong to a large family of Cayley graphs that are efficient for routing and gossiping.

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.

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.