pp5 - 5. S EPARABILITY The direct sum operation introduced...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
5. S EPARABILITY The direct sum operation introduced in the Lecture 3 has an obvious sym- metry. The skew sum of the permutation π of length m and the permutation σ of length n is the permutation π σ deFned by π σ i π i n for 1 i m , σ i m for m 1 i m n . ±igure 5.1 shows an example. Apermutationiscalled separable if it can be built from the permutation 1 with sums and skew sums. ±or example, the permutation 576984132 from ±igure 5.1 is separable: 576984132 13254 4132 1 2143 1 132 1 21 21 1 1 21 1 1 1 1 1 1 1 1 1 . The separable permutations form a permutation class, as the reader is asked to verify in Exercise 1. 5.1. B ASIS AND E NUMERATION We have speciFed the separable permutations by describing their structure, so a natural Frst goal is to Fnd the basis of this class. Theorem 5.1. The basis of the class of separable permutations consists of 2413 and 3142 . Proof. It is easy to check that 2413 and 3142 are not separable, so since the separable permutations form a class (Exercise 1), they are contained in Av 2413 , 3142 . Figure 5.1: An example of a skew sum: 13254 4132 57698 4132 . 23
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
24 LECTURE 5S EPARABILITY π i 1 n π i 1 n π j Figure 5.2: Two situations which arise in the proof of Proposition 5.1. The gray regions represent areas where entries cannot lie. There is a gray region above π i because we chose π i as the largest entry to the left of the 1 ;s im i lar ly ,thereisagrayreg iontother igh to f π j because of the conditions on our choice of π j . Now we must show that every element of Av 2413 , 3142 is separa- ble. We prove this by induction on the length of the permutation. For n 3 the claim is trivial, as all such permutations are separable ,sotake π Av 2413 , 3142 of length n 4 and suppose that the claim is true for all shorter permutations. Clearly π is separable if and only if its reverse is sep- arable, so without loss of generality, we may assume that the entry 1 occurs
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 12/10/2011 for the course MAD 4204 taught by Professor Vetter during the Spring '11 term at University of Florida.

Page1 / 5

pp5 - 5. S EPARABILITY The direct sum operation introduced...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online