The supersaturation conjecture for forbidden and induced subposets

Let PP be a poset and ε>0\varepsilon>0. Let La(n,P)La(n,P) and La(n,P)La^*(n,P) be the largest sizes of, respectively, PP-free and induced PP-free families in 2[n]2^{[n]}. Let e(P)e(P) and e(P)e^*(P) be the corresponding consecutive-level parameters. Let M(n,P)M(n,P) and M(n,P)M^*(n,P) denote the maximum numbers of copies and induced copies, respectively, of PP in a family contained in 2[n]2^{[n]}. The supersaturation conjecture. There exists δ>0\delta>0 such that every F2[n]\mathcal F\subseteq 2^{[n]} satisfying

F(e(P)+ε)(nn/2)|\mathcal F|\geq (e(P)+\varepsilon)\binom{n}{\lfloor n/2\rfloor}

contains at least δM(n,P)\delta M(n,P) copies of PP; likewise, every family satisfying

F(e(P)+ε)(nn/2)|\mathcal F|\geq (e^*(P)+\varepsilon)\binom{n}{\lfloor n/2\rfloor}

contains at least δM(n,P)\delta M^*(n,P) induced copies of PP.

This strengthens the asymptotic extremal conjecture by quantifying the number of forbidden configurations above the extremal threshold. The source presents it as a general conjecture and does not provide evidence of resolution.

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.