The induced saturation problem for posets

From MaRDI portal



Abstract: For a fixed poset P, a family mathcalF of subsets of [n] is induced P-saturated if mathcalF does not contain an induced copy of P, but for every subset S of [n] such that SotinmathcalF, then P is an induced subposet of mathcalFcupS. The size of the smallest such family mathcalF is denoted by extsat∗(n,P). Keszegh, Lemons, Martin, P'alv"olgyi and Patk'os [Journal of Combinatorial Theory Series A, 2021] proved that there is a dichotomy of behaviour for this parameter: given any poset P, either extsat∗(n,P)=O(1) or extsat∗(n,P)geqlog2n. In this paper we improve this general result showing that either extsat∗(n,P)=O(1) or extsat∗(n,P)geq2sqrtn−2. Our proof makes use of a Tur'an-type result for digraphs. Curiously, it remains open as to whether our result is essentially best possible or not. On the one hand, a conjecture of Ivan states that for the so-called diamond poset Diamond we have extsat∗(n,Diamond)=Theta(sqrtn); so if true this conjecture implies our result is tight up to a multiplicative constant. On the other hand, a conjecture of Keszegh, Lemons, Martin, P'alv"olgyi and Patk'os states that given any poset P, either extsat∗(n,P)=O(1) or extsat∗(n,P)geqn+1. We prove that this latter conjecture is true for a certain class of posets P.











This page was built for publication: The induced saturation problem for posets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6204679)