The martingale evolution of probability measures defined via the sum-of-digits functions

Technische Zusammenfassung: Die Martingal-Evolution von Wahrscheinlichkeitsmaßen, definiert über Summen-der-Ziffern-Funktionen

Problemstellung
Der Artikel untersucht die Eigenschaften der Familie von Wahrscheinlichkeitsmaßen $\{\mu_t\}_{t \in \mathbb{N}}$, die auf den ganzen Zahlen $\mathbb{Z}$ definiert sind. Für eine natürliche Zahl $n$ bezeichne $s(n)$ die Anzahl der Einsen in ihrer Binärdarstellung. Das Maß $\mu_t(d)$ stellt die asymptotische Dichte der natürlichen Zahlen $n$ dar, für die $s(n+t) - s(n) = d$ gilt. Obwohl bekannt ist, dass $\mu_t$ ein wohldefiniertes Wahrscheinlichkeitsmaß mit Mittelwert null ist, besteht das zentrale offene Problem, das diese Arbeit motiviert, in der Vermutung von Cusick, die besagt, dass $\mu_t(\mathbb{N}) > 1/2$ für alle $t \in \mathbb{N}$ gilt. Bisherige Ergebnisse haben diese Ungleichung für eine asymptotische Dichte von eins der $t$ oder für bestimmte Klassen von $t$ (z. B. solche mit vielen Blöcken von Einsen in der Binärdarstellung) etabliert, doch ein vollständiger struktureller Beweis bleibt aus.

Methodik
Der Autor, Dawid Tarłowski, schlägt eine strukturelle Neuindizierung der ungeraden ganzen Zahlen unter Verwendung einer spezifischen partiellen Ordnung $\preceq$ vor, um eine hierarchische Martingal-Struktur zu offenbaren, die der Evolution dieser Maße zugrunde liegt.

1. Partielle Ordnung und Neuindizierung: Die Menge der ungeraden ganzen Zahlen $T = 2\mathbb{N} + 1$ wird mit einer partiellen Ordnung ausgestattet, die durch zwei Abbildungen erzeugt wird: $L(t) = 2t - 1$ und $R(t) = 2t + 1$. Diese Struktur ermöglicht es, die Folge der Maße $\mu_t$ als Trajektorien eines nicht-autonomen dynamischen Systems zu betrachten.
2. Martingal-Konstruktion via gestoppte Irrfahrten: Der Artikel führt eine Familie von Maßen $P_t$ ein, die mit $\mu_t$ durch die Faltung $\mu_t = \mu_1 * P_t$ verbunden sind. Die Evolution von $P_t$ wird unter Verwendung einer einfachen symmetrischen Irrfahrt $S_n$ auf $\mathbb{Z}$ beschrieben.
   • Eine Bijektion wird zwischen der Menge der vollständigen planaren binären Bäumen und beschränkten Stoppzeiten der Irrfahrt hergestellt.
   • Die Maße $P_t$ werden als Gesetze der Irrfahrt identifiziert, die zu spezifischen Zeiten $\tau_t$ gestoppt wird, die durch das Wachstum dieser Bäume bestimmt werden.
   • Insbesondere bildet für eine Folge von Entscheidungen $w \in \{L, R\}^\mathbb{N}$ der Prozess $X_t = S_{\tau_{w(t)}}$ ein Martingal.
3. Dynamik des Baumwachstums: Die Evolution der Maße wird als Wachstum eines binären Baumes modelliert. In jedem Schritt, bestimmt durch die Folge $w$, wird ein Ast des Baumes beibehalten, während der andere wächst und zu einer Kopie des aktuellen Baumes wird. Diese rekursive Struktur definiert die nicht-autonome Dynamik auf Paaren von Wahrscheinlichkeitsmaßen.

Hauptbeiträge und Ergebnisse

• Strukturelle Beschreibung: Der Artikel liefert eine transparente strukturelle Beschreibung der Maße $\mu_t$ über die zugehörige gestoppte Irrfahrt. Dies umfasst explizite Charakterisierungen ihres Trägers, ihrer Symmetrien und ihrer Varianz.
• Varianzanalyse: Der Autor leitet explizite Schranken für die Varianz $D^2[P_w]$ der mit Wörtern $w$ assoziierten Maße her.
  • Es wird gezeigt, dass die Varianz bezüglich der partiellen Ordnung monoton ist: $s \preceq t \implies D^2(P_s) \leq D^2(P_t)$.
  • Untere Schranken werden durch konstante Wörter erreicht (z. B. $L^n$ oder $R^n$) und ergeben $2 - (1/2)^n$.
  • Obere Schranken hängen mit der Anzahl der Blöcke im Wort $w$ zusammen, wobei alternierende Wörter (z. B. $LR, LR, \dots$) die Varianz maximieren.
• Asymptotisches Verhalten:
  • Beschränkte Varianz: Wenn die Folge der Entscheidungen $w$ schließlich konstant ist, konvergiert das Martingal fast sicher. Es wird gezeigt, dass die Grenzverteilungen Elemente der Familie $\{\mu_t\} \cup \{\hat{\mu}_t\}$ sind, wobei $\hat{\mu}_t$ die Spiegelung von $\mu_t$ ist.
  • Unbeschränkte Varianz: Wenn die Anzahl der Blöcke in der Binärdarstellung von $t$ gegen unendlich strebt, erfüllen die Maße einen zentralen Grenzwertsatz und konvergieren schwach gegen die Standardnormalverteilung (im Einklang mit früheren Ergebnissen anderer Autoren).
• Symmetrien: Der Artikel stellt fest, dass $P_w(d) = P_w(-d)$ und $P_w(d) = P_{\leftarrow w}(d)$ gilt, wobei $\leftarrow w$ das umgekehrte Wort ist. Dies impliziert, dass die Abbildung von der Baumstruktur zum Maß nicht injektiv ist.

Beziehung zur Vermutung von Cusick
Der Artikel fasst die Vermutung von Cusick als Eigenschaft der „Mediane erhaltenden" Natur der Martingal-Evolution neu.

• Der Autor schlägt eine verallgemeinerte Behauptung vor: Wenn der Baum asymmetrisch wächst (speziell, wenn $P_{Lv}(\mathbb{N}) > 1/2$ und $P_{Rv}(-\mathbb{N}) > 1/2$ für jedes Wort $v$ gilt), dann gilt die Vermutung von Cusick.
• Lemma 24 zeigt, dass, wenn die Ungleichung $P_w(\mathbb{N}) > 1/2$ für jedes ungerade $t$ (repräsentiert durch ein Wort $w$) gilt, das mit einer spezifischen Bedingung beginnt ($t_2=0$ in Binärdarstellung), dies $\mu_t(\mathbb{N}) > 1/2$ für alle $t$ impliziert.
• Numerische Evidenz: Der Artikel schließt mit einer numerischen Verifikation. Für ungerade ganze Zahlen bis zu $12.000.001$ wurde das globale Minimum der Funktion $V(t) = P_t(\mathbb{N})$ exakt als $1/2$ gefunden. Die Minimierer werden aufgelistet, was zeigt, dass die Ungleichung scharf ist, aber im getesteten Bereich niemals verletzt wird.

Bedeutung und Behauptungen
Der Artikel behauptet, dass die Vermutung von Cusick ein Spezialfall einer allgemeineren Aussage bezüglich des asymmetrischen Wachstums binärer Bäume ist, die mit dem Martingal assoziiert sind. Durch den Perspektivenwechsel von direkten arithmetischen Eigenschaften von $s(n+t) - s(n)$ hin zur probabilistischen Evolution gestoppter Irrfahrten auf binären Bäumen bietet der Autor einen neuen Rahmen zur Analyse der Maße. Die Arbeit behauptet nicht, die Vermutung von Cusick zu beweisen, sondern reduziert sie vielmehr auf eine Eigenschaft der Baumwachstumsdynamik, die durch numerische Daten gestützt wird. Die Bedeutung liegt in der Vereinheitlichung des Problems mit der Martingal-Theorie sowie in den expliziten strukturellen Schranken für Varianz und Träger.