English

A comment on Ryser's conjecture for intersecting hypergraphs

Combinatorics 2007-09-21 v1

Abstract

Let τ(H)\tau(\mathcal{H}) be the cover number and ν(H)\nu(\mathcal{H}) be the matching number of a hypergraph H\mathcal{H}. Ryser conjectured that every rr-partite hypergraph H\mathcal{H} satisfies the inequality τ(H)(r1)ν(H)\tau(\mathcal{H}) \leq (r-1) \nu (\mathcal{H}). This conjecture is open for all r4r \ge 4. For intersecting hypergraphs, namely those with ν(H)=1\nu(\mathcal{H})=1, Ryser's conjecture reduces to τ(H)r1\tau(\mathcal{H}) \leq r-1. Even this conjecture is extremely difficult and is open for all r6 r \ge 6. For infinitely many rr there are examples of intersecting rr-partite hypergraphs with τ(H)=r1\tau(\mathcal{H})=r-1, demonstrating the tightness of the conjecture for such rr. However, all previously known constructions are not optimal as they use far too many edges. How sparse can an intersecting rr-partite hypergraph be, given that its cover number is as large as possible, namely τ(H)r1\tau(\mathcal{H}) \ge r-1? In this paper we solve this question for r5r \le 5, give an almost optimal construction for r=6r=6, prove that any rr-partite intersecting hypergraph with τ(H)r1\tau(H) \ge r-1 must have at least (3118)r(1o(1))2.764r(1o(1))(3-\frac{1}{\sqrt{18}})r(1-o(1)) \approx 2.764r(1-o(1)) edges, and conjecture that there exist constructions with Θ(r)\Theta(r) edges.

Keywords

Cite

@article{arxiv.0709.3138,
  title  = {A comment on Ryser's conjecture for intersecting hypergraphs},
  author = {Toufik Mansour and Chunwei Song and Raphael Yuster},
  journal= {arXiv preprint arXiv:0709.3138},
  year   = {2007}
}

Comments

9 pages

R2 v1 2026-06-21T09:19:20.282Z