arXiv++ Combinatorics

Order polytopes of posets have been a very rich topic at the crossroads between combinatorics and discrete geometry since their definition by Stanley in 1986. Among other notable results, order polytopes of graded posets are known to be $γ$-nonnegative by work of Brändén, who introduced the concept of sign-graded poset in the process. In the present paper we are interested in proving an equivariant version of Brändén's result, using the tools of equivariant Ehrhart theory (introduced by Stapledon in 2011). Namely, we prove that order polytopes of graded posets are always $γ$-effective, i.e., that the $γ$-polynomial associated with the equivariant $h^*$-polynomial of the order polytope of any graded poset has coefficients consisting of actual characters. To reach this goal, we develop a theory of order polytopes of sign-graded posets, and find a formula to express the numerator of the equivariant Ehrhart series of such an object in terms of the saturations (à la Brändén) of the given sign-graded poset.

Given an $r$-uniform hypergraph $H$ and a positive integer $n$, the weak saturation number $\mathrm{wsat}(n,H)$ is the minimum number of edges in an $r$-uniform hypergraph $F$ on $n$ vertices such that the missing edges in $F$ can be added, one at a time, so that each added edge creates a copy of $H$. Shapira and Tyomkyn (Proceedings of the American Mathematical Society, 2023) proved Tuza's conjecture on asymptotic behaviour of $\mathrm{wsat}(n, H)$. In this paper we provide a significantly shorter proof of the conjecture.

Given a family of graphs $\mathcal{F}$, a graph $G$ is said to be $\mathcal{F}$-saturated if $G$ does not contain a copy of $F$ as a subgraph for any $F\in\mathcal{F}$, but the addition of any edge $e\notin E(G)$ creates at least one copy of some $F\in\mathcal{F}$ within $G$. The minimum size of an $\mathcal{F}$-saturated graph on $n$ vertices is called the saturation number, denoted by $\mbox{sat}(n, \mathcal{F})$. Let $C_r$ be the cycle of length $r$. In this paper, we study on $\mbox{sat}(n, \mathcal{F})$ when $\mathcal{F}$ is a family of cycles. In particular, we determine that $\mbox{sat}(n, \{C_4,C_5\})=\lceil\frac{5n}{4}-\frac{3}{2}\rceil$ for any positive integer $n$.

Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy of $\mathcal P$. The saturation number of $\mathcal P$ is the size of the smallest $\mathcal P$-saturated family with ground set $[n]$. The saturation number for posets is known to exhibit a dichotomy: it is either bounded or it has at least $\sqrt n$ rate of growth. Determining which posets have bounded saturation number is a major open problem. In this paper we consider a `gluing' operation, formed from two finite posets $\mathcal P$ and $\mathcal Q$ by setting all elements of $\mathcal P$ to be below all elements of $\mathcal Q$. We show that (under some mild assumptions) this operation preserves bounded and unbounded saturation number. This is the first such `new from old' poset construction to be found. As an application, we show that for any poset $\mathcal P$ one may add at most 3 elements to $\mathcal P$ to obtain a poset whose saturation number growth is at most linear: this may be viewed as a step towards the other major open problem in the area, namely the conjecture that every finite poset has this growth at most linear. We also consider the poset equivalent of weak saturation for graphs: for each finite poset $\mathcal P$, we determine exactly the minimum size of a percolating family for $\mathcal P$.

For a fixed graph $H$, a graph $G$ is called $H$-saturated if $G$ does not contain $H$ as a (not necessarily induced) subgraph, but $G+e$ contains a copy of $H$ for any $e\in E(\overline{G})$. The saturation number of $H$, denoted by ${\rm sat}(n,H)$, is the minimum number of edges in an $n$-vertex $H$-saturated graph. A wheel $W_n$ is a graph obtained from a cycle of length $n$ by adding a new vertex and joining it to every vertex of the cycle. A well-known result of Erdős, Hajnal and Moon shows that ${\rm sat}(n,W_3)=2n-3$ for all $n\geq 4$ and $K_2\vee \overline{K_{n-2}}$ is the unique extremal graph, where $\vee$ denotes the graph join operation. In this paper, we study the saturation number of $W_4$. We prove that ${\rm sat}(n,W_4)=\lfloor\frac{5n-10}{2}\rfloor$ for all $n\geq 6$ and give a complete characterization of the extremal graphs.

A graph $G$ is said to be $F$-free, if $G$ does not contain any copy of $F$. $G$ is said to be $F$-semi-saturated, if the addition of any nonedge $e \not \in E(G)$ would create a new copy of $F$ in $G+e$. $G$ is said to be $F$-saturated, if $G$ is $F$-free and $F$-semi-saturated. The saturation number $sat(n,F)$ (resp. semi-saturation number $ssat(n,F)$) is the minimum number of edges in an $F$-saturated (resp. $F$-semi-saturated) graph of order $n$. In this paper we proved several results on the (semi)-saturation number of the wheel graph $W_k=K_1 \vee C_k$. Let $k,n$ be positive integers with $k \geq 8$ and $n \geq 56k^3$, we showed that $(s)sat(n,W_k)=n-1+(s)sat(n-1,C_k)$. We also establish the lower bound of semi-saturation number of $W_k$ with restriction on maximum degree.

A 0-1 matrix $M$ contains a 0-1 matrix $P$ if $M$ has a submatrix $P'$ which can be turned into $P$ by changing some of the ones to zeroes. Matrix $M$ is $P$-saturated if $M$ does not contain $P$, but any matrix $M'$ derived from $M$ by changing a zero to a one must contain $P$. The saturation function $sat(n,P)$ is defined as the minimum number of ones of an $n \times n$ $P$-saturated 0-1 matrix. Fulek and Keszegh showed that each pattern $P$ has $sat(n,P) = O(1)$ or $sat(n,P) = Θ(n)$. This leads to the natural problem of classifying forbidden 0-1 matrices according to whether they have linear or bounded saturation functions. Some progress has been made on this problem: multiple infinite families of matrices with bounded saturation function and other families with linear saturation function have been identified. We answer this question for all patterns with at most four ones, as well as several specific patterns with more ones, including multiple new infinite families. We also consider the effects of certain matrix operations, including the Kronecker product and insertion of empty rows and columns. Additionally, we consider the simpler case of fixing one dimension, extending results of (Fulek and Keszegh, 2021) and (Berendsohn, 2021). We also generalize some results to $d$-dimensional saturation.

The forbidden subgraph problem is among the oldest in extremal combinatorics -- how many edges can an $n$-vertex $F$-free graph have? The answer to this question is the well-studied extremal number of $F$. Observing that every extremal example must be maximally $F$-free, a natural minimization problem is also studied -- how few edges can an $n$-vertex maximal $F$-free graph have? This leads to the saturation number of $F$. Both of these problems are notoriously difficult to extend to $k$-uniform hypergraphs for any $k\ge 3$. Barefoot et al., in the case of forbidding triangles in graphs, asked a beautiful question -- which numbers of edges, between the saturation number and the extremal number, are actually realized by an $n$-vertex maximal $F$-free graph? Hence named the saturation spectrum of $F$, this has since been determined precisely for several classes of graphs through a large number of papers over the past two decades. In this paper, we extend the notion of the saturation spectrum to the hypergraph context. Given a graph $F$ and a hypergraph $G$ embedded on the same vertex set, we say $G$ is a {\bf{Berge-$F$}} if there exists a bijection $φ:E(F)\to E(G)$ such that $e\subseteq φ(e)$ for all $e\in E(F)$. We completely determine the saturation spectrum for $3$-uniform Berge-$K_{1,\ell}$ for $1\leq \ell\leq 4$, and for $\ell=5$ when $5\mid n$. We also determine all but a constant number of values in the spectrum for $3$-uniform Berge-$K_{1,\ell}$ for all $\ell\geq 5$. We note that this is the first result determining the saturation spectrum for any non-trivial hypergraph.

In this paper, we estimate the weak saturation numbers of trees. As a case study, we examine caterpillars and obtain several tight estimates. In particular, this implies that for any $α\in [1,2]$, there exist caterpillars with $k$ vertices whose weak saturation numbers are of order $k^α$. We call a tree good if its weak saturation number is exactly its edge number minus one. We provide a sufficient condition for a tree to be a good tree. With the additional property that all leaves are at even distances from each other, this condition fully characterizes good trees. The latter result also provides counterexamples, demonstrating that Theorem 8 of a paper by Faudree, Gould and Jacobson (R. J. Faudree, R. J. Gould, and M. S. Jacobson. Weak saturation numbers for sparse graphs. {\it Discussiones Mathematicae Graph Theory}, 33(4): 677-693, 2013.) is incorrect.

Given a graph $F$, a graph $G$ is weakly $F$-saturated if all non-edges of $G$ can be added in some order so that each new edge introduces a copy of $F$. The weak saturation number $\operatorname{wsat}(n, F)$ is the minimum number of edges in a weakly $F$-saturated graph on $n$ vertices. Bollobás initiated the study of weak saturation in 1968 to study percolation processes, which originated in biology and have applications in physics and computer science. It was shown by Alon that for each $F$, there is a constant $w_F$ such that $\operatorname{wsat}(n, F) = w_Fn + o(n)$. We characterize all possible rational values of $w_F$, proving in particular that $w_F$ can equal any rational number at least $\frac 32$.

We prove that determining the weak saturation number of a host graph $F$ with respect to a pattern graph $H$ is already a computationally hard problem when $H$ is the triangle. As our main tool we establish a connection between weak saturation and shellability of simplicial complexes.

An edge-coloring of a graph $H$ is a function $\mathcal{C}: E(H) \rightarrow \mathbb{N}$. We say that $H$ is rainbow if all edges of $H$ have different colors. Given a graph $F$, an edge-colored graph $G$ is $F$-rainbow saturated if $G$ does not contain a rainbow copy of $F$, but the addition of any nonedge with any color on it would create a rainbow copy of $F$. The rainbow saturation number $rsat(n,F)$ is the minimum number of edges in an $F$-rainbow saturated graph with order $n$. In this paper we proved several results on cycle rainbow saturation. For $n \geq 5$, we determined the exact value of $rsat(n,C_4)$. For $ n \geq 15$, we proved that $\frac{3}{2}n-\frac{5}{2} \leq rsat(n,C_{5}) \leq 2n-6$. For $r \geq 6$ and $n \geq r+3$, we showed that $ \frac{6}{5}n \leq rsat(n,C_r) \leq 2n+O(r^2)$. Moreover, we establish better lower bound on $C_r$-rainbow saturated graph $G$ while $G$ is rainbow.

We investigate two notions of saturation for partial planar embeddings of maximal planar graphs. Let $G = (V, E) $ be a vertex-labeled maximal planar graph on $ n $ vertices, which by definition has $3n - 6$ edges. We say that a labeled plane graph $H = (V, E')$ with $E' \subseteq E$ is a \emph{labeled plane-saturated subgraph} of $G$ if no edge in $E \setminus E'$ can be added to $H$ in a manner that preserves vertex labels, without introducing a crossing. The \emph{labeled plane-saturation ratio} $lpsr(G)$ is defined as the minimum value of $\frac{e(H)}{e(G)}$ over all such $H$. We establish almost tight bounds for $lpsr(G)$, showing $lpsr(G) \leq \frac{n+7}{3n-6}$ for $n \geq 47$, and constructing a maximal planar graph $G$ with $lpsr(G) \geq \frac{n+2}{3n-6}$ for each $n\ge 5$. Dropping vertex labels, a \emph{plane-saturated subgraph} is defined as a plane subgraph $H\subseteq G$ where adding any additional edge to the drawing either introduces a crossing or causes the resulting graph to no longer be a subgraph of $G$. The \emph{plane-saturation ratio} $psr(G)$ is defined as the minimum value of $\frac{E(H)}{E(G)}$ over all such $H$. For all sufficiently large $n$, we demonstrate the existence of a maximal planar graph $G$ with $psr(G) \geq \frac{\frac{3}{2}n - 3}{3n - 6} = \frac{1}{2}$.

We address several related problems on combinatorial discrepancy of trees in a setting introduced by Erdős, Füredi, Loebl and Sós. Given a fixed tree $T$ on $n$ vertices and an edge-colouring of the complete graph $K_n$, for every colour, we find a copy of $T$ in $K_n$ where the number of edges in that colour significantly exceeds its expected count in a uniformly random embedding. This resolves a problem posed by Erdős, Füredi, Loebl and Sós by generalising their work from two to many colours. Furthermore, if $T$ has maximum degree $Δ\leqεn$ for sufficiently small $ε> 0$ and the edge-colouring of $K_n$ is both balanced and ``not too close'' to one particular instance, we show that, for every colour, there is a copy of $T$ in $K_n$ where that colour appears on linearly more edges than any other colour. Several related examples are provided to demonstrate the necessity of the introduced structural restrictions. Our proofs combine saturation arguments for the existence of particular coloured substructures and analysis of conveniently defined local exchanges. Using similar methods, we investigate the existence of copies of a graph $H$ with prescribed number of edges in each colour in $2$-edge-coloured dense host graphs. In particular, for a graph $H$ with bounded maximum degree and balanced $2$-edge-colourings $\mathbf{c}$ of a host graph $G$ with minimum degree at least $(1-ε)n$ for some $ε> 0$, we show that, for any sufficiently large $n$ and sufficiently small $ε$, there exists a copy of $H$ where the number of edges in the two colours differ by at most $2$. Moreover, we completely characterise the pairs $(H,\mathbf{c})$ for which the difference of $2$ cannot be improved, refuting a conjecture by Mohr, Pardey, and Rautenbach.

A graph $H$ is said to be $F$-saturated relative to $G$, if $H$ does not contain any copy of $F$, but the addition of any edge $e$ in $E(G)\backslash E(H)$ would create a copy of $F$. The minimum size of an $F$-saturated graph relative to $G$ is denoted by $sat(G,F)$. Let $K_k^n$ be the complete $k$-partite graph containing $n$ vertices in each part and $C_\ell$ be the cycle of length $\ell$. In this paper we give an asymptotically tight bound of $sat(K_k^n,C_\ell)$ for all $ \ell \geq 4, k \geq 2$ except $(\ell,k)=(4,4)$. Moreover, we determined the exact value of $sat(K_k^n,C_\ell)$ for $ k>\ell=4 $ and $5 \geq \ell>k \geq 3$ and $(\ell,k)=(6,2)$.

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 graph $H$, we say that a graph $G$ is properly rainbow $H$-saturated if: (1) There is a proper edge colouring of $G$ containing no rainbow copy of $H$; (2) For every $e \notin E(G)$, every proper edge colouring of $G+e$ contains a rainbow copy of $H$. The proper rainbow saturation number $\text{sat}^*(n,H)$ is the minimum number of edges in a properly rainbow $H$-saturated graph. In this paper we initiate a systematic study of the proper rainbow saturation number for trees. We obtain exact and asymptotic results on $\text{sat}^*(n,T)$ for several infinite families of trees. Our proofs reveal connections to the classical saturation and semi-saturation numbers.

Given a graph $H$, we say that a graph $G$ is properly rainbow $H$-saturated if: (1) There is a proper edge colouring of $G$ containing no rainbow copy of $H$; (2) For every $e \notin E(G)$, every proper edge colouring of $G+e$ contains a rainbow copy of $H$. The proper rainbow saturation number $\text{sat}^*(n,H)$ is the minimum number of edges in a properly rainbow $H$-saturated graph. In this paper we use connections to the classical saturation and semi-saturation numbers to provide new upper bounds on $\text{sat}^*(n,H)$ for general cliques, cycles, and complete bipartite graphs. We also provide some general lower bounds on $\text{sat}^*(n,H)$ and explore several other interesting directions.

By inventing the notion of honeycombs, A. Knutson and T. Tao proved the saturation conjecture for Littlewood-Richardson coefficients. The Newell-Littlewood numbers are a generalization of the Littlewood-Richardson coefficients. By introducing honeycombs on a Möbius strip, we prove the saturation conjecture for Newell-Littlewood numbers posed by S. Gao, G. Orelowitz and A. Yong.

Erdős and Sós initiated the study of the maximum size of a $k$-uniform set system, for $k \geq 4$, with no singleton intersections $50$ years ago. In this work, we investigate the dual problem: finding the minimum size of a $k$-uniform hypergraph with no singleton intersections, such that adding any missing hyperedge forces a singleton intersection. These problems, known as saturation and semi-saturation, are typically challenging. Our focus is on an elementary-to-state case in the line of work by Erdős, Füredi and Tuza. We establish tight linear bounds for $k=4$, marking one of the first non-obvious cases with such a bound.