-
Avoidance of vincular patterns by flattened derangements
Authors:
Toufik Mansour,
Mark Shattuck
Abstract:
In this paper, we consider the problem of avoiding a single vincular pattern of length three by derangements in the flattened sense and find explicit formulas for the generating functions enumerating members of each corresponding avoidance class according to the number of cycles. We make frequent use of the kernel method in solving the functional equations that arise which are satisfied by these (…
▽ More
In this paper, we consider the problem of avoiding a single vincular pattern of length three by derangements in the flattened sense and find explicit formulas for the generating functions enumerating members of each corresponding avoidance class according to the number of cycles. We make frequent use of the kernel method in solving the functional equations that arise which are satisfied by these (ordinary) generating functions. In the case of avoiding 23-1, which is equivalent to 32-1 in the flattened sense, it is more convenient to consider the exponential generating function instead due to the form of the recurrence. This leads to an explicit expression for the distribution of the number of cycles in terms of Stirling numbers of the second kind and the determinant of a certain tridiagonal matrix. Finally, the cases of 3-12 and 3-21 are perhaps the most difficult of all, and here we make use of a pair of auxiliary statistics in order to find a system of recurrences that enumerate each avoidance class.
△ Less
Submitted 20 April, 2025;
originally announced April 2025.
-
Counting k-ary words by number of adjacency differences of a prescribed size
Authors:
Sela Fried,
Toufik Mansour,
Mark Shattuck
Abstract:
Recently, the general problem of enumerating permutations $π=π_1\cdots π_n$ such that $π_{i+r}-π_i \neq s$ for all $1\leq i\leq n-r$, where $r$ and $s$ are fixed, was considered by Spahn and Zeilberger. In this paper, we consider an analogous problem on $k$-ary words involving the distribution of the corresponding statistic. Note that for $k$-ary words, it suffices to consider only the $r=1$ case…
▽ More
Recently, the general problem of enumerating permutations $π=π_1\cdots π_n$ such that $π_{i+r}-π_i \neq s$ for all $1\leq i\leq n-r$, where $r$ and $s$ are fixed, was considered by Spahn and Zeilberger. In this paper, we consider an analogous problem on $k$-ary words involving the distribution of the corresponding statistic. Note that for $k$-ary words, it suffices to consider only the $r=1$ case of the aforementioned problem on permutations. Here, we compute for arbitrary $s$ an explicit formula for the ordinary generating function for $n \geq 0$ of the distribution of the statistic on $k$-ary words $ρ=ρ_1\cdotsρ_n$ recording the number of indices $i$ such that $ρ_{i+1}-ρ_i=s$. This result may then be used to find a comparable formula for finite set partitions with a fixed number of blocks, represented sequentially as restricted growth functions. Further, several sequences from the OEIS arise as enumerators of certain classes of $k$-ary words avoiding adjacencies with a prescribed difference. The comparable problem where one tracks indices $i$ such that the absolute difference $|a_{i+1}-a_i|$ is a fixed number is also considered on $k$-ary words and the corresponding generating function may be expressed in terms of Chebyshev polynomials. Finally, combinatorial proofs are found for several related recurrences and formulas for the total number of adjacencies of the form $a(a+s)$ on the various structures.
△ Less
Submitted 3 April, 2025;
originally announced April 2025.
-
Enumeration of consecutive patterns in flattened Catalan words
Authors:
Mark Shattuck
Abstract:
A Catalan word $w$ is said to be flattened if the subsequence of $w$ obtained by taking the first letter of each weakly increasing run is nondecreasing. Let $\mathcal{F}_n$ denote the set of flattened Catalan words of length $n$, which has cardinality $\frac{3^{n-1}+1}{2}$ for all $n \geq 1$. In this paper, we consider the distribution of several consecutive patterns on $\mathcal{F}_n$. Indeed, we…
▽ More
A Catalan word $w$ is said to be flattened if the subsequence of $w$ obtained by taking the first letter of each weakly increasing run is nondecreasing. Let $\mathcal{F}_n$ denote the set of flattened Catalan words of length $n$, which has cardinality $\frac{3^{n-1}+1}{2}$ for all $n \geq 1$. In this paper, we consider the distribution of several consecutive patterns on $\mathcal{F}_n$. Indeed, we find explicit formulas for the generating functions of the joint distribution on $\mathcal{F}_n$ of several trios of patterns, along with an auxiliary parameter. As special cases of these formulas, we obtain the generating function for the distribution of all consecutive patterns of length two or three. The following equivalences with regard to being identically distributed on $\mathcal{F}_n$ arise when comparing the various generating functions and may be explained bijectively: $112\approx122$ and $211\approx221\approx231$. In addition, explicit expressions are found for the total number of occurrences on $\mathcal{F}_n$ of each pattern of length two or three as well as for the number of avoiders of each pattern. These results can be obtained as special cases of our more general formulas for the generating functions, but may be explained combinatorially as well, the arguments of which are featured herein.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
-
Further Results for the Capacity Statistic Distribution on Compositions of 1's and 2's
Authors:
Mark Shattuck
Abstract:
In this paper, we study additional aspects of the capacity distribution on the set $\mathcal{B}_n$ of compositions of $n$ consisting of $1$'s and $2$'s. Among our results are further recurrences for this distribution as well as formulas for the total capacity and sign balance on $\mathcal{B}_n$. We provide algebraic and combinatorial proofs of our results. We also give combinatorial explanations o…
▽ More
In this paper, we study additional aspects of the capacity distribution on the set $\mathcal{B}_n$ of compositions of $n$ consisting of $1$'s and $2$'s. Among our results are further recurrences for this distribution as well as formulas for the total capacity and sign balance on $\mathcal{B}_n$. We provide algebraic and combinatorial proofs of our results. We also give combinatorial explanations of some prior results where such a proof was requested. Finally, the joint distribution of the capacity statistic with two further parameters on $\mathcal{B}_n$ is briefly considered.
△ Less
Submitted 16 January, 2025;
originally announced January 2025.
-
Avoidance of vincular patterns by Catalan words
Authors:
Toufik Mansour,
Mark Shattuck
Abstract:
Let $\mathcal{C}_n$ denote the set of words $w=w_1\cdots w_n$ on the alphabet of positive integers satisfying $w_{i+1}\leq w_i+1$ for $1 \leq i \leq n-1$ with $w_1=1$. The members of $\mathcal{C}_n$ are known as Catalan words and are enumerated by the $n$-th Catalan number $C_n$. The problem of finding the cardinality of various avoidance classes of $\mathcal{C}_n$ has been an ongoing object of st…
▽ More
Let $\mathcal{C}_n$ denote the set of words $w=w_1\cdots w_n$ on the alphabet of positive integers satisfying $w_{i+1}\leq w_i+1$ for $1 \leq i \leq n-1$ with $w_1=1$. The members of $\mathcal{C}_n$ are known as Catalan words and are enumerated by the $n$-th Catalan number $C_n$. The problem of finding the cardinality of various avoidance classes of $\mathcal{C}_n$ has been an ongoing object of study, and members of $\mathcal{C}_n$ avoiding one or two classical or a single consecutive pattern have been enumerated. In this paper, we extend these results to vincular patterns and seek to determine the cardinality of each avoidance class corresponding to a pattern of type (1,2) or (2,1). In several instances, a simple explicit formula for this cardinality may be given. In the more difficult cases, we find only a formula for the (ordinary) generating function which enumerates the class in question. We make extensive use of functional equations in establishing our generating function results.
△ Less
Submitted 26 May, 2024; v1 submitted 20 May, 2024;
originally announced May 2024.
-
Hessenberg-Toeplitz Matrix Determinants with Schroder and Fine Number Entries
Authors:
Taras Goy,
Mark Shattuck
Abstract:
In this paper, we find determinant formulas of several Hessenberg-Toeplitz matrices whose nonzero entries are derived from the small and large Schroder and Fine number sequences. Algebraic proofs of these results can be given which make use of Trudi's formula and the generating function of the associated sequence of determinants. We also provide direct arguments of our results that utilize various…
▽ More
In this paper, we find determinant formulas of several Hessenberg-Toeplitz matrices whose nonzero entries are derived from the small and large Schroder and Fine number sequences. Algebraic proofs of these results can be given which make use of Trudi's formula and the generating function of the associated sequence of determinants. We also provide direct arguments of our results that utilize various counting techniques, among them sign-changing involutions, on combinatorial structures related to classes of lattice paths enumerated by the Schroder and Fine numbers. As a consequence of our results, we obtain some new formulas for the Schroder and Catalan numbers as well as for some additional sequences from the OEIS in terms of determinants of certain Hessenberg-Toeplitz matrices.
△ Less
Submitted 17 March, 2023;
originally announced March 2023.
-
Enumeration of non-crossing partitions according to subwords with repeated letters
Authors:
Mark Shattuck
Abstract:
An avoidance pattern where the letters within an occurrence of which are required to be adjacent is referred to as a subword. In this paper, we enumerate members of the set NC_n of non-crossing partitions of length n according to the number of occurrences of several infinite families of subword patterns each containing repeated letters. As a consequence of our results, we obtain explicit generatin…
▽ More
An avoidance pattern where the letters within an occurrence of which are required to be adjacent is referred to as a subword. In this paper, we enumerate members of the set NC_n of non-crossing partitions of length n according to the number of occurrences of several infinite families of subword patterns each containing repeated letters. As a consequence of our results, we obtain explicit generating function formulas counting the members of NC_n for n >= 0 according to all subword patterns of length three containing a repeated letter. Further, simple expressions are deduced for the total number of occurrences over all members of NC_n for the various families of patterns. Finally, combinatorial proofs can be given explaining three infinite families of subword equivalences over NC_n, which generalize the following equivalences: 211 = 221, 1211 = 1121 and 112 = 122.
△ Less
Submitted 10 March, 2023;
originally announced March 2023.
-
A Further Look at the Bayes Blind Spot
Authors:
Mark Shattuck,
Carl Wagner
Abstract:
Gyenis and Redei have demonstrated that any prior p on a finite algebra, however chosen, severely restricts the set of posteriors accessible from p by Jeffrey conditioning on a nontrivial partition. Their demonstration involves showing that the set of posteriors not accessible from p in this way (which they call the Bayes blind spot of p) is large with respect to three common measures of size, nam…
▽ More
Gyenis and Redei have demonstrated that any prior p on a finite algebra, however chosen, severely restricts the set of posteriors accessible from p by Jeffrey conditioning on a nontrivial partition. Their demonstration involves showing that the set of posteriors not accessible from p in this way (which they call the Bayes blind spot of p) is large with respect to three common measures of size, namely, having cardinality c, (normalized) Lebesgue measure 1, and Baire second category with respect to a natural topology. In the present paper, we establish analogous results for probability measures defined on any infinite sigma algebra of subsets of a denumerably infinite set. However, we have needed to employ distinctly different approaches to determine the cardinality, and especially, the topological and measure-theoretic sizes of the Bayes blind spot in the infinite case. Interestingly, all of the results that we establish for a single prior p continue to hold for the intersection of the Bayes blind spots of countably many priors. This leads us to conjecture that Bayesian learning itself might be just as culpable as the limitations imposed by priors in enabling the existence of large Bayes blind spots.
△ Less
Submitted 4 June, 2022;
originally announced June 2022.
-
Statistics on bargraphs of inversion sequences of permutations
Authors:
Toufik Mansour,
Mark Shattuck
Abstract:
We consider the joint distribution of the area and perimeter statistics on the set I_n of inversion sequences of length n represented as bargraphs. Functional equations for both the ordinary and exponential generating functions are derived from recurrences satisfied by this distribution. Explicit formulas are found in some special cases as are expressions for the totals of the respective statistic…
▽ More
We consider the joint distribution of the area and perimeter statistics on the set I_n of inversion sequences of length n represented as bargraphs. Functional equations for both the ordinary and exponential generating functions are derived from recurrences satisfied by this distribution. Explicit formulas are found in some special cases as are expressions for the totals of the respective statistics on I_n. A similar treatment is provided for the joint distribution on I_n for the statistics recording the number of levels, descents and ascents. Some connections are made between specific cases of this latter distribution and the Stirling numbers of the first kind and Eulerian numbers.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Avoiding a pair of patterns in multisets and compositions
Authors:
Vít Jelínek,
Toufik Mansour,
José L. Ramírez,
Mark Shattuck
Abstract:
In this paper, we study the Wilf-type equivalence relations among multiset permutations. We identify all multiset equivalences among pairs of patterns consisting of a pattern of length three and another pattern of length at most four. To establish our results, we make use of a variety of techniques, including Ferrers-equivalence arguments, sorting by minimal/maximal letters, analysis of active sit…
▽ More
In this paper, we study the Wilf-type equivalence relations among multiset permutations. We identify all multiset equivalences among pairs of patterns consisting of a pattern of length three and another pattern of length at most four. To establish our results, we make use of a variety of techniques, including Ferrers-equivalence arguments, sorting by minimal/maximal letters, analysis of active sites and direct bijections. In several cases, our arguments may be extended to prove multiset equivalences for infinite families of pattern pairs. Our results apply equally well to the Wilf-type classification of compositions, and as a consequence, we obtain a complete description of the Wilf-equivalence classes for pairs of patterns of type (3,3) and (3,4) on compositions, with the possible exception of two classes of type (3,4).
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
Enumerating circular permutations avoiding the vincular pattern 23 4 1
Authors:
Toufik Mansour,
Mark Shattuck
Abstract:
In this paper, we find an explicit formula for the generating function that counts the circular permutations of length n avoiding the pattern 23 4 1 whose enumeration was raised as an open problem by Rupert Li. This then completes in all cases the enumeration of circular permutations that avoid a single vincular pattern of length four containing one vinculum. To establish our results, we introduce…
▽ More
In this paper, we find an explicit formula for the generating function that counts the circular permutations of length n avoiding the pattern 23 4 1 whose enumeration was raised as an open problem by Rupert Li. This then completes in all cases the enumeration of circular permutations that avoid a single vincular pattern of length four containing one vinculum. To establish our results, we introduce three auxiliary arrays which when taken together refine the cardinality of the class of permutations in question. Rewriting the recurrences of these arrays in terms of generating functions leads to functional equations which are solved by various means including the kernel method and iteration.
△ Less
Submitted 7 November, 2021;
originally announced November 2021.
-
Subregularity in infinitely labeled generating trees of restricted permutations
Authors:
Toufik Mansour,
Reza Rastegar,
Mark Shattuck
Abstract:
In this paper, we revisit the application of generating trees to the pattern avoidance problem for permutations. In particular, we study this problem for certain general sets of patterns and propose a new procedure leveraging the FinLabel algorithm and exploiting the subregularities in the associated generating trees. We consider some general kinds of generating trees for which the FinLabel algori…
▽ More
In this paper, we revisit the application of generating trees to the pattern avoidance problem for permutations. In particular, we study this problem for certain general sets of patterns and propose a new procedure leveraging the FinLabel algorithm and exploiting the subregularities in the associated generating trees. We consider some general kinds of generating trees for which the FinLabel algorithm fails to determine in a finite number of iterations the generating function that enumerates the underlying class of permutations. Our procedure provides a unified approach in these cases leading to a system of equations satisfied by a certain finite set of generating functions which can be readily solved with the aid of programming.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
The Integer Sequence Transform $a \mapsto b$ where $b_n$ is the Number of Real Roots of the Polynomial $a_0 + a_1x + a_2x^2 + \cdots + a_nx^n$
Authors:
W. Edwin Clark,
Mark Shattuck
Abstract:
We discuss the integer sequence transform $a \mapsto b$ where $b_n$ is the number of real roots of the polynomial $a_0 + a_1x + a_2x^2 + \cdots + a_nx^n$. It is shown that several sequences $a$ give the trivial sequence $b = (0,1,0,1, 0,1,\ldots)$, i.e., ${b_n = n \bmod 2}$, among them the Catalan numbers, central binomial coefficients, $n!$ and $\binom{n+k}{n}$ for a fixed $k$. We also look at so…
▽ More
We discuss the integer sequence transform $a \mapsto b$ where $b_n$ is the number of real roots of the polynomial $a_0 + a_1x + a_2x^2 + \cdots + a_nx^n$. It is shown that several sequences $a$ give the trivial sequence $b = (0,1,0,1, 0,1,\ldots)$, i.e., ${b_n = n \bmod 2}$, among them the Catalan numbers, central binomial coefficients, $n!$ and $\binom{n+k}{n}$ for a fixed $k$. We also look at some sequences $a$ for which $b$ is more interesting such as $a_n = (n+1)^k$ for $k \geq 3$. Further, general procedures are given for constructing real sequences $a_n$ for which $b_n$ is either always maximal or minimal.
△ Less
Submitted 13 August, 2021; v1 submitted 7 July, 2021;
originally announced July 2021.
-
Equivalence of the Descents Statistic on Some (4,4)-Avoidance Classes of Permutations
Authors:
Toufik Mansour,
Mark Shattuck
Abstract:
In this paper, we compute and demonstrate the equivalence of the joint distribution of the first letter and descent statistics on six avoidance classes of permutations corresponding to two patterns of length four. This distribution is in turn shown to be equivalent to the distribution on a restricted class of inversion sequences for the statistics that record the last letter and number of distinct…
▽ More
In this paper, we compute and demonstrate the equivalence of the joint distribution of the first letter and descent statistics on six avoidance classes of permutations corresponding to two patterns of length four. This distribution is in turn shown to be equivalent to the distribution on a restricted class of inversion sequences for the statistics that record the last letter and number of distinct positive letters, affirming a recent conjecture of Lin and Kim. Members of each avoidance class of permutations and also of the class of inversion sequences are enumerated by the $n$-th large Schröder number and thus one obtains a new bivariate refinement of these numbers as a consequence. We make use of auxiliary combinatorial statistics, special generating functions (specific to each class) and the kernel method to establish our results. In some cases, we utilize the conjecture itself in a creative way to aid in solving the system of functional equations satisfied by the associated generating functions.
△ Less
Submitted 17 May, 2021;
originally announced May 2021.
-
On a conjecture of Lin and Kim concerning a refinement of Schröder numbers
Authors:
Toufik Mansour,
Mark Shattuck
Abstract:
In this paper, we compute the distribution of the first letter statistic on nine avoidance classes of permutations corresponding to two pairs of patterns of length four. In particular, we show that the distribution is the same for each class and is given by the entries of a new Schröder number triangle. This answers in the affirmative a recent conjecture of Lin and Kim. We employ a variety of tech…
▽ More
In this paper, we compute the distribution of the first letter statistic on nine avoidance classes of permutations corresponding to two pairs of patterns of length four. In particular, we show that the distribution is the same for each class and is given by the entries of a new Schröder number triangle. This answers in the affirmative a recent conjecture of Lin and Kim. We employ a variety of techniques to prove our results, including generating trees, direct bijections and the kernel method. For the latter, we make use of in a creative way what we are trying to show in three cases to aid in solving a system of functional equations satisfied by the associated generating functions.
△ Less
Submitted 9 April, 2021;
originally announced April 2021.
-
Determinant Identities for Toeplitz-Hessenberg Matrices with Tribonacci Number Entries
Authors:
Taras Goy,
Mark Shattuck
Abstract:
In this paper, we evaluate determinants of some families of Toeplitz-Hessenberg matrices having tribonacci number entries. These determinant formulas may also be expressed equivalently as identities that involve sums of products of multinomial coefficients and tribonacci numbers. In particular, we establish a connection between the tribonacci and the Fibonacci and Padovan sequences via Toeplitz-He…
▽ More
In this paper, we evaluate determinants of some families of Toeplitz-Hessenberg matrices having tribonacci number entries. These determinant formulas may also be expressed equivalently as identities that involve sums of products of multinomial coefficients and tribonacci numbers. In particular, we establish a connection between the tribonacci and the Fibonacci and Padovan sequences via Toeplitz-Hessenberg determinants. We then obtain, by combinatorial arguments, extensions of our determinant formulas in terms of generalized tribonacci sequences satisfying an r-th order recurrence of a more general form with the appropriate initial conditions, where r>2 is arbitrary.
△ Less
Submitted 24 March, 2020;
originally announced March 2020.
-
Enumeration of permutations avoiding a triple of 4-letter patterns is all done
Authors:
David Callan,
Toufik Mansour,
Mark Shattuck
Abstract:
This paper completes a project to enumerate permutations avoiding a triple T of 4-letter patterns, in the sense of classical pattern avoidance, for every T. There are 317 symmetry classes of such triples T and previous papers have enumerated avoiders for all but 14 of them. One of these 14 is conjectured not to have an algebraic generating function. Here, we find the generating function for each o…
▽ More
This paper completes a project to enumerate permutations avoiding a triple T of 4-letter patterns, in the sense of classical pattern avoidance, for every T. There are 317 symmetry classes of such triples T and previous papers have enumerated avoiders for all but 14 of them. One of these 14 is conjectured not to have an algebraic generating function. Here, we find the generating function for each of the remaining 13, and it is algebraic in each case.
△ Less
Submitted 21 November, 2017; v1 submitted 13 September, 2017;
originally announced September 2017.
-
Wilf classification of triples of 4-letter patterns
Authors:
David Callan,
Toufik Mansour,
Mark Shattuck
Abstract:
We determine all 242 Wilf classes of triples of 4-letter patterns by showing that there are 32 non-singleton Wilf classes. There are 317 symmetry classes of triples of 4-letter patterns and after computer calculation of initial terms, the problem reduces to showing that counting sequences that appear to be the same (agree in the first 16 terms) are in fact identical. The insertion encoding algorit…
▽ More
We determine all 242 Wilf classes of triples of 4-letter patterns by showing that there are 32 non-singleton Wilf classes. There are 317 symmetry classes of triples of 4-letter patterns and after computer calculation of initial terms, the problem reduces to showing that counting sequences that appear to be the same (agree in the first 16 terms) are in fact identical. The insertion encoding algorithm (INSENC) accounts for many of these and some others have been previously counted; in this paper, we find the generating function for each of the remaining 36 triples and it turns out to be algebraic in every case. Our methods are both combinatorial and analytic, including decompositions by left-right maxima and by initial letters. Sometimes this leads to an algebraic equation for the generating function, sometimes to a functional equation or a multi-index recurrence that succumbs to the kernel method. A particularly nice so-called cell decomposition is used in one case and a bijection is used for another.
△ Less
Submitted 16 May, 2016;
originally announced May 2016.
-
Generalized q-Calkin-Wilf trees and c-hyper m-expansions of integers
Authors:
Toufik Mansour,
Mark Shattuck
Abstract:
A hyperbinary expansion of a positive integer n is a partition of n into powers of 2 in which each part appears at most twice. In this paper, we consider a generalization of this concept and a certain statistic on the corresponding set of expansions of n. We then define q-generalized m-ary trees whose vertices are labeled by ratios of two consecutive terms within the sequence of distribution polyn…
▽ More
A hyperbinary expansion of a positive integer n is a partition of n into powers of 2 in which each part appears at most twice. In this paper, we consider a generalization of this concept and a certain statistic on the corresponding set of expansions of n. We then define q-generalized m-ary trees whose vertices are labeled by ratios of two consecutive terms within the sequence of distribution polynomials for the aforementioned statistic. When m = 2, we obtain a variant of a previously considered q-Calkin-Wilf tree.
△ Less
Submitted 13 March, 2015;
originally announced March 2015.
-
Generalized r-Lah numbers
Authors:
Mark Shattuck
Abstract:
In this paper, we consider a two-parameter polynomial generalization, denoted by G_{a,b}(n,k;r), of the r-Lah numbers which reduces to these recently introduced numbers when a=b=1. We present several identities for G_{a,b}(n,k;r) that generalize earlier identities given for the r-Lah and r-Stirling numbers. We also provide combinatorial proofs of some identities involving the r-Lah numbers which w…
▽ More
In this paper, we consider a two-parameter polynomial generalization, denoted by G_{a,b}(n,k;r), of the r-Lah numbers which reduces to these recently introduced numbers when a=b=1. We present several identities for G_{a,b}(n,k;r) that generalize earlier identities given for the r-Lah and r-Stirling numbers. We also provide combinatorial proofs of some identities involving the r-Lah numbers which were established previously using algebraic methods. Generalizing these arguments yields orthogonality-type relations that are satisfied by G_{a,b}(n,k;r).
△ Less
Submitted 30 December, 2014;
originally announced December 2014.
-
Generalizations of Bell number formulas of Spivey and Mezo
Authors:
Mark Shattuck
Abstract:
We provide q-generalizations of Spivey's Bell number formula in various settings by considering statistics on different combinatorial structures. This leads to new identities involving q-Stirling numbers of both kinds and q-Lah numbers. As corollaries, we obtain identities for both binomial and q-binomial coefficients. Our results at the same time also generalize recent r-Stirling number formulas…
▽ More
We provide q-generalizations of Spivey's Bell number formula in various settings by considering statistics on different combinatorial structures. This leads to new identities involving q-Stirling numbers of both kinds and q-Lah numbers. As corollaries, we obtain identities for both binomial and q-binomial coefficients. Our results at the same time also generalize recent r-Stirling number formulas of Mezo. Finally, we provide a combinatorial proof and refinement of Xu's extension of Spivey's formula to the generalized Stirling numbers of Hsu and Shiue. To do so, we develop a combinatorial interpretation for these numbers in terms of extended Lah distributions.
△ Less
Submitted 2 December, 2014;
originally announced December 2014.
-
A monotonicity property for generalized Fibonacci sequences
Authors:
Toufik Mansour,
Mark Shattuck
Abstract:
Given k>1, let a_n be the sequence defined by the recurrence a_n=c_1a_{n-1}+c_2a_{n-2}+...+c_ka_{n-k} for n>=k, with initial values a_0=a_1=...=a_{k-2}=0 and a_{k-1}= 1. We show under a couple of assumptions concerning the constants c_i that the ratio of the n-th root of a_n to the (n-1)-st root of a_{n-1} is strictly decreasing for all n>=N, for some N depending on the sequence, and has limit 1.…
▽ More
Given k>1, let a_n be the sequence defined by the recurrence a_n=c_1a_{n-1}+c_2a_{n-2}+...+c_ka_{n-k} for n>=k, with initial values a_0=a_1=...=a_{k-2}=0 and a_{k-1}= 1. We show under a couple of assumptions concerning the constants c_i that the ratio of the n-th root of a_n to the (n-1)-st root of a_{n-1} is strictly decreasing for all n>=N, for some N depending on the sequence, and has limit 1. In particular, this holds in the cases when all of the c_i are unity or when all of the c_i are zero except for the first and last, which are unity. Furthermore, when k=3 or k=4, it is shown that one may take N to be an integer less than 12 in each of these cases.
△ Less
Submitted 25 October, 2014;
originally announced October 2014.
-
Chebyshev Polynomials and Statistics on a New Collection of Words in the Catalan Family
Authors:
Toufik Mansour,
Mark Shattuck
Abstract:
Recently, a new class of words, denoted by L_n, was shown to be in bijection with a subset of the Dyck paths of length 2n having cardinality given by the (n-1)-st Catalan number. Here, we consider statistics on L_n recording the number of occurrences of a letter i. In the cases i = 0 and i = 1, we are able to determine explicit expressions for the number of members of L_n containing a given number…
▽ More
Recently, a new class of words, denoted by L_n, was shown to be in bijection with a subset of the Dyck paths of length 2n having cardinality given by the (n-1)-st Catalan number. Here, we consider statistics on L_n recording the number of occurrences of a letter i. In the cases i = 0 and i = 1, we are able to determine explicit expressions for the number of members of L_n containing a given number of zeros or ones, which generalizes the prior result. To do so, we make use of recurrences to derive a functional equation satisfied by the generating function, which we solve by a new method employing Chebyshev polynomials. Recurrences and generating function formulas are also provided in the case of general i.
△ Less
Submitted 13 July, 2014;
originally announced July 2014.
-
Combinatorial Identities for Incomplete Tribonacci Polynomials
Authors:
Mark Shattuck
Abstract:
The incomplete tribonacci polynomials, denoted by T_n^{(s)}(x), generalize the usual tribonacci polynomials T_n(x) and were introduced in [10], where several algebraic identities were shown. In this paper, we provide a combinatorial interpretation for T_n^{(s)}(x) in terms of weighted linear tilings involving three types of tiles. This allows one not only to supply combinatorial proofs of the iden…
▽ More
The incomplete tribonacci polynomials, denoted by T_n^{(s)}(x), generalize the usual tribonacci polynomials T_n(x) and were introduced in [10], where several algebraic identities were shown. In this paper, we provide a combinatorial interpretation for T_n^{(s)}(x) in terms of weighted linear tilings involving three types of tiles. This allows one not only to supply combinatorial proofs of the identities for T_n^{(s)}(x) appearing in [10] but also to derive additional identities. In the final section, we provide a formula for the ordinary generating function of the sequence T_n^{(s)}(x) for a fixed s, which was requested in [10]. Our derivation is combinatorial in nature and makes use of an identity relating T_n^{(s)}(x) to T_n(x).
△ Less
Submitted 10 June, 2014;
originally announced June 2014.
-
Restricted ascent sequences and Catalan numbers
Authors:
David Callan,
Toufik Mansour,
Mark Shattuck
Abstract:
Ascent sequences are those consisting of non-negative integers in which the size of each letter is restricted by the number of ascents preceding it and have been shown to be equinumerous with the (2+2)-free posets of the same size. Furthermore, connections to a variety of other combinatorial structures, including set partitions, permutations, and certain integer matrices, have been made. In this p…
▽ More
Ascent sequences are those consisting of non-negative integers in which the size of each letter is restricted by the number of ascents preceding it and have been shown to be equinumerous with the (2+2)-free posets of the same size. Furthermore, connections to a variety of other combinatorial structures, including set partitions, permutations, and certain integer matrices, have been made. In this paper, we identify all members of the (4,4)-Wilf equivalence class for ascent sequences corresponding to the Catalan number C_n=\frac{1}{n+1}\binom{2n}{n}. This extends recent work concerning avoidance of a single pattern and provides apparently new combinatorial interpretations for C_n. In several cases, the subset of the class consisting of those members having exactly m ascents is given by the Narayana number N_{n,m+1}=\frac{1}{n}\binom{n}{m+1}\binom{n}{m}.
△ Less
Submitted 27 March, 2014;
originally announced March 2014.
-
On avoidance of patterns of the form σ-τ by words over a finite alphabet
Authors:
Toufik Mansour,
Mark Shattuck
Abstract:
Vincular or dashed patterns resemble classical patterns except that some of the letters within an occurrence are required to be adjacent. We prove several infinite families of Wilf-equivalences for k-ary words involving vincular patterns containing a single dash, which explain the majority of the equivalences witnessed for such patterns of length four. When combined with previous results, numerica…
▽ More
Vincular or dashed patterns resemble classical patterns except that some of the letters within an occurrence are required to be adjacent. We prove several infinite families of Wilf-equivalences for k-ary words involving vincular patterns containing a single dash, which explain the majority of the equivalences witnessed for such patterns of length four. When combined with previous results, numerical evidence, and some arguments in specific cases, we obtain the complete Wilf-classification for all vincular patterns of length four containing a single dash. In some cases, our proof shows further that the equivalence holds for multiset permutations since it is seen to respect the number of occurrences of each letter within a word. Some related enumerative results are provided for patterns σ of length four, among them generating function formulas for the number of members of [k]^n avoiding any σ of the form 11a-b.
△ Less
Submitted 10 March, 2014;
originally announced March 2014.
-
Combinatorial proofs of some Bell number formulas
Authors:
Mark Shattuck
Abstract:
In this note, we provide bijective proofs of some identities involving the Bell number, as previously requested. Our arguments may be extended to yield a generalization in terms of complete Bell polynomials. We also provide a further interpretation for a related difference of Catalan numbers in terms of the inclusion-exclusion principle.
In this note, we provide bijective proofs of some identities involving the Bell number, as previously requested. Our arguments may be extended to yield a generalization in terms of complete Bell polynomials. We also provide a further interpretation for a related difference of Catalan numbers in terms of the inclusion-exclusion principle.
△ Less
Submitted 25 January, 2014;
originally announced January 2014.
-
Some Wilf-equivalences for vincular patterns
Authors:
Andrew M. Baxter,
Mark Shattuck
Abstract:
We prove several Wilf-equivalences for vincular patterns of length 4, some of which generalize to infinite families of vincular patterns. We also present functional equations for the generating functions for the number of permutations of length n avoiding a single pattern for the patterns 124-3, 134-2, 231-4, 241-3, 132-4, and 142-3. This nearly completes the Wilf-classification of vincular patter…
▽ More
We prove several Wilf-equivalences for vincular patterns of length 4, some of which generalize to infinite families of vincular patterns. We also present functional equations for the generating functions for the number of permutations of length n avoiding a single pattern for the patterns 124-3, 134-2, 231-4, 241-3, 132-4, and 142-3. This nearly completes the Wilf-classification of vincular patterns of length 4. As a corollary, these results imply Wilf-equivalences for certain barred patterns of length 5 with a single bar.
△ Less
Submitted 23 August, 2014; v1 submitted 26 September, 2013;
originally announced September 2013.
-
Congruence successions in compositions
Authors:
Toufik Mansour,
Mark Shattuck,
Mark C. Wilson
Abstract:
A \emph{composition} is a sequence of positive integers, called \emph{parts}, having a fixed sum. By an \emph{$m$-congruence succession}, we will mean a pair of adjacent parts $x$ and $y$ within a composition such that $x\equiv y(\text{mod} m)$. Here, we consider the problem of counting the compositions of size $n$ according to the number of $m$-congruence successions, extending recent results con…
▽ More
A \emph{composition} is a sequence of positive integers, called \emph{parts}, having a fixed sum. By an \emph{$m$-congruence succession}, we will mean a pair of adjacent parts $x$ and $y$ within a composition such that $x\equiv y(\text{mod} m)$. Here, we consider the problem of counting the compositions of size $n$ according to the number of $m$-congruence successions, extending recent results concerning successions on subsets and permutations. A general formula is obtained, which reduces in the limiting case to the known generating function formula for the number of Carlitz compositions. Special attention is paid to the case $m=2$, where further enumerative results may be obtained by means of combinatorial arguments. Finally, an asymptotic estimate is provided for the number of compositions of size $n$ having no $m$-congruence successions.
△ Less
Submitted 28 July, 2013;
originally announced July 2013.
-
Counting subwords in flattened permutations
Authors:
Toufik Mansour,
Mark Shattuck,
David G. L. Wang
Abstract:
In this paper, we consider the number of occurrences of descents, ascents, 123-subwords, 321-subwords, peaks and valleys in flattened permutations, which were recently introduced by Callan in his study of finite set partitions. For descents and ascents, we make use of the kernel method and obtain an explicit formula (in terms of Eulerian polynomials) for the distribution on $\mathcal{S}_n$ in the…
▽ More
In this paper, we consider the number of occurrences of descents, ascents, 123-subwords, 321-subwords, peaks and valleys in flattened permutations, which were recently introduced by Callan in his study of finite set partitions. For descents and ascents, we make use of the kernel method and obtain an explicit formula (in terms of Eulerian polynomials) for the distribution on $\mathcal{S}_n$ in the flattened sense. For the other four patterns in question, we develop a unified approach to obtain explicit formulas for the comparable distributions. We find that the formulas so obtained for 123- and 321-subwords can be expressed in terms of the Chebyshev polynomials of the second kind, while those for peaks and valleys are more related to the Eulerian polynomials. We also provide a bijection showing the equidistribution of descents in flattened permutations of a given length with big descents in permutations of the same length in the usual sense.
△ Less
Submitted 13 July, 2013;
originally announced July 2013.
-
Recurrence relations for patterns of type $(2,1)$ in flattened permutations
Authors:
Toufik Mansour,
Mark Shattuck,
David G. L. Wang
Abstract:
We consider the problem of counting the occurrences of patterns of the form $xy-z$ within flattened permutations of a given length. Using symmetric functions, we find recurrence relations satisfied by the distributions on $\mathcal{S}_n$ for the patterns 12-3, 21-3, 23-1 and 32-1, and develop a unified approach to obtain explicit formulas. By these recurrences, we are able to determine simple clos…
▽ More
We consider the problem of counting the occurrences of patterns of the form $xy-z$ within flattened permutations of a given length. Using symmetric functions, we find recurrence relations satisfied by the distributions on $\mathcal{S}_n$ for the patterns 12-3, 21-3, 23-1 and 32-1, and develop a unified approach to obtain explicit formulas. By these recurrences, we are able to determine simple closed form expressions for the number of permutations that, when flattened, avoid one of these patterns as well as expressions for the average number of occurrences. In particular, we find that the average number of 23-1 patterns and the average number of 32-1 patterns in $\text{Flatten}(π)$, taken over all permutations $π$ of the same length, are equal, as are the number of permutations avoiding either of these patterns. We also find that the average number of 21-3 patterns in $\text{Flatten}(π)$ over all $π$ is the same as it is for 31-2 patterns.
△ Less
Submitted 14 June, 2013;
originally announced June 2013.
-
On Multiple Pattern Avoiding Set Partitions
Authors:
Vít Jelínek,
Toufik Mansour,
Mark Shattuck
Abstract:
We study classes of set partitions determined by the avoidance of multiple patterns, applying a natural notion of partition containment that has been introduced by Sagan. We say that two sets S and T of patterns are equivalent if for each n, the number of partitions of size n avoiding all the members of S is the same as the number of those that avoid all the members of T.
Our goal is to classify…
▽ More
We study classes of set partitions determined by the avoidance of multiple patterns, applying a natural notion of partition containment that has been introduced by Sagan. We say that two sets S and T of patterns are equivalent if for each n, the number of partitions of size n avoiding all the members of S is the same as the number of those that avoid all the members of T.
Our goal is to classify the equivalence classes among two-element pattern sets of several general types. First, we focus on pairs of patterns {σ,τ}, where σ is a pattern of size three with at least two distinct symbols and τ is an arbitrary pattern of size k that avoids σ. We show that pattern-pairs of this type determine a small number of equivalence classes; in particular, the classes have on average exponential size in k. We provide a (sub-exponential) upper bound for the number of equivalence classes, and provide an explicit formula for the generating function of all such avoidance classes, showing that in all cases this generating function is rational.
Next, we study partitions avoiding a pair of patterns of the form {1212,τ}, where τ is an arbitrary pattern. Note that partitions avoiding 1212 are exactly the non-crossing partitions. We provide several general equivalence criteria for pattern pairs of this type, and show that these criteria account for all the equivalences observed when τ has size at most six.
In the last part of the paper, we perform a full classification of the equivalence classes of all the pairs {σ,τ}, where σ and τ have size four.
△ Less
Submitted 29 January, 2013; v1 submitted 28 January, 2013;
originally announced January 2013.
-
Some enumerative results related to ascent sequences
Authors:
Toufik Mansour,
Mark Shattuck
Abstract:
An ascent sequence is one consisting of non-negative integers in which the size of each letter is restricted by the number of ascents preceding it in the sequence. Ascent sequences have recently been shown to be related to (2+2)-free posets and a variety of other combinatorial structures. In this paper, we prove in the affirmative some recent conjectures concerning pattern avoidance for ascent seq…
▽ More
An ascent sequence is one consisting of non-negative integers in which the size of each letter is restricted by the number of ascents preceding it in the sequence. Ascent sequences have recently been shown to be related to (2+2)-free posets and a variety of other combinatorial structures. In this paper, we prove in the affirmative some recent conjectures concerning pattern avoidance for ascent sequences. Given a pattern $τ$, let $\mathcal{S}_τ(n)$ denote the set of ascent sequences of length $n$ avoiding $τ$. Here, we show that the joint distribution of the statistic pair $(\asc,\zero)$ on $\mathcal{S}_{0012}(n)$ is the same as $(\asc,\RLm)$ on the set of 132-avoiding permutations of length $n$. In particular, the ascent statistic on $\mathcal{S}_{0012}(n)$ has the Narayana distribution. We also enumerate $S_τ(n)$ when $τ=1012$ and $τ=0123$ and confirm the conjectured formulas in these cases. We combine combinatorial and algebraic techniques to prove our results, in two cases, making use of the kernel method. Finally, we discuss the case of avoiding 210 and determine two related recurrences.
△ Less
Submitted 16 July, 2012;
originally announced July 2012.
-
Proofs of some binomial identities using the method of last squares
Authors:
Mark Shattuck,
Tamás Waldhauser
Abstract:
We give combinatorial proofs for some identities involving binomial sums that have no closed form.
We give combinatorial proofs for some identities involving binomial sums that have no closed form.
△ Less
Submitted 6 July, 2011;
originally announced July 2011.
