arXiv++ Combinatorics

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

Chen and collaborators give a recursively defined bijection from 021-avoiding ascent sequences to 021-avoiding (aka 132-avoiding) permutations. Here we give an algorithmic bijection from 021-avoiding ascent sequences to Dyck paths. Our bijection does not appear to be closely related to the Chen bijection but, like the Chen bijection, it preserves several interesting statistics.

We show that permutations avoiding both of the (classical) patterns 4321 and 3241 have the algebraic generating function conjectured by Vladimir Kruchinin.

We show that the counting sequence for permutations avoiding both of the (classical) patterns 1243 and 2134 has the algebraic generating function supplied by Vaclav Kotesovec for sequence A164651 in The On-Line Encyclopedia of Integer Sequences.

The large Schroder numbers are known to count several classes of permutations avoiding two 4-letter patterns. Here we show they count another family of permutations, those whose left to right minima decomposition, when reversed, is 321-avoiding. The main tool is the Mansour-Deng-Du bijection from 321-avoiding permutations to Dyck paths.

We find the joint distribution of three simple statistics on lattice paths of n upsteps and n downsteps leading to a triple sum identity for the central binomial coefficient {2n}-choose-{n}. We explain why one of the constituent double sums counts the irreducible pairs of compositions considered by Bender et al., and we evaluate some of the other sums.

It is well known that the Catalan number C_n counts dissections of a regular (n+2)-gon into triangles. Here we count such dissections by number of triangles that contain two sides of the polygon among their three edges, leading to a combinatorial interpretation of the identity C_n =sum_{1<=k<=n/2} 2^{n-2k} n-choose-2k C_k (k(n+2))/(n(n-1)), and illustrating its connection with Touchard's identity.

We show that an identity of Kreweras for the Narayana numbers counts Dyck paths with a given number of peaks by number of peak plateaus, where a peak plateau is a run of consecutive peaks that is immediately preceded by an upstep and followed by a downstep.

We consider the transform from sequences to triangular arrays defined in terms of generating functions by f(x) -> (1-x)/(1-xy) f(x(1-x)/(1-xy)). We establish a criterion for the transform of a nonnegative sequence to be nonnegative, and we show that the transform counts certain classes of lattice paths by number of "pyramid ascents", as well as certain classes of ordered partitions by number of blocks that consist of increasing consecutive integers.

We obtain an explicit formula for the number of permutations of [n] that avoid the barred pattern bar{1}43bar{5}2. A curious feature of its counting sequence, 1, 1, 2, 5, 14, 43, 145, 538, 2194,..., is that the displayed terms agree with A122993 in the On-Line Encyclopedia of Integer Sequences, but the two sequences diverge thereafter.

We confirm a conjecture of Lara Pudwell and show that permutations of [n] that avoid the barred pattern bar{3}bar{1}542 are counted by OEIS sequence A047970. In fact, we show bijectively that the number of bar{3}bar{1}542 avoiders of length n with j+k left-to-right maxima, of which j initiate a descent in the permutation and k do not, is {n}-choose-{k} j! StirlingPartition{n-j-k}{j}, where StirlingPartition{n}{j} is the Stirling partition number.

The Catalan transform of a sequence (a_{n})_{n>=0} is the sequence (b_{n})_{n>=0} with b_{n} = Sum[k/(2n-k) (2n-k)-choose-(n-k) a_{k},k=0..n]. Here we show that the Catalan transform of the Catalan numbers has a simple interpretation: it counts functions f:[1,n] -> [1,n] satisfying the condition that, for all i<j, f(j)-(j-i) is not in the interval [1,f(i)-1].

We answer a question of R. J. Mathar and confirm that the counting sequence for $\bar{2}413\bar{5}$-avoiding permutations is the Invert transform of the Bell numbers. The proof relies on a simple decomposition of these permutations and the known fact that $\bar{2}413$-avoiding permutations are counted by the Bell numbers.

In a previous paper, we showed that $3\bar{5}241$-avoiding permutations are counted by the unique sequence that starts with a 1 and shifts left under the self-composition transform. The proof uses a complicated bijection. Here we give a much simpler proof based on Lagrange inversion.

A permutation is (1-23-4)-avoiding if it contains no four entries, increasing left to right, with the middle two adjacent in the permutation. Here we give a 2-variable recurrence for the number of such permutations, improving on the previously known 4-variable recurrence. At the heart of the proof is a bijection from (1-23-4)-avoiding permutations to increasing ordered trees whose leaves, taken in preorder, are also increasing.

Hexaflexagons were popularized by the late Martin Gardner in his first Scientific American column in 1956. Oakley and Wisner showed that they can be represented abstractly by certain recursively defined permutations called pats, and deduced that they are counted by the Catalan numbers. Counting pats by number of descents yields the curious identity Sum[1/(2n-2k+1)binom{2n-2k+1}{k}binom{2k}{n-k},k=0..n] = C(n), where only the middle third of the summands are nonzero.

We survey combinatorial interpretations of some dozen identities for the double factorial such as, for instance, (2n-2)!! + Sum_{k=2}^{n} (2n-1)!!(2k-4)!!/(2k-1)!! = (2n-1)!!. Our methods are mostly bijective.

We give combinatorial interpretations of several related identities associated with the names Barrucand, Strehl and Franel, including one for the Apery numbers. The combinatorial constructs employed are derangement-type card deals as introduced in a previous paper on Barrucand's identity, labeled lattice paths and, following a comment of Jeffrey Shallit, abelian words over a 3-letter alphabet.

Martin Klazar computed the total weight of ordered trees under 12 different notions of weight. The last and perhaps most interesting of these weights, w_{12}, led to a recurrence relation and an identity for which he requested combinatorial explanations. Here we provide such explanations. To do so, we introduce the notion of a "Klazar violator" vertex in an increasing ordered tree and observe that w_{12} counts what we call Klazar trees--increasing ordered trees with no Klazar violators. A highlight of the paper is a bijection from n-edge increasing ordered trees to perfect matchings of [2n]={1,2,...,2n} that sends Klazar violators to even numbers matched to a larger odd number. We find the distribution of the latter matches and, in particular, establish the one-summation explicit formula sum_{k=1}^{lfloor n/2 rfloor}(2k-1)!!^2 StirlingPartition{n+1}{2k+1} for the number of perfect matchings of [2n] with no even-to-larger-odd matches. The proofs are mostly bijective.

We count the number of walks of length n on a k-node circular digraph that cover all k nodes in two ways. The first way illustrates the transfer-matrix method. The second involves counting various classes of height-restricted lattice paths. We observe that the results also count so-called k-balanced strings of length n, generalizing a 1996 Putnam problem.