The complement-closed Lubell bound conjecture for bipartite graphs

Let GG be a bipartite graph that is not a matching. For a poset PP, let  ⁣Lasym(n,P)\mathop{}\!\mathrm{La}_{sym}(n,P) denote the maximum size of a PP-free complement-closed family of subsets of [n][n], and let PG,AP_{G,A} be the poset associated with the part AA of GG. The complement-closed Lubell bound conjecture.

 ⁣vex(n,G)=2n1+12 ⁣Lasym(n,PG,A)+o((nn/2)).\mathop{}\!\mathrm{vex}(n,G)=2^{n-1}+\frac{1}{2}\mathop{}\!\mathrm{La}_{sym}(n,P_{G,A})+o\left(\binom{n}{n/2}\right).

This conjecture asserts that the complement-closed poset-free-family upper bound gives the correct asymptotics for every bipartite graph that is not a matching. The source provides no resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Dániel Gerbner and Balázs Patkós, “A note on vertex Turán problems in the Kneser cube”, arXiv:2402.02525 (2024).

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.