Hostname: page-component-74656f9884-8r8nv Total loading time: 0 Render date: 2026-11-10T09:13:56.394Z Has data issue: false hasContentIssue false

On the Independence Number of Steiner Systems

Published online by Cambridge University Press:  30 January 2013

ALEX EUSTIS
Affiliation:
Department of Mathematics, UCSD, 9500 Gilman Drive, La Jolla, CA 92093-0112, USA (e-mail: jbaverstraete@gmail.com)
JACQUES VERSTRAËTE
Affiliation:
Department of Mathematics, UCSD, 9500 Gilman Drive, La Jolla, CA 92093-0112, USA (e-mail: jbaverstraete@gmail.com)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

A partial Steiner (n,r,l)-system is an r-uniform hypergraph on n vertices in which every set of l vertices is contained in at most one edge. A partial Steiner (n,r,l)-system is complete if every set of l vertices is contained in exactly one edge. In a hypergraph , the independence number α() denotes the maximum size of a set of vertices in containing no edge. In this article we prove the following. Given integers r,l such that r ≥ 2l − 1 ≥ 3, we prove that there exists a partial Steiner (n,r,l)-system such that

$$\alpha(\HH) \lesssim \biggl(\frac{l-1}{r-1}(r)_l\biggr)^{\frac{1}{r-1}}n^{\frac{r-l}{r-1}} (\log n)^{\frac{1}{r-1}} \quad \mbox{ as }n \rightarrow \infty.$$
This improves earlier results of Phelps and Rödl, and Rödl and Ŝinajová. We conjecture that it is best possible as it matches the independence number of a random r-uniform hypergraph of the same density. If l = 2 or l = 3, then for infinitely many r the partial Steiner systems constructed are complete for infinitely many n.

Information

Type
Paper
Copyright
Copyright © Cambridge University Press 2013