We provide a proof of the union-closed sets conjecture, by means of a suitable refinement of the breakthrough entropy-approach introduced by Gilmer. The novelty here is to consider a convex combination of $A$ and $A\cup B$, where $A,B$ are independent samples from the uniform distribution over a union-closed family.
We prove that the union-closed sets conjecture is true for separating union-closed families $\mathcal{A}$ with $|\mathcal{A}| \leq 2\left(m+\frac{m}{\log_2(m)-\log_2\log_2(m)}\right)$ where $m$ denotes the number of elements in $\mathcal{A}$.
In a recent breakthrough, Gilmer proved the union closed conjecture up to a constant factor. Using Gilmer's method and additional ideas, Chase and Lovett proved an optimal result for almost union-closed set systems. Here that result is extended to higher order unions.
For each given union-closed family F of n elements and m sets, we discuss the union-closed sets conjecture from height number of the UC family, which is a natural parameter from lattice theory. In this paper, we call it height number of F(n, m), recorded as H(F). we prove that for any given union-closed family F, union-closed sets conjecture holds if its height number H(F) no more than 3 or no less than n-1. Since the height number H(F) is a positive integer which is bounded between 1 to n. As an attempted approach and framework, if we can prove union-closed sets conjecture holds for all possi…
A set system is called union closed if for any two sets in the set system their union is also in the set system. Gilmer recently proved that in any union closed set system some element belongs to at least a $0.01$ fraction of sets, and conjectured that his technique can be pushed to the constant $\frac{3-\sqrt{5}}{2}$. We verify his conjecture; show that it extends to approximate union closed set systems, where for nearly all pairs of sets their union belong to the set system; and show that for such set systems this bound is optimal.
We show that the biggest possible average set size in the complement $2^{\{1,2,\ldots, n\}} \setminus A$ of a union-closed family $A \subset 2^{\{1,2, \ldots, n\}}$ is $\tfrac{n+1}{2}$. With the same proof we get a sharp upper bound for the average frequency in complements of union-closed families. This implies an asymptotic version of the union-closed sets conjecture, formulated in terms of complements of union-closed families.
The union-closed sets conjecture (Frankl's conjecture) says that for any finite union-closed family of finite sets, other than the family consisting only of the empty set, there exists an element that belongs to at least half of the sets in the family. In this paper, we introduce two stronger versions of Frankl's conjecture and give a partial proof. Three related questions are introduced.
We provide a simple proof for the union-closed sets conjecture, a long-standing open problem in set theory with immediate applications to graph theory, number theory, and order-theory.
The union-closed sets conjecture states that if a family of sets $\mathcal{A} \neq \{\emptyset\}$ is union-closed, then there is an element which belongs to at least half the sets in $\mathcal{A}$. In 2001, D. Reimer showed that the average set size of a union-closed family, $\mathcal{A}$, is at least $\frac{1}{2} \log_2 |\mathcal{A}|$. In order to do so, he showed that all union-closed families satisfy a particular condition, which in turn implies the preceding bound. Here, answering a question raised in the context of T. Gowers' polymath project on the union-closed sets conjecture, we show t…
Frankl's union-closed sets conjecture states that in every finite union-closed set of sets, there is an element that is contained in at least half of the member-sets (provided there are at least two members). The conjecture has an equivalent formulation in terms of graphs: In every bipartite graph with least one edge, both colour classes contain a vertex belonging to at most half of the maximal stable sets. We prove that, for every fixed edge-probability, almost every random bipartite graph almost satisfies Frankl's conjecture.
In this article we will describe an algorithm to constructively enumerate non-isomorphic Union closed Sets and Moore sets. We confirm the number of isomorphism classes of Union closed Sets and Moore sets on n<=6 elements presented by other authors and give the number of isomorphism classes of Union closed Sets and Moore sets on 7 elements. Due to the enormous growth of the number of isomorphism classes it seems unlikely that constructive enumeration for 8 or more elements will be possible in the foreseeable future.
Our aim in this note is to show that, for any $ε>0$, there exists a union-closed family $\mathcal F$ with (unique) smallest set $S$ such that no element of $S$ belongs to more than a fraction $ε$ of the sets in $\mathcal F$. More precisely, we give an example of a union-closed family with smallest set of size $k$ such that no element of this set belongs to more than a fraction $(1+o(1))\frac{\log_2 k}{2k}$ of the sets in $\mathcal F$. We also give explicit examples of union-closed families containing `small' sets for which we have been unable to verify the Union-Closed Conjecture.
In this very short paper, we point out that the average overlap density of a union-closed family $\mathcal{F}$ of subsets of $\{1,2,\ldots,n\}$ may be as small as $Θ((\log \log |\mathcal{F}|)/(\log |\mathcal{F}|))$, for infinitely many positive integers $n$.
A family of sets is called union-closed if whenever $A$ and $B$ are sets of the family, so is $A\cup B$. The long-standing union-closed conjecture states that if a family of subsets of $[n]$ is union-closed, some element appears in at least half the sets of the family. A natural weakening is that the union-closed conjecture holds for large families; that is, families consisting of at least $p_02^n$ sets for some constant $p_0$. The first result in this direction appears in a recent paper of Balla, Bollobás and Eccles \cite{BaBoEc}, who showed that union-closed families of at least $\frac{2}{3}…
A finite family $\mathrsfs{F}$ of subsets of a finite set $X$ is union-closed whenever $f,g\in\mathrsfs{F}$ implies $f\cup g\in\mathrsfs{F}$. These families are well known because of Frankl's conjecture. In this paper we developed further the connection between union-closed families and upward-closed families started in Reimer (2003) using rising operators. With these techniques we are able to obtain tight lower bounds to the average of the length of the elements of $\mathrsfs{F}$ and to prove that the number of joint-irreducible elements of $\mathrsfs{F}$ can not exceed $2{n\choose \lfloor n/…
In 1979 Frankl conjectured that in a finite non-trivial union-closed collection of sets there has to be an element that belongs to at least half the sets. We show that this is equivalent to the conjecture that in a finite non-trivial graph there are two adjacent vertices each belonging to at most half of the maximal stable sets. In this graph formulation other special cases become natural. The conjecture is trivially true for non-bipartite graphs and we show that it holds also for the classes of chordal bipartite graphs, subcubic bipartite graphs, bipartite series-parallel graphs and bipartiti…
We show that there is some absolute constant $c>0$, such that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}$, if \mbox{$|\mathcal{F}| \geq (\frac{1}{2}-c)2^n$}, then there is some element $i \in [n]$ that appears in at least half of the sets of $\mathcal{F}$. We also show that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}$, the number of sets which are not in $\mathcal{F}$ that cover a set in $\mathcal{F}$ is at most $2^{n-1}$, and provide examples where the inequality is tight.
Let G be a graph with vertices V and edges E. Let F be the union-closed family of sets generated by E. Then F is the family of subsets of V without isolated points. Theorem: There is an edge e belongs to E such that |{U belongs to F | e belongs to U}| =< 1/2|F|. This is equivalent to the following assertion: If H is a union-closed family generated by a family of sets of maximum degree two, then there is an $x$ such that |{U belongs to H | x belongs to U}| > 1/2|H|. This is a special case of the union-closed sets conjecture. To put this result in perspective, a brief overview of research on the…
Given a union-closed family $\mathcal{F}$ of subsets of the universe $[n]$, with $\mathcal{F}$ not equal to the power set of $[n]$, a new subset $A$ can be added to it such that the resulting family remains union-closed. We construct a new family $\overline{\mathcal{F}}$ by adding to $\mathcal{F}$ all such $A$'s, and call this the closure of $\mathcal F$. This paper is dedicated to the study of various properties of such closures, including characterizing families whose closures equal the power set of $[n]$, providing a criterion for the existence of closure roots of such families etc.
A 3-graph $\mathcal{F}$ is \emph{$U(s, 2s+1)$} if for any $s$ edges $e_1,...,e_s\in E(\mathcal{F})$, $|e_1\cup...\cup e_s|\leq 2s+1$. Frankl and Kupavskii (2020) proposed the following conjecture: For any $3$-graph $\mathcal{F}$ with $n$ vertices, if $\mathcal{F}$ is $U(s, 2s+1)$, then $$e(\mathcal{F})\leq \max\left\{{n-1\choose 2}, (n-s-1){s+1\choose 2}+{s+1\choose 3}, {2s+1\choose 3}\right\}.$$ In this paper, we confirm Frankl and Kupavskii's conjecture.
Let F be a finite union-closed family of sets whose largest set contains n elements. In \cite{Wojcik92}, Wojcik defined the density of F to be the ratio of the average set size of F to n and conjectured that the minimum density over all union-closed families whose largest set contains n elements is (1 + o(1))\log_2(n)/(2n) as n approaches infinity. We use a result of Reimer \cite{Reimer03} to show that the density of F is always at least log_2(n)/(2n), verifying Wojcik's conjecture. As a corollary we show that for n \geq 16, some element must appear in at least \sqrt{(\log_2(n))/n}(|F|/2) sets…
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 $Ω(\log_2(|\mathcal{F}|)^{-1})$ bounds of Knill and Wó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)…
The following conjecture was proposed in 2010 by S. Lando. Let M and N be two unions of the same number of disjoint circles in a sphere. Then there exist two spheres in 3-space whose intersection is transversal and is a union of disjoint circles that is situated as M in one sphere and as N in the other . Define union A of disjoint circles to be situated in one sphere as union B of disjoint circles in the other sphere if there is a homeomorphism between these two spheres which maps A to B. In this paper we prove that there exists pair of sets of 7 circles in sphere, that is a counterexample to …
A graceful difference labeling (gdl for short) of a directed graph G with vertex set V is a bijection f between V and {1,...,|V|} such that, when each arc uv is assigned the difference label f(v)-f(u), the resulting arc labels are distinct. We conjecture that all disjoint unions of circuits have a gdl, except in two particular cases. We prove partial results which support this conjecture.
Kuratowski proved that a finite graph embeds in the plane if it does not contain a subdivision of either K_5 or K_{3,3}, called Kuratowski subgraphs. A conjectured generalization of this result to all nonorientable surfaces says that a finite minimal forbidden subgraph for the nonorientable surface of genus g can be written as the union of g+1 Kuratowski subgraphs such that the union of each pair of these fails to embed in the projective plane, the union of each triple of these fails to embed in the Klein bottle if g >= 2, and the union of each triple of these fails to embed in the torus if g …
Borodin & Kostochka conjectured that if maximum degree of a graph is greater than or equal to 9, then the chromatic number of the graph is less than or equal to maximum of ω and maximum degree minus 1. Here we prove that this Conjecture is true for {P3 UNION K1}-free graphs and {K2 UNION complement of K2}-free graphs.
The Frankl conjecture, also known as the union-closed sets conjecture, states that in any finite non-empty union-closed family, there exists an element in at least half of the sets. Let $f(n,a)$ be the maximum number of sets in a union-closed family on a ground set of $n$ elements where each element is in at most $a$ sets for some $a,n\in \mathbb{N}^+$. Proving that $f(n,a)\leq 2a$ for all $a, n \in \mathbb{N}^+$ is equivalent to proving the Frankl conjecture. By considering the linear relaxation of the integer programming formulation that was proposed in New Conjectures for Union-Closed Famil…
Resolving Erdős-Ulam Monochromatic Union-Closed Family Conjectures
Electro-Gravitational Space Propulsion Laboratory (EGSPL)(电引力空间推进实验室);Maulana Azad National Institute of Technology Bhopal(莫拉纳·阿扎德国家技术学院博帕尔分校);National Taiwan University(国立台湾大学)
Let Omega be a finite set and let S be a set system on Omega. For x in Omega, we denote by d_{S}(x) the number of members of S containing x. A long-standing conjecture of Frankl states that if S is union-closed then d(x) \geq |S|/2 for some x in Omega. We consider a related question. Define the weight of S to be w(S)= \sum_{A in S} |A|. Suppose S is union-closed. How small can w(S) be? Reimer showed that w(S) \geq |S| \log_{2} |S| /2, and that this inequality is sharp. In this paper we show how his bound may be improved if we have some additional information about the domain Omega of S: if S s…
The Frankl conjecture, also known as the union-closed sets conjecture, states that in any finite non-empty union-closed family, there exists an element in at least half of the sets. From an optimization point of view, one could instead prove that $2a$ is an upper bound to the number of sets in a union-closed family on a ground set of $n$ elements where each element is in at most $a$ sets for all $a,n\in \mathbb{N}^+$. Similarly, one could prove that the minimum number of sets containing the most frequent element in a (non-empty) union-closed family with $m$ sets and $n$ elements is at least $\…
A family of sets is union-free if there are no three distinct sets in the family such that the union of two of the sets is equal to the third set. Kleitman proved that every union-free family has size at most $(1+o(1))\binom{n}{n/2}$. Later, Burosch--Demetrovics-Katona-Kleitman-Sapozhenko asked for the number $α(n)$ of such families, and they proved that $2^{\binom{n}{n/2}}\leq α(n) \leq 2^{2\sqrt{2}\binom{n}{n/2}(1+o(1))}$. They conjectured that the constant $2\sqrt{2}$ can be removed in the exponent of the right hand side. We prove their conjecture by formulating a new container-type theorem…
If X is an n-element set, we call a family G of subsets of X a k-generator for X if every subset of X can be expressed as a union of at most k disjoint sets in G. Frein, Leveque and Sebo conjectured that for n > 2k, the smallest k-generators for X are obtained by taking a partition of X into classes of sizes as equal as possible, and taking the union of the power-sets of the classes. We prove this conjecture for all sufficiently large n when k = 2, and for n a sufficiently large multiple of k when k > 2.