Hadwiger's conjecture is a famous unsolved problem in graph theory from 1943. It proposes a deep connection between two properties of a graph: its chromatic number (the minimum number of colors needed to color its vertices so that no two adjacent vertices share a color) and its largest complete minor (roughly, the largest complete graph that can be "squeezed out" of it by contracting edges and deleting vertices). The conjecture says that if a graph needs at least k colors, it must contain a complete graph on k vertices as a minor. Despite being verified for small values of k, it remains open in general and is considered one of the hardest problems in combinatorics.
The paper shifts attention to a slightly weaker version of the conjecture, which is actually known to be true for infinite graphs. For infinite graphs, the conjecture as originally stated fails, but a modified version holds: a graph that cannot be colored with fewer than k colors must still contain a sufficiently large complete minor in a weakened sense. This softer version remains unproven for finite graphs, making it an interesting target in its own right.
The authors extend this weaker version to hypergraphs, which are generalizations of ordinary graphs where edges can connect more than two vertices at once. They reformulate the conjecture in a clean, purely set-theoretic language that applies uniformly to both graphs and hypergraphs, finite and infinite alike. This unified framework makes the problem more tractable and conceptually cleaner, potentially opening new avenues for tackling versions of Hadwiger's conjecture in broader combinatorial settings.