arXiv++ Combinatorics

Given a graph $H$, we say a graph $G$ is properly rainbow $H$-saturated if there is a proper edge-coloring of $G$ which contains no rainbow copy of $H$, but adding any edge to $G$ makes such an edge-coloring impossible. The proper rainbow saturation number, denoted $\text{sat}^*(n,H)$, is the minimum number of edges in an $n$-vertex rainbow $H$-saturated graph. We determine the proper rainbow saturation number for paths up to an additive constant and asymptotically determine $\text{sat}^*(n,K_4)$. In addition, we bound $\text{sat}^*(n,H)$ when $H$ is a larger clique, tree of diameter at least 4, or odd cycle.

Given a set $X$, the power set $\mathbb{P}(X)$, and a finite poset $P$, a family $F\subset \mathbb{P}(X)$ is said to be induced-$P$-free if there is no injection $φ: P\rightarrow \mathbb{F}$ such that $φ(p)\subseteqφ(q)$ if and only if $p\leq_{P} q$, for all $p, q \in P$. The family $F$ is induced-$P$-saturated if it is maximal with respect to being induced-$P$-free. If $n=|X|$, then the size of the smallest induced-$P$-saturated family in $\mathbb{P}(X)$ is denoted $sat(n,P)$. The poset $2C_2$ is two incomparable 2-chains (the Hasse diagram is two vertex-disjoint edges) and Keszegh, Lemons, Martin, Pálvölgyi, and Patkós proved that $n+2\leq sat(n,2C_2)\leq 2n$ and gave one isomorphism class of an induced-$2C_2$-saturated family that achieves the upper bound. We show that the lower bound can be improved to $3n/2 + 1/2$ by examining the necessary structure of a saturated family. In addition, we provide many examples of induced-$2C_2$-saturated families of size $2n$ in $\mathbb{P}(X)$ where $|X|=n$.

Given a set $X$, a collection $\mathcal{F} \subset \mathcal{P}(X)$ is said to be $k$-Sperner if it does not contain a chain of length $k+1$ under set inclusion and it is saturated if it is maximal with respect to this probability. Gerbner et al. proved that the smallest saturated $k$-Sperner system contains at least $2^{k/2-1}$ elements, and later, Morrison, Noel, and Scott showed that the smallest such set contains no more than $2^{0.976723k}$ elements. We improve both the upper and lower bounds, showing that the size of the smallest saturated $k$-Sperner system lies between $\sqrt{k}2^{k/2}$ and $2^{0.961471k}$.