arXiv++ Combinatorics

In this paper, we use Hasse diagrams and generating functions to count alternating permutations with restricted prefix and suffix of lengths 3 and 4. In other words, for an alternating permutation $σ=σ_1σ_2σ_3\cdotsσ_{n}\in S_{n}$, we restrict length-3 prefixes $σ_1σ_2σ_3$ to follow certain patterns, such as $231$ and $132$, or follow certain restrictions such as $σ_2 \geq \max\{σ_1,σ_3\}+2$, similarly for prefixes of length 4. We also study the enumeration of alternating permutations with restrictions on both prefix and suffix.

Classical pattern avoidance and occurrence are well studied in the symmetric group $\mathcal{S}_{n}$. In this paper, we provide explicit recurrence relations to the generating functions counting the number of classical pattern occurrence in the set of 132-avoiding permutations and the set of 123-avoiding permutations.

In this paper, we study the distribution of consecutive patterns in the set of 123-avoiding permutations and the set of 132-avoiding permutations, that is, in $\mathcal{S}_n(123)$ and $\mathcal{S}_n(132)$. We first study the distribution of consecutive pattern $γ$-matches in $\mathcal{S}_n(123)$ and $\mathcal{S}_n(132)$ for each length 3 consecutive pattern $γ$. Then we extend our methods to study the joint distributions of multiple consecutive patterns. Some more general cases are discussed in this paper as well.

Gorsky and Negut introduced operators $Q_{m,n}$ on symmetric functions and conjectured that, in the case where $m$ and $n$ are relatively prime, the expression ${Q}_{m,n}(1)$ is given by the Hikita polynomial ${H}_{m,n}[X;q,t]$. Later, Bergeron-Garsia-Leven-Xin extended and refined the conjectures of ${Q}_{m,n}(1)$ for arbitrary $m$ and $n$ which we call the Extended Rational Shuffle Conjecture. In the special case ${Q}_{n+1,n}(1)$, the Rational Shuffle Conjecture becomes the Shuffle Conjecture of Haglund-Haiman-Loehr-Remmel-Ulyanov, which was proved in 2015 by Carlsson and Mellit as the Shuffle Theorem. The Extended Rational Shuffle Conjecture was later proved by Mellit as the Extended Rational Shuffle Theorem. The main goal of this paper is to study the combinatorics of the coefficients that arise in the Schur function expansion of ${Q}_{m,n}(1)$ in certain special cases. Leven gave a combinatorial proof of the Schur function expansion of ${Q}_{2,2n+1}(1)$ and ${Q}_{2n+1,2}(1)$. In this paper, we explore several symmetries in the combinatorics of the coefficients that arise in the Schur function expansion of ${Q}_{m,n}(1)$. Especially, we study the hook-shaped Schur function coefficients, and the Schur function expansion of ${Q}_{m,n}(1)$ in the case where $m$ or $n$ equals $3$.

An ordered set partition of $\{1,2,\ldots,n\}$ is a partition with an ordering on the parts. Let $\mathcal{OP}_{n,k}$ be the set of ordered set partitions of $[n]$ with $k$ blocks. Godbole, Goyt, Herdan and Pudwell defined $\mathcal{OP}_{n,k}(σ)$ to be the set of ordered set partitions in $\mathcal{OP}_{n,k}$ avoiding a permutation pattern $σ$ and obtained the formula for $|\mathcal{OP}_{n,k}(σ)|$ when the pattern $σ$ is of length $2$. Later, Chen, Dai and Zhou found a formula algebraically for $|\mathcal{OP}_{n,k}(σ)|$ when the pattern $σ$ is of length $3$. In this paper, we define a new pattern avoidance for the set $\mathcal{OP}_{n,k}$, called $\mathcal{WOP}_{n,k}(σ)$, which includes the questions proposed by Godbole, Goyt, Herdan and Pudwell. We obtain formulas for $|\mathcal{WOP}_{n,k}(σ)|$ combinatorially for any $σ$ of length $ 3$. We also define 3 kinds of descent statistics on ordered set partitions and study the distribution of the descent statistics on $\mathcal{WOP}_{n,k}(σ)$ for $σ$ of length $3$.

Egge, Loehr and Warrington gave in \cite{ELW} a combinatorial formula that permits to convert the expansion of a symmetric function, homogeneous of degree $n$, in terms of Gessel's fundamental quasisymmetric functions into an expansion in terms of Schur functions. Surprisingly the Egge, Loehr and Warrington result may be shown to be simply equivalent to replacing the Gessel fundamental by a Schur function indexed by the same composition. In this paper we give a direct proof of the validity of this replacement. This interpretation of the result in \cite{ELW} has already been successfully applied to Schur positivity problems.

A sequence $(a_n)_{n \geq 0}$ is Stieltjes moment sequence if it has the form $a_n = \int_0^\infty x^n dμ(x)$ for $μ$ is a nonnegative measure on $[0,\infty)$. It is known that $(a_n)_{n \geq 0}$ is a Stieltjes moment sequence if and only if the matrix $H =[a_{i+j}]_{i,j \geq 0}$ is totally positive, i.e., all its minors are nonnegative. We define a sequence of polynomials in $x_1,x_2,\ldots,x_n$ $(a_n(x_1,x_2,\ldots,x_n))_{n \geq 0}$ to be a Stieltjes moment sequence of polynomials if the matrix $H =[a_{i+j} (x_1,x_2,\ldots,x_n)]_{i,j \geq 0}$ is $(x_1,x_2,\ldots,x_n)$-totally positive, i.e., all its minors are polynomials in $x_1,x_2,\ldots,x_n$ with nonnegative coefficients. The main goal of this paper is to produce a large class of Stieltjes moment sequences of polynomials by finding multivariable analogues of Catalan-like numbers as defined by Aigner.

In this paper, we extend the reciprocity method introduced by Jones and Remmel to study the distributions of descents over words which have no u-matches for words u that have at most one descent.

The study of patterns in permutations associated with forests of binary shrubs was initiated by D. Bevan et al.. In this paper, we study five different types of rise statistics that can be associated with such permutations and find the generating functions for the distribution of such rise statistics.

We conjecture two combinatorial interpretations for the symmetric function $Δ_{e_k} e_n$, where $Δ_f$ is an eigenoperator for the modified Macdonald polynomials defined by Bergeron, Garsia, Haiman, and Tesler. Both interpretations can be seen as generalizations of the Shuffle Conjecture of Haglund, Haiman, Remmel, Loehr, and Ulyanov, which was proved recently by Carlsson and Mellit. We show how previous work of the third author on Tesler matrices and ordered set partitions can be used to verify several cases of our conjectures. Furthermore, we use a reciprocity identity and LLT polynomials to prove another case. Finally, we show how our conjectures inspire 4-variable generalizations of the Catalan numbers, extending work of Garsia, Haiman, and the first author.

Suppose the rows of a board are partitioned into sets of m rows called levels. An m-level rook placement is a subset of the board where no two squares are in the same column or the same level. We construct explicit bijections to prove three theorems about such placements. We start with two bijections between Ferrers boards having the same number of m-level rook placements. The first generalizes a map by Foata and Sch\"utzenberger and our proof applies to any Ferrers board. This bijection also preserves the m-inversion number statistic of an m-level rook placement, defined by Briggs and Remmel. The second generalizes work of Loehr and Remmel. This construction only works for a special class of Ferrers boards, but it yields a formula for calculating the rook numbers of these boards in terms of elementary symmetric functions. Finally we generalize another result of Loehr and Remmel giving a bijection between boards with the same hit numbers. The second and third bijections involve the Involution Principle of Garsia and Milne.

A sequence $(a_1, \ldots, a_n)$ of nonnegative integers is an {\em ascent sequence} if $a_0 =0$ and for all $i \geq 2$, $a_i$ is at most 1 plus the number of ascents in $(a_1, \ldots, a_{i-1})$. Ascent sequences were introduced by Bousquet-Mélou, Claesson, Dukes, and Kitaev, who showed that these sequences of length $n$ are in 1-to-1 correspondence with \tpt-free posets of size $n$, which, in turn, are in 1-to-1 correspondence with interval orders of size $n$. Ascent sequences are also in bijection with several other classes of combinatorial objects including the set of upper triangular matrices with nonnegative integer entries such that no row or column contains all zeros, permutations that avoid a certain mesh pattern, and the set of Stoimenow matchings. In this paper, we introduce a generalization of ascent sequences, which we call {\em $p$-ascent sequences}, where $p \geq 1$. A sequence $(a_1, \ldots, a_n)$ of nonnegative integers is a $p$-ascent sequence if $a_0 =0$ and for all $i \geq 2$, $a_i$ is at most $p$ plus the number of ascents in $(a_1, \ldots, a_{i-1})$. Thus, in our terminology, ascent sequences are 1-ascent sequences. We generalize a result of the authors by enumerating $p$-ascent sequences with respect to the number of $0$s. We also generalize a result of Dukes, Kitaev, Remmel, and Steingrímsson by finding the generating function for the number of $p$-ascent sequences which have no consecutive repeated elements. Finally, we initiate the study of pattern-avoiding $p$-ascent sequences.

The notion of a word-representable graph has been studied in a series of papers in the literature. A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$. If $V =\{1, \ldots, n\}$, this is equivalent to saying that $G$ is word-representable if for all $x,y \in \{1, \ldots, n\}$, $xy \in E$ if and only if the subword $w_{\{x,y\}}$ of $w$ consisting of all occurrences of $x$ or $y$ in $w$ has no consecutive occurrence of the pattern 11. In this paper, we introduce the study of $u$-representable graphs for any word $u \in \{1,2\}^*$. A graph $G$ is $u$-representable if and only if there is a labeled version of $G$, $G=(\{1, \ldots, n\}, E)$, and a word $w \in \{1, \ldots, n\}^*$ such that for all $x,y \in \{1, \ldots, n\}$, $xy \in E$ if and only if $w_{\{x,y\}}$ has no consecutive occurrence of the pattern $u$. Thus, word-representable graphs are just $11$-representable graphs. We show that for any $k \geq 3$, every finite graph $G$ is $1^k$-representable. This contrasts with the fact that not all graphs are 11-representable graphs. The main focus of the paper is the study of $12$-representable graphs. In particular, we classify the $12$-representable trees. We show that any $12$-representable graph is a comparability graph and the class of $12$-representable graphs include the classes of co-interval graphs and permutation graphs. We also state a number of facts on $12$-representation of induced subgraphs of a grid graph.

In this paper, we study the distribution of the number of occurrences of the simplest frame pattern, called the $μ$ pattern, in $n$-cycles. Given an $n$-cycle $C$, we say that a pair $\langle i,j \rangle$ matches the $μ$ pattern if $i < j$ and as we traverse around $C$ in a clockwise direction starting at $i$ and ending at $j$, we never encounter a $k$ with $i < k < j$. We say that $ \langle i,j \rangle$ is a nontrivial $μ$-match if $i+1 < j$. Also, an $n$-cycle $C$ is incontractible if there is no $i$ such that $i+1$ immediately follows $i$ in $C$. We show that the number of incontractible $n$-cycles in the symmetric group $S_n$ is $D_{n-1}$, where $D_n$ is the number of derangements in $S_n$. Further, we prove that the number of $n$-cycles in $S_n$ with exactly $k$ $μ$-matches can be expressed as a linear combination of binomial coefficients of the form $\binom{n-1}{i}$ where $i \leq 2k+1$. We also show that the generating function $NTI_{n,μ}(q)$ of $q$ raised to the number of nontrivial $μ$-matches in $C$ over all incontractible $n$-cycles in $S_n$ is a new $q$-analogue of $D_{n-1}$, which is different from the $q$-analogues of the derangement numbers that have been studied by Garsia and Remmel and by Wachs. We show that there is a rather surprising connection between the charge statistic on permutations due to Lascoux and Schüzenberger and our polynomials in that the coefficient of the smallest power of $q$ in $NTI_{2k+1,μ}(q)$ is the number of permutations in $S_{2k+1}$ whose charge path is a Dyck path. Finally, we show that $NTI_{n,μ}(q)|_{q^{\binom{n-1}{2} -k}}$ and $NT_{n,μ}(q)|_{q^{\binom{n-1}{2} -k}}$ are the number of partitions of $k$ for sufficiently large $n$.

Goldman, Joichi, and White proved a beautiful theorem showing that the falling factorial generating function for the rook numbers of a Ferrers board factors over the integers. Briggs and Remmel studied an analogue of rook placements where rows are replaced by sets of $m$ rows called levels. They proved a version of the factorization theorem in that setting, but only for certain Ferrers boards. We generalize this result to any Ferrers board as well as giving a p,q-analogue. We also consider a dual situation involving weighted file placements which permit more than one rook in the same row. In both settings, we discuss properties of the resulting equivalence classes such as the number of elements in a class. In addition, we prove analogues of a theorem of Foata and Schützenberger giving a distinguished representative in each class as well as make connections with the q,t-Catalan numbers. We end with some open questions raised by this work.

This paper is continuation of the study of the 1-box pattern in permutations introduced by the authors in \cite{kitrem4}. We derive a two-variable generating function for the distribution of this pattern on 132-avoiding permutations, and then study some of its coefficients providing a link to the Fibonacci numbers. We also find the number of separable permutations with two and three occurrences of the 1-box pattern.

In this paper, we introduce the notion of a $(a,b)$-rectangle pattern on permutations that not only generalizes the notion of successive elements (bonds) in permutations, but is also related to mesh patterns introduced recently by Brändén and Claesson. We call the $(k,k)$-rectangle pattern the $k$-box pattern. To provide an enumeration result on the maximum number of occurrences of the 1-box pattern, we establish an enumerative result on pattern-avoiding signed permutations. Further, we extend the notion of $(k,\ell)$-rectangle patterns to words and binary matrices, and provide distribution of $(1,\ell)$-rectangle patterns on words; explicit formulas are given for up to 7 letter alphabets where $\ell \in \{1,2\}$, while obtaining distributions for larger alphabets depends on inverting a matrix we provide. We also provide similar results for the distribution of bonds over words. As a corollary to our studies we confirm a conjecture of Mathar on the number of "stable LEGO walls" of width 7 as well as prove three conjectures due to Hardin and a conjecture due to Barker. We also enumerate two sequences published by Hardin in the On-Line Encyclopedia of Integer Sequences.

Given a permutation $\sg = \sg_1 \ldots \sg_n$ in the symmetric group $S_n$, we say that $\sg_i$ matches the marked mesh pattern $MMP(a,b,c,d)$ in $\sg$ if there are at least $a$ points to the right of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least $b$ points to the left of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least $c$ points to the left of $\sg_i$ in $\sg$ which are smaller than $\sg_i$, and at least $d$ points to the right of $\sg_i$ in $\sg$ which are smaller than $\sg_i$. This paper is continuation of the systematic study of the distribution of quadrant marked mesh patterns in 132-avoiding permutations started in \cite{kitremtie} and \cite{kitremtieII} where we studied the distribution of the number of matches of $MMP(a,b,c,d)$ in 132-avoiding permutations where at most two elements of of $a,b,c,d$ are greater than zero and the remaining elements are zero. In this paper, we study the distribution of the number of matches of $MMP(a,b,c,d)$ in 132-avoiding permutations where at least three of $a,b,c,d$ are greater than zero. We provide explicit recurrence relations to enumerate our objects which can be used to give closed forms for the generating functions associated with such distributions. In many cases, we provide combinatorial explanations of the coefficients that appear in our generating functions.

Given a permutation $\sg = \sg_1...\sg_n$ in the symmetric group $S_n$, we say that $\sg_i$ matches the marked mesh pattern $MMP(a,b,c,d)$ in $\sg$ if there are at least $a$ points to the right of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least $b$ points to the left of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least $c$ points to the left of $\sg_i$ in $\sg$ which are smaller than $\sg_i$, and at least $d$ points to the right of $\sg_i$ in $\sg$ which are smaller than $\sg_i$. This paper is continuation of the systematic study of the distribution of quadrant marked mesh patterns in 132-avoiding permutations started in \cite{kitremtie} where we mainly studied the distribution of the number of matches of $MMP(a,b,c,d)$ in 132-avoiding permutations where exactly one of $a,b,c,d$ is greater than zero and the remaining elements are zero. In this paper, we study the distribution of the number of matches of $MMP(a,b,c,d)$ in 132-avoiding permutations where exactly two of $a,b,c,d$ are greater than zero and the remaining elements are zero. We provide explicit recurrence relations to enumerate our objects which can be used to give closed forms for the generating functions associated with such distributions. In many cases, we provide combinatorial explanations of the coefficients that appear in our generating functions. The case of quadrant marked mesh patterns $MMP(a,b,c,d)$ where three or more of $a,b,c,d$ are constrained to be greater than 0 will be studied in \cite{kitremtieIII}.

We study the number of 231-avoiding permutations with $j$-descents and maximum drop is less than or equal to $k$ which we denote by $a_{n,231,j}^{(k)}$. We show that $a_{n,231,j}^{(k)}$ also counts the number of Dyck paths of length $2n$ with $n-j$ peaks and height $\leq k+1$, and the number of ordered trees with $n$ edges, $j+1$ internal nodes, and of height $\leq k+1$. We show that the generating functions for the $a_{n,231,j}^{(k)}$s with $k$ fixed satisfy a simple recursion. We also use the combinatorics of ordered trees to prove new explicit formulas for $a_{n,231,j}^{(k)}$ as a function of $n$ in a number of special values of $j$ and $k$ and prove a simple recursion for the $a_{n,231,j}^{(k)}$s.