25 research outputs found
A relative of Hadwiger's conjecture
Hadwiger's conjecture asserts that if a simple graph has no
minor, then its vertex set can be partitioned into stable sets. This
is still open, but we prove under the same hypotheses that can be
partitioned into sets , such that for , the
subgraph induced on has maximum degree at most a function of . This is
sharp, in that the conclusion becomes false if we ask for a partition into
sets with the same property.Comment: 6 page
Thresholds for Latin squares and Steiner triple systems: Bounds within a logarithmic factor
We prove that for and an absolute constant , if and is a random subset of where
each is included in independently with probability for
each , then asymptotically almost surely there is an order-
Latin square in which the entry in the th row and th column lies in
. The problem of determining the threshold probability for the
existence of an order- Latin square was raised independently by Johansson,
by Luria and Simkin, and by Casselgren and H{\"a}ggkvist; our result provides
an upper bound which is tight up to a factor of and strengthens the
bound recently obtained by Sah, Sawhney, and Simkin. We also prove analogous
results for Steiner triple systems and -factorizations of complete graphs,
and moreover, we show that each of these thresholds is at most the threshold
for the existence of a -factorization of a nearly complete regular bipartite
graph.Comment: 32 pages, 1 figure. Final version, to appear in Transactions of the
AM
A proof of the Erd\H{o}s-Faber-Lov\'asz conjecture
The Erd\H{o}s-Faber-Lov\'{a}sz conjecture (posed in 1972) states that the
chromatic index of any linear hypergraph on vertices is at most . In
this paper, we prove this conjecture for every large . We also provide
stability versions of this result, which confirm a prediction of Kahn.Comment: 39 pages, 2 figures; this version includes additional references and
makes two small corrections (definition of a useful pair in Section 5 and an
additional condition in the statement of Lemma 6.2
Perfect matchings in random sparsifications of Dirac hypergraphs
For all integers , let be the minimum
integer such that every -uniform -vertex hypergraph with minimum -degree at least has an optimal
matching. For every fixed integer , we show that for and , if is an -vertex
-uniform hypergraph with , then
a.a.s.\ its -random subhypergraph contains a perfect matching
( was determined by R\"{o}dl, Ruci\'nski, and Szemer\'edi for all
large ). Moreover, for every fixed integer and
, we show that the same conclusion holds if is an
-vertex -uniform hypergraph with . Both of these results strengthen Johansson, Kahn,
and Vu's seminal solution to Shamir's problem and can be viewed as "robust"
versions of hypergraph Dirac-type results. In addition, we also show that in
both cases above, has at least many perfect matchings, which is best possible up to a
factor.Comment: 25 pages + 2 page appendix; Theorem 1.5 was proved in independent
work of Pham, Sah, Sawhney, and Simkin (arxiv:2210.03064