Union-closed families of sets

Abstract3e use a lower bound on the number of small sets in an ideal to show that for each union-closed family of n sets there exists an element which belongs to at least of them, provided n is large enough

Lower bounds for identifying subset members with subset queries

An instance of a group testing problem is a set of objects \cO and an unknown subset $P$ of \cO. The task is to determine $P$ by using queries of the type ``does $P$ intersect $Q$'', where $Q$ is a subset of \cO. This problem occurs in areas such as fault detection, multiaccess communications, optimal search, blood testing and chromosome mapping. Consider the two stage algorithm for solving a group testing problem. In the first stage a predetermined set of queries are asked in parallel and in the second stage, $P$ is determined by testing individual objects. Let n=\cardof{\cO}. Suppose that $P$ is generated by independently adding each x\in \cO to $P$ with probability $p/n$. Let $q_1$ ($q_2$) be the number of queries asked in the first (second) stage of this algorithm. We show that if $q_1=o(\log(n)\log(n)/\log\log(n))$, then \Exp(q_2) = n^{1-o(1)}, while there exist algorithms with $q_1 = O(\log(n)\log(n)/\log\log(n))$ and \Exp(q_2) = o(1). The proof involves a relaxation technique which can be used with arbitrary distributions. The best previously known bound is q_1+\Exp(q_2) = \Omega(p\log(n)). For general group testing algorithms, our results imply that if the average number of queries over the course of $n^\gamma$ ($\gamma>0$) independent experiments is $O(n^{1-\epsilon})$, then with high probability $\Omega(\log(n)\log(n)/\log\log(n))$ non-singleton subsets are queried. This settles a conjecture of Bill Bruno and David Torney and has important consequences for the use of group testing in screening DNA libraries and other applications where it is more cost effective to use non-adaptive algorithms and/or too expensive to prepare a subset $Q$ for its first test.Comment: 9 page

A constant lower bound for the union-closed sets conjecture

We show that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}, \mathcal{F} \neq \{\emptyset\}$, there exists an $i \in [n]$ which is contained in a $0.01$ fraction of the sets in $\mathcal{F}$. This is the first known constant lower bound, and improves upon the $\Omega(\log_2(|\mathcal{F}|)^{-1})$ bounds of Knill and W\'{o}jick. Our result follows from an information theoretic strengthening of the conjecture. Specifically, we show that if $A, B$ are independent samples from a distribution over subsets of $[n]$ such that $Pr[i \in A] < 0.01$ for all $i$ and $H(A) > 0$, then $H(A \cup B) > H(A)$.Comment: 9 pages, 1 figure. (Update 11/28/22: Typos fixed, and added reference to follow up work improving the bound and refuting Conjecture 1.

An improved lower bound for the union-closed set conjecture

Gilmer has recently shown that in any nonempty union-closed family $\mathcal F$ of subsets of a finite set, there exists an element contained in at least a proportion $.01$ of the sets of $\mathcal F$. We improve the proportion from $.01$ to $\frac{ 3 -\sqrt{5}}{2} \approx .38$ in this result. An improvement to $\frac{1}{2}$ would be the Frankl union-closed set conjecture. We follow Gilmer's method, replacing one key estimate by a sharp estimate. We then suggest a new addition to this method and sketch a proof that it can obtain a constant strictly greater than $\frac{ 3 -\sqrt{5}}{2}$. We also disprove a conjecture of Gilmer that would have implied the union-closed set conjecture.Comment: 10 page