Derrick Lehmer

Derrick Henry Lehmer (* 23. Februar 1905 in Berkeley (Kalifornien); † 22. Mai 1991 ebenda) war ein US-amerikanischer Mathematiker, spezialisiert auf Zahlentheorie.

Leben

Lehmer wurde schon als Kind in sein späteres Arbeitsgebiet hineingezogen, da sein Vater Derrick Norman Lehmer (1867–1938) mit Hilfe mechanischer Rechengeräte Primzahltafeln und Faktor-Tabellen erstellte. Er studierte zunächst Physik an der University of California, Berkeley, wo sein Vater Professor für Mathematik war. Als Student arbeitete er an einer Realisierung von Faktorisierungs-Algorithmen für seinen Vater mit Lochkarten-Rechnern, wobei er von seiner späteren Frau Emma Markovna Trotskaya (1906–2007), die ebenfalls in Berkeley studierte, unterstützt wurde. 1927 machte er seinen B.A. in Physik und begann an einer Promotion beim führenden amerikanischen Zahlentheoretiker Leonard Eugene Dickson in Chicago zu arbeiten. Da er mit diesem nicht zurechtkam, wechselte er zu Jacob David Tamarkin an die Brown University in Rhode Island, wo er 1930 promovierte.

Danach ging er mit einem staatlichen Stipendium versehen 1930/31 ans California Institute of Technology und danach für ein Jahr an die Stanford University sowie an das Institute for Advanced Study in Princeton (New Jersey), bevor er eine Dozentur an der Lehigh University erhalten konnte. Bis auf einen Besuch in England 1938/39 bei Godfrey Harold Hardy, John Edensor Littlewood, Harold Davenport, Kurt Mahler, Louis Mordell und Paul Erdős blieben er und seine Frau bis 1940 in Lehigh, bevor er einen Posten an seiner Heimatuniversität Berkeley erhalten konnte. In den Kriegsjahren arbeiteten er und seine Frau als Operatoren für den ENIAC im Aberdeen Testgelände der US-Armee: tagsüber an ballistischen Rechnungen, nachts war Zeit für die Zahlentheorie. Als er 1950 in Berkeley einen von Joseph McCarthy forcierten Loyalitäts-Eid verweigerte, verlor er kurzzeitig seinen Posten, was er mit Arbeiten für das National Bureau of Standards überbrückte. Nach seiner Wiedereinstellung erhielt er Anerkennung und Ehrungen, etwa als Vizepräsident der American Mathematical Society und als Governor at Large der Association for Computing Machinery 1953-54.

Bei der Gründung der Zeitschrift "Mathematical Tables and other Aids to Computation" (MTAC, heute "Mathematics of Computation") im Januar 1943 durch R.C. Archibald gehörte er dem Beirat an und wurde bereits 1944 zweiter Editor. Nachdem Archibald Ende 1949 in den Ruhestand ging, leitete Lehmer von 1950 bis 1954 als First Chairman das Editorial Committee der Zeitschrift.

Von 1954 bis 1957 leitete er das Mathematics Department der University of California in Berkeley. Im Jahr 1972 ging er in den Ruhestand. Er erhielt 1980 die Ehrendoktorwürde von der Brown University.

Lehmer wurde exakt am 50. Todestag von Carl Friedrich Gauß geboren. Das veranlasste Daniel Shanks 1989 zu einer scherzhaften Bemerkung, die sich auf seine gemeinsame Arbeit mit Lehmer an einem von Gauß angeregten Problem bezog.^[1]

Die Lehmers hatten eine Tochter (Laura Lehmer Gould, * 1932) und einen Sohn (Donald, * 1934).

Werk

Lehmer war ein Pionier in der Anwendung von Computern oder allgemein numerischer Verfahren in der Zahlentheorie. Er fand eine verbesserte Version des von Édouard Lucas stammenden Lucas-Tests zur Entdeckung von Primzahlen, der Lucas-Lehmer-Test für Mersenne-Primzahlen ist nach Lucas und ihm benannt^[2], und er war auch einer der ersten, die die Riemannhypothese elektronisch überprüften. Dabei entdeckte er unerwartet eng benachbarte Nullstellen der Riemannschen Zetafunktion, die heute Lehmer-Paare^[3] genannt werden.

Ferner konstruierte Lehmer in der Nachfolge seines Vaters^[4] verschiedene Geräte^[5] für das Siebverfahren zum Berechnen einer Lösung von zahlentheoretischen Kongruenzen, in erster Linie für Primfaktorzerlegungen - 1926 mit Fahrradketten, 1932 mit optischen Zahnrädern (ausgestellt auf der Weltausstellung 1933-34 in Chicago), 1936 mit 16-mm-Filmstreifen^[6], 1966 Delay Line Sieve ("Dick Lehmers Sieve") DLS-127, 1969 DLS-157, 1975 Shift Register Sieve SRS-181, und programmierte das Siebverfahren auf den Computern SWAC, IBM 7094 und ILLIAC IV.

Er entwickelte bereits im Jahr 1938 eine wesentlich beschleunigte Variante des Euklidischen Algorithmus für sehr große natürliche Zahlen.^[7] Im Jahr 1959 verbesserte er die Formel des Astronomen Ernst Meissel für die Anzahl der Primzahlen π(x) bis zu einer gegebenen Grenze x und konnte mit seiner Methode π(10¹⁰) berechnen. Kurz darauf erwies sich jedoch sein Wert als um 1 zu groß.^[8]

Die Lehmersche Konstante^[9] 0,5926327182... ist diejenige reelle Zahl, deren (erstmals von Lehmer eingeführte) Kotangensentwicklung am langsamsten konvergiert.

Lehmer befasste sich mit der ursprünglich von S. Ramanujan untersuchten τ-Funktion, definiert durch

$\sum_{n = 1}^{\infty} \tau(n)x^n = x((1-x)(1-x^2)(1-x^3)...)^{24}$

und stellte 1947 die Lehmersche Vermutung auf, dass τ(n) für kein natürliches n den Wert Null annimmt (vgl. Ramanujansche tau-Funktion).

Der Lehmer-Schur-Algorithmus ist ein Verfahren zur Isolierung der Nullstellen eines Polynoms in der komplexen Ebene.^[10] Es beruht auf einem Kriterium zur Bestimmung der Nullstellenanzahl des Polynoms in einem Kreis mit gegebenem Mittelpunkt und Radius und auf systematischer Verallgemeinerung der eindimensionalen Intervallschachtelung.^[11]

Das (ungelöste) Lehmersche Problem^[12] fragt danach, ob ein von Lehmer entdecktes ganzzahliges Polynom 10. Grades mit seinen außerhalb des komplexen Einheitskreises liegenden Nullstellen bezüglich ihrer Nähe zu diesem Einheitskreis übertroffen werden kann (genauer wird nach der Existenz einer unteren Schranke C > 1 für das sogenannte Mahler-Maß eines Polynoms gefragt, dessen Koeffizienten ganze Zahlen sind). Die größte reelle Nullstelle dieses Polynoms 1,17628 wird als Lehmers Zahl bezeichnet.^[13]

Auch das sogenannte Totient-Problem von Lehmer^[14][15] gehört zu den einfach zu stellenden, aber bisher völlig ungelösten Fragen: Gibt es eine zusammengesetzte natürliche Zahl n, so dass mit der Eulerschen φ-Funktion φ(n) | (n − 1) gilt? Ein solches n wäre eine äußerst bemerkenswerte Fermatsche Pseudoprimzahl, andererseits hätte die Nichtexistenz einer solchen Zahl das (noch fragliche) Primzahlkriterium $\,n \equiv 1 \mod \varphi(n)\,$ zur Folge.

Als Lehmer-Matrizen wird eine von Lehmer angegebene Familie symmetrischer Matrizen mit rationalen Elementen bezeichnet.^[16] Deren Inverse sind tridiagonale Matrizen mit strikt negativen Elementen auf beiden Nebendiagonalen. Da sie sich analytisch angeben lassen, können sie zum Test von numerischen Invertierungsprogrammen verwendet werden.

Als Lehmer-Code wird eine eineindeutige Zuordnung zwischen einer Permutation und einer positiven ganzen Zahl in fakultätsbasierter Zahlendarstellung (engl. factorial number system) bezeichnet.^[17]

Die Lehmer Five sind diejenigen fünf natürlichen Zahlen (276, 552, 564, 660, 966) unterhalb 1000, für die das asymptotische Verhalten ihrer „aliquoten Folge“, der Folge der iterierten Summe aller echten Teiler, noch nicht geklärt werden konnte.^[18]

Die enge Zusammenarbeit von Emma und Derrick Lehmer in der Zahlentheorie findet eigentlich nur ein Pendant bei den Ehepaaren Pierre und Marie Curie sowie deren Tochter Irène mit ihrem Ehemann Frédéric Joliot-Curie in der Physik und Chemie.

Er war unter anderem Doktorvater von Tom Apostol, John Brillhart, Ronald Graham, David Singmaster, Harold Stark und Peter Weinberger.

Schriften

• Guide to Tables in the Theory of Numbers Washington, D.C. 1941, Nachdruck 1961
• Selected papers 1981. ^[19]
• mit John Brillhart, J. L. Selfridge, Bryant Tuckerman, S. S. Wagstaff Jr.: Factorizations of bⁿ ± 1, b = 2, 3, 5, 6, 7, 10, 11, 12 up to high powers, American Mathematical Society 1983, 3. Auflage, 2002 ^[20]
• An extended theory of Lucas' functions. Annals of Mathematics, Bd. 31 (1930), S. 419–448
• A machine for combining sets of linear congruences. Mathematische Annalen, Bd. 109 (1934), S. 661–667 ^[21]
• The Vanishing of Ramanujan's Function tau(n). Duke Math. J., Bd. 14 (1947), S. 429–433
• Mechanized mathematics. Bulletin of the American Mathematical Society, 1966. ^[22]

Einzelnachweise

1. ↑ R. A. Mollin: Number Theory and applications. Banff 1988 Kluwer, Dordrecht, 1989, S. 194
2. ↑ Siehe Ribenboim: Die Welt der Primzahlen, 1996, S. 80.
3. ↑ http://www.math.kent.edu/~varga/pub/paper_209.pdf
4. ↑ D. N. Lehmer: Hunting big game in the theory of numbers. Scripta Mathematica 1, 1933, S. 229–235 Unterhaltsame Beschreibung der Faktorzerlegung als Großwildjagd
   ebenfalls online als Abschrift durch Richard Schroeppel
5. ↑ http://ed-thelen.org/comp-hist/Mike-Williams-Lehmer.html
6. ↑ http://www.computerhistory.org/VirtualVisibleStorage/artifact_frame.php?tax_id=01.01.06.00
7. ↑ D. H. Lehmer: Euclid's algorithm for large numbers. Amer. Math. Monthly 45 (1938), S. 227–233
8. ↑ E. Bach, J. Shallit: Algorithmic Number Theory, Vol. I, MIT Press 1996, S. 300
9. ↑ http://mathworld.wolfram.com/LehmersConstant.html
10. ↑ D. H. Lehmer: A machine method for solving polynomial equations. Journal ACM 8 (1961), S. 151–162
11. ↑ I. Schur: Über Potenzreihen, die im Innern des Einheitskreises beschränkt sind. Journal Reine Angew. Math. 148 (1918), S. 122–145, speziell S. 134
12. ↑ http://www.cecm.sfu.ca/~mjm/Lehmer/
13. ↑ Eriko Hironaka: What is Lehmer's number? (pdf-Datei)
14. ↑ http://math.dartmouth.edu/~carlp/Carmichael_giuga.pdf
15. ↑ Richard G. E. Pinch; A note on Lehmer's totient problem Poster (pdf-Datei) bei ANTS VII (2006)
16. ↑ D. H. Lehmer: Matrix paraphrases. Linear and Multilinear Algebra 28 (1991), Nr. 4, S. 251–264
17. ↑ R. Mantaci, F. Rakotondrajao: A permutation representation that knows what “Eulerian” means. (mit Verweis auf Originalquelle)
18. ↑ http://www.aliquot.de/lehmer.htm
19. ↑ http://openlibrary.org/b/OL16601914M/Selected-papers-of-D.H.-Lehmer
20. ↑ http://www.ams.org/online_bks/conm22
21. ↑ http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002276976
22. ↑ http://www.ams.org/bull/1966-72-05/S0002-9904-1966-11553-7/home.html

Weblinks

• Derrick Lehmer. In: MacTutor History of Mathematics archive (englisch)
• Biografie von John Brillhart in Acta Arithmetica
• Leo Corry: Fermat Meets SWAC: Vandiver, the Lehmers, Computers, and Number Theory. IEEE Annals of the History of Computing 30 Nr. 1, 2008, S. 38-49
• Lehmer-Ausstellung an der Universität Berkeley
• Lehmer an der Universität Berkeley

Normdaten: PND: 120973979 (PICA) | LCCN: n87147927 | WorldCat | WP-Personeninfo