Ratio of sum of digits functions in two bases

Stellen Sie sich vor, Sie sind ein digitaler Detektiv, der versucht, einen Code zu knacken, der in Zahlen verborgen ist. In der Welt der Mathematik kann jede Zahl in verschiedenen „Sprachen“ aufgeschrieben werden, die man Basen nennt. Die gebräuchlichste ist das Dezimalsystem (Basis 10), in dem wir die Ziffern 0 bis 9 verwenden. Aber man könnte genauso gut in Basis 2 (unter Verwendung von nur 0 und 1) oder Basis 3 (unter Verwendung von 0, 1 und 2) schreiben. Betrachten Sie eine Basis wie einen anderen Satz von Bausteinen: In Basis 10 ist eine Zahl ein Turm aus Blöcken, bei dem jede Ebene eine Potenz von 10 darstellt; in Basis 2 ist es ein Turm aus Potenzen von 2.

Stellen Sie sich vor, Sie haben ein spezielles Werkzeug, das den Gesamtwert aller Blöcke in einem Zahlenturm zählt. Mathematiker nennen dies die „Quersumme“ (oder Summe der Ziffern). Wenn man die Zahl 19 nimmt, ist sie in Basis 10 gleich $1 + 9 = 10$. Wenn man 19 jedoch in Basis 2 schreibt, sieht sie wie $10011_2$ aus, und die Summe dieser Ziffern ist $1+0+0+1+1 = 3$. Die große Frage, die Mathematiker seit Jahrzehnten rätseln lässt, lautet: Was passiert, wenn man diese Quersummen über zwei völlig verschiedene Sprachen hinweg vergleicht? Wenn man zwei Basen wählt, die keine einfache mathematische Beziehung teilen (wie 2 und 3, oder 5 und 7), gleichen sich die Summen ihrer Ziffern dann jemals perfekt an? Erreichen sie jemals ein bestimmtes Verhältnis, wie zum Beispiel, dass die eine genau doppelt so groß ist wie die andere? Dies ist nicht nur ein Spiel mit Zahlen; es berührt tiefe Geheimnisse darüber, wie Zufälligkeit und Ordnung in der Mathematik koexistieren, und hilft uns, die verborgene Struktur der grundlegendsten Bausteine des Universums zu verstehen.

Dieses Paper, geschrieben von Pascal Jelinek, taucht direkt in eben dieses Geheimnis ein. Der Autor beweist eine kraftvolle neue Regel darüber, wie sich diese Quersummen verhalten, wenn man zwischen zwei „unabhängigen“ Basen wechselt. Vorher wussten wir, dass das Verhältnis dieser Summen beliebig nah an jede positive Zahl herankommen konnte, aber wir wusften nicht, ob sie tatsächlich jeden einzelnen rationalen Zahlenwert (wie 1/2, 3/4 oder 7/11) exakt treffen können. Jelinek zeigt, dass dies der Fall ist. Tatsächlich zeigt er, dass für zwei Basen, die multiplikativ unabhängig sind (das heißt, eine ist nicht einfach eine Potenz der anderen, wie 2 und 4), und für jedes benennbare Zielverhältnis, unendlich viele Zahlen existieren, bei denen die Summe der Ziffern in der ersten Basis durch die Summe der Ziffern in der zweiten Basis genau dieses Verhältnis ergibt.

Das Paper sagt nicht nur „es passiert“; es liefert einen rigorosen mathematischen Beweis dafür, dass dies unendlich oft geschieht. Es liefert sogar eine Formel, um abzuschätzen, wie viele solcher Zahlen man unterhalb einer bestimmten Größe finden kann, was zeigt, dass sie, auch wenn sie selten sein mögen, definitiv vorhanden sind. Der Autor löst auch die Kehrseite der Medaille: Was passiert, wenn die Basen miteinander verwandt sind, wie etwa Basis 4 und Basis 16? In diesem Fall beweist das Paper, dass das Verhältnis nur innerhalb eines spezifischen, begrenzten Bereichs liegen kann, und es beschreibt genau, welche Verhältnisse möglich und welche unmöglich sind.

Um dies zu visualisieren, stellen Sie sich zwei verschiedene Arten von Würfeln vor. Ein Würfel hat die Seiten nummeriert von 0 bis 9 (Basis 10), und ein anderer von 0 bis 2 (Basis 3). Man würfelt eine bestimmte Anzahl von Malen, um eine Zahl zu bilden. Die „Quersumme“ ist einfach die Gesamtwertung, die man erhält. Jelineks Arbeit ist wie der Beweis, dass egal welches Score-Verhältnis man zwischen den beiden Würfeln anstrebt (zum Beispiel ist der Basis-10-Score immer 1,5-mal so hoch wie der Basis-3-Score), es eine unendliche Sequenz von Würfelwürfen gibt, die genau dieses Verhältnis herbeiführen wird. Er beweist auch, dass wenn die Würfel irgendwie miteinander verknüpft sind (wie wenn einer nur eine umgestaltete Version des anderen ist), man nicht jedes beliebige Verhältnis erreichen kann; man ist an ein spezifisches Set von Ergebnissen gebunden.

Der Beweis ist ein Meisterwerk in der Verwendung von „arithmetischen Progressionen“. Denken Sie an dies als eine Zahlenreihe, bei der jeder Schritt die gleiche Größe hat, wie zum Beispiel 5, 10, 15, 20. Der Autor zeigt, dass, wenn man den richtigen Startpunkt und die richtige Schrittweite wählt, sich die Quersummen entlang dieser Linie auf eine sehr vorhersehbare, fast magische Weise verhalten. Sie verteilen sich gleichmäßig über alle möglichen Reste, was es dem Autor ermöglicht, die Zahlen so zu „stimmen“, dass das Verhältnis exakt das Ziel trifft. Diese Methode erweitert frühere Arbeiten, die das Problem nur für spezifische Fälle (wie Basis 2 und Basis 3) gelöst hatten, auf eine allgemeine Regel, die für fast jedes Paar von Basen funktioniert, das man sich vorstellen kann.

Im Fall abhängiger Basen (wie Basis 4 und Basis 16) fungiert das Paper als strenger Torwächter. Es beweist, dass man nicht jedes beliebige Verhältnis erreichen kann. Beispielsweise ist das Verhältnis der Quersummen von Basis $b^k$ und Basis $b^\ell$ in einem Bereich zwischen $1/(b^\ell - 1)$ und $b^k - 1$ gefangen. Der Autor demonstriert, dass jede einzelne rationale Zahl innerhalb dieser Grenze unendlich viele Male erreichbar ist, aber nichts außerhalb davon möglich ist. Dies liefert eine vollständige Karte des Territoriums: Wir wissen nun genau, welche Verhältnisse möglich und welche verboten sind, abhängig von der Beziehung zwischen den beiden Basen.

Was ist also die Quintessenz? Wenn Sie zwei Basen wählen, die sich mathematisch „fremd“ sind, ist das Universum der Zahlen reich genug, um eine unendliche Versorgung an Zahlen zu enthalten, die jedes von Ihnen erträumte Quersummen-Verhältnis erfüllen. Wenn die Basen „Verwandte“ sind, sind die Möglichkeiten begrenzter, aber dennoch perfekt vorhersagbar. Jelineks Arbeit verwandelt die vage Hoffnung, dass „vielleicht diese Verhältnisse existieren“, in eine konkrete, bewiesene Tatsache und füllt damit die fehlenden Teile eines Puzzles aus, an dessen Lösung Mathematiker seit Jahren arbeiten. Es ist eine Erinnerung daran, dass selbst in der starren Welt der ganzen Zahlen eine überraschende Menge an Flexibilität und unendlicher Vielfalt darauf wartet, entdeckt zu werden.