Homomorphisms of binary Cayley graphs

In this paper, we investigate some basic properties of fractional powers. In this regard, we show that for any non-bipartite graph $G$ and positive rational numbers ${2r+1\over 2s+1} < {2p+1\over 2q+1}$, we have $G^{2r+1\over 2s+1} < G^{2p+1\over 2q+1}$. Next, we study the power thickness of $G$, that is, the supremum of rational numbers ${2r+1\over 2s+1}$ such that $G$ and $G^{2r+1\over 2s+1}$ have the same chromatic number. We prove that the power thickness of any non-complete circular complete graph is greater than one. This provides a sufficient condition for the equality of the chromatic number and the circular chromatic number of graphs. Finally, we introduce an equivalent definition for the circular chromatic number of graphs in terms of fractional powers. Also, we show that for any non-bipartite graph $G$ if $0 < {{2r+1}\over {2s+1}} \leq {{\chi(G)}\over{3(\chi(G)-2)}}$, then $\chi(G^{{2r+1}\over {2s+1}})=3$. Moreover, $\chi(G)\neq\chi_c(G)$ if and only if there exists a rational number ${{2r+1}\over {2s+1}}>{{\chi(G)}\over{3(\chi(G)-2)}}$ for which $\chi(G^{{2r+1}\over {2s+1}})= 3$.

It is well-known that eigenvalues of graphs can be used to describe structural properties and parameters of graphs. A theorem of Nosal and Nikiforov states that if $G$ is a triangle-free graph with $m$ edges, then $\lambda (G)\le \sqrt{m}$, equality holds if and only if $G$ is a complete bipartite graph. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] proved a generalization for non-bipartite triangle-free graphs. Moreover, Zhai and Shu [Discrete Math. 345 (2022)] presented a further improvement. In this paper, we present an alternative method for proving the improvement by Zhai and Shu. Furthermore, the method can allow us to give a refinement on the result of Zhai and Shu for non-bipartite graphs without short odd cycles.

A graph $\Gamma$ is said to be unstable if for the direct product $\Gamma \times K_2$, $\mathrm{Aut}(\Gamma \times K_2)$ is not isomorphic to $\mathrm{Aut}(\Gamma) \times \mathbb{Z}_2$. We show that a connected and non-bipartite Cayley graph $\mathrm{Cay}(H,S)$ is unstable if and only if the set $S \times \{1\}$ belongs to a Schur ring over the group $H \times \mathbb{Z}_2$ satisfying certain properties. The S-rings with these properties are characterized if $H$ is a cyclic group of twice odd order. As an application, a necessary and sufficient condition is given for a connected and non-bipartite circulant graph of order $2p^e$ to be unstable, where $p$ is an odd prime and $e \ge 1$.

Chromatic numbers of Cayley graphs of abelian groups: A matrix method

Maximizing the degree powers of graphs with fixed size

info:eu-repo/semantics/published

Uniform emulations of Cartesian-product and Cayley graphs

Unitary Cayley graphs of Dedekind domain quotients

On the cyclic decomposition of complete graphs into almost-bipartite graphs

A new family of the uniform ordinary graphs named the shaped lattice graphs was proposed and studied. As applied to the structural modeling of the multiprocessor computer systems, they have two useful characteristics such as high flexibility at choosing their size (number of vertices) and possibility of obtaining small (down to d = 2) diameters independently of the graph size. The method of cycle definition and transformation by the ring sequences of edge weights, which was previously proposed for the binary hypercubes and other Cayley graphs, was extended to the shaped lattice graphs.

A 1-factorisation of a graph G is a decomposition of G into edge-disjoint 1-factors (1-regular spanning subgraphs). A perfect 1-factorisation is a 1-factorisation in which the union of every pair of distinct 1-factors is a Hamilton cycle; a 1-factorisation is uniform if the graphs resulting from the union of every pair of distinct 1-factors are isomorphic. We initiate the study of perfect 1-factorisations and uniform 1-factorisations of circulant graphs, a well-studied family of Cayley graphs, by determining whether or not such 1-factorisations exist for even order circulant graphs of small degree. For a bipartite circulant graph, we observe that having order congruent to 2 (mod 4) is a necessary condition for the existence of a perfect 1-factorisation. We prove that for bipartite 3-regular circulant graphs this necessary condition is also sufficient. Furthermore, the bipartite 3-regular circulant graphs of order 2 (mod 4) are the only 3-regular circulant graphs of order greater than 6 which admit a perfect 1-factorisation. The 4-regular case is more complex; we provide constructions of perfect 1-factorisations for many families of bipartite 4-regular circulant graphs of order 2 (mod 4); however, we also prove that there is an infinite family of such graphs no member of which admits a perfect 1-factorisation. We conjecture that a connected non-bipartite 4-regular circulant graph of order at least 8 does not admit a perfect 1-factorisation; we prove this conjecture for three distinct infinite families of non-bipartite 4-regular circulant graphs and show by computer search that the conjecture holds for small orders (at most 30). Several of our results are achieved by studying perfect 1-factorisations of a particular family of 4-regular graphs, denoted Dh, k for integers h, knwhere h g 2 and k g 3. These graphs are shown to be isomorphic to Cayley graphs when k is even and yet they are not vertex-transitive when k is odd (and hng 3). For small values of h, we make use of the structure of Dh,k to determine when it admits a perfect 1-factorisation and then use specific isomorphism results to obtain corresponding results for 4-regular circulant graphs. In this thesis the connected 3-regular circulant graphs that admit a perfect 1-factorisation are characterised and although the connected 4-regular circulant graphs that admit a perfect 1-factorisation have not yet been fully characterised, we provide many interesting theoretical results that establish the framework for such a characterisation.n

Brooks' Theorem states that a connected graph $G$ of maximum degree $\Delta$ has chromatic number at most $\Delta$, unless $G$ is an odd cycle or a complete graph. A result of Johansson shows that if $G$ is triangle-free, then the chromatic number drops to $O(\Delta / \log \Delta)$. In this paper, we derive a weak analog for the chromatic number of digraphs. We show that every (loopless) digraph $D$ without directed cycles of length two has chromatic number $\chi(D) \leq (1-e^{-13}) \tilde{\Delta}$, where $\tilde{\Delta}$ is the maximum geometric mean of the out-degree and in-degree of a vertex in $D$, when $\tilde{\Delta}$ is sufficiently large. As a corollary it is proved that there exists an absolute constant $\alpha < 1$ such that $\chi(D) \leq \alpha (\tilde{\Delta} + 1)$ for every $\tilde{\Delta} > 2$.

In 1987 Paul Erdős asked me if the Cayley graph defined on Z by a lacunary sequence has necessarily a finite chromatic number. Below is my answer, delivered to him on the spot but never published, and some additional remarks. The key is the interpretation of the question in terms of return times of dynamical systems.

Chromatic Numbers and Cycle Parities of Quadrangulations on Nonorientable Closed Surfaces

Let $\Delta(G)$ be the maximum degree of a graph $G$. Brooks' theorem states that the only connected graphs with chromatic number $\chi(G)=\Delta(G)+1$ are complete graphs and odd cycles. We prove a fractional analogue of Brooks' theorem in this paper. Namely, we classify all connected graphs $G$ such that the fractional chromatic number $\chi_f(G)$ is at least $\Delta(G)$. These graphs are complete graphs, odd cycles, $C^2_8$, $C_5\boxtimes K_2$, and graphs whose clique number $\omega(G)$ equals the maximum degree $\Delta(G)$. Among the two sporadic graphs, the graph $C^2_8$ is the square graph of cycle $C_8$ while the other graph $C_5\boxtimes K_2$ is the strong product of $C_5$ and $K_2$. In fact, we prove a stronger result; if a connected graph $G$ with $\Delta(G)\geq 4$ is not one of the graphs listed above, then we have $\chi_f(G)\leq \Delta(G)- 2/67$.