Coloring hypergraphs of low connectivity

TL;DR

This paper characterizes hypergraphs with maximum local edge connectivity at least 3 that achieve the upper bound on chromatic number, linking them to specific critical hypergraph structures and families.

Contribution

It introduces a characterization of hypergraphs where the chromatic number equals the maximum local edge connectivity plus one, based on containing certain critical blocks and families.

Findings

Hypergraphs with mbda(G)  or more satisfy (G) = ambda(G) + 1 if and only if they contain blocks from specific families.

The class _3 includes all odd wheels and is closed under Hajf3s joins.

For  , the family _k contains all complete graphs K_{k+1} and is closed under Hajf3s joins.

Abstract

For a hypergraph $G$, let $\chi(G), \Delta(G),$ and $\lambda(G)$ denote the chromatic number, the maximum degree, and the maximum local edge connectivity of $G$, respectively. A result of Rhys Price Jones from 1975 says that every connected hypergraph $G$ satisfies $\chi(G) \leq \Delta(G) + 1$ and equality holds if and only if $G$ is a complete graph, an odd cycle, or $G$ has just one (hyper-)edge. By a result of Bjarne Toft from 1970 it follows that every hypergraph $G$ satisfies $\chi(G) \leq \lambda(G) + 1$. In this paper, we show that a hypergraph $G$ with $\lambda(G) \geq 3$ satisfies $\chi(G) = \lambda(G) + 1$ if and only if $G$ contains a block which belongs to a family $\mathcal{H}_{\lambda(G)}$. The class $\mathcal{H}_3$ is the smallest family which contains all odd wheels and is closed under taking Haj\'os joins. For $k \geq 4$, the family $\mathcal{H}_k$ is the smallest that contains all complete graphs $K_{k+1}$ and is closed under Haj\'os joins. For the proofs of the above results we use critical hypergraphs. A hypergraph $G$ is called $(k+1)$-critical if $\chi(G)=k+1$, but $\chi(H)\leq k$ whenever $H$ is a proper subhypergraph of $G$. We give a characterization of $(k+1)$-critical hypergraphs having a separating edge set of size $k$ as well as a a characterization of $(k+1)$-critical hypergraphs having a separating vertex set of size $2$.