arXiv++ Combinatorics

We introduce and study conflict-free colourings of $t$-subsets in hypergraphs. In such colourings, one assigns colours to all subsets of vertices of cardinality $t$ such that in any hyperedge of cardinality at least $t$ there is a uniquely coloured $t$-subset. The case $t=1$, i.e., vertex conflict-free colouring, is a well-studied notion. Already the case $t=2$ (i.e., colouring pairs) seems to present a new challenge. Many of the tools used for conflict-free colouring of geometric hypergraphs rely on hereditary properties of the underlying hypergraphs. When dealing with subsets of vertices, the properties do not pass to subfamilies of subsets. Therefore, we develop new tools, which might be of independent interest. (i) For any fixed $t$, we show that the $\binom n t$ $t$-subsets in any set $P$ of $n$ points in the plane can be coloured with $O(t^2 \log^2 n)$ colours so that any axis-parallel rectangle that contains at least $t$ points of $P$ also contains a uniquely coloured $t$-subset. (ii) For a wide class of "well behaved" geometrically defined hypergraphs, we provide near tight upper bounds on their $t$-subset conflict-free chromatic number. For $t=2$ we show that for each of those "well -behaved" hypergraphs $H$, the hypergraph $H'$ obtained by taking union of two hyperedges from $H$, admits a $2$-subset conflict-free colouring with roughly the same number of colours as $H$. For example, we show that the $\binom n 2$ pairs of points in any set $P$ of $n$ points in the plane can be coloured with $O(\log n)$ colours such that for any two discs $d_1,d_2$ in the plane with $|(d_1\cup d_2)\cap P|\geq 2$ there is a uniquely (in $d_1 \cup d_2$) coloured pair. (iii) We also show that there is no general bound on the $t$-subset conflict-free chromatic number as a function of the standard conflict-free chromatic number already for $t=2$.

An odd coloring of a graph $G$ is a proper coloring such that any non-isolated vertex in $G$ has a coloring appears odd times on its neighbors. The odd chromatic number, denoted by $χ_o(G)$, is the minimum number of colors that admits an odd coloring of $G$. Petruševski and Škrekovski in 2021 introduced this notion and proved that if $G$ is planar, then $χ_o(G)\le9$ and conjectured that $χ_o(G)\le5$. More recently, Petr and Portier improved $9$ to $8$. A graph is $1$-planar if it can be drawn in the plane so that each edge is crossed by at most one other edge. Cranston, Lafferty and Song showed that every $1$-planar graph is odd $23$-colorable. In this paper, we improved this result and showed that every $1$-planar graph is odd $13$-colorable.

It is proved that for every $\varepsilon>0$, there exists $K>0$ such that for every integer $t\ge2$, every graph with chromatic number at least $Kt$ contains a minor with $t$ vertices and edge density at least $1-\varepsilon$. Indeed, building on recent work of Delcourt and Postle on linear Hadwiger's conjecture, for $\varepsilon\in(0,\frac{1}{256})$ we can take $K=C\log\log(1/\varepsilon)$ where $C>0$ is a universal constant, which extends their recent $O(t\log\log t)$ bound on the chromatic number of graphs with no $K_t$ minor.

Hadwiger's conjecture, among the most famous open problems in graph theory, states that every graph that does not contain $K_t$ as a minor is properly $(t-1)$-colorable. The purpose of this work is to demonstrate that a natural extension of Hadwiger's problem to hypergraph coloring exists, and to derive some first partial results and applications. Generalizing ordinary graph minors to hypergraphs, we say that a hypergraph $H_1$ is a minor of a hypergraph $H_2$, if a hypergraph isomorphic to $H_1$ can be obtained from $H_2$ via a finite sequence of vertex- and hyperedge-deletions, and hyperedge contractions. We first show that a weak extension of Hadwiger's conjecture to hypergraphs holds true: For every $t \ge 1$, there exists a finite (smallest) integer $h(t)$ such that every hypergraph with no $K_t$-minor is $h(t)$-colorable, and we prove $$\left\lceil\frac{3}{2}(t-1)\right\rceil \le h(t) \le 2g(t)$$ where $g(t)$ denotes the maximum chromatic number of graphs with no $K_t$-minor. Using the recent result by Delcourt and Postle that $g(t)=O(t \log \log t)$, this yields $h(t)=O(t \log \log t)$. We further conjecture that $h(t)=\left\lceil\frac{3}{2}(t-1)\right\rceil$, i.e., that every hypergraph with no $K_t$-minor is $\left\lceil\frac{3}{2}(t-1)\right\rceil$-colorable for all $t \ge 1$, and prove this conjecture for all hypergraphs with independence number at most $2$. By considering special classes of hypergraphs, the above additionally has some interesting applications for ordinary graph coloring, such as: -graphs of chromatic number $C k t \log \log t$ contain $K_t$-minors with $k$-edge-connected branch-sets, -graphs of chromatic number $C q t \log \log t$ contain $K_t$-minors with modulo-$q$-connected branch sets, -by considering cycle hypergraphs of digraphs we recover known results on strong minors in digraphs of large dichromatic number as special cases.

The systematic study of Turán-type extremal problems for edge-ordered graphs was initiated by Gerbner et al. arXiv:2001.00849. They conjectured that the extremal functions of edge-ordered forests of order chromatic number 2 are $n^{1+o(1)}$. Here we resolve this conjecture proving the stronger upper bound of $n2^{O(\sqrt{\log n})}$. This represents a gap in the family of possible extremal functions as other forbidden edge-ordered graphs have extremal functions $Ω(n^c)$ for some $c>1$. However, our result is probably not the last word: here we conjecture that the even stronger upper bound of $n\log^{O(1)}n$ also holds for the same set of extremal functions.

The multi-fold chromatic number of the plane $χ_m$ is the smallest number of colors $k$, sufficient to color each point of the Euclidean plane in exactly $m$ colors, so that for any pair of points at a unit distance from each other, two corresponding $m$-subsets of $k$-set do not contain any common color. We consider upper bounds for $m$-fold chromatic numbers of the plane. Our main result is that for any $m$ the inequality $χ_m<(1+2/\sqrt3)^2\cdot m+3.501$ holds.

We provide a human-verifiable proof that, in a certain sense, the chromatic number of the plane is exactly 7.

We study the relation between the correspondence chromatic number and the Alon--Tarsi number, both upper bounds on the list chromatic number of a graph. There are many graphs with Alon--Tarsi number greater than the correspondence chromatic number. We present here a family of graphs with arbitrary Alon--Tarsi number, with correspondence chromatic number one larger. Keywords: correspondence coloring, Alon--Tarsi number AMS Mathematics Subject Classification: 05C15

Seymour proved that the chromatic numbers and the list chromatic numbers of loop-free finite matroids are the same. In this paper we prove the same statement for infinite, loop-free finitary matroids.

For $m \geq 3$ and $n \geq 1$, the $m$-cycle book graph $B(m,n)$ consists of $n$ copies of the cycle $C_m$ with one common edge. In this paper, we prove that (a) the number of switching non-isomorphic signed $B(m,n)$ is $n+1$, and (b) the chromatic number of a signed $B(m,n)$ is either 2 or 3. We also obtain explicit formulas for the chromatic polynomials and the zero-free chromatic polynomials of switching non-isomorphic signed book graphs.

We introduce a new concept in graph coloring motivated by the popular Sudoku puzzle. Let $G=(V,E)$ be a graph of order $n$ with chromatic number $χ(G)=k$ and let $S\subseteq V.$ Let $\mathscr C_0$ be a $k$-coloring of the induced subgraph $G[S].$ The coloring $\mathscr C_0$ is called an extendable coloring if $\mathscr C_0$ can be extended to a $k$-coloring of $G.$ We say that $\mathscr C_0$ is a Sudoku coloring of $G$ if $\mathscr C_0$ can be uniquely extended to a $k$-coloring of $G.$ The smallest order of such an induced subgraph $G[S]$ of $G$ which admits a Sudoku coloring is called the Sudoku number of $G$ and is denoted by $sn(G).$ In this paper we initiate a study of this parameter. We first show that this parameter is related to list coloring of graphs. In Section 2, basic properties of Sudoku coloring that are related to color dominating vertices, chromatic numbers and degree of vertices, are given. Particularly, we obtained necessary conditions for $\mathscr C_0$ being uniquely extendable, and for $\mathscr C_0$ being a Sudoku coloring. In Section 3, we determined the Sudoku number of various familes of graphs. Particularly, we showed that a connected graph $G$ has $sn(G)=1$ if and only if $G$ is bipartite. Consequently, every tree $T$ has $sn(T)=1$. Moreover, a graph $G$ with small chromatic number may have arbitrarily large Sudoku number. Extendable coloring and Sudoku coloring are nice tools for providing a $k$-coloring of $G$.

Consider a family $\mathcal F$ of $C_{2r+1}$-free graphs, where $r\geq 2$. Suppose that each graph in $\mathcal F$ has minimum degree linear in its number of vertices. Thomassen showed that such a family has bounded chromatic number, or, equivalently, that all graphs in $\mathcal F$ are homomorphic to a complete graph of bounded size. Considering instead homomorphic images which are themselves $C_{2r+1}$-free, we construct a family of dense $C_{2r+1}$-free graphs with no $C_{2r+1}$-free homomorphic image of bounded size. This provides the first nontrivial lower bound on the homomorphism threshold of odd cycles of length at least 5 and answers a question of Ebsen and Schacht. Our proof introduces a new technique to describe the topological structure of a graph. We establish a graph-theoretic analogue of homotopy equivalence, which allows us to analyze the relative placement of odd closed walks in a graph. This notion has unexpected connections to the neighborhood complex, leading to multiple interesting questions.

Let $G$ be a graph. We introduce the acyclic b-chromatic number of $G$ as an analogue to the b-chromatic number of $G$. An acyclic coloring of a graph $G$ is a map $c:V(G)\rightarrow \{1,\dots,k\}$ such that $c(u)\neq c(v)$ for any $uv\in E(G)$ and the induced subgraph on vertices of any two colors $i,j\in \{1,\dots,k\}$ induces a forest. On the set of all acyclic colorings of $G$ we define a relation whose transitive closure is a strict partial order. The minimum cardinality of its minimal element is then the acyclic chromatic number $A(G)$ of $G$ and the maximum cardinality of its minimal element is the acyclic b-chromatic number $A_b(G)$ of $G$. We present several properties of $A_b(G)$. In particular, we derive $A_b(G)$ for several known graph families, derive some bounds for $A_b(G)$, compare $A_b(G)$ with some other parameters and generalize some influential tools from b-colorings to acyclic b-colorings.

It's well known that every planar graph is $4$-colorable. A toroidal graph is a graph that can be embedded on a torus. It's proved that every toroidal graph is $7$-colorable. A proper coloring of a graph is called \emph{odd} if every non-isolated vertex has at least one color that appears an odd number of times in its neighborhood. The smallest number of colors that admits an odd coloring of a graph $ G $ is denoted by $χ_{o}(G)$. In this paper, we prove that if $G$ is tortoidal, then $χ_{o}\left({G}\right)\le9$; Note that $K_7$ is a toroidal graph, the upper bound is no less than $7$.

Ramsey's Theorem guarantees for every graph H that any 2-edge-coloring of a sufficiently large complete graph contains a monochromatic copy of H. In 1962, Erdos conjectured that the random 2-edge-coloring minimizes the number of monochromatic copies of K_k, and the conjecture was extended by Burr and Rosta to all graphs. In the late 1980s, the conjectures were disproved by Thomason and Sidorenko, respectively. A classification of graphs whose number of monochromatic copies is minimized by the random 2-edge-coloring, which are referred to as common graphs, remains a challenging open problem. If Sidorenko's Conjecture, one of the most significant open problems in extremal graph theory, is true, then every 2-chromatic graph is common, and in fact, no 2-chromatic common graph unsettled for Sidorenko's Conjecture is known. While examples of 3-chromatic common graphs were known for a long time, the existence of a 4-chromatic common graph was open until 2012, and no common graph with a larger chromatic number is known. We construct connected k-chromatic common graphs for every k. This answers a question posed by Hatami, Hladky, Kral, Norine and Razborov [Combin. Probab. Comput. 21 (2012), 734-742], and a problem listed by Conlon, Fox and Sudakov [London Math. Soc. Lecture Note Ser. 424 (2015), 49-118, Problem 2.28]. This also answers in a stronger form the question raised by Jagger, Stovicek and Thomason [Combinatorica 16, (1996), 123-131] whether there exists a common graph with chromatic number at least four.

The harmonious chromatic number of a graph $G$ is the minimum number of colors that can be assigned to the vertices of $G$ in a proper way such that any two distinct edges have different color pairs. This paper gives various results on harmonious chromatic number related to homomorphisms, incidence graphs of finite linear systems, and some circulant graphs.

A graph $G$ is $k$-vertex-critical if $χ(G)=k$ but $χ(G-v)<k$ for all $v\in V(G)$ where $χ(G)$ denotes the chromatic number of $G$. We show that there are only finitely many $k$-critical $(P_3+\ell P_1)$-free graphs for all $k$ and all $\ell$. Together with previous results, the only graphs $H$ for which it is unknown if there are an infinite number of $k$-vertex-critical $H$-free graphs is $H=(P_4+\ell P_1)$ for all $\ell\ge 1$. We consider a restriction on the smallest open case, and show that there are only finitely many $k$-vertex-critical (gem, co-gem)-free graphs for all $k$, where gem$=\overline{P_4+P_1}$. To do this, we show the stronger result that every vertex-critical (gem, co-gem)-free graph is either complete or a clique expansion of $C_5$. This characterization allows us to give the complete list of all $k$-vertex-critical (gem, co-gem)-free graphs for all $k\le 16$

Given a finite family of squares in the plane, the packing problem asks for the maximum number $ν$ of pairwise disjoint squares among them, while the hitting problem for the minimum number $τ$ of points hitting all of them. Clearly, $τ\ge ν$. Both problems are known to be NP-hard, even for families of axis-parallel unit squares. The main results of this work provide the first non-trivial bounds for the $τ/ ν$ ratio for not necessarily axis-parallel squares. We establish an upper bound of $6$ for unit squares and $10$ for squares of varying sizes. The worst ratios we can provide with examples are $3$ and $4$, respectively. For comparison, in the axis-parallel case, the supremum of the considered ratio is in the interval $[\frac{3}{2},2]$ for unit squares and $[\frac{3}{2},4]$ for squares of varying sizes. The methods we introduced for the $τ/ν$ ratio can also be used to relate the chromatic number $χ$ and clique number $ω$ of squares by bounding the $χ/ω$ ratio by $6$ for unit squares and $9$ for squares of varying sizes. The $τ/ ν$ and $χ/ω$ ratios have already been bounded before by a constant for "fat" objects, the fattest and simplest of which are disks and squares. However, while disks have received significant attention, specific bounds for squares have remained essentially unexplored. This work intends to fill this gap.

A hole is an induced cycle of length at least 4. A graph is called a pentagraph if it has no cycles of length 3 or 4 and has no holes of odd length at least 7, and is called a heptagraph if it has no cycles of length less than 7 and has no holes of odd length at least 9. Let $ł\ge 2$ be an integer. The current authors proved that a graph is 4- colorable if it has no cycles of length less than $2ł+1$ and has no holes of odd length at least $2ł+3$. Confirming a conjecture of Plummer and Zha, Chudnovsky and Seymour proved that every pentagraph is 3-colorable. Following their idea, we show that every heptagraph is 3-colorable.

A $vi$-simultaneous proper $k$-coloring of a graph $G$ is a coloring of all vertices and incidences of the graph in which any two adjacent or incident elements in the set $V(G)\cup I(G)$ receive distinct colors, where $I(G)$ is the set of incidences of $G$. The $vi$-simultaneous chromatic number, denoted by $χ_{vi}(G)$, is the smallest integer $k$ such that $G$ has a $vi$-simultaneous proper $k$-coloring. In [M. Mozafari-Nia, M. N. Iradmusa, A note on coloring of $\frac{3}{3}$-power of subquartic graphs, Vol. 79, No.3, 2021] $vi$-simultaneous proper coloring of graphs with maximum degree $4$ is investigated and they conjectured that for any graph $G$ with maximum degree $Δ\geq 2$, $vi$-simultaneous proper coloring of $G$ is at most $2Δ+1$. In [M. Mozafari-Nia, M. N. Iradmusa, Simultaneous coloring of vertices and incidences of graphs, arXiv:2205.07189, 2022] the correctness of the conjecture for some classes of graphs such as $k$-degenerated graphs, cycles, forests, complete graphs, regular bipartite graphs is investigated. In this paper, we prove that the $vi$-simultaneous chromatic number of any outerplanar graph $G$ is either $Δ+2$ or $Δ+3$, where $Δ$ is the maximum degree of $G$.