On common values of and Nathanson's totient function
Diese Arbeit beweist, dass die diophantische Gleichung , wobei die -te Fibonacci-Zahl und Nathansons Totientenfunktion ist, genau drei Lösungen besitzt: und , unter Verwendung von unteren Schranken für lineare Formen in Logarithmen und einer Reduktionsmethode in der diophantischen Approximation.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich vor, Sie haben zwei sehr unterschiedliche Arten von Zahlenmaschinen.
Maschine A ist der Fibonacci-Generator. Er beginnt mit 0 und 1, und jede neue Zahl, die er ausspuckt, ist einfach die Summe der beiden vorangegangenen Zahlen (0, 1, 1, 2, 3, 5, 8, 13, 21...). Dies ist eine berühmte Folge, die in der Natur, der Kunst und in Mathematiklehrbüchern überall auftaucht.
Maschine B ist Nathansons Totient-Maschine. Diese ist etwas geheimnisvoller. Sie nimmt eine Zahl und zählt, wie viele verschiedene „Gruppen“ von Zahlen man aus der Liste von $1$ bis auswählen kann, sodass der größte gemeinsame Teiler dieser Gruppe keine gemeinsamen Faktoren mit hat. Es ist eine spezifische Zählregel, die von einem Mathematiker namens Nathanson erfunden wurde.
Die große Frage
Das Paper stellt eine einfache, aber knifflige Frage: Können diese beiden Maschinen jemals zur exakt gleichen Zeit dieselbe Zahl ausspucken?
In mathematischen Begriffen sucht der Autor nach Lösungen für die Gleichung:
Die Detektivarbeit
Der Autor, Sagar Mandal, agiert wie ein Detektiv, der versucht, alle Male zu finden, in denen diese beiden Maschinen übereinstimmen.
Der erste Hinweis: Der Autor überprüft zuerst die kleinen Zahlen. Er findet, dass die Maschinen in drei spezifischen Fällen übereinstimmen:
- Wenn und (Beide geben 1 aus).
- Wenn und (Beide geben 1 aus).
- Wenn und (Beide geben 2 aus).
Das „Zu groß“-Problem: Die eigentliche Herausforderung besteht darin, zu beweisen, dass sie bei größeren Zahlen niemals wieder übereinstimmen. Wenn man einfach nur fortlaufend Zahlen prüft, würde man ewig prüfen, da die Zahlen extrem schnell riesig werden.
Der mathematische Vorschlaghammer: Um die unendliche Suche zu stoppen, nutzt der Autor zwei mächtige Werkzeuge aus dem „Arsenal“ der Zahlentheorie:
- Matveevs Schranke (Das „logarithmische Lineal“): Dies ist ein ausgeklügeltes Werkzeug, das misst, wie „nah“ zwei komplexe Zahlen einander kommen können, ohne tatsächlich gleich zu sein. Es hilft dem Autor zu beweisen, dass, wenn die Zahlen zu groß werden, die Lücke zwischen dem Fibonacci-Output und dem Totient-Output so weit wird, dass sie sich nie wieder berühren können.
- Die Baker–Davenport-Reduktion (Der „Filter“): Selbst mit dem Lineal sind die Zahlen immer noch astronomisch groß (Billionen von Billionen). Der Autor nutzt eine Reduktionsmethode, um den Suchraum zu „schrumpfen“. Stellen Sie sich das wie die Verwendung eines Siebs vor, um die Suchmöglichkeiten zu filtern; man beginnt mit einem riesigen Haufen an Möglichkeiten, und das Sieb entfernt die Unmöglichen, bis nur noch eine winzige Handvoll übrig bleibt.
Das Ergebnis
Nachdem er diese Werkzeuge verwendet hat, um den Suchraum von Unendlich auf eine handhabbare Größe zu schrumpfen, schrieb der Autor ein Computerprogramm, um die verbleibenden Möglichkeiten zu prüfen.
Der Computer überprüfte jeden verbleibenden Kandidaten und fand nichts.
Das Fazit
Das Paper kommt zu einer definitiven Feststellung: Die einzigen Male, in denen diese beiden Maschinen jemals dieselbe Zahl erzeugen, sind die drei kleinen Fälle, die ganz am Anfang gefunden wurden.
Es gibt keine verborgenen, riesigen Übereinstimmungen, die in der Weite der großen Zahlen lauern. Die Gleichung hat genau drei Lösungen: , und .
Kurz gesagt: Der Autor hat bewiesen, dass diese beiden Zahlensysteme zwar Nachbarn sind, sich aber nur an der Startlinie treffen und sich danach nie wieder kreuzen.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.