Induced forbidden subposet density conjecture

About 12 years old · traced to

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)=lim⁡n→∞La∗(n,P)(n⌊n/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.

References

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.