arXiv++ Combinatorics

We establish a relation between the Sprague-Grundy function $\text{sg}$ of a $p$-saturation of Welter's game and the degrees of the ordinary irreducible representations of symmetric groups. In this game, a position can be viewed as a partition $λ$. Let $ρ^λ$ be the irreducible representation of $\text{Sym}(|λ|)$ indexed by $λ$. For every prime $p$, we show the following results: (1) the degree of $ρ^λ$ is prime to $p$ if and only if $\text{sg}(λ) = |λ|$; (2) the restriction of $ρ^λ$ to $\text{Sym}(\text{sg}(λ))$ has an irreducible component with degree prime to $p$. Further, for every integer $p$ greater than 1, we obtain an explicit formula for $\text{sg}(λ)$.

We present a study of three families of Kronecker coefficients, which we describe in terms of reduced Kronecker coefficients. This study is grounded on the generating function of the coefficients, proved by a bijection between two combinatorial objects. This study includes the connection between plane partitions and these three families of reduced Kronecker coefficients, providing us their combinatorial interpretation. As an application, we verify that the saturation hypothesis holds for our three families of reduced Kronecker coefficients. The study also includes other interpretation in terms of the quasipolynomials that govern these families. We specify the degree and the period of these quasipolynomials. Finally, the direct relation between Kronecker coefficients and reduced Kronecker coefficients allows us to give some observations about the rate of growth of the Kronecker coefficients associated to the reduced Kronecker coefficients of the study.

In $1980$ White conjectured that every element of the toric ideal of a matroid is generated by quadratic binomials corresponding to symmetric exchanges. We prove White's conjecture for high degrees with respect to the rank. This extends our result arXiv:1302.5236 confirming White's conjecture `up to saturation'. Furthermore, we study degrees of Gröbner bases and Betti tables of the toric ideals of matroids of a fixed rank.

We prove that in the geometric complexity theory program the vanishing of rectangular Kronecker coefficients cannot be used to prove superpolynomial determinantal complexity lower bounds for the permanent polynomial. Moreover, we prove the positivity of rectangular Kronecker coefficients for a large class of partitions where the side lengths of the rectangle are at least quadratic in the length of the partition. We also compare rectangular Kronecker coefficients with their corresponding plethysm coefficients, which leads to a new lower bound for rectangular Kronecker coefficients. Moreover, we prove that the saturation of the rectangular Kronecker semigroup is trivial, we show that the rectangular Kronecker positivity stretching factor is 2 for a long first row, and we completely classify the positivity of rectangular limit Kronecker coefficients that were introduced by Manivel in 2011.

A graph $H$ is $K_s$-saturated if it is a maximal $K_s$-free graph, i.e., $H$ contains no clique on $s$ vertices, but the addition of any missing edge creates one. The minimum number of edges in a $K_s$-saturated graph was determined over 50 years ago by Zykov and independently by Erdős, Hajnal and Moon. In this paper, we study the random analog of this problem: minimizing the number of edges in a maximal $K_s$-free subgraph of the Erdős-Rényi random graph $G(n,p)$. We give asymptotically tight estimates on this minimum, and also provide exact bounds for the related notion of weak saturation in random graphs. Our results reveal some surprising behavior of these parameters.

The process of $H$-bootstrap percolation for a graph $H$ is a cellular automaton, where, given a subset of the edges of $K_n$ as initial set, an edge is added at time $t$ if it is the only missing edge in a copy of $H$ in the graph obtained through this process at time $t-1$. We discuss an extremal question about the time of $K_r$-bootstrap percolation, namely determining maximal times for an $n$-vertex graph before the process stops. We determine exact values for $r=4$ and find a lower bound for the asymptotics for $r \geq 5$ by giving an explicit construction.

This article is motivated by the following satisfiability question: pick uniformly at random an and/or Boolean expression of length n, built on a set of k_n Boolean variables. What is the probability that this expression is satisfiable? asymptotically when n tends to infinity? The model of random Boolean expressions developed in the present paper is the model of Boolean Catalan trees, already extensively studied in the literature for a constant sequence (k_n)_{n\geq 1}. The fundamental breakthrough of this paper is to generalise the previous results to any (reasonable) sequence of integers (k_n)_{n\geq 1}, which enables us, in particular, to solve the above satisfiability question. We also analyse the effect of introducing a natural equivalence relation on the set of Boolean expressions. This new "quotient" model happens to exhibit a very interesting threshold (or saturation) phenomenon at k_n = n/ln n.

The $r$-neighbour bootstrap percolation process on a graph $G$ starts with an initial set $A_0$ of "infected" vertices and, at each step of the process, a healthy vertex becomes infected if it has at least $r$ infected neighbours (once a vertex becomes infected, it remains infected forever). If every vertex of $G$ eventually becomes infected, then we say that $A_0$ percolates. We prove a conjecture of Balogh and Bollobás which says that, for fixed $r$ and $d\to\infty$, every percolating set in the $d$-dimensional hypercube has cardinality at least $\frac{1+o(1)}{r}\binom{d}{r-1}$. We also prove an analogous result for multidimensional rectangular grids. Our proofs exploit a connection between bootstrap percolation and a related process, known as weak saturation. In addition, we improve on the best known upper bound for the minimum size of a percolating set in the hypercube. In particular, when $r=3$, we prove that the minimum cardinality of a percolating set in the $d$-dimensional hypercube is $\left\lceil\frac{d(d+3)}{6}\right\rceil+1$ for all $d\geq3$.

The reduced Kronecker coefficients are particular instances of Kronecker coefficients that contain enough information to recover them. In this notes we compute the generating function of a family of reduced Kronecker coefficients. We also gives its connection to the plane partitions, which allows us to check that this family satisfies the saturation conjecture for reduced Kronecker coefficients, and that they are weakly increasing. Thanks to its generating function we can describe our family by a quasipolynomial, specifying its degree and period.

We look at several saturation problems in complete balanced blow-ups of graphs. We let $H[n]$ denote the blow-up of $H$ onto parts of size $n$ and refer to a copy of $H$ in $H[n]$ as 'partite' if it has one vertex in each part of $H[n]$. We then ask how few edges a subgraph $G$ of $H[n]$ can have such that $G$ has no partite copy of $H$ but such that the addition of any new edge from $H[n]$ creates a partite $H$. When $H$ is a triangle this value was determined by Ferrara, Jacobson, Pfender, and Wenger. Our main result is to calculate this value for $H=K_4$ when $n$ is large. We also give exact results for paths and stars and show that for $2$-connected graphs the answer is linear in $n$ whilst for graphs which are not $2$-connected the answer is quadratic in $n$. We also investigate a similar problem where $G$ is permitted to contain partite copies of $H$ but we require that the addition of any new edge from $H[n]$ creates an extra partite copy of $H$. This problem turns out to be much simpler and we attain exact answers for all cliques and trees.

The immaculate functions, $\mathfrak{S}_α$, were introduced as a Schur-like basis for $\operatorname{\mathsf{Nsym}}$. We investigate facts about their structure constants. These are analogues of Littlewood-Richardson coefficents. We will give a new proof of the left Pieri rule for the $\mathfrak{S}_α$, a translation invariance property for the structure coefficients of the $\mathfrak{S}_α$, and a counterexample to an $\mathfrak{S}_α$-analogue of the saturation conjecture.

Given graphs $G$ and $H$, $G$ is $H$-saturated if $H$ is not a subgraph of $G$, but for all $e \notin E(G)$, $H$ appears as a subgraph of $G + e$. While for every $n \ge |V(H)|$, there exists an $n$-vertex graph that is $H$-saturated, the same does not hold for induced subgraphs. That is, there exist graphs $H$ and values of $n \ge |V(H)|$ for which every $n$-vertex graph $G$ either contains $H$ as an induced subgraph, or there exists $e \notin E(G)$ such that $G + e$ does not contain $H$ as an induced subgraph. To circumvent this, Martin and Smith make use of trigraphs when introducing the concept of induced saturation and the induced saturation number of graphs. This allows for edges that can be included or excluded when searching for an induced copy of H, and the induced saturation number is the minimum number of such edges that are required. In this paper, we show that the induced saturation number of many common graphs is zero. Consequently, this yields graphs, instead of trigraphs, that are H-induced-saturated. We introduce a new parameter for such graphs, indsat*(n;H), which is the minimum number of edges in an H-induced-saturated graph on n vertices. We provide bounds on indsat*(n;H) for many graphs. In particular, we determine indsat*(n;paw) completely, and indsat*(n;$K_{1,3}$) for infinitely many n.

A graph $H^{\prime}$ is $(H, G)$-saturated if it is $G$-free and the addition of any edge of $H$ not in $H^{\prime}$ creates a copy of $G$. The saturation number $sat(H, G)$ is the minimum number of edges in a $(H, G)$-saturated graph. We investigate bounds on the saturation number of trees $T$ in the $n$-dimensional hypercube $Q_n$. We first present a general lower bound on the saturation number based on the minimum degree of non-leaves. From there, we suggest two general methods for constructing $T$-saturated subgraphs of $Q_n$, and prove nontrivial upper bounds for specific types of trees, including paths, generalized stars, and certain caterpillars under a restriction on minimum degree with respect to diameter.

A game starts with the empty graph on $n$ vertices, and two player alternate adding edges to the graph. Only moves which do not create a triangle are valid. The game ends when a maximal triangle-free graph is reached. The goal of one player is to end the game as soon as possible, while the other player is trying to prolong the game. With optimal play, the length of the game (number of edges played) is called the $K_3$ game saturation number. In this paper we prove an upper bound for this number.

A degree monotone path in a graph $G$ is a path $P$ such that the sequence of degrees of the vertices in the order in which they appear on $P$ is monotonic. The length of the longest degree monotone path in $G$ is denoted by $mp(G)$. This parameter, inspired by the well-known Erdos-Szekeres theorem, has been studied by the authors in two earlier papers. Here we consider a saturation problem for the parameter $mp(G)$. We call $G$ saturated if, for every edge $e$ added to $G$, $mp(G+e) >mp(G)$, and we define $h(n,k)$ to be the least possible number of edges in a saturated graph $G$ on $n$ vertices with $mp(G) < k$, while $mp(G+e) \geq k$ for every new edge $e$. We obtain linear lower and upper bounds for $h(n,k)$, we determine exactly the values of $h(n,k)$ for $k=3$ and $4$, and we present constructions of saturated graphs.

We study analogues of $\mathcal{F}$-saturation games, first introduced by Furedi, Reimer and Seress in 1991, and named as such by West. We examine analogous games on directed graphs, and show tight results on the walk-avoiding game. We also examine an intermediate game played on undirected graphs, such that there exists an orientation avoiding a given family of directed graphs, and show bounds on the score. This last game is shown to be equivalent to a recent game studied by Hefetz, Krivelevich, Naor and Stojakovic, and we give new bounds for biased versions of this game.

Given graphs $H$ and $F$, a subgraph $G\subseteq H$ is an $F$-saturated subgraph of $H$ if $F\nsubseteq G$, but $F\subseteq G+e$ for all $e\in E(H)\setminus E(G)$. The saturation number of $F$ in $H$, denoted $\text{sat}(H,F)$, is the minimum number of edges in an $F$-saturated subgraph of $H$. In this paper we study saturation numbers of tripartite graphs in tripartite graphs. For $\ell\ge 1$ and $n_1$, $n_2$, and $n_3$ sufficiently large, we determine $\text{sat}(K_{n_1,n_2,n_3},K_{\ell,\ell,\ell})$ and $\text{sat}(K_{n_1,n_2,n_3},K_{\ell,\ell,\ell-1})$ exactly and $\text{sat}(K_{n_1,n_2,n_3},K_{\ell,\ell,\ell-2})$ within an additive constant. We also include general constructions of $K_{\ell,m,p}$-saturated subgraphs of $K_{n_1,n_2,n_3}$ with few edges for $\ell\ge m\ge p>0$.

Let $Q_d$ denote the hypercube of dimension $d$. Given $d\geq m$, a spanning subgraph $G$ of $Q_d$ is said to be $(Q_d,Q_m)$-saturated if it does not contain $Q_m$ as a subgraph but adding any edge of $E(Q_d)\setminus E(G)$ creates a copy of $Q_m$ in $G$. Answering a question of Johnson and Pinto, we show that for every fixed $m\geq2$ the minimum number of edges in a $(Q_d,Q_m)$-saturated graph is $Θ(2^d)$. We also study weak saturation, which is a form of bootstrap percolation. A spanning subgraph of $Q_d$ is said to be weakly $(Q_d,Q_m)$-saturated if the edges of $E(Q_d)\setminus E(G)$ can be added to $G$ one at a time so that each added edge creates a new copy of $Q_m$. Answering another question of Johnson and Pinto, we determine the minimum number of edges in a weakly $(Q_d,Q_m)$-saturated graph for all $d\geq m\geq1$. More generally, we determine the minimum number of edges in a subgraph of the $d$-dimensional grid $P_k^d$ which is weakly saturated with respect to `axis aligned' copies of a smaller grid $P_r^m$. We also study weak saturation of cycles in the grid.

Let $G$ be a fixed graph and let ${\mathcal F}$ be a family of graphs. A subgraph $J$ of $G$ is ${\mathcal F}$-saturated if no member of ${\mathcal F}$ is a subgraph of $J$, but for any edge $e$ in $E(G)-E(J)$, some element of ${\mathcal F}$ is a subgraph of $J+e$. We let $\text{ex}({\mathcal F},G)$ and $\text{sat}({\mathcal F},G)$ denote the maximum and minimum size of an ${\mathcal F}$-saturated subgraph of $G$, respectively. If no element of ${\mathcal F}$ is a subgraph of $G$, then $\text{sat}({\mathcal F},G) = \text{ex}({\mathcal F}, G) = |E(G)|$. In this paper, for $k\ge 3$ and $n\ge 100$ we determine $\text{sat}(K_3,K_k^n)$, where $K_k^n$ is the complete balanced $k$-partite graph with partite sets of size $n$. We also give several families of constructions of $K_t$-saturated subgraphs of $K_k^n$ for $t\ge 4$. Our results and constructions provide an informative contrast to recent results on the edge-density version of $\text{ex}(K_t,K_k^n)$ from [A. Bondy, J. Shen, S. Thomassé, and C. Thomassen, Density conditions for triangles in multipartite graphs, Combinatorica 26 (2006), 121--131] and [F. Pfender, Complete subgraphs in multipartite graphs, Combinatorica 32 (2012), no. 4, 483--495].

A graph $G = (V,E)$ is said to be saturated with respect to a monotone increasing graph property ${\mathcal P}$, if $G \notin {\mathcal P}$ but $G \cup \{e\} \in {\mathcal P}$ for every $e \in \binom{V}{2} \setminus E$. The saturation game $(n, {\mathcal P})$ is played as follows. Two players, called Mini and Max, progressively build a graph $G \subseteq K_n$, which does not satisfy ${\mathcal P}$. Starting with the empty graph on $n$ vertices, the two players take turns adding edges $e \in \binom{V(K_n)}{2} \setminus E(G)$, for which $G \cup \{e\} \notin {\mathcal P}$, until no such edge exists (i.e. until $G$ becomes ${\mathcal P}$-saturated), at which point the game is over. Max's goal is to maximize the length of the game, whereas Mini aims to minimize it. The score of the game, denoted by $s(n, {\mathcal P})$, is the number of edges in $G$ at the end of the game, assuming both players follow their optimal strategies. We prove lower and upper bounds on the score of games in which the property the players need to avoid is being $k$-connected, having chromatic number at least $k$, and admitting a matching of a given size. In doing so we demonstrate that the score of certain games can be as large as the Turán number or as low as the saturation number of the respective graph property. We also demonstrate that the score might strongly depend on the identity of the first player to move.