arXiv++ Combinatorics

Given a finite poset $\mathcal P$, its induced saturation number, $\text{sat}^*(n,\mathcal P)$ is the smallest size a family of subsets of $[n]$ can have such that it does not contain an induced copy of $\mathcal P$, 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\sqrt 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 $\mathcal V$ and an isolated point, denoted by $\widehat{\mathcal V}$, for which we show linear saturation. The architecture of the proof uncovers the structure of an arbitrary $\widehat{\mathcal V}$- 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.

For a finite simple graph $G = (V, E)$, we consider the quotient algebra $\mathcal M(G)$ of the polynomial ring in the variables $u_e$ (for $e \in E$) by the ideal generated by all products $u_e u_f$ for non-disjoint edges $e$ and $f$ (including all squares $u_e^2$). This quotient is called the matching algebra of $G$, since it has a basis indexed by the matchings of $G$. In this quotient, we define a subalgebra $\mathcal D(G)$ generated by the signed incidence sums $θ_v=\sum_{e=(v,w)}u_e-\sum_{e=(w,v)}u_e$ for all $v \in V$ (where all edges of $G$ are oriented arbitrarily); we call this the Dunkl matching algebra. We show that, as a graded vector space, $\mathcal D(G)$ is dual to the span of all polynomials $p_M = \prod_{(i,j) \in M} (x_i - x_j)$, where $M$ ranges over all matchings of $G$. For the complete graph $K_n$, the latter span is a direct sum of two-row Specht modules (one in each degree); thus its Hilbert series is that of the Catalan triangle, and, in characteristic zero, the Dunkl matching algebra can be presented by linear and quadratic relations. For arbitrary graphs, we formulate the saturation problem of deciding when the selected matching Specht generators $p_M$ in a given degree $k$ span the full two-row Specht module $S^{(n-k,k)}$. We show that saturation in degree $k$ forces $k$-connectivity, that saturation in degree $2$ is equivalent to $2$-connectivity, and that $k$-linked graphs are saturated in degree $k$. We also prove saturation in every possible degree whenever the complement of $G$ is a matching. We show that the Dunkl matching algebra equals the full matching algebra exactly for forests, and give an explicit Hilbert series formula for unicyclic graphs.

We present \emph{multitable} and its Rust reference implementation: a stable hash table both materially faster at equal physical memory and more flexible than the SwissTable in its Rust's hashbrown implementation. As an arithmetic mean over 84 configurations it delivers $\mathbf{2.1\times}$ hashbrown's throughput when both hash the same raw bytes and $\mathbf{1.9\times}$ when hashbrown is keyed on native integers, its best case; on negative lookups alone, $3.2\times$ and $2.9\times$. Multitable reaches \textbf{any physical load factor} up to and \textbf{including one} ($0.9999$ demonstrated), exactly for the requested capacity, compared to hashbrown which doubles at $0.777$ for 4-byte keys and values. At $75\%$ saturation of hashbrown (assumed average case of its rigid ladder) and multitable sized to $0.97$ physical load factor, hashbrown takes $66\%$ more space. The lookup probe count has no cliff as the load factor approaches one. Bucket size, physical load factor, and failure budget are parameters, and the multitable can be grown without rehashing. We implement two variants of multitable: plain and filtered. At equal physical memory on an Apple M2 Pro the filtered multitable leads hashbrown in all $84$ insert, hit, and miss configurations. Multitable is more \textbf{memory-efficient}, at equal mixed-lookup throughput on the map of $4$-byte keys and values the filtered multitable needs up to $12\%$ fewer bytes than hashbrown, and the plain multitable is $18\%$ smaller, holding $\mathbf{22\%}$ more keys in the same memory.

Let $F$ be a fixed graph without isolated vertices. An edge-colored graph is $F$-rainbow saturated if it contains no rainbow copy of $F$, but the addition of any missing edge in any color creates a rainbow copy of $F$. The rainbow saturation number $rsat(n,F)$ is the minimum number of edges in such a graph on $n$ vertices. We prove a dichotomy governed by isolated edges: if $F$ contains an isolated edge, then $rsat(n,F)=O(1)$ for all sufficiently large $n$, while if $F$ has no isolated edge, then $rsat(n,F)=Θ(n)$. The linear lower bound is expressed in terms of a directed weight parameter $η(F)$ and establishes the linear half of the dichotomy; in several cases it also strengthens the Cameron--Puleo type coefficient. For the bounded half, we construct rainbow saturated graphs for targets of the form $H\cup K_2$. As an application of these constructions, we determine the asymptotically tight behavior for the rainbow saturation number of the generalized friendship graph $F_{t,p,q}=tK_p\vee K_q$, proving that $ rsat(n,F_{t,p,q})=(p+q-1)n+O(1)$ for fixed $t\geq 2$, $p\geq 2$ and $q\geq 1$ as $n\to\infty$.

An edge-colored graph $(G,\mathcal C)$ is $F$-rainbow saturated if it contains no rainbow copy of $F$, but adding any nonedge in any prescribed color creates one. The rainbow saturation number $\operatorname{rsat}(n,F)$ is the minimum number of edges in such a graph of order $n$. In this paper we study $\operatorname{rsat}(n,C_r)$. We determine the value for $C_4$ exactly, and establish bounds for every fixed $C_r$ with $r\geq5$.

We reconstruct the generalized hexagon of order $(2,8)$ from an abstract even rank-$26$ lattice of determinant $3$ and minimum $4$, and conversely reconstruct the lattice from the hexagon. Harmonic theta identities determine the $819$ shortest vectors in a non-zero discriminant class and their association scheme, and show that every non-empty positive-norm shell of the lattice and its dual is a spherical $5$-design. In the converse direction, the rank-$26$ idempotent gives the lattice, with saturation proved by a short dual-coset argument. A positive-definite Niemeier construction proves existence and uniqueness of the lattice and hence of the hexagon. The third moment of a projective $3$-design in the Cayley plane reconstructs the traceless Albert product. This upgrades angle-preserving bijections to elements of $F_4(\mathbb R)$ and proves geometric uniqueness of the tight $819$-point projective $5$-design. Finally, line deletion gives a rootless index-four sublattice of $N(A_1^{24})$ with a Golay trio and an oriented gluing. The gluing data form eight root-sign orbits, on which $L_3(2)\cong L_2(7)$ acts as on $\mathbf P^1(\mathbf{F}_7)$; two explicit Golay permutations prove transitivity. This proves uniqueness and gives the automorphism-group order. The group is identified afterward as ${}^3D_4(2):3$, with a central factor $C_2$ for the full lattice group. The reconstruction and deletion arguments parallel the length-$26$ binary code construction.

A graph $G$ is deletion-induced-saturated for $H$ if $G$ has an edge, contains no induced copy of $H$, and deleting any edge of $G$ creates an induced copy of $H$. We prove, with finite certificate verification, that a finite graph $H$ admits such a finite graph $G$ if and only if $H$ is not complete. This resolves the deletion conjecture of Fan, Hajebi, Hajebi and Spirkl. The main step transfers suitable free amalgamations to finite extensions using a local lifting theorem of Auinger, Bitterlich and Otto. A second criterion treats edge addition by protecting specified nonedges and then taking a maximal induced-$H$-free completion. Structural results of Bonamy, Groenland, Johnston, Morrison and Scott reduce the remaining targets to dense templates and a finite hereditary class. Two uniform constructions in halved cubes handle the dense templates. The finite part is supported by exhaustive coverage certificates, structural certificates and explicit hosts, including a circulant graph on $30$ vertices.

For an edge-ordered graph $G$, an $n$-vertex edge-ordered graph $H$ is $G$-saturated if it is $G$-free and adding any new edge with an arbitrary label to $H$ creates a copy of $G$. The saturation function is the minimum number of edges in a $G$-saturated graph. For (unordered) graphs, $0$-$1$ matrices, and vertex-ordered graphs, the saturation function is always $O(n)$ and satisfies a dichotomy: it is either $O(1)$ or $Θ(n)$. The saturation function of an edge-ordered graph follows a weaker dichotomy, being either $O(1)$ or $Ω(n)$. However, by finding edge-ordered graphs whose saturation functions are $Ω(n \sqrt{\log n})$, we show that $O(n)$ is not a universal upper bound. We also study the semisaturation problem for edge-ordered graphs, a variant of the saturation problem in which $H$ is not required to be $G$-free. We prove a general upper bound $O(n \log n)$ and characterize edge-ordered graphs with bounded semisaturation functions. We then present several families of edge-ordered graphs with bounded, linear, and superlinear (semi)saturation functions. We also introduce a natural variant of saturation in which the added edge is required to receive the smallest label. The behaviour of the two variants is similar in many respects, which motivated us to investigate the second variant extensively.

Orbit-span and dimension problems for designs have been studied in several classical association schemes using a variety of methods. Recently, through a detailed analysis of total trades, Ghorbani et al. showed that the orbit of a fixed combinatorial design asymptotically attains the full dimension permitted by the design equations. Analogous dimension-saturation results for the global spans of index-one designs in the bilinear forms and Grassmann schemes were obtained via laborious eigenvalue computations. In this paper, we work with the top fiber $X$ of a graded poset carrying a compatible transitive action of a finite group $G$, and assume that the induced Schurian association scheme on $X$ is commutative. For the multiplicity-free decomposition $\mathbb{C}^{X}=U_{0}\oplus U_{1}\oplus\cdots\oplus U_{m}$, we prove that, under explicit spectral and quantitative conditions, the $G$-orbit of the characteristic vector of any $t$-design spans the maximal submodule $U_{0}\oplus U_{t+1}\oplus U_{t+2}\oplus\cdots\oplus U_{m}$ allowed by the $t$-design definition. We verify these conditions asymptotically for the Hamming, bilinear forms, Johnson, and Grassmann schemes. This recovers the fixed-orbit saturation theorem of Ghorbani et al. for combinatorial designs, gives a new result for orthogonal arrays, and asymptotically extends the previous bilinear forms and Grassmann results to orbit spans of individual designs of arbitrary fixed index.

For every positive integer $k$, we prove that the homogeneous cut semigroup of every $K_5$-minor-free graph is saturated at height $k$ if and only if every planar $k$-graph is $k$-edge-colourable. Here a $k$-graph is a loopless $k$-regular multigraph in which every odd vertex cut has size at least $k$. A triangle expansion of a cubic plane dual converts cut decompositions into perfect-matching decompositions. The converse uses symmetric difference with a fixed perfect matching. The equivalence identifies the normality conjecture for $K_5$-minor-free cut polytopes with Seymour's planar edge-colouring conjecture. In particular, the known cases $k\leq 8$ give saturation through height eight.

We study an operator $Θ$ on finite integer sequences, where $Θ(σ)_i$ counts the entries to the left of $σ_i$ that are strictly smaller than $σ_i$. This operator is a variant of the so-called Lehmer code. For every sequence $σ$, the image $Θ(σ)$ is an inversion sequence, and the restriction of $Θ$ to permutations of $[0,n-1]$ is a bijection onto inversion sequences of length $n$. We characterize the fixed points of $Θ$ by avoidance of the pattern $101$ together with a saturation condition, prove that they are counted by the Catalan numbers, and give an explicit recursive bijection with Dyck paths. We also show that the sequences whose first $Θ$-image is fixed are precisely those avoiding both $101$ and $201$. Finally, we prove finite stabilization for all inversion sequences, exhibit a family attaining the maximal stabilization time, and show that the second stabilization level is not closed under classical patterns.

We study several $k$-fold generalizations of the Lovász theta function associated with the maximum $k$-colorable induced subgraph problem. The first is the Narasimhan--Manber parameter $\vartheta_k$. We prove that, for graphs whose adjacency matrix belongs to a homogeneous partially coherent algebra, this parameter is recovered by the theta number of the Cartesian product with the complete graph on $k$ vertices. This class includes distance-regular and $1$-walk-regular graphs, and thus our result generalizes a theorem by Sinjorgo and Sotirov (2022) for graphs that are vertex- and edge-transitive. We introduce a new parameter $\varphi_k$ obtained from orthonormal representations of graphs and show the inequality $\varphi_k \leq \vartheta_k$. For both parameters, we study the smallest $k$ for which the parameter is equal to the number of vertices; these saturation parameters yield lower bounds on the chromatic number. We determine which vertex-weighted versions of these parameters are gauges, and discuss a natural definition for the $k$-fold theta body of a graph. We conclude with open questions comparing $\vartheta_k$, $\varphi_k$, $\vartheta(G\square K_k)$, and related convexifications.

For a finite abelian group $G$ and $k \geq 1$, the generalized Davenport constant $D_k(G)$ is the least $\ell$ such that every sequence over $G$ of length at least $\ell$ has $k$ pairwise disjoint nonempty zero-sum subsequences. A theorem of Freeze and Schmid gives $D_k(C_5^3) \geq 5k+10$ for every $k \geq 2$. We prove the matching upper bound: $D_4(C_5^3)=30$, and hence $D_k(C_5^3)=5k+10$ for every $k \geq 2$, so the Freeze--Schmid bound is attained by $C_5^3$ from $k=2$ onward, as it is by $C_2^3$ and unlike $C_3^3$. The proof is finite and computer-assisted. The remaining case reduces to showing that every zero-sum sequence of length $31$ over $C_5^3$ contains a nonempty zero-sum subsequence of length at most five. A saturation argument confines the multiplicities of a hypothetical counterexample to $\{1,2,4\}$, its support pattern to one of $60$ solutions of two linear equations, and its geometry to one of $78$ rank/plane branches normalized to a standard basis; an exhaustive search exhausts every branch with no survivor. The search was carried out by three independently written implementations, and the branch cover was regenerated by separate programs from the lemmas alone; two further machine-verified values, $D_3(C_5^3)=25$ and $s_{\leq 6}(C_5^3)=24$, enter the second statement, and their records accompany the paper.

An edge-colored graph is \emph{rainbow} if all of its edges receive distinct colors. For a fixed graph $H$, an edge-colored graph $F$ is called weakly $H$-rainbow saturated if there exists an ordering $e_1,e_2,\ldots,e_{|E(\bar{F})|}$ of $E(\bar{F})$ such that, for any edge coloring $c$ of $E(\bar{F})$ with $c(e_i)\neq c(e_j)$, there is always a rainbow copy of $H$ that contains $e_i$ in $F+\{e_1,e_2,\ldots,e_i\}$. The \emph{weak rainbow saturation number} $\operatorname{rwsat}(n,H)$ is the minimum number of edges in a weakly $H$-rainbow saturated graph on $n$ vertices. Li, Ma, and Xie [JGT, 2025] showed that $\lim_{n\to\infty} \frac{\operatorname{rwsat}(n,H)}{n}$ exists for every nonempty graph $H$. Paths and stars attain, respectively, the minimum and maximum ordinary weak saturation numbers among all trees of the same order. We determine their weak rainbow saturation numbers exactly. For all $\ell>30$, we show that $$ \ell+1=\s(n,P_\ell)< \s(n,S_\ell)=\binom{\ell}{2}-1$$ where $P_\ell$ and $S_\ell$ denote the path and star on $\ell$ vertices, respectively. Thus, their dependence on $\ell$ is linear for paths and quadratic for stars. We then focus on cycles. Li, Ma, and Xie asked whether $\operatorname{rwsat}(n,C_\ell)$ has leading term $\frac32n$ for every $\ell\ge4$. We answer this question negatively by giving an explicit construction showing that, for every $\ell\ge4$ and all sufficiently large $n$, $$\s(n,C_\ell)< \frac{\ell}{\ell-1}n+c_\ell,$$ where $c_\ell$ depends only on $\ell$. Since $\frac{\ell}{\ell-1}<\frac32$, this strictly improves the proposed leading coefficient for every cycle $C_\ell$ with $\ell\ge4$.

A graph $G$ is weakly $H$-saturated if one can obtain $K_n$ by adding one edge to $G$ at a time, where each additional edge creates at least one new copy of $H$. The minimum number of edges needed for a weakly $H$-saturated graph $G$ of order $n$ is known as the weak saturation number of $H$, written $wsat(n,H)$. A graph $G$ is minimum weakly saturated if $wsat(n,G)=|E(G)|-1$ for some value of $n$. We explore classes of minimum weakly saturated graphs and their connection to the $H$-bootstrap percolation process, as well as weak saturation in a more general setting than the complete graph.

Let $s(n)$ denote the number of ones in the binary expansion of an integer $n\in\mathbb{N}$, and let $μ_t$ be the probability measure on $\mathbb{Z}$ defined by the asymptotic densities of the level sets of the function $\mathbb{N}\ni n\mapsto s(n+t)-s(n)\in\mathbb{Z}$. Let $P_t$ be the family of finitely supported measures defined by the convolution $μ_t=μ_1*P_t$. Recently, Tarlowski (2026) has shown that the family $P_t$ may be represented as a recursively grown binary tree $T_t$, and that the Cusick's conjecture - $μ_t(\mathbb{N})>\frac12$, $t\in\mathbb{N}$, - follows from the asymmetry property of the family $T_t$, which was posed there as an open problem. Next, Cheng (2026) has provided the combinatorial description of the family $T_t$ in the language of principal subsequence ideals, and proved both conjectures. Both of these problems are directly related to the problem of determining the zeros of the function $\mathbb{N}\ni t \mapsto P_t(\mathbb{N})-\frac12\in[0,\tfrac12]$, a problem left open by Cheng (2026) as a saturation problem, and previously analyzed only numerically. In this paper we solve this problem completely. Writing an odd integer $t\ge3$ as $t=(1\,w\,1)_2$ with $w\in\{0,1\}^{\star}$, we show that $P_t(\mathbb{N})=\frac12$ if and only if $w$ is \emph{saturated} in the following sense: in the block decomposition $w=1^{a_0}\,0\,1^{a_1}\,0\cdots0\,1^{a_k}$ with exactly $k$ zeros, every block of "1" satisfies $a_i\ge k$. Additionally, we show that the lower bound for $P_t(\mathbb{N})$ established by Cheng for $0$-initial words holds true for all non-saturated words.

Let $\mathsf{P}$ be a finite graded poset and $Δ_a^{\mathsf{P}}$ the height-$a$ thickening of its diagonal. We study the \emph{window convolution} $C_a=q_{1\sharp}(k_{Δ_a^{\mathsf{P}}}\otimes^{\mathbf L}q_2^\ast(-))$ on $\mathrm{Shv}(\mathsf{P};k)$. An interleaving distance needs the left derived $\mathbb{L}C_a$ to compose as a flow, $\mathbb{L}C_a\mathbb{L}C_b\simeq\mathbb{L}C_{a+b}$; the total meet functor $Φ$ gives rise to the canonical comparison. Finality is sufficient, and necessary where the finality defect of $Φ$ is essential; where $Φ$ is total at a minimal apex with unit windows, it is the failure of a length-two interval to have a single interior element. The flow fails at every branching length-two interval, and with it on the face poset of every finite regular cell complex of dimension $\ge2$. It survives on tame posets, where $\mathrm{id}\Rightarrow\mathbb{L}C_a$ gives a canonical extended interleaving pseudometric on $\operatorname{D^{b}}(\mathrm{Shv}(\mathsf{P};k))$; in the saturation cases computed here it takes no finite value above the length of $\mathsf{P}$, and is finite if and only if the derived colimits agree.

Let $\mathcal{C}_{[4,r]}$ be the family of cycles $\{C_4, \dots, C_r\}$. A graph $G$ is said to be $\mathcal{C}_{[4,r]}$-saturated if $G$ does not contain a copy of cycle $C_i$ for $4\le i\le r$, but the addition of any edge $e\notin E(G)$ creates at least one copy of $C_i$ for $4\le i\le r.$ The saturation number $sat(n, \mathcal{C}_{[4,r]})$ is the minimum number of edges in an $n$-vertex $\mathcal{C}_{[4,r]}$-saturated graph. In 2025, Ma determined that $sat(n, \mathcal{C}_{[4,5]})=\lceil \frac{5n}{4} - \frac{3}{2} \rceil$, and conjectured that for any $r \ge 5$, $sat(n, \mathcal{C}_{[4,r]}) = \lceil\frac{5n}{4} - \frac{3}{2} \rceil$ holds for large $n$. In this paper we prove that $sat(n, \mathcal{C}_{[4,r]}) \le \lceil\frac{5n}{4} - \frac{r+1}{4}\rceil$ for $n \ge r+1$, which disproves Ma's conjecture for $r\ge 6.$ For $r=6,$ we determine that $sat(n, \mathcal{C}_{[4,6]})=\lceil\frac{5n}{4}-\frac{7}{4}\rceil.$ {\bf Keywords}: Saturation graphs; Saturation number; Cycles; Edge minimization

The Schubert vanishing problem asks whether the single Schubert coefficients $c_{u,v}^w$ are zero. In this paper, we consider the non-vanishing problems of double Schubert coefficients $c_{u,v}^w(t)$ and triple Schubert coefficients $c_{u,v}^w(t;y)$. We show that the non-vanishing of $c_{u,v}^w(t;y)$ is completely determined by the non-vanishing of single Schubert coefficients. As a byproduct, we obtain the saturation property of the triple Littlewood--Richardson coefficients $c_{λ,μ}^ν(t;y)$. Moreover, we pose a conjecture asserting that the non-vanishing of $c_{u,v}^w(t)$ is also determined by the non-vanishing of single or triple Schubert coefficients. We prove a one-side inclusion of the conjecture. For the reverse inclusion, we show that the conjecture holds for the following three cases: the Pieri case, the separated descents case, and the inverse Grassmannian case.

For a fixed graph $H$, a graph $G$ is $H$-saturated if $G$ does not contain a copy of $H$, but adding any edge $e \in E(\overline{G})$ to $G$ creates a copy of $H$. The saturation number $\mathrm{sat}(n,H)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. Let $K$ be the kite graph, formed by removing one edge from $ K_4$ and then attaching a pendant edge to a vertex of degree two in the resulting graph.In this paper, we first establish a relationship between connectivity and $K$-saturated graphs, and subsequently determine the saturation number of the kite graph $K$. Moreover, we completely characterize all extremal graphs.Our result provides a partial answer to a problem raised by Hua and Peng [Discrete Math. 349 (2026) 114674].