Lecture 16b: Permutations and Bell Ringing

Similar documents
An old pastime.

Lecture 2.3: Symmetric and alternating groups

Permutation Groups. Definition and Notation

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. Every permutation can be written as a product of disjoint cycles. This factorization is unique up to the order of the factors.

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

Determinants, Part 1

Permutations. describes the permutation which sends 1! 2, 2! 1, 3! 3.

Math236 Discrete Maths with Applications

THE SIGN OF A PERMUTATION

Grade 7/8 Math Circles. Visual Group Theory

The Futurama Theorem.

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

Introductory Probability

Rotational Puzzles on Graphs

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

5 Symmetric and alternating groups

Bob Doubles (Plain Course)

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

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

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

MA10103: Foundation Mathematics I. Lecture Notes Week 3

OXFORD DIOCESAN GUILD OF CHURCH BELL RINGERS. Educational Leaflet. No. 12 SURPRISE MINOR: CAMBRIDGE TO LONDON. Part 2 BUILDING ON CAMBRIDGE MINOR

THE 15-PUZZLE (AND RUBIK S CUBE)

Math 147 Lecture Notes: Lecture 21

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

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

MAT3707. Tutorial letter 202/1/2017 DISCRETE MATHEMATICS: COMBINATORICS. Semester 1. Department of Mathematical Sciences MAT3707/202/1/2017

Basic electronics Prof. T.S. Natarajan Department of Physics Indian Institute of Technology, Madras Lecture- 24

MATHEMATICS S-152, SUMMER 2005 THE MATHEMATICS OF SYMMETRY Outline #1 (Counting, symmetry, Platonic solids, permutations)

Finite Math - Fall 2016

Math Fundamentals for Statistics (Math 52) Unit 2:Number Line and Ordering. By Scott Fallstrom and Brent Pickett The How and Whys Guys.

MAS336 Computational Problem Solving. Problem 3: Eight Queens

Permutations. = f 1 f = I A

An Intuitive Approach to Groups

Compound Probability. Set Theory. Basic Definitions

Part I: The Swap Puzzle

Design and Analysis of Algorithms Prof. Madhavan Mukund Chennai Mathematical Institute. Module 6 Lecture - 37 Divide and Conquer: Counting Inversions

12th Bay Area Mathematical Olympiad

logic system Outputs The addition of feedback means that the state of the circuit may change with time; it is sequential. logic system Outputs

Elementary Combinatorics

Grade 7/8 Math Circles. Visual Group Theory

LECTURE 8: DETERMINANTS AND PERMUTATIONS

Lecture 19 - Partial Derivatives and Extrema of Functions of Two Variables

(Refer Slide Time: 3:11)

2005 Fryer Contest. Solutions

Reading 14 : Counting

This chapter gives you everything you

Probability (Devore Chapter Two)

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

COUNTING THE NUMBER OF PERMUTATIONS IN RUBIK S CUBE

Lecture 18 - Counting

Solutions to the 2004 CMO written March 31, 2004

UNIVERSITY OF NORTHERN COLORADO MATHEMATICS CONTEST

Probability MAT230. Fall Discrete Mathematics. MAT230 (Discrete Math) Probability Fall / 37

CHAPTER 3 BASIC & COMBINATIONAL LOGIC CIRCUIT

The Problem. Tom Davis December 19, 2016

Chapter 3: Elements of Chance: Probability Methods

Building a Möbius Bracelet Using Safety Pins: A Problem of Modular Arithmetic and Staggered Positions

Lecture 1. Permutations and combinations, Pascal s triangle, learning to count

Math in the Real World: Music (7/8)

Define and Diagram Outcomes (Subsets) of the Sample Space (Universal Set)

JUST THE MATHS UNIT NUMBER PROBABILITY 2 (Permutations and combinations) A.J.Hobson

EECS 150 Homework 4 Solutions Fall 2008

Mathematics Explorers Club Fall 2012 Number Theory and Cryptography

REU 2006 Discrete Math Lecture 3

1111: Linear Algebra I

Chapter 7. Intro to Counting

Quotients of the Malvenuto-Reutenauer algebra and permutation enumeration

ELEMENTS OF NUMBER THEORY & CONGRUENCES. Lagrange, Legendre and Gauss. Mth Mathematicst


Notes for Recitation 3

Launchpad Maths. Arithmetic II

Multiple Choice Questions for Review

Commuting Graphs on Dihedral Group

The topic for the third and final major portion of the course is Probability. We will aim to make sense of statements such as the following:

Solving Megaminx puzzle With Group Theory 2018 S. Student Gerald Jiarong Xu Deerfield Academy 7 Boyden lane Deerfield MA Phone: (917) E

A NEW COMPUTATION OF THE CODIMENSION SEQUENCE OF THE GRASSMANN ALGEBRA

4.4: The Counting Rules

QUANT TECHNIQUES STRAIGHT FROM SERIAL CAT TOPPER BYJU

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

arxiv: v1 [cs.cc] 21 Jun 2017

Chapter 3 Digital Logic Structures

CS1802 Week 6: Sets Operations, Product Sum Rule Pigeon Hole Principle (Ch )

Some results on Su Doku

H. Pipes. Open Pipes. Fig. H-1. Simplest Standing Wave on a Slinky. Copyright 2012 Prof. Ruiz, UNCA H-1

COMPSCI 575/MATH 513 Combinatorics and Graph Theory. Lecture #30: The Cycle Index (Tucker Section 9.3) David Mix Barrington 30 November 2016

Chapter 7: Sorting 7.1. Original

By Scott Fallstrom and Brent Pickett The How and Whys Guys

Higher Mathematical Concepts Using the Rubik's Cube

2. Nine points are distributed around a circle in such a way that when all ( )

THE THREE-COLOR TRIANGLE PROBLEM

Counting Things. Tom Davis March 17, 2006

Math 3560 HW Set 6. Kara. October 17, 2013

Combinatorics: The Fine Art of Counting

The first task is to make a pattern on the top that looks like the following diagram.

Algorithmique appliquée Projet UNO

GLOSSARY. a * (b * c) = (a * b) * c. A property of operations. An operation * is called associative if:

MATH 22. Lecture B: 9/4/2003 COUNTING. I counted two and seventy stenches, All well-defined, and several stinks.

Transcription:

Lecture 16b: Permutations and Bell Ringing Another application of group theory to music is change-ringing, which refers to the process whereby people playing church bells can ring the bells in every possible order. To see what I mean, suppose that there are 3 bells labelled 1,2,3. (It s traditional to label the bell with the highest pitch as 1, the next highest 2, and so on. The practice of change-ringing developed in England, where there can be as many as 6, 7 or 8 bells in a church tower, all tuned to different pitches. Closer to hand, there is a peal of 10 bells installed at Grace Episcopal Church on Wentworth St.; the largest bell in the set weighs almost a ton. They are tuned to the notes of an E-flat major scale, plus an extra F and G at the top.) For 3 bells, it turns out that there are 6 possible orders in which you could play all 3 bells: 123 132 213 231 312 321 In general, if you have n bells (labelled 1...n) there are n! different ways of playing them in some order. For example, for 4 bells there are 4!=24 orders, for 5 bells there are 5!=120, and so on. Harkelroad (Ch. 5) refers to a way of playing the bells in some order (with no repeats) as an extent. Each of the bells is operated by pulling on a rope, which causes the bell to swing until it is nearly upside down, at which point the clapper inside the bell hits the bell and it rings. Meanwhile, the person operating the next bell in the sequence has raised that bell to the top of its swing, and it rings. When the bell is nearly upside down, a little tug on the rope adds enough momentum to ensure that, in a few seconds, it swings all the way in the other direction so that it s near upside down again. From then on, the bell can be kept ringing with comparatively small tugs on the rope at the appropriate times. So, each bell goes through a cycle of two rings, one on the handstroke and one on the backstroke. If the ropes are pulled in the right way,

there will be enough time between the two rings for all the other bells to ring. For this reason, each ordering of the bells is rung through twice, once on handstrokes and once on backstrokes. However, in describing patterns of change-ringing I won t bother with writing down the sequence of rings only once rather than twice. The fact that only small adjustments can be made in the timing of when each bell rings means that the position of a bell in the extent can only be changed by one place at a time. In other words, the physical constraints of bell-ringing imply that the only way we can change the order of bells is by swapping the positions of two bells that are one after the other. For example, with three bells the change 123 -> 312 is not allowed because the 3 bell moved more than 1 place; however, the change 123 -> 213 is allowed. The mathematical study of bell-ringing comes down to the question: how can we run through all possible extents only by exchanging bells in adjacent positions? (Note that we are not allowed to repeat an extent until the end.) For example, here is a solution for three bells: 123 213 231 321 312 132 123, where we alternate between swapping the bells in the first two positions and swapping the bells in the last two positions. Permutation Notation Changing the order in which n objects are positioned is called making a permutation of those objects. Since we re already using numbers to refer to the bells, we ll follow Harkelroad (Chapter 5) in labelling the positions within an extent as A,B,C,D, etc. To denote operation of swapping the bells in positions A and B, we ll write (AB). So, the above sequence of permutations on 3 bells could be written as 123 (AB)-> 213 (BC)-> 231 (AB)-> 321 (BC)-> 312 (AB)-> 132 (BC)-> 213 Recall that, when we multiply transformations, the rightmost one is the first one performed. So, the transformations we perform here can be written as

(AB), (BC)(AB), (AB)(BC)(AB), ((BC)(AB))^2, (AB) ((BC)(AB))^2, and finally ((BC)(AB))^3=() the identity permutation. (Note that no earlier transformation is the identity, and this implies that (BC) and (AB) do not commute. In fact, one way of understanding the relation ((BC)(AB))^3 = () is that the composition (BC)(AB) equals (ACB), the cyclic permutation that shifts all objects one place backward, wrapping around the end: 123 -(ACB)-> 231 Clearly, if this is done three times we get the identity.) What about 4 bells? Here we could consider the operation of simultaneously swapping two adjacent bells (i.e., the transformation (AB)(CD)). Here s the beginning of a bell-ringing pattern called Plain Bob Minimus: 1234 -> 2143 -> 2413 -> 4231 -> 4321 -> 3412 -> 3142 -> 1324... where we have alternated between applying (AB)(CD) applying (BC). Notice that one more (BC) swap will bring us back to the beginning; in other words, ((BC) (AB) (CD))^4 = the identity. But there are 4!=24 possible orders in all, and we ve only gone through 8 of them, so it s too early to repeat. In fact, what this shows is that no matter how many times you apply these two transformations (and, note that both of them square to the identity, so there s no use using higher powers) you ll only go through these 8 permutations. This means that the two transformations we re using generate only a subgroup of the full group of 24 permutations. The trick to generate the rest of the permutations is to toss in an extra swap that s not in this group, namely the exchange (CD). Then we can go ahead and apply the original pattern of alternating (AB)(CD) with (BC) again. This means that the next 8 extents are -> 1342 -> 3124 -> 3214 -> 2341 -> 2431 -> 4213 -> 4123 -> 1432 Again, because ((BC) (AB) (CD))^4 is the identity, we don t apply that last (BC) swap. Instead, we apply another (CD) exchange as before: -> 1423 -> 4132 -> 4312 -> 3421 -> 3241 -> 2314 -> 2134 -> 1243 and then a final (CD) swap brings us home to the original extent 1234.

A mathematical way of understanding the structure of Plain Bob Minimus is to think in terms of cosets of the subgroup. In general, suppose H is a subgroup of a group G. When we multiply everything in H by an element k not in H, we get another subset H k of the group that has no overlap with H. (When two subsets have no overlap, we say they are disjoint.) In fact, by multiplying H by various elements not in H, we can dissect the whole group into disjoint cosets: G = H H k1 H k2 In the case at hand, G is the whole group of permutations on 4 positions, which has size 4!=24, and H is the subgroup generated by (AB)(CD) and (BC), which has size 8. So, we can slice G into three disjoint cosets of H: G = H H k H k^2, k = (CD)(BC)=(CBD) So, the first 8 extents arise by applying permutations in H (including the identity) to the initial 1234; the next 8 come from applying permutations in the coset H k to 1234; and the last come from applying permutations in H k^2 to 1234. Where does k = (CD)(BC) H come from? When we have finished the first 8 extents, one more (BC) operation would bring us back to 1234. Instead, we apply (CD). So, the first extent 1342 of the middle set can be thought of as obtained by applying (CD)(BC) -1 to 1234. And, since (BC) is its own inverse, this is the same as applying k=(cd)(bc) to 1234. Everything else in the middle set of 8 extends is obtained by applying permutations in the coset Hk to 1234. Similarly, the last 8 extents come from applying permutations in coset Hk^2 to 1234. Note: In a non-abelian group, there are two different ways of forming cosets of a subgroup H: you can multiply on the left, generating left cosets k H, or you can multiply on the right, generating right cosets of the form H k. We can either slice G into right cosets of H, or into left cosets of H, but in general these two ways of slicing are not the same.

But, the definition of a normal subgroup is that every right coset is also a left coset; in fact, if H is normal then for any k in G we have H k = k H. Assignment: Read Harkelroad Chapter 5. Problems: 1. Decide if the following permutations of 5 bells are even or odd: (a) 12345 -> 13425 (b) 12345 -> 54312 (See Harkelroad p. 68-69.) 2. Problem on Plain Hunt, Benson page 330. 3. Suppose you want to ring the changes on 4 bells. Show that the repeating the sequence of transformations (AB) then (BC) then (CD) will not generate all the permutations, and suggest how to modify this to sequence to get them all. (Remember that we can t return to the starting configuration 1234 until the bells have been rung.)