arXiv++ Combinatorics

In \cite{striker2018rowmotion} Striker generalized Cameron and Fon-Der-Flaass's notion of a toggle group. In this paper we begin the study of transitive generalized toggle groups that contain a cycle. We first show that if such a group has degree $n$ and contains a transposition or a 3-cycle then the group contains $A_n$. Using the result about transpositions, we then prove that a transitive generalized toggle group that contains a short cycle must be primitive. Employing a result of Jones \cite{jones2014primitive}, which relies on the classification of the finite simple groups, we conclude that any transitive generalized toggle group of degree $n$ that contains a cycle with at least 3 fixed points must also contain $A_n$. Finally, we look at imprimitive generalized toggle groups containing a long cycle and show that they decompose into a direct product of primitive generalized toggle groups each containing a long cycle.

We prove a conjecture of Guo and Poznanović concerning chains in certain 01-fillings of moon polyominoes. A key ingredient of our proof is a correspondence between words $w$ and pairs $(\mathcal{W}(w), \mathcal{M}(w))$ of increasing tableaux such that $\mathcal{M}(w)$ determines the lengths of the longest strictly increasing and strictly decreasing sequences in every subinterval of $w$. We define this correspondence by using Thomas and Yong's K-infusion operator and then use it to obtain the bijections that prove the conjecture of Guo and Poznanović. In constructing our bijections we introduce new variants of the RSK correspondence and Knuth equivalence.

In [2] we introduced a new notion of Wilf equivalence of integer partitions and proved that rook equivalence implies Wilf equivalence. In the present paper we prove the converse and thereby establish a new criterion for rook equivalence. We also refine two of the standard criteria for rook equivalence and establish another new one involving what we call \emph{nested sequences of L's}.

The subjects of rook equivalence and Wilf equivalence have both attracted considerable attention over the last half-century. In this paper we introduce a new notion of Wilf equivalence for integer partitions, and, using this notion, we prove that rook equivalence implies Wilf equivalence. We also prove that if we refine the notions of rook and Wilf equivalence in a natural way, then these two notions coincide. In [6] we prove that Wilf equivalence implies rook equivalence.

In 2000 Klazar introduced a new notion of pattern avoidance in the context of set partitions of $[n]=\{1,\ldots, n\}$. The purpose of the present paper is to undertake a study of the concept of Wilf-equivalence based on Klazar's notion. We determine all Wilf-equivalences for partitions with exactly two blocks, one of which is a singleton block, and we conjecture that, for $n\geq 4$, these are all the Wilf-equivalences except for those arising from complementation. If $τ$ is a partition of $[k]$ and $Π_n(τ)$ denotes the set of all partitions of $[n]$ that avoid $τ$, we establish inequalities between $|Π_n(τ_1)|$ and $|Π_n(τ_2)|$ for several choices of $τ_1$ and $τ_2$, and we prove that if $τ_2$ is the partition of $[k]$ with only one block, then $|Π_n(τ_1)| <|Π_n(τ_2)|$ for all $n>k$ and all partitions $τ_1$ of $[k]$ with exactly two blocks. We conjecture that this result holds for all partitions $τ_1$ of $[k]$. Finally, we enumerate $Π_n(τ)$ for all partitions $τ$ of $[4]$.

In 1982, Beutelspacher and Brestovansky determined the 2-color Rado number of the equation $$x_1+x_2+\cdots +x_{m-1}=x_m$$ for all $m\geq 3.$ Here we extend their result by determining the 2-color Rado number of the equation $$x_1+x_2+\cdots +x_n=y_1+y_2+\cdots +y_k$$ for all $n\geq 2$ and $k\geq 2.$ As a consequence, we determine the 2-color Rado number of $$x_1+x_2+\cdots +x_n=a_1y_1+\cdots +a_{\ell}y_{\ell}$$ in all cases where $n\geq 2$ and $n\geq a_1+\cdots +a_{\ell},$ and in most cases where $n\geq 2$ and $2n\geq a_1+\cdots +a_{\ell}.$

Let $G$ be a group acting on a set $X$ of combinatorial objects, with finite orbits, and consider a statistic $ξ: X \to \mathbb{C}$. Propp and Roby defined the triple $(X, G, ξ)$ to be \emph{homomesic} if for any orbits $\mathcal{O}_1, \mathcal{O}_2$, the average value of the statistic $ξ$ is the same, that is \[\frac{1}{{|\mathcal{O}_1|}}\sum_{x \in \mathcal{O}_1} ξ(x) = \frac{1}{|\mathcal{O}_2|}\sum_{y \in \mathcal{O}_2} ξ(y).\] In 2013 Propp and Roby conjectured the following instance of homomesy. Let $\mathrm{SSYT}_k(m \times n)$ denote the set of semistandard Young tableaux of shape $m \times n$ with entries bounded by $k$. Let $S$ be any set of boxes in the $m \times n$ rectangle fixed under $180^\circ$ rotation. For $T \in \mathrm{SSYT}_k(m \times n)$, define $σ_S(T)$ to be the sum of the entries of $T$ in the boxes of $S$. Let $\langle \mathcal{P} \rangle$ be a cyclic group of order $k$ where $\mathcal{P}$ acts on $\mathrm{SSYT}_k(m \times n)$ by promotion. Then $(\mathrm{SSYT}_k(m \times n), \langle \mathcal{P} \rangle, σ_S)$ is homomesic. We prove this conjecture, as well as a generalization to cominuscule posets. We also discuss analogous questions for tableaux with strictly increasing rows and columns under the K-promotion of Thomas and Yong, and prove limited results in that direction.

In the first installment of this series, we proved that, for every integer $a\geq 3$ and every $m\geq 2a^2-a+2$, the 2-color Rado number of $x_1 + x_2 + \cdots + x_{m-1} = ax_m$ is $\lceil\frac{m-1}{a} \lceil\frac{m-1}{a} \rceil\rceil$. Here we obtain the best possible improvement of the bound on $m.$ We prove that if $3|a$ then the 2-color Rado number is $\lceil\frac{m-1}{a} \lceil\frac{m-1}{a} \rceil\rceil$ when $m\geq 2a+1$ but not when $m=2a,$ and that if $3\nmid a$ then the 2-color Rado number is $\lceil\frac{m-1}{a} \lceil\frac{m-1}{a} \rceil\rceil$ when $m\geq 2a+2$ but not when $m=2a+1.$ We also determine the 2-color Rado number for all $a\geq 3$ and $m\geq \frac{a}{2}+1.$

In 1982, Beutelspacher and Brestovansky proved that for every integer $m\geq 3,$ the 2-color Rado number of the equation $$x_1+x_2+...+x_{m-1}=x_m$$ is $m^2-m-1.$ In 2008, Schaal and Vestal proved that, for every $m\geq 6,$ the 2-color Rado number of $$x_1+x_2+...+x_{m-1}=2x_m$$ is $\lceil \frac{m-1}{2}\lceil\frac{m-1}{2}\rceil\rceil.$ Here we prove that, for every integer $a\geq 3$ and every $m\geq 2a^2-a+2$, the 2-color Rado number of $$x_1+x_2+...+x_{m-1}=ax_m$$ is $\lceil\frac{m-1}{a}\lceil\frac{m-1}{a}\rceil\rceil.$ For the case $a=3,$ we show that our formula gives the Rado number for all $m\geq 7,$ and we determine the Rado number for all $m\geq 3.$

Stankova and West proved in 2002 that the patterns 231 and 312 are shape-Wilf-equivalent. Their proof was nonbijective and fairly complicated. We give a new characterization of 231 and 312 avoiding full rook placements and use this to give a simple bijective proof of the shape-Wilf- equivalence.

In their paper [1] on Wilf-equivalence for singleton classes, Backelin, Xin, and West introduce a transformation $φ^*$, defined by an iterative process and operating on (all) full rook placements on Ferrers boards. In [3], Bousquet-M$\acute{\textrm{e}}$lou and Steingr$\acute{\textrmı}$msson prove the analogue of the main result of [1] in the context of involutions, and in so doing they must prove that $φ^*$ commutes with the operation of taking inverses. The proof of this commutation result is long and difficult, and Bousquet-M$\acute{\textrm{e}}$lou and Steingr$\acute{\textrmı}$msson ask if $φ^*$ might be reformulated in such a way as to make this result obvious. In the present paper we provide such a reformulation of $φ^*$, by modifying the growth diagram algorithm of Fomin [4,5]. This also answers a question of Krattenthaler [6, problem 4], who notes that a bijection defined by the unmodified Fomin algorithm obviously commutes with inverses, and asks what the connection is between this bijection and $φ^*$.

Let S_n(321) (respectively, S_n(132)) denote the set of all permutations of {1,2,...,n} that avoid the pattern 321 (respectively, the pattern 132). Elizalde and Pak gave a bijection Theta from S_n(321) to S_n(132) that preserves the numbers of fixed points and excedances for each element of S_n(321), and commutes with the operation of taking inverses. Bloom and Saracino proved that another bijection Gamma from S_n(321) to S_n(132), introduced by Robertson, has the same properties, and they later gave a pictorial reformulation of Gamma that made these results more transparent. Here we give a pictorial reformulation of Theta, from which it follows that, although the original definitions of Theta and Gamma are very different, these two bijections are in fact related to each other in a very simple way, by using inversion, reversal, and complementation.

Let V(n) be the minimum number of monochromatic 3-term arithmetic progressions in any 2-coloring of {1,2,...,n}. We show that (1675/32768) n^2 (1+o(1)) <= V(n) <= (117/2192) n^2(1+o(1)). As a consequence, we find that V(n) is strictly greater than the corresponding number for Schur triples (which is (1/22) n^2 (1+o(1)). Additionally, we disprove the conjecture that V(n) = (1/16) n^2(1+o(1)), as well as a more general conjecture.

Define $I_n^k(α)$ to be the set of involutions of $\{1,2,...,n\}$ with exactly $k$ fixed points which avoid the pattern $α\in S_i$, for some $i \geq 2$, and define $I_n^k(\emptyset;α)$ to be the set of involutions of $\{1,2,...,n\}$ with exactly $k$ fixed points which contain the pattern $α\in S_i$, for some $i \geq 2$, exactly once. Let $i_n^k(α)$ be the number of elements in $I_n^k(α)$ and let $i_n^k(\emptyset;α)$ be the number of elements in $I_n^k(\emptyset;α)$. We investigate $I_n^k(α)$ and $I_n^k(\emptyset;α)$ for all $α\in S_3$. In particular, we show that $i_n^k(132)=i_n^k(213)=i_n^k(321)$, $i_n^k(231)=i_n^k(312)$, $i_n^k(\emptyset;132) =i_n^k(\emptyset;213)$, and $i_n^k(\emptyset;231)=i_n^k(\emptyset;312)$ for all $0 \leq k \leq n$.

Define $S_n^k(α)$ to be the set of permutations of $\{1,2,...,n\}$ with exactly $k$ fixed points which avoid the pattern $α\in S_m$. Let $s_n^k(α)$ be the size of $S_n^k(α)$. We investigate $S_n^0(α)$ for all $α\in S_3$ as well as show that $s_n^k(132)=s_n^k(213)=s_n^k(321)$ and $s_n^k(231)=s_n^k(312)$ for all $0 \leq k \leq n$.