arXiv++ Combinatorics

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

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.

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.

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.

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

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

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.

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.

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.

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.

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.

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.

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.

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.

We give combinatorial proofs for some identities involving binomial sums that have no closed form.