Note on polychromatic coloring of hereditary hypergraph families II
This provides a complete family of examples for a combinatorial problem in hypergraph coloring, but the result is incremental, extending known constructions.
The authors construct, for every integer h ≥ 4, a (2h-1)-uniform hypergraph with no polychromatic 3-coloring, yet all its h-heavy restricted subhypergraphs are 2-colorable. This extends previous results for h=3 to all h ≥ 3, with existence proven probabilistically for h ≥ 9 and by exhaustive computer check for 4 ≤ h ≤ 8.
We extend a recent construction concerning polychromatic colorings of hereditary hypergraph families. For every integer $h\ge 4$ we construct a $(2h-1)$-uniform hypergraph which has no polychromatic $3$-coloring, but all of whose $h$-heavy restricted subhypergraphs are $2$-colorable. Together with the previously known case $h=3$, this gives examples with uniformity $2h-1$ for every $h\ge 3$. The construction is based on complements of suitable $h$-uniform hypergraphs on $3h-1$ vertices. For $h\ge 9$ we prove existence by a simple probabilistic argument; the remaining cases $4\le h\le 8$ are certified by a short exhaustive computer check, whose fully reproducible description and source code are included in the appendix.