The boundedness conjecture for induced saturation under adjoining a maximum

Let PP be a poset, and let P˙\dot P denote the poset obtained from PP by adjoining a largest element. Write sat(n,P){\rm sat}^*(n,P) for the minimum size of a maximal induced PP-free subposet of the Boolean lattice BnB_n.

Adjoining-a-maximum conjecture. The quantity sat(n,P){\rm sat}^*(n,P) is bounded as a function of nn if and only if sat(n,P˙){\rm sat}^*(n,\dot P) is bounded as a function of nn.

The observation preceding the conjecture shows one implication at the level of saturating families when PP has no largest element, but the authors could verify neither direction in general. The equivalence is known only in special cases and remains open.

Sources & referencesView supporting material

Primary source

Balázs Keszegh, Nathan Lemons, Ryan R. Martin, Dömötör Pálvölgyi and Balázs Patkós, “Induced and non-induced poset saturation problems”, arXiv:2003.04282 (2022).

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.