Related papers: Characterizing 3-sets in Union-Closed Families

For an integer $d \geq 2$, a family $\mathcal{F}$ of sets is $\textit{$d$-wise intersecting}$ if for any distinct sets $A_1,A_2,\dots,A_d \in \mathcal{F}$, $A_1 \cap A_2 \cap \dots \cap A_d \neq \emptyset$, and $\textit{non-trivial}$ if…

Let $\mathcal F\subset 2^{[n]}$ be a family in which any three sets have non-empty intersection and any two sets have at least $38$ elements in common. The nearly best possible bound $|\mathcal F|\le 2^{n-2}$ is proved. We believe that $38$…

We show that the Union-Closed Conjecture holds for the union-closed family generated by the cyclic translates of any fixed set.

A pair of families $(\cF,\cG)$ is said to be \emph{cross-Sperner} if there exists no pair of sets $F \in \cF, G \in \cG$ with $F \subseteq G$ or $G \subseteq F$. There are two ways to measure the size of the pair $(\cF,\cG)$: with the sum…

In this paper, we show that, given two down-sets (simplicial complexes) there is a matching between them that matches disjoint sets and covers the smaller of the two down-sets. This result generalizes an unpublished result of Berge from…

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$…

Complements of union-closed families of sets, over a finite ground set, are known as simply rooted families of sets. Cubical sets are widely studied topological objects having applications in computational homology. In this paper, we look…

A family $\{A_{0},\ldots,A_{d}\}$ of $k$-element subsets of $[n]=\{1,2,\ldots,n\}$ is called a simplex-cluster if $A_{0}\cap\cdots\cap A_{d}=\varnothing$, $|A_{0}\cup\cdots\cup A_{d}|\le2k$, and the intersection of any $d$ of the sets in…

Given a poset $P$ we say a family $\mathcal{F}\subseteq P$ is centered if it is obtained by `taking sets as close to the middle layer as possible'. A poset $P$ is said to have the centeredness property if for any $M$, among all families of…

In a 1965 paper, R. Robinson made five conjectures about the classification of cyclotomic algebraic integers for which the maximum absolute value in any complex embedding (the house) is small, modulo the equivalence relation generated by…

For a family $\mathcal{F}$ of subsets of a finite set, define $\mathcal{D}(\mathcal{F})=\{F\setminus F': F, F'\in\mathcal{F}\}$. A family $\mathcal{F}$ is called intersecting if $F\cap F'\not=\emptyset$ for all $F, F'\in\mathcal{F}$. Frankl…

We show that the subgroup lattice of any finite group satisfies Frankl's Union-Closed Conjecture. We show the same for all lattices with a modular coatom, a family which includes all supersolvable and dually semimodular lattices. A common…

Given a finite $n$-element set $X$, a family of subsets ${\mathcal F}\subset 2^X$ is said to separate $X$ if any two elements of $X$ are separated by at least one member of $\mathcal F$. It is shown that if $|\mathcal F|>2^{n-1}$, then one…

We say that a family of $k$-subsets of an $n$-element set is intersecting if any two of its sets intersect. In this paper we study properties and structure of large intersecting families. We prove a conclusive version of Frankl's theorem on…

Let $\mathcal F\subset 2^{[n]}$ be an $s$-uniform family such that every two distinct sets have a nonempty intersection but intersect in at most $k$ elements. By the well-known Ray-Chaudhuri--Wilson theorem, since the intersections can take…

We call a family $\mathcal{F}$ $(3,2,\ell)$-intersecting if $|A \cap B|+|B \cap C|+|C \cap A| \geq \ell$ for all $A$, $B$, $C \in \mathcal{F}$. We try to look for the maximum size of such a family $\mathcal{F}$ in case when $\mathcal{F}…

For a family $\mathcal{F}$ of subsets of $\{1,2,\ldots,n\}$, let $\mathcal{D}(\mathcal{F}) = \{F\setminus G: F, G \in \mathcal{F}\}$ be the collection of all (setwise) differences of $\mathcal{F}$. The family $\mathcal{F}$ is called a…

A family X of sets is said to be intersecting if any two members of X have non-empty intersection. It is a well-known and simple fact that an intersecting family of subsets of [n]={1,2,...,n} can contain at most 2^(n-1) sets. Katona, Katona…

We give a short proof that Strassen's asymptotic rank conjecture implies that for every $\varepsilon > 0$ there exists a $(3/2^{2/3} + \varepsilon)^n$-time algorithm for set cover on a universe of size $n$ with sets of bounded size. This…

Let $\mathcal{F}_1$ and $\mathcal{F}_2$ be two families of subsets of an $n$-element set. We say that $\mathcal{F}_1$ and $\mathcal{F}_2$ are multiset-union-free if for any $A,B\in \mathcal{F}_1$ and $C,D\in \mathcal{F}_2$ the multisets…