This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: 4. J UXTAPOSITIONS In the last section we studied one method, sums, to combine classes. In this lecture we study another such operation: concatenation, or juxtaposition. 4.1. A S IMPLE E XAMPLE Consider the class of all permutations which can be written as one increas ing segment followed by another, as shown in Figure 4.1. We call such permutations juxtapositions of two increasing sequences, and we denote the class by J Av 21 Av 21 . More formally, π lies in J if π can be written as the concatenation στ , where both σ and τ are increasing se quences (i.e., in the same relative order as a permutation in Av 21 ). As with the layered permutations in the last lecture, the basis question and the enumeration question immediately present themselves. Clearly 321 cannot be written as a juxtaposition of two increasing sequences but every permutation it contains can be, so 321 is a basis element for J . All other permutations of length 3 lie in J , but 2143 and 3142 do not lie in J and do not contain 321 , so 2143 and 3142 are also basis elements for J . These three permutations constitute the entire basis, as we show next. Proposition 4.1. The basis of the class J Av 21 Av 21 consists of 321 , 2143 , and 3142 . Proof. Since 321 , 2143 , and 3142 do not lie in J , J Av 321 , 2143 , 3142 , so it suffices to prove the reverse inclusion. Take any permutation π Av 321 , 2143 , 3142 of length n and suppose that the longest initial increas ing segment of π (every permutation has such a segment of length at least 1 ) is π 1 π 2 π i ; because this is the longest initial increasing segment, π i π i 1 . We need to show that π i 1 π i 2 π n . Suppose, to the contrary, that π j π k for i j k . Note that we must have Figure 4.1: The permutation 235681479 can expressed as the concate nation of two increasing segments: 23568 and 1479 ....
View
Full
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.
 Spring '11
 Vetter

Click to edit the document details