Coloring H‐free hypergraphs

Fix $r \ge 2$ and a collection of $r$-uniform hypergraphs $\cH$. What is the minimum number of edges in an $\cH$-free $r$-uniform hypergraph with chromatic number greater than $k$. We investigate this question for various $\cH$. Our results include the following: An $(r,l)$-system is an $r$-uniform hypergraph with every two edges sharing at most $l$ vertices. For $k$ sufficiently large, the minimum number of edges in an $(r,l)$-system with chromatic number greater than $k$ is at most $c(k^{r-1}\log k)^{l/(l-1)}$, where $$c<...$$ This improves on the previous best bounds of Kostochka-Mubayi-R\"odl-Tetali \cite{KMRT}. The upper bound is sharp aside from the constant $c$ as shown in \cite{KMRT}. The minimum number of edges in an $r$-uniform hypergraph with independent neighborhoods and chromatic number greater than $k$ is of order $\tilde k^{r+1/(r-1)}$ as $k \to \infty$. This generalizes (aside from logarithmic factors) a result of Gimbel and Thomassen \cite{GT} for triangle-free graphs. Let $T$ be an $r$-uniform hypertree of $t$ edges. Then every $T$-free $r$-uniform hypergraph has chromatic number at most $p(t)$, where $p(t)$ is a polynomial in $t$. This generalizes the well known fact that every $T$-free graph has chromatic number at most $t$. Several open problems and conjectures are also posed.

[1]  Paul Erdös,et al.  Representations of Integers as the Sum of k Terms , 1990, Random Struct. Algorithms.

[2]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[3]  Vojtech Rödl,et al.  On the chromatic number of set systems , 2001, Random Struct. Algorithms.

[4]  P. Erdos-L Lovász Problems and Results on 3-chromatic Hypergraphs and Some Related Questions , 2022 .

[5]  Noga Alon,et al.  Hypergraphs with high chromatic number , 1985, Graphs Comb..

[6]  de Ng Dick Bruijn A combinatorial problem , 1946 .

[7]  Noga Alon,et al.  Coloring Graphs with Sparse Neighborhoods , 1999, J. Comb. Theory B.

[8]  Carsten Thomassen,et al.  Coloring triangle-free graphs with fixed size , 2000, Discret. Math..

[9]  Michael Krivelevich,et al.  Bounding Ramsey Numbers through Large Deviation Inequalities , 1995, Random Struct. Algorithms.

[10]  Jeong Han Kim On Brooks' Theorem for Sparse Graphs , 1995, Comb. Probab. Comput..

[11]  Aravind Srinivasan,et al.  Improved bounds and algorithms for hypergraph 2-coloring , 2000, Random Struct. Algorithms.