Random permutations avoiding some patterns

Similar documents
The Brownian limit of separable permutations

Universal permuton limits of substitution-closed permutation classes

UNIVERSALITY IN SUBSTITUTION-CLOSED PERMUTATION CLASSES. with Frédérique Bassino, Mathilde Bouvel, Valentin Féray, Lucas Gerin and Mickaël Maazoun

Patterns and random permutations II

Some algorithmic and combinatorial problems on permutation classes

MA 524 Midterm Solutions October 16, 2018

What Does the Future Hold for Restricted Patterns? 1

Permutations of a Multiset Avoiding Permutations of Length 3

Classes of permutations avoiding 231 or 321

Restricted Permutations Related to Fibonacci Numbers and k-generalized Fibonacci Numbers

Fast Sorting and Pattern-Avoiding Permutations

Asymptotic and exact enumeration of permutation classes

Dyck paths, standard Young tableaux, and pattern avoiding permutations

Stackable and queueable permutations

RESTRICTED PERMUTATIONS AND POLYGONS. Ghassan Firro and Toufik Mansour Department of Mathematics, University of Haifa, Haifa, Israel

Asymptotic behaviour of permutations avoiding generalized patterns

Symmetric Permutations Avoiding Two Patterns

132-avoiding Two-stack Sortable Permutations, Fibonacci Numbers, and Pell Numbers

Pattern Avoidance in Unimodal and V-unimodal Permutations

Non-overlapping permutation patterns

Enumeration of Two Particular Sets of Minimal Permutations

Quarter Turn Baxter Permutations

Struct: Finding Structure in Permutation Sets

Permutations with short monotone subsequences

Quarter Turn Baxter Permutations

#A13 INTEGERS 15 (2015) THE LOCATION OF THE FIRST ASCENT IN A 123-AVOIDING PERMUTATION

Pin-Permutations and Structure in Permutation Classes

Permutation Tableaux and the Dashed Permutation Pattern 32 1

NON-OVERLAPPING PERMUTATION PATTERNS. To Doron Zeilberger, for his Sixtieth Birthday

Sorting with Pop Stacks

ON SOME PROPERTIES OF PERMUTATION TABLEAUX

EXPLAINING THE SHAPE OF RSK

A stack and a pop stack in series

EQUIPOPULARITY CLASSES IN THE SEPARABLE PERMUTATIONS

arxiv: v1 [math.co] 16 Aug 2018

Evacuation and a Geometric Construction for Fibonacci Tableaux

ON SOME PROPERTIES OF PERMUTATION TABLEAUX

Pattern Avoidance in Poset Permutations

PRIMES 2017 final paper. NEW RESULTS ON PATTERN-REPLACEMENT EQUIVALENCES: GENERALIZING A CLASSICAL THEOREM AND REVISING A RECENT CONJECTURE Michael Ma

Algorithms. Abstract. We describe a simple construction of a family of permutations with a certain pseudo-random

Completion of the Wilf-Classification of 3-5 Pairs Using Generating Trees

Stacking Blocks and Counting Permutations

First order logic of permutations

International Journal of Combinatorial Optimization Problems and Informatics. E-ISSN:

On uniquely k-determined permutations

ENUMERATION SCHEMES FOR PATTERN-AVOIDING WORDS AND PERMUTATIONS

Combinatorics in the group of parity alternating permutations

The Complexity of Sorting with Networks of Stacks and Queues

Generating trees and pattern avoidance in alternating permutations

MATH 433 Applied Algebra Lecture 12: Sign of a permutation (continued). Abstract groups.

A survey of stack-sorting disciplines

Harmonic numbers, Catalan s triangle and mesh patterns

What is counting? (how many ways of doing things) how many possible ways to choose 4 people from 10?

Counting Permutations by Putting Balls into Boxes

Enumeration of permutations sorted with two passes through a stack and D 8 symmetries

REU 2006 Discrete Math Lecture 3

Permutation Tableaux and the Dashed Permutation Pattern 32 1

132-avoiding two-stack sortable permutations, Fibonacci numbers, and Pell numbers

On Quasirandom Permutations

A STUDY OF EULERIAN NUMBERS FOR PERMUTATIONS IN THE ALTERNATING GROUP

arxiv: v1 [math.co] 7 Aug 2012

From Fibonacci to Catalan permutations

#A2 INTEGERS 18 (2018) ON PATTERN AVOIDING INDECOMPOSABLE PERMUTATIONS

arxiv: v1 [math.co] 8 Oct 2012

Simple permutations and pattern restricted permutations

PATTERN AVOIDANCE IN PERMUTATIONS ON THE BOOLEAN LATTICE

What Does the Future Hold for Restricted Patterns? 1

Longest increasing subsequences in pattern-restricted permutations arxiv:math/ v2 [math.co] 26 Apr 2003

Staircases, dominoes, and the growth rate of Av(1324)

Counting 1324-avoiding Permutations

A Coloring Problem. Ira M. Gessel 1 Department of Mathematics Brandeis University Waltham, MA Revised May 4, 1989

Alternating Permutations

Section II.9. Orbits, Cycles, and the Alternating Groups

Lecture 18 - Counting

On uniquely k-determined permutations

Postprint.

Automatic Enumeration and Random Generation for pattern-avoiding Permutation Classes

BIJECTIONS FOR PERMUTATION TABLEAUX

Principle of Inclusion-Exclusion Notes

Generating Trees of (Reducible) 1324-avoiding Permutations

NOTES ON SEPT 13-18, 2012

Avoiding consecutive patterns in permutations

Computing Permutations with Stacks and Deques

Some Fine Combinatorics

The Classification of Quadratic Rook Polynomials of a Generalized Three Dimensional Board

Square Involutions. Filippo Disanto Dipartimento di Scienze Matematiche e Informatiche Università di Siena Pian dei Mantellini Siena, Italy

ON THE INVERSE IMAGE OF PATTERN CLASSES UNDER BUBBLE SORT. 1. Introduction

Restricted Dumont permutations, Dyck paths, and noncrossing partitions

Enumeration of Pin-Permutations

Lecture 3 Presentations and more Great Groups

Connected Permutations, Hypermaps and Weighted Dyck Words. Robert Cori Mini course, Maps Hypermaps february 2008

Permutations avoiding an increasing number of length-increasing forbidden subsequences

Corners in Tree Like Tableaux

Solutions to Exercises Chapter 6: Latin squares and SDRs

Crossings and patterns in signed permutations

The Art of Counting. Bijections, Double Counting. Peng Shi. September 16, Department of Mathematics Duke University

Domino Tilings of Aztec Diamonds, Baxter Permutations, and Snow Leopard Permutations

Inversions on Permutations Avoiding Consecutive Patterns

arxiv: v1 [math.co] 31 Dec 2018

PROOFS OF SOME BINOMIAL IDENTITIES USING THE METHOD OF LAST SQUARES

Transcription:

Random permutations avoiding some patterns Svante Janson Knuth80 Piteå, 8 January, 2018

Patterns in a permutation Let S n be the set of permutations of [n] := {1,..., n}. If σ = σ 1 σ k S k and π = π 1 π n S n, then an occurrence of σ in π is a subsequence π i1 π ik, with 1 i 1 < < i k n, that has the same relative order as σ. σ is called a pattern. Let n σ (π) be the number of occurrences of σ in π. For example, n 21 (π) is the number of inversions in π. A permutation π avoids a pattern σ if there is no occurence of σ in π, i.e., if n σ (π) = 0. Let S n (τ) := {π S n : n τ (π) = 0}, the set of permutations of length n that avoid τ. Similarly, let S n (τ 1,..., τ k ) := i S n(τ i ), the set of permutations of length n that avoid τ 1,..., τ k.

Example Donald Knuth, The Art of Computer Programming, vol. 1, Exercise 2.2.1-5: A permutation π can be obtained by a stack if and only if π is 312-avoiding, i.e., π S n (312).

Example Donald Knuth, The Art of Computer Programming, vol. 1, Exercise 2.2.1-5: A permutation π can be obtained by a stack if and only if π is 312-avoiding, i.e., π S n (312). Equivalently: A permutation π is stack-sortable if and only if π is 231-avoiding.

Example Donald Knuth, Exercise 2.2.1-10,11, West (1995): A permutation π is deque-sortable if and only if π is {2431, 4231}-avoiding, i.e., π S n (2431, 4231).

Example Donald Knuth, Exercise 2.2.1-10,11, West (1995): A permutation π is deque-sortable if and only if π is {2431, 4231}-avoiding, i.e., π S n (2431, 4231). Example Tarjan (1972): A permutation π can be sorted by 2 parallel queues if and only if π is 321-avoiding, i.e., π S n (321).

Example Donald Knuth, Exercise 2.2.1-10,11, West (1995): A permutation π is deque-sortable if and only if π is {2431, 4231}-avoiding, i.e., π S n (2431, 4231). Example Tarjan (1972): A permutation π can be sorted by 2 parallel queues if and only if π is 321-avoiding, i.e., π S n (321). Further examples, properties and references: See Stanley, Enumerative Combinatorics, Exercises 6.19 x (321), y (312), ee (321), ff (312), ii (231), oo (132), xx (321); 6.25 g (321); 6.39 k, l ({2413, 3142}), m ({1342, 1324}); 6.47 a ({4231, 3412}); 6.48 (1342).

One fundamental question, studied by many authors, is the size of these classes S n (τ) and S n (τ 1,..., τ k ). Theorem (Knuth [Exercises 2.2.1-4,5], and others) If τ = 3, then S n (τ) = C n = 1 ( ) 2n, n + 1 n the nth Catalan number. The cases with τ 4 are much more complicated. See e.g. Bóna (2004).

Some results are also known for S n (τ 1,..., τ k ) with k 2. Example All cases with all τ i = 3 are treated by Simion and Schmidt (1995). For example, several such cases yield 2 n 1. Example S n (2431, 4231) = r n 1, a Schröder number, see Donald Knuth, Exercise 2.2.1-10,11, West (1995), Stanley (1999), Exercise 6.39 l,m.

A related problem is to study properties of a random permutation chosen uniformly from a class S n (τ 1,..., τ k ). Several properties of such restricted random permutations have been studied by a number of authors. For example: consecutive patterns, descents, major index, number of fixed points, position of fixed points, exceedances, longest increasing subsequence, shape and distribution of individual values π i. I consider today instances of the following general problem: Fix patterns τ 1,..., τ k and σ. What is the asymptotic distribution, as n, of n σ (π) for π S n (τ 1,..., τ k ), chosen uniformly at random? Example Take σ = 21. (Recall that n 21 (π) is the number of inversions in π.) What is the asymptotic distribution of the number of inversions in a random π S n (τ 1,..., τ k )?

I consider today only the cases with τ i = 3, when I can give more or less complete results. Also these simple cases are treated case by case, by different methods. No general method is known for these problems, even in the comparatively simple case τ = 3.

I consider today only the cases with τ i = 3, when I can give more or less complete results. Also these simple cases are treated case by case, by different methods. No general method is known for these problems, even in the comparatively simple case τ = 3. PLEASE HELP!

I consider today only the cases with τ i = 3, when I can give more or less complete results. Also these simple cases are treated case by case, by different methods. No general method is known for these problems, even in the comparatively simple case τ = 3. PLEASE HELP! Remark. Some impressive results for S n (2413, 3142) (separable permutations) are recently given by Bassino, Bouvel, Féray, Gerin, Pierrot (2017), with generalizations by Bassino, Bouvel, Féray, Gerin, Maazoun, Pierrot (2017).

There are many cases, even with all τ i = 3, but the number is reduced by obvious symmetries: inverse: 25341 51342 reflection left-right: 25431 13452 reflection up-down: 25431 41235 (These generate a dihedral group of 8 symmetries.)

Unrestricted permutations As a background, consider random permutations without restrictions. Theorem (Bóna (2007, 2010), Janson, Nakamura and Zeilberger (2015)) Consider a random unrestricted permutation π S n. Then n σ (π) is asymptotically normally distributed, for any σ: if k := σ then n σ (π) n k /k! 2 n k 1/2 for some constant c σ > 0. Proof. d N(0, c 2 σ) Represent n σ (π) as a U-statistic, and use the central limit theorem by Hoeffding (1948).

231-avoiding permutations (or 132, 213, 312) Theorem Suppose σ S (231). Let λ(σ) := σ + 1 + #ascents. Then, as n, for a random π S n (231), n σ (π)/n λσ/2 for some random variable Λ σ > 0. d Λ σ, Example The number of inversions. n 21 (π)/n 3/2 d Λ 21 = 2 1 0 e(t) dt, where the random function e(t) is a Brownian excursion.

In general, Λ σ can be expressed using a Brownian excursion e(t), but in general in a complicated way. Proof. A natural bijection between S n (231) and binary trees of order n. the standard bijection between the latter and Dyck paths. A random Dyck path converges (after scaling) in distribution to a Brownian excursion.

321-avoiding permutations (or 123) Theorem Suppose σ S (321). Let m be the number of blocks in σ. Then, as n, for a random π S n (321), n σ (π)/n ( σ +m)/2 for some random variable W σ > 0. d W σ, Example The number of inversions. 1 n 21 (π)/n 3/2 d Λ 21 = 2 1/2 e(t) dt, where the random function e(t) is a Brownian excursion. 0

In general, W σ = w σ t 1 < <t m e(t 1 ) l 1 1 e(t m ) lm 1 dt 1 dt m where l 1,..., l m are the lengths of the blocks in σ, and w σ is a curious combinatorial constant. A block in σ is a minimal interval [i, j] such that π maps [1, i 1], [i, j] and [j + 1, n] to themselves. Proof. A bijection with Dyck paths by Billey, Jockush and Stanley (1993). Further developments by Hoffman, Rizzolo and Slivken (2017).

{231, 312}-avoiding permutations Theorem Suppose σ S (231, 312). Then, for a random π S n (231, 312), n σ (π) is asymptotically normally distributed: if m is the number of blocks in σ, then n σ (π) a σ n m n m 1/2 for some constants a σ, b σ. d N(0, b 2 σ) Example The number of inversions. n 21 (π) 1 2 n n 1/2 d N(0, 1 4 ).

Proof. π S (231, 312) each block is decreasing: l(l 1) 21 [Simion and Schmidt, 1995]. (Hence, S n (231, 312) = 2 n 1.) If the block lengths are l 1,..., l m, then n 21 (π) = m Similar in general, with multiple sum. (l 1,..., l m ) is a random composition of n. i=1 ( li 2). Can be realized as the first elements, up to sum n, of an i.i.d. sequence L 1, L 2,... of random variables with a Geometric Ge(1/2) distribution. Renewal theory, in a U-statistics version by Janson (2018+).

{132, 321}-avoiding permutations Theorem For a random π S n (132, 321), the number of inversions has the asymptotic distribution n 2 n 21 (π) d W := XY, where (X, Y ) is uniformly distributed in the triangle {x, y 0, x + y 1}. The limit variable W has density function 2 log ( 1 + 1 4x ) 2 log ( 1 1 4x ), 0 < x < 1/4, and moments E W r r! 2 = 2 (2r + 2)!, r > 0.

Proof. S n (132, 321) has only ( n 2) + 1 elements: the identity and { π k,l,n k l : k, l 1, k + l n }, where π k,l,m is the permutation (l + 1,..., l + k, 1,..., l, k + l + 1,..., k + l + m) S k+l+m, consisting of three increasing runs of lengths k, l, m (where the third run is empty when m = 0). n 21 (π k,l,n k l ) = kl.