ABSTRACT GENERALIZING THE FUTURAMA THEOREM. The 2010 episode of Futurama titled The Prisoner of Benda centers
|
|
- Laura White
- 6 years ago
- Views:
Transcription
1 ABSTRACT GENERALIZING THE FUTURAMA THEOREM The 2010 episode of Futurama titled The Prisoner of Benda centers around a machine that swaps the brains of any two people who use it. The problem is, once two people use the machine to swap brains with each other, they cannot swap back. The author of the episode, mathematician Ken Keeler, uses Abstract Algebra to take the problem containing a set of swapped brains, and translate it into permutations in the group S n. Keeler s method of solving the problem involves writing the inverse of the permutation as a product of transpositions that were not already used. The theorem and proof contained in this episode is known as The Futurama Theorem, or Keeler s Theorem. In 2014, it was proven that Keeler s method was the optimal solution to the problem. In this work, we will present a new proof of Keeler s Theorem. We will also generalize the theorem to products of larger cycles, starting with 3-cycles, and building up to our main goal: a solution for p-cycles where p is a prime. After this solution, we will use the same general ideas to create a solution using products of 2j-cycles. Jennifer E. Elder May 2016
2
3 GENERALIZING THE FUTURAMA THEOREM by Jennifer E. Elder A thesis submitted in partial fulfillment of the requirements for the degree of Master of Arts in Mathematics in the College of Science and Mathematics California State University, Fresno May 2016
4 APPROVED For the Department of Mathematics: We, the undersigned, certify that the thesis of the following student meets the required standards of scholarship, format, and style of the university and the student s graduate degree program for the awarding of the master s degree. Jennifer E. Elder Thesis Author Oscar Vega (Chair) Mathematics Stefaan Delcroix Mathematics Katherine Kelm Mathematics For the University Graduate Committee: Dean, Division of Graduate Studies
5 AUTHORIZATION FOR REPRODUCTION OF MASTER S THESIS I grant permission for the reproduction of this thesis in part or in its entirety without further authorization from me, on the condition that the person or agency requesting reproduction absorbs the cost and provides proper acknowledgment of authorship. X Permission to reproduce this thesis in part or in its entirety must be obtained from me. Signature of thesis author:
6 ACKNOWLEDGMENTS First, I would like to thank my adviser, Dr. Vega, for his assistance and advice through the last two years of research. I am truly grateful for the time (and chocolate) that he provided, reading through everything I wrote, and working with me for so many hours each week as I progressed through this work. I have genuinely enjoyed working with him. I would also like to thank the members of my thesis committee, Dr. Delcroix and Dr. Kelm, for their time and input to help me make this a better paper. This would not have been possible without all of you. I would also like to thank everyone in the Math Department who have helped me over the last few years. In particular, I am grateful for the support from Dr. Caprau, Dr. Forgács, Elaina Aceves, and Kelsey Friesen. Their assistance has been invaluable, from working with me on Sonia Kovalevsky Day, traveling to conferences, studying for classes, and attending my talks on this project over, and over again. Finally, I would like to thank my family for being there for me over my entire college career. You put up with all my insane mutterings, and were patient as I wrote like I was running out of time. Your support and interest in my project have meant everything to me. The last two years would have been so much harder without your encouragement. Thank you.
7 TABLE OF CONTENTS Page INTRODUCTION The Symmetric Group Keeler s Proof REPROVING KEELER S THEOREM Examples Individual Cases A New Proof of Keeler s Theorem GENERALIZING TO PRODUCTS OF 3-CYCLES ANOTHER METHOD Revisiting the 3-Cycles Products of 5-cycles PRODUCTS OF p-cycles PRODUCTS OF 2j-CYCLES cycles j- cycles CONCLUSIONS REFERENCES
8 INTRODUCTION In the 2010 episode of Futurama, The Prisoner of Benda, Professor Farnsworth and Amy build a machine that can swap the brains of any two people. The two use the machine to swap brains with each other, but then discover that once two people have swapped with each other, they cannot swap back. It may not be immediately apparent, but this problem is directly connected to Abstract Algebra. Each brain swap can be described by a function in the group S n. In order to understand the problem in this context, we started our research by looking at the basic definitions and examples about S n presented in an undergraduate Abstract Algebra course. We worked our way from the basic definitions, through reproving the important theorems, up to the problems available in the, now classic, Ph.D.-level book Abstract Algebra by Dummit and Foote [3]. Once we were familiar with S n, we began to write a new proof for Keeler s Theorem, which we will see in the next section. We used the insight this process gave us in order to generalize our process from products of transpositions to products of general cycles, as seen in the last two sections of this work. Before we see any of our solutions, we will present an example where some famous mathematicians discover a brain swapping machine, and use it. First, Sonia Kovalevsky and Hypathia use the machine, yielding the following situation.
9 2 Kovalevsky Hypatia Unfortunately, once they have swapped, they discover that they cannot swap back. So they ask other mathematicians to help them. After many additional swaps, we have the following positions described by the arrows. N oether Chatelet Hypatia Agnesi This means that Emmy Noether s brain is now in Emilie Chatelet s head, Emilie Chatelet s brain is in Hypatia s head, and Hypatia s brain is in Maria Agnesi s head. Agnesi Somerville N oether Maria Agnesi s brain is in Mary Somerville s head, and Mary Somerville s brain is in Emmy Noether s head. Kovalevsky Lovelace Germain Kovalevsky
10 3 Sonia Kovalevsky s brain is now in Ada Lovelace s head, Ada Lovelace s brain is in Sophie Germain s head, and Sophie Germain s brain is in Sonia Kovalevsky s head. We want to be able to transfer everyone back into their own heads, but the possible swaps are limited. Keeler s method of solving this problem involves bringing in two people who were not originally involved in the problem. Euler F ermat We start with the three person set of swaps, splitting the set in two pieces, with Germain and Lovelace in one set, and Kovalevsky in the other. And we start performing new swaps. F ermat Kovalevsky Now Fermat has Germain s Brain, and Kovalevsky has Fermat s brain. Euler Germain
11 4 After this swap, Euler has Lovelace s brain, and Germain has Euler s. F ermat Germain Now Germain has her own brain back, and Fermat has Euler s brain. Euler Lovelace After this swap, Lovelace has her own brain, and Euler has Kovalevsky s brain. Euler Kovalevsky Finally, Kovalevsky has her own brain, and Euler has Fermat s. If this was the end of the problem, we could swap Euler and Fermat back. However, we will work with the five person set of swaps, and switch the other two at the end if necessary. Once again, we split this set in two, with Noether, Chatelet and Hypatia in one set, and Agnesi and Somerville in the other. F ermat Agnesi
12 5 Now Fermat has Hypatia s brain, and Agnesi has Euler s brain. Euler N oether And now Euler has Somerville s brain, and Noether has Fermat s. F ermat Hypatia Hypatia has her own mind back, and Fermat has Chatelet s. F ermat Chatelet Chatelet has her own mind and Fermat now has Noether s brain. F ermat Noether Now Noether has her own mind, and Fermat has his own mind. We can start swapping with the second set of people now.
13 6 Euler Somerville Somerville has her brain back, and Euler has Agnesi s. Euler Agnesi And finally, with this last swap both Agnesi and Euler have their brains back. This solves the problem, since each participant has their own brain back. The Symmetric Group Now that we have seen an example, and how to solve the specific problem we had at hand, we need to introduce some definitions and notations that will be used in the rest of the work. Definition 1. Let A be a finite set containing n elements. We define S A as the set of bijections from A to itself. For simplicity s sake, we write this as A = {1, 2,..., n}, and use the notation S n. This is a group under composition of functions, and the elements in this set are called permutations. The identity for the group is denoted e. Definition 2. Let σ be a permutation in S n. The order of σ is the smallest positive integer n such that σ n = e. This integer is also denoted σ.
14 7 There are different ways to write these functions, but we will use the most common method called cycle notation. Example 3. Suppose we define the following function in S This function can be written as the following cycle: (1 2 3). Note that we do not write 4 as a part of this notation, since the function simply sends 4 back to itself. In the example above, we wrote a cycle containing three elements, which is also called a 3-cycle. Similarly, a cycle with k elements will be called a k-cycle. All permutations in S n can be written as products of cycles. Example 4. Permutations can be written in more than one way as products of cycles. Let the permutation σ be defined as σ = (1 2)(2 3)(4 5) We can rewrite σ by considering the image of each number in the set {1, 2, 3, 4, 5} under σ. We discover that the permutation can also be written as σ = (1 2 3)(4 5)
15 8 This second definition for σ is said to be a product of disjoint cycles because the two cycles do not share any common elements. A fairly basic result taught in every Abstract Algebra follows. Theorem 5. Every permutation in S n can be written as a product of disjoint cycles, uniquely up to order. Although S n is a non-abelian group for n > 2, disjoint cycles do commute with each other. Theorem 6. Disjoint cycles commute with each other. That is, if σ = γτ, then we also have σ = τγ if τ and γ are disjoint. Inductively, we extend this reasoning to any product of disjoint cycles. Theorem 7. Suppose that σ = γτ. Then σ 1 = τ 1 γ 1. This is true whether τ and γ are disjoint, or not. Keeler s Theorem specifically deals with 2-cycles, which are also called transpositions. For the problem presented in the episode, we let Professor Farnsworth be represented by the number 1, and Amy by the number 2, and write their swap as the function (1 2). We have the following results for transpositions specifically. Theorem 8. Every function in S n can be written as a product of transpositions.
16 9 Example 9. Let σ = ( ). Note that we can write σ as a product of transpositions in at least two ways; namely σ = (1 2)(2 3)(3 4) = (1 4)(1 3)(1 2) In general, for k n the k-cycle in S n : σ = ( k) can be written σ = (1 2)(2 3)... (k 2 k 1)(k 1 k) = (1 k)(1 k 1)... (1 3)(1 2) Notice that both ways of writing the k-cycle use the same number of transpositions. This is not a coincidence; as we will see in the next theorem, if a permutation is written as a product of transpositions in two ways, the number of transpositions used will either be odd in both cases, or even in both cases. This idea hints at the following definition. Definition 10. A permutation is said to be even if it can be written as a product of an even number of transpositions. Similarly, a permutation is said to be odd if it can be written as a product of an odd number of transpositions. The identity permutation, e, is an even permutation. Theorem 11. A permutation is either odd or even, but not both. A nice proof of this theorem can be found in [5]. Definition 12. We denote A n as the subgroup of S n containing all the even permutations in S n.
17 10 A n is a very useful subgroup of S n, with some very nice properties. Before we discuss it further, we need to introduce the following concept. Definition 13. Let τ S n. Conjugation by τ is a function defined on S n by σ τστ 1. Remark 14. Conjugation preserves the cycle structure of a permutation. For example, if σ is the disjoint product of a 3-cycle and a 2-cycle, then τστ 1 will be as well. Remark 15. We can extend conjugation to subgroups of S n. Let H S n be non-trivial, and τ S n. Then τhτ 1 = {τστ 1 σ H}. τhτ 1 will be a subgroup of S n with the same order as H in S n. If τhτ 1 = H for all τ S n, we say that H is a normal subgroup of S n. Theorem 16. For n 5, A n is the only non-trivial normal subgroup of S n. Definition 17. Let σ S n be a k-cycle. The cyclic subgroup generated by σ is defined as σ = {σ i i N} It is also known that if σ = k, then there will be k elements in σ. More information about S n, as well as versions of the definitions and theorems above, can be found in [3] and [4]. Using this information about S n, we can solve the problem presented in the Futurama episode by re-stating it in S n. We would label all of the characters in the episode as numbers, and write the brain swaps as a product of transpositions. By Theorem 5, we know we can re-write this product as a
18 11 product of disjoint cycles. What Keeler s Theorem gives us is a way to write the inverse of this product of functions as a product of transpositions that have not been used yet. In the next section, we will present Keller s proof of his theorem. Keeler s Proof Although Keeler never published the proof of his theorem, it can be found in [2]. In 2014, Evans, Huang, and Nguyen proved in [1] that Keeler s solution to the problem is optimal in the sense that it uses the minimal number of cycles and the minimal number of additional elements. Lemma 18. It is sufficient to prove Keeler s Theorem for cycles in S n. Proof. Let π be a permutation in S n, and set x = n + 1 and y = n + 2. Theorem 5 states that π can be written as a product of disjoint cycles. Suppose that π = στ, where σ and τ are disjoint which means that π 1 = τ 1 σ 1. Suppose that Keeler s method allows us a new method of writing σ 1, using only the elements in σ, in addition to x and y. Call this function α. Similarly, we write τ 1 as a new product only containing elements in τ, and x and y, and call this β. Since we assume that σ and τ are disjoint, α and β only share the elements x and y. Suppose first that α and β do not both use (x y). Since every transposition in α will either have x or y and some element from σ, while each transposition in β will contain something from τ, α will not contain any elements used to create β. Thus we write π 1 = βα.
19 12 Suppose next that β and α both contain (x y) as the last transposition in their products. Then α = (x y)γ and β = (x y)ϕ. Notice that the only reason we need to multiply by (x y) is because γ(x) = ϕ(x) = y, and γ(y) = ϕ(y) = x. Thus (ϕγ)(x) = ϕ(y) = x and (ϕγ)(y) = ϕ(x) = y Thus, rather than writing π 1 = (x y)ϕ(x y)γ, we have π 1 = ϕγ. Inductively, we can extend this to a permutation consisting of any finite product of disjoint cycles. Theorem 19 (Keeler). Let n N, n 2. The inverse of any permutation in S n can be written as a product of distinct transpositions in S n+2 \ S n. Proof. If n = 2, then we have one non-trivial permutation: (1 2). Let x = n + 1 and y = n + 2. We can write (1 2) 1 = (x y)(2 x)(1 y)(2 y)(1 x). Suppose that n > 2. Let k n and let π be a k-cycle in S n. Let x = n + 1 and y = n + 2. WLOG, we say π = ( k), for k n. Fix 1 < i < k, and let α = (x 1)(x 2)... (x i) β = (y i+1)(y i+2)... (y k) σ = αβ(x i+1)(y 1) Note that σ is a product of transpositions. For t {2,..., i}, we get σ(t) = α(t) = t 1 = π 1 (t)
20 13 For t {i + 2,..., k}, we get σ(t) = (αβ)(t) = α(t 1) = t 1 = π 1 (t) For t = 1, we get σ(1) = (αβ)(x i + 1)(y) = (αβ)(y) = α(k) = k = π 1 (1) For t = i + 1, we get σ(i + 1) = (αβ)(x) = α(x) = i = π 1 (i + 1) For t = x, we get σ(x) = (αβ)(i + 1) = α(y) = y For t = y, we get σ(y) = αβ(x i + 1)(1) = (αβ)(1) = α(1) = x So, σ = (x y)π 1. It is important to notice that since each transposition in σ contains either an x or a y, none of these transpositions were used in the original product used to produce π. Since (x y) is not used in σ, we can write π 1 = (x y)σ. Keeler s process splits the set in two, and one person swaps with everyone in one of the two new sets. But the splitting point in this process is
21 14 deliberately left vague. The restrictions for i in the proof above are needed so that β is not an empty product, and so that α would not be defined as a single transposition.
22 REPROVING KEELER S THEOREM We want to reprove Keeler s Theorem using a different, and possibly less optimal, method. In this section, we will prove results for individual k-cycles in S n, where k n. We will finish the section by presenting a new proof. We hope that this new proof will allow us to generalize the problem. Examples For the sake of our proof, we will consider, without loss of generality, the k-cycle ( k). Any generic k-cycle could be relabeled in this manner, so we do not lose anything by only considering these cases. Let us look at some small examples. Example 20. For small cases, we can do the computations by hand. Notice that (1 2) 1 = (3 4)(2 3)(1 4)(2 4)(1 3), (1 2 3) 1 = (4 5)(3 4)(2 5)(3 5)(1 4)(2 4), ( ) 1 = (5 6)(3 5)(4 5)(2 6)(3 6)(1 5)(2 5), ( ) 1 = (6 7)(3 6)(4 6)(5 6)(2 7)(3 7)(1 6)(2 6), ( ) 1 = (6 8)(5 7)(6 7)(4 8)(5 8)(3 7)(4 7)(2 8)(3 8)(1 7)(2 7), ( ) 1 = (6 9)(7 9)(5 8)(6 8)(4 9)(5 9)(3 8)(4 8)(2 9)(3 9)(1 8)(2 8). But they very quickly grow too long to deal with. As the cycles get larger, we start to notice patterns in how we can undo them. We need to set some notation before beginning our proofs.
23 16 Definition 21. Fix n N. Let x = n + 11 and y = n + 12, and we can consider the set of order n + 2 as {1, 2,..., n 1, n, x, y}. Remark 22. The proof ahead requires that x and y be sufficiently large in order to avoid confusion and possible contradictions. Hypothesis 23. For the following definition we need to set m N such that m is odd and m n 2. Definition 24. Let δ m S n+2 be defined as δ m = m (i + 1 y)(i + 2 y)(i x)(i + 1 x). i=1 i odd If we let m = n 1, then our product will include the transposition (n + 1 y), which will not be a function in S n+2. Similar reasoning rules out all cases where n 1 m n + 2. Remark 25. Notice that δ m for any 1 m will not contain any repeated transpositions by construction. Every element 1 j m, will appear at most twice: once in (j x) and once in (j y). And we can see that (x y) is not an element in the product. Individual Cases Lemma 26. Let k 7 be such that k is odd and k 1 (mod 3). Then if σ is a k-cycle, σ 1 = δ k 2. Proof. We will prove this by induction on k. The base case, for k = 7, is already proved in Example 20, where we see that σ 1 = δ 5 as desired.
24 17 We now assume that for all k-cycles σ, where 7 k < j, k odd and k 1 (mod 3), we get that σ 1 = δ k 2. Let σ be a j-cycle, where j 1 (mod 3), and j is odd. Since j 6 is also odd and j 6 j 1 (mod 3), we write ( j) 1 = (j 6 j 5 j 4 j 3 j 2 j 1 j) 1 ( j 6) 1 From the induction hypothesis, we get ( j 6) 1 = δ j 8 and our base case tells us that we can write τ = (j 6 j 5 j 4 j 3 j 2 j 1 j) 1 as follows τ = j 2 i=j 6 i odd (i + 1 y)(i + 2 y)(i x)(i + 1 x). Note that from the definition of δ m, δ j 8 does not have any repeated transpositions. And it can be easily verified by hand that τ does not have repeated transpositions either. It is easy to see that τδ j 8 = j 2 i=j 6 i odd (i + 1 y)(i + 2 y)(i x)(i + 1 x) δ j 8 = δ j 2
25 18 and thus ( j) 1 = δ j 2 σ 1 = δ k 2. Therefore, if k 7, k is odd, k 1 (mod 3), and σ is a k-cycle, Lemma 27. Let k 5 be such that k is odd and k 2 (mod 3). Then if σ is a k-cycle, σ 1 = (x y)(k 2 x)(k 1 x)(k x)δ k 4. Proof. The case when k = 5, is already proved in Example 20, where we see that σ 1 = (x y)(3 x)(4 x)(5 x)δ 1 as desired. Now let k > 5, but still fulfilling k is odd and k 2 (mod 3). That is, k 11. Since k 4 is also odd and k 4 k 1 1 (mod 3), we write ( k) 1 = (k 4 k 3 k 2 k 1 k) 1 ( k 4) 1 From Lemma 26, we get ( k 4) 1 = δ k 6 and Example 20 tells us that we can write τ = (k 4 k 3 k 2 k 1 k) 1 as follows τ = (x y)(k 2 x)(k 1 x)(k x)(k 3 y)(k 2 y)(k 4 x)(k 3 x).
26 19 It is easy to see that τδ k 6 = (x y)(k 2 x)(k 1 x)(k x)(k 3 y)(k 2 y)(k 4 x)(k 3 x) δ k 6 = (x y)(k 2 x)(k 1 x)(k x)δ k 4 and thus ( k) 1 = (x y)(k 2 x)(k 1 x)(k x)δ k 4 Therefore, if σ is a k-cycle, where k is odd and k 2 (mod 3), then σ 1 = (x y)(k 2 x)(k 1 x)(k x)δ k 4. Lemma 28. Let k 3 be such that k is odd and k 0 (mod 3). Then if σ is a k-cycle, σ 1 = (x y)(k x)δ k 2. Proof. When k = 3, Example 20 shows that our hypothesis is correct, where σ 1 = (x y)(3 x)δ 1 as desired. Let σ be a k-cycle, where k 0 (mod 3), and k is odd, and k > 3. Then k 9. Since k 2 is also odd and k (mod 3), we write ( k) 1 = (k 2 k 1 k) 1 ( k 2) 1 From Lemma 26, we get ( k 2) 1 = δ k 4 and Example 20 tells us that we can write τ = (k 2 k 1 k) 1 as follows τ = (x y)(k x)(k 1 y)(k y)(k 2 x)(k 1 x).
27 20 It is easy to see that τδ k 4 = (x y)(k x)(k 1 y)(k y)(k 2 x)(k 1 x) δ k 4 = (x y)(k x)δ k 2 and thus ( k) 1 = (x y)(k x)δ k 2 Therefore, if σ is a k-cycle, where k is odd and k 0 (mod 3), then σ 1 = (x y)(k x)δ k 2. Now that we have addressed all cases for when k is odd, we will proceed to the cases where k is even. Lemma 29. Let k 4 be such that k is even and k 1 (mod 3). Then if σ is a k-cycle, σ 1 = (x y)(k 1 x)(k x)δ k 3. Proof. When k = 4, Example 20 tells us that σ 1 = (x y)(3 x)(4 x)δ 1 as desired. Let σ be a k-cycle, where k 1 (mod 3), k is even, and k > 4. That is, k 10. Since k 3 is odd and k 3 k 1 (mod 3), we write ( k) 1 = (k 3 k 2 k 1 k) 1 ( k 3) 1 From Lemma 26, we get ( k 3) 1 = δ k 5
28 21 and Example 20 tells us that we can write τ = (k 3 k 2 k 1 k) 1 as follows τ = (x y)(k 1 x)(k x)(k 2 y)(k 1 y)(k 3 x)(k 2 x) It is easy to see that τδ k 5 = (x y)(k 1 x)(k x)(k 2 y)(k 1 y)(k 3 x)(k 2 x) δ k 5 = (x y)(k 1 x)(k x)δ k 3 and thus ( k) 1 = (x y)(k 1 x)(k x)δ k 3 Therefore, if σ is a k-cycle, where k is even and k 1 (mod 3), then σ 1 = (x y)(k 1 x)(k x)δ k 3. Lemma 30. Let k 6 be such that k is even and k 0 (mod 3). Then if σ is a k-cycle, σ 1 = (k y)(k 1 x)(k x)δ k 3. Proof. When k = 6, Example 20 tells us that σ 1 = (6 y)(5 x)(6 x)δ 3 as desired. Let σ be a k-cycle, where k 0 (mod 3), k is even, and k 12. Since k 5 is odd and k (mod 3), we write ( k) 1 = (k 5... k) 1 ( k 5) 1
29 22 From Lemma 26, we get ( k 5) 1 = δ k 7 and Example 20 tells us that we can write τ = (k 5... k) 1 as follows τ = (k y)(k 1 x)(k x) It is easy to see that k 3 i=k 5 i odd (i + 1 y)(i + 2 y)(i x)(i + 1 x). τδ k 7 = (k y)(k 1 x)(k x) k 3 i=k 5 i odd (i + 1 y)(i + 2 y)(i x)(i + 1 x) δ k 7 = (k y)(k 1 x)(k x)δ k 3 and thus ( k) 1 = (k y)(k 1 x)(k x)δ k 3 Therefore, if σ is a k-cycle, where k is even and k 0 (mod 3), then σ 1 = (k y)(k 1 x)(k x)δ k 3. Lemma 31. Let k 8 be such that k is even and k 2 (mod 3). Then if σ is a k-cycle, σ 1 = (k 2 y)(k 1 y)(k y)(k 3 x)(k 2 x)δ k 5. Proof. When k = 8, it is easy to verify that σ 1 = (6 y)(7 y)(8 y)(5 x)(6 x)δ 3 as desired, but the actual calculation is too long to show here.
30 Let σ be a k-cycle, where k 2 (mod 3), k is even, and k 14. Since k 7 is odd and k (mod 3), we write 23 ( k) 1 = (k 7... k) 1 ( k 7) 1 From Lemma 26, we get ( k 7) 1 = δ k 9 The case where k = 8 tells us that we can write τ = (k 7... k) 1, which has 8 elements, as follows: τ = (k 2 y)(k 1 y)(k y)(k 3 x)(k 2 x) which we will write k 5 i=k 7 i odd (i + 1 y)(i + 2 y)(i x)(i + 1 x) τ = α k 5 i=k 7 i odd (i + 1 y)(i + 2 y)(i x)(i + 1 x). where α = (k 2 y)(k 1 y)(k y)(k 3 x)(k 2 x). Routine computations show that τδ k 9 = α = αδ k 5 k 5 i=7 i odd (i + 1 y)(i + 2 y)(i x)(i + 1 x) δ k 9
31 24 and thus ( k) 1 = (k 2 y)(k 1 y)(k y)(k 3 x)(k 2 x)δ j 5 Therefore, if σ is a k-cycle, where k is even and k 2 (mod 3), then σ 1 = (k 2 y)(k 1 y)(k y)(k 3 x)(k 2 x)δ k 5. A New Proof of Keeler s Theorem These 6 lemmas together with the case where k = 2, proves that the inverse of any k-cycle in S n can be written as the product of transpositions that each contain x or y. This means that our new products do not contain any transpositions that were used to produce the original k-cycle. Moreover, Lemma 18 takes care of the cases when multiple cycles have (x y) at the end of their product. We will now finish our proof of Keeler s Theorem. Proof. Let σ be a permutation in S n that can be written as the product of two disjoint cycles, γ and ϕ. If σ = γϕ, then σ 1 = ϕ 1 γ 1 = γ 1 ϕ 1, since the cycles are disjoint. We will use both ways of writing the inverse in our proof. From the six lemmas above, we know that we can write γ 1 and ϕ 1 as products of transpositions that each contain x or y, and thus were not used to create σ. Because of the way we construct our inverse functions, and since the cycles are disjoint, the only transposition that might show up in both inverse functions is (x y). Case 1: γ 1 = (x y)α and ϕ 1 = (x y)β. Lemma 18 tells us that σ 1 = αβ.
32 25 Case 2: γ 1 = α and ϕ 1 = β. Then the result is immediate, as we can simply write σ 1 = αβ. Case 3: γ 1 = (x y)α and ϕ 1 = β. Then σ 1 = (x y)αβ. Case 4: γ 1 = α and ϕ 1 = (x y)β. Then σ 1 = (x y)βα. Thus, σ can be written as a product of non-repeating transpositions. Inductively, we can extend this method to permutations that are finite products of disjoint cycles, where even numbers of (x y) will cancel. Thus, for the inverse of any permutation in S n, we will have at most one (x y) in our product. Therefore, the inverse of any permutation can be written as a non-repeating product of transpositions in S n+2.
33 GENERALIZING TO PRODUCTS OF 3-CYCLES Suppose that instead of a machine that swaps two brains, the machine will swap three brains at once. How would we go about returning everyone to the proper body? Now we work with permutations σ that were produced by products of 3-cycles. In order to begin generalizing our process to 3-cycles, we need to determine what cycles we will allow in our inverse products. Hypothesis 32. In order to invert a permutation, we will restrict ourselves as follows: if (a b c) was used in the original product, we will not use any elements in (a b c) in our new product. Our goal is to use the work we did in the previous section, and transform each of our cases into products of 3-cycles. From Group Theory, we know that the 3-cycles generate A n, all the even permutations in S n. This seemingly makes the problem harder, as we do not have as many possible functions to work with. Example 33. Recall Example 20, where we wrote (1 2 3) 1 = (4 5)(3 4)(2 5)(3 5)(1 4)(2 4) We want to be able to write this as a product of 3-cycles now. Note that (1 2 3) 1 = (4 5)(3 4)(2 5)(3 5)(1 4)(2 4) = (4 5)(3 4)(2 5)(1 4)(3 5)(2 4) = (3 5 4)(2 1 5)(2 1 4)(3 2 5)(3 2 4).
34 27 This example motivates the following product of permutations. Hypothesis 34. Let x = n + 11, y = n + 12, and m N such that m is odd and m n 2. Definition 35. Let θ m A n+2 be defined as θ m = m (i + 1 i y)(i + 1 i x)(i + 2 i + 1 y)(i + 2 i + 1 x). i=1 i odd Note that as before, n 1 m n + 2 will give us products that do not live in A n+2. Before we continue, there is a small result we need to consider. Lemma 36. The cycles in θ m generate distinct cyclic subgroups. Proof. We want to prove that each cycle in our product has a distinct cyclic subgroup. If we can prove that no three elements appear in a cycle more than once, we will have the desired result. The first case we need to consider is i = 1. 1 will only appear in two cycles in the product: (2 1 x) and (2 1 y). These will each have distinct cyclic subgroups, so we avoid contradictions, and don t need to worry about repetitions when i = 1. By construction, for any odd integer j > 1, the only cycles that will share elements with the cycles (j + 1 j y)(j + 1 j x)(j + 2 j + 1 y)(j + 2 j + 1 x)
35 28 will be the cycles produced when i = j 2 and i = j + 2. The cycles produced when i > j + 2 and i < j 2 will only share x and y. So if we can prove that the cycles produced when i = j 2, j, j + 2 will all have distinct cyclic subgroups, we will be done. i = j 2 (j 1 j 2 y)(j 1 j 2 x)(j j 1 y)(j j 1 x) i = j (j + 1 j y)(j + 1 j x)(j + 2 j + 1 y)(j + 2 j + 1 x) i = j + 2 (j + 3 j + 2 y)(j + 3 j + 2 x)(j + 4 j + 3 y)(j + 4 j + 3 x). We can see that none of the cycles produced share the same 3 elements. Thus each cycle has a distinct cyclic subgroup. Lemma 37. Under Hypothesis 34, δ m = θ m. Proof. Note that (a b c)(a b d) = (a c)(b d). Using this fact, and because disjoint cycles commute, we find that δ m = = = = m (i + 1 y)(i + 2 y)(i x)(i + 1 x) i=1 i odd m (i + 1 y)(i x)(i + 2 y)(i + 1 x) i=1 i odd m (i + 1 i y)(i + 1 i x)(i + 2 y)(i + 1 x) i=1 i odd m (i + 1 i y)(i + 1 i x)(i + 2 i + 1 y)(i + 2 i + 1 x) i=1 i odd = θ m as desired.
36 29 Lemma 38. Let σ be a k-cycle in A n. Then 1) If k 7 be such that k is odd and k 1 (mod 3), σ 1 = θ k 2. 2) If k 5 be such that k is odd and k 2 (mod 3), then σ 1 = (x k 2 y)(x k k 1)θ k 4. 3) If k 3 be such that k is odd and k 0 (mod 3), then σ 1 = (x k y)θ k 2. Proof. Case 1: Let k 7 be such that k is odd and k 1 (mod 3). From Lemma 26, we know that we can write σ 1 = δ k 2 By Lemma 37, δ m = θ m, which gives us σ 1 = δ k 2 = θ k 2 Therefore, σ 1 = θ k 2. Case 2: Let k 5 be such that k is odd and k 2 (mod 3). Let σ be a k-cycle. From Lemma 27, we know that σ 1 = (x y)(k 2 x)(k 1 x)(k x)δ k 4. Lemma 37 tells us that δ k 4 = θ k 4. And since (x y)(k 2 x)(k 1 x)(k x) = (x k 2 y)(x k k 1)
37 30 then we have σ 1 = (x y)(k 2 x)(k 1 x)(k x)δ k 4 = (x y)(k 2 x)(k 1 x)(k x)θ k 4 = (x k 2 y)(x k k 1)θ k 4 as desired. Case 3: Let k 3 be such that k is odd and k 0 (mod 3). Let σ be a k-cycle. From Lemma 28, we know that σ 1 = (x y)(k x)δ k 2. Lemma 37 tells us that δ k 2 = θ k 2. And since (x y)(k x) = (x k y) we have σ 1 = (x y)(k x)δ k 2 = (x y)(k x)θ k 2 = (x k y)θ k 2 as desired. Remark 39. Since this lemma covers all possible even cycles, we are done. These are all of the possible cycles we can create as a product of 3-cycles. Note that between the three cases, there are no repeated cycles other than those in the θ m s. This makes our solution to the problem simpler than for Keeler s original theorem, while still relying on it.
38 31 Theorem 40. Let n N, n 3. The inverse of any permutation in A n can be written as a product of 3-cycles in A n+2 \ A n. Moreover, the cyclic groups generated by each 3-cycle in the product will be distinct. Proof. Let σ be a permutation in A n that can be written as the product of two disjoint cycles, α and β. If σ = αβ, then σ 1 = α 1 β 1. Using Lemma 38, we can write α 1 and β 1 as products of 3-cycles in A n+2 as desired. From Lemma 36, we know that each product will contain cycles with distinct cyclic subgroups. And since α and β are disjoint cycles, α 1 and β 1 will also be disjoint, with no repeated cycles. Therefore, we can write σ 1 as a product of 3-cycles in A n+2 \ A n. Inductively, we can extend this result to any finite product of cycles.
39 ANOTHER METHOD While trying to extend our method for 3-cycles, described in the previous section, to larger cycles, we found a different approach to the problem. This new technique is described for 3-cycles here, and will be extended for others in the section on p-cycles. Revisiting the 3-Cycles Example 41. Consider the following products. (1 2 3) 1 = (2 x 3)(1 x 2) ( ) 1 = (2 x 3)(4 x 2)(2 x 5)(1 x 2), ( ) 1 = (2 x 3)(4 x 2)(2 x 5)(6 x 2)(2 x 7)(1 x 2) ( ) 1 = (2 x 3)(4 x 2)(2 x 5)(6 x 2)(2 x 7)(8 x 2) (2 x 9)(1 x 2) ( ) 1 = (2 x 3)(4 x 2)(2 x 5)(6 x 2)(2 x 7)(8 x 2) (2 x 9)(10 x 2)(2 x 11)(1 x 2). Hypothesis 42. Let x = n + 11, k < n, and m N such that m is odd and 3 m k. Definition 43. Let φ m A n+1 be defined as φ m = m 2 i=3 i odd (2 x k (i 1))(k (i 2) x 2) (2 x k)(1 x 2).
40 33 Again, for the cases where k = n and k + 1 m k + 2, we will have products that do not live in A n+1. And for m = 3 we will consider the product to be empty, and have φ 3 = (2 x k)(1 x 2). Lemma 44. Every 3-cycle in φ m generates a distinct cyclic subgroup. Proof. Since (a b c) = {e, (a b c), (a c b)}, it is sufficient to show that the same three elements do not appear in a cycle together more than once. Since x and 2 appear in every cycle, we need to show that each element j only appears once for j x, j 2. Fix k. First, we want to see whether (2 x k) or (1 x 2) can repeat. In order for k = k (i 1), we need i = 1. Our product starts at 3, so this is not possible. Similarly, k = k (i 2) requires i = 2, which is not an odd integer. In order for 1 = k (i 1), we need i = k, but our restrictions on m mean that i k 2. Similarly, 1 = k (i 2) means that i = k 1, which is also not possible under the definition of φ m. Thus k and 1 only ever appear once. Now suppose that 1 < j < k. We want to show that it only shows up once. Because of the way the product increments, we need only look on either side of the cycle containing j. Suppose, without loss of generality, that j = k (a 1) for some odd number 3 a m. Then the 3-cycles we need to consider are (k ((a + 2) 2) x 2)(2 x k (a 1))(k (a 2) x 2) which simplifies to (j 1 x 2)(2 x j)(j + 1 x 2).
41 34 Therefore, j only appears in the product once. Lemma 45. Let k be an odd integer greater than 1. Then if σ is a k-cycle, σ 1 = φ k 2. Proof. We will prove this by induction on k. The base case, for k = 3, is already proved in Example 41, where we see that σ 1 = (2 x 3)(1 x 2) as desired. We now assume that for all k-cycles σ where 3 k < j, where k is odd, we have σ 1 = φ k 2. Let σ be a j-cycle, where j is odd. Since j is odd, then so is j 2. We can write σ = (j 1 2)( j 1) and this gives us σ 1 = (2... j 1) 1 (j 1 2) 1. From the induction hypothesis, when τ = (j j 2) 1, we get τ = j 4 i=3 i odd (2 x j (i 1))(j (i 2) x 2) (2 x j 2)(j 1 x 2) and our base case tells us that for α = (1 2 j) 1 we can write α = (2 x j)(1 x 2)
42 35 τα = Putting these pieces together, we get = j 4 i=3 i odd (2 x j)(1 x 2) j 2 i=3 i odd = φ j 2 (2 x j (i 1))(j (i 2) x 2) (2 x j 2)(j 1 x 2) (2 x j (i 1))(j (i 2) x 2) (2 x j)(1 x 2) Thus σ 1 = φ j 2 Therefore, if k is an odd number and σ is a k-cycle, σ 1 = φ k 2. Theorem 46. Let n N, n 3. The inverse of any permutation in A n can be written as a product of 3-cycles in A n+1 \ A n. Moreover, the cyclic groups generated by each 3-cycle in the product will be distinct. Proof. Let σ be a permutation in A n that can be written as the product of two disjoint cycles, α and β. If σ = αβ, then σ 1 = α 1 β 1, since the cycles are disjoint. Using Lemma 45, we can write α 1 and β 1 as products of 3-cycles in A n+1 as desired. From Lemma 44, we know that each product will contain cycles with distinct cyclic subgroups. And since α and β are disjoint cycles, α 1 and β 1 will also be disjoint, with no repeated cycles. Therefore, we can write σ 1 as a product of 3-cycles in A n+1 \ A n. Inductively, we can extend this result to any finite product of cycles.
43 36 Products of 5-cycles Recall that the 3-cycles generate A n. Since (a b c) = (c d b e a)(a d c e b), we can also generate A n using 5-cycles. Thus our problem still lies in A n. Hypothesis 47. We will extend Hypothesis 32 to 5-cycles now. If the 5-cycle (a b c d e) was used in the original product, we will not use any elements in (a b c d e) in our new product. We start by doing examples: Example 48. (1 2 3) 1 = (y x)(x y), ( ) 1 = (y x)(x y), ( ) 1 = (6 5 4 y 3)(y 3 2 x 4)(x y) = (y x)(x y)(y x)(x y) ( ) 1 = (y x)(x y)(y x)(x y) ( ) 1 = ( y 7)(y 7 6 x 8)(x y)(y x) (x y) = (y x)(x y)(y x)(x y) (y x)(x y). Notice that ( ) 1 = ( ) 1 ( ) 1, where
44 37 ( ) 1 is simply a relabeling of ( ) 1. And ( ) 1 = ( ) 1 ( ) 1. Remark 49. Before giving a detailed proof about the general products used to write the inverses in the Example 48, we should notice a few things. Let σ = (x b c a y). Then (x b c a y) 1 = (y a c b x) (y c a b x). If there was a possibility that (y c a b x) was in the group σ, it would have had to be equal to the inverse of σ. This is due to the fact that the inverse of σ is the only permutation in σ that sends x to y. Since (y c a b x) / σ, then σ (y c a b x) = {e}. Thus (a b c) 1, can be written as a product of 5-cycles with disjoint cyclic subgroups. For the remaining cases from Example 48, we need the following definition. Hypothesis 50. Let x = n + 11, y = n + 12, and m N such that m is odd and m n 3. Definition 51. Let ϕ m A n+2 be defined as ϕ m = m i=4t+3 t N (x i + 3 i + 2 i + 1 y)(y i + 1 i i 1 x). Again, if n 2 m n + 3 we will have products that do not live in A n+2. Lemma 52. Every 5-cycle in ϕ m generates a distinct cyclic subgroup.
45 38 Proof. Since (a b c d e) = {e, (a b c d e), (a c e b d), (a d b e c), (a e d c b)}, it will be sufficient to show that none of the cycles in ϕ m share the same five elements. Also note that since 5 is a prime number, all the powers of a 5-cycle will also be 5-cycles or the identity. Let 2 < j m. Suppose first that σ(j) j where σ = (y i + 1 i i 1 x), for some value of i. Then we look at the elements on either side of this cycle, as these are the cycles that will share elements with σ. Since (x i + 3 i + 2 i + 1 y), (x i 1 i 2 i 3 y), and (y i + 1 i i 1 x) all act on a different set of five elements, the cyclic subgroups will be distinct. Next, suppose that σ(j) j, where σ = (x i + 3 i + 2 i + 1 y) for some i. Then we look at the elements on either side of this cycle. Since (y i + 5 i + 4 i 3 x), (y i + 1 i i 1 x), and (x i + 3 i + 2 i + 1 y) all act on a different set of five elements, the cyclic subgroups will be distinct. Therefore, every 5-cycle in ϕ m generates a distinct cyclic subgroup. Because we are only considering permutations in A n, we only consider k-cycles where k is an odd integer. We have the products in Example 48 for k-cycles when k is 3, 5, 7, 9, and 11. The following two lemmas will fully classify all possible k-cycles for k > 7. Lemma 53. Let k > 5 be such that k is odd and k 1 (mod 4). Then if σ is a k-cycle, σ 1 = (y k 1 k 2 k 3 x)ϕ k 6 (x 2 1 k y). Proof. We will prove this by induction. The base case is k = 9, and from Example 48, σ 1 = (y k 1 k 2 k 3 x)ϕ k 6 (x 2 1 k y). We now assume that for all k-cycles σ where 5 < k < j, where k is odd and k 1 (mod 4), we have σ 1 = (y k 1 k 2 k 3 x)ϕ k 6 (x 2 1 k y).
46 39 Let σ be a j-cycle, where j is odd and j 1 (mod 4). Then j 4 j 1 (mod 4), and we can write ( j) 1 = (j 5 j 4 j 3 j 2 j 1) 1 (j j 5) 1, so let α = (j 4 j 3 j 2 j 1 j 5) 1 and β = ( j 5 j) 1. The induction hypothesis tells us that β = (y j 5 j 6 j 7 x) j 10 i=4t+3 t N and our base case tells us that (x i+3 i+2 i+1 y)(y i+1 i i 1 x) (x 2 1 j y), α = (y j 1 j 2 j 3 x)(x j 3 j 4 j 5 y). Then, σ 1 = αβ = (y j 1 j 2 j 3 x)(x j 3 j 4 j 5 y)(y j 5 j 6 j 7 x) j 10 i=4t+3 t N (x i + 3 i + 2 i + 1 y)(y i + 1 i i 1 x)(x 2 1 j y) = (y j 1 j 2 j 3 x) j 6 i=4t+3 t N (x i + 3 i + 2 i + 1 y)(y i + 1 i i 1 x)(x 2 1 j y) = (y j 1 j 2 j 3 x)ϕ j 6 (x 2 1 j y) as desired.
47 Therefore, for k > 5 such that k is odd and k 1 (mod 4), and σ is a k-cycle, σ 1 = (y k 1 k 2 k 3 x)ϕ k 6 (x 2 1 k y). 40 Lemma 54. Let k > 7 be such that k is odd and k 3 (mod 4). Then if σ is a k-cycle, σ 1 = (y k 1 k 2 k 3 x)ϕ k 8 (x y)(y k 1 2 x)(x 2 k 1 y). Proof. Suppose that k > 7, k is odd, and k 3 (mod 4). Then k 2 1 (mod 4), and we can write ( k) 1 = ( k 1) 1 (k 1 2) 1, where α = (3... k 2 k 1 2) 1 and β = (1 2 k) 1. From Lemma 53, we know that α = (y k 1 k 2 k 3 x) k 8 i=4t+3 t N and Example 48 tells us that (x i+3 i+2 i+1 y)(y i+1 i i 1 x)(x y), β = (y k 1 2 x)(x 2 k 1 y). Then, σ 1 = αβ = (y k 1 k 2 k 3 x) k 8 i=4t+3 t N (x y)(y k 1 2 x)(x 2 k 1 y) (x i + 3 i + 2 i + 1 y)(y i + 1 i i 1 x) = (y k 1 k 2 k 3 x)ϕ k 8 (x y)(y k 1 2 x)(x 2 k 1 y).
48 41 as desired. Theorem 55. Let n N, n 3. The inverse of any permutation in A n can be written as a product of 5-cycles in A n+2 \ A n. Moreover, the cyclic groups generated by each 5-cycle in the product will be distinct. Proof. Let σ be a permutation in A n that can be written as the product of two disjoint cycles, α and β. If σ = αβ, then σ 1 = α 1 β 1, since the cycles are disjoint. Using Lemmas 53 and 54, we can write α 1 and β 1 as products of 5-cycles in A n+2 as desired. From Lemma 52, we know that each product will contain 5-cycles with distinct cyclic subgroups. And since α and β are disjoint cycles, α 1 and β 1 will also be disjoint, with no repeated cycles. Therefore, we can write σ 1 as a product of 5-cycles in A n+2 \ A n. Inductively, we can extend this result to any finite product of cycles.
49 PRODUCTS OF p-cycles We now wish to extend our ideas used in the study of 3 and 5-cycles to p-cycles. Let p 5 be a prime number, and we will consider S n such that p n. Recall that conjugation will send a product of p-cycles to another product of p-cycles, and this means that the subgroup generated by the p-cycles in A n will be normal in S n. The only non-trivial normal subgroup in S n for n 5 is A n. Therefore, the subgroup generated by the p-cycles will be A n. Hypothesis 56. We will extend Hypothesis 32 to p-cycles. If the p-cycle σ was used in the original product, we will not use any elements in σ in our new product. We will be working with 3-cycles and trying to rewrite them as p-cycles. In order to do this, we need to complete them using p 3 additional elements that are not present in the 3-cycle already. Before we prove anything for products of p-cycles, we will set some notation that will help us give clearer proofs in this section. Definition 57. We will define the following lists of numbers as follows: set j = p 3, for any odd number p. Let 2 [x] = x 1 x 2 [y] = x j+1... x j... x p 4 x p 3 [x] 1 = x j... x 2 x 1 [y] 1 = x p 3 x p 4... x j+1
50 43 As in the previous sections, we want all the x i s to be larger than n for a fixed S n, so that we know they are not already being used in a permutation. We also want to make sure that we have p 3 distinct elements. Let x i N, such that x i > n for 1 i p 3. We will also set x i < x j when i < j, and this allows us to say that x i x j when i j. In order to understand how these lists are defined and used, we will consider the following example: Example 58. Let p = 7. If we are going to use the lists defined above, we note that we need p 3 = 4 additional elements. We will start by writing the inverse of (1 2 3) as a product of 7-cycles. (1 2 3) 1 = (x 4 x x 2 x 1 )(x 1 x x 3 x 4 ) Note that this permutation will be well defined if x 1, x 2, x 3, and x 4 are distinct from the elements that appear in the cycle (1 2 3). Similarly, we need the x i s to all be distinct from each other. So for this permutation, we can assume that x i N, x i > 3 for 1 i 4, and that x i x j when i j. Now consider the inverse of the cycle ( ): ( ) 1 = (x 4 x x 2 x 1 )(x 1 x x 3 x 4 ) Again, in order to have a well defined permutation, x 1, x 2, x 3, and x 4 must be distinct from the elements that appear in the cycle ( ). For this permutation, we can assume that x i N, x i > 5 for 1 i 4, and that x i x j when i j.
51 44 In the extreme case that we want to write the inverse of ( n) S n as a product of 7-cycles, we will need four distinct elements that do not appear in the n-cycle. Thus, we would assume that x i N, x i > n for 1 i 4, and that x i x j when i j. Under Definition 57, if we want to write the inverse of a cycle ( k) S n, then x 1 = n + 11, x 2 = n + 12, x 3 = n + 13, and x 4 = n Then we can define [x] = x 1 x 2, [y] = x 3 x 4, [x] 1 = x 2 x 1, and [y] 1 = x 4 x 3. For a fixed S n, these lists only contain elements that are greater than n. Thus for any cycle σ S n, we can use the elements in the lists to write σ 1 as a product of 7-cycles, because no element x i in the list will already be present in σ. For example, we take the examples we just did, and rewrite them as (1 2 3) 1 = ([y] [x] 1 )([x] [y]) and ( ) 1 = ([y] [x] 1 )([x] [y]) So we note that for a general prime p, and a fixed S n that we wish to work in, we will not have any problems with undefined functions. As in the previous sections, our additional elements, the x i s, are all defined to be greater than n, so that they can be used in any cycle that contains elements 1 s n.
52 45 We want to use these lists of numbers in our p-cycles in the same way we used x and y in the previous section. This can be seen in the following example. Example 59. Fix p as an odd prime greater than 5, and fix S n as well as the lists of elements from Definition 57 that depend on n and p. Then, (1 2 3) 1 = ([y] [x] 1 )([x] [y]), ( ) 1 = ([y] [x] 1 )([x] [y]), ( ) 1 = ([y] [x] 1 )([x] [y])([y] [x] 1 ) ([x] [y]) Consider the product we claim is the inverse of the 3-cycle, call it σ. We can easily see that σ(2) = 1 and σ(3) = 2. From Example 58 and Definition 57, we know that [x], [y], [x] 1, and [y] 1 will not contain the elements 1, 2, or 3. Definition 57 also allows us to see that the first cycle in the product sends 1 to x j+1, and in the second cycle, x j+1 is mapped to 3. Then σ(1) = 3. And similar to the product in Definition 51, σ(x i ) = x i for any i. Thus the equality above is true. Similar inspection of the other examples gives us the remaining two equalities. Now note that ([x] b c a [y]) 1 = ([y] 1 a c b [x] 1 ) ([y] 1 c a b [x] 1 ),
53 46 when x i a, b, c for all i. Thus (a b c) 1 can be written as a product of p-cycles with disjoint cyclic subgroups. Remark 60. We need at least p 3 additional elements in order to write the inverse of any permutation in A n as a product of p-cycles that were not previously used. In order to understand what this remark means, consider the inverse of the 3-cycle in Example 59. This is our extreme case, as the 3-cycle is the smallest permutation in A n, in that it contains the least number of elements. We were able to use the elements 1, 2, and 3 in both of our p-cycles, but then needed to fill in the rest of the cycle. Thus, in order to write the inverse as a product of p-cycles that were not previously used, we needed p 3 additional elements. And since we used all three of the original elements at our disposal, p 3 is the least number of elements needed for the inverse product. We should note that the method used to write the inverse of 3-cycles might possibly be generalized to larger cycles. For example, if we could write the inverse of a 5-cycle using p-cycles containing all five elements from the five cycle, then we would only need p 5 extra elements. This would give us a better solution, in the sense that we need less additional elements. However, dealing with each type of cycle individually in this manner means that we lose some of our general results on the cyclic subgroups, and the product that we use for all of our inverses. For this reason, we will only be
54 47 considering the case where we use p 3 additional elements for all products in this section. Now we need to define a new product for p-cycles. Hypothesis 61. Let m N such that m is odd and m n 3. Definition 62. For p an odd prime, and n N such that p n, let Φ m A n+(p 3) be defined as Φ m = m i=4t+3 t N ([x] i + 3 i + 2 i + 1 [y])([y] 1 i + 1 i i 1 [x] 1 ). Note that when n 2 m n + 3 we get products that do not live in A n+(p 3). Now we want to make sure that the product of cycles above will be well defined. That is, that we will not have and element l appearing more than once in the same cycle. For any fixed value of i, we do not need to worry about i 1, i, i + 1, i + 2, or i + 3 appearing in a cycle more than once, so long as i + 3 n. However, we need to check that no value of i would allow us to list an element from [x] or [y] more than once. We see that since m n 3, the largest element that can be contained in a cycle using i is i + 3 m + 3 n. Under Definition 57, n < x i for all i. Also note that [x] and [x] 1 never appear in the same cycle together, nor do [y] and [y] 1. Thus Φ m will be well defined. Recall Definition 51, where we defined ϕ m, a product of 5-cycles. This leads us to the following lemma: Lemma 63. Let m 3 be an odd number, and p > 5. Then Φ m = ϕ m.
55 48 Proof. We will prove this by induction on r, where m = 2r + 1. Fix p N as a prime such that p > 5. Base Case: Let r = 1 and m = 3. Fix S n such that 3 n 3, and from n and p, use Definition 57 to define the lists of elements [x] and [y]. Then, Φ 3 = ([x] [y])([y] [x] 1 ) and ϕ m = (x y)(y x) Notice that we can define lists of j 1 items as [x ] = x 1 x 2... x j 1, [y ] = x j+2... x p 3 with the respective [x ] 1 and [y ] 1. That is, [x] = [x ] x j and [y] = x j+1 [y ] For any element x i where i j, j + 1, we have the following: Φ 3 (x i ) = x i Thus we can factor Φ 3 as follows, Φ 3 = ([x] [y])([y] [x] 1 ) = ([x ] x j x j+1 [y ])([y ] 1 x j x j [x ] 1 ) = (x j x j+1 )(x j x j ) = ϕ 3
Notes on the symmetric group
Notes on the symmetric group 1 Computations in the symmetric group Recall that, given a set X, the set S X of all bijections from X to itself (or, more briefly, permutations of X) is group under function
More informationAlgebra homework 8 Homomorphisms, isomorphisms
MATH-UA.343.005 T.A. Louis Guigo Algebra homework 8 Homomorphisms, isomorphisms For every n 1 we denote by S n the n-th symmetric group. Exercise 1. Consider the following permutations: ( ) ( 1 2 3 4 5
More informationAbstract Algebra Solution of Assignment-1
Abstract Algebra Solution of Assignment-1 P. Kalika & Kri. Munesh [ M.Sc. Tech Mathematics ] 1. Illustrate Cayley s Theorem by calculating the left regular representation for the group V 4 = {e, a, b,
More informationPalindromic Permutations and Generalized Smarandache Palindromic Permutations
arxiv:math/0607742v2 [mathgm] 8 Sep 2007 Palindromic Permutations and Generalized Smarandache Palindromic Permutations Tèmítópé Gbóláhàn Jaíyéọlá Department of Mathematics, Obafemi Awolowo University,
More informationA Property Equivalent to n-permutability for Infinite Groups
Journal of Algebra 221, 570 578 (1999) Article ID jabr.1999.7996, available online at http://www.idealibrary.com on A Property Equivalent to n-permutability for Infinite Groups Alireza Abdollahi* and Aliakbar
More informationLaurence Boxer and Ismet KARACA
SOME PROPERTIES OF DIGITAL COVERING SPACES Laurence Boxer and Ismet KARACA Abstract. In this paper we study digital versions of some properties of covering spaces from algebraic topology. We correct and
More informationPh.D. Preliminary Examination MICROECONOMIC THEORY Applied Economics Graduate Program June 2017
Ph.D. Preliminary Examination MICROECONOMIC THEORY Applied Economics Graduate Program June 2017 The time limit for this exam is four hours. The exam has four sections. Each section includes two questions.
More information3 The Model Existence Theorem
3 The Model Existence Theorem Although we don t have compactness or a useful Completeness Theorem, Henkinstyle arguments can still be used in some contexts to build models. In this section we describe
More informationQuadrant marked mesh patterns in 123-avoiding permutations
Quadrant marked mesh patterns in 23-avoiding permutations Dun Qiu Department of Mathematics University of California, San Diego La Jolla, CA 92093-02. USA duqiu@math.ucsd.edu Jeffrey Remmel Department
More informationOn Packing Densities of Set Partitions
On Packing Densities of Set Partitions Adam M.Goyt 1 Department of Mathematics Minnesota State University Moorhead Moorhead, MN 56563, USA goytadam@mnstate.edu Lara K. Pudwell Department of Mathematics
More informationMaximum Contiguous Subsequences
Chapter 8 Maximum Contiguous Subsequences In this chapter, we consider a well-know problem and apply the algorithm-design techniques that we have learned thus far to this problem. While applying these
More informationmaps 1 to 5. Similarly, we compute (1 2)(4 7 8)(2 1)( ) = (1 5 8)(2 4 7).
Math 430 Dr. Songhao Li Spring 2016 HOMEWORK 3 SOLUTIONS Due 2/15/16 Part II Section 9 Exercises 4. Find the orbits of σ : Z Z defined by σ(n) = n + 1. Solution: We show that the only orbit is Z. Let i,
More informationCharacterization of the Optimum
ECO 317 Economics of Uncertainty Fall Term 2009 Notes for lectures 5. Portfolio Allocation with One Riskless, One Risky Asset Characterization of the Optimum Consider a risk-averse, expected-utility-maximizing
More informationLaurence Boxer and Ismet KARACA
THE CLASSIFICATION OF DIGITAL COVERING SPACES Laurence Boxer and Ismet KARACA Abstract. In this paper we classify digital covering spaces using the conjugacy class corresponding to a digital covering space.
More informationPermutation Factorizations and Prime Parking Functions
Permutation Factorizations and Prime Parking Functions Amarpreet Rattan Department of Combinatorics and Optimization University of Waterloo Waterloo, ON, Canada N2L 3G1 arattan@math.uwaterloo.ca June 10,
More informationCollinear Triple Hypergraphs and the Finite Plane Kakeya Problem
Collinear Triple Hypergraphs and the Finite Plane Kakeya Problem Joshua Cooper August 14, 006 Abstract We show that the problem of counting collinear points in a permutation (previously considered by the
More informationA relation on 132-avoiding permutation patterns
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,
More informationDevelopmental Math An Open Program Unit 12 Factoring First Edition
Developmental Math An Open Program Unit 12 Factoring First Edition Lesson 1 Introduction to Factoring TOPICS 12.1.1 Greatest Common Factor 1 Find the greatest common factor (GCF) of monomials. 2 Factor
More informationOrthogonality to the value group is the same as generic stability in C-minimal expansions of ACVF
Orthogonality to the value group is the same as generic stability in C-minimal expansions of ACVF Will Johnson February 18, 2014 1 Introduction Let T be some C-minimal expansion of ACVF. Let U be the monster
More informationLie Algebras and Representation Theory Homework 7
Lie Algebras and Representation Theory Homework 7 Debbie Matthews 2015-05-19 Problem 10.5 If σ W can be written as a product of t simple reflections, prove that t has the same parity as l(σ). Let = {α
More informationSy D. Friedman. August 28, 2001
0 # and Inner Models Sy D. Friedman August 28, 2001 In this paper we examine the cardinal structure of inner models that satisfy GCH but do not contain 0 #. We show, assuming that 0 # exists, that such
More informationA Translation of Intersection and Union Types
A Translation of Intersection and Union Types for the λ µ-calculus Kentaro Kikuchi RIEC, Tohoku University kentaro@nue.riec.tohoku.ac.jp Takafumi Sakurai Department of Mathematics and Informatics, Chiba
More informationCATEGORICAL SKEW LATTICES
CATEGORICAL SKEW LATTICES MICHAEL KINYON AND JONATHAN LEECH Abstract. Categorical skew lattices are a variety of skew lattices on which the natural partial order is especially well behaved. While most
More informationOn the Number of Permutations Avoiding a Given Pattern
On the Number of Permutations Avoiding a Given Pattern Noga Alon Ehud Friedgut February 22, 2002 Abstract Let σ S k and τ S n be permutations. We say τ contains σ if there exist 1 x 1 < x 2
More informationMITCHELL S THEOREM REVISITED. Contents
MITCHELL S THEOREM REVISITED THOMAS GILTON AND JOHN KRUEGER Abstract. Mitchell s theorem on the approachability ideal states that it is consistent relative to a greatly Mahlo cardinal that there is no
More informationSwaps and Inversions
Swaps and Inversions I explained in class why every permutation can be obtained as a product [composition] of swaps and that there are multiple ways to do this. In class, I also mentioned, without explaining
More informationTHE TRAVELING SALESMAN PROBLEM FOR MOVING POINTS ON A LINE
THE TRAVELING SALESMAN PROBLEM FOR MOVING POINTS ON A LINE GÜNTER ROTE Abstract. A salesperson wants to visit each of n objects that move on a line at given constant speeds in the shortest possible time,
More informationThe two meanings of Factor
Name Lesson #3 Date: Factoring Polynomials Using Common Factors Common Core Algebra 1 Factoring expressions is one of the gateway skills necessary for much of what we do in algebra for the rest of the
More informationCOMBINATORICS OF REDUCTIONS BETWEEN EQUIVALENCE RELATIONS
COMBINATORICS OF REDUCTIONS BETWEEN EQUIVALENCE RELATIONS DAN HATHAWAY AND SCOTT SCHNEIDER Abstract. We discuss combinatorial conditions for the existence of various types of reductions between equivalence
More informationTHE IRREDUCIBILITY OF CERTAIN PURE-CYCLE HURWITZ SPACES
THE IRREDUCIBILITY OF CERTAIN PURE-CYCLE HURWITZ SPACES FU LIU AND BRIAN OSSERMAN Abstract. We study pure-cycle Hurwitz spaces, parametrizing covers of the projective line having only one ramified point
More informationRealizability of n-vertex Graphs with Prescribed Vertex Connectivity, Edge Connectivity, Minimum Degree, and Maximum Degree
Realizability of n-vertex Graphs with Prescribed Vertex Connectivity, Edge Connectivity, Minimum Degree, and Maximum Degree Lewis Sears IV Washington and Lee University 1 Introduction The study of graph
More informationMath 167: Mathematical Game Theory Instructor: Alpár R. Mészáros
Math 167: Mathematical Game Theory Instructor: Alpár R. Mészáros Midterm #1, February 3, 2017 Name (use a pen): Student ID (use a pen): Signature (use a pen): Rules: Duration of the exam: 50 minutes. By
More informationOPTIMAL BLUFFING FREQUENCIES
OPTIMAL BLUFFING FREQUENCIES RICHARD YEUNG Abstract. We will be investigating a game similar to poker, modeled after a simple game called La Relance. Our analysis will center around finding a strategic
More informationSTART HERE: Instructions. 1 Exponential Family [Zhou, Manzil]
START HERE: Instructions Thanks a lot to John A.W.B. Constanzo and Shi Zong for providing and allowing to use the latex source files for quick preparation of the HW solution. The homework was due at 9:00am
More informationIterated Dominance and Nash Equilibrium
Chapter 11 Iterated Dominance and Nash Equilibrium In the previous chapter we examined simultaneous move games in which each player had a dominant strategy; the Prisoner s Dilemma game was one example.
More informationComparing Partial Rankings
Comparing Partial Rankings Ronald Fagin Ravi Kumar Mohammad Mahdian D. Sivakumar Erik Vee To appear: SIAM J. Discrete Mathematics Abstract We provide a comprehensive picture of how to compare partial rankings,
More information3 Ways to Write Ratios
RATIO & PROPORTION Sec 1. Defining Ratio & Proportion A RATIO is a comparison between two quantities. We use ratios everyday; one Pepsi costs 50 cents describes a ratio. On a map, the legend might tell
More informationSilver type theorems for collapses.
Silver type theorems for collapses. Moti Gitik May 19, 2014 The classical theorem of Silver states that GCH cannot break for the first time over a singular cardinal of uncountable cofinality. On the other
More information3 Ways to Write Ratios
RATIO & PROPORTION Sec 1. Defining Ratio & Proportion A RATIO is a comparison between two quantities. We use ratios every day; one Pepsi costs 50 cents describes a ratio. On a map, the legend might tell
More informationLECTURE 3: FREE CENTRAL LIMIT THEOREM AND FREE CUMULANTS
LECTURE 3: FREE CENTRAL LIMIT THEOREM AND FREE CUMULANTS Recall from Lecture 2 that if (A, φ) is a non-commutative probability space and A 1,..., A n are subalgebras of A which are free with respect to
More informationOn the h-vector of a Lattice Path Matroid
On the h-vector of a Lattice Path Matroid Jay Schweig Department of Mathematics University of Kansas Lawrence, KS 66044 jschweig@math.ku.edu Submitted: Sep 16, 2009; Accepted: Dec 18, 2009; Published:
More informationMore Advanced Single Machine Models. University at Buffalo IE661 Scheduling Theory 1
More Advanced Single Machine Models University at Buffalo IE661 Scheduling Theory 1 Total Earliness And Tardiness Non-regular performance measures Ej + Tj Early jobs (Set j 1 ) and Late jobs (Set j 2 )
More informationCentral limit theorems
Chapter 6 Central limit theorems 6.1 Overview Recall that a random variable Z is said to have a standard normal distribution, denoted by N(0, 1), if it has a continuous distribution with density φ(z) =
More informationHarvard School of Engineering and Applied Sciences CS 152: Programming Languages
Harvard School of Engineering and Applied Sciences CS 152: Programming Languages Lecture 3 Tuesday, January 30, 2018 1 Inductive sets Induction is an important concept in the theory of programming language.
More informationCongruence lattices of finite intransitive group acts
Congruence lattices of finite intransitive group acts Steve Seif June 18, 2010 Finite group acts A finite group act is a unary algebra X = X, G, where G is closed under composition, and G consists of permutations
More informationTABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC
TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC THOMAS BOLANDER AND TORBEN BRAÜNER Abstract. Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known
More informationLecture 22. Survey Sampling: an Overview
Math 408 - Mathematical Statistics Lecture 22. Survey Sampling: an Overview March 25, 2013 Konstantin Zuev (USC) Math 408, Lecture 22 March 25, 2013 1 / 16 Survey Sampling: What and Why In surveys sampling
More informationGeneralising the weak compactness of ω
Generalising the weak compactness of ω Andrew Brooke-Taylor Generalised Baire Spaces Masterclass Royal Netherlands Academy of Arts and Sciences 22 August 2018 Andrew Brooke-Taylor Generalising the weak
More informationName For those going into. Algebra 1 Honors. School years that begin with an ODD year: do the odds
Name For those going into LESSON 2.1 Study Guide For use with pages 64 70 Algebra 1 Honors GOAL: Graph and compare positive and negative numbers Date Natural numbers are the numbers 1,2,3, Natural numbers
More informationTHE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET
THE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET MICHAEL PINSKER Abstract. We calculate the number of unary clones (submonoids of the full transformation monoid) containing the
More informationNon replication of options
Non replication of options Christos Kountzakis, Ioannis A Polyrakis and Foivos Xanthos June 30, 2008 Abstract In this paper we study the scarcity of replication of options in the two period model of financial
More informationTechniques for Calculating the Efficient Frontier
Techniques for Calculating the Efficient Frontier Weerachart Kilenthong RIPED, UTCC c Kilenthong 2017 Tee (Riped) Introduction 1 / 43 Two Fund Theorem The Two-Fund Theorem states that we can reach any
More informationGPD-POT and GEV block maxima
Chapter 3 GPD-POT and GEV block maxima This chapter is devoted to the relation between POT models and Block Maxima (BM). We only consider the classical frameworks where POT excesses are assumed to be GPD,
More informationFractional Graphs. Figure 1
Fractional Graphs Richard H. Hammack Department of Mathematics and Applied Mathematics Virginia Commonwealth University Richmond, VA 23284-2014, USA rhammack@vcu.edu Abstract. Edge-colorings are used to
More informationOn the Optimality of a Family of Binary Trees Techical Report TR
On the Optimality of a Family of Binary Trees Techical Report TR-011101-1 Dana Vrajitoru and William Knight Indiana University South Bend Department of Computer and Information Sciences Abstract In this
More informationEssays on Some Combinatorial Optimization Problems with Interval Data
Essays on Some Combinatorial Optimization Problems with Interval Data a thesis submitted to the department of industrial engineering and the institute of engineering and sciences of bilkent university
More informationThe illustrated zoo of order-preserving functions
The illustrated zoo of order-preserving functions David Wilding, February 2013 http://dpw.me/mathematics/ Posets (partially ordered sets) underlie much of mathematics, but we often don t give them a second
More informationForecast Horizons for Production Planning with Stochastic Demand
Forecast Horizons for Production Planning with Stochastic Demand Alfredo Garcia and Robert L. Smith Department of Industrial and Operations Engineering Universityof Michigan, Ann Arbor MI 48109 December
More informationPh.D. Preliminary Examination MICROECONOMIC THEORY Applied Economics Graduate Program August 2017
Ph.D. Preliminary Examination MICROECONOMIC THEORY Applied Economics Graduate Program August 2017 The time limit for this exam is four hours. The exam has four sections. Each section includes two questions.
More informationClassifying Descents According to Parity
Classifying Descents According to Parity arxiv:math/0508570v1 [math.co] 29 Aug 2005 Sergey Kitaev Reyjaví University Ofanleiti 2 IS-103 Reyjaví, Iceland sergey@ru.is Jeffrey Remmel Department of Mathematics
More information4 Martingales in Discrete-Time
4 Martingales in Discrete-Time Suppose that (Ω, F, P is a probability space. Definition 4.1. A sequence F = {F n, n = 0, 1,...} is called a filtration if each F n is a sub-σ-algebra of F, and F n F n+1
More informationGame Theory: Normal Form Games
Game Theory: Normal Form Games Michael Levet June 23, 2016 1 Introduction Game Theory is a mathematical field that studies how rational agents make decisions in both competitive and cooperative situations.
More informationPre-Algebra, Unit 7: Percents Notes
Pre-Algebra, Unit 7: Percents Notes Percents are special fractions whose denominators are 100. The number in front of the percent symbol (%) is the numerator. The denominator is not written, but understood
More informationMAT 4250: Lecture 1 Eric Chung
1 MAT 4250: Lecture 1 Eric Chung 2Chapter 1: Impartial Combinatorial Games 3 Combinatorial games Combinatorial games are two-person games with perfect information and no chance moves, and with a win-or-lose
More informationPart A: Questions on ECN 200D (Rendahl)
University of California, Davis Date: June 27, 2011 Department of Economics Time: 5 hours Macroeconomics Reading Time: 20 minutes PRELIMINARY EXAMINATION FOR THE Ph.D. DEGREE Directions: Answer all questions.
More information19. CONFIDENCE INTERVALS FOR THE MEAN; KNOWN VARIANCE
19. CONFIDENCE INTERVALS FOR THE MEAN; KNOWN VARIANCE We assume here that the population variance σ 2 is known. This is an unrealistic assumption, but it allows us to give a simplified presentation which
More informationMath-Stat-491-Fall2014-Notes-V
Math-Stat-491-Fall2014-Notes-V Hariharan Narayanan December 7, 2014 Martingales 1 Introduction Martingales were originally introduced into probability theory as a model for fair betting games. Essentially
More informationGame Theory Fall 2003
Game Theory Fall 2003 Problem Set 5 [1] Consider an infinitely repeated game with a finite number of actions for each player and a common discount factor δ. Prove that if δ is close enough to zero then
More informationMicroeconomic Theory August 2013 Applied Economics. Ph.D. PRELIMINARY EXAMINATION MICROECONOMIC THEORY. Applied Economics Graduate Program
Ph.D. PRELIMINARY EXAMINATION MICROECONOMIC THEORY Applied Economics Graduate Program August 2013 The time limit for this exam is four hours. The exam has four sections. Each section includes two questions.
More informationClass Notes: On the Theme of Calculators Are Not Needed
Class Notes: On the Theme of Calculators Are Not Needed Public Economics (ECO336) November 03 Preamble This year (and in future), the policy in this course is: No Calculators. This is for two constructive
More informationStrongly compact Magidor forcing.
Strongly compact Magidor forcing. Moti Gitik June 25, 2014 Abstract We present a strongly compact version of the Supercompact Magidor forcing ([3]). A variation of it is used to show that the following
More informationComputing Unsatisfiable k-sat Instances with Few Occurrences per Variable
Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable Shlomo Hoory and Stefan Szeider Department of Computer Science, University of Toronto, shlomoh,szeider@cs.toronto.edu Abstract.
More informationHarvard School of Engineering and Applied Sciences CS 152: Programming Languages
Harvard School of Engineering and Applied Sciences CS 152: Programming Languages Lecture 2 Thursday, January 30, 2014 1 Expressing Program Properties Now that we have defined our small-step operational
More informationCumulants and triangles in Erdős-Rényi random graphs
Cumulants and triangles in Erdős-Rényi random graphs Valentin Féray partially joint work with Pierre-Loïc Méliot (Orsay) and Ashkan Nighekbali (Zürich) Institut für Mathematik, Universität Zürich Probability
More informationAlgebra and Number Theory Exercise Set
Algebra and Number Theory Exercise Set Kamil Niedzia lomski 1 Algebra 1.1 Complex Numbers Exercise 1. Find real and imaginary part of complex numbers (1) 1 i 2+i (2) (3 + 7i)( 3 + i) (3) ( 3+i)( 1+i 3)
More informationChapter 10: Mixed strategies Nash equilibria, reaction curves and the equality of payoffs theorem
Chapter 10: Mixed strategies Nash equilibria reaction curves and the equality of payoffs theorem Nash equilibrium: The concept of Nash equilibrium can be extended in a natural manner to the mixed strategies
More informationFinite Memory and Imperfect Monitoring
Federal Reserve Bank of Minneapolis Research Department Finite Memory and Imperfect Monitoring Harold L. Cole and Narayana Kocherlakota Working Paper 604 September 2000 Cole: U.C.L.A. and Federal Reserve
More informationTug of War Game. William Gasarch and Nick Sovich and Paul Zimand. October 6, Abstract
Tug of War Game William Gasarch and ick Sovich and Paul Zimand October 6, 2009 To be written later Abstract Introduction Combinatorial games under auction play, introduced by Lazarus, Loeb, Propp, Stromquist,
More informationMarch 30, Why do economists (and increasingly, engineers and computer scientists) study auctions?
March 3, 215 Steven A. Matthews, A Technical Primer on Auction Theory I: Independent Private Values, Northwestern University CMSEMS Discussion Paper No. 196, May, 1995. This paper is posted on the course
More informationOutline. 1 Introduction. 2 Algorithms. 3 Examples. Algorithm 1 General coordinate minimization framework. 1: Choose x 0 R n and set k 0.
Outline Coordinate Minimization Daniel P. Robinson Department of Applied Mathematics and Statistics Johns Hopkins University November 27, 208 Introduction 2 Algorithms Cyclic order with exact minimization
More informationWeb Appendix: Proofs and extensions.
B eb Appendix: Proofs and extensions. B.1 Proofs of results about block correlated markets. This subsection provides proofs for Propositions A1, A2, A3 and A4, and the proof of Lemma A1. Proof of Proposition
More informationMixed Strategies. Samuel Alizon and Daniel Cownden February 4, 2009
Mixed Strategies Samuel Alizon and Daniel Cownden February 4, 009 1 What are Mixed Strategies In the previous sections we have looked at games where players face uncertainty, and concluded that they choose
More informationGlobal Joint Distribution Factorizes into Local Marginal Distributions on Tree-Structured Graphs
Teaching Note October 26, 2007 Global Joint Distribution Factorizes into Local Marginal Distributions on Tree-Structured Graphs Xinhua Zhang Xinhua.Zhang@anu.edu.au Research School of Information Sciences
More informationFinal Exam (Solutions) ECON 4310, Fall 2014
Final Exam (Solutions) ECON 4310, Fall 2014 1. Do not write with pencil, please use a ball-pen instead. 2. Please answer in English. Solutions without traceable outlines, as well as those with unreadable
More information1.1 Interest rates Time value of money
Lecture 1 Pre- Derivatives Basics Stocks and bonds are referred to as underlying basic assets in financial markets. Nowadays, more and more derivatives are constructed and traded whose payoffs depend on
More informationMartingales. by D. Cox December 2, 2009
Martingales by D. Cox December 2, 2009 1 Stochastic Processes. Definition 1.1 Let T be an arbitrary index set. A stochastic process indexed by T is a family of random variables (X t : t T) defined on a
More informationMath 101, Basic Algebra Author: Debra Griffin
Math 101, Basic Algebra Author: Debra Griffin Name Chapter 5 Factoring 5.1 Greatest Common Factor 2 GCF, factoring GCF, factoring common binomial factor 5.2 Factor by Grouping 5 5.3 Factoring Trinomials
More informationGame Theory. Lecture Notes By Y. Narahari. Department of Computer Science and Automation Indian Institute of Science Bangalore, India August 2012
Game Theory Lecture Notes By Y. Narahari Department of Computer Science and Automation Indian Institute of Science Bangalore, India August 2012 Chapter 6: Mixed Strategies and Mixed Strategy Nash Equilibrium
More informationSo we turn now to many-to-one matching with money, which is generally seen as a model of firms hiring workers
Econ 805 Advanced Micro Theory I Dan Quint Fall 2009 Lecture 20 November 13 2008 So far, we ve considered matching markets in settings where there is no money you can t necessarily pay someone to marry
More informationMATH 121 GAME THEORY REVIEW
MATH 121 GAME THEORY REVIEW ERIN PEARSE Contents 1. Definitions 2 1.1. Non-cooperative Games 2 1.2. Cooperative 2-person Games 4 1.3. Cooperative n-person Games (in coalitional form) 6 2. Theorems and
More informationThe Binomial Theorem and Consequences
The Binomial Theorem and Consequences Juris Steprāns York University November 17, 2011 Fermat s Theorem Pierre de Fermat claimed the following theorem in 1640, but the first published proof (by Leonhard
More informationSolution of the problem of the identified minimum for the tri-variate normal
Proc. Indian Acad. Sci. (Math. Sci.) Vol., No. 4, November 0, pp. 645 660. c Indian Academy of Sciences Solution of the problem of the identified minimum for the tri-variate normal A MUKHERJEA, and M ELNAGGAR
More information15-451/651: Design & Analysis of Algorithms November 9 & 11, 2015 Lecture #19 & #20 last changed: November 10, 2015
15-451/651: Design & Analysis of Algorithms November 9 & 11, 2015 Lecture #19 & #20 last changed: November 10, 2015 Last time we looked at algorithms for finding approximately-optimal solutions for NP-hard
More information3.1 Properties of Binomial Coefficients
3 Properties of Binomial Coefficients 31 Properties of Binomial Coefficients Here is the famous recursive formula for binomial coefficients Lemma 31 For 1 < n, 1 1 ( n 1 ) This equation can be proven by
More informationarxiv: v1 [q-fin.pm] 13 Mar 2014
MERTON PORTFOLIO PROBLEM WITH ONE INDIVISIBLE ASSET JAKUB TRYBU LA arxiv:143.3223v1 [q-fin.pm] 13 Mar 214 Abstract. In this paper we consider a modification of the classical Merton portfolio optimization
More informationSample Size for Assessing Agreement between Two Methods of Measurement by Bland Altman Method
Meng-Jie Lu 1 / Wei-Hua Zhong 1 / Yu-Xiu Liu 1 / Hua-Zhang Miao 1 / Yong-Chang Li 1 / Mu-Huo Ji 2 Sample Size for Assessing Agreement between Two Methods of Measurement by Bland Altman Method Abstract:
More informationBest-Reply Sets. Jonathan Weinstein Washington University in St. Louis. This version: May 2015
Best-Reply Sets Jonathan Weinstein Washington University in St. Louis This version: May 2015 Introduction The best-reply correspondence of a game the mapping from beliefs over one s opponents actions to
More informationThe text book to this class is available at
The text book to this class is available at www.springer.com On the book's homepage at www.financial-economics.de there is further material available to this lecture, e.g. corrections and updates. Financial
More informationWada s Representations of the. Pure Braid Group of High Degree
Theoretical Mathematics & Applications, vol2, no1, 2012, 117-125 ISSN: 1792-9687 (print), 1792-9709 (online) International Scientific Press, 2012 Wada s Representations of the Pure Braid Group of High
More informationOptimization Prof. A. Goswami Department of Mathematics Indian Institute of Technology, Kharagpur. Lecture - 18 PERT
Optimization Prof. A. Goswami Department of Mathematics Indian Institute of Technology, Kharagpur Lecture - 18 PERT (Refer Slide Time: 00:56) In the last class we completed the C P M critical path analysis
More information