The Bounded-Linear Dichotomy Holds for all 4 Point Posets
Abstract
Given a finite poset 𝒫, its induced saturation number, sat*(n,𝒫) is the smallest size a family of subsets of [n] can have such that it does not contain an induced copy of 𝒫, but adding any other set to it creates one. The saturation numbers already show a sharp dichotomy -- Freschi, Piga, Sharifzadeh and Treglown showed that for any given poset its saturation number is either bounded or at least 2√n. The dominant conjecture is that in fact, the saturation numbers are either bounded, or exactly linear. In this paper we show that this dichotomy is true for all posets on at most 4 points. Most of these posets, most notably the butterfly and the diamond, had individually long resisted analysis, and the missing piece which this paper tackles is the poset comprised of a 𝒱 and an isolated point, denoted by 𝒱̂, for which we show linear saturation. The architecture of the proof uncovers the structure of an arbitrary 𝒱̂- saturated family, namely an antichain with at most two chains above it, and an upside-down forest below it. Moreover, we anticipate that, at least partially, this structure is relevant to the wider class of posets that contain an isolated point.
Related
- Shape without scale: an identifiability dichotomy for a bounded tail observed through a non-additive measurement kernel
- Counting linear extensions of incidence posets of bipartite graphs is #P-complete
- Optimal and minimal p-ary linear codes from generalized order ideals of hierarchical posets
- Heat equation with singular drift which has bounded solution discontinuous at an interior point
- Linear Independence of Polynomial Compositions with Bounded Input Degree
BibTeX
@misc{ivan2026boundedlinear,
title = {{The Bounded-Linear Dichotomy Holds for all 4 Point Posets}},
author = {Maria-Romina Ivan and Sean Jaffe},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.06527},
eprint = {2610.06527},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.06527},
}
RIS
TY - UNPB
TI - The Bounded-Linear Dichotomy Holds for all 4 Point Posets
AU - Maria-Romina Ivan
AU - Sean Jaffe
PY - 2026
DA - 2026/10/05
PB - arXiv
DO - 10.48550/arxiv.2610.06527
UR - https://arxiv.org/abs/2610.06527
AB - Given a finite poset 𝒫, its induced saturation number, sat^*(n,𝒫) is the smallest size a family of subsets of [n] can have such that it does not contain an induced copy of 𝒫, but adding any other set to it creates one. The saturation numbers already show a sharp dichotomy -- Freschi, Piga, Sharifzadeh and Treglown showed that for any given poset its saturation number is either bounded or at least 2√n. The dominant conjecture is that in fact, the saturation numbers are either bounded, or exactly linear. In this paper we show that this dichotomy is true for all posets on at most 4 points. Most of these posets, most notably the butterfly and the diamond, had individually long resisted analysis, and the missing piece which this paper tackles is the poset comprised of a 𝒱 and an isolated point, denoted by 𝒱̂, for which we show linear saturation. The architecture of the proof uncovers the structure of an arbitrary 𝒱̂- saturated family, namely an antichain with at most two chains above it, and an upside-down forest below it. Moreover, we anticipate that, at least partially, this structure is relevant to the wider class of posets that contain an isolated point.
ER -