2014
DOI: 10.48550/arxiv.1401.3665
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

The existence of designs

Abstract: We prove the existence conjecture for combinatorial designs, answering a question of Steiner from 1853. More generally, we show that the natural divisibility conditions are sufficient for clique decompositions of uniform hypergraphs that satisfy a certain pseudorandomness condition. As a further generalisation, we obtain the same conclusion only assuming an extendability property and the existence of a robust fractional clique decomposition.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

4
240
0
1

Year Published

2017
2017
2024
2024

Publication Types

Select...
5
3

Relationship

0
8

Authors

Journals

citations
Cited by 129 publications
(245 citation statements)
references
References 30 publications
4
240
0
1
Order By: Relevance
“…For functions f = f (n) and g = g(n), we write f = O(g) to mean that there is a constant C such that |f | ≤ C|g|, f = Ω(g) to mean that there is a constant c > 0 such that f (n) ≥ c|g(n)| for sufficiently large n, f = Θ(g) to mean that that f = O(g) and f = Ω(g), and f = o(g) to mean that f /g → 0 as n → ∞. Also, following [34], the notation…”
Section: Introductionmentioning
confidence: 99%
“…For functions f = f (n) and g = g(n), we write f = O(g) to mean that there is a constant C such that |f | ≤ C|g|, f = Ω(g) to mean that there is a constant c > 0 such that f (n) ≥ c|g(n)| for sufficiently large n, f = Θ(g) to mean that that f = O(g) and f = Ω(g), and f = o(g) to mean that f /g → 0 as n → ∞. Also, following [34], the notation…”
Section: Introductionmentioning
confidence: 99%
“…This is not the case in the toroidal problem. We wonder if the methods of randomized algebraic construction [10] or iterative absorption [8] might be more appropriate.…”
Section: Kmentioning
confidence: 99%
“…In recent years there have been several breakthroughs relating to the construction, enumeration, and analysis of designs. These include the Radhakrishnan entropy method [22], extended by Linial and Luria [15,16] to give upper bounds on the number of designs; the Rödl nibble [24] and random greedy algorithms [26], used to construct approximate designs; and completion methods, such as randomized algebraic constructions [10] and iterative absorption [8], used to complete approximate designs. We also mention the emerging limit theory of combinatorial designs [6,4] from which this paper draws inspiration.…”
Section: Introductionmentioning
confidence: 99%
“…Indeed, the problem of the existence of designs -one of the most fascinating questions of mathematics whose origins go back to the 19th century -can be phrased as a perfect (hyper)graph packing problem. This problem was solved only recently, first by Keevash [14], and independently by Glock, Lo, Kühn and Osthus [8].…”
Section: Introductionmentioning
confidence: 99%
“…For obtaining a corresponding exact result it remains to remove the Ω(n 2 ) term, which is hard. Indeed, this gap in difficulty between an approximate and an exact result is quite common in the area of packing and is best illustrated by the increase in difficulty needed to get from Rödl's proof [25] that approximate designs exist to the existence of designs [14,8]. Joos, Kim, Kühn and Osthus [12] proved that Ringel's conjecture holds exactly for large bounded degree trees.…”
Section: Introductionmentioning
confidence: 99%