{"id":"arxiv/2604.06521","url":"https://arxiv.org/abs/2604.06521","tags":["math.CO"],"score":0,"title":"The Exact Saturation Number for the Diamond","domain":"math.CO","source":"arxiv","authors":["Maria-Romina Ivan","Sean Jaffe"],"reviews":0,"subject":"math.CO","summary":"What is the smallest size of a family of subsets of $[n]$ such that it does not contain an induced copy of $Q_2$ as a poset (known as the \\textit{diamond}), but adding a new set creates such a copy? It is easy to see that a maximal chain has this property, and thus the answer is at most $n+1$. Despite the simplicity of the diamond structure, the lower bound stagnated at $\\sqrt n$ for quite some time, until recently the authors obtained a linear lower bound. In this paper, we fully solve this question showing that such a family must have size at least $n+1$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-07","reactions":{}}