arXiv++ Combinatorics

We show that there are $k$ simple graphs whose Kronecker covers are isomorphic to the bipartite Kneser graph $H(n,k)$, and that their chromatic numbers coincide with $χ(K(n,k)) = n - 2k + 2$. We also determine the automorphism groups of these graphs.

Fractional graph isomorphism is the linear relaxation of an integer programming formulation of graph isomorphism. It preserves some invariants of graphs, like degree sequences and equitable partitions, but it does not preserve others like connectivity, clique and independence numbers, chromatic number, vertex and edge cover numbers, matching number, domination and total domination numbers. In this work, we extend the concept of fractional graph isomorphism to hypergraphs, and give an alternative characterization, analogous to one of those that are known for graphs. With this new concept we prove that the fractional packing, covering, matching and transversal numbers on hypergraphs are invariant under fractional hypergraph isomorphism. As a consequence, fractional matching, vertex and edge cover, independence, domination and total domination numbers are invariant under fractional graph isomorphism. This is not the case of fractional chromatic, clique, and clique cover numbers. In this way, most of the classical fractional parameters are classified with respect to their invariance under fractional graph isomorphism.

In this paper, we prove an enhanced version of the Erdős-Lovász Tihany Conjecture for line graphs of multigraphs. That is, for every graph $G$ whose chromatic number $χ(G)$ is more than its clique number $ω(G)$ and for nonnegative integer $\ell$, any two integers $s,t \geq 3.5\ell+2$ with $s+t = χ(G)+1$, there is a partition $(S,T)$ of the vertex set $V(G)$ such that $χ(G[S])\geq s$ and $χ(G[T])\geq t+\ell$. In particular, when $\ell=1$, we can obtain the same result just for any $s,t\geq4$. The Erdős-Lovász Tihany conjecture is a special case when $\ell=0$.

Let $s\ge2$ and $t\ge2$ be integers. A graph $G$ is $(s,t)$-\emph{splittable} if $V(G)$ can be partitioned into two sets $S$ and $T$ such that $χ(G[S])\geq s$ and $χ(G[T])\geq t$. The well-known Erdős-Lovász Tihany Conjecture from 1968 states that every graph $G$ whose chromatic number $χ(G)=s+t-1$ is more than its clique number $ω(G)$ is $(s,t)$-splittable. In this paper, we prove an enhanced version of the Erdős-Lovász Tihany Conjecture for graphs with independence number two. That is, for every graph $G$ with $χ(G)=s+t-1>ω(G)+1$ is $(s,t+1)$-splittable. There are examples showing that this result is best possible.

More than ten years ago in 2008, a new kind of graph coloring appeared in graph theory, which is the {\it rainbow connection coloring} of graphs, and then followed by some other new concepts of graph colorings, such as {\it proper connection coloring, monochromatic connection coloring, and conflict-free connection coloring} of graphs. In about ten years of our consistent study, we found that these new concepts of graph colorings are actually quite different from the classic graph colorings. These {\it colored connection colorings} of graphs are brand-new colorings and they need to take care of global structural properties (for example, connectivity) of a graph under the colorings; while the traditional colorings of graphs are colorings under which only local structural properties (adjacent vertices or edges) of a graph are taken care of. Both classic colorings and the new colored connection colorings can produce the so-called chromatic numbers. We call the colored connection numbers the {\it global chromatic numbers}, and the classic or traditional chromatic numbers the {\it local chromatic numbers}. This paper intends to clarify the difference between the colored connection colorings and the traditional colorings, and finally to propose the new concepts of global colorings under which global structural properties of the colored graph are kept, and the global chromatic numbers.

The independence number, coloring number and related parameters are investigated in the setting of oriented hypergraphs using the spectrum of the normalized Laplace operator. For the independence number, both an inertia--like bound and a ratio--like bound are shown. A Sandwich Theorem involving the clique number, the vector chromatic number and the coloring number is proved, as well as a lower bound for the vector chromatic number in terms of the smallest and the largest eigenvalue of the normalized Laplacian. In addition, spectral partition numbers are studied in relation to the coloring number.

For two metric spaces $\mathbb X$ and $\mathcal Y$, the chromatic number $χ(\mathbb X;\mathcal Y)$ of $\mathbb X$ with forbidden $\mathcal Y$ is the smallest $k$ such that there is a coloring of the points of $\mathbb X$ with $k$ colors and no monochromatic copy of $\mathcal Y$. In this paper, we show that for each finite metric space $\mathcal{M}$ that contains at least two points the value $χ\left(\mathbb R^n_\infty; \mathcal M \right)$ grows exponentially with $n$. We also provide explicit lower and upper bounds for some special $\mathcal M$.

We prove that for every $m\in \mathbb N$ and every $δ\in (-m,0)$, the chromatic number of the preferential attachment graph $PA_t(m, δ)$ is asymptotically almost surely equal to $m+1$. The proof relies on a combinatorial construction of a family of digraphs of chromatic number $m+1$ followed by a proof that asymptotically almost surely there is a digraph in this family, which is realised as a subgraph of the preferential attachment graph.

Given a graph $H$ and an integer $k\ge1$, the Gallai-Ramsey number $GR_k(H)$ is defined to be the minimum integer $n$ such that every $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $H$. In this paper, we determine the Gallai-Ramsey numbers for connected graphs with five vertices of chromatic number four.

The $χ$-stability index ${\rm es}_χ(G)$ of a graph $G$ is the minimum number of its edges whose removal results in a graph with the chromatic number smaller than that of $G$. In this paper three open problems from [European J.\ Combin.\ 84 (2020) 103042] are considered. Examples are constructed which demonstrate that a known characterization of $k$-regular ($k\le 5$) graphs $G$ with ${\rm es}_χ(G) = 1$ does not extend to $k\ge 6$. Graphs $G$ with $χ(G)=3$ for which ${\rm es}_χ(G)+{\rm es}_χ(\overline{G}) = 2$ holds are characterized. Necessary conditions on graphs $G$ which attain a known upper bound on ${\rm es}_χ(G)$ in terms of the order and the chromatic number of $G$ are derived. The conditions are proved to be sufficient when $n\equiv 2 \pmod 3$ and $χ(G)=3$.

Kostochka and Yancey proved that every $4$-critical graph $G$ has $e(G) \geq \frac{5v(G) - 2}{3}$, and that equality holds if and only if $G$ is $4$-Ore. We show that a question of Postle and Smith-Roberge implies that every $4$-critical graph with no $(7,2)$-circular-colouring has $e(G) \geq \frac{27v(G) -20}{15}$. We prove that every $4$-critical graph with no $(7,2)$-colouring has $e(G) \geq \frac{17v(G)}{10}$ unless $G$ is isomorphic to $K_{4}$ or the wheel on six vertices. We also show that if the Gallai Tree of a $4$-critical graph with no $(7,2)$-colouring has every component isomorphic to either an odd cycle, a claw, or a path. In the case that the Gallai Tree contains an odd cycle component, then $G$ is isomorphic to an odd wheel. In general, we show a $k$-critical graph with no $(2k-1,2)$-colouring that contains a clique of size $k-1$ in it's Gallai Tree is isomorphic to $K_{k}$.

The oriented chromatic number of a directed graph $G$ is the minimum order of an oriented graph to which $G$ has a homomorphism. The oriented chromatic number $χ_o({\cal F})$ of a graph family ${\cal F}$ is the maximum oriented chromatic number over any orientation of any graph in ${\cal F}$. For the family of hexagonal grids ${\cal H}_2$, Bielak (2006) proved that $5 \le χ_o({\cal H}_2) \le 6$. Here we close the gap by showing that $χ_o({\cal H}_2) \ge 6$.

This paper offers a systematic study of a family of graphs called amoebas. Amoebas recently emerged from the study of forced patterns in $2$-colorings of the edges of the complete graph in the context of Ramsey-Turan theory and played an important role in extremal zero-sum problems. Amoebas are graphs with a unique behavior with regards to the following operation: Let $G$ be a graph and let $e\in E(G)$ and $e'\in E(\overline{G})$. If the graph $G'=G-e+e'$ is isomorphic to $G$, we say $G'$ is obtained from $G$ by performing a \emph{feasible edge-replacement}. We call $G$ a \emph{local amoeba} if, for any two copies $G_1$, $G_2$ of $G$ on the same vertex set, $G_1$ can be transformed into $G_2$ by a chain of feasible edge-replacements. On the other hand, $G$ is called \emph{global amoeba} if there is an integer $t_0 \ge 0$ such that $G \cup tK_1$ is a local amoeba for all $t \ge t_0$. To model the dynamics of the feasible edge-replacements of $G$, we define a group ${\rm Fer}(G)$ that satisfies that $G$ is a local amoeba if and only if ${\rm Fer}(G) \cong S_n$, where $n$ is the order of $G$. Via this algebraic setting, a deeper understanding of the structure of amoebas and their intrinsic properties comes into light. Moreover, we present different constructions that prove the richness of these graph families showing, among other things, that any connected graph can be a connected component of a global amoeba, that global amoebas can be very dense and that they can have, in proportion to their order, large clique and chromatic numbers. Also, a family of global amoeba trees with a Fibonacci-like structure and with arbitrary large maximum degree is constructed.

We prove that if $G=(V,E)$ is an $ω$-stable (respectively, superstable) graph with $χ(G)>\aleph_0$ (respectively, $2^{\aleph_0}$) then $G$ contains all the finite subgraphs of the shift graph $\text{Sh}_n(ω)$ for some $n$. We prove a variant of this theorem for graphs interpretable in stationary stable theories. Furthermore, if $G$ is $ω$-stable with $\mathrm{U}(G)\leq 2$ we prove that $n\leq 2$ suffices.

The $g$-extra connectivity is an important parameter to measure the ability of tolerance and reliability of interconnection networks. Given a connected graph $G=(V,E)$ and a non-negative integer $g$, a subset $S\subseteq V$ is called a $g$-extra cut of $G$ if $G-S$ is disconnected and every component of $G-S$ has at least $g+1$ vertices. The cardinality of the minimum $g$-extra cut is defined as the $g$-extra connectivity of $G$, denoted by $κ_g(G)$. In a search for triangle-free graphs with arbitrarily large chromatic numbers, Mycielski developed a graph transformation that transforms a graph $G$ into a new graph $μ(G)$, which is called the Mycielskian of $G$. This paper investigates the relationship of the g-extra connectivity of the Mycielskian $μ(G)$ and the graph $G$, moreover, show that $κ_{2g+1}(μ(G))=2κ_{g}(G)+1$ for $g\geq 1$ and $κ_{g}(G)\leq min\{g+1, \lfloor\frac{n}{2}\rfloor\}$.

Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied. The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over any group, finite or infinite. A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our axioms. However, for m>=3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.) A diagonal semilattice is contained in the partition lattice on a set, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics. We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions are equivalent for diagonal groups). Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group except in four small cases with m<=3. The class of diagonal graphs includes some well-known families, Latin-square graphs and folded cubes. We obtain partial results on the chromatic number of a diagonal graph, and mention an application to synchronization.

Over recent years there has been much interest in both Turán and Ramsey properties of vertex ordered graphs. In this paper we initiate the study of embedding spanning structures into vertex ordered graphs. In particular, we introduce a general framework for approaching the problem of determining the minimum degree threshold for forcing a perfect $H$-tiling in an ordered graph. In the (unordered) graph setting, this problem was resolved by Kühn and Osthus [The minimum degree threshold for perfect graph packings, Combinatorica, 2009]. We use our general framework to resolve the perfect $H$-tiling problem for all ordered graphs $H$ of interval chromatic number $2$. Already in this restricted setting the class of extremal examples is richer than in the unordered graph problem. In the process of proving our results, novel approaches to both the regularity and absorbing methods are developed.

Given a hereditary property of graphs $\mathcal{H}$ and a $p\in [0,1]$, the edit distance function ${\rm ed}_{\mathcal{H}}(p)$ is asymptotically the maximum proportion of edge-additions plus edge-deletions applied to a graph of edge density $p$ sufficient to ensure that the resulting graph satisfies $\mathcal{H}$. The edit distance function is directly related to other well-studied quantities such as the speed function for $\mathcal{H}$ and the $\mathcal{H}$-chromatic number of a random graph. Let $\mathcal{H}$ be the property of forbidding an Erdős-Rényi random graph $F\sim \mathbb{G}(n_0,p_0)$, and let $\varphi$ represent the golden ratio. In this paper, we show that if $p_0\in [1-1/\varphi,1/\varphi]$, then a.a.s. as $n_0\to\infty$, \begin{align*} {\rm ed}_{\mathcal{H}}(p) = (1+o(1))\,\frac{2\log n_0}{n_0} \cdot\min\left\{ \frac{p}{-\log(1-p_0)}, \frac{1-p}{-\log p_0} \right\}. \end{align*} Moreover, this holds for $p\in [1/3,2/3]$ for any $p_0\in (0,1)$.

The chromatic number $χ(G)$ of a graph $G$, that is, the smallest number of colors required to color the vertices of $G$ so that no two adjacent vertices are assigned the same color, is a classic and extensively studied parameter. Here we consider the case where $G$ is a random block graph, also known as the stochastic block model. The vertex set is partitioned into $k\in\mathbb{N}$ parts $V_1, \dotsc, V_k$, and for each $1 \le i\le j\le k$, two vertices $u \in V_i, v\in V_j$ are connected by an edge with some probability $p_{ij} \in (0,1)$ independently. Our main result pins down the typical asymptotic value of $χ(G)$ and establishes the distribution of the sizes of the color classes in optimal colorings. We discover that in contrast to the case of a binomial random graph $G(n,p)$, that corresponds to $k=1$ in our model, where the average size of a color class in an (almost) optimal coloring essentially coincides with the independence number, the block model reveals a more diverse picture: the "average" class in an optimal coloring is a convex combination of several types of independent sets that vary in total size as well as in the size of their intersection with each $V_i$, $1\le i \le k$.

We develop an improved bound for the chromatic number of graphs of maximum degree $Δ$ under the assumption that the number of edges spanning any neighbourhood is at most $(1-σ)\binomΔ{2}$ for some fixed $0<σ<1$. The leading term in the reduction of colours achieved through this bound is best possible as $σ\to0$. As two consequences, we advance the state of the art in two longstanding and well-studied graph colouring conjectures, the Erdős-Nešetřil conjecture and Reed's conjecture. We prove that the strong chromatic index is at most $1.772Δ^2$ for any graph $G$ with sufficiently large maximum degree $Δ$. We prove that the chromatic number is at most $\lceil 0.881(Δ+1)+0.119ω\rceil$ for any graph $G$ with clique number $ω$ and sufficiently large maximum degree $Δ$. Additionally, we show how our methods can be adapted under the additional assumption that the codegree is at most $(1-σ)Δ$, and establish what may be considered first progress towards a conjecture of Vu.