Diamond-free Families

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):= \lim_{n\rightarrow\infty} La(n,P)/{n choose n/2}$ exists for general posets P, and, moreover, it is an integer. For $k\ge2$ let \D_k denote the $k$-diamond poset $\{A< B_1,...,B_k < C\}$. We study the average number of times a random full chain meets a $P$-free family, called the Lubell function, and use it for P=\D_k to determine \pi(\D_k) for infinitely many values $k$. A stubborn open problem is to show that \pi(\D_2)=2; here we make progress by proving \pi(\D_2)\le 2 3/11 (if it exists).Comment: 16 page

Poset-free Families and Lubell-boundedness

Given a finite poset $P$, we consider the largest size \lanp of a family \F of subsets of $[n]:=\{1,...,n\}$ that contains no subposet $P$. This continues the study of the asymptotic growth of \lanp; it has been conjectured that for all $P$, \pi(P):= \lim_{n\rightarrow\infty} \lanp/\nchn exists and equals a certain integer, $e(P)$. While this is known to be true for paths, and several more general families of posets, for the simple diamond poset \D_2, the existence of $\pi$ frustratingly remains open. Here we develop theory to show that $\pi(P)$ exists and equals the conjectured value $e(P)$ for many new posets $P$. We introduce a hierarchy of properties for posets, each of which implies $\pi=e$, and some implying more precise information about \lanp. The properties relate to the Lubell function of a family \F of subsets, which is the average number of times a random full chain meets \F. We present an array of examples and constructions that possess the properties

Induced and non-induced forbidden subposet problems

The problem of determining the maximum size $La(n,P)$ that a $P$-free subposet of the Boolean lattice $B_n$ can have, attracted the attention of many researchers, but little is known about the induced version of these problems. In this paper we determine the asymptotic behavior of $La^*(n,P)$, the maximum size that an induced $P$-free subposet of the Boolean lattice $B_n$ can have for the case when $P$ is the complete two-level poset $K_{r,t}$ or the complete multi-level poset $K_{r,s_1,\dots,s_j,t}$ when all $s_i$'s either equal 4 or are large enough and satisfy an extra condition. We also show lower and upper bounds for the non-induced problem in the case when $P$ is the complete three-level poset $K_{r,s,t}$. These bounds determine the asymptotics of $La(n,K_{r,s,t})$ for some values of $s$ independently of the values of $r$ and $t$

Ramsey numbers for partially-ordered sets

We present a refinement of Ramsey numbers by considering graphs with a partial ordering on their vertices. This is a natural extension of the ordered Ramsey numbers. We formalize situations in which we can use arbitrary families of partially-ordered sets to form host graphs for Ramsey problems. We explore connections to well studied Tur\'an-type problems in partially-ordered sets, particularly those in the Boolean lattice. We find a strong difference between Ramsey numbers on the Boolean lattice and ordered Ramsey numbers when the partial ordering on the graphs have large antichains.Comment: 18 pages, 3 figures, 1 tabl