Permutations. = f 1 f = I A

Similar documents
Permutation group and determinants. (Dated: September 19, 2018)

Fifteen puzzle. Sasha Patotski. Cornell University November 16, 2015

17. Symmetries. Thus, the example above corresponds to the matrix: We shall now look at how permutations relate to trees.

Lecture 3 Presentations and more Great Groups

Permutation Groups. Definition and Notation

X = {1, 2,...,n} n 1f 2f 3f... nf

Determinants, Part 1

Ma/CS 6a Class 16: Permutations

Solutions to Exercises Chapter 6: Latin squares and SDRs

Solitaire Games. MATH 171 Freshman Seminar for Mathematics Majors. J. Robert Buchanan. Department of Mathematics. Fall 2010

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

LECTURE 8: DETERMINANTS AND PERMUTATIONS

Solution Algorithm to the Sam Loyd (n 2 1) Puzzle

Chapter 6.1. Cycles in Permutations

Heuristic Search with Pre-Computed Databases

Chapter 1. The alternating groups. 1.1 Introduction. 1.2 Permutations

Lecture 2.3: Symmetric and alternating groups

THE 15-PUZZLE (AND RUBIK S CUBE)

THE 15 PUZZLE AND TOPSPIN. Elizabeth Senac

The Sign of a Permutation Matt Baker

Week 1. 1 What Is Combinatorics?

Permutation Groups. Every permutation can be written as a product of disjoint cycles. This factorization is unique up to the order of the factors.

Mathematics Competition Practice Session 6. Hagerstown Community College: STEM Club November 20, :00 pm - 1:00 pm STC-170

Know how to represent permutations in the two rowed notation, and how to multiply permutations using this notation.

Reading 14 : Counting

I.M.O. Winter Training Camp 2008: Invariants and Monovariants

THE SIGN OF A PERMUTATION

BMT 2018 Combinatorics Test Solutions March 18, 2018

Non-overlapping permutation patterns

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

Adventures with Rubik s UFO. Bill Higgins Wittenberg University

The Math Behind Futurama: The Prisoner of Benda

Math236 Discrete Maths with Applications

Three of these grids share a property that the other three do not. Can you find such a property? + mod

28,800 Extremely Magic 5 5 Squares Arthur Holshouser. Harold Reiter.

Weighted Polya Theorem. Solitaire

Remember that represents the set of all permutations of {1, 2,... n}

Some results on Su Doku

Topspin: Oval-Track Puzzle, Taking Apart The Topspin One Tile At A Time

5 Symmetric and alternating groups

n! = n(n 1)(n 2) 3 2 1

An Intuitive Approach to Groups

N-Queens Problem. Latin Squares Duncan Prince, Tamara Gomez February

Sets. Definition A set is an unordered collection of objects called elements or members of the set.

Principle of Inclusion-Exclusion Notes

SMT 2014 Advanced Topics Test Solutions February 15, 2014

Combinatorics and Intuitive Probability

The Place of Group Theory in Decision-Making in Organizational Management A case of 16- Puzzle

MA 524 Midterm Solutions October 16, 2018

Permutations and codes:

The next several lectures will be concerned with probability theory. We will aim to make sense of statements such as the following:

Discrete Mathematics with Applications MATH236

Permutation Tableaux and the Dashed Permutation Pattern 32 1

Block 1 - Sets and Basic Combinatorics. Main Topics in Block 1:

A NEW COMPUTATION OF THE CODIMENSION SEQUENCE OF THE GRASSMANN ALGEBRA

Exercises to Chapter 2 solutions

Crossings and patterns in signed permutations

CARD GAMES AND CRYSTALS

STRATEGY AND COMPLEXITY OF THE GAME OF SQUARES

REU 2006 Discrete Math Lecture 3

Recovery and Characterization of Non-Planar Resistor Networks

Finite Math - Fall 2016

Lecture 2: Sum rule, partition method, difference method, bijection method, product rules

The number of mates of latin squares of sizes 7 and 8

Pattern Avoidance in Unimodal and V-unimodal Permutations

Combinatorial Proofs

November 6, Chapter 8: Probability: The Mathematics of Chance

Convexity Invariants of the Hoop Closure on Permutations

n r for the number. (n r)!r!

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

Class 8 - Sets (Lecture Notes)

EXPLAINING THE SHAPE OF RSK

The mathematics of the flip and horseshoe shuffles

Math 127: Equivalence Relations

THE ENUMERATION OF PERMUTATIONS SORTABLE BY POP STACKS IN PARALLEL

and problem sheet 7

arxiv: v1 [cs.cc] 21 Jun 2017

Counting. Chapter 6. With Question/Answer Animations

Theory of Probability - Brett Bernstein

Lecture 1, CS 2050, Intro Discrete Math for Computer Science

Permutation Editing and Matching via Embeddings

Graphs of Tilings. Patrick Callahan, University of California Office of the President, Oakland, CA

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

PUTNAM PROBLEMS FINITE MATHEMATICS, COMBINATORICS

CRACKING THE 15 PUZZLE - PART 1: PERMUTATIONS

On 3-Harness Weaving: Cataloging Designs Generated by Fundamental Blocks Having Distinct Rows and Columns

1111: Linear Algebra I

Lecture 18 - Counting

ActivArena TEMPLATES TEACHER NOTES FOR ACTIVARENA RESOURCES BLANK WORKING SPACE SPLIT (WITH TITLE SPACE) About this template

Tetrabonacci Subgroup of the Symmetric Group over the Magic Squares Semigroup

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

Permutation Tableaux and the Dashed Permutation Pattern 32 1

November 8, Chapter 8: Probability: The Mathematics of Chance

Quarter Turn Baxter Permutations

arxiv: v1 [math.co] 24 Nov 2018

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 11

TOPOLOGY, LIMITS OF COMPLEX NUMBERS. Contents 1. Topology and limits of complex numbers 1

Dyck paths, standard Young tableaux, and pattern avoiding permutations

Chained Permutations. Dylan Heuer. North Dakota State University. July 26, 2018

It is important that you show your work. The total value of this test is 220 points.

Transcription:

Permutations. 1. Definition (Permutation). A permutation of a set A is a bijective function f : A A. The set of all permutations of A is denoted by Perm(A). 2. If A has cardinality n, then Perm(A) has cardinality n! = (n)(n 1)... (2)(1). This is because there are n choices for the output of the first element of A under f, and given one such choice there are now (n 1) choices for the output of the second element of A under f, and so on. 3. The set Perm(A) together with the operation of composition of functions satisfies the following properties. Closure. If f, g Perm(A), then f g Perm(A). Identity. The function I A Perm(A) satisfies f I A = I A f = f for all f Perm(A). Inverses. Given f Perm(A) there is f 1 Perm(A) such that f f 1 = f 1 f = I A Associativity. For all f, g, h Perm(A) f (g h) = (f g) h We say that Perm(A) forms a group under composition of functions. 4. Definition (Cyclic permutation). Let U be a set of m elements. A permutation f of U is called an m cycle (and is said to be a cyclic permutation) if there is some labeling a 1,..., a m of the elements of U such that f(a 1 ) = a 2, f(a 2 ) = a 3,..., f(a m 1 ) = a m, f(a m ) = a 1 We denote the m cycle f by (a 1 a 2... a m ). Note that (a 2 a 3... a m a 1 ) denotes the same m cycle f. A 2 cycle is called a transposition. 5. Prove that there are (n 1)! many distinct n cycles. 6. Prove that (a 1... a m ) has inverse (a m... a 1 ). 7. Prove that the m fold composite of an m cycle with itself yields the identity permutation. 8. Prove that a general permutation f Perm(A) is a composition of cycles on disjoint subsets of A. 9. Definition (Cycle notation for permutations). From the property above we know that a permutation on a finite set A is a composition (product) of cyclic permutations on disjoint subsets of A. We write each cyclic permutation out using cycle notation ignoring the cycles of size 1. This is the standard notation for permutations. If A = {1, 2} then Perm(A) has 2! = 2 elements: I A and the 2 cycle (transposition) (12). If A = {1, 2, 3} then Perm(A) has 3! = 6 elements: I A, (12), (23), (13), (123), and (132). Write out the elements of Perm(A) when A = {1, 2, 3, 4} and when A = {1, 2, 3, 4, 5}.

10. Multiplication table for Perm({1, 2}). I (12) I I (12) (12) (12) I 11. Multiplication table for Perm({1, 2, 3}). Note that the convention for these multiplication tables is that the entry in the box which is the intersection of the ith row (with function f i on the leftmost column) and the jth column (with function f j on the topmost row) is the composition f i f j. The composition symbol is often dropped, and the composition is written simply by juxtaposition f i f j. In the table below we compute each of these compositions f i f j and write the answers in cycle notation in the ij-slot. I (123) (132) (12) (13) (23) I I (123) (132) (12) (13) (23) (123) (123) (132) I (13) (23) (12) (132) (132) I (123) (23) (12) (13) (12) (12) (23) (13) I (132) (123) (13) (13) (12) (23) (123) I (132) (23) (23) (13) (12) (132) (123) I 12. Braid diagrams for permutations. Given a permutation f of the set {1,..., n} we can represent it geometrically using a braid diagram as follows. Draw two rows of numbers 1, 2,..., n; the top row will be the input row, and the bottom row will be the output row. Now draw a line from i in the top row to f(i) in the bottom row. Draw lines so that they cross at most two at a time (wiggle/perturb your lines a bit so that there are no points where three or more lines cross). Here are some examples of braid diagrams for permutations on {1, 2, 3, 4, 5}. (123)(45) (1452) Multiplication (composition) of permutations is easy to determine by concatenating the braid diagrams in the correct order. For example, the composition (123)(45)(1452) is obtained by first writing down the (1452) diagram and placing the (123)(45) diagram underneath as shown.

(153) = (123)(45)(1452) 13. Braid diagrams and products of transpositions. Here is an immediate consequence of braid diagrams. Given a permutation f, draw a braid diagram. Wiggle the strands so that no two crossings occur on the same level. Now draw horizontal lines between crossing levels. On a given level there is a single crossing of adjacent (as seen from that level) strands. This is a transposition of the form (ij) where j = i+1. Check that the permutation f is a composition of these transpositions in order as you read from top to bottom. Here is an example which shows how to write the 5 cycle (12453) as a product of 4 transpositions. (23) (45) (12) (34) (12453)=(34)(12)(45)(23) 14. Sign of a permutation. The sign of a permutation f is defined by drawing a braid diagram for f and counting all the pairwise crossings of lines mod 2. Thus the sign of a permutation is either 0 or 1. We call permutations with sign 0 even and permutations with sign 1 odd. There may be many braid diagrams for the same permutation. For example, the concatenated diagram above for the permutation (153) is different from the diagram you might draw yourself. In particular, you would be unlikely to have the stands from 3 to 1 and from 5 to 3 overlap like they do in the concatenated diagram. So how do we know that these different diagrams all give the same number of crossings mod 2? Here is the reason. Look at two input numbers i < j. If f(i) > f(j) then the strand from i to f(i) must cross from the left side to the right side of the strand from j to f(j). Thus it must cross this strand an odd number of times, this is equivalent to 1 mod 2. In the case that i < j and f(i) < f(j) then the strand from i to f(i) starts and ends on the left hand side of the strand from j to f(j) and so it must cross this strand an even number of times, and this is equivalent to 0 mod 2.

This reasoning tells us that the following is another definition of the sign of f, and is one which does not depend on the particular braid picture for f. sign(f) is the number (mod 2) of pairs i < j for which f(i) > f(j). 15. Properties of sign. The following are two useful properties of sign(f). The sign of a product of permutations is the sum of the signs. sign(f g) = sign(f) + sign(g) mod 2 We see this by concatenating two braid diagrams (one for f and one for g). Clearly, the number of crossings adds, and so does the answer mod 2. The sign of a transposition (ij) is 1. Draw a braid diagram. The strand from i to j crosses all (j i 1) intermediate strands, the strand from j to i crosses all (j i 1) intermediate strands, and these two strands cross over each other. The total number of crossings is 2(j i 1) + 1 1 mod 2. As a consequence of the two previous properties and the fact that every permutation is a product of transpositions, we can now say that every even permutation is a product of an even number of transpositions (there may be many distinct products for a given permutation but they will all involve an even number of transpositions) and every odd permutation is a product of an odd number of transpositions. The collection of all permutations of the set {1,..., n} is called the symmetric group on n elements and is denoted by S n. S n = Perm({1,..., n}) Note that the identity permutation is even, and that the product of two even permutations is even. Thus, the set of all even permutations on the set {1,..., n} is a group under composition. It is called the alternating group and is denoted by A n. For example A 3 = {I, (123), (132)} has size 3. In general A n has size n! 2. 16. The 15-puzzle. The 15-puzzle consists of a 4 4 frame of numbered square tiles in random order with one tile missing. The 15 tiles can slide horizontally or vertically in the frame to an adjacent empty slot. The game consists of making slide moves until the configuration is restored to some starting configuration. Here we show an example where the tiles are all numbered with the integers 1 through 15, and the starting configuration consists of all 15 numbered tiles in sequence as shown with the last (or 16th slot) empty. This is denoted by B (for blank) in the figure.

1 2 3 4 5 6 7 8 f(1) f(2) f(3) f(4) B 9 10 11 12 13 14 15 B 3 Unscrambled Scrambled The slots are numbered 1 through 4 on the top row, 5 through 8 on the second row, 9 through 12 on the third row, and 13 through 16 on the last row, A scrambled puzzle is shown on the right in the figure. We encode a scrambled puzzle by a permutation f Perm({1,..., 16}) as follows. f(i) is the value on the tile in the ith slot. For example, in our scrambled puzzle f(7) = 16 because the blank tile (which we denote by 16 or by B) is in slot 7, and f(16) = 3 because the tile numbered 3 is in slot 16. Some tiles with numbers from {1,..., 16} {3, 16} are the labels on the tiles in the first 4 slots. We haven t specified these explicitly and so they are labeled as f(1),..., f(4) in the diagram. We haven t labeled the remaining squares in this diagram. The challenge of the 15-puzzle is to slide tiles around to get to the base configuration on the left side of the figure. See the wiki page for the history of the 15-puzzle. In the early 1900 s one of America s great puzzle-writers, Sam Loyd, offered $1,000 to anyone who could get from the base configuration to a configuration with the 14 and 15 tiles switched. Do you see a way of doing this? Permutations offer a great insight into the 15-puzzle. A given configuration comes with two pieces of data. A permutation f describing the configuration. A positive integer n which is the minimum number of slide moves necessary to move the blank square back to slot 16. Claim: The following number is an invariant of a slide move. sign(f) + n mod 2 The idea is very elegant. A slide move post-composes f with a transposition. Some slot i with tile whose face value f(i) is adjacent to the empty square (face value B or 16) after sliding the tile labeled f(i) into the blank slot we have a new permutation g. Note that g agrees with f for exactly 14 out of the 16 inputs, but g(i) = 16, and g on the adjacent slot (which may correspond to input i + 1, i 1, i + 4, i 4 depending on where the adjacent blank square was) is now equal to the number f(i). Thus g is equal to t f where t is the transposition which interchanges f(i) and 16. In particular, sign(g) = sign(f) + 1 mod 2.

But the blank square is now either one unit closer or 1 unit further from the slot 16, and so the integer n has changed by 1 mod 2. Therefore the sum changes by 1+1 0 mod 2 and so the quantity sign(f)+n is an invariant mod 2. Exercise. Is the Sam Loyd Challenge solvable? Give a proof of your answer. Exercise. Is the following variation of the Sam Loyd puzzle solvable? Obtain a configuration whose first three rows agree with the standard configuration, and whose last row reads: 14, 15, 13, B. 17. Determinants. Here is another use of permutations and their signs, that you may be intuitively aware of but not explicitly aware of. The determinant of a 2 2 matrix is given by the formula ( ) a11 a det 12 = a a 21 a 11 a 22 a 12 a 21 22 Looking at subscripts we notice that if the two subscripts repeat (identity permutation of {1, 2}) we have a product with a + sign, whereas if the subscripts interchange (undergo a transposition (12)) then the product has a - sign. A way to write this using permutations and signs is as follows ( ) a11 a det 12 = ( 1) sign(f) a a 21 a 1f(1) a 2f(2) 22 f Perm({1,2}) This generalizes to any size of square matrix to give a succinct formula for the determinant. a 11... a 1n det.. = ( 1) sign(f) a 1f(1) a nf(n) a n1... a f Perm({1,...,n}) nn Note that the determinant of an n n matrix is a sum of n! terms each of which is a product of n entries of the matrix. Half of the n! terms are multiplied by ( 1) before the sum is computed. Exercise. Check that this permutation definition of determinant agrees with the other way you know how to compute determinants of 3 3 matrices, for example from the vectors section (cross products, triple products etc) of your calculus class. 18. Orders. Note that the square of a transposition gives the identity permutation. We say that a transposition has order 2. In general the order of a permutation f is the least positive power of f which yields the identity permutation. We denote the order of f by ord(f). Note that ord(i) = 1, and that the identity is the only permutation with order 1. Exercise. Prove that the order of an m cycle is equal to m. Exercise. Prove that if f is a product of an m cycle and a k cycle on a disjoint subset, then ord(f) = lcm(m, k). For example, (123)(45) has order 6. 19. Conjugation. The conjugate of a permutation f by the permutation g is defined to be the product gfg 1

By inspecting the diagram of sets and functions (permutations) below we see that the conjugate gfg 1 can be thought of as what f would look like after we apply g to the universe. f {1,..., n} {1,..., n} g g gfg 1 {1,..., n} {1,..., n} This is a great intuition to have about conjugation. In particular if f is a 5 cycle, then gfg 1 will also be a 5 cycle; the only change is that everything gets relabeled by g. It is remarkably easy to compute conjugates with cycle notation. decomposition for f and apply g to all the entries. (12)(13425)(12) 1 = (23415) Simply take the cycle (15)(234)(12)[(15)(234)] 1 = (53)