Borg's strong form for extremal cross-intersecting levels
Borg's strong form for extremal cross-intersecting levels
Let be a hereditary family, with and its th and th levels. For cross-intersecting subfamilies, let denote the pairs maximizing the sum of their sizes. A family is trivial -intersecting if all its members contain a common element. Borg's weak form. If and
then for some , is a trivial -intersecting family. The source reports that this weak form is disproved by Borg's result, which gives counterexamples for and suitable hereditary families.
Sources & referencesView supporting material
Primary source
Peter Borg, “Cross-intersecting non-empty uniform subfamilies of hereditary families”, arXiv:1806.01093 (2018).
Additional references
2 papers in this index state this conjecture (2011–2018). The statement above is taken from the most recent of them; the others are arXiv:1106.6144.
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.