The counting conjecture for forbidden and induced subposets

Let PP be a finite poset. Let e(P)e(P) and e(P)e^*(P) be the consecutive-level parameters for, respectively, PP-free and induced PP-free families in 2[n]2^{[n]}. The counting conjecture. The number of PP-free families in 2[n]2^{[n]} is

2(e(P)+o(1))(nn/2),2^{(e(P)+o(1))\binom{n}{\lfloor n/2\rfloor}},

and the number of induced PP-free families is

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

The lower bounds follow from taking subfamilies of consecutive middle levels. The source discusses known results for P2P_2 but gives no general resolution of these assertions.

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).

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.