Ryser's conjecture

The matchings, the 3 sets of hyperedges colored blue, red, and yellow, are sets of edges such that each vertex appears in at most one of the edges in its set. The largest size of a matching in a hypergraph H is denoted by ${\displaystyle \nu (H)}$.

The transversals, the 3 sets of vertices colored light gray, gray, and dark gray, are sets of vertices such that each hyperedge contains at least one of the vertices in its set. The smallest size of a transversal in a hypergraph H is denoted by ${\displaystyle \tau (H)}$.

Ryser's conjecture states that for any r-uniform and r-partite hypergraph, ${\displaystyle \tau (H)\leq (r-1)\cdot \nu (H)}$. In the graph shown, which is 3-uniform and 3-partite, ${\displaystyle 3\leq (3-1)\cdot 3}$ evaluates to ${\displaystyle 3\leq 6}$, so the conjecture holds.

Unsolved problem in mathematics:

Conjecture:
${\displaystyle \tau (H)\leq (r-1)\cdot \nu (H)}$

(more unsolved problems in mathematics)

In graph theory, Ryser's conjecture is a conjecture relating the maximum matching size and the minimum transversal size in hypergraphs.

This conjecture first appeared in 1971 in the Ph.D. thesis of J. R. Henderson, whose advisor was Herbert John Ryser. ^[1]

Preliminaries

A matching in a hypergraph is a set of hyperedges such that each vertex appears in at most one of them. The largest size of a matching in a hypergraph H is denoted by ${\displaystyle \nu (H)}$.

A transversal (or vertex cover) in a hypergraph is a set of vertices such that each hyperedge contains at least one of them. The smallest size of a transversal in a hypergraph H is denoted by ${\displaystyle \tau (H)}$.

For every H, ${\displaystyle \nu (H)\leq \tau (H)}$, since every cover must contain at least one point from each edge in any matching.

If H is r-uniform (each hyperedge has exactly r vertices), then ${\displaystyle \tau (H)\leq r\cdot \nu (H)}$, since the union of the edges from any maximal matching is a set of at most rv vertices that meets every edge.

The conjecture

Ryser's conjecture is that, if H is not only r-uniform but also r-partite (i.e., its vertices can be partitioned into r sets so that every edge contains exactly one element of each set), then:

${\displaystyle \tau (H)\leq (r-1)\cdot \nu (H)}$

I.e., the multiplicative factor in the above inequality can be decreased by 1. ^[2]

Extremal hypergraphs

An extremal hypergraph to Ryser's conjecture is a hypergraph in which the conjecture holds with equality, i.e., ${\displaystyle \tau (H)=(r-1)\cdot \nu (H)}$. The existence of such hypergraphs show that the factor r-1 is the smallest possible.

An example of an extremal hypergraph is the truncated projective plane - the projective plane of order r-1 in which one vertex and all lines containing it is removed. ^[3] It is known to exist whenever r-1 is the power of a prime integer.

There are other families of such extremal hypergraphs. ^[4]

Special cases

In the case r=2, the hypergraph becomes a bipartite graph, and the conjecture becomes ${\displaystyle \tau (H)\leq \nu (H)}$. This is known to be true by Kőnig's theorem.

In the case r=3, the conjecture has been proved by Ron Aharoni. ^[5] The proof uses the Aharoni-Haxell theorem for matching in hypergraphs.

In the cases r=4 and r=5, the following weaker version has been proved by Penny Haxell and Scott: ^[6] there exists some ε > 0 such that

${\displaystyle \tau (H)\leq (r-\varepsilon )\cdot \nu (H)}$.

Moreover, in the cases r=4 and r=5, Ryser's conjecture has been proved by Tuza (1978) in the special case ${\displaystyle \nu (H)=1}$, i.e.:

${\displaystyle \nu (H)=1\implies \tau (H)\leq r-1}$.

Fractional variants

A fractional matching in a hypergraph is an assignment of a weight to each hyperedge such that the sum of weights near each vertex is at most one. The largest size of a fractional matching in a hypergraph H is denoted by ${\displaystyle \nu ^{*}(H)}$.

A fractional transversal in a hypergraph is an assignment of a weight to each vertex such that the sum of weights in each hyperedge is at least one. The smallest size of a fractional transversal in a hypergraph H is denoted by ${\displaystyle \tau ^{*}(H)}$. Linear programming duality implies that ${\displaystyle \nu ^{*}(H)=\tau ^{*}(H)}$.

Furedi has proved the following fractional version of Ryser's conjecture: If H is r-partite and r-regular (each vertex appears in exactly r hyperedges), then ^[7]

${\displaystyle \tau ^{*}(H)\leq (r-1)\cdot \nu (H)}$.

Lovasz has shown that ^[8]

${\displaystyle \tau (H)\leq {\frac {r}{2}}\cdot \nu ^{*}(H)}$.

References

1. Lin, Bo (2014). "Introduction to Ryser's Conjecture" (PDF).
2. "Ryser's conjecture | Open Problem Garden". www.openproblemgarden.org. Retrieved 2020-07-14.
3. Tuza (1983). "Ryser's conjecture on transversals of r-partite hypergraphs". Ars Combinatorica.
4. Abu-Khazneh, Ahmad; Barát, János; Pokrovskiy, Alexey; Szabó, Tibor (2018-07-12). "A family of extremal hypergraphs for Ryser's conjecture". arXiv: 1605.06361 [math.CO].
5. Aharoni, Ron (2001-01-01). "Ryser's Conjecture for Tripartite 3-Graphs". Combinatorica. 21 (1): 1–4. doi:10.1007/s004930170001. ISSN   0209-9683. S2CID   13307018.
6. Haxell, P. E.; Scott, A. D. (2012-01-21). "On Ryser's conjecture". The Electronic Journal of Combinatorics. 19 (1). doi: 10.37236/1175 . ISSN   1077-8926.
7. Füredi, Zoltán (1981-06-01). "Maximum degree and fractional matchings in uniform hypergraphs". Combinatorica. 1 (2): 155–162. CiteSeerX   10.1.1.115.2493 . doi:10.1007/bf02579271. ISSN   0209-9683. S2CID   10530732.
8. Lovász, L. (1974), "Minimax theorems for hypergraphs", Hypergraph Seminar, Lecture Notes in Mathematics, vol. 411, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 111–126, doi:10.1007/bfb0066186, ISBN   978-3-540-06846-4