Ronald Graham
Graham in 1998
Born
Ronald Lewis Graham

(1935-10-31)October 31, 1935
Taft, California, U.S.
DiedJuly 6, 2020(2020-07-06) (aged 84)
San Diego, California, U.S.
Alma mater
Known for
Spouse
​
(m. 1983)​
Awards
Scientific career
Fields
Institutions
ThesisOn Finite Sums of Rational Numbers (1962)
Doctoral advisorDerrick Henry Lehmer

Ronald Lewis Graham (October 31, 1935 – July 6, 2020)[1] was an American mathematician credited by the American Mathematical Society as "one of the principal architects of the rapid development worldwide of discrete mathematics in recent years".[2] He was president of both the American Mathematical Society and the Mathematical Association of America, and his honors included the Leroy P. Steele Prize for lifetime achievement and election to the National Academy of Sciences.

After graduate study at the University of California, Berkeley, Graham worked for many years at Bell Labs and later at the University of California, San Diego. He did important work in scheduling theory, computational geometry, Ramsey theory, and quasi-randomness,[3] and many topics in mathematics are named after him. He published six books and about 400 papers, and had nearly 200 co-authors, including many collaborative works with his wife Fan Chung and with Paul Erdős.

Graham has been featured in Ripley's Believe It or Not! for being not only "one of the world's foremost mathematicians", but also an accomplished trampolinist and juggler. He served as president of the International Jugglers' Association.[3][4][5]

Biography

Graham was born in Taft, California, on October 31, 1935;[6] his father was an oil field worker and later merchant marine. Despite Graham's later interest in gymnastics, he was small and non-athletic.[7] He grew up moving frequently between California and Georgia, skipping several grades of school in these moves, and never staying at any one school longer than a year.[1][7] As a teenager, he moved to Florida with his then-divorced mother, where he went to but did not finish high school. Instead, at the age of 15 he won a Ford Foundation scholarship to the University of Chicago, where he learned gymnastics but took no mathematics courses.[1]

After three years, when his scholarship expired, he moved to the University of California, Berkeley, officially as a student of electrical engineering but also studying number theory under Derrick Henry Lehmer,[1] and winning a title as California state trampoline champion.[7] He enlisted in the United States Air Force in 1955, when he reached the age of eligibility,[8] left Berkeley without a degree, and was stationed in Fairbanks, Alaska, where he finally completed a bachelor's degree in physics in 1959 at the University of Alaska Fairbanks.[1] Returning to the University of California, Berkeley for graduate study, he received his Ph.D. in mathematics in 1962. His dissertation, supervised by Lehmer, was On Finite Sums of Rational Numbers.[9] While a graduate student, he supported himself by performing on trampoline in a circus,[8] and married Nancy Young, an undergraduate mathematics student at Berkeley; they had two children.[1]

Ronald Graham, his wife Fan Chung, and Paul Erdős, Japan 1986

After completing his doctorate, Graham went to work in 1962 at Bell Labs and later as Director of Information Sciences at AT&T Labs, both in New Jersey. In 1963, at a conference in Colorado, he met the prolific Hungarian mathematician Paul Erdős (1913–1996),[1] who became a close friend and frequent research collaborator. Graham was chagrined to be beaten in ping-pong by Erdős, then already middle-aged; he returned to New Jersey determined to improve his game, and eventually became Bell Labs champion and won a state title in the game.[1] Graham later popularized the concept of the Erdős number, a measure of distance from Erdős in the collaboration network of mathematicians;[10][8] his many works with Erdős include two books of open problems[B1][B5] and Erdős's final posthumous paper.[A15] Graham divorced in the 1970s; in 1983 he married his Bell Labs colleague and frequent coauthor Fan Chung.[1]

While at Bell Labs, Graham also took a position at Rutgers University as University Professor of Mathematical Sciences in 1986, and served a term as president of the American Mathematical Society from 1993 to 1994. He became Chief Scientist of the labs in 1995.[1] He retired from AT&T in 1999 after 37 years of service there,[11] and moved to the University of California, San Diego (UCSD), as the Irwin and Joan Jacobs Endowed Professor of Computer and Information Science.[1][8] At UCSD, he also became chief scientist at the California Institute for Telecommunications and Information Technology.[8][5] In 2003–04, he was president of the Mathematical Association of America.[1]

Graham died of bronchiectasis[12] on July 6, 2020, aged 84, in La Jolla, California.[6][13]

Contributions

Graham made important contributions in multiple areas of mathematics and theoretical computer science. He published about 400 papers, a quarter of those with Chung,[14] and six books, including Concrete Mathematics with Donald Knuth and Oren Patashnik.[B4] The Erdős Number Project lists him as having nearly 200 coauthors.[15] He was the doctoral advisor of nine students, one each at the City University of New York and Rutgers University while he was at Bell Labs, and seven at UC San Diego.[9]

Notable topics in mathematics named after Graham include the Erdős–Graham problem on Egyptian fractions, the Graham–Rothschild theorem in the Ramsey theory of parameter words and Graham's number derived from it, the Graham–Pollak theorem and Graham's pebbling conjecture in graph theory, the Coffman–Graham algorithm for approximate scheduling and graph drawing, and the Graham scan algorithm for convex hulls. He also began the study of primefree sequences, the Boolean Pythagorean triples problem, the biggest little polygon, and square packing in a square.

Graham was one of the contributors to the publications of G. W. Peck, a pseudonymous mathematical collaboration named for the initials of its members, with Graham as the "G".[16]

Number theory

Graham's doctoral dissertation was in number theory, on Egyptian fractions,[7][9] as is the Erdős–Graham problem on whether, for every partition of the integers into finitely many classes, one of these classes has a finite subclass whose reciprocals sum to one. A proof was published by Ernie Croot in 2003.[17] Another of Graham's papers on Egyptian fractions was published in 2015 with Steve Butler and (nearly 20 years posthumously) Erdős; it was the last of Erdős's papers to be published, making Butler his 512th coauthor.[A15][18]

In a 1964 paper, Graham began the study of primefree sequences by observing that there exist sequences of numbers, defined by the same recurrence relation as the Fibonacci numbers, in which none of the sequence elements is prime.[A64] The challenge of constructing more such sequences was later taken up by Donald Knuth and others.[19] Graham's 1980 book with Erdős, Old and new results in combinatorial number theory, provides a collection of open problems from a broad range of subareas within number theory.[B1]

Ramsey theory

The Graham–Rothschild theorem in Ramsey theory was published by Graham and Bruce Rothschild in 1971, and applies Ramsey theory to combinatorial cubes in combinatorics on words.[A71a] Graham gave a large number as an upper bound for an instance of this theorem, now known as Graham's number, which was listed in the Guinness Book of Records as the largest number ever used in a mathematical proof,[20] although it has since then been surpassed by even larger numbers such as TREE(3).[21]

Graham offered a monetary prize for solving the Boolean Pythagorean triples problem, another problem in Ramsey theory; the prize was claimed in 2016.[22] Graham also published two books on Ramsey theory.[B2][B3]

Graph theory

Partition of the edges of the complete graph into five complete bipartite subgraphs, according to the Graham–Pollak theorem

The Graham–Pollak theorem, which Graham published with Henry O. Pollak in two papers in 1971 and 1972,[A71b][A72a] states that if the edges of an -vertex complete graph are partitioned into complete bipartite subgraphs, then at least subgraphs are needed. Graham and Pollak provided a simple proof using linear algebra; despite the combinatorial nature of the statement and multiple publications of alternative proofs since their work, all known proofs require linear algebra.[23]

Soon after research in quasi-random graphs began with the work of Andrew Thomason, Graham published in 1989 a result with Chung and R. M. Wilson that has been called the "fundamental theorem of quasi-random graphs", stating that many different definitions of these graphs are equivalent.[A89a][24]

Graham's pebbling conjecture, appearing in a 1989 paper by Chung,[25] concerns the pebbling number of Cartesian products of graphs. As of 2019, it remains unsolved.[26]

Packing, scheduling, and approximation algorithms

Graham's early work on job shop scheduling[A66][A69] introduced the worst-case approximation ratio into the study of approximation algorithms, and laid the foundations for the later development of competitive analysis of online algorithms.[27] This work was later recognized to be important also for the theory of bin packing,[28] an area that Graham later worked in more explicitly.[A74]

The Coffman–Graham algorithm, which Graham published with Edward G. Coffman Jr. in 1972,[A72b] provides an optimal algorithm for two-machine scheduling, and a guaranteed approximation algorithm for larger numbers of machines. It has also been applied in layered graph drawing.[29]

In a survey article on scheduling algorithms published in 1979, Graham and his coauthors introduced a three-symbol notation for classifying theoretical scheduling problems according to the system of machines they are to run on, the characteristics of the tasks and resources such as requirements for synchronization or non-interruption, and the performance measure to be optimized.[A79] This classification has sometimes been called "Graham notation" or "Graham's notation".[30]

Discrete and computational geometry

The Graham scan algorithm for convex hulls

Graham scan is a widely used and practical algorithm for convex hulls of two-dimensional point sets, based on sorting the points and then inserting them into the hull in sorted order.[31] Graham published the algorithm in 1972.[A72c]

The biggest little polygon problem asks for the polygon of largest area for a given diameter. Surprisingly, as Graham observed, the answer is not always a regular polygon.[A75a] Graham's 1975 conjecture on the shape of these polygons was finally proven in 2007.[32]

In another 1975 publication, Graham and Erdős observed that for packing unit squares into a larger square with non-integer side lengths, one can use tilted squares to leave an uncovered area that is sublinear in the side length of the larger square, unlike the obvious packing with axis-aligned squares.[A75b] Klaus Roth and Bob Vaughan proved that uncovered area at least proportional to the square root of the side length may sometimes be needed; proving a tight bound on the uncovered area remains an open problem.[33]

Probability and statistics

In nonparametric statistics, a 1977 paper by Persi Diaconis and Graham studied the statistical properties of Spearman's footrule, a measure of rank correlation that compares two permutations by summing, over each item, the distance between the positions of the item in the two permutations.[A77] They compared this measure to other rank correlation methods, resulting in the "Diaconis–Graham inequalities"

where is Spearman's footrule, is the number of inversions between the two permutations (a non-normalized version of the Kendall rank correlation coefficient), and is the minimum number of two-element swaps needed to obtain one permutation from the other.[34]

The Chung–Diaconis–Graham random process is a random walk on the integers modulo an odd integer , in which at each step one doubles the previous number and then randomly adds zero, , or (modulo ). In a 1987 paper, Chung, Diaconis, and Graham studied the mixing time of this process, motivated by the study of pseudorandom number generators.[A87][35]

Juggling

Ronald Graham juggling a four-ball fountain (1986)

Graham became a capable juggler beginning at age 15, and was practiced in juggling up to six balls.[4] (Although a published photo shows him juggling twelve balls,[5] it is a manipulated image.[3]) He taught Steve Mills, a repeat winner of the International Jugglers' Association championships, how to juggle, and his work with Mills helped inspire Mills to develop the Mills' Mess juggling pattern. As well, Graham made significant contributions to the theory of juggling, including a sequence of publications on siteswaps. In 1972 he was elected president of the International Jugglers' Association.[4]

Awards and honors

In 2003, Graham won the American Mathematical Society's annual Leroy P. Steele Prize for Lifetime Achievement. The prize cited his contributions to discrete mathematics, his popularization of mathematics through his talks and writing, his leadership at Bell Labs, and his service as president of the society.[2] He was one of five inaugural winners of the George Pólya Prize of the Society for Industrial and Applied Mathematics, sharing it with fellow Ramsey theorists Klaus Leeb, Bruce Rothschild, Alfred Hales, and Robert I. Jewett.[36] He was also one of two inaugural winners of the Euler Medal of the Institute of Combinatorics and its Applications, the other being Claude Berge.[37]

Graham was elected to the National Academy of Sciences in 1985.[38] In 1999 he was inducted as an ACM Fellow "for seminal contributions to the analysis of algorithms, in particular the worst-case analysis of heuristics, the theory of scheduling, and computational geometry".[39] He became a Fellow of the Society for Industrial and Applied Mathematics in 2009; the fellow award cited his "contributions to discrete mathematics and its applications".[40] In 2012 he became a fellow of the American Mathematical Society.[41]

Graham was an invited speaker at the 1982 International Congress of Mathematicians (held 1983 in Warsaw),[13] speaking on "Recent developments in Ramsey theory".[A84] He was twice Josiah Willard Gibbs Lecturer, in 2001 and 2015.[13] The Mathematical Association of America awarded him both the Carl Allendoerfer Prize for his paper "Steiner Trees on a Checkerboard" with Chung and Martin Gardner in Mathematics Magazine (1989),[A89b][42] and the Lester R. Ford Award for his paper "A whirlwind tour of computational geometry" with Frances Yao in the American Mathematical Monthly (1990).[A90][43] His book Magical Mathematics with Persi Diaconis[B6] won the Euler Book Prize.[44]

The proceedings of the Integers 2005 conference was published as a festschrift for Ron Graham's 70th birthday.[45] Another festschrift, stemming from a conference held in 2015 in honor of Graham's 80th birthday, was published in 2018 as the book Connections in discrete mathematics: a celebration of the work of Ron Graham.[46]

Selected publications

Books

Edited volumes

Articles

    References

    1. 1 2 3 4 5 6 7 8 9 10 11 12 O'Connor, John J.; Robertson, Edmund F. "Ronald Graham". MacTutor History of Mathematics Archive. University of St Andrews.
    2. 1 2 "2003 Steele Prizes" (PDF). Notices of the American Mathematical Society. Vol. 50, no. 4. April 2003. pp. 462–467. Archived from the original (PDF) on February 6, 2011. Retrieved July 2, 2014.
    3. 1 2 3 Horgan, John (March 1997). "Profile: Ronald L. Graham – Juggling Act". Scientific American. 276 (3): 28–30. doi:10.1038/scientificamerican0397-28.
    4. 1 2 3 "Ron Graham Obituary". International Jugglers' Association. July 9, 2020. Retrieved July 13, 2020.
    5. 1 2 3 "Juggling Numbers: UC San Diego Professor Honored for Work in Applied Mathematics and Computational Science". California Institute for Telecommunications and Information Technology. May 4, 2009. Retrieved July 9, 2020.
    6. 1 2 "Ronald Lewis Graham, 2003–2004 MAA President". Mathematical Association of America. July 7, 2020. Retrieved July 7, 2020.
    7. 1 2 3 4 Albers, Donald J. (November 1996). "A Nice Genius". Math Horizons. 4 (2): 18–23. doi:10.1080/10724117.1996.11974993. JSTOR 25678089.
    8. 1 2 3 4 5 Bigelow, Bruce V. (March 18, 2003). "You can count on him: Math expert coolly juggles scientific puzzles and six or seven balls" (PDF). The San Diego Union-Tribune.
    9. 1 2 3 Ronald Graham at the Mathematics Genealogy Project
    10. ↑ Hoffman, Paul (1998). The man who loved only numbers: the story of Paul Erdős and the search for mathematical truth. Hyperion. pp. 109–110. ISBN 978-0-7868-6362-4.
    11. ↑ Rabiner, Larry (February 4, 2000). "Ron Graham – A Biographical Retrospective" (PDF).
    12. ↑ Chang, Kenneth (July 23, 2020). "Ronald L. Graham, Who Unlocked the Magic of Numbers, Dies at 84". The New York Times. Retrieved January 28, 2021.
    13. 1 2 3 "The Latest: Ronald Graham, 1935–2020". American Mathematical Society. July 7, 2020. Retrieved July 7, 2020.
    14. ↑ Ron Graham obituary by Colm Mulcahy, The Guardian, August 3, 2020
    15. ↑ "Erdos1: coauthors of Paul Erdős, together with their coauthors listed beneath them". Erdős Number Project. Retrieved July 12, 2020.
    16. ↑ Peck, G. W. (2002). "Kleitman and combinatorics: a celebration". Discrete Mathematics. 257 (2–3): 193–224. doi:10.1016/S0012-365X(02)00595-2. MR 1935723. See in particular Section 4, "The mysterious G. W. Peck", pp. 216–219.
    17. ↑ Croot, Ernest S., III (2003). "On a coloring conjecture about unit fractions". Annals of Mathematics. 157 (2): 545–556. arXiv:math.NT/0311421. Bibcode:2003math.....11421C. doi:10.4007/annals.2003.157.545. MR 1973054. S2CID 13514070.{{cite journal}}: CS1 maint: multiple names: authors list (link)
    18. ↑ Roberts, Siobhan (December 10, 2015). "New Erdős Paper Solves Egyptian Fraction Problem". Simons Foundation.
    19. ↑ Knuth, Donald E. (1990). "A Fibonacci-like sequence of composite numbers". Mathematics Magazine. 63 (1): 21–25. doi:10.2307/2691504. JSTOR 2691504. MR 1042933.
    20. ↑ Guinness Book of World Records (Rev. American ed.). Sterling Publishing. 1980. p. 193. ISBN 0806901683.
    21. ↑ Bennett, Jay (October 20, 2017). "The Enormity of the Number TREE(3) Is Beyond Comprehension". Popular Mechanics. Retrieved July 9, 2020.
    22. ↑ Lamb, Evelyn (May 26, 2016). "Two-hundred-terabyte maths proof is largest ever". Nature. 534 (7605): 17–18. Bibcode:2016Natur.534...17L. doi:10.1038/nature.2016.19990. PMID 27251254.
    23. ↑ Aigner, Martin; Ziegler, Günter M. (2018). Proofs from THE BOOK (6th ed.). Springer. pp. 79–80. doi:10.1007/978-3-662-57265-8. ISBN 978-3-662-57265-8.
    24. ↑ Shapira, Asaf (2008). "Quasi-randomness and the distribution of copies of a fixed graph". Combinatorica. 28 (6): 735–745. doi:10.1007/s00493-008-2375-0. MR 2488748. S2CID 3212684.
    25. ↑ Chung, Fan R. K. (1989). "Pebbling in hypercubes". SIAM Journal on Discrete Mathematics. 2 (4): 467–472. doi:10.1137/0402041.
    26. ↑ Pleanmani, Nopparat (2019). "Graham's pebbling conjecture holds for the product of a graph and a sufficiently large complete bipartite graph". Discrete Mathematics, Algorithms and Applications. 11 (6): 1950068, 7. doi:10.1142/s179383091950068x. MR 4044549. S2CID 204207428.
    27. ↑ Albers, Susanne (2012). Grötschel, Martin (ed.). Ronald Graham: laying the foundations of online optimization. Documenta Mathematica. pp. 239–245. MR 2991486.
    28. ↑ Garey, M. R.; Johnson, D. S. (1981). "Approximation Algorithms for Bin Packing Problems: A Survey". In Ausiello, G.; Lucertini, M. (eds.). Analysis and Design of Algorithms in Combinatorial Optimization. Courses and Lectures of the International Centre for Mechanical Sciences. Vol. 266. Vienna: Springer. pp. 147–172. doi:10.1007/978-3-7091-2748-3_8.
    29. ↑ Bastert, Oliver; Matuszewski, Christian (2001). "Layered drawings of digraphs". In Kaufmann, Michael; Wagner, Dorothea (eds.). Drawing Graphs: Methods and Models. Lecture Notes in Computer Science. Vol. 2025. Springer-Verlag. pp. 87–120. doi:10.1007/3-540-44969-8_5. ISBN 978-3-540-42062-0.
    30. ↑ For a recent example, see e.g. Cygan, Marek; Pilipczuk, Marcin; Pilipczuk, Michał; Wojtaszczyk, Jakub Onufry (2014). "Scheduling partially ordered jobs faster than ". Algorithmica. 68 (3): 692–714. arXiv:1108.0810. doi:10.1007/s00453-012-9694-7. MR 3160651.
    31. ↑ De Berg, Mark; Cheong, Otfried; Van Kreveld, Marc; Overmars, Mark (2008). Computational Geometry: Algorithms and Applications. Berlin: Springer. pp. 2–14. doi:10.1007/978-3-540-77974-2. ISBN 978-3-540-77973-5.
    32. ↑ Foster, Jim; Szabo, Tamas (2007). "Diameter graphs of polygons and the proof of a conjecture of Graham". Journal of Combinatorial Theory. Series A. 114 (8): 1515–1525. doi:10.1016/j.jcta.2007.02.006. MR 2360684..
    33. ↑ Brass, Peter; Moser, William; Pach, János (2005). Research Problems in Discrete Geometry. New York: Springer. p. 45. ISBN 978-0387-23815-9. MR 2163782.
    34. ↑ Hadjicostas, Petros; Monico, Chris (2015). "A new inequality related to the Diaconis-Graham inequalities and a new characterisation of the dihedral group". The Australasian Journal of Combinatorics. 63: 226–245. MR 3403376.
    35. ↑ Hildebrand, Martin (2019). "On a lower bound for the Chung-Diaconis-Graham random process". Statistics & Probability Letters. 152: 121–125. doi:10.1016/j.spl.2019.04.020. MR 3953053. S2CID 164932860.
    36. ↑ "George Pólya Prize in Applied Combinatorics". Society for Industrial and Applied Mathematics. Retrieved July 11, 2020.
    37. ↑ "Dr Ronald Graham awarded the 1993 Euler Medal of the ICA". Institute of Combinatorics and its Applications. October 3, 2019. Retrieved July 11, 2020.
    38. ↑ "Ronald Graham". Member directory. National Academy of Sciences. Retrieved July 11, 2020.
    39. ↑ "Ronald L. Graham". ACM Fellows. Association for Computing Machinery. Retrieved July 12, 2020.
    40. ↑ "SIAM Fellows". Society for Industrial and Applied Mathematics. Retrieved July 11, 2020.
    41. ↑ "List of Fellows of the American Mathematical Society". American Mathematical Society. Retrieved July 9, 2020.
    42. ↑ "Allendoerfer Award". MAA Awards. Mathematical Association of America. Retrieved July 9, 2020.
    43. ↑ "Paul R. Halmos – Lester R. Ford Awards". MAA Awards. Mathematical Association of America. Retrieved July 9, 2020.
    44. ↑ "Euler Book Prize" (PDF). MAA Prizes Awarded in San Diego. Notices of the American Mathematical Society. 60 (5): 613–614. May 2013.
    45. ↑ Proceedings of the Integers Conference 2005 in honor of Ron Graham's 70th birthday. Carrollton, GA: Integers. 2007. MR 2395797.
    46. ↑ Butler, Steve; Cooper, Joshua; Hurlbert, Glenn, eds. (2018). Connections in discrete mathematics: a celebration of the work of Ron Graham. Cambridge University Press. ISBN 978-1-316-60788-6. Reviews: Hopkins, David (June 2019). The Mathematical Gazette. 103 (557): 374–375. doi:10.1017/mag.2019.82. S2CID 241732634.{{cite journal}}: CS1 maint: untitled periodical (link) Kleitman, Daniel (December 2019). "Only connect". Inferences. 5 (1).
    47. ↑ Review of Old and new problems and results in combinatorial number theory:
    48. ↑ Reviews of Ramsey Theory:
    49. ↑ Reviews of Rudiments of Ramsey Theory:
    50. ↑ Reviews of Concrete Mathematics:
    51. ↑ Reviews of Erdős on Graphs:
    52. ↑ Reviews of Magical Mathematics:
    53. ↑ Reviews of Handbook of Combinatorics:
    54. ↑ Reviews of The Mathematics of Paul Erdős:
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.