Source author record

Jeffrey Remmel

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

20works
1topics
4close collaborators

Published work

20 publications

preprint2020arXiv

Schur Function Expansions and the Rational Shuffle Theorem

Gorsky and Negut introduced operators Qm,nQ_{m,n} on symmetric functions and conjectured that, in the case where mm and nn are relatively prime, the expression Qm,n(1){Q}_{m,n}(1) is given by the Hikita polynomial Hm,n[X;q,t]{H}_{m,n}[X;q,t]. Later, Bergeron-Garsia-Leven-Xin extended and refined the conjectures of Qm,n(1){Q}_{m,n}(1) for arbitrary mm and nn which we call the Extended Rational Shuffle Conjecture. In the special case Qn+1,n(1){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 Qm,n(1){Q}_{m,n}(1) in certain special cases. Leven gave a combinatorial proof of the Schur function expansion of Q2,2n+1(1){Q}_{2,2n+1}(1) and Q2n+1,2(1){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 Qm,n(1){Q}_{m,n}(1). Especially, we study the hook-shaped Schur function coefficients, and the Schur function expansion of Qm,n(1){Q}_{m,n}(1) in the case where mm or nn equals 33.

preprint2015arXiv

Bijections on m-level Rook Placements

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.

preprint2015arXiv

p-Ascent Sequences

A sequence (a1,…,an)(a_1, \ldots, a_n) of nonnegative integers is an {\em ascent sequence} if a0=0a_0 =0 and for all i≥2i \geq 2, aia_i is at most 1 plus the number of ascents in (a1,…,ai−1)(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 nn are in 1-to-1 correspondence with \tpt-free posets of size nn, which, in turn, are in 1-to-1 correspondence with interval orders of size nn. 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 pp-ascent sequences}, where p≥1p \geq 1. A sequence (a1,…,an)(a_1, \ldots, a_n) of nonnegative integers is a pp-ascent sequence if a0=0a_0 =0 and for all i≥2i \geq 2, aia_i is at most pp plus the number of ascents in (a1,…,ai−1)(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 pp-ascent sequences with respect to the number of 00s. We also generalize a result of Dukes, Kitaev, Remmel, and Steingr\'ımsson by finding the generating function for the number of pp-ascent sequences which have no consecutive repeated elements. Finally, we initiate the study of pattern-avoiding pp-ascent sequences.

preprint2014arXiv

Quadrant marked mesh patterns in 132-avoiding permutations I

This paper is a continuation of the systematic study of the distributions of quadrant marked mesh patterns initiated in [6]. Given a permutation $\sg = \sg_1 ... \sg_n$ in the symmetric group SnS_n, we say that $\sg_i$ matches the quadrant marked mesh pattern MMP(a,b,c,d)MMP(a,b,c,d) if there are at least aa elements to the right of $\sg_i$ in $\sg$ that are greater than $\sg_i$, at least bb elements to left of $\sg_i$ in $\sg$ that are greater than $\sg_i$, at least cc elements to left of $\sg_i$ in $\sg$ that are less than $\sg_i$, and at least dd elements to the right of $\sg_i$ in $\sg$ that are less than $\sg_i$. We study the distribution of MMP(a,b,c,d)MMP(a,b,c,d) in 132-avoiding permutations. In particular, we study the distribution of MMP(a,b,c,d)MMP(a,b,c,d), where only one of the parameters a,b,c,da,b,c,d are non-zero. In a subsequent paper [7], we will study the the distribution of MMP(a,b,c,d)MMP(a,b,c,d) in 132-avoiding permutations where at least two of the parameters a,b,c,da,b,c,d are non-zero.

preprint2014arXiv

Representing Graphs via Pattern Avoiding Words

The notion of a word-representable graph has been studied in a series of papers in the literature. A graph G=(V,E)G=(V,E) is word-representable if there exists a word ww over the alphabet VV such that letters xx and yy alternate in ww if and only if xyxy is an edge in EE. If V={1,…,n}V =\{1, \ldots, n\}, this is equivalent to saying that GG is word-representable if for all x,y∈{1,…,n}x,y \in \{1, \ldots, n\}, xy∈Exy \in E if and only if the subword w{x,y}w_{\{x,y\}} of ww consisting of all occurrences of xx or yy in ww has no consecutive occurrence of the pattern 11. In this paper, we introduce the study of uu-representable graphs for any word u∈{1,2}∗u \in \{1,2\}^*. A graph GG is uu-representable if and only if there is a labeled version of GG, G=({1,…,n},E)G=(\{1, \ldots, n\}, E), and a word w∈{1,…,n}∗w \in \{1, \ldots, n\}^* such that for all x,y∈{1,…,n}x,y \in \{1, \ldots, n\}, xy∈Exy \in E if and only if w{x,y}w_{\{x,y\}} has no consecutive occurrence of the pattern uu. Thus, word-representable graphs are just 1111-representable graphs. We show that for any k≥3k \geq 3, every finite graph GG is 1k1^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 1212-representable graphs. In particular, we classify the 1212-representable trees. We show that any 1212-representable graph is a comparability graph and the class of 1212-representable graphs include the classes of co-interval graphs and permutation graphs. We also state a number of facts on 1212-representation of induced subgraphs of a grid graph.

preprint2013arXiv

(a,b)-rectangle patterns in permutations and words

In this paper, we introduce the notion of a (a,b)(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)(k,k)-rectangle pattern the kk-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,ℓ)(k,\ell)-rectangle patterns to words and binary matrices, and provide distribution of (1,ℓ)(1,\ell)-rectangle patterns on words; explicit formulas are given for up to 7 letter alphabets where ℓ∈{1,2}\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.

preprint2013arXiv

Frame patterns in n-cycles

In this paper, we study the distribution of the number of occurrences of the simplest frame pattern, called the μμ pattern, in nn-cycles. Given an nn-cycle CC, we say that a pair ⟨i,j⟩\langle i,j \rangle matches the μμ pattern if i<ji < j and as we traverse around CC in a clockwise direction starting at ii and ending at jj, we never encounter a kk with i<k<ji < k < j. We say that ⟨i,j⟩ \langle i,j \rangle is a nontrivial μμ-match if i+1<ji+1 < j. Also, an nn-cycle CC is incontractible if there is no ii such that i+1i+1 immediately follows ii in CC. We show that the number of incontractible nn-cycles in the symmetric group SnS_n is Dn−1D_{n-1}, where DnD_n is the number of derangements in SnS_n. Further, we prove that the number of nn-cycles in SnS_n with exactly kk μμ-matches can be expressed as a linear combination of binomial coefficients of the form (n−1i)\binom{n-1}{i} where i≤2k+1i \leq 2k+1. We also show that the generating function NTIn,μ(q)NTI_{n,μ}(q) of qq raised to the number of nontrivial μμ-matches in CC over all incontractible nn-cycles in SnS_n is a new qq-analogue of Dn−1D_{n-1}, which is different from the qq-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 qq in NTI2k+1,μ(q)NTI_{2k+1,μ}(q) is the number of permutations in S2k+1S_{2k+1} whose charge path is a Dyck path. Finally, we show that NTIn,μ(q)∣q(n−12)−kNTI_{n,μ}(q)|_{q^{\binom{n-1}{2} -k}} and NTn,μ(q)∣q(n−12)−kNT_{n,μ}(q)|_{q^{\binom{n-1}{2} -k}} are the number of partitions of kk for sufficiently large nn.

preprint2013arXiv

m-Level rook placements

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

preprint2013arXiv

Quadrant marked mesh patterns in 132-avoiding permutations II

Given a permutation $\sg = \sg_1...\sg_n$ in the symmetric group SnS_n, we say that $\sg_i$ matches the marked mesh pattern MMP(a,b,c,d)MMP(a,b,c,d) in $\sg$ if there are at least aa points to the right of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least bb points to the left of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least cc points to the left of $\sg_i$ in $\sg$ which are smaller than $\sg_i$, and at least dd 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)MMP(a,b,c,d) in 132-avoiding permutations where exactly one of a,b,c,da,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)MMP(a,b,c,d) in 132-avoiding permutations where exactly two of a,b,c,da,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)MMP(a,b,c,d) where three or more of a,b,c,da,b,c,d are constrained to be greater than 0 will be studied in \cite{kitremtieIII}.

preprint2013arXiv

Quadrant marked mesh patterns in 132-avoiding permutations III

Given a permutation $\sg = \sg_1 \ldots \sg_n$ in the symmetric group SnS_n, we say that $\sg_i$ matches the marked mesh pattern MMP(a,b,c,d)MMP(a,b,c,d) in $\sg$ if there are at least aa points to the right of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least bb points to the left of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least cc points to the left of $\sg_i$ in $\sg$ which are smaller than $\sg_i$, and at least dd 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)MMP(a,b,c,d) in 132-avoiding permutations where at most two elements of of a,b,c,da,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)MMP(a,b,c,d) in 132-avoiding permutations where at least three of a,b,c,da,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.

preprint2012arXiv

Quadrant marked mesh patterns in alternating permutations

This paper is continuation of the systematic study of distribution of quadrant marked mesh patterns. We study quadrant marked mesh patterns on up-down and down-up permutations, also known as alternating and reverse alternating permutations, respectively. In particular, we refine classic enumeration results of André on alternating permutations by showing that the distribution of the quadrant marked mesh pattern of interest is given by (sec⁡(xt))1/x(\sec(xt))^{1/x} on up-down permutations of even length and by ∫0t(sec⁡(xz))1+1xdz\int_0^t (\sec(xz))^{1+\frac{1}{x}}dz on down-up permutations of odd length.

preprint2012arXiv

Simple marked mesh patterns

In this paper we begin the first systematic study of distributions of simple marked mesh patterns. Mesh patterns were introduced recently by Brändén and Claesson in connection with permutation statistics. We provide explicit generating functions in several general cases, and develop recursions to compute the numbers in question in some other cases. Certain qq-analogues are discussed. Moreover, we consider two modifications of the notion of a marked mesh pattern and provide enumerative results for them.

preprint2012arXiv

The classification of 231-avoiding permutations by descents and maximum drop

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

preprint2011arXiv

Enumerating (2+2)-free posets by indistinguishable elements

A poset is said to be (2+2)-free if it does not contain an induced subposet that is isomorphic to 2+2, the union of two disjoint 2-element chains. Two elements in a poset are indistinguishable if they have the same strict up-set and the same strict down-set. Being indistinguishable defines an equivalence relation on the elements of the poset. We introduce the statistic maxindist, the maximum size of a set of indistinguishable elements. We show that, under a bijection of Bousquet-Melou et al., indistinguishable elements correspond to letters that belong to the same run in the so-called ascent sequence corresponding to the poset. We derive the generating function for the number of (2+2)-free posets with respect to both maxindist and the number of different strict down-sets of elements in the poset. Moreover, we show that (2+2)-free posets P with maxindist(P) at most k are in bijection with upper triangular matrices of nonnegative integers not exceeding k, where each row and each column contains a nonzero entry. (Here we consider isomorphic posets to be equal.) In particular, (2+2)-free posets P on n elements with maxindist(P)=1 correspond to upper triangular binary matrices where each row and column contains a nonzero entry, and whose entries sum to n. We derive a generating function counting such matrices, which confirms a conjecture of Jovovic, and we refine the generating function to count upper triangular matrices consisting of nonnegative integers not exceeding k and having a nonzero entry in each row and column. That refined generating function also enumerates (2+2)-free posets according to maxindist. Finally, we link our enumerative results to certain restricted permutations and matrices.

preprint2011arXiv

Patterns in column strict fillings of rectangular arrays

In this paper, we study pattern matching in the set F_{n,k} of fillings of the k x n rectangle with the integers 1,...,kn such that the elements in any column increase from bottom to top. Let P be a column strict tableau of shape 2^k. We say that a filling F in F_{n,k} has P-match starting at i if the elements of F in columns i and i+1 have the same relative order as the elements of P. We compute the generating functions for the distribution of P-matches and nonoverlapping P-matches for various classes of standard tableaux of shape 2^k. We say that a filling F in F_{n,k} is P-alternating if there are P-matches of F starting at all odd positions but there are no P-matches of F starting at even positions. We also compute the generating functions for P-alternating elements of F_{n,k} for various classes of standard tableaux of shape 2^k.

preprint2011arXiv

Row-strict quasisymmetric Schur functions

Haglund, Luoto, Mason, and van Willigenburg introduced a basis for quasisymmetric functions called the quasisymmetric Schur function basis, generated combinatorially through fillings of composition diagrams in much the same way as Schur functions are generated through reverse column-strict tableaux. We introduce a new basis for quasisymmetric functions called the row-strict quasisymmetric Schur function basis, generated combinatorially through fillings of composition diagrams in much the same way as Schur functions are generated through row-strict tableaux. We describe the relationship between this new basis and other known bases for quasisymmetric functions, as well as its relationship to Schur polynomials. We obtain a refinement of the omega transform operator as a result of these relationships.

preprint2010arXiv

Enumerating (2+2)-free posets by the number of minimal elements and other statistics

An unlabeled poset is said to be (2+2)-free if it does not contain an induced subposet that is isomorphic to 2+2, the union of two disjoint 2-element chains. Let pnp_n denote the number of (2+2)-free posets of size nn. In a recent paper, Bousquet-Mélou et al.\cite{BCDK} found, using so called ascent sequences, the generating function for the number of (2+2)-free posets of size nn: P(t)=∑n≥0pntn=∑n≥0∏i=1n(1−(1−t)i)P(t)=\sum_{n \geq 0} p_n t^n = \sum_{n\geq 0} \prod_{i=1}^{n} (1-(1-t)^i). We extend this result in two ways. First, we find the generating function for (2+2)-free posets when four statistics are taken into account, one of which is the number of minimal elements in a poset. Second, we show that if pn,kp_{n,k} equals the number of (2+2)-free posets of size nn with kk minimal elements, then P(t,z)=∑n,k≥0pn,ktnzk=1+∑n≥0zt(1−zt)n+1∏i=1n(1−(1−t)i)P(t,z)=\sum_{n,k \geq 0} p_{n,k} t^n z^k = 1+ \sum_{n \geq 0} \frac{zt}{(1-zt)^{n+1}} \prod_{i=1}^n (1-(1-t)^i). The second result cannot be derived from the first one by a substitution. On the other hand, P(t)P(t) can easily be obtained from P(t,z)P(t,z) thus providing an alternative proof for the enumeration result in \cite{BCDK}. Moreover, we conjecture a simpler form of writing P(t,z)P(t,z). Our enumeration results are extended to certain restricted permutations and to regular linearized chord diagrams through bijections in \cite{BCDK,cdk}. Finally, we define a subset of ascent sequences counted by the Catalan numbers and we discuss its relations with (2+2)- and (3+1)-free posets.

preprint2010arXiv

Generating functions for Wilf equivalence under generalized factor order

Kitaev, Liese, Remmel, and Sagan recently defined generalized factor order on words comprised of letters from a partially ordered set (P,≤P)(P, \leq_P) by setting u≤Pwu \leq_P w if there is a subword vv of ww of the same length as uu such that the ii-th character of vv is greater than or equal to the ii-th character of uu for all ii. This subword vv is called an embedding of uu into ww. For the case where PP is the positive integers with the usual ordering, they defined the weight of a word w=w1…wnw = w_1\ldots w_n to be wt(w)=x∑i=1nwitn\text{wt}(w) = x^{\sum_{i=1}^n w_i} t^{n}, and the corresponding weight generating function F(u;t,x)=∑w≥Puwt(w)F(u;t,x) = \sum_{w \geq_P u} \text{wt}(w). They then defined two words uu and vv to be Wilf equivalent, denoted u∽vu \backsim v, if and only if F(u;t,x)=F(v;t,x)F(u;t,x) = F(v;t,x). They also defined the related generating function S(u;t,x)=∑w∈S(u)wt(w)S(u;t,x) = \sum_{w \in \mathcal{S}(u)} \text{wt}(w) where S(u)\mathcal{S}(u) is the set of all words ww such that the only embedding of uu into ww is a suffix of ww, and showed that u∽vu \backsim v if and only if S(u;t,x)=S(v;t,x)S(u;t,x) = S(v;t,x). We continue this study by giving an explicit formula for S(u;t,x)S(u;t,x) if uu factors into a weakly increasing word followed by a weakly decreasing word. We use this formula as an aid to classify Wilf equivalence for all words of length 3. We also show that coefficients of related generating functions are well-known sequences in several special cases. Finally, we discuss a conjecture that if u∽vu \backsim v then uu and vv must be rearrangements, and the stronger conjecture that there also must be a weight-preserving bijection f:S(u)→S(v)f: \mathcal{S}(u) \rightarrow \mathcal{S}(v) such that f(u)f(u) is a rearrangement of uu for all uu.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.