Papers by Mark Shattuck
35 paper(s) by this author
· All BibTeX
Combinatorial proofs of totals of some statistics on Catalan words
A Catalan word is one on the alphabet of positive integers starting with $1$ in which each subsequent letter is at most one more than its predecessor. Let $\mathcal{C}_n$ denote the set of Catalan words of length $n$. In this paper, we give combinatorial proofs of explicit formulas for the sums of several parameter values taken over all the members of $\mathcal{C}_n$. In particular, we find such proofs for the parameters tracking the number of symmetric or $\ell$-valleys, which was previously requested by Baril et al. Further, we find a combinatorial explanation of a related Catalan number identity whose proof was also requested. To carry out our arguments, we consider corresponding statistics on Dyck paths and find the cardinality of certain sets of marked Dyck paths wherein one or more of the steps is distinguished from all others.
On ascent sequences avoiding 021 and a pattern of length four
Ascent sequences of length $n$ avoiding the pattern $021$ are enumerated by the $n$-th Catalan number $C_n=\frac{1}{n+1}\binom{2n}{n}$. In this paper, we extend this result and enumerate ascent sequences avoiding $\{021,τ\}$, where $τ$ is a pattern of length four. We in turn identify all of the corresponding Wilf-equivalence classes and find generating function formulas corresponding to each class. In a couple of cases, we make use of an auxiliary statistic and the kernel method to ascertain the generating function. In several cases, our work of enumeration is shortened by establishing the equivalence of $\{021,τ\}$- and $\{021,τ'\}$-avoiders of a given length through an explicit bijection. As a consequence of our results, one obtains new combinatorial interpretations in terms of ascent sequences for several of the entries in the OEIS.
Avoidance of vincular patterns by flattened derangements
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.
Counting k-ary words by number of adjacency differences of a prescribed size
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.
Enumeration of consecutive patterns in flattened Catalan words
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.
Further Results for the Capacity Statistic Distribution on Compositions of 1's and 2's
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.
Avoidance of vincular patterns by Catalan words
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.
Hessenberg-Toeplitz Matrix Determinants with Schroder and Fine Number Entries
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.
Enumeration of non-crossing partitions according to subwords with repeated letters
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.
Statistics on bargraphs of inversion sequences of permutations
Published in Discrete Math. Letters 4 (2020), 37-44
• Search Publication
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.
Avoiding a pair of patterns in multisets and compositions
Published in Advances in Applied Mathematics 133 (2022), article 102286
• View Publication
• BIB
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).
Enumerating circular permutations avoiding the vincular pattern 23 4 1
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.
Subregularity in infinitely labeled generating trees of restricted permutations
Published
• View Publication
• BIB
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.
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$
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.
Equivalence of the Descents Statistic on Some (4,4)-Avoidance Classes of Permutations
Published
• View Publication
• BIB
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.
On a conjecture of Lin and Kim concerning a refinement of Schröder numbers
Published
• View Publication
• BIB
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.
Determinant Identities for Toeplitz-Hessenberg Matrices with Tribonacci Number Entries
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.
Enumeration of permutations avoiding a triple of 4-letter patterns is all done
Published
• View Publication
• BIB
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.
Wilf classification of triples of 4-letter patterns
Published
• View Publication
• BIB
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.
Generalized q-Calkin-Wilf trees and c-hyper m-expansions of integers
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.