arXiv++ Combinatorics

A convex geometric graph is a graph whose vertices are the corners of a convex polygon P in the plane and whose edges are boundary edges and diagonals of the polygon. It is called triangulation-free if its non-boundary edges do not contain the set of diagonals of some triangulation of P. Aichholzer et al. (2010) showed that the maximum number of edges in a triangulation-free convex geometric graph on n vertices is ${{n}\choose{2}}-(n-2)$, and subsequently, Keller and Stein (2020) and (independently) Ali et al. (2022) characterized the triangulation-free graphs with this maximum number of edges. We initiate the study of the saturation version of the problem, namely, characterizing the triangulation-free convex geometric graphs which are not of the maximum possible size, but yet the addition of any edge to them results in containing a triangulation. We show that, surprisingly, there exist saturated graphs with only g(n) = O(n log n) edges. Furthermore, we prove that for any $n > n_0$ and any $g(n)\leq t \leq {{n}\choose{2}}-(n-2)$, there exists a saturated graph with n vertices and t edges. In addition, we obtain a complete characterization of all saturated graphs whose number of edges is ${{n}\choose{2}}-(n-1)$, which is 1 less than the maximum.

We prove that supports of non-symmetric Macdonald polynomials are $M$-convex. As a consequence, we resolve a 2019 conjecture of Monical, Tokcan, and Yong that they have the saturated Newton polytope property. As a further consequence, we prove that the moment polytopes of affine Schubert varieties in the affine Grassmannian of type $\mathrm{GL}$ are generalized permutahedra.

Given a poset $\mathcal{P}$, a family $\mathcal{F}$ of elements in the Boolean lattice is said to be $\mathcal{P}$-saturated if $\mathcal{F}$ does not contain an induced copy $\mathcal P$, but every proper superset of $\mathcal{F}$ contains one. The minimum size of a $\mathcal P$-saturated family in the $n$-dimensional Boolean lattice is denoted by $sat^*(n,\mathcal{P})$.\par In this paper, we consider the poset $\mathcal V_3$ (the four element poset with one minimal element and three incomparable maximal elements) and show that $sat^*(n,\mathcal{V}_3)\geq \frac{n}{2}$. This represents the first linear lower bound for $sat^*(n,\mathcal{V}_3)$, improving upon the previously best-known bound of $2\sqrt{n}$. Our result establishes that $sat^*(n,\mathcal{V}_3) = Θ(n)$.

Let $F$ and $G$ be two graphs. A spanning subgraph $H$ of $G$ is called weakly $F$-saturated if one can add to $H$ the edges of $G \setminus H$ in some order, so that whenever a new edge is added, a new copy of $F$ is formed. Obtaining lower bounds for the minimum size $\mathrm{wsat}(G,F)$ of such an $H$ is a classical problem in extremal combinatorics. In particular, in the past 40 years, various algebraic tools have been developed to prove lower bounds on the weak saturation number $\mathrm{wsat}(G,F)$. Our paper uncovers a new connection of weak saturation to topology of clique complexes, that allows to prove tight lower bounds in some cases when the algebraic tools are not efficient. It is easy to see that the smallest $K_3$-saturating graphs in $K_n$ are trees, thus $\mathrm{wsat}(K_n,K_3)=n-1$. In 2017, Korándi and Sudakov proved that this is also the case in dense random graphs $G\sim G_{n,p}$, $p=\mathrm{const}\in(0,1)$, and posed the question of determining the smallest $p$ for which $G_{n,p}$ contains a $K_3$-saturating tree with high probability. Using the new topological connection, we show that this critical $p$ is of order $n^{-1/3-o(1)}$. Inspired by Gromov's local-to-global principle for hyperbolic groups, we further develop our topological approach and determine the critical probability up to a constant factor, for trees with diameter at most $n^{c}$, for some $c>0$. The new connection also enables us to improve the best known upper bound on the threshold probability for simple connectivity of the 2-dimensional clique complex of $G_{n,p}$, due to Kahle.

For a fixed poset $\mathcal P$ we say that a family $\mathcal F\subseteq\mathcal P([n])$ is $\mathcal P$-saturated if it does not contain an induced copy of $\mathcal P$, but whenever we add a new set to $\mathcal F$, we form an induced copy of $\mathcal P$. The size of the smallest such family is denoted by $\text{sat}^*(n, \mathcal P)$.\par For the diamond poset $\mathcal D_2$ (the two-dimensional Boolean lattice), while it is easy to see that the saturation number is at most $n+1$, the best known lower bound has stayed at $O(\sqrt n)$ since the introduction of the area of poset saturation. In this paper we prove that $\text{sat}^*(n, \mathcal D_2)\geq \frac{n+1}{5}$, establishing that the saturation number for the diamond is linear. The proof uses a result about certain pairs of set systems which may be of independent interest.

We consider the problem of translating between irreducible closed sets and implicational bases in closure systems. To date, the complexity status of this problem is widely open, and it is further known to generalize the notorious hypergraph dualization problem, even in the context of acyclic convex geometries, i.e., closure systems admitting an acyclic implicational base. This paper studies this later class with a focus on the degree, which corresponds to the maximal number of implications in which an element occurs. We show that the problem is tractable for bounded values of this parameter, even when relaxed to the notions of premise- and conclusion-degree. Our algorithms rely on structural properties of acyclic convex geometries and involve various techniques from algorithmic enumeration such as solution graph traversal, saturation techniques, and a sequential approach leveraging from acyclicity. They are shown to perform in incremental-polynomial time. Finally, we complete these results by showing that our running times cannot be improved to polynomial delay using the standard framework of flashlight search.

We investigate the service-rate region (SRR) of distributed storage systems that employ linear codes. We focus on systems where each server stores one code symbol, and a user recovers a data symbol by accessing any of its recovery groups, subject to per-server capacity limits. The SRR--the convex polytope of simultaneously achievable request rates--captures system throughput and scalability. We first derive upper and lower bounds on the maximum request rate of each data object. These bounds hold for all linear codes and depend only on the number of parity checks orthogonal to a particular set of codeword coordinates associated with that object, i.e., the equations used in majority-logic decoding, and on code parameters. We then check the bound saturation for 1) all non-systematic codes whose SRRs are already known and 2) systematic codes. For the former, we prove the bounds are tight. For systematic codes, we show that the upper bound is achieved whenever the supports of minimum-weight dual codewords form a 2-design. As an application, we determine the exact per-object demand limits for binary Hamming codes. Our framework provides a new lens to address the SRR problem through combinatorial design theory.

Given positive integer $n$ and graph $F$, the saturation number $\mathrm{sat}(n, F)$ is the minimum number of edges in an edge-maximal $F$-free graph on $n$ vertices. In this paper, we determine asymptotic behavior of $\mathrm{sat}(n, F)$ when $F$ is either a complete multipartite graph or a cycle graph whose length is even and large enough. This extends a result by Bohman, Fonoberova, and Pikhurko from 2010 as well as partially resolves a conjecture of Füredi and Kim from 2013.

We study rank-three matroids, known as point-line configurations, and their associated matroid varieties, defined as the Zariski closures of their realization spaces. Our focus is on determining finite generating sets of defining equations for these varieties, up to radical, and describing the irreducible components of the corresponding circuit varieties. We generalize the notion of cactus graphs to matroids, introducing a family of point-line configurations whose underlying graphs are cacti. Our analysis includes several classical matroids, such as the Pascal, Pappus, and cactus matroids, for which we provide explicit finite generating sets for their associated matroid ideals. The matroid ideal is the ideal of the matroid variety, whose construction involves a saturation step with respect to all the independence relations of the matroid. This step is computationally very expensive and has only been carried out for very small matroids. We provide a complete generating set of these ideals for the Pascal, Pappus, and cactus matroids. The proofs rely on classical geometric techniques, including liftability arguments and the Grassmann--Cayley algebra, which we use to construct so-called bracket polynomials in these ideals. In addition, we prove that every cactus matroid is realizable and that its matroid variety is irreducible.

For graphs $G$ and $H$, we say that $G$ is $H$-free if no induced subgraph of $G$ is isomorphic to $H$, and that $G$ is $H$-induced-saturated if $G$ is $H$-free but removing or adding any edge in $G$ creates an induced copy of $H$. A full characterization of graphs $H$ for which $H$-induced-saturated graphs exist remains elusive. Even the case where $H$ is a path -- now settled by the collective results of Martin and Smith, Bonamy et al., and Dvoŕǎk -- was already quite challenging. What if $H$ is a cycle? The complete answer for odd cycles was given by Behren et al., leaving the case of even cycles (except for the $4$-cycle) wide open. Our main result is the first step toward closing this gap: We prove that for every even cycle $H$, there is a graph $G$ with at least one edge such that $G$ is $H$-free but removing any edge from $G$ creates an induced copy of $H$ (in fact, we construct $H$-induced-saturated graphs for every even cycle $H$ on at most 10 vertices).

A family $\mathcal{G}$ of sets is a(n induced) copy of a poset $P=(P,\leqslant)$ if there exists a bijection $b:P\rightarrow \mathcal{G}$ such that $p\leqslant q$ holds if and only if $b(p)\subseteq b(q)$. The induced saturation number sat$^*(n,P)$ is the minimum size of a family $\mathcal{F}\subseteq 2^{[n]}$ that does not contain any copy of $P$, but for any $G\in 2^{[n]}\setminus \mathcal{F}$, the family $\mathcal{F}\cup \{G\}$ contains a copy of $P$. We consider sat$^*(n,P)$ for posets $P$ that are formed by pairwise incomparable chains, i.e. $P=\bigoplus_{j=1}^mC_{i_j}$. We make the following two conjectures: (i) sat$^*(n,P)=O(n)$ for all such posets and (ii) sat$^*(n,P)=O(1)$ if not all chains are of the same size. (The second conjecture is known to hold if there is a unique longest among the chains.) We verify these conjectures in some special cases: we prove (i) if all chains are of the same length, we prove (ii) in the first unknown general case: for posets $2C_k+C_1$. Finally, we give an infinite number of examples showing that (ii) is not a necessary condition for sat$^*(n,P)=O(1)$ among posets $P=\bigoplus_{j=1}^mC_{i_j}$: we prove sat$^*(n,(\binom{2t}{t}+1)C_2)=O(1)$ for all $t\ge 1$.

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.

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$.