DOCSLIB.ORG

Maps, Maidens and Molecules Transcript

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Maps, Maidens and Molecules Transcript Maps, Maidens and Molecules Transcript Date: Wednesday, 16 October 2002 - 11:00PM Maps, Maidens and Molecules: The world of Victorian combinatorics by Robin Wilson This talk on Victorian combinatorics combines my interests in the history of British mathematics particularly during the Victorian period - and in combinatorics. The word 'Victorian' is straightforward: most of the events I'll be talking about occurred in Britain in the period of Queen Victoria's reign. But what about 'combinatorics'? The word is clearly related to 'combinations', and it refers to the area of mathematics concerned with combining, arranging and counting various things, as you'll see. Much of the development of combinatorics in the nineteenth century took place in Victorian Britain, often by eccentric amateur mathematicians (frequently, clergymen, lawyers and military gentlemen) who found such problems appealing; for example, in Thomas Pynchon's book Gravity's Rainbow, there's an elderly character called Brigadier Pudding, of whom it is said: he was, like many military gentlemen of his generation, fascinated by combinatorial mathematics. For today, I've chosen four typical (but varied) topics to illustrate Victorian combinatorics, and here are some of the people you'll be getting to know in the next hour. Incidentally, this talk can be taken on various levels, so although I'll need to get technical from time to time, don't worry if you don't follow all the mathematical details; just hang on and wait for the more historical parts. I've called the first topic 'triple systems', and I'd like to start by introducing you to the annual Lady's and Gentleman's Diary: designed principally for the amusement and instruction of students in mathematics, comprising many useful and entertaining particulars, interesting to all persons engaged in that delightful pursuit. In 1844, its editor, the Revd. Wesley Woolhouse, himself a keen amateur mathematician, presented Prize Question No. 1733 for his readers to solve: Determine the number of combinations that can be made out of n symbols, p symbols in each; with this limitation, that no combination of q symbols, which may appear in any one of them shall be repeated in any other. Don't worry if you don't understand this - many of the attempted solutions showed that its solvers didn't understand it either. In fact, no-one managed to produce a satisfactory answer, and so in 1846 Wesley Woolhouse made it simpler by choosing p = 3 and q = 2. The problem then becomes: How many triads can be made out of n symbols, so that no pair of symbols shall be comprised more than once amongst them? As you can see, it's a problem about arranging things: we take a number of symbols and we're asked to arrange them into 'triads', or 'triples', in such a way that a particular condition is satisfied. Here's an example. We've taken our 7 symbols to be the numbers 1 - 7, and arranged them vertically into triples, as shown below: 1234567 2345671 4567123 The condition that has to be satisfied is that no pair of numbers may occur together more than once - here, and from now on, each pair appears exactly once. For example, the numbers 2 and 3 appear together in the second triple, while the numbers 3 and 7 appear together in the final triple, and the same is true for any two of the numbers that you choose. Such an arrangement of numbers is now usually called a Steiner triple system, after the Swiss mathematician Jakob Steiner, but Steiner did nothing on them and the credit should rightly go to a Lancashire clergyman, the Revd. Thomas Penyngton Kirkman, who made substantial contributions to the subject, as you'll see. Kirkman was the rector of the tiny parish of Croft-with-Southworth, near Warrington. His parochial duties were not demanding, and left him a lot of time to have seven children and do a lot of mathematics, becoming a Fellow of the Royal Society in the process. Here are two triple systems - the one we had before for n = 7, with seven triples, and one for n = 9, with twelve triples. Again, note that any pair of numbers appears in exactly one triple - for example, in the second system, the pair 3 and 8 appear together in the eighth triple. 1234567 2345671 4567123 111122233347 245645645658 379898787969 Such triple systems are used in agriculture, in the design of experiments. Suppose that you wish to compare seven varieties of wheat. If your fields are not large enough for you to plant all seven types of wheat in each field, you can plant varieties 1, 2 and 4 in the first field, varieties 2, 3 and 5 in the second, and so on. With the above arrangement, you can directly compare each pair of varieties in one of the seven fields. Notice, by the way, that this first system is easy to construct, since from the first triple, consisting of 1, 2 and 4, you can then obtain each successive triple by adding 1 to each number, replacing 7 by 1 whenever you need to; so, once you've found your starting triple, the rest follows. Such systems are called cyclic systems, and we'll see them again later; they've even been used in music theory, where each triple represents a chord of three notes and each chord after the first is obtained from the previous one by transposition. When do triple systems exist? They certainly exist when n is 7 or 9, but for which other values? In a ground-breaking paper of 1847, Kirkman showed, by a simple counting argument, that triple systems can occur only when n, the total number of symbols, is one of the numbers in the sequence 7, 9, 13, 15, 19, 21, 25, . - these numbers are all 1 or 3 more than a multiple of 6; indeed, you can see that the total number n must be odd because the number 1 appears with all the other numbers in pairs. Kirkman also showed - and this was much more difficult - that for each such number one can actually construct such a triple system, and he gave an explicit construction for doing so. Before I introduce the 'maidens' in the title of this talk, I'd like to look again at the system with n = 9. 147|123|123|123 258|456|645|564 369|789|897|978 Here I've rearranged the twelve triples in such a way that the system splits into four parts with all the numbers from 1 to 9 appearing in each part. In the context of comparing varieties of wheat, you can think of each part as representing a season: in the first season, you plant three fields with varieties 1, 2 and 3 for the first; 4, 5 and 6 for the second; and 7, 8 and 9 for the third; in the next season you plant them with varieties 1, 4 and 7; 2, 5 and 8; 3, 6 and 9; and so on for the remaining two seasons. After four seasons, you will have succeeded in comparing each pair of varieties exactly once. Such a division into seasons can happen only when n is divisible by 3, which means that n must be 3 more than a multiple of 6. This includes the case n = 9, and also n = 15, as we now see. One of the entertaining features of the Lady's and Gentleman's Diary was that it always contained a number of queries sent by the readers, and 1850 was no exception. In that year, there were queries by Mr Lugg on the origin of April Fools' Day, by the Revd. Hope on the three sons of Noah, by Mr Herdson on the saltiness of the sea, and finally a query by the Revd. Thomas Pennington Kirkman: Fifteen young ladies in a school walk out three abreast for seven days in succession: it is required to arrange them daily, so that no two shall walk twice abreast. If there had been only 9 young ladies, we could have used the system above, with the four seasons now corresponding to four days: on the first day, 1 walks with 2 and 3, 4 walks with 5 and 6, and 7 walks with 8 and 9; on the second day, 1 walks with 4 and 7, and so on - and no two young ladies walk together more than once. The problem for 15 young ladies is now known as the Kirkman schoolgirls problem: here's a solution of it. (OHP) Monday: 1-2-3; 4-5-6; 7-8-9; 10-11-12; 13-14-15 Tuesday: 1-4-7; 2-5-8; 3-12-15; 6-10-14; 9-11-13 Wednesday:1-10-13; 2-11-14; 3-6-9; 4-8- 12; 5-7-15 Thursday:1-5-11; 2-6-12; 3-7-13; 4-9-14; 8-10-15 Friday:1-8-14; 2-9-15; 3-4-10; 6-7-11; 5-12-13 Saturday:1-6-15; 2-4-13; 3-8-11; 5-9-10; 7-12-14 Sunday:1-9-12; 2-7-10; 3-5-14; 6-8-13; 4-11-15 Notice that, as before, any two schoolgirls walk together exactly once; for example, schoolgirls 3 and 10 walk together on Friday. This question was more successful than the one in the 1844 Lady's and Gentleman's Diary. Here are the solutions that appeared in the 1851 Diary: one by Kirkman himself, and one obtained independently by Mr Bills of Newark, Mr Jones of Chester, Mr Wainman of Leeds, and Mr Levy of Hungerford; how they all came up with exactly the same solution, I have no idea.
Load more

Recommended publications
  • The Cambridge Mathematical Journal and Its Descendants: the Linchpin of a Research Community in the Early and Mid-Victorian Age ✩
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Historia Mathematica 31 (2004) 455–497 www.elsevier.com/locate/hm The Cambridge Mathematical Journal and its descendants: the linchpin of a research community in the early and mid-Victorian Age ✩ Tony Crilly ∗ Middlesex University Business School, Hendon, London NW4 4BT, UK Received 29 October 2002; revised 12 November 2003; accepted 8 March 2004 Abstract The Cambridge Mathematical Journal and its successors, the Cambridge and Dublin Mathematical Journal,and the Quarterly Journal of Pure and Applied Mathematics, were a vital link in the establishment of a research ethos in British mathematics in the period 1837–1870. From the beginning, the tension between academic objectives and economic viability shaped the often precarious existence of this line of communication between practitioners. Utilizing archival material, this paper presents episodes in the setting up and maintenance of these journals during their formative years. 2004 Elsevier Inc. All rights reserved. Résumé Dans la période 1837–1870, le Cambridge Mathematical Journal et les revues qui lui ont succédé, le Cambridge and Dublin Mathematical Journal et le Quarterly Journal of Pure and Applied Mathematics, ont joué un rôle essentiel pour promouvoir une culture de recherche dans les mathématiques britanniques. Dès le début, la tension entre les objectifs intellectuels et la rentabilité économique marqua l’existence, souvent précaire, de ce moyen de communication entre professionnels. Sur la base de documents d’archives, cet article présente les épisodes importants dans la création et l’existence de ces revues. 2004 Elsevier Inc.
    [Show full text]
  • From Points of Inflection to Bones of Contention: the Birth of Block
    From points of inflection to bones of contention: the birth of block designs, normed algebras, and finite geometries Ezra Brown, Virginia Tech Adrian Rice, Randolph-Macon College MD/DC/VA Spring Section Meeting Salisbury University April 12, 2013 Brown-Rice Block designs, normed algebras, and finite geometries What To Expect 1835: Pl¨ucker, inflection points on cubics, and the (9; 3; 1) block design 1843-45: Graves, Cayley, the octonions, and seven triples 1844-47: Woolhouse, Kirkman, and the (7; 3; 1) design 1853: Steiner and the “first” triple systems 1892: Fano, the “first” finite geometry, and (7; 3; 1) 2013: Conclusions { not quite the end Brown-Rice Block designs, normed algebras, and finite geometries Elliptic curves y2= x3-2x y2=x3+2 R*R P+Q Q P R P*Q R+R An elliptic curve is the set of all points (x; y) where y 2 = g(x) where g is a cubic polynomial with three distinct roots. A point of inflection on an elliptic curve is a point (x; y) on the curve where y 00 is defined and changes sign. Brown-Rice Block designs, normed algebras, and finite geometries Pl¨ucker Julius Pl¨ucker (1801-1868) Brown-Rice Block designs, normed algebras, and finite geometries 1835: Pl¨ucker's discovery The first finite geometry The nine points of inflection on an elliptic curve: 8 1 6 3 5 7 4 9 2 The nine-point affine plane AG(2; 3) (9; 3; 1): the first \Steiner" triple system three rows: f1; 6; 8g; f2; 4; 9g; f3; 5; 7g three columns: f1; 5; 9g; f2; 6; 7g; f3; 4; 8g three main diagonals: f1; 4; 7g; f2; 5; 8g; f3; 6; 9g three off diagonals: f1; 2; 3g; f4; 5; 6g; f7; 8; 9g 9 points, 3 points to a line, each pair of points on exactly 1 line Brown-Rice Block designs, normed algebras, and finite geometries Normed Algebras Definition A normed algebra A is an n-dimensional vector space over the real numbers R such that α(xy) = (αx)y = x(αy); for all α 2 R; x; y 2 A x(y + z) = xy + xz; (y + z)x = yx + zx; 8x; y; z 2 A There exists a function N : A ! R such that N(xy) = N(x)N(y) for all x; y 2 A: Examples The real numbers R form a one-dimensional normed algebra with N(x) = x2.
    [Show full text]
  • A Case Study of Mathematical Exchange
    Philosophia Scientiæ Travaux d'histoire et de philosophie des sciences 19-2 | 2015 Circulations et échanges mathématiques Partnership and Partition: A Case Study of Mathematical Exchange Adrian Rice Electronic version URL: http://journals.openedition.org/philosophiascientiae/1113 DOI: 10.4000/philosophiascientiae.1113 ISSN: 1775-4283 Publisher Éditions Kimé Printed version Date of publication: 25 May 2015 Number of pages: 115-134 ISSN: 1281-2463 Electronic reference Adrian Rice, « Partnership and Partition: A Case Study of Mathematical Exchange », Philosophia Scientiæ [Online], 19-2 | 2015, Online since 09 June 2015, connection on 04 November 2020. URL : http://journals.openedition.org/philosophiascientiae/1113 ; DOI : https://doi.org/10.4000/ philosophiascientiae.1113 Tous droits réservés Partnership and Partition: A Case Study of Mathematical Exchange Adrian Rice Randolph-Macon College, Ashland (USA) Résumé : Cela fait maintenant un peu plus de cent ans qu’a débuté le partena- riat entre l’analyste de Cambridge G. H. Hardy et le génie indien des mathéma- tiques Srinivasa Ramanujan, partenariat qui constitue l’une des plus célèbres collaborations de l’histoire des mathématiques. La manière dont Ramanujan est arrivé à Cambridge et l’accueil enthousiaste qu’il a reçu de la part de la communauté mathématique britannique sont aujourd’hui presque légendaires. Mais, dans le contexte de ce numéro, cet événement fournit une étude de cas intéressante d’échange mathématique. Cet article examine un résultat particu- lier dû au partenariat créatif entre Hardy et Ramanujan, leur article de 1918 sur les partitions, et montre que l’échange que leur travail sur cet article a provoqué a été en partie facilité par leur appartenance à la première société savante pour la promotion de la recherche mathématique en Grande-Bretagne : la London Mathematical Society.
    [Show full text]
  • Note on Bicomplex Matrices
    MATHEMATICAL SCIENCES AND APPLICATIONS E-NOTES 6 (2)46-56 (2018) c MSAEN Note on Bicomplex Matrices Canan Ölçek and Semra Kaya Nurkan* (Communicated by Bülent ALTUNKAYA) Abstract In this paper, we consider bicomplex numbers and bicomplex matrices. Firstly, we give some properties of bicomplex numbers.After that we investigate bicomplex matrices using properties of complex ma- trices.Then we define the complex adjoint matrix of bicomplex matrices and we describe some of their properties. Furthermore, we give the definition of q-determinant of bicomplex matrices. Keywords: Complex number; Bicomplex number; Complex matrix; Bicomplex matrix. AMS Subject Classification (2010): 15B33; 11E88; 11R52. *Corresponding author 1. Introduction The subject of multiple imaginary units was examined in the 1840s. In a long series "On quaternions; or on a new system of imaginaries in algebra" beginning in 1844 in Philosophical Magazine, William Rowan Hamilton communicated a system multiplying according to the quaternion group. In 1848 Thomas Kirkman reported on his correspondence with Arthur Cayley regarding equations on the units determining a system of hypercomplex numbers. It is possible to arrive to bicomplex numbers by means of purely algebraic considerations. For example, if in a complex number a + ib we replace the real numbers a and b by complex numbers z1 = a1 + ia2 and z2 = b1 + ib2, then we get just another complex number: z1 + iz2 = (a1 + ia2) + i(b1 + ib2) = (a1 − b2) + i(a2 + b1): If we want to obtain a new type of number, then we must use another imaginary unit, say j, with j2 = −1, and set z1 + jz2 = (a1 + ia2) + j(b1 + ib2) which gives a new object, outside the field of complex numbers.
    [Show full text]
  • 50 Cles Pour Comprendre Les Maths
    CLÉS POUR5O COMPRENDRE LES MATHS TONY CRILLY Traduit de l’anglais par Véronique Bordellès Table des matières Introduction 3 27 Le postulat des parallèles 108 28 La géométrie discrète 112 01 Zéro 4 29 Les graphes 116 02 Les systèmes de nombres 8 30 Le problème des quatre couleurs 120 03 Les fractions 12 31 Les probabilités 124 04 Les carrés et les racines carrées 16 32 La théorie de Bayes 128 05 π 20 33 Le problème des anniversaires 132 06 e 24 34 Les lois de probabilités 136 07 L’infini 28 35 La courbe de la loi normale 140 08 Les nombres imaginaires 32 36 Données corrélées 144 09 Les nombres premiers 36 37 La génétique 148 10 Les nombres parfaits 40 38 Les groupes 152 11 Les nombres de Fibonacci 44 39 Les matrices 156 12 Les rectangles d’or 48 40 Les codes 160 13 Le triangle de Pascal 52 41 Le dénombrement 164 14 L’algèbre 56 42 Les carrés magiques 168 15 L’algorithme d’Euclide 60 43 Les carrés latins 172 16 La logique 64 44 Les mathématiques financières 176 17 Les preuves 68 45 Le problème du régime 180 18 Les ensembles 72 46 Le voyageur de commerce 184 19 Le calcul différentiel 76 47 La théorie des jeux 188 20 Les constructions 80 48 La relativité 192 21 Les triangles 84 49 Le grand théorème de Fermat 196 22 Les courbes 88 50 L’hypothèse de Riemann 200 23 La topologie 92 24 La dimension 96 Glossaire 204 25 Les fractales 100 Index 206 26 Le chaos 104 Introduction 3 Introduction Les mathématiques sont un vaste domaine que nul ne peut maîtriser entièrement.
    [Show full text]
  • The Life and Work of Major Percy Alexander Macmahon Paul Garcia
    The life and work of Major Percy Alexander MacMahon PhD Thesis by Dr Paul Garcia History of Mathematics Thesis submitted to the Open University in fulfilment of the Degree of Doctor of Philosophy The life and work of Major Percy Alexander MacMahon Paul Garcia B.A. (Hons), MSc (Mathematics), MSc (Information and Knowledge Technology) May 2006 1 The life and work of Major Percy Alexander MacMahon PhD Thesis by Dr Paul Garcia Abstract This thesis describes the life and work of the mathematician Major Percy Alexander MacMahon (1854 - 1929). His early life as a soldier in the Royal Artillery and events which led to him embarking on a career in mathematical research and teaching are dealt with in the first two chapters. Succeeding chapters explain the work in invariant theory and partition theory which brought him to the attention of the British mathematical community and eventually resulted in a Fellowship of the Royal Society, the presidency of the London Mathematical Society, and the award of three prestigious mathematical medals and four honorary doctorates. The development and importance of his recreational mathematical work is traced and discussed. MacMahon’s career in the Civil Service as Deputy Warden of the Standards at the Board of Trade is also described. Throughout the thesis, his involvement with the British Association for the Advancement of Science and other scientific organisations is highlighted. The thesis also examines possible reasons why MacMahon’s work, held in very high regard at the time, did not lead to the lasting fame accorded to some of his contemporaries. Details of his personal and social life are included to give a picture of MacMahon as a real person working hard to succeed in a difficult context.
    [Show full text]
  • A Historical Case Study of the Interconnection of Mathematical Ideas
    BSHM Bulletin, 2016 Vol. 31, No. 2, 90À103, http://dx.doi.org/10.1080/17498430.2015.1046038 Commutativity and collinearity: a historical case study of the interconnection of mathematical ideas. Part II ADRIAN RICE Randolph-Macon College, USA EZRA BROWN Virginia Tech, USA This paper investigates the discovery of an intriguing and fundamental connection between the famous but apparently unrelated mathematical work of two late third-century mathematicians. This link went unnoticed for well over 1500 years until the publication of two groundbreaking but again ostensibly unrelated works by two German mathematicians at the close of the nineteenth century. In this, the second and final part of the paper, we continue our examination of the chain of mathematical events and the related development of mathematical disciplines, without which the connection might never have been noticed in the first place. Introduction his paper concerns a previously overlooked connection between two mathe- matical achievements of late antiquity: Pappus’ Theorem on the collinearity Tof line intersections in plane geometry and an identity used by Diophantus involving products of sums of two squares. In Part I of our paper (Rice and Brown 2015), we discussed how Diophantus’ two-squares identity ÀÁÀÁ a2 þ b2 c2 þ d2 ¼ ðÞac Ç bd 2 þ ðÞbc § ad 2 (1) was extended, first to four squares by Euler in the mid-eighteenth century, and then to eight squares by Degen in the early nineteenth. This eight-squares identity was subse- quently re-discovered by John Graves and Arthur Cayley in the context of their crea- tion of the eight-dimensional normed algebra of octonions in the mid-1840s.
    [Show full text]
  • Kirkman, Mathematician
    T. P. KIRKMAN, MATHEMATICIAN N. L. BIGGS 1. It is now widely believed that Kirkman was an eccentric amateur mathematician who invented a problem about schoolgirls. Yet some of his contemporaries considered him to be a powerful and original thinker, perhaps one of the leading mathematicians of his time. His place as one of Macfarlane's Ten British Mathematicians of the Nineteenth Century [12] bears witness to this. However, unlike many of Macfarlane's Ten, there is no collected edition of his works, and he does not appear in the more recent annals of mathematical hagiography [1]. Indeed, his cloudy reputation today merely reflects the obscurity of his life and work, for he spent 52 years as Rector of a small country parish, and published much of his work in obscure journals, using obscure notation and terminology. His greatest work was never published. This article is an attempt to record some of his mathematical achievements. One fact beyond dispute is that he was no amateur. His published work spans nearly half a century, and includes over sixty substantial mathematical papers as well as uncounted minor publications. He solved the problem of Steiner triple systems six years before Steiner proposed it. He constructed finite projective planes. He wrote extensively on the theory of groups, working in parallel with, but independently of, Jordan and Mathieu. He proposed and, in his own estimation, solved the isomorphism problem for polyhedra. At the age of 80 he provided essential data for systematic tables of knots. It is remarkable how little of this can be gleaned from the standard works of reference.
    [Show full text]
  • View This Volume's Front and Back Matter
    http://dx.doi.org/10.1090/mbk/063 FAMOUS PUZZLES of Great Mathematicians Miodrag S. Petkovi´c A MERICAN M ATHEMATICAL S OCIETY Providence, Rhode Island 2000 Mathematics Subject Classification. Primary 00A08, 97A20, 01A05, 01A70, 05A05, 05C45, 05C90, 11D04, 11D09, 51E10, 51M16, 52C15, 52C22, 97D40. For additional information and updates on this book, visit www.ams.org/bookpages/mbk-63 Library of Congress Cataloging-in-Publication Data Petkovi´c, Miodrag. Famous puzzles of great mathematicians / Miodrag S. Petkovi´c. p. cm. Includes bibliographical references and index. ISBN 978-0-8218-4814-2 (alk. paper) 1. Mathematical recreations. 2. Mathematics–Popular works. I. Title. QA95.P4358 2009 510–dc22 2009011018 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294 USA. Requests can also be made by e-mail to [email protected]. ⃝c 2009 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. ⃝∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability.
    [Show full text]