-
Positional Marked Patterns in Permutations
Authors:
Sittipong Thamrongpairoj,
Jeffrey B. Remmel
Abstract:
We define and study positional marked patterns, permutations $τ$ where one of elements in $τ$ is underlined. Given a permutation $σ$, we say that $σ$ has a $τ$-match at position $i$ if $τ$ occurs in $σ$ in such a way that $σ_i$ plays the role of the underlined element in the occurrence. We let $pmp_τ(σ)$ denote the number of positions $i$ which $σ$ has a $τ$-match. This defines a new class of stat…
▽ More
We define and study positional marked patterns, permutations $τ$ where one of elements in $τ$ is underlined. Given a permutation $σ$, we say that $σ$ has a $τ$-match at position $i$ if $τ$ occurs in $σ$ in such a way that $σ_i$ plays the role of the underlined element in the occurrence. We let $pmp_τ(σ)$ denote the number of positions $i$ which $σ$ has a $τ$-match. This defines a new class of statistics on permutations, where we study such statistics and prove a number of results. In particular, we prove that two positional marked patterns $1\underline{2}3$ and $1\underline{3}2$ give rise to two statistics that have the same distribution. The equidistibution phenomenon also occurs in other several collections of patterns like $\left \{1\underline{2}3 , 1\underline{3}2 \right \}$, and $\left \{ 1\underline234, 1\underline243, \underline2134, \underline2 1 4 3 \right \}$, as well as two positional marked patterns of any length $n$: $\left \{ 1\underline 2τ, \underline 21τ\right \}$.
△ Less
Submitted 20 July, 2022; v1 submitted 7 February, 2021;
originally announced February 2021.
-
Exploring a Delta Schur Conjecture
Authors:
Adriano Garsia,
Jeffrey Liese,
Jeffrey B. Remmel,
Meesue Yoo
Abstract:
In \cite{HRW15}, Haglund, Remmel, Wilson state a conjecture which predicts a purely combinatorial way of obtaining the symmetric function $Δ_{e_k}e_n$. It is called the Delta Conjecture. It was recently proved in \cite{GHRY} that the Delta Conjecture is true when either $q=0$ or $t=0$. In this paper we complete a work initiated by Remmel whose initial aim was to explore the symmetric function…
▽ More
In \cite{HRW15}, Haglund, Remmel, Wilson state a conjecture which predicts a purely combinatorial way of obtaining the symmetric function $Δ_{e_k}e_n$. It is called the Delta Conjecture. It was recently proved in \cite{GHRY} that the Delta Conjecture is true when either $q=0$ or $t=0$. In this paper we complete a work initiated by Remmel whose initial aim was to explore the symmetric function $Δ_{s_ν} e_n$ by the same methods developed in \cite{GHRY}. Our first need here is a method for constructing a symmetric function that may be viewed as a "combinatorial side" for the symmetric function $Δ_{s_ν} e_n$ for $t=0$. Based on what was discovered in \cite{GHRY} we conjectured such a construction mechanism. We prove here that in the case that $ν=(m-k,1^k)$ with $1\le m< n$ the equality of the two sides can be established by the same methods used in \cite{GHRY}. While this work was in progress, we learned that Rhodes and Shimozono had previously constructed also such a "combinatorial side". Very recently, Jim Haglund was able to prove that their conjecture follows from the results in \cite{GHRY}. We show here that an appropriate modification of the Haglund arguments proves that the polynomial $Δ_{s_ν}e_n$ as well as the Rhoades-Shimozono "combinatorial side" have a plethystic evaluation with hook Schur function expansion.
△ Less
Submitted 22 January, 2018;
originally announced January 2018.
-
A proof of the Delta Conjecture when $q=0$
Authors:
Adriano Garsia,
Jim Haglund,
Jeffrey B. Remmel,
Meesue Yoo
Abstract:
In [The Delta Conjecture, Trans. Amer. Math. Soc., to appear] Haglund, Remmel, Wilson introduce a conjecture which gives a combinatorial prediction for the result of applying a certain operator to an elementary symmetric function. This operator, defined in terms of its action on the modified Macdonald basis, has played a role in work of Garsia and Haiman on diagonal harmonics, the Hilbert scheme,…
▽ More
In [The Delta Conjecture, Trans. Amer. Math. Soc., to appear] Haglund, Remmel, Wilson introduce a conjecture which gives a combinatorial prediction for the result of applying a certain operator to an elementary symmetric function. This operator, defined in terms of its action on the modified Macdonald basis, has played a role in work of Garsia and Haiman on diagonal harmonics, the Hilbert scheme, and Macdonald polynomials [A. M. Garsia and M. Haiman. A remarkable $q,t$-Catalan sequence and $q$-Lagrange inversion, J. Algebraic Combin. 5 (1996), 191--244], [M. Haiman, Vanishing theorems and character formulas for the Hilbert scheme of points in the plane, Invent. Math. 149 (2002), 371-407]. The Delta Conjecture involves two parameters $q,t$; in this article we give the first proof that the Delta Conjecture is true when $q=0$ or $t=0$.
△ Less
Submitted 19 October, 2017;
originally announced October 2017.
-
On the Schur positivity of $Δ_{e_2} e_n[X]$
Authors:
Dun Qiu,
Jeffrey B. Remmel,
Emily Sergel,
Guoce Xin
Abstract:
Let $\mathbb{N}$ denote the set of non-negative integers. Haglund, Wilson, and the second author have conjectured that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_k} e_n[X]$ is a polynomial in $\mathbb{N}[q,t]$. We present four proofs of a stronger statement in the case $k=2$; We show that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_2} e_n[X]$ has a positive expansion in te…
▽ More
Let $\mathbb{N}$ denote the set of non-negative integers. Haglund, Wilson, and the second author have conjectured that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_k} e_n[X]$ is a polynomial in $\mathbb{N}[q,t]$. We present four proofs of a stronger statement in the case $k=2$; We show that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_2} e_n[X]$ has a positive expansion in terms of $q,t$-analogs.
△ Less
Submitted 9 October, 2017;
originally announced October 2017.
-
Block patterns in generalized Euler Permutations
Authors:
Ran Pan,
Jeffrey Brian Remmel
Abstract:
Goulden and Jackson introduced a very powerful method to study the distributions of certain consecutive patterns in permutations, words, and other combinatorial objects which is now called the cluster method. There are a number of natural classes of combinatorial objects which start with either permutations or words and add additional restrictions. These include up-down permutations, generalized E…
▽ More
Goulden and Jackson introduced a very powerful method to study the distributions of certain consecutive patterns in permutations, words, and other combinatorial objects which is now called the cluster method. There are a number of natural classes of combinatorial objects which start with either permutations or words and add additional restrictions. These include up-down permutations, generalized Euler permutations, words with no consecutive repeated letters, Young tableaux, and non-backtracking random walks. We develop an extension of the cluster method which we call the {\em generalized cluster method} to study the distribution of certain consecutive patterns in such restricted combinatorial objects. In this paper, we focus on block patterns in generalized Euler permutations.
△ Less
Submitted 3 June, 2017;
originally announced June 2017.
-
Quadrant marked mesh patterns in 123-avoiding permutations
Authors:
Dun Qiu,
Jeffrey B. Remmel
Abstract:
Given a permutation $σ= σ_1 \ldots σ_n$ in the symmetric group $\mathcal{S}_{n}$, we say that $σ_i$ matches the quadrant marked mesh pattern $\mathrm{MMP}(a,b,c,d)$ in $σ$ if there are at least $a$ points to the right of $σ_i$ in $σ$ which are greater than $σ_i$, at least $b$ points to the left of $σ_i$ in $σ$ which are greater than $σ_i$, at least $c$ points to the left of $σ_i$ in $σ$ which are…
▽ More
Given a permutation $σ= σ_1 \ldots σ_n$ in the symmetric group $\mathcal{S}_{n}$, we say that $σ_i$ matches the quadrant marked mesh pattern $\mathrm{MMP}(a,b,c,d)$ in $σ$ if there are at least $a$ points to the right of $σ_i$ in $σ$ which are greater than $σ_i$, at least $b$ points to the left of $σ_i$ in $σ$ which are greater than $σ_i$, at least $c$ points to the left of $σ_i$ in $σ$ which are smaller than $σ_i$, and at least $d$ points to the right of $σ_i$ in $σ$ which are smaller than $σ_i$. Kitaev, Remmel, and Tiefenbruck systematically studied the distribution of the number of matches of $\mathrm{MMP}(a,b,c,d)$ in 132-avoiding permutations. The operation of reverse and complement on permutations allow one to translate their results to find the distribution of the number of $\mathrm{MMP}(a,b,c,d)$ matches in 231-avoiding, 213-avoiding, and 312-avoiding permutations. In this paper, we study the distribution of the number of matches of $\mathrm{MMP}(a,b,c,d)$ in 123-avoiding permutations. 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.
△ Less
Submitted 31 July, 2018; v1 submitted 29 April, 2017;
originally announced May 2017.
-
Generating functions for permutations which avoid consecutive patterns with multiple descents
Authors:
Quang T. Bach,
Jeffrey B. Remmel
Abstract:
Let $S_n$ denote the group all permutations of $n$. For every permutation $σ$, we let $\mathrm{des}(σ)$ denote the number of descents in $σ$ and $\mathrm{LRMin}(σ)$ denote the number of left-to-right minima of $σ$. Given a sequence $τ= τ_1 \cdots τ_n$ of distinct positive integers, we define the reduction of $τ$, $\mathrm{red}(τ)$, to be the permutation of $S_n$ that results by replacing the $i$-t…
▽ More
Let $S_n$ denote the group all permutations of $n$. For every permutation $σ$, we let $\mathrm{des}(σ)$ denote the number of descents in $σ$ and $\mathrm{LRMin}(σ)$ denote the number of left-to-right minima of $σ$. Given a sequence $τ= τ_1 \cdots τ_n$ of distinct positive integers, we define the reduction of $τ$, $\mathrm{red}(τ)$, to be the permutation of $S_n$ that results by replacing the $i$-th smallest element of $τ$ by $i$.
If $Γ$ is a set of permutations, we say that a permutation $σ= σ_1 \ldots σ_n \in S_n$ has a $Γ$-match starting at position $i$ if there is a $i < j$ such that $\mathrm{red}(σ_i σ_{i+1} \ldots σ_j) \in Γ$. We let $Γ$-$\mathrm{mch}(σ)$ denote the number of $Γ$-matches in $σ$. We let $\mathcal{NM}_n(Γ)$ be the set of $σ\in S_n$ such that $Γ$-$\mathrm{mch}(σ) = 0$.
In this paper, we modify Jones and Remmel's reciprocity method to study the generating function of the form \begin{equation} \mbox{NM}_Γ(t,x,y)=\sum_{n \geq 0} \frac{t^n}{n!} \mbox{NM}_{Γ,n}(x,y) \end{equation} where $\displaystyle \mbox{NM}_{Γ,n}(x,y) =\sum_{σ\in \mathcal{NM}_n(Γ)}x^{\mathrm{LRmin}(σ)}y^{1+\mathrm{des}(σ)}$ in the case where we no longer insist that all the permutations $τ\in Γ$ have at most one descent.
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
Q-analogues of the Fibo-Stirling numbers
Authors:
Quang T. Bach,
Roshil Paudyal,
Jeffrey B. Remmel
Abstract:
Let $F_n$ denote the $n^{th}$ Fibonacci number relative to the initial conditions $F_0=0$ and $F_1=1$. Bach, Paudyal, and Remmel introduced Fibonacci analogues of the Stirling numbers called Fibo-Stirling numbers of the first and second kind. These numbers serve as the connection coefficients between the Fibo-falling factorial basis $\{(x)_{\downarrow_{F,n}}:n \geq 0\}$ and the Fibo-rising factori…
▽ More
Let $F_n$ denote the $n^{th}$ Fibonacci number relative to the initial conditions $F_0=0$ and $F_1=1$. Bach, Paudyal, and Remmel introduced Fibonacci analogues of the Stirling numbers called Fibo-Stirling numbers of the first and second kind. These numbers serve as the connection coefficients between the Fibo-falling factorial basis $\{(x)_{\downarrow_{F,n}}:n \geq 0\}$ and the Fibo-rising factorial basis $\{(x)_{\uparrow_{F,n}}:n \geq 0\}$ which are defined by $(x)_{\downarrow_{F,0}} = (x)_{\uparrow_{F,0}} = 1$ and for $k \geq 1$, $(x)_{\downarrow_{F,k}} = x(x-F_1) \cdots (x-F_{k-1})$ and $(x)_{\uparrow_{F,k}} = x(x+F_1) \cdots (x+F_{k-1})$. We gave a general rook theory model which allowed us to give combinatorial interpretations of the Fibo-Stirling numbers of the first and second kind.
There are two natural $q$-analogues of the falling and rising Fibo-factorial basis. That is, let $[x]_q = \frac{q^x-1}{q-1}$. Then we let $[x]_{\downarrow_{q,F,0}} = \overline{[x]}_{\downarrow_{q,F,0}} = [x]_{\uparrow_{q,F,0}} = \overline{[x]}_{\uparrow_{q,F,0}}=1$ and, for $k > 0$, we let $[x]_{\downarrow_{q,F,k}} = [x]_q [x-F_1]_q \cdots [x-F_{k-1}]_q$, $\overline{[x]}_{\downarrow_{q,F,k}}= [x]_q ([x]_q-[F_1]_q) \cdots ([x]_q-[F_{k-1}]_q)$, $[x]_{\uparrow_{q,F,k}}= [x]_q [x+F_1]_q \cdots [x+F_{k-1}]_q$, and $\overline{[x]}_{\uparrow_{q,F,k}}= [x]_q ([x]_q+[F_1]_q) \cdots ([x]_q+[F_{k-1}]_q)$.
In this paper, we show we can modify the rook theory model of Bach, Paudyal, and Remmel to give combinatorial interpretations for the two different types $q$-analogues of the Fibo-Stirling numbers which arise as the connection coefficients between the two different $q$-analogues of the Fibonacci falling and rising factorial bases. \end{abstract}
△ Less
Submitted 25 January, 2017;
originally announced January 2017.
-
Paired patterns in lattice paths
Authors:
Ran Pan,
Jeffrey B. Remmel
Abstract:
Let $\mathcal{L}_n$ denote the set of all paths from $[0,0]$ to $[n, n]$ which consist of either unit north steps $N$ or unit east steps $E$ or, equivalently, the set of all words $L \in \{E,N\}^*$ with $n$ $E$'s and $n$ $N$'s. Given $L \in \mathcal{L}_n$ and a subset $A$ of $[n] = \{1, \ldots, n\}$, we let $ps_{L}(A)$ denote the word that results from $L$ by removing the $i^{th}$ occurrence of…
▽ More
Let $\mathcal{L}_n$ denote the set of all paths from $[0,0]$ to $[n, n]$ which consist of either unit north steps $N$ or unit east steps $E$ or, equivalently, the set of all words $L \in \{E,N\}^*$ with $n$ $E$'s and $n$ $N$'s. Given $L \in \mathcal{L}_n$ and a subset $A$ of $[n] = \{1, \ldots, n\}$, we let $ps_{L}(A)$ denote the word that results from $L$ by removing the $i^{th}$ occurrence of $E$ and the $i^{th}$ occurrence of $N$ in $L$ for all $i \in [n]-A$, reading from left to right. Then we say that a paired pattern $P \in \mathcal{L}_k$ occurs in $L$ if there is some $A \subseteq [n]$ of size $k$ such that $ps_L(A) = P$. In this paper, we study the generating functions of paired pattern matching in $\mathcal L_n$.
△ Less
Submitted 24 August, 2017; v1 submitted 29 January, 2016;
originally announced January 2016.
-
Asymptotics for minimal overlap** patterns for generalized Euler permutations, standard tableaux of rectangular shape, and column strict arrays
Authors:
Ran Pan,
Jeffrey B. Remmel
Abstract:
A permutation $τ$ in the symmetric group $S_j$ is minimally overlap** if any two consecutive occurrences of $τ$ in a permutation $σ$ can share at most one element. Bóna \cite{B} showed that the proportion of minimal overlap** patterns in $S_j$ is at least $3 -e$. Given a permutation $σ$, we let $\text{Des}(σ)$ denote the set of descents of $σ$. We study the class of permutations $σ\in S_{kn}$…
▽ More
A permutation $τ$ in the symmetric group $S_j$ is minimally overlap** if any two consecutive occurrences of $τ$ in a permutation $σ$ can share at most one element. Bóna \cite{B} showed that the proportion of minimal overlap** patterns in $S_j$ is at least $3 -e$. Given a permutation $σ$, we let $\text{Des}(σ)$ denote the set of descents of $σ$. We study the class of permutations $σ\in S_{kn}$ whose descent set is contained in the set $\{k,2k, \ldots (n-1)k\}$. For example, up-down permutations in $S_{2n}$ are the set of permutations whose descent equal $σ$ such that $\text{Des}(σ) = \{2,4, \ldots, 2n-2\}$. There are natural analogues of the minimal overlap** permutations for such classes of permutations and we study the proportion of minimal overlap** patterns for each such class. We show that the proportion of minimal overlap** permutations in such classes approaches $1$ as $k$ goes to infinity. We also study the proportion of minimal overlap** patterns in standard Young tableaux of shape $(n^k)$.
△ Less
Submitted 16 May, 2016; v1 submitted 28 October, 2015;
originally announced October 2015.
-
Descent c-Wilf Equivalence
Authors:
Quang T. Bach,
Jeffrey B. Remmel
Abstract:
Let $S_n$ denote the symmetric group. For any $σ\in S_n$, we let $\mathrm{des}(σ)$ denote the number of descents of $σ$, $\mathrm{inv}(σ)$ denote the number of inversions of $σ$, and $\mathrm{LRmin}(σ)$ denote the number of left-to-right minima of $σ$. For any sequence of statistics $\mathrm{stat}_1, \ldots \mathrm{stat}_k$ on permutations, we say two permutations $α$ and $β$ in $S_j$ are…
▽ More
Let $S_n$ denote the symmetric group. For any $σ\in S_n$, we let $\mathrm{des}(σ)$ denote the number of descents of $σ$, $\mathrm{inv}(σ)$ denote the number of inversions of $σ$, and $\mathrm{LRmin}(σ)$ denote the number of left-to-right minima of $σ$. For any sequence of statistics $\mathrm{stat}_1, \ldots \mathrm{stat}_k$ on permutations, we say two permutations $α$ and $β$ in $S_j$ are $(\mathrm{stat}_1, \ldots \mathrm{stat}_k)$-c-Wilf equivalent if the generating function of $\prod_{i=1}^k x_i^{\mathrm{stat}_i}$ over all permutations which have no consecutive occurrences of $α$ equals the generating function of $\prod_{i=1}^k x_i^{\mathrm{stat}_i}$ over all permutations which have no consecutive occurrences of $β$. We give many examples of pairs of permutations $α$ and $β$ in $S_j$ which are $\mathrm{des}$-c-Wilf equivalent, $(\mathrm{des},\mathrm{inv})$-c-Wilf equivalent, and $(\mathrm{des},\mathrm{inv},\mathrm{LRmin})$-c-Wilf equivalent. For example, we will show that if $α$ and $β$ are minimally overlap** permutations in $S_j$ which start with 1 and end with the same element and $\mathrm{des}(α) = \mathrm{des}(β)$ and $\mathrm{inv}(α) = \mathrm{inv}(β)$, then $α$ and $β$ are $(\mathrm{des},\mathrm{inv})$-c-Wilf equivalent.
△ Less
Submitted 28 February, 2017; v1 submitted 24 October, 2015;
originally announced October 2015.
-
Generating functions for descents over permutations which avoid sets of consecutive patterns
Authors:
Quang T. Bach,
Jeffrey B. Remmel
Abstract:
We extend the reciprocity method of Jones and Remmel to study generating functions of the form $$\sum_{n \geq 0} \frac{t^n}{n!} \sum_{σ\in \mathcal{NM}_n(Γ)}x^{\mathrm{LRmin}(σ)}y^{1+\mathrm{des}(σ)}$$ where $Γ$ is a set of permutations which start with 1 and have at most one descent, $\mathcal{NM}_n(Γ)$ is the set of permutations $σ$ in the symmetric group $\mathfrak{S}_n$ which have no $Γ$-match…
▽ More
We extend the reciprocity method of Jones and Remmel to study generating functions of the form $$\sum_{n \geq 0} \frac{t^n}{n!} \sum_{σ\in \mathcal{NM}_n(Γ)}x^{\mathrm{LRmin}(σ)}y^{1+\mathrm{des}(σ)}$$ where $Γ$ is a set of permutations which start with 1 and have at most one descent, $\mathcal{NM}_n(Γ)$ is the set of permutations $σ$ in the symmetric group $\mathfrak{S}_n$ which have no $Γ$-matches, $\mathrm{des}(σ)$ is the number of descents of $σ$ and $\mathrm{LRmin}(σ)$ is the number of left-to-right minima of $σ$. We show that this generating function is of the form $\left( \frac{1}{U_Γ(t,y)}\right)^x$ where $U_Γ(t,y) = \sum_{n\geq 0}U_{Γ,n}(y) \frac{t^n}{n!}$ and the coefficients $U_{Γ,n}(y)$ satisfy some simple recursions in the case where $Γ$ equals $\{1324,123\}$, $\{1324 \cdots p,12 \cdots (p-1)\}$ for $p \geq 5$, or $Γ$ is the set of permutations $σ= σ_1 \cdots σ_n$ of length $n=k_1+k_2$ where $k_1,k_2 \geq 2$, $σ_1 =1$, $σ_{k_1+1}=2$, and $\mathrm{des}(σ) =1$.
△ Less
Submitted 14 October, 2015;
originally announced October 2015.
-
A Fibonacci analogue of Stirling numbers
Authors:
Quang T. Bach,
Roshil Paudyal,
Jeffrey B. Remmel
Abstract:
Consider the Fibonacci numbers defined by setting $F_1=1=F_2$ and $F_n =F_{n-1}+F_{n-2}$ for $n \geq 3$. We let $n_F! = F_1 \cdots F_n$ and $\binom{n}{k}_F = \frac{n_F!}{k_F!(n-k)_F!}$. Let $(x)_{\downarrow_0} = (x)_{\uparrow_0} = 1$ and for $k \geq 1$, $(x)_{\downarrow_k} = x(x-1) \cdots (x-k+1)$ and $(x)_{\uparrow_k} = x(x+1) \cdots (x+k-1)$. Then the Stirling numbers of the first and second kin…
▽ More
Consider the Fibonacci numbers defined by setting $F_1=1=F_2$ and $F_n =F_{n-1}+F_{n-2}$ for $n \geq 3$. We let $n_F! = F_1 \cdots F_n$ and $\binom{n}{k}_F = \frac{n_F!}{k_F!(n-k)_F!}$. Let $(x)_{\downarrow_0} = (x)_{\uparrow_0} = 1$ and for $k \geq 1$, $(x)_{\downarrow_k} = x(x-1) \cdots (x-k+1)$ and $(x)_{\uparrow_k} = x(x+1) \cdots (x+k-1)$. Then the Stirling numbers of the first and second kind are the connections coefficients between the usual power basis $\{x^n:n \geq 0\}$ and the falling factorial basis $\{(x)_{\downarrow_n}:n \geq 0\}$ in the polynomial ring $\mathbb{Q}[x]$ and the Lah numbers are the connections coefficients between the rising factorial basis $\{(x)_{\uparrow_n}:n \geq 0\}$ and the falling factorial basis $\{(x)_{\downarrow_n}:n \geq 0\}$ in the polynomial ring $\mathbb{Q}[x]$.
The goal of this paper is to find Fibonacci analogues for the Stirling numbers of the first and second kind and the Lah numbers. Our idea is to replace the falling factorial basis and the rising factorial basis by the Fibo-falling factorial basis $\{(x)_{\downarrow_{F,n}}:n \geq 0\}$ and the Fibo-rising factorial basis $\{(x)_{\uparrow_{F,n}}:n \geq 0\}$ where $(x)_{\downarrow_{F,0}} = (x)_{\uparrow_{F,0}} = 1$ and for $k \geq 1$, $(x)_{\downarrow_{F,k}} = x(x-F_1) \cdots (x-F_{k-1})$ and $(x)_{\uparrow_{F,k}} = x(x+F_1) \cdots (x+F_{k-1})$. Then we study the combinatorics of the connection coefficients betweenthe usual power basis, the Fibo-falling factorial basis, and the Fibo-rising factorial basis. In each case, we can give a rook theory model for the connections coefficients and show how this rook theory model can give combinatorial explanations for many of the properties of these coefficients.
△ Less
Submitted 30 June, 2016; v1 submitted 14 October, 2015;
originally announced October 2015.
-
Sub-computable Boundedness Randomness
Authors:
Sam Buss,
Douglas Cenzer,
Jeffrey B. Remmel
Abstract:
This paper defines a new notion of bounded computable randomness for certain classes of sub-computable functions which lack a universal machine. In particular, we define such versions of randomness for primitive recursive functions and for PSPACE functions. These new notions are robust in that there are equivalent formulations in terms of (1) Martin-Löf tests, (2) Kolmogorov complexity, and (3) m…
▽ More
This paper defines a new notion of bounded computable randomness for certain classes of sub-computable functions which lack a universal machine. In particular, we define such versions of randomness for primitive recursive functions and for PSPACE functions. These new notions are robust in that there are equivalent formulations in terms of (1) Martin-Löf tests, (2) Kolmogorov complexity, and (3) martingales. We show these notions can be equivalently defined with prefix-free Kolmogorov complexity. We prove that one direction of van Lambalgen's theorem holds for relative computability, but the other direction fails. We discuss statistical properties of these notions of randomness.
△ Less
Submitted 22 December, 2014; v1 submitted 14 November, 2014;
originally announced November 2014.
-
An extension of MacMahon's Equidistribution Theorem to ordered set partitions
Authors:
Jeffrey B. Remmel,
Andrew Timothy Wilson
Abstract:
We prove a conjecture of Haglund which can be seen as an extension of the equidistribution of the inversion number and the major index over permutations to ordered set partitions. Haglund's conjecture implicitly defines two statistics on ordered set partitions and states that they are equidistributed. The implied inversion statistic is equivalent to a statistic on ordered set partitions studied by…
▽ More
We prove a conjecture of Haglund which can be seen as an extension of the equidistribution of the inversion number and the major index over permutations to ordered set partitions. Haglund's conjecture implicitly defines two statistics on ordered set partitions and states that they are equidistributed. The implied inversion statistic is equivalent to a statistic on ordered set partitions studied by Steingrímsson, Ishikawa, Kasraoui, and Zeng, and is known to have a nice distribution in terms of $q$-Stirling numbers. The resulting major index exhibits a combinatorial relationship between $q$-Stirling numbers and the Euler-Mahonian distribution on the symmetric group, solving a problem posed by Steingrímsson.
△ Less
Submitted 3 September, 2014; v1 submitted 25 August, 2014;
originally announced August 2014.
-
Block patterns in Stirling permutations
Authors:
Jeffrey B. Remmel,
Andrew Timothy Wilson
Abstract:
We introduce and study a new notion of patterns in Stirling and $k$-Stirling permutations, which we call block patterns. We prove a general result which allows us to compute generating functions for the occurrences of various block patterns in terms of generating functions for the occurrences of patterns in permutations. This result yields a number of applications involving, among other things, Wi…
▽ More
We introduce and study a new notion of patterns in Stirling and $k$-Stirling permutations, which we call block patterns. We prove a general result which allows us to compute generating functions for the occurrences of various block patterns in terms of generating functions for the occurrences of patterns in permutations. This result yields a number of applications involving, among other things, Wilf equivalence of block patterns and a new interpretation of Bessel polynomials. We also show how to interpret our results for a certain class of labeled trees, which are in bijection with Stirling permutations.
△ Less
Submitted 13 February, 2014;
originally announced February 2014.
-
Index sets for Finite Normal Predicate Logic Programs
Authors:
D. Cenzer,
V. W. Marek,
J. B. Remmel
Abstract:
<Q>_e is the effective list of all finite predicate logic programs. <T_e> is the list of recursive trees. We modify constructions of Marek, Nerode, and Remmel [25] to construct recursive functions f and g such that for all indices e, (i) there is a one-to-one degree preserving correspondence between the set of stable models of Q_e and the set of infinite paths through T_{f(e)} and (ii) there is a…
▽ More
<Q>_e is the effective list of all finite predicate logic programs. <T_e> is the list of recursive trees. We modify constructions of Marek, Nerode, and Remmel [25] to construct recursive functions f and g such that for all indices e, (i) there is a one-to-one degree preserving correspondence between the set of stable models of Q_e and the set of infinite paths through T_{f(e)} and (ii) there is a one-to-one degree preserving correspondence between the set of infinite paths through T_e and the set of stable models of Q_{g(e)}. We use these two recursive functions to reduce the problem of finding the complexity of the index set I_P for various properties P of normal finite predicate logic programs to the problem of computing index sets for primitive recursive trees for which there is a large variety of results [6], [8], [16], [17], [18], [19]. We use our correspondences to determine the complexity of the index sets of all programs and of certain special classes of finite predicate logic programs of properties such as (i) having no stable models, (ii) having at least one stable model, (iii) having exactly c stable models for any given positive integer c, (iv) having only finitely many stable models, or (vi) having infinitely many stable models.
△ Less
Submitted 26 March, 2013;
originally announced March 2013.
-
Expressing Preferences using Preference Set Constraint Atoms
Authors:
Alex Brik,
Jeffrey B. Remmel
Abstract:
This paper introduces an extension of Answer Set Programming called Preference Set Constraint Programming which is a convenient and general formalism to reason with preferences. PSC programming extends Set Constraint Programming introduced by Marek and Remmel (Marek and Remmel 2004) by introducing two types of preference set constraint atoms, measure preference set constraint atoms and pre-ordered…
▽ More
This paper introduces an extension of Answer Set Programming called Preference Set Constraint Programming which is a convenient and general formalism to reason with preferences. PSC programming extends Set Constraint Programming introduced by Marek and Remmel (Marek and Remmel 2004) by introducing two types of preference set constraint atoms, measure preference set constraint atoms and pre-ordered preference set constraint atoms, which are extensions of set constraint atoms. We show that the question of whether a PSC program has a preferred stable model is CoNP-complete. We give examples of the uses of the preference set constraint atoms and show that Answer Set Optimization (Brewka, Niemelä, and Truszczynski 2003) and General Preference (Son and Pontelli 2006) can be expressed using preference set constraint atoms.
△ Less
Submitted 2 March, 2012;
originally announced March 2012.
-
A reciprocity method for computing generating functions over the set of permutations with no consecutive occurrence of τ
Authors:
Miles Eli Jones,
Jeffrey B. Remmel
Abstract:
In this paper, we introduce a new method for computing generating functions with respect to the number of descents and left-to-right minima over the set of permutations which have no consecutive occurrences of a pattern that starts with 1.
In this paper, we introduce a new method for computing generating functions with respect to the number of descents and left-to-right minima over the set of permutations which have no consecutive occurrences of a pattern that starts with 1.
△ Less
Submitted 30 December, 2011;
originally announced January 2012.
-
Ranking and unranking trees with a given number or a given set of leaves
Authors:
Jeffrey B. Remmel,
S. Gill Williamson
Abstract:
In this paper, we provide algorithms to rank and unrank certain degree-restricted classes of Cayley trees (spanning trees of the n-vertex complete graph). Specifically, we consider classes of trees that have a given set of leaves or a fixed number k of leaves. For fixed k, the number of Cayley trees with n vertices and k leaves grows roughly as n! and hence the ranks have O(nlog_2(n)) bits. Our ra…
▽ More
In this paper, we provide algorithms to rank and unrank certain degree-restricted classes of Cayley trees (spanning trees of the n-vertex complete graph). Specifically, we consider classes of trees that have a given set of leaves or a fixed number k of leaves. For fixed k, the number of Cayley trees with n vertices and k leaves grows roughly as n! and hence the ranks have O(nlog_2(n)) bits. Our ranking and unranking algorithms require at most O(n^2) comparisons of numbers less than or equal to n plus O(n) operations of multiplication, division, addition, substraction and comparision on numbers of length O(nlog(n)).
△ Less
Submitted 10 September, 2010;
originally announced September 2010.
-
Ranking and unranking trees with given degree sequences
Authors:
Jeffery B. Remmel,
S. Gill Williamson
Abstract:
In this paper, we provide algorithms to rank, unrank, and randomly generate certain degree-restricted classes of Cayley trees. Specifically, we consider classes of trees that have a given degree sequence or a given multiset of degrees. If the underlying set of trees have n vertices, then the largest ranks involved in each case are of order n! so that it takes O(nlog(n)) bits just to write down the…
▽ More
In this paper, we provide algorithms to rank, unrank, and randomly generate certain degree-restricted classes of Cayley trees. Specifically, we consider classes of trees that have a given degree sequence or a given multiset of degrees. If the underlying set of trees have n vertices, then the largest ranks involved in each case are of order n! so that it takes O(nlog(n)) bits just to write down the ranks. Our ranking and unranking algorithms for these degree-restricted classes are as efficient as can be expected since we show that they require O(n^2log(n)) bit operations if the underlying trees have n vertices.
△ Less
Submitted 10 September, 2010;
originally announced September 2010.
-
An Application of Proof-Theory in Answer Set Programming
Authors:
V. W. Marek,
J. B. Remmel
Abstract:
We apply proof-theoretic techniques in answer Set Programming. The main results include: 1. A characterization of continuity properties of Gelfond-Lifschitz operator for logic program. 2. A propositional characterization of stable models of logic programs (without referring to loop formulas.
We apply proof-theoretic techniques in answer Set Programming. The main results include: 1. A characterization of continuity properties of Gelfond-Lifschitz operator for logic program. 2. A propositional characterization of stable models of logic programs (without referring to loop formulas.
△ Less
Submitted 11 January, 2010; v1 submitted 2 May, 2009;
originally announced May 2009.
-
Guarded resolution for answer set programming
Authors:
V. W. Marek,
J. B. Remmel
Abstract:
We describe a variant of resolution rule of proof and show that it is complete for stable semantics of logic programs. We show applications of this result.
We describe a variant of resolution rule of proof and show that it is complete for stable semantics of logic programs. We show applications of this result.
△ Less
Submitted 21 February, 2010; v1 submitted 24 April, 2009;
originally announced April 2009.
-
The Combinatorics of the Garsia-Haiman Modules for Hook Shapes
Authors:
Ron M. Adin,
Jeffrey B. Remmel,
Yuval Roichman
Abstract:
Several bases of the Garsia-Haiman modules for hook shapes are given, as well as combinatorial decomposition rules for these modules. These bases and rules extend the classical ones for the coinvariant algebra of type $A$. We also give a decomposition of the Garsia-Haiman modules into descent representations.
Several bases of the Garsia-Haiman modules for hook shapes are given, as well as combinatorial decomposition rules for these modules. These bases and rules extend the classical ones for the coinvariant algebra of type $A$. We also give a decomposition of the Garsia-Haiman modules into descent representations.
△ Less
Submitted 11 March, 2007;
originally announced March 2007.
-
Counting descents, rises, and levels, with prescribed first element, in words
Authors:
Sergey Kitaev,
Toufik Mansour,
Jeffrey B. Remmel
Abstract:
Recently, Kitaev and Remmel [Classifying descents according to parity, Annals of Combinatorics, to appear 2007] refined the well-known permutation statistic ``descent'' by fixing parity of one of the descent's numbers. Results in that paper were extended and generalized in several ways. In this paper, we shall fix a set partition of the natural numbers $N$, $(N_1, ..., N_t)$, and we study the di…
▽ More
Recently, Kitaev and Remmel [Classifying descents according to parity, Annals of Combinatorics, to appear 2007] refined the well-known permutation statistic ``descent'' by fixing parity of one of the descent's numbers. Results in that paper were extended and generalized in several ways. In this paper, we shall fix a set partition of the natural numbers $N$, $(N_1, ..., N_t)$, and we study the distribution of descents, levels, and rises according to whether the first letter of the descent, rise, or level lies in $N_i$ over the set of words over the alphabet $[k]$. In particular, we refine and generalize some of the results in [Counting occurrences of some subword patterns, Discrete Mathematics and Theoretical Computer Science 6 (2003), 001-012.].
△ Less
Submitted 30 May, 2007; v1 submitted 31 December, 2006;
originally announced January 2007.
-
Counting Descent Pairs with Prescribed Tops and Bottoms
Authors:
John T. Hall,
Jeffrey B. Remmel
Abstract:
Given sets X and Y of positive integers and a permutation sigma = sigma_1, sigma_2, ..., sigma_n in S_n, an X,Y-descent of sigma is a descent pair sigma_i > sigma_{i+1} whose "top" sigma_i is in X and whose "bottom" sigma_{i+1} is in Y. We give two formulas for the number P_{n,s}^{X,Y} of sigma in S_n with s X,Y-descents. P_{n,s}^{X,Y} is also shown to be a hit number of a certain Ferrers board.…
▽ More
Given sets X and Y of positive integers and a permutation sigma = sigma_1, sigma_2, ..., sigma_n in S_n, an X,Y-descent of sigma is a descent pair sigma_i > sigma_{i+1} whose "top" sigma_i is in X and whose "bottom" sigma_{i+1} is in Y. We give two formulas for the number P_{n,s}^{X,Y} of sigma in S_n with s X,Y-descents. P_{n,s}^{X,Y} is also shown to be a hit number of a certain Ferrers board. This work generalizes results of Kitaev and Remmel on counting descent pairs whose top (or bottom) is equal to 0 mod k.
△ Less
Submitted 19 October, 2006;
originally announced October 2006.
-
On the Expressibility of Stable Logic Programming
Authors:
Victor W. Marek,
Jeffrey B. Remmel
Abstract:
(We apologize for pidgin LaTeX) Schlipf \cite{sch91} proved that Stable Logic Programming (SLP) solves all $\mathit{NP}$ decision problems. We extend Schlipf's result to prove that SLP solves all search problems in the class $\mathit{NP}$. Moreover, we do this in a uniform way as defined in \cite{mt99}. Specifically, we show that there is a single $\mathrm{DATALOG}^{\neg}$ program…
▽ More
(We apologize for pidgin LaTeX) Schlipf \cite{sch91} proved that Stable Logic Programming (SLP) solves all $\mathit{NP}$ decision problems. We extend Schlipf's result to prove that SLP solves all search problems in the class $\mathit{NP}$. Moreover, we do this in a uniform way as defined in \cite{mt99}. Specifically, we show that there is a single $\mathrm{DATALOG}^{\neg}$ program $P_{\mathit{Trg}}$ such that given any Turing machine $M$, any polynomial $p$ with non-negative integer coefficients and any input $σ$ of size $n$ over a fixed alphabet $Σ$, there is an extensional database $\mathit{edb}_{M,p,σ}$ such that there is a one-to-one correspondence between the stable models of $\mathit{edb}_{M,p,σ} \cup P_{\mathit{Trg}}$ and the accepting computations of the machine $M$ that reach the final state in at most $p(n)$ steps. Moreover, $\mathit{edb}_{M,p,σ}$ can be computed in polynomial time from $p$, $σ$ and the description of $M$ and the decoding of such accepting computations from its corresponding stable model of $\mathit{edb}_{M,p,σ} \cup P_{\mathit{Trg}}$ can be computed in linear time. A similar statement holds for Default Logic with respect to $Σ_2^\mathrm{P}$-search problems\footnote{The proof of this result involves additional technical complications and will be a subject of another publication.}.
△ Less
Submitted 22 December, 2003;
originally announced December 2003.
-
A Combinatorial Formula for the Character of the Diagonal Coinvariants
Authors:
J. Haglund,
M. Haiman,
N. Loehr,
J. B. Remmel,
A. Ulyanov
Abstract:
Let R_n be the ring of coinvariants for the diagonal action of the symmetric group S_n. It is known that the character of R_n as a doubly-graded S_n module can be expressed using the Frobenius characteristic map as \nabla e_n, where e_n is the n-th elementary symmetric function, and \nabla is an operator from the theory of Macdonald polynomials.
We conjecture a combinatorial formula for \nabla…
▽ More
Let R_n be the ring of coinvariants for the diagonal action of the symmetric group S_n. It is known that the character of R_n as a doubly-graded S_n module can be expressed using the Frobenius characteristic map as \nabla e_n, where e_n is the n-th elementary symmetric function, and \nabla is an operator from the theory of Macdonald polynomials.
We conjecture a combinatorial formula for \nabla e_n and prove that it has many desirable properties which support our conjecture. In particular, we prove that our formula is a symmetric function (which is not obvious) and that it is Schur positive. These results make use of the theory of ribbon tableau generating functions of Lascoux, Leclerc and Thibon. We also show that a variety of earlier conjectures and theorems on \nabla e_n are special cases of our conjecture.
Finally, we extend our conjectures on \nabla e_n and several of the results supporting them to higher powers \nabla^m e_n.
△ Less
Submitted 3 March, 2004; v1 submitted 27 October, 2003;
originally announced October 2003.