Forbidden subposet problems for traces of set families

TL;DR

This paper explores the maximum size of set families avoiding certain poset configurations in their traces, introducing new concepts and solving specific cases like the butterfly poset and complete bipartite posets.

Contribution

It introduces the notions of trace $P$-free families and determines maximum sizes for specific posets, advancing the understanding of forbidden subposet problems in set families.

Findings

Maximum size of trace butterfly-poset-free families determined

Asymptotics for $(n-i)$-trace $K_{r,s}$-free families established for $i=1,2$

Proposes a generalization of the main conjecture in forbidden subposet problems.

Abstract

In this paper we introduce a problem that bridges forbidden subposet and forbidden subconfiguration problems. The sets $F_1,F_2, \dots,F_{|P|}$ form a copy of a poset $P$, if there exists a bijection $i:P\rightarrow \{F_1,F_2, \dots,F_{|P|}\}$ such that for any $p,p'\in P$ the relation $p<_P p'$ implies $i(p)\subsetneq i(p')$. A family $\mathcal{F}$ of sets is \textit{$P$-free} if it does not contain any copy of $P$. The trace of a family $\mathcal{F}$ on a set $X$ is $\mathcal{F}|_X:=\{F\cap X: F\in \mathcal{F}\}$. We introduce the following notions: $\mathcal{F}\subseteq 2^{[n]}$ is $l$-trace $P$-free if for any $l$-subset $L\subseteq [n]$, the family $\mathcal{F}|_L$ is $P$-free and $\mathcal{F}$ is trace $P$-free if it is $l$-trace $P$-free for all $l\le n$. As the first instances of these problems we determine the maximum size of trace $B$-free families, where $B$ is the butterfly poset on four elements $a,b,c,d$ with $a,b<c,d$ and determine the asymptotics of the maximum size of $(n-i)$-trace $K_{r,s}$-free families for $i=1,2$. We also propose a generalization of the main conjecture of the area of forbidden subposet problems.

Equations

$$\left|\left(\genfrac{}{}{0ex}{}{[n]}{\le \lfloor n/2-n^{2/3}\rfloor }\right)\cup \left(\genfrac{}{}{0ex}{}{[n]}{\ge \lfloor n/2+n^{2/3}\rfloor }\right)\right|=o\left(\frac{1}{n}\left(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor }\right)\right).$$

$$La(n,P_{k+1})=\sum _{i=1}^k\left(\genfrac{}{}{0ex}{}{n}{\lfloor \frac{n-k}{2}\rfloor +i}\right),$$

$$La(n,P)\le (|P|-1)\left(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor }\right).$$

$$\underset{n\to \infty }{\lim }\frac{La(n,P)}{\left(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor }\right)},$$

$$La(n,T)=(h(T)-1+o(1))\left(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor }\right).$$

$$F{|}_X:=F\cap X,$$

$$\mathcal{F}{|}_X:=\{F{|}_X:F\in \mathcal{F}\}.$$

$$T{r}_k(n,P)\le T{r}_l(n,P).$$

$$Tr(n,B)=\lfloor 3n/2\rfloor +1.$$

$$T{r}_{n-k}(n,P)\ge (e(P)-k+o(1))\left(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor }\right).$$

$$T{r}_{n-k}(n,P)=(e(P)-k+o(1))\left(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor }\right).$$

$$\frac{s}{n}\left(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor }\right)\le T{r}_{n-1}(n,{\bigvee }_s)\le \left(\frac{3s^3}{n}+o\left(\frac{1}{n}\right)\right)\left(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor }\right).$$

$$T{r}_{n-2}(n,D)=O\left(\frac{1}{n^{1/3}}\left(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor }\right)\right).$$

$$D_i(F):=F\setminus \{i\},$$

$$D_i(\mathcal{F}):=\{D_i(F):F\in \mathcal{F},D_i(F)\notin \mathcal{F}\}\cup \{F:F,D_i(F)\in \mathcal{F}\}.$$

$$(n,1+\sum _{i=0}^{k-1}(\genfrac{}{}{0ex}{}{n}{i}))\to (k,2^k)$$

$$Tr(n,P)\le \min \{m:\exists k(n,m)\to (k,La(k,P)+1)\}-1.$$

$$Tr(n,P)\le \min \{m:\exists k(n,m)\to (k,Tr(k,P)+1)\}-1.$$

$$Tr(5,B)=8.$$

$$(5,9)\to (3,6)\text{ and }(5,9)\to (4,7).$$

$$\mathcal{F}{|}_{[3]}=\left(\genfrac{}{}{0ex}{}{[3]}{1}\right)\cup \left(\genfrac{}{}{0ex}{}{[3]}{2}\right).$$

$$(n,\lfloor 3n/2\rfloor +2)\to (5,9).$$

$$L{a}_D(n,P):=\max \{|\mathcal{F}|\subseteq 2^{[n]}:\mathcal{F}\text{is P-free and downward closed}\},\text{and}$$

$$L{a}_U(n,P):=\max \{|\mathcal{F}|\subseteq 2^{[n]}:\mathcal{F}\text{is P-free and upward closed}\}.$$

$$Tr(n,P)\ge \max \{L{a}_D(n,P),L{a}_U(n,P)\}.$$

$$L{a}_D(n,P)\ge \sum _{i=0}^{x(n,P)}\left(\genfrac{}{}{0ex}{}{n}{i}\right)\ge \sum _{i=0}^{x(P)}\left(\genfrac{}{}{0ex}{}{n}{i}\right).$$

$$\sum _{i=0}^{x(P)}\left(\genfrac{}{}{0ex}{}{n}{i}\right)\le L{a}_D(n,P)\le Tr(n,P)\le \sum _{i=0}^{y(P)}\left(\genfrac{}{}{0ex}{}{n}{i}\right).$$

$$Tr(n,P)=\sum _{i=0}^{x(P)}\left(\genfrac{}{}{0ex}{}{n}{i}\right).$$

$$\left(\genfrac{}{}{0ex}{}{[n]}{\lfloor n/2\rfloor }\right)={\mathcal{F}}_1\cup {\mathcal{F}}_2\cup \cdots \cup {\mathcal{F}}_n$$

$${\mathcal{F}}_i:=\left\{F\in \left(\genfrac{}{}{0ex}{}{[n]}{\lfloor n/2\rfloor }\right):\sum _{j\in F}j\equiv i(\text{mod}n)\right\}.$$

Full text

We introduce the following notions: ${\mathcal{F}}\subseteq 2^{[n]}$ is $l$-trace $P$-free if for any $l$-subset $L\subseteq[n]$, the family ${\mathcal{F}}|_{L}$ is $P$-free and ${\mathcal{F}}$ is trace $P$-free if it is $l$-trace $P$-free for all $l\leq n$. As the first instances of these problems we determine the maximum size of trace $B$-free families, where $B$ is the butterfly poset on four elements $a,b,c,d$ with $a,b<c,d$ and determine the asymptotics of the maximum size of $(n-i)$-trace $K_{r,s}$-free families for $i=1,2$. We also propose a generalization of the main conjecture of the area of forbidden subposet problems.

Keywords: forbidden subposet problem, trace of a set family, butterfly poset

AMS Subj. Class. (2010): 06A07, 05D05

1 Introduction

In this paper we introduce a problem that bridges two areas of extremal finite set theory, namely forbidden subposet problems and traces of set families. We denote by $[n]$ the set of the first $n$ positive integers and for a set $X$ we use the notation $2^{X},\binom{X}{k},\binom{X}{\leq k},\binom{X}{\geq k}$ to denote the family of all subsets of $X$, all subsets of $X$ of size $k$ (that we also call $k$-subsets of $X$), all subsets of $X$ of size at most $k$, and all subsets of $X$ of size at least $k$, respectively. The family $\binom{X}{k}$ is often called the $k$th level of $X$. Throughout the paper we use standard order notions.

We will use multiple times the following well-known fact:

[TABLE]

Using this, we will assume several times throughout the paper that all members of a family ${\mathcal{F}}$ have cardinalities in the interval $[n/2-n^{2/3},n/2+n^{2/3}]$ (as this way we lose only $o(\frac{1}{n}\binom{n}{\lfloor n/2\rfloor})$ sets). Note that for our purposes it is always going to be enough to use the interval $[n/3,2n/3]$ instead of $[n/2-n^{2/3},n/2+n^{2/3}]$.

Forbidden subposet problems. The very first result in extremal finite set theory is due to Sperner [18], who proved that if a family ${\mathcal{F}}\subseteq 2^{[n]}$ does not contain two sets in inclusion, then the size of ${\mathcal{F}}$ is at most $\binom{n}{\lfloor n/2\rfloor}$ and the only families achieving this size are $\binom{[n]}{\lfloor n/2\rfloor}$ and $\binom{[n]}{\lceil n/2\rceil}$. This was later generalized by Erdős [6], who showed that if ${\mathcal{F}}\subseteq 2^{[n]}$ does not contain a chain of length $k+1$ (i.e. nested sets $F_{1}\subsetneq F_{2}\subsetneq\dots\subsetneq F_{k+1}$), then the size of ${\mathcal{F}}$ is at most $\sum_{i=1}^{k}\binom{n}{\lfloor\frac{n-k}{2}\rfloor+i}$, the sum of the $k$ largest binomial coefficients of order $n$. There is a vast literature of Sperner type problems (see the not very recent monograph of Engel [5]), we focus on forbidden subposet problems introduced by Katona and Tarján [11]. We say that the sets $F_{1},F_{2},\dots,F_{|P|}$ form a copy of a poset $P$, if there exists a bijection $i:P\rightarrow\{F_{1},F_{2},\dots,F_{|P|}\}$ such that for any $p,p^{\prime}\in P$ the relation $p<_{P}p^{\prime}$ implies $i(p)\subsetneq i(p^{\prime})$. A family ${\mathcal{F}}$ of sets is $P$-free if it does not contain any copy of $P$. Katona and Tarján initiated the study of the parameter $La(n,P)$, the maximum size of a $P$-free family ${\mathcal{F}}\subseteq 2^{[n]}$. Note that with this notation the above-mentioned result of Erdős can be formulated as

[TABLE]

where $P_{k+1}$ denotes the chain of size $k+1$. As a copy of a chain of length $|P|$ in a family ${\mathcal{F}}$ is always a copy of $P$, the result of Erdős implies

[TABLE]

Therefore it is natural to ask for the existence and value of

[TABLE]

denoted by $\pi(P)$. It is not known whether $\pi(P)$ exists for every poset, but the precise or asymptotic value of $La(n,P)$ has been determined for many posets and in all known cases the (asymptotically) optimal construction consists of some of the middle levels of $[n]$. This motivated the following conjecture that first appeared in [9].

Conjecture 1.1**.**

For any poset $P$ let $e(P)$ denote the largest integer $k$ such that for any $j$ and $n$ the family $\cup_{i=1}^{k}\binom{[n]}{j+i}$ is $P$-free. Then $\pi(P)$ exists and is equal to $e(P)$.

Conjecture 1.1 was proved for many classes of posets. Let us state one of the nicest results of the area. To do so we need the following definition. For a poset $P$ the Hasse diagram, denoted by $H(P)$, is a graph whose vertices are elements of $P$, and $xy$ is an edge if $x<y$ and there is no other element $z$ of $P$ with $x<z<y$. A poset $T$ is a tree poset if its Hasse diagram is a tree. Let $h(T)$ denote the length of a longest chain in $T$. Bukh proved the following.

Theorem 1.2** ([3]).**

For any tree poset $T$, we have

[TABLE]

Traces of set families. The trace of a set family is its restriction to a subset of its underlying set. Formally, the trace of a set $F$ on another set $X$ is

[TABLE]

and the trace of a family ${\mathcal{F}}$ on $X$ is

[TABLE]

As different sets can have the same trace, we obtain $|{\mathcal{F}}|_{X}|\leq|{\mathcal{F}}|$. The fundamental result about traces of set families is the so-called Sauer-lemma proved independently by Sauer [16], Shelah [17], and Vapnik and Chervonenkis [19].

Theorem 1.3**.**

If the size of a family ${\mathcal{F}}\subseteq 2^{[n]}$ is larger than $\sum_{i=0}^{k-1}\binom{n}{i}$, then there exists a $k$-subset $X$ of $[n]$ such that ${\mathcal{F}}|_{X}=2^{X}$ holds.

The bound in Theorem 1.3 is tight as shown by $\binom{[n]}{\leq k-1}$ and $\binom{[n]}{\geq n-k+1}$, but there are many other extremal families and a complete characterization is not yet known. This theorem leads naturally in several directions. One of them is the area of forbidden subconfigurations. If ${\mathcal{H}}\subseteq 2^{[k]}$ is a fixed family, then one can ask for the maximum size of a ’big’ family ${\mathcal{F}}\subseteq 2^{[n]}$ such that for any $k$-subset $X$ of $[n]$, the trace ${\mathcal{F}}|_{X}$ does not contain a subfamily isomorphic to ${\mathcal{H}}$. For more details, the interested reader is referred to the survey of Anstee [2] and the references within. Naturally, one can consider several forbidden configurations at once. To mix the areas of forbidden subposet problems and forbidden subconfigurations, we will forbid all configurations that can be described by a poset structure.

We say that ${\mathcal{F}}\subseteq 2^{[n]}$ is $l$-trace $P$-free if for any $l$-subset $L\subseteq[n]$, the family ${\mathcal{F}}|_{L}$ is $P$-free. A family ${\mathcal{F}}$ is trace $P$-free if it is $l$-trace $P$-free for all $l\leq n$. Let $Tr(n,P)$ be the maximum size of a trace $P$-free family ${\mathcal{F}}\subseteq 2^{[n]}$ and $Tr_{l}(n,P)$ be the maximum size of an $l$-trace $P$-free family ${\mathcal{F}}\subseteq 2^{[n]}$.

If the traces of two sets on some set $X$ are in inclusion, then they remain in inclusion for any subset $Y$ of $X$, however the traces might coincide on $Y$. So it is not straightforward from definition that forbidding a subposet in the trace on a smaller subset is a stronger property than doing the same on a larger subset. However, we will prove the following rather easy monotonicity result.

Proposition 1.4**.**

For a poset $P$ let $E(P)$ denote the number of edges in the Hasse diagram $H(P)$. If $E(P)\leq k\leq l$, then we have

[TABLE]

Proposition 1.4 implies that for any integer $k$ we have $Tr(n,P_{k+1})=Tr_{k}(n,P_{k+1})$. The value $Tr_{k}(n,P_{k+1})=\sum_{i=0}^{k-1}\binom{n}{i}$ follows from Theorem 1.3. The second author proved in [13] that the only $k$-trace $P_{k+1}$-free families are $\binom{[n]}{\leq k-1}$ and $\binom{[n]}{\geq n-k+1}$ (moreover, he showed that for any fixed $k\leq l$ we have $Tr_{l}(n,P_{k+1})=\sum_{i=0}^{k-1}\binom{n}{i}$ if $n$ is large enough and the only extremal families are $\binom{[n]}{\leq k-1}$ and $\binom{[n]}{\geq n-k+1}$).

Note that for any poset $P$ if $y(P)$ denotes the largest integer $m$ with $2^{[m]}$ not containing a copy of $P$, then by Theorem 1.3 we have $Tr(n,P)\leq\sum_{i=0}^{y(P)}\binom{n}{i}$, i.e. $Tr(n,P)$ grows polynomially in $n$.

The simplest non-chain posets are $\bigvee$ and $\bigwedge$, both being a poset on 3 elements $a,b,c$ with $a<_{\bigvee}b,c$ and $a,b<_{\bigwedge}c$. As they are both subposets of $P_{3}$, we have $Tr(n,\bigvee),Tr(n,\bigwedge)\leq n+1$ and taking complements yields $Tr(n,\bigvee)=Tr(n,\bigwedge)$. Moreover, we know that there exist trace $\bigwedge$-free and trace $\bigvee$-free families of size $n+1$, namely $\binom{[n]}{\leq 1}$ and $\binom{[n]}{\geq n-1}$. The first contains $\bigvee$ and does not contain $\bigwedge$, while it is the opposite for the second family. On the other hand if we forbid both $\bigvee$ and $\bigwedge$ as traces, then the family cannot have more than 2 sets.

As a first non-trivial and non-chain instance of the problem of finding $Tr(n,P)$ we will consider the butterfly poset $B$ on 4 elements $a,b,c,d$ with $a,b<_{B}c,d$.

Theorem 1.5**.**

For $n\geq 4$ we have

[TABLE]

As remarked above, Theorem 1.3 implies that $Tr(n,P)$ grows polynomially in $n$ and the same argument shows that for any fixed $l>y(P)$ we have $Tr_{l}(n,P)=O(n^{l-1})$. The situation completely changes when $l$ is close to $n$. By definition, we have $Tr_{n}(n,P)=La(n,P)$. Observe that if $n$ is large enough and ${\mathcal{F}}$ consists of consecutive levels of $[n]$, say ${\mathcal{F}}=\cup_{i=j}^{j^{\prime}}\binom{[n]}{i}$, then for any $(n-k)$-subset $X$ of $[n]$ we have ${\mathcal{F}}|_{X}=\cup_{i=j-k}^{j^{\prime}}\binom{X}{i}$. In particular, if $j^{\prime}-j+k+1\leq e(P)$, then ${\mathcal{F}}|_{X}$ is $P$-free. This shows the inequality

[TABLE]

Therefore we propose the following generalization of Conjecture 1.1.

Conjecture 1.6**.**

For any poset $P$ and integer $k<e(P)$ we have

[TABLE]

Moreover, if $k\geq e(P)$, then $Tr_{n-k}(n,P)=o(\binom{n}{\lfloor n/2\rfloor})$ holds.

Note that to see the moreover part of Conjecture 1.6, by Proposition 1.4, it is enough to prove its statement for $k=e(P)$.

Conjecture 1.6 was verified for chains by the second author in [14] and he obtained the exact value of $Tr_{n-1}(n,P_{k+1})$ for any positive integer $k$ in [15]. We prove Conjecture 1.6 for the posets $K_{r,s}$ on $r+s$ elements $a_{1},a_{2},\dots,a_{r},b_{1},b_{2},\dots,b_{s}$ with $a_{i}<b_{j}$ for any $1\leq i\leq r$ and $1\leq j\leq s$. We will use the notation $\bigwedge_{r}$ for $K_{r,1}$ and $\bigvee_{s}$ for $K_{1,s}$. Note that $e(K_{r,s})=2$ if $r$ and $s$ are both at least two and $e(\bigvee_{s})=e(\bigwedge_{r})=1$. Conjecture 1.1 was verified for $K_{r,s}$ by De Bonis and Katona [4]. Therefore the following theorem implies Conjecture 1.6 in the case of the posets $K_{r,s}$.

Theorem 1.7**.**

For any positive integer $s\geq 1$, we have

(i)

[TABLE]

Furthermore, if $r,s\geq 2$, then we have

(ii) $Tr_{n-1}(n,K_{r,s})=(1+o(1))\binom{n}{\lfloor n/2\rfloor}$, and

(iii) $Tr_{n-2}(n,K_{r,s})\leq\frac{6((s+1)^{2}+(r+1)^{2})}{n}\binom{n}{\lfloor n/2\rfloor}$.

The smallest poset for which Conjecture 1.1 has not yet been proved is the diamond poset $D$ on four elements $a,b,c,d$ with $a<b,c<d$. The best known upper bound on $La(n,D)$ is due to Grósz, Methuku, and Tompkins [10]. We will prove that the moreover part of Conjecture 1.6 holds for $D$.

Theorem 1.8**.**

For the diamond poset $D$ we have

[TABLE]

The remainder of this paper is organized as follows: Section 2 deals with trace $P$-free families, Theorem 1.5 along with some further remarks are shown there. A general result on $(n-1)$-traces of families that implies Theorem 1.7 is proved in Section 3 along with Theorem 1.8 and other results about $l$-trace $P$-free families. Finally, Section 4 contains some concluding remarks.

2 Trace $P$-free families

Theorem 1.3 has many proofs in the literature. One of them (obtained independently by Alon [1] and Frankl [8]) uses down-compression. For a set $F$ and an element $i$, the down-compression operator is defined as

[TABLE]

and for a family of sets ${\mathcal{F}}$ we define

[TABLE]

It was proved in [1, 8] that if we are given a family ${\mathcal{F}}\subseteq 2^{[n]}$ such that there does not exist a $k$-set $X$ with ${\mathcal{F}}|_{X}=2^{X}$, then the same holds for $D_{i}({\mathcal{F}})$ for any $i\in[n]$. As any family ${\mathcal{F}}$ can be turned into a downward closed family (a family ${\mathcal{D}}$ for which $C\subset D\in{\mathcal{D}}$ implies $C\in{\mathcal{D}}$) by applying a finite number of down-compressions, to prove Theorem 1.3 it is enough to show its statement for downward closed families, which is rather straightforward.

Observe that the trace $P$-free property is not preserved by down-compression, however there is a way how to obtain bounds on $Tr(n,P)$ by considering only downward closed families. Frankl in [8] introduced the arrow relation $(n,m)\rightarrow(k,l)$ which, by definition, holds if for any family ${\mathcal{F}}\subseteq 2^{[n]}$ of size $m$, there exists a $k$-set $X$ such that $|{\mathcal{F}}|_{X}|\geq l$. With this notation Theorem 1.3 can be formulated as

[TABLE]

for any pair $n\geq k$. Frankl used down-compression to prove the following.

Theorem 2.1** ([8]).**

The following statements are equivalent.

(i) $(n,m)\rightarrow(k,l)$

(ii) For every downward closed family ${\mathcal{D}}\subseteq 2^{[n]}$ of size $m$, there exists a $k$-set $X$ such

that $|{\mathcal{D}}|_{X}|\geq l$.

We want to make use of Theorem 2.1 to determine $Tr(n,P)$. In order to do that we make two simple observations. First note that if for some $k$-set $X$ the trace ${\mathcal{F}}|_{X}$ contains more than $La(k,P)$ sets, then ${\mathcal{F}}$ cannot be trace $P$-free. Therefore we obtain the following.

Proposition 2.2**.**

For every poset $P$ we have

[TABLE]

One can go one step further and improve Proposition 2.2. Suppose one determined the value of $Tr(k,P)$ for some small integer $k$. Then obviously, if for some $k$-set $X$ the trace ${\mathcal{F}}|_{X}$ contains more than $Tr(k,P)$ sets, then ${\mathcal{F}}$ cannot be trace $P$-free, so we obtain the following.

Proposition 2.3**.**

For every poset $P$ we have

[TABLE]

Now we continue with the proof of Theorem 1.5.

Lemma 2.4**.**

We have

[TABLE]

Proof.

We start with the following simple claim.

Claim 2.5**.**

We have

[TABLE]

Proof of Claim.

By Theorem 2.1, it is enough to prove the statement for downward closed families ${\mathcal{D}}\subseteq 2^{[5]}$ of size 9. If ${\mathcal{D}}$ contains a set $D$ of size 3, then $|2^{D}|=8\geq 6$. Otherwise ${\mathcal{D}}$ contains at least 3 sets of size 2. As they are all subsets of $[5]$, for two of them $D_{1},D_{2}$, we have $|D_{1}\cup D_{2}|=3$ and as ${\mathcal{D}}$ is downward closed, we have $|{\mathcal{D}}\cap 2^{D_{1}\cup D_{2}}|\geq 6$.

Similarly we have either three 2-sets on three vertices or two 2-sets on four vertices, both cases give 7 sets on three or four vertices. ∎

Suppose ${\mathcal{F}}\subseteq 2^{[5]}$ is a $B$-trace free family of size 9. Then by Claim 2.5 there exists a 3-set $X$ with $|{\mathcal{F}}|_{X}|\geq 6$. We may suppose that $X=[3]$ and as ${\mathcal{F}}$ is $B$-trace free, we must have

[TABLE]

Claim 2.6**.**

Suppose there is a set $F\in{\mathcal{F}}$ with $4\in F$. Then we have either

$\bullet$ ${\mathcal{F}}|_{[4]}=\binom{[4]}{2}$, or

$\bullet$ ${\mathcal{F}}|_{[4]}$ is isomorphic to $\{\{2\},\{3\},\{1,4\},\{2,3\},\{1,2,4\},\{1,3,4\}\}$, or

$\bullet$ ${\mathcal{F}}|_{[4]}$ is isomorphic to $\{\{1,4\},\{2,4\},\{3,4\},\{1,2,4\},\{1,3,4\},\{2,3,4\}\}$.

Proof of Claim.

The set $F$ intersects $[3]$ in a $1$ or $2$-element set. We separate cases according to this. We introduce the notation ${\mathcal{A}}:={\mathcal{F}}|_{[4]}$, ${\mathcal{A}}_{i}:={\mathcal{F}}|_{[4]\setminus\{i\}}\ (i\in[4])$. In particular, we have seen so far that ${\mathcal{F}}|_{[3]}={\mathcal{A}}_{4}=\binom{[3]}{1}\cup\binom{[3]}{2}$.

Case 1. $\{1,4\}\in F|_{[4]}={\mathcal{A}}$.

Case 1.1. $\{1,2,4\}\in{\mathcal{A}}$. Let us consider ${\mathcal{A}}_{3}$. We have $\{1,2,4\}$ and $\{1,4\}$ are in ${\mathcal{A}}_{3}$. Also as we have $\{3\}\in{\mathcal{A}}_{4}$ we have either $\emptyset$ or $\{4\}$ is in ${\mathcal{A}}_{3}$. Thus we cannot have $\{1\}\in{\mathcal{A}}_{3}$, hence $\{1,3\}\not\in{\mathcal{A}}$. As we have $\{1,3\}\in{\mathcal{A}}_{4}$ we must have $\{1,3,4\}\in{\mathcal{A}}$.

Also only one of $\{2\}$ or $\{2,4\}$ can be in ${\mathcal{A}}$ as otherwise they would form a copy of $B$ in ${\mathcal{A}}_{3}$ with $\{1,2,4\}$ and $\emptyset$ or $\{4\}$.

Case 1.1.1. $\{2\}\in{\mathcal{A}}$. In this case $\{2,3,4\}\not\in{\mathcal{A}}$, otherwise ${\mathcal{A}}_{1}$ would contain $\{2\}$, $\{4\}$, $\{2,4\}$ and $\{2,3,4\}$. As $\{2,3\}\in{\mathcal{A}}_{4}$, we must have $\{2,3\}\in{\mathcal{A}}$. Thus we know $\{1,4\}$, $\{1,2,4\}$, $\{1,3,4\}$, $\{2\}$, $\{2,3\}$ are all in ${\mathcal{A}}$. If $\{3,4\}$ was in ${\mathcal{A}}$, then ${\mathcal{A}}_{2}$ would contain $\{1,3,4\},\{3,4\},\{3\}$ and $\emptyset$, a contradiction. As $\{3\}\in{\mathcal{A}}_{4}$, we must have $\{3\}\in{\mathcal{A}}$. It is easy to see that no other set can be added in this case.

Case 1.1.2. $\{2\}\not\in{\mathcal{A}}$. As $\{2\}\in{\mathcal{A}}_{4}$, we must have $\{2,4\}\in{\mathcal{A}}$.

Case 1.1.2.1. $\{2,3\}\in{\mathcal{A}}$. Then $\{3,4\}$ cannot be in ${\mathcal{A}}$, as that would give $\{3\}$, $\{4\}$, $\{3,4\}$, $\{1,3,4\}$ in ${\mathcal{A}}_{2}$. As $\{3\}\in{\mathcal{A}}_{4}$, we have $\{3\}\in{\mathcal{A}}$, but then ${\mathcal{A}}_{3}$ contains $\emptyset$, $\{2\}$, $\{2,4\}$ and $\{1,2,4\}$, a contradiction.

Case 1.1.2.2. $\{2,3\}\not\in{\mathcal{A}}$. As $\{2,3\}\in{\mathcal{A}}_{4}$, we have that $\{2,3,4\}\in{\mathcal{A}}$. If $\{3\}$ is in ${\mathcal{A}}$, then ${\mathcal{A}}_{2}$ contains $\{3\}$, $\{4\}$, $\{3,4\}$ and $\{1,3,4\}$, a contradiction. So $\{3\}\not\in{\mathcal{A}}$, but $\{3\}\in{\mathcal{A}}_{4}$, hence we must have $\{3,4\}\in{\mathcal{A}}$. Thus $\{1,2,4\}$, $\{1,4\}$, $\{1,3,4\}$, $\{2,4\}$, $\{2,3,4\}$, $\{3,4\}$ are in ${\mathcal{A}}$. Note that every additional set would create a copy of $B$ in ${\mathcal{A}}_{1}$ except for $\{2,3\}$, $\{1,2,3\}$ and $\{1,2,3,4\}$. However, in this case $\{2,3\}$ is not in ${\mathcal{A}}$ and neither $\{1,2,3\}$ nor $\{1,2,3,4\}$ can be in ${\mathcal{A}}$ because $\{1,2,3\}\not\in{\mathcal{A}}_{4}$.

Case 1.2. $\{1,2,4\}\not\in{\mathcal{A}}$. By symmetry we can also assume $\{1,3,4\}\not\in{\mathcal{A}}$, otherwise we go back to Case 1.1. Hence we have $\{1,2\},\{1,3\}\in{\mathcal{A}}$. Then $\{1\},\{1,2\},\{1,4\}\in{\mathcal{A}}_{3}$, thus $\emptyset$ cannot be in ${\mathcal{A}}_{3}$, hence $\{3\}\not\in{\mathcal{A}}$, thus $\{3,4\}\in{\mathcal{A}}$, and similarly $\{2,4\}\in{\mathcal{A}}$. Let us consider ${\mathcal{A}}_{1}$ now. It contains $\{3\},\{3,4\},\{4\}$, thus it cannot contain $\{2,3,4\}$, hence $\{2,3,4\}\not\in{\mathcal{A}}$, thus $\{2,3\}\in{\mathcal{A}}$, i.e ${\mathcal{A}}$ contains $\binom{[4]}{2}$. It is easy to see that no other set can be added.

Case 2. There are no 2-element sets in ${\mathcal{A}}$ that contain 4. Then $\{1\},\{2\},\{3\}\in{\mathcal{A}}$. We may assume $\{1,2,4\}=F|_{[4]}\in{\mathcal{A}}$. Let us consider ${\mathcal{A}}_{1}$. It contains $\emptyset,\{2\},\{2,4\}$ by the above. Also as $\{2,3\}\in{\mathcal{A}}_{4}$, we have either $\{2,3\}$ or $\{2,3,4\}$ in ${\mathcal{A}}$, and any of these complete a copy of $B$.

We are done with the proof of Claim 2.6. ∎

We are now ready to prove Lemma 2.4. Notice that in all cases of Claim 2.6, we have $|{\mathcal{F}}|_{[4]}|=6$. We will show that $|{\mathcal{F}}|_{Y}|\leq 6$ holds for every other 4-element subset $Y$ of $[5]$ as well, which contradicts $(5,9)\rightarrow(4,7)$.

Let us consider the possible outcomes of Claim 2.6. Let $Z=Y\setminus\{5\}$, then we have either ${\mathcal{F}}|_{Z}=\binom{Z}{1}\cup\binom{Z}{2}$ or ${\mathcal{F}}|_{Z}$ is a copy of the diamond poset. In the first case we can apply Claim 2.6 this time $[3]$ replaced by $Y\cap[4]$ and $4$ by $5$ to obtain $|{\mathcal{F}}|_{Y}|\leq 6$. In the second case notice that ${\mathcal{F}}|_{Y}\subseteq{\mathcal{F}}|_{Z}\cup\{F\cup\{5\}:F\in{\mathcal{F}}|_{Z}\}$. As this latter family is a copy of $2^{[3]}$, to ensure the $B$-free property, we must have $|{\mathcal{F}}|_{Y}|\leq 6$.

∎

Lemma 2.7**.**

If $n\geq 6$, then we have

[TABLE]

Proof.

It is enough to verify the statement for downward closed families ${\mathcal{D}}\subseteq 2^{[n]}$ of size $\lfloor 3n/2\rfloor+2$. If ${\mathcal{D}}$ contains a set $D$ of size 3, then there exists $x\notin D$ with $\{x\}\in{\mathcal{D}}$, and thus $|{\mathcal{D}}|_{D\cup\{x\}}|\geq 9$. So we may assume ${\mathcal{D}}\subseteq\binom{[n]}{\leq 2}$. If ${\mathcal{D}}$ does not contain two 2-sets with non-empty intersection, then $|{\mathcal{D}}\cap\binom{[n]}{2}|\leq\lfloor n/2\rfloor$ and we are done. If $D_{1},D_{2}\in{\mathcal{D}}$ are 2-sets with non-empty intersection and $D_{3}\in{\mathcal{D}}\cap\binom{[n]}{2}$ is disjoint from $D_{1}\cup D_{2}$, then ${\mathcal{D}}|_{D_{1}\cup D_{2}\cup D_{3}}\supseteq 2^{D_{1}}\cup 2^{D_{2}}\cup 2^{D_{3}}$ and we are done.

This mean that ${\mathcal{D}}\cap\binom{[n]}{2}$ is either a triangle or a star. In the former case we have $|{\mathcal{D}}|\leq 3+n+1<\lfloor 3n/2\rfloor+2$. In the latter case, if the star consists of at most 3 sets, then again $|{\mathcal{D}}|\leq 3+n+1<\lfloor 3n/2\rfloor+2$, while if the star consists of at least 4 sets $D_{1},D_{2},D_{3},D_{4}$, then $|{\mathcal{D}}|_{D_{1}\cup D_{2}\cup D_{3}\cup D_{4}}|=10$. ∎

Now the upper bound in Theorem 1.5 follows from Proposition 2.3, Lemma 2.4 and Lemma 2.7. For the lower bound we consider a family that consists of the empty set, all the $1$-element sets, and $\lfloor n/2\rfloor$ pairwise disjoint $2$-element sets. It is easy to see that this family does not contain the butterfly poset, and as it is downward closed, it does not contain it as a trace either. This finishes the proof of Theorem 1.5. $\hfill\qed$ We state the last observation as a general lower bound. Let

[TABLE]

[TABLE]

Proposition 2.8**.**

We have

[TABLE]

Let $x(n,P)$ be the largest integer such that $\binom{[n]}{\leq x(n,P)}$ does not contain $P$. It is easy to see that $x(n,P)$ is monotone decreasing in $n$, so we can define its limit $x(P)$ and $x(n,P)=x(P)$ for $n$ large enough. It is easy to see that

[TABLE]

Remember that $y(P)$ is the largest integer such that $2^{[y(P)]}$ does not contain $P$. If the size of a family ${\mathcal{F}}\subseteq 2^{[n]}$ is larger than $\sum_{i=0}^{y(P)}\binom{n}{i}$, then by Theorem 1.3 it contains a subset $X$ of size $y(P)+1$ such that ${\mathcal{F}}|_{X}=2^{X}$ holds. Obviously $2^{X}$ contains a copy of $P$ by the definition of $y(P)$, thus we have $Tr(n,P)\leq\sum_{i=0}^{y(P)}\binom{n}{i}$. By the observations above we have

[TABLE]

If for a poset $P$ we have $x(P)=y(P)$, then $Tr(n,P)=\sum_{i=0}^{x(P)}\binom{n}{i}$. In particular,

Proposition 2.9**.**

If a poset $P$ has a unique maximum element, then

[TABLE]

3 $l$-traces

We start this section by showing the monotonicity of $Tr_{l}(n,P)$ in $l$.

Proof of Proposition 1.4..

Let $E(P)\leq k\leq l$ and suppose ${\mathcal{F}}\subseteq 2^{[n]}$ is $k$-trace $P$-free. We claim that ${\mathcal{F}}$ is $l$-trace $P$-free. Assume otherwise. Then there exists an $l$-subset $X$ of $[n]$ such that ${\mathcal{F}}|_{X}$ contains a copy $F_{1}|_{X},F_{2}|_{X},\dots,F_{|P|}|_{X}$ of $P$. For every edge $e$ of the Hasse diagram $H(P)$ let $x_{e}$ be an element from $F_{i}|_{X}\setminus F_{j}|_{X}$ if $F_{i}|_{X}$ and $F_{j}|_{X}$ are the sets corresponding to the end vertices of $e$. As $E(P)\leq k$, we obtain that $|\{x_{e}:e\in E(H(P))\}|\leq k$. Therefore, for any $k$-set $Y$ containing $\{x_{e}:e\in E(H(P))\}$ we have that $F_{1}|_{Y},F_{2}|_{Y},\dots,F_{|P|}|_{Y}$ form a copy of $P$ in ${\mathcal{F}}|_{Y}$ contradicting the $k$-trace $P$-free property of ${\mathcal{F}}$. ∎

We continue with the proof of Theorem 1.7.

Proof of Theorem 1.7 (i).

To see the lower bound consider the following well-known construction. Let us partition

[TABLE]

such that

[TABLE]

Let ${\mathcal{F}}$ be the union of the $s$ largest ${\mathcal{F}}_{i}$’s, and therefore we have

[TABLE]

For any $x\in[n]$, the trace ${\mathcal{F}}_{[n]\setminus\{x\}}$ contains sets of size $\lfloor n/2\rfloor$ and $\lfloor n/2\rfloor-1$, so a copy of $\bigvee_{s}$ would be possible if there existed an $(\lfloor n/2\rfloor-1)$-set $G$ that is contained in at least $s+1$ sets of ${\mathcal{F}}$. By construction, there is no such $G$, therefore ${\mathcal{F}}$ is $(n-1)$-trace $\bigvee_{s}$-free.

To prove the upper bound let ${\mathcal{F}}\subseteq 2^{[n]}$ be an $(n-1)$-trace $\bigvee_{s}$-free family. Let ${\mathcal{F}}_{1}={\mathcal{F}}\cap\binom{[n]}{\leq n/2+n^{2/3}}\cap\binom{[n]}{\geq n/2-n^{2/3}}$. Note that ${\mathcal{F}}_{1}$ cannot contain a chain of length $s+1$ as omitting an element of its smallest set would result in a $(s+1)$-chain in the trace contradicting the $(n-1)$-trace $\bigvee_{s}$-free property. Therefore ${\mathcal{F}}_{1}$ contains an antichain ${\mathcal{F}}_{2}$ with

[TABLE]

We will bound the size of ${\mathcal{F}}_{2}$ using the Lubell-function

[TABLE]

To this end we will count the number of pairs $(F,{\mathcal{C}})$ with ${\mathcal{C}}$ being a maximal chain in $[n]$ and $F\in{\mathcal{F}}_{2}\cap{\mathcal{C}}$. We will denote by ${\mathbf{C}}$ the set of all maximal chains in $[n]$.

Let us consider ${\mathcal{G}}$, the shadow of ${\mathcal{F}}_{2}$,

[TABLE]

and for a set $G\in{\mathcal{G}}$ let

[TABLE]

Claim 3.1**.**

For every chain ${\mathcal{C}}\in{\mathbf{C}}$ there exist at most $s$ sets $G\in{\mathcal{G}}$ with ${\mathcal{C}}\in{\mathbf{C}}_{G}$.

Proof of claim..

Suppose to the contrary that ${\mathcal{C}}\in{\mathbf{C}}$ contains $G_{1}\subsetneq G_{2}\subsetneq\dots\subsetneq G_{s+1}$ with $G_{i}\in{\mathcal{G}}$ for all $1\leq i\leq s+1$. Then there exist $x_{1},x_{2},\dots,x_{s+1}$ with $x_{i}\notin G_{i}$ and $F_{i}:=G_{i}\cup\{x_{i}\}\in{\mathcal{F}}_{2}$. But then we have

[TABLE]

for $i=2,3,\dots,s+1$ and they are all different, as ${\mathcal{F}}_{2}$ is an antichain, thus these form a copy of $\bigvee_{s}$. ∎

Claim 3.2**.**

For every $G\in{\mathcal{G}}$ there exist at most $s$ sets $F\in{\mathcal{F}}_{2}$ with $G\subseteq F$.

Proof of claim..

As $G\in{\mathcal{G}}$ there exists an $x\notin G$ with $F=G\cup\{x\}\in{\mathcal{F}}_{2}$. As ${\mathcal{F}}_{2}$ is an antichain, any other $F^{\prime}\in{\mathcal{F}}_{2}$ with $G\subseteq F^{\prime}$ must not contain $x$. So if there were $F_{1},F_{2},\dots,F_{s}\in{\mathcal{F}}_{2}$ other than $F$ all containing $G$, then the traces of $F,F_{1},F_{2},\dots,F_{s}\in{\mathcal{F}}_{2}$ on $[n]\setminus\{x\}$ would form a copy of $\bigvee_{s}$. ∎

Let us now count the number of pairs $(F,{\mathcal{C}})$ with ${\mathcal{C}}$ being a maximal chain in $[n]$ and $F\in{\mathcal{F}}_{2}\cap{\mathcal{C}}$. On the one hand it is

[TABLE]

On the other hand it is at most

[TABLE]

As ${\mathcal{F}}_{2}$ is an antichain, no chain ${\mathcal{C}}\in{\mathbf{C}}_{G}$ can contain a set $F\in{\mathcal{F}}_{2}$ with $F\subseteq G$. Therefore, by Claim 3.2 and the condition that ${\mathcal{F}}_{2}$ consists only of sets of size from $[n/2-n^{2/3},n/2+n^{2/3}]$, we have

[TABLE]

Claim 3.1 yields

[TABLE]

and thus we obtain

[TABLE]

Dividing by $n!$ gives

[TABLE]

and thus

[TABLE]

which implies

[TABLE]

As $|\binom{[n]}{\leq n/2-n^{2/3}}\cup\binom{[n]}{\leq n/2+n^{2/3}}|=o(\frac{1}{n}\binom{n}{\lfloor n/2\rfloor})$, the proof of Theorem 1.7 (i) is finished. ∎

Proof of Theorem 1.7 (iii).

The statement follows from part (i) and the following claim. We denote by $K_{r,1,s}$ the poset on $r+1+s$ elements $a_{1},a_{2},\dots,a_{r},c,b_{1},b_{2},\dots,b_{s}$ with $a_{i}<c<b_{j}$ for any $1\leq i\leq r$ and $1\leq j\leq s$.

Claim 3.3**.**

For any pair $r,s\geq 2$ of positive integers, the inequality

[TABLE]

holds.

Proof of claim.

Let ${\mathcal{F}}\subseteq 2^{[n]}$ be a family of size $Tr_{n-1}(n\bigvee_{2s+1})+Tr_{n-1}(n,\bigwedge_{2r+1})+1$. We can find pairs $(F_{i},x_{i})$ for $1\leq i\leq Tr_{n-1}(n,\bigwedge_{2r+1})+1$ and $F_{i}\in{\mathcal{F}}$, $x_{i}\in[n]$ such that all $F_{i}$’s are distinct and $F_{i}|_{[n]\setminus x_{i}}$ is the bottom element of a copy of $\bigvee_{2s+1}$ in ${\mathcal{F}}|_{[n]\setminus\{x_{i}\}}$. Therefore there exists a $y\in[n]$ such that

[TABLE]

contains a copy of $\bigwedge_{2r+1}$, say

[TABLE]

with $F_{1}|_{[n]\setminus\{y\}}$ being the top element. We claim that ${\mathcal{F}}|_{[n]\setminus\{x_{1},y\}}$ contains a copy of $K_{r,1,s}$. Indeed, let

[TABLE]

be sets the traces of which form a copy of $\bigvee_{2s+1}$ on $[n]\setminus\{x_{1}\}$ (these sets exist by the definition of $F_{1}$ and $x_{1}$). As removing one element may cause at most 2 sets to have the same trace, $F_{1}$ and at least $s$ of the $G_{i}$’s will have distinct traces on $[n]\setminus\{x_{1},y\}$ and thus will form a copy of $\bigvee_{r}$ with $F_{1}|_{[n]\setminus\{x_{1},y\}}$ being the bottom element. The same reasoning shows that we can pick $r$ of $F_{2},F_{3},\dots,F_{2r+2}$ such that their traces on $[n]\setminus\{x_{1},y\}$ together with $F_{1}|_{[n]\setminus\{x_{1},y\}}$ form a copy of $\bigwedge_{r}$ with $F_{1}|_{[n]\setminus\{x_{1},y\}}$ being the top element. Putting these copies of $\bigvee_{s}$ and $\bigwedge_{r}$ together, we obtain a copy of $K_{r,1,s}$. ∎

Note that $K_{r,s}$ is a subposet of $K_{r,1,s}$, hence Theorem 1.7 (iii) is proved. ∎

Let $T$ be a tree poset with a unique maximum element $m$. We define two new posets obtained from $T$. Let $T^{k}$ denote the poset obtained from $T$ by replacing $m$ with an antichain of size $k$. Equivalently,

[TABLE]

such that the $m_{i}$’s form an antichain, for any $t\in T\setminus\{m\}$ and $1\leq i\leq k$ we have $t<_{T^{k}}m_{i}$ and for any $t,t^{\prime}\in T\setminus\{m\}$ we have $t<_{T^{k}}t^{\prime}$ if and only if $t<_{T}t^{\prime}$. Note that $T^{k}$ is not a tree poset unless there is a unique element of $T$ that precedes $m$. Also, if $T^{k}$ is not a tree poset, then $e(T^{k})=e(T)+1=h(T)$.

Let $T^{\otimes r}$ be the tree poset defined recursively (with respect to its height) in the following way: if $T=P_{1}$ is the poset with one element, then $T^{\otimes r}=P_{1}$ for any $r$. Otherwise, if the maximum element $m$ of $T$ has $c$ children in its Hasse-diagram and the posets below its children are $T_{1},T_{2},\dots,T_{c}$, then the maximum element of $T^{\otimes r}$ has $c\cdot r$ children $m_{1},m_{2},\dots,m_{cr}$ such that $m_{(j-1)r+i}$ is the maximum element of a poset isomorphic to $T^{\otimes r}_{j}$ for every $1\leq j\leq c$ and $1\leq i\leq r$.

Theorem 3.4**.**

For any integer $s$ and tree poset $T$ with a unique maximum element we have

[TABLE]

Proof.

The proof relies on the following lemma.

Lemma 3.5**.**

For any integer $s$ we have

[TABLE]

Proof of lemma.

Let ${\mathcal{F}}\subseteq 2^{[n]}$ be a family of size $La(n,T^{\otimes 2})+Tr_{n-1}(n,\bigvee_{s-1})+1$. Then ${\mathcal{F}}$ contains a copy of $T^{\otimes 2}$. Let $F_{1}$ be the set of this copy corresponding to the top element of $T^{\otimes 2}$. As ${\mathcal{F}}\setminus\{F_{1}\}$ is still larger than $La(n,T^{\otimes 2})$, we can pick a set $F_{2}\in{\mathcal{F}}\setminus\{F_{1}\}$ that corresponds to the top element of $T^{\otimes 2}$ in a copy in ${\mathcal{F}}\setminus\{F_{1}\}$. Repeating this, we can obtain sets $F_{1},F_{2},\dots,F_{Tr_{n-1}(n,\bigvee_{s-1})+1}$ with the property that for every $F_{j}$ there exists a copy of $T^{\otimes 2}$ in ${\mathcal{F}}$ in which they correspond to the top element. Let us write

[TABLE]

By definition, there exists $x\in[n]$ such that ${\mathcal{F}}^{\prime}|_{x}$ contains a copy of $\bigvee_{s-1}$, say $F_{1}\setminus\{x\},F_{2}\setminus\{x\},\dots,F_{s}\setminus\{x\}$. We claim that ${\mathcal{F}}|_{[n]\setminus\{x\}}$ contains a copy of $T^{s}$ with $F_{1}\setminus\{x\},F_{2}\setminus\{x\},\dots,F_{s}\setminus\{x\}$ playing the role of the $s$ top elements of $T^{s}$.

Indeed, without loss of generality we can assume that $F_{s}\setminus\{x\}\subsetneq F_{i}\setminus\{x\}$ holds for all $1\leq i\leq s-1$. We know that there exists a copy of $T^{\otimes 2}$ in ${\mathcal{F}}$ with $F_{s}$ playing the role of the top of $T^{\otimes 2}$. We claim that we can take some of the sets (including $F_{s}$) of this copy of $T^{\otimes 2}$ such that their traces on $[n]\setminus\{x\}$ form a copy of $T$ and thus together with $F_{1}\setminus\{x\},F_{2}\setminus\{x\},\dots,F_{s-1}\setminus\{x\}$ they form a copy of $T^{s}$ in ${\mathcal{F}}_{[n]\setminus\{x\}}$. To see this, we only need to observe that if $G_{1},G_{2}\subsetneq G$ and $G_{1}\neq G_{2}$, then for any $y$ at least one of $G_{1}\setminus\{y\},G_{2}\setminus\{y\}$ is a strict subset of $G\setminus\{y\}$. So we can pick the sets of the copy of $T$ recursively starting with $F_{s}$.

Thus we indeed obtained a copy of $T^{s}$ in ${\mathcal{F}}|_{[n]\setminus\{x\}}$. ∎

Now the upper bound in Theorem 3.4 follows from Lemma 3.5, Theorem 1.7 (i) and Theorem 1.2 using the simple observation that the height of $T$ and $T^{\otimes r}$ are the same and therefore we have $e(T)=e(T^{\otimes r})$ for any integer $r$.

The lower bound is due to the general observation made before Conjecture 1.6 that $Tr_{n-1}(n,P)\geq(e(P)-1-o(1))\binom{n}{\lfloor n/2\rfloor}$ holds for any poset $P$. ∎

Note that Theorem 1.7 (ii) follows by applying Theorem 3.4 to $T=\bigwedge_{r}$.

In the remainder of this Section, we prove Theorem 1.8. We will use the following lemma.

Lemma 3.6**.**

Let $G$ be a graph on $n$ vertices and let $\ell:E\rightarrow\mathbb{R}$ be a labeling of the edges such that in any 4-cycle the edges with the smallest and largest $\ell$-value are adjacent (if there are more edges with smallest or largest $\ell$-value, then all these pairs of edges are adjacent). Then $G$ cannot contain a complete bipartite graph with partite sets of size 3 and 17.

Proof of lemma.

We can assume that $\ell$ is injective as that makes the weakest restriction. Suppose towards a contradiction that $G$ contains 20 vertices $A,B,C$ and $v_{1},v_{2},\dots,v_{17}$ such that $A,B,C$ are connected to all $v_{i}$’s. By rearranging, we may assume that $\ell(Av_{i})<\ell(Av_{j})$ whenever $i<j$. By the famous result of Erdős and Szekeres [7], there exist five vertices $v_{i_{1}},\dots,v_{i_{5}}$ ($i_{1}<i_{2}<i_{3}<i_{4}<i_{5}$) such that the sequence $l(Bv_{i_{j}}$) $j=1,2,3,4,5$ is monotone. Applying again the Erdős -Szekeres result we find three veritces $\alpha,\beta,\gamma$ among the $v_{i_{j}}$’s such that

[TABLE]

[TABLE]

[TABLE]

all form monotone sequences. So two of these triples are monotone decreasing or increasing. By rearranging if necessary, we may suppose that

[TABLE]

hold.

As $A\alpha$ is the smallest labeled edge in the cycles $A\alpha B\beta$ and $A\alpha B\gamma$, using that the smallest and the largest labeled edges must be adjacent, we obtain $l(B\beta)<l(A\beta)$ and $l(B\gamma)<l(A\gamma)$. But then in the cycle $A\beta B\gamma$ we have $l(B\beta)<l(A\beta),l(B\gamma)<l(A\gamma)$, so the smallest labeled edge is $B\beta$ and the largest labeled edge is $A\gamma$, contradicting that these should be adjacent. ∎

Proof of Theorem 1.8.

Let ${\mathcal{F}}\subseteq 2^{[n]}$ be an $(n-2)$-trace diamond-free family. As $|\binom{[n]}{\leq\lfloor n/2-n^{2/3}\rfloor}\cup\binom{[n]}{\geq\lfloor n/2+n^{2/3}\rfloor}|=o(\frac{1}{n}\binom{n}{\lfloor n/2\rfloor})$, we may and will assume that all sets of ${\mathcal{F}}$ have size from $[n/2-n^{2/3},n/2+n^{2/3}]$.

Let us consider a (symmetric) chain partition $\mathbb{C}$ of $2^{[n]}$, i.e. $\mathbb{C}$ consists of $\binom{n}{\lfloor n/2\rfloor}$ chains ${\mathcal{C}}$ such that $\cup_{{\mathcal{C}}\in\mathbb{C}}{\mathcal{C}}=2^{[n]}$ and for any pair ${\mathcal{C}},{\mathcal{C}}^{\prime}\in\mathbb{C}$ we have ${\mathcal{C}}\cap{\mathcal{C}}^{\prime}=\emptyset$. For any ${\mathcal{C}}\in\mathbb{C}$ let us define the graph $G_{\mathcal{C}}$ with vertex set $[n]$ and edge set

[TABLE]

Let $e_{\mathcal{C}}$ denote the number of edges in ${\mathcal{G}}_{\mathcal{C}}$ and let us bound $\sum_{{\mathcal{C}}\in\mathbb{C}}e_{\mathcal{C}}$.

Every $F\in{\mathcal{F}}$ contains $\binom{|F|}{2}$ pairs and each of them belongs to different chains. Moreover, for every ${\mathcal{C}}$ and every edge $e\in E(G_{{\mathcal{C}}})$ there can be at most 3 sets $F\in{\mathcal{F}}$ containing $e$ and $F\setminus e\in{\mathcal{C}}$ (as otherwise these sets would form a 4-chain, i.e. a special copy of the diamond), so we obtain

[TABLE]

On the other hand for any ${\mathcal{C}}\in\mathbb{C}$ let us define the labeling $\ell:E(G_{\mathcal{C}})\rightarrow\{0,1,\dots,n\}$ by letting $\ell(e):=|C|$ with $C\in{\mathcal{C}},C\cup e\in{\mathcal{F}}$ (if there are more such sets $C$, then take the size of an arbitrary one). Note that $G_{\mathcal{C}}$ and the labeling $\ell$ satisfy the conditions of Lemma 3.6. Indeed, if $e_{1},e_{2},e_{3},e_{4}$ are consecutive edges of a 4-cycle in $G_{\mathcal{C}}$ with $C_{1},C_{2},C_{3},C_{4}\in{\mathcal{C}}$ and $e_{i}\cup C_{i}=F_{i}\in{\mathcal{F}}$ such that $|C_{1}|\leq|C_{2}|,|C_{4}|\leq|C_{3}|$, then the traces of the $F_{i}$’s on $[n]\setminus e_{1}$ form a copy of the diamond poset. Lemma 3.6 implies $G_{{\mathcal{C}}}$ does not contain a complete bipartite graph with parts of size 3 and 17. Therefore the celebrated Kővári - T. Sós - Turán theorem [12] implies $e_{\mathcal{C}}=O(n^{2-1/3})$ for all ${\mathcal{C}}\in\mathbb{C}$. Summing over $\mathbb{C}$ we obtain

[TABLE]

Rearranging yields the theorem. ∎

4 Concluding remarks

We finish this article by posing some remarks and problems concerning our results.

$\bullet$ We conjecture the following about the butterfly poset:

Conjecture 4.1**.**

If $n\geq 5$, then $Tr_{n-1}(n,B)=\binom{n}{\lfloor n/2\rfloor}$.

$\bullet$ We introduced the functions $La_{D}(n,P)$ and $La_{U}(n,P)$ as lower bounds on $Tr(n,P)$. They seem to be interesting on their own right, and we are not aware of any earlier study on them. Natural questions arise about the order of magnitude of $La_{D}(n,P)$.

It is natural to ask if we can find an upper bound on $La_{D}(n,P)$ using $x(P)$. However, we show a poset $P_{m}$ for every $m$ such that $x(P_{m})=1$ and $La_{D}(n,P)=\Omega(n^{m})$.

Let $(P_{m},<)$ consist of a minimal element $a$, $2^{m}+1$ elements $b_{1},\dots,b_{2^{m}+1}$ with $a<b_{i}$ for $1\leq i\leq 2^{m}+1$ and $m^{\prime}:=\binom{2^{m}+1}{2}$ elements $c_{1},\dots,c_{m^{\prime}}$ such that for every two different $b_{k},b_{l}$ there is exactly one $c_{j}$ with $b_{k},b_{l}<c_{j}$. Observe that we have $x(P_{m})=1$ as a family consisting of sets of size at most $2$ is $P_{m}$-free if and only if its $2$-element sets do not contain a copy of the complete graph $K_{m}$. On the other hand consider a partition of $[n]$ into $m$ sets $A_{1},\dots,A_{m}$ of almost equal size. Consider the family ${\mathcal{F}}$ of sets that intersect every $A_{j}$ in at most one element. It is obvious that ${\mathcal{F}}$ is downward closed and has cardinality $\Omega(n^{m})$. We will show it is $P_{m}$-free.

Suppose by contradiction that ${\mathcal{F}}$ contains a copy of $P_{m}$. Let ${\mathcal{F}}_{1}$ be the subfamily consisting of the sets that correspond to $b_{1},\dots,b_{2^{m}+1}$. If two distinct element of $A_{j}$ are both contained in members of ${\mathcal{F}}_{1}$, then they are both contained in a set corresponding to $c_{k}$ for some $k$, which is impossible. Thus $\cup{\mathcal{F}}_{1}$ intersects every $A_{j}$ in at most one vertex, which implies $|\cup{\mathcal{F}}_{1}|\leq m$. Therefore we have $|{\mathcal{F}}_{1}|\leq 2^{m}$, a contradiction.

$\bullet$ Concerning the connection of $La_{D}(n,P)$, $La_{U}(n,P)$ and $Tr(n,P)$, the obvious question is the following: is Proposition 2.8 sharp for $n$ large enough? We know that $6=Tr(3,B)>\max\{La_{D}(3,B),La_{U}(3,B)\}=5$, but also that $Tr(n,B)=\max\{La_{D}(n,B),La_{U}(n,B)\}$ if $n>4$. The sharpness of Proposition 2.8 would mean that we could use down-compression in forbidden subposet problems for traces, similarly to Theorem 2.1.

Another possible improvement that would essentially be equivalent to using down- compressions is at Proposition 2.3. Can we replace $Tr$ by $\max\{La_{D},La_{U}\}$ in Proposition 2.3? For the butterfly poset and $n=3$ these are different but $(n,m)\rightarrow(5,9)$ would give the same bound. On the other hand, note that Proposition 2.3 is sharp for any poset $P$. Indeed, $Tr(n,P)\geq\min\{m:\exists k\,(n,m)\rightarrow(k,Tr(k,P)+1)\}-1$, as shown by $k=n$. The question is if we can chose a small $k$. More precisely, is there a constant $c(P)$ for every poset $P$ such that determining $Tr(c(P),P)$ and using Proposition 2.3 is enough to find $Tr(n,P)$ for every $n$ (like $c(P)=5$ for the butterfly poset)?