A relation on 132-avoiding permutation patterns

Similar documents
arxiv: v1 [math.co] 31 Mar 2009

Notes on the symmetric group

Permutation Factorizations and Prime Parking Functions

1 Solutions to Tute09

Structural Induction

COMBINATORICS OF REDUCTIONS BETWEEN EQUIVALENCE RELATIONS

Quadrant marked mesh patterns in 123-avoiding permutations

On the Number of Permutations Avoiding a Given Pattern

CSE 21 Winter 2016 Homework 6 Due: Wednesday, May 11, 2016 at 11:59pm. Instructions

Laurence Boxer and Ismet KARACA

CATEGORICAL SKEW LATTICES

Lecture l(x) 1. (1) x X

On the h-vector of a Lattice Path Matroid

ECE 586GT: Problem Set 1: Problems and Solutions Analysis of static games

TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC

On the Optimality of a Family of Binary Trees Techical Report TR

On Packing Densities of Set Partitions

2 all subsequent nodes. 252 all subsequent nodes. 401 all subsequent nodes. 398 all subsequent nodes. 330 all subsequent nodes

Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable

Brouwer, A.E.; Koolen, J.H.

SET 1C Binary Trees. 2. (i) Define the height of a binary tree or subtree and also define a height balanced (AVL) tree. (2)

Laurence Boxer and Ismet KARACA

Supporting Information

Collinear Triple Hypergraphs and the Finite Plane Kakeya Problem

Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable

An effective perfect-set theorem

Optimal Satisficing Tree Searches

Global Joint Distribution Factorizes into Local Marginal Distributions on Tree-Structured Graphs

Homework #4. CMSC351 - Spring 2013 PRINT Name : Due: Thu Apr 16 th at the start of class

Yao s Minimax Principle

Course Information and Introduction

arxiv: v1 [math.co] 6 Oct 2009

The Binomial Theorem and Consequences

LECTURE 3: FREE CENTRAL LIMIT THEOREM AND FREE CUMULANTS

Inversion Formulae on Permutations Avoiding 321

Sublinear Time Algorithms Oct 19, Lecture 1

LECTURE 2: MULTIPERIOD MODELS AND TREES

Best response cycles in perfect information games

Continuous images of closed sets in generalized Baire spaces ESI Workshop: Forcing and Large Cardinals

Palindromic Permutations and Generalized Smarandache Palindromic Permutations

Game Theory: Normal Form Games

Cumulants and triangles in Erdős-Rényi random graphs

The Sorting Index and Permutation Codes. Abstract

The Turing Definability of the Relation of Computably Enumerable In. S. Barry Cooper

Generating all nite modular lattices of a given size

Realizability of n-vertex Graphs with Prescribed Vertex Connectivity, Edge Connectivity, Minimum Degree, and Maximum Degree

Algebra homework 8 Homomorphisms, isomorphisms

Smoothed Analysis of Binary Search Trees

Introduction to Greedy Algorithms: Huffman Codes

Lecture 2: The Simple Story of 2-SAT

Applied Mathematics Letters

DESCENDANTS IN HEAP ORDERED TREES OR A TRIUMPH OF COMPUTER ALGEBRA

Interpolation of κ-compactness and PCF

Strong Subgraph k-connectivity of Digraphs

On the Optimality of a Family of Binary Trees

On Packing Densities of Set Partitions

GUESSING MODELS IMPLY THE SINGULAR CARDINAL HYPOTHESIS arxiv: v1 [math.lo] 25 Mar 2019

ON THE MAXIMUM AND MINIMUM SIZES OF A GRAPH

Discrete Mathematics for CS Spring 2008 David Wagner Final Exam

THE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET

Classifying Descents According to Parity

Strong normalisation and the typed lambda calculus

Strongly compact Magidor forcing.

On the number of one-factorizations of the complete graph on 12 points

Notes on Natural Logic

NEW PERMUTATION CODING AND EQUIDISTRIBUTION OF SET-VALUED STATISTICS. Dominique Foata and Guo-Niu Han

A Combinatorial Proof for the Circular Chromatic Number of Kneser Graphs

Rises in forests of binary shrubs

4: SINGLE-PERIOD MARKET MODELS

Arborescent Architecture for Decentralized Supervisory Control of Discrete Event Systems

Variations on a theme by Weetman

Pareto-Optimal Assignments by Hierarchical Exchange

NOTES ON FIBONACCI TREES AND THEIR OPTIMALITY* YASUICHI HORIBE INTRODUCTION 1. FIBONACCI TREES

Structure connectivity and substructure connectivity of twisted hypercubes

Algorithmic Game Theory and Applications. Lecture 11: Games of Perfect Information

Web Appendix: Proofs and extensions.

PARTITIONS OF 2 ω AND COMPLETELY ULTRAMETRIZABLE SPACES

Lecture 22. Survey Sampling: an Overview

On the Pentagon Relations of Valued Quivers

Essays on Some Combinatorial Optimization Problems with Interval Data

PERFECT TREE FORCINGS FOR SINGULAR CARDINALS

Hierarchical Exchange Rules and the Core in. Indivisible Objects Allocation

Fractional Graphs. Figure 1

MATH 5510 Mathematical Models of Financial Derivatives. Topic 1 Risk neutral pricing principles under single-period securities models

Development Separation in Lambda-Calculus

Non replication of options

A Property Equivalent to n-permutability for Infinite Groups

3.2 No-arbitrage theory and risk neutral probability measure

MAT 4250: Lecture 1 Eric Chung

arxiv: v1 [math.lo] 24 Feb 2014

A construction of short sequences containing all permutations of a set as subsequences Radomirovi, Saša

maps 1 to 5. Similarly, we compute (1 2)(4 7 8)(2 1)( ) = (1 5 8)(2 4 7).

Sy D. Friedman. August 28, 2001

Lie Algebras and Representation Theory Homework 7

The Probabilistic Method - Probabilistic Techniques. Lecture 7: Martingales

Sequential allocation of indivisible goods

Generating all modular lattices of a given size

MSU CSE Spring 2011 Exam 2-ANSWERS

Two-lit trees for lit-only sigma-game

The suffix binary search tree and suffix AVL tree

Transcription:

Discrete Mathematics and Theoretical Computer Science DMTCS vol. VOL, 205, 285 302 A relation on 32-avoiding permutation patterns Natalie Aisbett School of Mathematics and Statistics, University of Sydney, Australia received 9 th June 203, revised 4 th Jan. 204, 6 th Feb. 204, 24 th Mar. 205, 5 th May 205, accepted 2 th Nov. 205. A permutation σ contains the permutation τ if there is a subsequence of σ order isomorphic to τ. A permutation σ is τ-avoiding if it does not contain the permutation τ. For any n, the popularity of a permutation τ, denoted A n(τ), is the number of copies of τ contained in the set of all 32-avoiding permutations of length n. Rudolph conjectures that for permutations τ and µ of the same length, for all n we have A n(τ) A n(µ) if and only if the spine structure of τ is less than or equal to the spine structure of µ in refinement order. We prove one direction of Rudolph s conjecture by showing that if the spine structure of τ is less than or equal to the spine structure of µ, then for all n, A n(τ) A n(µ). Furthermore, we show that A n(τ) < A n(µ) when n is greater than the length of τ and µ. We disprove the opposite direction by giving a counterexample, and hence disprove the conjecture. Keywords: permutations, permutation pattern, popularity Introduction A permutation σ contains the permutation τ if there is a subsequence of σ order isomorphic to τ. In this case we say that τ is a pattern of σ. A permutation σ is τ-avoiding if it does not contain the permutation τ. The popularity of a permutation τ in length n 32-avoiding permutations (defined more rigorously in Section 2), denoted A n (τ), is the number of copies of τ contained in the set of all 32-avoiding permutations of length n. The question of pattern popularity within permutations that avoid some pattern was first asked by Joshua Cooper on his webpage [4]. Here he raised the question: what is the expected number of copies of a pattern in a randomly chosen pattern avoiding permutation? This problem was first tackled by Bóna in [], where he proved that for all permutation patterns τ of length k and for any n k we have A n (2... k) A n (τ) A n (k(k )... ). He then extended this result in [2] to show that for all n 3 A n (23) = A n (23) = A n (32). In [5], Homberger studied Cooper s question for patterns of length 3 in 23-avoiding permutations. Every 32-avoiding permutation τ has an associated binary tree T (τ) (defined in Section 4) which in turn has an associated partition called its spine structure. In [6], Rudolph extended the results of Bóna to show that: 365 8050 c 205 Discrete Mathematics and Theoretical Computer Science (DMTCS), Nancy, France

286 Natalie Aisbett Theorem. ([6, Theorem 6]). For any 32-avoiding permutations τ and µ of length k, if T (τ) and T (µ) have the same spine structure, then for all n k we have A n (τ) = A n (µ). Chua and Sankar have since shown in [3] that if A n (τ) = A n (µ) for all n, then T (τ) and T (µ) have the same spine structure. In [6], Rudolph conjectured the following: Conjecture.2 ([6, Conjecture 2]). Given patterns τ and µ, for all n we have A n (τ) A n (µ) if and only if the spine structure of T (τ) is less than or equal to the spine structure of T (µ) in refinement order. In Theorem 4.6 we prove one direction of Conjecture.2, by showing that if the spine structure of T (τ) is less than or equal to the spine structure of T (µ) in refinement order, then A n (τ) A n (µ). It should be mentioned that Theorem 4.6 has previously been proven by Rudolph (unpublished). In Proposition 4.8, we strengthen this result by showing that if τ and µ have length less than n and the spine structure of T (τ) is less than the spine structure of T (µ) in refinement order, then A n (τ) < A n (µ). Then, in Corollary 5.2, we disprove Conjecture.2 by showing that there exist permutations τ and µ such that for all n we have A n (τ) A n (µ), whereas T (τ) and T (µ) are incomparable in refinement order. We now give an outline of how the paper leads into the proof of the main theorem, Theorem 4.6. Chapter 2 introduces the main definitions that are used in the paper. Chapter 3 introduces a move that can be performed on a 32-avoiding permutation τ, which gives another 32-avoiding permutation µ of the same length as τ. Theorem 3.5 is used to show that A n (µ) A n (τ), and is the main theorem in Chapter 3. In Chapter 4, we describe a well-known bijection between binary trees and 32-avoiding permutations. In this paper, this bijection sends the permutation τ to the tree T (τ). We describe this bijection in order to define the spine structure of 32-avoiding permutations, which is a property of their corresponding binary trees. Note that two distinct 32-avoiding permutations may have the same spine structure. Then, in Proposition 4.4, we show that if φ is obtained from σ by the popularity increasing move, then the spine structure of φ is greater than the spine structure of σ in refinement order. We then show (see Proposition 4.5 and the proof of Theorem 4.6) that if the spine structure of a 32-avoiding permutation φ is greater than the spine structure of another 32-avoiding permutation σ, then there is a permutation τ with the same spine structure as σ, and a permutation µ with the same spine structure as φ, such that µ is obtained from τ by the popularity increasing move. Since popularity is equal for permutations with the same spine structure (Theorem.), this proves the main theorem of this paper, Theorem 4.6. Acknowledgements I would like to thank my PhD supervisor Anthony Henderson for helpful conversations. 2 Definitions Let [n] denote the set of integers {, 2,..., n}. Let σ = σ... σ n denote a permutation of [n] written in one-line notation. The permutation σ contains the pattern τ = τ... τ k if there exist i < i 2 < < i k n such that for any s, t k we have σ is < σ it when τ s < τ t. A permutation pattern τ = τ... τ k is of length k. A 32-avoiding permutation is a permutation that does not contain the pattern 32. We denote the set of all permutations of [n] that are 32-avoiding by S n (32).

A relation on 32-avoiding permutation patterns 287 Suppose that τ = τ... τ k is a permutation of length k for some integer k n, and suppose that σ S n (32). Let f(σ, τ) denote the number of copies of τ contained in σ. For example, f(5342, 32) = 7 since the subsequences 532, 53, 542, 54, 52, 32 and 42 give rise to the pattern 32. The popularity of a pattern τ S k (32) in length n 32-avoiding permutations, denoted A n (τ), is given by A n (τ) := σ S n(32) f(σ, τ). Permutations τ and µ each of length k are equipopular if for all n, A n (τ) = A n (µ). Note that if a 32-avoiding permutation contains a pattern, then that pattern must also be a 32-avoiding permutation. There is 0! = permutation of the empty set, which is of length 0. It certainly avoids 32, and hence belongs to S 0 (32), so that S 0 (32) =. When τ is the length 0 permutation we take by convention A n (τ) = S n (32). Suppose σ... σ n S n (32) and that σ s... σ sk (where s < < s k ) gives rise to a permutation pattern τ. Then we say that {σ s,..., σ sk } are the elements in this occurrence of τ, and for all i [k] we say that σ si occurs as τ i. 3 A popularity increasing move In this section we describe a move on 32-avoiding permutations. We show that for all n, this move can be applied to any permutation in S n (32) other than n(n )..., and that it results in another 32-avoiding permutation. We then show, in Theorem 3.5, that this move produces a new permutation whose popularity is greater than or equal to that of the original permutation. Observe that if σ = σ... σ n is a 32-avoiding permutation, and if σ j = n, then for all i < j and for all k > j we have σ i > σ k. In other words, all entries to the left of n are greater than all entries to the right of n. Suppose that σ = σ... σ n S n (32), and that there are a pair of indices i, j with i < j, such that: σ i < σ j, for all integers α such that α < i we have σ α > σ j, for all integers β such that i < β < j we have σ β < σ i. Then we may form a new permutation φ = φ... φ n, where φ... φ i = σ... σ i, φ i = σ j, φ i+... φ j = σ i... σ j, and φ j+... φ n = σ j+... σ n. In other words, φ is obtained from σ by removing σ j and inserting it before σ i. Since σ is 32-avoiding, all elements in {σ j+,..., σ n } are either less than σ i or greater than σ j, hence we must have σ j = σ i +. We can therefore denote φ unambiguously by σ σj.

288 Natalie Aisbett Example 3.. Let σ = 86534729 S 9 (32). Then σ 7 is defined, and is equal to 87653429. The permutation σ is shown below on the left, and σ 7 is shown below on the right. 8 6 5 3 4 7 9 8 7 6 5 3 4 9 2 2 Note that if σ S n (32) and σ σj is defined for some j, then σ can be broken into five parts (dependent on j) as follows: The set of numbers {σ,..., σ i }, which we denote by L for left. Every number in L is greater than σ j. σ i. The set of numbers {σ i+,..., σ j }, which we denote by M for middle (this set is empty if j = i + ). Every number in M is less than σ i. σ j. The set of numbers {σ j+,..., σ n }, which we denote by R for right. Each number in this set is either less than all numbers in the set M σ i, or is greater than σ j. Example 3.2. Let σ = 86534729 S 9 (32) (see Example 3.), and let σ j = 7. Then L = {8}, M = {5, 3, 4}, and R = {, 2, 9}. Proposition 3.3. Suppose σ S n (32) and that for some j, φ = σ σj is defined. Then φ S n (32). Proof: Suppose for a contradiction that φ S n (32). Then σ j must occur as an element in a 32 pattern in φ. If σ j occurs as, then the elements that occur as 3 and 2 must be contained in R. This is the desired contradiction that σ would not be 32-avoiding, since the same triple of integers form a 32 pattern in σ. If σ j occurs as 3 or 2 we also have a contradiction since σ... σ i are all greater than σ j. Proposition 3.4. For any n 2 and any σ S n (32) {n(n )... }, there exists an index j such that σ σj is defined. Proof: Since σ is not the permutation n(n )..., there is a minimal j such that σ j > σ j. Then permutation σ σj is defined since σ... σ j is decreasing. Suppose τ S k (32) and n is an integer greater than or equal to k. Let O n (τ) denote the set of occurrences of τ in permutations σ S n (32) such that n is an element in the occurrence, and let O n(τ)

A relation on 32-avoiding permutation patterns 289 be the set of occurrences of the pattern τ in permutations σ S n (32) such that n is not an element in the occurrence. Then A n (τ) = O n (τ) + O n(τ). We denote an occurrence of τ in some σ = σ... σ n by a pair (σ, σ s... σ sk ) in which {σ s,..., σ sk } are the elements in the occurrence of τ. Given permutations τ of length k and µ of length l, we define permutations τ µ and τ µ each of length k + l as follows { τ i, if i k, (τ µ) i = µ i + k, if k + i k + l, (τ µ) i = { τ i + l, if i k, µ i, if k + i k + l. Theorem 3.5. Suppose that µ, τ S k (32) and that for some j, µ = τ τj. Then for all n k we have A n (µ) A n (τ). Proof: We proceed by induction. By definition, if µ = τ τj for some j, then µ and τ have length greater than or equal to 2. Hence, to prove the base case, we need to prove that if µ = τ τj for some j, where µ is of length 2, then A 2 (µ) A 2 (τ). This is true since A 2 (τ) = A 2 (µ) =. Now assume by induction that A n (µ) A n (τ) holds for every pair µ and τ of length k with µ = τ τj for some j, where k k and n < n, or k < k and n n. Now suppose that µ = τ τj for some µ, τ and j, where µ S k (32). We will show that A n (µ) A n (τ). Note that the sets L, M and R that we will mentioned in this proof are subsets of {τ,..., τ k }. We will consider occurrences of the pattern τ contained in permutations σ S n (32). We will consider the following two cases separately. a) The set of occurrences of τ contained in O n(τ). b) The set of occurrences of τ contained in O n (τ). In this case n may occur as τ j if and only if L is empty, and the elements in R are all less than the elements in M {τ i }. To show that A n (µ) A n (τ) we first show, in part a), by induction that O n(τ) O n(µ), and we then show, in part b), that O n (τ) O n (µ). First we consider case a), i.e., occurrences of τ in O n(τ). Suppose that for some ξ i, there exists at least one occurrence of τ in some permutation σ S n (32), so that when σ is written in one-line notation: n is to the left of the element that occurs as τ ξ, and if ξ, then the element that occurs as τ ξ is to the left of n.

290 Natalie Aisbett Given any such occurrence in which σ α+ = n, the pattern which is order isomorphic to the word τ... τ ξ occurs within the permutation which is order isomorphic to the word σ... σ α S α (32), and the pattern τ ξ... τ k occurs within the permutation σ α+2... σ n S n α (32). Also, given an occurrence of the pattern which is order isomorphic to the word τ... τ ξ within a permutation θ in S α (32), and an occurrence of τ ξ... τ k within a permutation φ in S n α (32), we may concatenate these occurrences to form an occurrence of τ in the permutation σ = (θ ) φ. Hence, the number of such occurrences of τ in permutations σ O n(τ) in which σ α+ = n is given by A α (τ... τ ξ )A n α (τ ξ... τ k ). Summing this over all possible values of α gives the total number of such occurrences (with respect to this value of ξ) of τ O n(τ): n+ξ k 2 α=ξ A α (τ... τ ξ )A n α (τ ξ... τ k ). In the case that ξ =, so that τ... τ ξ is the empty word, recall that the term A α (τ... τ ξ ) equals S α (32), and that S 0 (32) =. We will now consider, for this value of ξ, occurrences of µ is permutation in O n(µ) in which n lies between µ ξ and µ ξ (or to the left of µ if ξ = ). By a similar argument, the number of such occurrences of µ in all possible σ S n (32) is the sum n+ξ k 2 α=ξ A α (µ... µ ξ )A n α (µ ξ... µ k ). Now, µ... µ ξ = τ... τ ξ, so that A α (µ... µ ξ ) = A α (τ... τ ξ ) for all α in the summation. By induction, we have that A n α (τ ξ... τ k ) A n α (µ ξ... µ k ) for all α in the summation, since µ ξ... µ k = τ ξ... τ τj k. Therefore n+ξ k 2 α=ξ n+ξ k 2 α=ξ A α (τ... τ ξ )A n α (τ ξ... τ k ) A α (µ... µ ξ )A n α (µ ξ... µ k ) holds for all ξ i such that n may lie between τ ξ and τ ξ. Note that it is not possible for n to lie between τ ξ and τ ξ if ξ {i +,..., j}. Suppose that for some ξ j, there exists at least one occurrence of τ in some permutation σ S n (32), so that when σ is written in one-line notation: n is to the right of the element that occurs as τ ξ, and

A relation on 32-avoiding permutation patterns 29 if ξ k, then the element that occurs as τ ξ is to the right of n. For this value of ξ, we can again consider occurrences of µ is O n(µ) in which n lies between µ ξ and µ ξ. Note that if ξ = j, then µ ξ = τ j. By a similar argument to that given when ξ i, we can deduce that the number of such occurrences of the pattern τ is less than or equal to the number of such occurrences of the pattern µ. Since we have considered all possible occurrences of τ in O n(τ), we have shown that O n(τ) O n(µ). We now consider case b), i.e., occurrences of τ in O n (τ). Recall that O n (τ) is the set of occurrences of τ in permutations in S n (32) in which n is an element of the occurrence. For this part, we will show that O n (τ) O n (µ) in two cases. The first case is when τ j is not equal to k, and we prove this case by induction. The second case is when τ j = k, so that for all elements in O n (τ) we must have n occur as τ j. In this case we define a map from O n (τ) to O n (µ) and show that this map in an injection. Suppose that τ j k, so that n may occur as an element in L or R only. Suppose that for some ξ i, there exists an occurrence of τ in which n occurs as τ ξ. Then there exists an occurrence of µ in O n (µ) in which n occurs as µ ξ. The number of such occurrences of the pattern τ in all possible σ S n (32) is n+ξ k α=ξ A α (τ... τ ξ )A n α (τ ξ+... τ k ), and the number of such occurrences of the pattern µ in all possible σ S n (32) is n+ξ k α=ξ A α (µ... µ ξ )A n α (µ ξ+... µ k ). Since τ... τ ξ = µ... µ ξ we have that A α (τ... τ ξ ) = A α (µ... µ ξ ) for all α in the summation. By the inductive hypothesis A n α (τ ξ+... τ k ) A n α (µ ξ+... µ k ) for all α in the summation since µ ξ+... µ k = τ ξ+... τ τj k. Hence n+ξ k α=ξ n+ξ k α=ξ A α (τ... τ ξ )A n α (τ ξ+... τ k ) A α (µ... µ ξ )A n α (µ ξ+... µ k ). Suppose that for some ξ j +, that there is at least one occurrence of τ in O n (τ) in which n occurs as τ ξ. Then there exists at least one occurrence of µ in O n (µ) in which n occurs as µ ξ. By the same argument as in the case where ξ i, we have that the number of such occurrences of the pattern τ is less than or equal to the number of such occurrences of the pattern µ.

292 Natalie Aisbett We now consider elements of O n (τ) in which n occurs as τ j. Note that this case is possible if and only if τ i = τ (i.e., L is empty), and all elements of R are less than elements in M τ i. For such τ we will define a map ψ : O n (τ) O n (µ). We will argue that this map in injective, and therefore, the number of such occurrences of the pattern τ is less than or equal to the number of such occurrences of the pattern µ. Fix an element (σ, σ s... σ sk ) O n (τ) such that σ sj = n. Consider the earliest index α [s j ] such that: the occurrence of the elements in M {τ i } in σ are in the set {σ,..., σ α }, and each element in {σ,..., σ α } is greater than all the elements in the set {σ α+,..., σ n } {σ sj }. Note that there must exist such an index α since s j satisfies the above two conditions. Note also that since σ S n (32), the elements σ α+,..., σ sj (we take this set to be empty if σ α = σ sj ) are an interval in the set of integers [n]. Let u be the permutation pattern σ... σ α, let v be the permutation pattern σ α+... σ sj, and let w be the permutation pattern σ sj+... σ n. We let where ψ((σ, σ s... σ sk )) = ( σ, σ t... σ tk ), σ = ((v ) u) w, with the occurrence σ t,..., σ tk of µ in σ is given by n, followed by the entries in the patterns u and w in σ that give the occurrence of the elements in u and w in σ (see Example 3.6). τ,..., τ j, τ j+,..., τ n Now σ is clearly in S n (32). To show that ψ in injective, we show that for any occurrence of µ in the image of this map, we can recover the occurrence of τ that mapped to it uniquely. Suppose ψ((σ, σ s... σ sk )) = ( σ, σ t... σ tk ), and consider the earliest index β [n] such that: the occurrence of the elements in M {τ i } in σ are in the set { σ,..., σ β }, the occurrence of the elements in R in σ are in the set { σ β+, σ β+2,..., σ n }, each element in { σ,..., σ β } is greater than all the elements in the set { σ β+,..., σ n }. Note that there must exist such an index β since there was an index α that satisfied these conditions in σ. Suppose that σ l = n. Then the permutation pattern σ,..., σ l is denoted by v. We denote the permutation pattern σ l+,..., σ β by u, and we denote the permutation pattern σ β+... σ n by w. Then σ = ((v ) u) w,

A relation on 32-avoiding permutation patterns 293 and the occurrence of τ that maps to ( σ, σ t... σ tk ) must be given by σ = ((u v) ) w, where n occurs as τ j, and the entries in u and w that corresponded to the occurrence of µ 2... µ n in σ give the occurrence of τ... τ j τ j+... τ n in σ (see Example 3.6). This is exactly (σ, σ s... σ sk ). Example 3.6. We give an example of the map ψ given in the proof of Theorem 3.5. Let k = 6 and let n = 3. Let τ be the permutation 53462, and let µ = τ 6 = 65342. Let ((, 2, 8, 7, 9, 6, 0, 5, 4, 3, 2,, 3), (2, 7, 9, 3, 2, 3)) be an occurrence of τ in σ = (, 2, 8, 7, 9, 6, 0, 5, 4, 3, 2,, 3). The occurrence (σ, τ) is shown below in Figure (a), where we have included a dot above elements in the occurrence of τ. The index s j is equal to 0, and σ 0 = 3 occurs as τ j = 6. The pattern u is given by (, 2, 8, 7, 9, 6, 0), the pattern v is given by (5, 4), and the pattern w is given by (2,, 3). Then the occurrence of µ in the permutation σ is given by ((2,, 3, 9, 0, 6, 5, 7, 4, 8, 2,, 3), (3, 0, 5, 7, 2, 3)), and is shown in Figure (b) below. 2 8 7 9 6 0 5 4 3 2 3 3 2 9 0 6 5 7 4 8 2 3 u v w (a) v u w (b) Fig. : 4 Proof of the main theorem In this section, we prove the main theorem, Theorem 4.6. Before proving Theorem 4.6, we describe the binary tree T (σ) associated to a 32-avoiding permutation σ, and we then describe the difference in the structure of T (τ) and T (µ) where µ = τ τj for some j. The set of all 32-avoiding permutations of length n is in bijection with the set of all binary trees with n vertices, denoted T n. This is a well-known result, and it is described in detail in [6]. We will briefly

294 Natalie Aisbett describe this bijection. For any tree T T n, we label the vertices as follows. We visit each of the vertices of the tree in pre-order (root, left subtree, right subtree), labelling the ith vertex visited by n+ i. Given T with such a labelling, we recover its corresponding permutation σ = σ... σ n S n (32) by visiting the vertices in in-order (left subtree, root, right subtree), letting the ith vertex visited be the value of σ i. Following the notation of [6], for any σ S n (32) we denote its associated binary tree by T (σ). We will also assume that the trees come with the pre-order labeling described. Rudolph defines the spines of a binary tree T to be connected components of T when all edges connecting left children to their parents are deleted. She also defines the spine structure of T to be the sequence a,..., a s, where the a i are the number of vertices in each of the spines in T listed in descending order. We also denote the spine structure of a tree T by S(T ), and call the numbers a i the parts of S(T ). To make discussions easier, we also define the spine structure of a 32-avoiding permutation τ to be the spine structure of the binary tree T (τ). Define the relation R called the refinement order on the set of all spine structures whose parts sum to n as follows. If a,..., a s and b,..., b t are two spine structures such that s i= a i = t i= b i = n, then a,..., a s R b,..., b t (or equivalently b,..., b t R a,..., a s ) if a,..., a s can be obtained from b,..., b t by merging subsets of its parts. For example 5, 4, 3 R 3, 3, 2, 2,, since it can be obtained by merging the subset of parts {3,2} and the subset of parts {2,, }. Suppose G is a graph with vertex set S. An induced subgraph H of G is a graph with vertex set a subset of S, such that two vertices are adjacent in H if and only if they are adjacent in G. A subtree H of a binary tree graph G is an induced subgraph that is itself a binary tree graph, in which the root of H is the closest vertex of H to the root of G. The following two propositions describe the child/parent relation between vertices in T (σ) for a permutation σ. They are used to understand the proof of Proposition 4.3, which describes how T (σ σj ) is obtained from T (σ) when σ σj is defined. Proposition 4.. Suppose σ = σ... σ n S n (32). For any index α [n] such that σ α [n ], let σ β be the least integer such that: σ β > σ α, if β < α, then σ β+,..., σ α (this set is empty if β = α ) are all less than σ α, if β > α, then σ α+,..., σ β (this set is empty if β = α + ) are all less than σ α. Then σ β is the parent vertex of σ α in T (σ). Proof: Suppose that σ m = n. Since σ S n (32) the words σ... σ m and σ m+... σ n are both 32-avoiding. Now T (σ) has root n, and the left child of n is the root of the subtree T (σ... σ m ), and the right child of n is the root of the subtree T (σ m+... σ n ). We assume by way of induction, that the proposition is true for all 32-avoiding permutations of length less than n. The proposition is clearly true for permutations of length. By the inductive hypothesis, the proposition holds for T (σ... σ m ) and T (σ m+... σ n ). Then, since the root of T (σ... σ m ) is the largest integer in the set {σ,..., σ m }, and the root of T (σ m+... σ n ) is the largest integer in the set {σ m+,..., σ n }, the condition of the proposition holds for all vertices in T (σ), so that the proposition holds for all n. We may also rephrase this result as a condition for being a child, rather than a parent:

A relation on 32-avoiding permutation patterns 295 Proposition 4.2. Suppose σ = σ... σ n S n (32). For any index α [n] such that σ α >, let β be an index such that σ β < σ α, and either: β < α, and σ β is the greatest integer such that {σ β+,..., σ α } (this set is empty if β = α ) are all less than σ β, β > α, and σ β is the greatest integer such that {σ α+,..., σ β } (this set is empty if β = α + ) are all less than σ β. Then σ β is a child vertex of σ α in T (σ). Suppose σ is a permutation in S n (32) such that σ σj is defined for some j. Using Propositions 4. and 4.2, we can deduce the following about the construction of T (σ): The vertex σ i is the left child of σ j. The vertex σ i has no left child. The subtree of T consisting of the right child of σ i and its descendants is the tree T (σ i+... σ j ). Suppose there is a largest integer m such that all elements in the set {σ j+,..., σ m } are all less than σ j. Then the right child of σ j is the root of the tree T (σ j+... σ m ). If j = n or σ j+ > σ j, so that there is no such integer m, then σ j has no right child (that is, the tree T (σ j+... σ m ) is empty). n σ j σ i T (σ i+...σ j ) T (σ j+...σ m ) Fig. 2: The tree T (σ) for some σ S n(32) such that σ σ j is defined for some j. The vertex σ j may be the left or right child of its parent vertex. The following proposition describes how we may alter T (σ) to obtain T (φ) where φ = σ σj for some j. Figures 3, 4 and 5 give an example of this process. Proposition 4.3. Suppose that φ = σ σj is defined for some j. Suppose that m is the largest integer such that σ j+,..., σ m are all less than σ j. Then T (φ) is obtained from T (σ) by the following steps:

296 Natalie Aisbett () Remove the subtrees T (σ i+... σ j ) and T (σ j+... σ m ) from T (σ). (2) Remove the vertex σ i from the remaining tree and reattach it as the right child of σ j. (3) Reattach the tree T (σ i+... σ j ) so that its root is the right child of σ i. (4) Reattach the tree T (σ j+... σ m ) so that its root is the right child of the vertex σ j (note that σ j is the smallest integer in the spine of the tree T (σ i+... σ j ) that contains its root). Proof: The reader should refer to Propositions 4. and 4.2 throughout every step of this proof. Consider all numbers in the set {σ, σ 2,..., σ n } ({σ i, σ i+,..., σ j } {σ j+,..., σ m }). A vertex is a left (respectively right) child of another vertex w in this set in T (σ), if and only if it is a left (respectively right) child of w in T (φ). This confirms that step () is correct, i.e., that the subtree on the vertices {σ, σ 2,..., σ n } ({σ i, σ i+,..., σ j } {σ j+,..., σ m }) is identical in T (σ) and T (φ). It is clear that σ i is the right child of σ j in T (φ). This confirms that step (2) is correct. A vertex v in the set {σ i,..., σ j } is the left (respectively right) child of another vertex w in this set in T (σ), if and only if it is the left (respectively right) child of w in T (φ). This confirms that step (3) is correct. A vertex v in the set {σ j+... σ m } is a left (respectively right) child of another vertex w in this set in T (σ), if and only if it is a left (respectively right) vertex of w in T (φ). Also, the root of T (σ j+... σ m ) is the right child of σ j in T (φ). This confirms step 4. 6 6 7 5 0 8 4 9 4 6 2 5 3 3 2 5 0 7 4 8 9 2 4 6 3 5 3 2 Fig. 3: An example of T (σ) for σ = (5, 4, 6, 0, 7, 8, 9, 6,, 4, 3, 5, 2, 2,, 3) in which σ i = 0 and σ j =. We remove the subtrees T (σ i+... σ j ) = T (7896) and T (σ j+... σ m) = T (4352).

A relation on 32-avoiding permutation patterns 297 6 6 5 0 4 2 3 5 4 2 0 3 Fig. 4: Reattaching the vertex σ i = 0 so that it is the right child of σ j =. 6 6 5 4 7 2 0 8 3 9 6 5 4 7 2 0 8 3 9 6 4 5 3 2 Fig. 5: Left: reattaching the tree T (σ i+... σ j ). Right: reattaching the tree T (σ j+... σ m). Proposition 4.4. Suppose that for some j, φ = σ σj, and suppose that S(T (σ)) = a,..., a s. Then S(T (φ)) is obtained from the spine structure a,..., a s by merging two parts. That is, there exist indices l, m, such that the parts in S(T (φ)) are {a,..., a s } {a l, a m } {a l + a m }. Proof: By Proposition 4.3, the spine structure of T (φ) is obtained from the spine structure of T (σ) by merging the spine of T (σ) that contains σ i and the spine of T (σ) that contains σ j. The following definition appears in [6]. A left-justified binary tree is is a binary tree in which every vertex that is a right child of its parent does not have a left child. Proposition 4.5. Suppose that T, T 2 T n and the spine structure of T 2 is obtained from the spine structure of T by merging two parts. Then there exists σ S n (32) such that φ = σ σj is defined for some j, and such that T (σ) has the same spine structure as T, and T (φ) has the same spine structure as T 2. Proof: Suppose that a,..., a s is the spine structure of T, and that a l and a m are merged to give the

298 Natalie Aisbett spine structure of T 2. We will construct a new tree T T n that is left-justified, with the same spine structure as T. If we label the vertices of any left-justified tree with s parts in pre-order, then the vertices n s+, n s+2,..., n, n are a path of vertices in this tree, in which each vertex in this sequence is the left child of the following vertex. Let T be such a tree, so that the spine containing vertex n s+ has a l vertices, and the spine containing vertex n s + 2 has a m vertices. The order of the remaining spines in T is irrelevant. Then T is equal to T (σ) for some σ S n (32) such that φ = σ n s+2 is defined, and the tree T (φ) has the same spine structure as T 2. Theorem 4.6. Suppose τ and µ are elements of S k (32). If the spine structure of T (τ) is less than or equal to the spine structure of T (µ) in refinement order, then for all n, A n (τ) A n (µ). Proof: We may assume that the spine structure of T (µ) is obtained from the spine structure of T (τ) by merging two parts, since if this implies A n (τ) A n (µ), then the theorem also holds if S(T (µ)) is obtained from S(T (τ)) by merging any subsets of parts. By Proposition 4.5, there exists τ and j such that τ τj is defined, and such that S(T (τ)) = S(T ( τ)) and S(T (µ)) = S(T ( τ τj )). By Theorem., A n (τ) = A n ( τ) and A n (µ) = A n ( τ τj ). By Theorem 3.5, A n ( τ) A n ( τ τj ), so that A n (τ) A n (µ). We will now strengthen the result of Theorem 4.6 by showing, in Theorem 4.8, that if µ = τ τj for µ S k (32), and n > k, then A n (µ) > A n (τ). The following proposition on spine structures is used to prove Theorem 4.8. Proposition 4.7. Suppose that τ S k (32) and that for some j, µ = τ τj is defined. Then there exists a permutation τ S k (32) such that µ = τ k is defined, S(T (τ)) = S(T ( τ))) and S(T (µ)) = S(T ( µ)). Proof: Suppose the spine of T (τ) that contains τ j contains l vertices, and that the spine of T (τ) that contains τ i = τ j contains m vertices. Create a binary tree T with the same spine structure as T (τ) as follows. First, form a left-justified binary tree T with two spines, one of length m and the other of length l, so that the root of the length l spine is the root of T. Form a left-justified binary tree T 2 whose spines consist of the spines of T that do not contain τ i or τ j. Form T by adjoining T and T 2 so that the root of T 2 is the left child of the leaf contained in the same spine as τ i of T. See Figure 6 for an example. Theorem 4.8. Suppose τ S k (32) and that for some j, µ = τ τj is defined. Then for any integer n > k we have A n (µ) > A n (τ). Proof: By Proposition 4.7, we may assume that τ j = k. Then it is possible that n occurs as τ j. In order to understand this proof we need to recall the proof of Theorem 3.5. We will show that the injective map from O n (τ) to O n (µ), defined in the proof of Theorem 3.5, is not onto. This is proves the theorem. Suppose n > k. Then there exists some σ in S n (32) which contains the pattern µ, such that n occurs as µ = k, σ n = n, and σ n is not an element in the occurrence of µ. We require that σ = n in this case. If such an occurrence of µ is mapped to by an occurrence of τ, then the occurrence of τ is obtained by shifting n so that entries occurring as elements in M {τ i } (note τ i = µ 2 ) are to its left, and entries occurring as elements in R are to its right. However such a permutation would not be in S n (32) because σ s n(n ) forms a 32 pattern, where σ s occurs as µ 2. Hence, in this case, A n (µ) > A n (τ).

A relation on 32-avoiding permutation patterns 299 9 9 8 7 6 5 2 4 3 8 7 2 6 5 4 3 Fig. 6: Let τ = 89543627 S 9(32), and let µ = τ 6. Then T (87453692) has the same spine structure as T (τ), and T (87453692 9 ) has the same spine structure as T (µ). The tree shown on the left is T (τ) and the tree shown on the right is T (87453692) 5 A counterexample to Conjecture.2 In this section, we provide a counterexample to Conjecture.2, by showing that for all n 4 we have A n (324) A n (342). This provides a contradiction since S(T (324)) = 2, 2 and S(T (342)) = 3, are incomparable in refinement order. Proposition 5.. For all n 4 we have A n (324) A n (342). Furthermore, we have equality if and only if n = 4. Proof: We assume by induction that for all k {4, 5,..., n } we have A k (324) A k (342). This is true for k = 4 since A 4 (324) = A 4 (342) =. We will now consider possible occurrences of 324 and 342 in permutations in S n (32) for some n 4. For all n 4 the following expression holds: n n 2 A n (324) =2 A i (324) S n i (32) + A i (324)A n i () i=4 A i (32)A n i (). n 2 + i=2 The sum of the first two terms is the number of occurrences of 324 in which n is not an element in the occurrence. The first term is the number of occurrences in which the element n lies entirely to the right or entirely to the left of elements in the occurrence of 324, and the second term is the sum of occurrences in which the element n lies between the entry that occurs as 4 and the entry that occurs as. The final term is the number of occurrences in which n occurs as 4. Also, for all n 4: i=3

300 Natalie Aisbett n n 2 A n (342) =2 A i (342) S n i (32) + A i (342)A n i () i=4 n 3 + i=2 n 3 A i (34)A n i (2) + i= i=3 A i (3)A n i (2). The sum of the first three terms in the summation is the number of occurrences of 342 in which n is not an element in the occurrence. The first term is the number of occurrences in which the entry n is entirely to the right or entirely to the left of all elements in the occurrence of 342. The second term is the number of occurrences of 342 in which the entry n lies to the right of the entry that occurs as 2 and to the left of the entry that occurs as. The third term is the number of occurrences in which the entry n lies between the entry that occurs as 4 and the entry that occurs as 2. The fourth term is the number of occurrences in which n occurs as 4. By induction, we have that n n A i (324) S n i (32) A i (342) S n i (32). i=4 By Bona s result in [2], we have that Also, i=4 n 2 n 2 A i (324)A n i () = A i (342)A n i (). i=3 i=3 n 2 n 3 A i (32)A n i () = A i (3)A n i (2). i=2 Since n 3 i=2 A i(34)a n i (2) > 0 this implies that A n (324) < A n (342). Corollary 5.2. There exist permutations τ and µ of the same length k, such that for all n k we have A n (τ) A n (µ), and the spine structure of T (τ) is incomparable to the spine structure of T (µ) in refinement order. The counterexample given in Proposition 5. leads naturally to Question 5.3, on the popularity of 32-avoiding permutations. For all n, define the partial order L, called the lexicographic order, on the set of partitions of n, as follows. For any partitions a,..., a s and b,..., b t, where the parts are listed in descending order, we have a,..., a s L b,..., b t if there exists j [s] such that a = b, a 2 = b 2,..., a j = b j and a j > b j. Note that if a,..., a s R b,..., b t then it follows that a,..., a s L b,..., b t. Question 5.3. Let τ and µ be permutations in S k (32). Is it true that if S(T (τ)) L S(T (µ)), then for all n k we have A n (τ) A n (µ)? If this is true, do we have equality only when n = k? Proposition 5. demonstrates that the first statement in Question 5.3 is true in the case that k = 4. i=

A relation on 32-avoiding permutation patterns 30 References [] Miklós Bóna, The Absence of a Pattern and the Occurrences of Another, Discrete Mathematics and Theoretical Computer Science, Vol. 4, 200, no. 2. [2] Miklós Bóna, Surprising symmetries in Objects Counted by Catalan Numbers, Electronic Journal of Combinatorics, Vol. 9, 202, no., p. 62. [3] Lynn Chua, Krishanu Roy Sankar, Equipopularity classes of 32-avoiding permutations, The Electronic Journal of Combinatorics, Vol. 2, 204, no.. [4] Joshua Cooper, Combinatorial problems I like, http://www.math.sc.edu/ cooper/ combprob.html, accessed 203. [5] Cheyne Homberger, Expected Patterns in Permutation Classes, Electronic Journal of Combinatorics, Vol. 9, no.3. [6] Kate Rudolph, Pattern Popularity in 32-avoiding Permutations, The Electronic Journal of Combinatorics, Vol. 20, 203, no., p. 8.

302 Natalie Aisbett