The asymptotic extremal conjecture for forbidden subposets

Let PP be a finite poset. For a family F2[n]\mathcal F\subseteq 2^{[n]}, let La(n,P)La(n,P) be the largest size of a PP-free family, and let La(n,P)La^*(n,P) be the largest size of an induced PP-free family. Let e(P)e(P) and e(P)e^*(P) be the maximum integers defined by the corresponding unions of consecutive levels being, respectively, PP-free and induced PP-free. The asymptotic extremal conjecture.

La(n,P)=(e(P)+o(1))(nn/2),La(n,P)=(e(P)+o(1))(nn/2).La(n,P)=(e(P)+o(1))\binom{n}{\lfloor n/2\rfloor},\qquad La^*(n,P)=(e^*(P)+o(1))\binom{n}{\lfloor n/2\rfloor}.

These conjectured asymptotics generalize the theorem of Erdős for chains and are fundamental problems in forbidden subposet theory. The source states that the conjecture has been verified for several classes of posets but remains open in general.

Sources & referencesView supporting material

Primary source

Dániel Gerbner, Dániel Nagy, Balázs Patkós and Máté Vizer, “Supersaturation, counting, and randomness in forbidden subposet problems”, arXiv:2007.06854 (2020).

Additional references

3 papers in this index state this conjecture (2011–2020). The statement above is taken from the most recent of them; the others are arXiv:1804.01606, arXiv:1111.4636.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.