The union-closed set conjecture is true

Roberto Demontis

2024-05-06

Abstract:We prove that the conjecture made by Peter Frankl in the late 1970s is true. In other words for every finite union-closed family which contains a non?empty set, there is an element that belongs to at least half of its m

Combinatorics

What problem does this paper attempt to address?

On the Union-Closed Set Conjecture

Sven Schäge

DOI: https://doi.org/10.48550/arXiv.1607.01007

2016-07-07

Abstract: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.

Combinatorics
A Study On The Graph Formulation Of Union Closed Conjecture

Nived J M

2024-09-04

Abstract:The Union Closed Conjecture, posed by Peter Frankl in 1979, is one of the most renowned problems in Combinatorics. Its appeal stems from the simplicity of its statement and the potential complexity of its solution. The conjecture asserts that in any union-closed family of sets, there exists an element that belongs to at least half of the sets in the family. This paper explores the graph-theoretic formulation of the conjecture and establishes connections between the set-based and graph-based formulations. Through this connection, we derive new results and provide proofs for specific classes of graphs. Additionally, by analyzing the distribution of pendant vertices within various graphs, we demonstrate the validity of the conjecture for a broader range of graph classes.

Combinatorics
Conjectures on union-closed families of sets

Christopher Bouchard

2024-09-24

Abstract:A family of sets $\mathcal{A}$ is union-closed if it is finite and nonempty with member sets that are all finite and distinct (at least one of which is nonempty) and it satisfies the property $X, Y \in \mathcal{A} \implies X \cup Y \in \mathcal{A}$. Let $\binom{S}{k}$ be the set of all $k$-element subsets of a set $S$, and let $[n]=\{1,2,\cdots,n\}$ represent $\bigcup_{A \in \mathcal{A}}A$. Further, let $\mathcal{A}_B=\{A\in\mathcal{A} \ | \ A \cap B = B\}$ and $\mathcal{A}_{\underline{B}}=\{A\in\mathcal{A} \ | \ A \cap B = \emptyset\}$. We consider, for any union-closed family $\mathcal{A}$, the class of conjectures $\textrm{UC}_x \colon \ \exists B \in \binom{[n]}{n-x+1} \ | \ |\mathcal{A}_B| \geq |\mathcal{A}_{\underline{B}}|$, where $x \in [n]$. The extremal case $x=n$ is equivalent to the union-closed sets conjecture, also known as Frankl's conjecture, which states that there exists an element of $[n]$ that is in at least $\frac{|\mathcal{A}|}{2}$ member sets of $\mathcal{A}$. We prove $\textrm{UC}_x$ for $x \in [\lceil \frac{n}{3} \rceil + 1]$, and also investigate two strengthenings of the union-closed sets conjecture.

Combinatorics
Proof of the Branner-Hubbard conjecture on Cantor Julia sets

WeiYuan Qiu,YongCheng Yin

DOI: https://doi.org/10.1007/s11425-008-0178-9

2008-01-01

Abstract:By means of a nested sequence of some critical pieces constructed by Kozlovski, Shen, and van Strien, and by using a covering lemma recently proved by Kahn and Lyubich, we prove that a component of the filled-in Julia set of any polynomial is a point if and only if its forward orbit contains no periodic critical components. It follows immediately that the Julia set of a polynomial is a Cantor set if and only if each critical component of the filled-in Julia set is aperiodic. This result was a conjecture raised by Branner and Hubbard in 1992.
Improved Lower Bound for Frankl's Union-Closed Sets Conjecture

Ryan Alweiss,Brice Huang,Mark Sellke

2024-07-08

Abstract:We verify an explicit inequality conjectured recently by Gilmer, thus proving that for any nonempty union-closed family $F \subseteq 2^{[n]}$, some $i\in [n]$ is contained in at least a $\frac{3-\sqrt{5}}{2} \approx 0.38$ fraction of the sets in $F$. One case, an explicit one-variable inequality, is checked by computer calculation.

Combinatorics
D S ] 2 A ug 2 00 6 Proof of the Branner-Hubbard conjecture on Cantor Julia sets Weiyuan

Qiu,Yongcheng Yin

2008-01-01

Abstract:By means of a nested sequence of some critical pieces constructed by Kozlovski, Shen, and van Strien, and by using a covering lemma recently proved by Kahn and Lyubich, we prove that the Julia set of a polynomial is a Cantor set if and only if each component of the filledin Julia set containing critical points is aperiodic. This result was a conjecture raised by Branner and Hubbard in 1992.
Local Configurations in Union-Closed Families

Jonad Pulaj Kenan Wood Department of Mathematics and Computer Science,Davidson College,Davidson,NC,USA

DOI: https://doi.org/10.1080/10586458.2024.2410964

2024-10-11

Experimental Mathematics

Abstract:The Frankl or Union-Closed Sets conjecture states that for any finite union-closed family of sets F containing some nonempty set, there is some element i in the ground set U(F):=∪S∈FS of F such that i is in at least half of the sets in F . In this work, we answer an older question of Vaughan regarding symmetry in union-closed families and we give a proof of a recent question posed by Ellis, Ivan and Leader. Additionally, we find new values and bounds for the least integer FC ( k , n ) such that any union-closed family containing FC ( k , n ) distinct k -sets of an n -set X satisfies Frankl's conjecture with an element of X . Finally, we introduce novel local configuration criteria through a generalization of Poonen's theorem to prove the conjecture for many, previously unknown classes of families.

mathematics
Further analysis on the second frequency of union-closed set families

Saintan Wu

2024-12-05

Abstract:The Union-Closed Sets Conjecture, also known as Frankl's conjecture, asks whether, for any union-closed set family $\mathcal{F}$ with $m$ sets, there is an element that lies in at least $\frac{1}{2}\cdot m$ sets in $\mathcal{F}$. In 2022, Nagel posed a stronger conjecture that within any union-closed family whose ground set size is at least $k$, there are always $k$ elements in the ground set that appear in at least $\frac{1}{2^{k-1}+1}$ proportion of the sets in the family. Das and Wu showed that this conjecture is true for $k\geq 3$ and $k=2$ if $|\mathcal{F}|$ is outside a particular range. In this companion paper, we analyse further when $\mathcal{F}$ fails Nagel's conjecture for $k=2$ via linear programming.

Combinatorics
Union Closed Tree Convex Sets

Tian Liu,Ke Xu

DOI: https://doi.org/10.1007/978-3-319-19647-3_19

2015-01-01

Abstract:We show that the union closed sets conjecture holds for tree convex sets. The union closed sets conjecture says that in every union closed set system, there is an element to appear in at least half of the members of the system. In tree convex set systems, there is a tree on the elements such that each subset induces a subtree. Our proof relies on the well known Helly property of hypertrees and an equivalent graph formulation of the union closed sets conjecture given in (Bruhn, H., Charbit, P. and Telle, J. A.: The graph formulation of the union-closed sets conjecture. Proc. of EuroComb 2013, 73-78 (2013)).
The Non-Cancelling Intersections Conjecture

Antoine Amarilli,Mikaël Monet,Dan Suciu

2024-01-29

Abstract:In this note, we present a conjecture on intersections of set families, and a rephrasing of the conjecture in terms of principal downsets of Boolean lattices. The conjecture informally states that, whenever we can express the measure of a union of sets in terms of the measure of some of their intersections using the inclusion-exclusion formula, then we can express the union as a set from these same intersections via the set operations of disjoint union and subset complement. We also present a partial result towards establishing the conjecture.

Combinatorics,Discrete Mathematics
Note on the union-closed sets conjecture and Reimer's average set size theorem

Kengbo Lu,Abigail Raz

2024-05-30

Abstract:The Union-Closed Sets Conjecture, often attributed to Péter Frankl in 1979, remains an open problem in discrete mathematics. It posits that for any finite family of sets $S\neq\{\emptyset\}$, if the union of any two sets in the family is also in the family, then $\underline{\text{there must exist an element that belongs to at least half of the member sets}}$. We will refer to the underlined text as the abundance condition. In 2001, David Reimer proved that the average set size of a union-closed family $S$ must be at least $\frac{1}{2}\log_{2}|S|$. When proving this result, he showed that a family being union-closed implies that the family satisfies certain conditions, which we will refer to as the Reimer's conditions. Therefore, as seen in the context of Tim Gowers' polymath project on the Union-Closed Sets Conjecture, it is natural to ask if all families that satisfy Reimer's conditions meet the abundance condition. A minimal counterexample to this question was offered by Raz in 2017. In this paper, we will discuss a general method to construct infinitely many such counterexamples with any fixed lower bound on the size of the member sets. Furthermore, we will discuss some properties related to these counterexamples, especially those focusing on how far these counterexamples are from being union-closed.

Combinatorics
Graph generated union-closed families of sets

Emanuel Knill

DOI: https://doi.org/10.48550/arXiv.math/9409215

1994-09-16

Abstract: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 union-closed sets conjecture is given. A proof of a strong version of the theorem on graph-generated families of sets is presented. This proof depends on an analysis of the local properties of F and an application of Kleitman's lemma. Much of the proof applies to arbitrary union-closed families and can be used to obtain bounds on |{U belongs to F | e belongs to U}|/|F|.

Combinatorics
Frequent elements in union-closed set families

Shagnik Das,Saintan Wu

2024-12-05

Abstract:The Union-Closed Sets Conjecture asks whether every union-closed set family $\mathcal{F}$ has an element contained in $\frac12 |\mathcal{F}|$ of its sets. In 2022, Nagel posed a generalisation of this problem, suggesting that the $k$th most popular element in a union-closed set family must be contained in at least $\frac{1}{2^{k-1} + 1} |\mathcal{F}|$ sets. We combine the entropic method of Gilmer with the combinatorial arguments of Knill to show that this is indeed the case for all $k \ge 3$, and when $k = 2$ and either $|\mathcal{F}| \le 44$ or $|\mathcal{F}| \ge 114$, and characterise the families that achieve equality. Furthermore, we show that when $|\mathcal{F}| \to \infty$, the $k$th most frequent element will appear in at least $\left( \frac{3 - \sqrt{5}}{2} - o(1) \right) |\mathcal{F}|$ sets, reflecting the recent progress made for the Union-Closed Set Conjecture.

Combinatorics
Formalizing Frankl's Conjecture: FC-families

Filip Marić,Miodrag Živković,Bojan Vučković

DOI: https://doi.org/10.48550/arXiv.1207.3604

2012-07-16

Abstract:The Frankl's conjecture, formulated in 1979. and still open, states that in every family of sets closed for unions there is an element contained in at least half of the sets. FC-families are families for which it is proved that every union-closed family containing them satisfies the Frankl's condition (e.g., in every union-closed family that contains a one-element set {a}, the element a is contained in at least half of the sets, so families of the form {a} are the simplest FC-families). FC-families play an important role in attacking the Frankl's conjecture, since they enable significant search space pruning. We present a formalization of the computer assisted approach for proving that a family is an FC-family. Proof-by-computation paradigm is used and the proof assistant Isabelle/HOL is used both to check mathematical content, and to perform (verified) combinatorial searches on which the proofs rely. FC-families known in the literature are confirmed, and a new FC-family is discovered.

Discrete Mathematics
A Note on the Union-closed Sets Conjecture

Mohammad Javad Moghaddas Mehr

2023-09-10

Abstract:Let $M$ be a non-zero binary matrix with distinct rows where the rows are closed under certain logical operators. In this article, we investigate the existence of columns containing an equal or greater number of ones than zeros. Specifically, the existence of such columns when the rows of the matrix are closed under $\textit{material conditional}$ leads us to a weaker version of the $\textit{Union-Closed Set Conjecture}$.

Combinatorics
Better bounds for the union-closed sets conjecture using the entropy approach

Stijn Cambie

DOI: https://doi.org/10.48550/arXiv.2212.12500

2022-12-23

Combinatorics

Abstract:We improve the best known constant $\frac{3-\sqrt 5}{2}$ for which the union-closed conjecture is known to be true, by using dependent samples as suggested by Sawin and the entropy approach on this problem initiated by Gilmer. Meanwhile, we focus on the intuition behind this entropy approach and its boundaries.
Symmetric Union Closed Families

Nived J M

2024-11-11

Abstract:We demonstrate that when a graph exhibits a specific type of symmetry, it satisfies the Union Closed Conjecture(UCC). Additionally, we show that certain graph classes, such as Cylindrical Grid Graphs and Torus Grid Graphs also satisfy the conjecture. We prove the known result that the union closed family generated by cyclic translates of a fixed set satisfies the UCC, offering a simpler proof via symmetry arguments. Later, we show that the union closed family generated by the family obtained through cyclically shifting elements from selected translates also satisfies the conjecture.

Combinatorics
On supratopologies, normalized families and Frankl conjecture

André Carvalho,António Machiavelo

2024-08-21

Abstract:We introduce some generalized topological concepts to deal with union-closed families, and show that one can reduce the proof of Frankl conjecture to some families of so-called supratopological spaces. We prove some results on the structure of normalized families, presenting a new way of reducing such a family to a smaller one using dual families. Applying our reduction method, we prove a refinement of a conjecture originally proposed by Poonen. Finally, we show that Frankl Conjecture holds for the class of families obtained from successively applying the reduction process to a power set.

Combinatorics
Restricted Sumsets and A Conjecture of Lev

Hao Pan,Zhi-Wei Sun

DOI: https://doi.org/10.1007/bf02773597

2006-01-01

Israel Journal of Mathematics

Abstract:LetA, B, S be finite subsets of an abelian groupG. Suppose that the restricted sumsetC={α+b: α ∈A, b ∈B, and α − b ∉S} is nonempty and somec∈C can be written asa+b witha∈A andb∈B in at mostm ways. We show that ifG is torsion-free or elementary abelian, then |C|≥|A|+|B|−|S|−m. We also prove that |C|≥|A|+|B|−2|S|−m if the torsion subgroup ofG is cyclic. In the caseS={0} this provides an advance on a conjecture of Lev.

The union-closed set conjecture is true

On the Union-Closed Set Conjecture

A Study On The Graph Formulation Of Union Closed Conjecture

Conjectures on union-closed families of sets

Proof of the Branner-Hubbard conjecture on Cantor Julia sets

Improved Lower Bound for Frankl's Union-Closed Sets Conjecture

D S ] 2 A ug 2 00 6 Proof of the Branner-Hubbard conjecture on Cantor Julia sets Weiyuan

Local Configurations in Union-Closed Families

Further analysis on the second frequency of union-closed set families

Union Closed Tree Convex Sets

The Non-Cancelling Intersections Conjecture

Note on the union-closed sets conjecture and Reimer's average set size theorem

Graph generated union-closed families of sets

Frequent elements in union-closed set families

Formalizing Frankl's Conjecture: FC-families

A Note on the Union-closed Sets Conjecture

Better bounds for the union-closed sets conjecture using the entropy approach

Symmetric Union Closed Families

On supratopologies, normalized families and Frankl conjecture

Restricted Sumsets and A Conjecture of Lev