Connections in Discrete Mathematics
Discrete mathematics has been rising in prominence in the past fifty years, both asa tool with practical applications and as a source of new and interesting mathematics. The topics in discrete mathematics have become so well developed that it is easy to forget that common threads connect the different areas, and it is through discovering and using these connections that progress is often made. For more than fifty years, Ron Graham has been able to illuminate some ofthese connections and has helped bring the field of discrete mathematics to where it is today. To celebrate his contribution, this volume brings together many of the best researchers working in discrete mathematics, including Fan Chung, Erik Demaine, Persi Diaconis, Peter Frankl, Al Hales, Jeffrey Lagarias, Allen Knutson, Janos Pach, Carl Pomerance, Neil Sloane, and of course Ron Graham himself. steve butler is the Barbara J Janson Professor of Mathematics at Iowa State University. His research interests include spectral graph theory, enumerative combinatorics, mathematics of juggling, and discrete geometry. He is the coeditor of The Mathematics of Paul Erdos˝ . joshua cooper is Professor of Mathematics at the University of South Carolina. He currently serves on the editorial board of Involve. His research interests include spectral hypergraph theory, linear and multilinear algebra, probabilistic combinatorics, quasirandomness, combinatorial number theory, and computational complexity. glenn hurlbert is Professor and Chair of the Department of Mathematics and Applied Mathematics at Virginia Commonwealth University. His research interests include universal cycles, extremal set theory, combinatorial optimization, combinatorial bijections, and mathematical education, and he is recognized as a leader in the field of graph pebbling.
Connections in Discrete Mathematics A Celebration of the Work of Ron Graham
Edited by
STEVE BUTLER Iowa State University
JOSHUA COOPER University of South Carolina
GLENN HURLBERT Virginia Commonwealth University University Printing House, Cambridge CB2 8BS, United Kingdom One Liberty Plaza, 20th Floor, New York, NY 10006, USA 477 Williamstown Road, Port Melbourne, VIC 3207, Australia 314–321, 3rd Floor, Plot 3, Splendor Forum, Jasola District Centre, New Delhi - 110025, India 79 Anson Road, #06-04/06, Singapore 079906
Cambridge University Press is part of the University of Cambridge. It furthers the University’s mission by disseminating knowledge in the pursuit of education, learning, and research at the highest international levels of excellence.
www.cambridge.org Information on this title: www.cambridge.org/9781107153981 DOI: 9781316650295 © Cambridge University Press 2018 This publication is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press. First published 2018 Printed in the United States of America by Sheridan Books, Inc. A catalogue record for this publication is available from the British Library ISBN 978-1-107-15398-1 Hardback ISBN 978-1-316-60788-6 Paperback Cambridge University Press has no responsibility for the persistence or accuracy of URLs for external or third-party Internet websites referred to in this publication and does not guarantee that any content on such websites is, or will remain, accurate or appropriate. Contents
List of Contributors page vii Preface xi
1 Probabilizing Fibonacci Numbers 1 Persi Diaconis 2 On the Number of ON Cells in Cellular Automata 13 N. J. A. Sloane 3 Search for Ultraflat Polynomials with Plus and Minus One Coefficients 39 Andrew Odlyzko 4 Generalized Goncarovˇ Polynomials 56 Rudolph Lorentz, Salvatore Tringali, and Catherine H. Yan 5 The Digraph Drop Polynomial 86 Fan Chung and Ron Graham 6 Unramified Graph Covers of Finite Degree 104 Hau-Wen Huang and Wen-Ching Winnie Li 7 The First Function and Its Iterates 125 Carl Pomerance 8Erdos,˝ Klarner, and the 3x + 1 Problem 139 Jeffrey C. Lagarias 9 A Short Proof for an Extension of the Erdos–Ko–Rado˝ Theorem 169 Peter Frankl and Andrey Kupavskii
v vi Contents
10 The Haight–Ruzsa Method for Sets with More Differences than Multiple Sums 173 Melvyn B. Nathanson 11 Dimension and Cut Vertices: An Application of Ramsey Theory 187 William T. Trotter, Bartosz Walczak, and Ruidong Wang 12 Recent Results on Partition Regularity of Infinite Matrices 200 Neil Hindman 13 Some Remarks on π 214 Christian Reiher, Vojtechˇ Rödl, and Mathias Schacht 14 Ramsey Classes with Closure Operations (Selected Combinatorial Applications) 240 Jan Hubickaˇ and Jaroslav Nešetrilˇ 15 Borsuk and Ramsey Type Questions in Euclidean Space 259 Peter Frankl, János Pach, Christian Reiher, and Vojtechˇ Rödl 16 Pick’s Theorem and Sums of Lattice Points 278 Karl Levy and Melvyn B. Nathanson 17 Apollonian Ring Packings 283 Adrian Bolt, Steve Butler, and Espen Hovland 18 Juggling and Card Shuffling Meet Mathematical Fonts 297 Erik D. Demaine and Martin L. Demaine 19 Randomly Juggling Backwards 305 Allen Knutson 20 Explicit Error Bounds for Lattice Edgeworth Expansions 321 Joe P. Buhler, Anthony C. Gamst, Ron Graham, and Alfred W. Hales Contributors
Adrian Bolt Iowa State University, Ames, IA 50011, USA
Joe P. Buhler Center for Communications Research, San Diego, CA 92121, USA
Steve Butler Iowa State University, Ames, IA 50011, USA
Fan Chung University of California at San Diego, La Jolla, CA 92093, USA
Erik D. Demaine MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA 02139, USA
Martin L. Demaine MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA 02139, USA
Persi Diaconis Departments of Mathematics and Statistics, Stanford University, Stanford, CA 94305, USA
Peter Frankl Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, H-1053 Budapest, Hungary
vii viii Contributors
Anthony C. Gamst Center for Communications Research, San Diego, CA 92121, USA
Ron Graham University of California at San Diego, La Jolla, CA 92093, USA
Alfred W. Hales Center for Communications Research, San Diego, CA 92121, USA
Neil Hindman Department of Mathematics, Howard University, Washington, DC 20059, USA
Espen Hovland Iowa State University, Ames, IA 50011, USA
Hau-Wen Huang Department of Mathematics, National Central University, Chung-Li 32001, Taiwan
Jan Hubickaˇ Computer Science Institute of Charles University (IUUK), Charles University, 11800 Praha, Czech Republic
Allen Knutson Cornell University, Ithaca, NY 14853, USA
Andrey Kupavskii Moscow Institute of Physics and Technology, Dolgobrudny, Moscow Region, 141701, Russian Federation; and University of Birmingham, Birmingham, B15 2TT, UK
Jeffrey C. Lagarias Department of Mathematics, University of Michigan, Ann Arbor, MI 48109–1043, USA
Karl Levy Department of Mathematics, Borough of Manhattan Community College (CUNY), New York, NY 10007, USA Contributors ix
Wen-Ching Winnie Li Department of Mathematics, Pennsylvania State University, University Park, PA 16802, USA
Rudolph Lorentz Science Program, Texas A&M University at Qatar, Doha, Qatar
Melvyn B. Nathanson Department of Mathematics, Lehman College (CUNY), Bronx, NY 10468, USA
Jaroslav Nešetrilˇ Computer Science Institute of Charles University (IUUK), Charles University, 11800 Praha, Czech Republic
Andrew Odlyzko School of Mathematics, University of Minnesota, Minneapolis, MN 55455, USA
János Pach Rényi Institute and EPFL, Station 8, CH-1014 Lausanne, Switzerland
Carl Pomerance Mathematics Department, Dartmouth College, Hanover, NH 03755, USA
Christian Reiher Fachbereich Mathematik, Universität Hamburg, 20146 Hamburg, Germany
Vojtechˇ Rödl Department of Mathematics and Computer Science, Emory University, Atlanta, GA 30322, USA
Mathias Schacht Fachbereich Mathematik, Universität Hamburg, 20146 Hamburg, Germany
N. J. A. Sloane The OEIS Foundation Inc., 11 South Adelaide Ave., Highland Park, NJ 08904, USA x Contributors
Salvatore Tringali Institute for Mathematics and Scientific Computing, University of Graz, NAWI Graz, Heinrichstr. 36, 8010 Graz, Austria
William T. Trotter School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332, USA
Bartosz Walczak Theoretical Computer Science Department, Faculty of Mathematics and Computer Science, Jagiellonian University, Kraków 30-348, Poland
Ruidong Wang Blizzard Entertainment, Irvine, CA 92618, USA
Catherine H. Yan Department of Mathematics, Texas A&M University, College Station TX 77845, USA Preface
The last fifty years have seen rapid growth in the rise of discrete mathematics, in areas ranging from the classics of number theory and geometry to the mod- ern tools in computation and algorithms, with hundreds of topics in between. Part of this growth is driven by the increasing availability and importance of computational power, and part is due to the guiding influence and leadership of mathematicians in this field who have helped to encourage generations of mathematicians to pursue research in this area. Among these mathematicians who have played a leadership role, Ron Gra- ham stands out for his contributions to theory, his visibility to the larger commu- nity, his role in mentoring many young mathematicians, and for his longevity. In 1962, Ron Graham finished his dissertation in combinatorial number the- ory under the leadership of Derrick Lehmer. He soon found himself at Bell Labs, where he would spend the next thirty-seven years, including as direc- tor of the Mathematical Sciences Research Center and as Chief Scientist of AT&T Labs – Research, before his (first) retirement in 1999. During this time he helped bring together many of the best and brightest young minds in discrete mathematics to work in the Labs and would guide their research and prepare them for their later careers. After Bell Labs, Ron went to University of Califor- nia, San Diego to become the Irwin and Joan Jacobs Chair in Information and Computer Science in the Department of Computer Science and Engineering until his (second) retirement in 2016. He is now emeritus professor at Univer- sity of California, San Diego and remains mathematically active. Over the past 50 years, he has had a constant flow of new ideas, with more than 300 papers, a half dozen books, and hundreds of editorial assignments. He has also traveled the world giving talks on mathematics (sometimes demon- strating some of his acrobatic skills such as one-armed handstands and jug- gling, showing students that mathematicians aren’t the stereotypical introverts). Thanks to his friendship with Paul Erdos˝ (30 joint papers!) and his frequent
xi xii Preface travel, Ron played an important role as a bridge to mathematics in Hungary and several other countries at a time when communication and collaboration were limited. As president of the American Mathematical Society and later the Mathematical Association of America, Ron led the largest mathematical soci- eties in the world. In addition to all of this, Ron Graham has been recognized with numerous awards, accolades, and honorary degrees. It is hard to believe that one individual was able to accomplish so much, but as Ron likes to point out “there are twenty-four hours in the day, and if that’s not enough, there are also the nights.” In 2015, Ron Graham turned eighty, and to help mark this occasion a special conference was organized, Connections in Discrete Mathematics. This was a chance to bring together many of his friends and colleagues, the best and bright- est in discrete mathematics, to celebrate Ron, and also to celebrate discrete mathematics. A major theme of the conference was connections, both the per- sonal connections (as Ron had with so many speakers and participants) as well as the connections between mathematical topics. Both types of connections are what lead to advances in mathematics and open up new ideas for exploration. This book came out of the conference, with many of the authors having been featured speakers. The chapters here are across the spectrum of discrete mathematics, with topics in number theory, probability, graph theory, Ramsey theory, discrete geometry, algebraic combinatorics, and, of course, juggling. A beautiful mix of topics and also of writing styles, this book has something for everyone. We thank the many authors for their excellent contributions, including Joe Buhler, Fan Chung, Erik Demaine, Persi Diaconis, Peter Frankl, Al Hales, Jeffrey Lagarias, Allen Knutson, Jarik Nešetril,ˇ Janos Pach, Carl Pomerance, Voj techˇ Rödl, Neil Sloane, Tom Trotter, Catherine Yan, and of course Ron Gra- ham. We were happy to see the wealth of ideas that were in these chapters and hope that readers will find something that inspires them. All three of the editors have been heavily influenced by Ron Graham and his friendship, and like many people in our field, we would not be where we are today without him. Thank you, Ron. Fig. 0.1. Ron Graham demonstrating a large Rubik’s cube to C. K. Cheng, Kevin Milans, and Joel Spencer at the Connections in Discrete Mathematics conference in June 2015. Image courtesy of IRMACS. Used with permission.
1 Probabilizing Fibonacci Numbers
Persi Diaconis
Abstract
The question, “What does a typical Fibonacci number look like?” leads to inter- esting (and impossible) mathematics and many a tale about Ron Graham.
I have talked to Ron Graham every day, more or less, for the past 43 years. Some days we miss a call but some days it’s three or four calls; so “once a day” seems about right. There are many reasons: he tells bad jokes, solves my math problems, teaches me things, and is my pal. The following tries to capture a few minutes with Ron.
1.1 A Fibonacci Morning
This term I’m teaching undergraduate number theory at Stanford’s Department of Mathematics. It’s a course for beginning math majors and the start is pretty dry (I’m in Week 1): every integer is divisible by a prime; if p divides ab then either p divides a or p divides b; unique factorization. I’m using Bill LeVeque’s fine Fundamentals of Number Theory. It’s clear, correct, and cheap (a Dover paperback). He mentions the Fibonacci numbers and I decide to spend some time there to liven things up. Fibonacci numbers have a “crank math” aspect but they are also serious stuff – from sunflower seeds through Hilbert’s tenth problem. My way of under- standing anything is to ask, “‘What does a typical one look like?” Okay, what does a typical Fibonacci number look like? How many are even? What about the decomposition into prime powers? Are there infinitely many prime Fibonacci numbers? I realize that I don’t know and, it turns out, for most of these ques- tions, nobody knows. This is two hours before class and I do what I always do: call Ron.
1 2 Persi Diaconis
“Hey, do we know what proportion of Fibonacci numbers are even?” “Sure,” he says without missing a beat. “It’s 1/3, and it’s easy: let me explain. If you write them out,
0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377,..., you see that every third one is even, and it’s easy to see from the recurrence.” Similarly, every fourth one is a multiple of three, so 1/4 are divisible by 3. I note that the period for five is 5, ruining my guess at the pattern. He tells methat after five, the period for the prime p is a divisor of p ± 1; so 1/8 of all the Fn are divisible by seven. Actually, things are a bit more subtle. For any prime p,the sequence of Fibonacci numbers (mod p) is periodic. Let’s start them at F0 = 0, when p = 3:
0, 1, 1, 2, 0, 2, 2, 1, 0, 1, 1, 2, 0, 2, 2, 1,....
The length of the period is called the Pisano period (with its own Wikipedia page). The period of three is 8 and there are two zeros, so 1/4 are divisible by 3; 3/8 are1(mod3)and3/8 are 2 (mod 3). These periods turn out to be pretty chaotic and much is conjectural. The rest of my questions, e.g., is Fn prime infinitely often, are worse: “not in our lifetimes,” (Ronos says)Erd˝ said. Going back to my phone conversation with Ron, he says:
Here’s something your kids can do: You know the Fibonacci numbers grow pretty ∞ / fast. This means that n=0 1 F2n converges to its limiting value very fast. It turns out to be a quadratic irrational (!) and you can show that if a number has a more rapidly converging rational approximation, it’s transcendental. (!)
And then he says, “Here’s an easier one for your kids: ask them to add up n Fn/10 ,1≤ n < ∞.” Answer: 10/89 (!) It turns out that Ron had worked on my questions before. A 1964 paper [7] starts, “Let S(L0, L1) = L0, L1, L2,... be the sequence of integers which sat- isfy the recurrence Ln+2 = Ln+1 + Ln, n = 0, 1, 2,.... It is clear that the values L0 and L1 determine S(L0, L1), e.g., L(0, 1) is just the sequence of Fibonacci numbers. It is not known whether or not infinitely many primes occur in S(0, 1) ….” He goes on to find an opposite: a pair L0, L1 so that no primes occur in S(L0, L1). His best solution was
L0 = 331635635998274737472200656430763
L1 = 1510028911088401971189590305498785
This was subsequently improved by Knuth and then Wilf. The problem itself now has its own Wikipedia page; search for “primefree sequence.” The current 1 Probabilizing Fibonacci Numbers 3 record is
L0 = 106276436867
L1 = 35256392432 due to Vesemirsov. Finding such sequences is related to problems such as, “Is every odd number the sum of a prime plus a power of 2?” The answer is no; indeed Erdös [6] found arithmetic progressions with no numbers of this form. For this, he created the topic/tool of “covering congruences”: a sequence {a1 (mod n1),...,ak (mod nk )} of finitely many residue classes {ai + nix, x ∈ Z} whose union covers Z. For example, {0(mod2), 0(mod3), 1(mod4), 5 (mod 6), 7(mod12)} is a covering set where all moduli are distinct. Erdos˝ asked if there were such distinct covering systems where the smallest modulus – two in the example – is arbitrarily large. A variety of number theory hackers found examples. For instance, Nicesend found a set of more than 1050 distinct congruences with minimum modulus 40. One of Ron’s favorite negative results is a theorem of Hough [9]: there is an absolute upper bound to the minimum modulus of a system of distinct covering congruences. The Wikipedia phrase is “covering sequences.” The preceding paragraphs are amplified from sentences of this same phone conversation. Ron has worked on math problems where Fibonacci facts form a crucial part of the argument “from then to now.” For example, in joint work with Fan Chung [2] they solved an old conjecture of D. J. Newman: for a sequence of numbers (mod 1), x = (x0, x1, x2,...), define the strong discrepancy
D(x) = inf inf nxn − xn+m. n m They found the following:
Theorem 1.1. 1 sup D(x) ≤ √ . x 5