Source author record

Jeffrey Remmel

Jeffrey Remmel appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

20works
1topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

20 published item(s)

preprint2020arXiv

Schur Function Expansions and the Rational Shuffle Theorem

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

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 $(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.

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 $S_n$, we say that $\sg_i$ matches the quadrant marked mesh pattern $MMP(a,b,c,d)$ if there are at least $a$ elements to the right of $\sg_i$ in $\sg$ that are greater than $\sg_i$, at least $b$ elements to left of $\sg_i$ in $\sg$ that are greater than $\sg_i$, at least $c$ elements to left of $\sg_i$ in $\sg$ that are less than $\sg_i$, and at least $d$ 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)$ in 132-avoiding permutations. In particular, we study the distribution of $MMP(a,b,c,d)$, where only one of the parameters $a,b,c,d$ are non-zero. In a subsequent paper [7], we will study the the distribution of $MMP(a,b,c,d)$ in 132-avoiding permutations where at least two of the parameters $a,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)$ 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.

preprint2013arXiv

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

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.

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

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

preprint2013arXiv

Quadrant marked mesh patterns in 132-avoiding permutations II

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

preprint2013arXiv

Quadrant marked mesh patterns in 132-avoiding permutations III

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.

preprint2013arXiv

The 1-box pattern on pattern avoiding permutations

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.

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}$ on up-down permutations of even length and by $\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 $q$-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 $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.

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 $p_n$ denote the number of (2+2)-free posets of size $n$. 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 $n$: $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 $p_{n,k}$ equals the number of (2+2)-free posets of size $n$ with $k$ minimal elements, then $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)$ can easily be obtained from $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)$. 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, \leq_P)$ by setting $u \leq_P w$ if there is a subword $v$ of $w$ of the same length as $u$ such that the $i$-th character of $v$ is greater than or equal to the $i$-th character of $u$ for all $i$. This subword $v$ is called an embedding of $u$ into $w$. For the case where $P$ is the positive integers with the usual ordering, they defined the weight of a word $w = w_1\ldots w_n$ to be $\text{wt}(w) = x^{\sum_{i=1}^n w_i} t^{n}$, and the corresponding weight generating function $F(u;t,x) = \sum_{w \geq_P u} \text{wt}(w)$. They then defined two words $u$ and $v$ to be Wilf equivalent, denoted $u \backsim v$, if and only if $F(u;t,x) = F(v;t,x)$. They also defined the related generating function $S(u;t,x) = \sum_{w \in \mathcal{S}(u)} \text{wt}(w)$ where $\mathcal{S}(u)$ is the set of all words $w$ such that the only embedding of $u$ into $w$ is a suffix of $w$, and showed that $u \backsim v$ if and only if $S(u;t,x) = S(v;t,x)$. We continue this study by giving an explicit formula for $S(u;t,x)$ if $u$ 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 \backsim v$ then $u$ and $v$ must be rearrangements, and the stronger conjecture that there also must be a weight-preserving bijection $f: \mathcal{S}(u) \rightarrow \mathcal{S}(v)$ such that $f(u)$ is a rearrangement of $u$ for all $u$.