372 research outputs found
Improved bounds for the sunflower lemma
A sunflower with petals is a collection of sets so that the
intersection of each pair is equal to the intersection of all. Erd\H{o}s and
Rado proved the sunflower lemma: for any fixed , any family of sets of size
, with at least about sets, must contain a sunflower. The famous
sunflower conjecture is that the bound on the number of sets can be improved to
for some constant . In this paper, we improve the bound to about
. In fact, we prove the result for a robust notion of sunflowers,
for which the bound we obtain is tight up to lower order terms.Comment: Revised preprint, added sections on applications and rainbow
sunflower
Lifting with Sunflowers
Query-to-communication lifting theorems translate lower bounds on query complexity to lower bounds for the corresponding communication model. In this paper, we give a simplified proof of deterministic lifting (in both the tree-like and dag-like settings). Our proof uses elementary counting together with a novel connection to the sunflower lemma.
In addition to a simplified proof, our approach opens up a new avenue of attack towards proving lifting theorems with improved gadget size - one of the main challenges in the area. Focusing on one of the most widely used gadgets - the index gadget - existing lifting techniques are known to require at least a quadratic gadget size. Our new approach combined with robust sunflower lemmas allows us to reduce the gadget size to near linear. We conjecture that it can be further improved to polylogarithmic, similar to the known bounds for the corresponding robust sunflower lemmas
Optimal Bounds for the -cut Problem
In the -cut problem, we want to find the smallest set of edges whose
deletion breaks a given (multi)graph into connected components. Algorithms
of Karger & Stein and Thorup showed how to find such a minimum -cut in time
approximately . The best lower bounds come from conjectures about
the solvability of the -clique problem, and show that solving -cut is
likely to require time . Recent results of Gupta, Lee & Li have
given special-purpose algorithms that solve the problem in time , and ones that have better performance for special classes of graphs
(e.g., for small integer weights).
In this work, we resolve the problem for general graphs, by showing that the
Contraction Algorithm of Karger outputs any fixed -cut of weight with probability , where
denotes the minimum -cut size. This also gives an extremal bound of
on the number of minimum -cuts and an algorithm to compute a
minimum -cut in similar runtime. Both are tight up to lower-order factors,
with the algorithmic lower bound assuming hardness of max-weight -clique.
The first main ingredient in our result is a fine-grained analysis of how the
graph shrinks -- and how the average degree evolves -- in the Karger process.
The second ingredient is an extremal bound on the number of cuts of size less
than , using the Sunflower lemma.Comment: Final version of arXiv:1911.09165 with new and more general proof
DNF Sparsification and a Faster Deterministic Counting Algorithm
Given a DNF formula on n variables, the two natural size measures are the
number of terms or size s(f), and the maximum width of a term w(f). It is
folklore that short DNF formulas can be made narrow. We prove a converse,
showing that narrow formulas can be sparsified. More precisely, any width w DNF
irrespective of its size can be -approximated by a width DNF with
at most terms.
We combine our sparsification result with the work of Luby and Velikovic to
give a faster deterministic algorithm for approximately counting the number of
satisfying solutions to a DNF. Given a formula on n variables with poly(n)
terms, we give a deterministic time algorithm
that computes an additive approximation to the fraction of
satisfying assignments of f for \epsilon = 1/\poly(\log n). The previous best
result due to Luby and Velickovic from nearly two decades ago had a run-time of
.Comment: To appear in the IEEE Conference on Computational Complexity, 201
Lonely runners in function fields
The lonely runner conjecture, now over fifty years old, concerns the
following problem. On a unit length circular track, consider runners
starting at the same time and place, each runner having a different constant
speed. The conjecture asserts that each runner is lonely at some point in time,
meaning distance at least from the others. We formulate a function field
analogue, and give a positive answer in some cases in the new setting
Upper bounds for sunflower-free sets
A collection of sets is said to form a -sunflower, or -system,
if the intersection of any two sets from the collection is the same, and we
call a family of sets sunflower-free if it contains no
sunflowers. Following the recent breakthrough of Ellenberg and Gijswijt and
Croot, Lev and Pach we apply the polynomial method directly to
Erd\H{o}s-Szemer\'{e}di sunflower problem and prove that any sunflower-free
family of subsets of has size at most We say that
a set for is
sunflower-free if every distinct triple there exists a coordinate
where exactly two of are equal. Using a version of the
polynomial method with characters
instead of polynomials, we
show that any sunflower-free set has size
where . This can be
seen as making further progress on a possible approach to proving the
Erd\H{o}s-Rado sunflower conjecture, which by the work of Alon, Sphilka and
Umans is equivalent to proving that for some constant
independent of .Comment: 5 page
Equidistant Codes in the Grassmannian
Equidistant codes over vector spaces are considered. For -dimensional
subspaces over a large vector space the largest code is always a sunflower. We
present several simple constructions for such codes which might produce the
largest non-sunflower codes. A novel construction, based on the Pl\"{u}cker
embedding, for 1-intersecting codes of -dimensional subspaces over \F_q^n,
, where the code size is is
presented. Finally, we present a related construction which generates
equidistant constant rank codes with matrices of size
over \F_q, rank , and rank distance .Comment: 16 page
- β¦