The linear-or-bounded conjecture for induced poset saturation

Let P\mathcal P be a finite poset. For a family F\mathcal F of subsets of [n][n], call F\mathcal F P\mathcal P-saturated if it contains no induced copy of P\mathcal P, but F{S}\mathcal F\cup\{S\} contains an induced copy of P\mathcal P for every SFS\notin\mathcal F. Write sat(n,P)\operatorname{sat}^*(n,\mathcal P) for the smallest size of a P\mathcal P-saturated family.

The linear-or-bounded conjecture. For every finite poset P\mathcal P, the induced saturated number sat(n,P)\operatorname{sat}^*(n,\mathcal P) is either bounded, or at least linear in nn.

Earlier results showed that the induced saturated number for every poset is either bounded or at least logarithmic in nn, and later at least 2n2\sqrt n. The conjecture asserts that the lower-growth alternative can always be strengthened to linear growth.

Sources & referencesView supporting material

Primary source

Maria-Romina Ivan and Sean Jaffe, “Saturation for Sums of Posets and Antichains”, arXiv:2509.10294 (2025).

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.