Related papers: The Saturation Number for the Diamond is Linear
For a given fixed poset $\mathcal P$ we say that a family of subsets of $[n]$ is $\mathcal P$-saturated if it does not contain an induced copy of $\mathcal P$, but whenever we add to it a new set, an induced copy of $\mathcal P$ is formed.…
Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced…
Given a finite poset $\mathcal{P}$, a family $\mathcal{F}$ of elements in the Boolean lattice is induced-$\mathcal{P}$-saturated if $\mathcal{F}$ contains no copy of $\mathcal{P}$ as an induced subposet but every proper superset of…
What is the smallest size of a family of subsets of $[n]$ such that it does not contain an induced copy of $Q_2$ as a poset (known as the \textit{diamond}), but adding a new set creates such a copy? It is easy to see that a maximal chain…
Given a finite poset $\mathcal P$, how small can a family $\mathcal F$ of subsets of $[n]$ be such that $\mathcal F$ does not contain an induced copy of $\mathcal P$, but $\mathcal F\cup\{X\}$ contains such a copy for all $X\in\mathcal…
Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced…
Given a poset $\mathcal{P}$, a family $\mathcal{F}$ of elements in the Boolean lattice is said to be $\mathcal{P}$-saturated if $\mathcal{F}$ does not contain an induced copy $\mathcal P$, but every proper superset of $\mathcal{F}$ contains…
Given a poset $P$, a family $F$ of elements in the Boolean lattice is said to be $P$-saturated if (1) $F$ contains no copy of $P$ as a subposet and (2) every proper superset of $F$ contains a copy of $P$ as a subposet. The maximum size of a…
For a fixed poset $P$, a family $\mathcal F$ of subsets of $[n]$ is induced $P$-saturated if $\mathcal F$ does not contain an induced copy of $P$, but for every subset $S$ of $[n]$ such that $ S\not \in \mathcal F$, $P$ is an induced…
Given a finite poset $\mathcal P$, we call a family $\mathcal F$ of subsets of $[n]$ $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy…
A family $\mathcal{G}$ of sets is a(n induced) copy of a poset $P=(P,\leqslant)$ if there exists a bijection $b:P\rightarrow \mathcal{G}$ such that $p\leqslant q$ holds if and only if $b(p)\subseteq b(q)$. The induced saturation number…
Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced…
For a given positive integer $k$ we say that a family of subsets of $[n]$ is $k$-antichain saturated if it does not contain $k$ pairwise incomparable sets, but whenever we add to it a new set, we do find $k$ such sets. The size of the…
Let $La(n,P)$ be the maximum size of a family of subsets of $[n]=\{1,2,...,n\}$ not containing $P$ as a (weak) subposet. The diamond poset, denoted $B_{2}$, is defined on four elements $x,y,z,w$ with the relations $x<y,z$ and $y,z<w$.…
We introduce two variants of the poset saturation problem. For a poset $P$ and the Boolean lattice $\mathcal{B}_n$, a family $\mathcal{F}$ of sets, not necessarily from $\mathcal{B}_n$, is \textit{projective $P$-saturated} if (i) it does…
Given a finite poset P, we consider the largest size La(n,P) of a family of subsets of $[n]:=\{1,...,n\}$ that contains no subposet P. This problem has been studied intensively in recent years, and it is conjectured that $\pi(P):=…
The saturation number $\text{sat}(n,\mathcal{F})$ is the minimum number of edges in any graph which does not contain a member of $\mathcal{F}$ as a subgraph, but will if any edge is added. We give a few upper and lower bounds for saturation…
Let $G$ be a graph and $\mathcal{F}$ be a family of graphs. We say a graph $G$ is $\mathcal{F}$-saturated if $G$ does not contain any member in $\mathcal{F}$ and for any $e\in E(\overline{G})$, $G+e$ creates a copy of some member in $…
In the theory of partially-ordered sets, the two-dimensional Boolean lattice is known as the diamond. In this paper, we show that, if $\mathcal{F}$ is a family in the $n$-dimensional Boolean lattice that has no diamond as a subposet, then…
Given a set $X$, the power set $\mathbb{P}(X)$, and a finite poset $P$, a family $F\subset \mathbb{P}(X)$ is said to be induced-$P$-free if there is no injection $\phi: P\rightarrow \mathbb{F}$ such that $\phi(p)\subseteq\phi(q)$ if and…