Sperner type theorems with excluded subposets

Let F be a family of subsets of an n-element set. Sperner's theorem says that if there is no inclusion among the members of F then the largest family under this condition is the one containing all ⌊ frac(n, 2) ⌋-element subsets. The present paper surveys certain generalizations of this theorem. The maximum size of F is to be found under the condition that a certain configuration is excluded. The configuration here is always described by inclusions. More formally, let P be a poset. The maximum size of a family F which does not contain P as a (not-necessarily induced) subposet is denoted by La (n, P). The paper is based on a lecture of the author at the Jubilee Conference on Discrete Mathematics [Banasthali University, January 11-13, 2009], but it was somewhat updated in December 2010. © 2011 Elsevier B.V. All rights reserved

Forbidden subposet problems in the grid

For posets $P$ and $Q$, extremal and saturation problems about weak and strong $P$-free subposets of $Q$ have been studied mostly in the case $Q$ is the Boolean poset $Q_n$, the poset of all subsets of an $n$-element set ordered by inclusion. In this paper, we study some instances of the problem with $Q$ being the grid, and its connections to the Boolean case and to the forbidden submatrix problem

Poset Ramsey number R(P,Qn)R(P,Q_n). III. N-shaped poset

Given partially ordered sets (posets) $(P, \leq_P)$ and $(P', \leq_{P'})$, we say that $P'$ contains a copy of $P$ if for some injective function $f\colon P\rightarrow P'$ and for any $A, B\in P$, $A\leq _P B$ if and only if $f(A)\leq_{P'} f(B)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the least positive integer $N$ such that no matter how the elements of an $N$-dimensional Boolean lattice are colored in blue and red, there is either a copy of $P$ with all blue elements or a copy of $Q$ with all red elements. We focus on the poset Ramsey number $R(P, Q_n)$ for a fixed poset $P$ and an $n$-dimensional Boolean lattice $Q_n$, as $n$ grows large. It is known that $n+c_1(P) \leq R(P,Q_n) \leq c_2(P) n$, for positive constants $c_1$ and $c_2$. However, there is no poset $P$ known, for which $R(P, Q_n)> (1+\epsilon)n$, for $\epsilon >0$. This paper is devoted to a new method for finding upper bounds on $R(P, Q_n)$ using a duality between copies of $Q_n$ and sets of elements that cover them, referred to as blockers. We prove several properties of blockers and their direct relation to the Ramsey numbers. Using these properties we show that $R(\mathcal{N},Q_n)=n+\Theta(n/\log n)$, for a poset $\mathcal{N}$ with four elements $A, B, C,$ and $D$, such that $A<C$, $B<D$, $B<C$, and the remaining pairs of elements are incomparable.Comment: 19 pages, 6 figure