Vermutung des einsamen Läufers

in der Zahlentheorie und insbesondere in der diophantischen Approximation eine ursprünglich von Jörg Wills im Jahr 1967 geäußerte Vermutung (Mathematik)

Als Vermutung des einsamen Läufers (auch Lonely Runner Vermutung) wird in der Zahlentheorie und insbesondere in der diophantischen Approximation eine ursprünglich von Jörg Wills im Jahr 1967 geäußerte Vermutung bezeichnet. Ihren Namen erhielt die Vermutung des einsamen Läufers 1998 von Luis Goddyn. Anwendungen hat die Vermutung zum Beispiel in der Approximation von irrationalen Zahlen durch rationale Zahlen, aber auch in der Graphentheorie. Die Vermutung ist noch ungelöst, was ihr, zusammen mit der allgemeinverständlichen Formulierbarkeit, eine gewisse Bekanntheit verschafft hat.[1][2]

Ein Beispiel für die "Einsamer Läufer"-Vermutung mit sechs Läufern.

Formulierung

Bearbeiten

Auf einer Kreisbahn der Länge Eins bewegen sich   Läufer. Bei   befinden sich alle Läufer an derselben Position und beginnen zu laufen, ihre Geschwindigkeiten seien paarweise verschieden und konstant. Ein Läufer heißt "einsam" zur Zeit  , wenn er zur Zeit   eine Distanz von mindestens   zu jedem anderen Läufer hat.

Vermutung: Jeder Läufer ist irgendwann einsam.[2]

Es gibt verschiedene alternative Darstellungen des Problems. Insbesondere genügt es zu zeigen, dass die Vermutung für Geschwindigkeiten, welche ganzzahlig und positiv sind, gültig ist, deren größter gemeinsamer Teiler Eins ist – daraus folgt die Gültigkeit für alle Geschwindigkeiten.[3]

Bekannte Resultate

Bearbeiten

Für   wurde die Vermutung bewiesen, für   steht ein Beweis noch aus.[3]

k Jahr des
Beweises
bewiesen von Kommentar
1 - - offensichtlich
2 - - offensichtlich
3 1967 Wills
4 1972 Betke und Wills
5 1984 Cusick und Pomerance (1984),
Bienia, Gvodzjak, Goddyn, Sebö, Tarsi (1998)
Der Beweis von 1998 ist wesentlich einfacher
als der von 1984.
6 2001 Bohman, Holzman, Kleitman (2001), Renault (2004) Der Beweis von 2004 ist einfacher als der von 2001
7 2008 Barajas und Serra

Im Jahr 1967 zeigte Wills, dass jeder Läufer "ein bisschen einsam" sein wird, nämlich mit dem Abstand   um sich herum.[3] Auch für spezielle Geschwindigkeiten ist die Theorie verifiziert worden.

Einzelnachweise

Bearbeiten
  1. Mathe zum Mitspielen. die Zeit, abgerufen am 19. Februar 2021 (deutsch).
  2. a b J.M. Wills und Matthias Schymura: Der einsame Läufer. In: ProQuest (Dokumentvorschau). Abgerufen am 19. Februar 2021 (deutsch).
  3. a b c Louis Goddyn: The lonely runner conjecture. FernUniversität in Hagen, 2012, abgerufen am 19. Februar 2021 (englisch).