Induced forbidden subposet density conjecture

Let PP be a poset. Write BnB_n for the Boolean poset of all subsets of [n][n], and let La(n,P)La^*(n,P) be the maximum size of an induced PP-free subposet of BnB_n. Define

e(P)=the largest integer k such that, for every j and n, i=1k([n]j+i) is induced P-free.e^*(P)=\text{the largest integer }k\text{ such that, for every }j\text{ and }n,\ \bigcup_{i=1}^k\binom{[n]}{j+i}\text{ is induced }P\text{-free}.

Induced forbidden subposet density conjecture. The limit

π(P)=limnLa(n,P)(nn/2)\pi^*(P)=\lim_{n\to\infty}\frac{La^*(n,P)}{\binom{n}{\lfloor n/2\rfloor}}

exists and

π(P)=e(P).\pi^*(P)=e^*(P).

This is the induced analogue of the ordinary forbidden subposet density conjecture. The source notes that only limited results were known: an asymptotic upper bound was established for every poset, and the induced analogue was proved for tree posets with an o(1)o(1) error term, but the conjecture remains open in general.

Sources & referencesView supporting material

Primary source

Balazs Patkos, “Induced and non-induced forbidden subposet problems”, arXiv:1408.0899 (2015).

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.