THE DESCENT STATISTIC ON 123-AVOIDING PERMUTATIONS

Similar documents
STAIRCASE TILINGS AND LATTICE PATHS

The 2 n 1 factor for multi-dimensional lattice paths with diagonal steps

EULERIAN DIGRAPHS AND DYCK WORDS, A BIJECTION

Dyck-Eulerian digraphs

Noncrossing Trees and Noncrossing Graphs

Parity reversing involutions on plane trees and 2-Motzkin paths

arxiv: v1 [math.co] 20 Aug 2012

A Generalization of the Catalan Numbers

Counting with Borel s Triangle

Basic Properties The Definition of Catalan Numbers

Well labeled paths and the volume of a polytope

#A14 INTEGERS 15A (2015) ON SUBSETS OF ORDERED TREES ENUMERATED BY A SUBSEQUENCE OF FIBONACCI NUMBERS

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS

Math 8803/4803, Spring 2008: Discrete Mathematical Biology

Lattice path moments by cut and paste

HOMEWORK #4 SOLUTIONS - MATH 4160

Lemma of Gessel Viennot

Bijective counting of tree-rooted maps and connection with shuffles of parenthesis systems

Bijective counting of tree-rooted maps and shuffles of parenthesis systems

arxiv:math.co/ v1 27 Jan 2006

Fast algorithm for generating ascending compositions

A Bijective Census of Nonseparable Planar Maps

On Valuations, the Characteristic Polynomial, and Complex Subspace Arrangements

Double Vertex Graphs and Complete Double Vertex Graphs. Jobby Jacob, Wayne Goddard and Renu Laskar Clemson University April, 2007

THE SEARCH FOR SYMMETRIC VENN DIAGRAMS

Some Upper Bounds for Signed Star Domination Number of Graphs. S. Akbari, A. Norouzi-Fard, A. Rezaei, R. Rotabi, S. Sabour.

RECURSIVE BIJECTIONS FOR CATALAN OBJECTS.

Patterns in Ordered Set Partitions and Parking Functions

#A55 INTEGERS 10 (2010), A LEFT WEIGHTED CATALAN EXTENSION 1

A Bijection from Shi Arrangement Regions to Parking Functions via Mixed Graphs

Chung-Feller Theorems

Extremal results for Berge-hypergraphs

Linear trees and RNA secondary. structuret's

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial.

Chapter 6. Curves and Surfaces. 6.1 Graphs as Surfaces

Polygon Dissections and Marked Dyck Paths

On Universal Cycles of Labeled Graphs

arxiv: v1 [math.co] 4 Sep 2017

Chapter 4. square sum graphs. 4.1 Introduction

Abstract Combinatorial Games

On the Number of Tilings of a Square by Rectangles

The structure and unlabelled enumeration of toroidal graphs with no K 3,3 s

Partitioning Complete Multipartite Graphs by Monochromatic Trees

Journal of Integer Sequences, Vol. 6 (2003), Article

Computation with No Memory, and Rearrangeable Multicast Networks

Discrete Applied Mathematics

Discrete mathematics , Fall Instructor: prof. János Pach

Smarandache Directionally n-signed Graphs A Survey

Octonion multiplication and Heawood s map

An Improved Upper Bound for the Sum-free Subset Constant

On the Balanced Case of the Brualdi-Shen Conjecture on 4-Cycle Decompositions of Eulerian Bipartite Tournaments

Revisiting the bijection between planar maps and well labeled trees

Rectangular Coordinates in Space

Combinatorial Enumeration of Partitions of a Convex Polygon

Weighted Catalan Numbers and Their Divisibility Properties

Recursive Bijections for Catalan Objects

Enumerating Tilings of Rectangles by Squares with Recurrence Relations

arxiv: v1 [cs.it] 9 Feb 2009

Binary trees having a given number of nodes with 0, 1, and 2 children.

Advances in Bijective Combinatorics

On Sequential Topogenic Graphs

Introduction II. Sets. Terminology III. Definition. Definition. Definition. Example

The Boundary of Ordered Trees

Tiling with fences. 16:00 Wednesday 26th October 2016, Room 3303, MUIC. Michael A. Allen. Physics Department, Mahidol University, Bangkok

Counting the Number of Isosceles Triangles in Rectangular Regular Grids

CUT VERTICES IN ZERO-DIVISOR GRAPHS OF FINITE COMMUTATIVE RINGS

The Number of Fuzzy Subgroups of Cuboid Group

Title Edge-minimal graphs of exponent 2

Green s relations on the partition monoid and several related monoids

A Note On The Sparing Number Of The Sieve Graphs Of Certain Graphs

Proposition 1. The edges of an even graph can be split (partitioned) into cycles, no two of which have an edge in common.

Cluster algebras and infinite associahedra

arxiv: v2 [math.co] 13 Aug 2013

SIMION S TYPE B ASSOCIAHEDRON IS A PULLING TRIANGULATION OF THE LEGENDRE POLYTOPE

Tilings of the Euclidean plane

Dissections of polygons into convex polygons

Edge Colorings of Complete Multipartite Graphs Forbidding Rainbow Cycles

Proper Partitions of a Polygon and k-catalan Numbers

Recognizing Interval Bigraphs by Forbidden Patterns

Graph theory - solutions to problem set 1

ON THE STRUCTURE OF SELF-COMPLEMENTARY GRAPHS ROBERT MOLINA DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE ALMA COLLEGE ABSTRACT

SIMION S TYPE B ASSOCIAHEDRON IS A PULLING TRIANGULATION OF THE LEGENDRE POLYTOPE

Theorem 2.9: nearest addition algorithm

Proof Techniques Alphabets, Strings, and Languages. Foundations of Computer Science Theory

Categorical equivalence of some algebras

Winning Positions in Simplicial Nim

Genus Ranges of 4-Regular Rigid Vertex Graphs

Andrea Frosini Università di Firenze, Dipartimento di Sistemi e Informatica, Viale Morgagni, 65, 50134, Firenze, Italy,

Monochromatic loose-cycle partitions in hypergraphs

1. Relations 2. Equivalence relations 3. Modular arithmetics. ! Think of relations as directed graphs! xry means there in an edge x!

1 Some Solution of Homework

Generating edge covers of path graphs

Noncrossing Partitions Under Rotation and Reflection

An exhaustive generation algorithm for Catalan objects and others

Four-Regular Graphs with Rigid Vertices Associated to DNA Recombination

Maximum number of edges in claw-free graphs whose maximum degree and matching number are bounded

LATIN SQUARES AND THEIR APPLICATION TO THE FEASIBLE SET FOR ASSIGNMENT PROBLEMS

BAXTER PERMUTATIONS AND PLANE BIPOLAR ORIENTATIONS

Associative Operations on a Three-Element Set

arxiv: v1 [math.co] 7 Oct 2010

Transcription:

Séminaire Lotharingien de Combinatoire 63 (2010), Article B63a THE DESCENT STATISTIC ON 123-AVOIDING PERMUTATIONS MARILENA BARNABEI, FLAVIO BONETTI, AND MATTEO SILIMBANI Abstract. We exploit Krattenthaler s bijection between 123-avoiding permutations and Dyck paths to determine the Eulerian distribution over the set S n (123) of 123-avoiding permutations in S n. In particular, we show that the descents of a permutation correspond to valleys and triple ascents of the associated Dyck path. We get the Eulerian numbers of S n (123) by studying the joint distribution of these two statistics on Dyck paths. 1. Introduction A permutation σ S n avoids a pattern τ S k if σ does not contain a subsequence that is order-isomorphic to τ. The subset of S n of all permutations avoiding a pattern τ is denoted by S n (τ). Pattern avoiding permutations have been intensively studied in recent years from many points of view (see e.g. [7], [4], [1], and references therein). In the case τ S 3, it has been shown that the cardinality of S n (τ) equals the n-th Catalan number, for every pattern τ (see e.g. [3] and [7]), and hence the set S n (τ) is in bijection with the set of Dyck paths of semilength n. Indeed, the six patterns in S 3 are related as follows: 321 = 123 rev, 231 = 132 rev, 312 = 132 c, 213 = (132 c ) rev, where rev and c denote the usual reverse and complement operations. Hence, in order to determine the distribution of the descent statistic over S n (τ), for every τ S 3, it is sufficient to examine the distribution of descents over two sets, say S n (132) and S n (123). In both cases, the two bijections due to Krattenthaler [4] (see also [2]) allow one to translate the descent statistic into some appropriate statistics on Dyck paths. 2000 Mathematics Subject Classification. 05A05 05A15 05A19. Key words and phrases. Restricted permutations, Dyck paths, Eulerian numbers.

2 MARILENA BARNABEI, FLAVIO BONETTI, AND MATTEO SILIMBANI In the case τ = 132, the bijection relies upon the fact that every permutation in S ( 132) is uniquely determined by the values and positions of its left-to-right minima. It is straightforward to check that the descents of a permutation σ S n (132) coincide with the positions immediately preceding a left-to-right minimum, not counting the first such left-to-right minimum. These positions are in one-to-one correspondence with the valleys of the associated Dyck path, via Krattenthaler s map. Hence, in this case, the descent distribution is described by the Narayana numbers. In this paper we investigate the case τ = 123. In particular, we exploit Krattenthaler s map to translate the descents of a permutation σ S n (123) into peculiar subconfigurations of the associated Dyck path, namely, valleys and triple ascents. For that reason, we study the joint distribution of valleys and triple ascents over the set P n of Dyck paths of semilength n, and we give an explicit expression for its trivariate generating function A(x, y, z) = x n y v(d) z ta(d) = n 0 D P n n,p,q 0 a n,p,q x n y p z q, where v(d) denotes the number of valleys in D and ta(d) denotes the number of triple ascents in D. This series specializes to some well known generating functions, such as the generating function of Catalan numbers, Motzkin numbers, Narayana numbers, and sequence A092107 in [8] (see also [5]). 2. Dyck paths A Dyck path of semilength n is a lattice path in the integer lattice N N starting from the origin, consisting of n up-steps U = (1, 1) and n down steps D = (1, 1), never passing below the x-axis. A return of a Dyck path is a down step ending on the x-axis, not counting the last step of the Dyck path. An irreducible Dyck path is a Dyck path with no return. We note that a Dyck path D can be decomposed according to its last return (last return decomposition) into the juxtaposition of a (possibly empty) Dyck path D of shorter length and an irreducible Dyck path D. For example, the Dyck path D = U 5 D 2 UD 4 UDU 3 DUD 3 decomposes into D D, where D = U 5 D 2 UD 4 UD and D = U 3 DUD 3, as shown in Figure 1.

THE DESCENT STATISTICS ON 123-AVOIDING PERMUTATIONS 3 Figure 1. The last return decomposition of the Dyck path D = U 5 D 2 UD 4 UDU 3 DUD 3. 3. Krattenthaler s bijection In [4], Krattenthaler describes a bijection between the set S n (123) and the set P n of Dyck paths of semilength n. Let σ = σ(1)...σ(n) be a 123-avoiding permutation. Recall that a right-to-left maximum of σ is an element σ(i) which is larger than σ(j) for all j with j > i (note that the last entry σ(n) is a right-to-left maximum). Let x s,...,x 1 be the right-to-left maxima in σ. Then, we can write (1) σ = w s x s... w 1 x 1, where w i are (possibly empty) words. Moreover, since σ avoids 123, the word w s w s 1... w 1 must be decreasing. In order to construct the Dyck path κ(σ) corresponding to σ, read the decomposition (1) from right to left. Any right-to-left maximum x i is translated into x i x i 1 up steps (with the convention x 0 = 0) and any subword w i is translated into l i + 1 down steps, where l i denotes the number of elements in w i. Then, reflect the constructed path in a vertical line. For example, the permutation σ = 6 4 7 3 2 5 1 in S 7 (123) corresponds to the path in Figure 2. Figure 2. The Dyck path κ(σ), with σ = 6 4 7 3 2 5 1.

4 MARILENA BARNABEI, FLAVIO BONETTI, AND MATTEO SILIMBANI 4. The descent statistic We say that a permutation σ has a descent at position i if σ(i) > σ(i + 1). We denote by des(σ) the number of descents of the permutation σ. In this section we determine the generating function E(x, y) = x n y des(σ) = e n,k x n y k, n 0 σ S n(123) n 0 k 0 where e n,k denotes the number of permutations in S n (123) with k descents. Proposition 1. Let σ be a permutation in S n (123), and D = κ(σ). The number of descents of σ is des(σ) = v(d) + ta(d), where v(d) is the number of valleys (the number of occurrences of DU) in D and ta(d) is the number of triple ascents (the number of occurrences of UUU) in D. Proof. Let σ = w s x s... w 1 x 1 be a 123-avoiding permutation. The descents of σ occur precisely in the following positions: 1. between two consecutive symbols in the same word w i (we have l i 1 of such descents), 2. after every right-to-left maximum x i, except for the last one. The proof is completed as soon as we observe that: 1. every word w i is mapped into an ascending run of κ(σ) of length l i +1. Such an ascending run contains l i 1 triple ascents, these in their turn are in bijection with the descents contained in w i, 2. every right-to-left maximum x i with i 2 corresponds to a valley in κ(σ). The preceding result implies that we can switch our attention from permutations in S n (123) with k descents to Dyck paths of semilength n with k valleys and triple ascents. Hence, we study the joint distribution of valleys and triple ascents over P n, namely, we analyze the generating function A(x, y, z) = x n y v(d) z ta(d) = a n,p,q x n y p z q. n 0 D P n n,p,q 0

THE DESCENT STATISTICS ON 123-AVOIDING PERMUTATIONS 5 We determine the relation between the function A(x, y, z) and the generating function B(x, y, z) = x n y v(d) z ta(d) = b n,p,q x n y p z q n 0 D IP n n,p,q 0 of the same joint distribution over the set IP n of irreducible Dyck paths in P n. Proposition 2. For every n > 2, we have: (2) b n,p,q = a n 1,p,q 1 a n 2,p 1,q 1 + a n 2,p 1,q. Proof. An irreducible Dyck path of semilength n with p valleys and q triple ascents can be obtained by prepending U and appending D to a Dyck path of semilength n 1 of one of the two following types: 1. a Dyck path with p valleys and q triple ascents, starting with UD, 2. a Dyck path with p valleys and q 1 triple ascents, which does not start with UD. We observe that: 1. The paths of the first kind are in bijection with Dyck paths of semilength n 2 with p 1 valleys and q triple ascents, enumerated by a n 2,p 1,q. Figure 3. The Dyck path U 2 DU 3 D 2 U 3 D 5 with 2 valleys and 2 triple ascents is obtained by prepending UD to the path U 3 D 2 U 3 D 4 with 1 valley and 2 triple ascents, and then elevating. 2. In order to enumerate the paths of the second kind we have to subtract from the integer a n 1,p,q 1 the number of Dyck paths of semilength n 1 with p valleys and q 1 triple ascents, starting with UD. Dyck paths of this kind are in bijection with Dyck paths of semilength n 2 with p 1 valleys and q 1 triple ascents, enumerated by a n 2,p 1,q 1.

6 MARILENA BARNABEI, FLAVIO BONETTI, AND MATTEO SILIMBANI Figure 4. The Dyck path U 3 DU 2 D 2 U 3 D 5 with 2 valleys and 2 triple ascents is obtained by elevating the path U 2 DU 2 D 2 U 3 D 4 with 2 valleys and 1 triple ascent. Proposition 3. For every n > 0, we have: (3) a n,p,q = b n,p,q + n 1 b i,j,s a n i,p j 1,q s. i=1 j,s 0 Proof. Let D be a Dyck path of semilength n and consider its last return decomposition D = D D. If D is empty, then D is irreducible. Otherwise, we have v(d) = v(d ) + v(d ) + 1, ta(d) = ta(d ) + ta(d ). Identities (2) and (3) yield the following relations between the two generating functions A(x, y, z) and B(x, y, z). Proposition 4. We have (4) B(x, y, z) = (A(x, y, z) 1)(xz + x 2 y x 2 yz) + 1 + x + x 2 x 2 z and (5) A(x, y, z) = B(x, y, z) + y(b(x, y, z) 1)(A(x, y, z) 1). Proof. Note that recurrence (2) holds for n > 2. This fact gives rise to the correction terms of x-degree less than 3 in Formula (4). Combining Formulae (4) and (5) we obtain the following result.

THE DESCENT STATISTICS ON 123-AVOIDING PERMUTATIONS 7 Theorem 5. We have: 1 ( A(x, y, z) = 1 + xy + 2x 2 y 2xy(xyz z xy) (6) 2x 2 y 2 + xz 2xyz 2x 2 yz + 2x 2 y 2 z + ) 1 2xy 4x 2 y + x 2 y 2 2xz + 2x 2 yz + x 2 z 2. This last result allows us to determine the generating function E(x, y) of the Eulerian distribution over S n (123). In fact, the previous arguments show that E(x, y) = A(x, y, y). Hence, we obtain the following explicit expression for E(x, y). Theorem 6. We have: 1 + 2xy + 2x 2 y 2xy 2 4x 2 y 2 + 2x 2 y 3 E(x, y) = + 1 4xy 4x 2 y + 4x 2 y 2. 2xy 2 (xy 1 x) The first values of the sequence e n,d are shown in the following table: n/d 0 1 2 3 4 5 6 0 1 1 1 2 1 1 3 0 4 1 4 0 2 11 1 5 0 0 15 26 1 6 0 0 5 69 57 1 7 0 0 0 56 252 120 1 Needless to say, the series A(x, y, z) specializes to some well known generating functions. In particular, A(x, 1, 1) is the generating function of Catalan numbers, A(x, 1, 0) the generating function of Motzkin numbers, ya(x, y, 1) the generating function of Narayana numbers, and A(x, 1, z) the generating function of seq. A092107 in [8]. References [1] M. Bóna, Combinatorics of permutations, Chapman & Hall/CRC, Boca Raton, 2004. [2] A. Claesson and S. Kitaev, Classification of bijections between 321- and 132- avoiding permutations Sém. Lothar. Combin. 60 (2008), Art. B60d, 30 pp. [3] D. E. Knuth, The art of computer programming, vol. 1: Fundamental algorithms, Addison Wesley, Reading Massachusetts, 1969.

8 MARILENA BARNABEI, FLAVIO BONETTI, AND MATTEO SILIMBANI [4] C. Krattenthaler, Permutations with restricted patterns and Dyck paths, Adv. in Appl. Math. 27 (2001), 510 530. [5] A. Sapounakis, I. Tasoulas and P. Tsikouras, Counting strings in Dyck paths, Discrete Math. 307 (2007), 2909 2924. [6] R. Simion, Combinatorial statistics on noncrossing partitions, J. Combin. Theory Ser. A 66 (1994), no. 2, 270 301. [7] R. Simion, F. W. Schmidt, Restricted permutations, Europ. J. Combin. 6 (1985), 383 406. [8] N. J. A. Sloane, The On-Line Encyclopedia of Integer Sequences, http://www.research.att.com/~njas/sequences/. Department of Mathematics, University of Bologna, P.zza di Porta San Donato 5, 40126 Bologna E-mail address: barnabei@dm.unibo.it, bonetti@dm.unibo.it, silimban@dm.unibo.it