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

Technische Samenvatting: De Martingale-evolutie van Maatstaven voor Kansverdelingen Gedefinieerd via Som-van-Cijfers-Functies

Probleemstelling
Het artikel onderzoekt de eigenschappen van de familie kansverdelingen $\{\mu_t\}_{t \in \mathbb{N}}$ gedefinieerd op de gehele getallen $\mathbb{Z}$. Voor een natuurlijk getal $n$ zij $s(n)$ het aantal enen in de binaire voorstelling. De maatstaf $\mu_t(d)$ vertegenwoordigt de asymptotische dichtheid van natuurlijke getallen $n$ waarvoor $s(n+t) - s(n) = d$. Hoewel bekend is dat $\mu_t$ een goed gedefinieerde kansverdeling is met gemiddelde nul, is het centrale open probleem dat deze studie motiveert de Cusick-vermoeden, die stelt dat $\mu_t(\mathbb{N}) > 1/2$ voor alle $t \in \mathbb{N}$. Eerdere resultaten hebben deze ongelijkheid bewezen voor een asymptotische dichtheid één van $t$, of voor specifieke klassen van $t$ (bijvoorbeeld die met veel blokken van enen in binaire vorm), maar een volledig structureel bewijs blijft ontvlucht.

Methodologie
De auteur, Dawid Tarłowski, stelt een structurele herindexering van de oneven gehele getallen voor met behulp van een specifieke partiële orde $\preceq$ om een hiërarchische martingale-structuur bloot te leggen die ten grondslag ligt aan de evolutie van deze maatstaven.

1. Partiële Orde en Herindexering: De verzameling oneven gehele getallen $T = 2\mathbb{N} + 1$ is uitgerust met een partiële orde gegenereerd door twee afbeeldingen, $L(t) = 2t - 1$ en $R(t) = 2t + 1$. Deze structuur maakt het mogelijk de rij maatstaven $\mu_t$ te beschouwen als trajecten van een niet-autonoom dynamisch systeem.
2. Martingale-constructie via Gestopte Willekeurige Wandelingen: Het artikel introduceert een familie maatstaven $P_t$ die gerelateerd zijn aan $\mu_t$ via de convolutie $\mu_t = \mu_1 * P_t$. De evolutie van $P_t$ wordt beschreven met behulp van een simpele symmetrische willekeurige wandeling $S_n$ op $\mathbb{Z}$.
   • Er wordt een bijectie vastgesteld tussen de verzameling volledige planaire binaire bomen en begrenste stoptijden van de willekeurige wandeling.
   • De maatstaven $P_t$ worden geïdentificeerd als de wetten van de willekeurige wandeling gestopt op specifieke tijdstippen $\tau_t$ bepaald door de groei van deze bomen.
   • Specifiek vormt voor een rij keuzes $w \in \{L, R\}^\mathbb{N}$ het proces $X_t = S_{\tau_{w(t)}}$ een martingaal.
3. Dynamica van Boomgroei: De evolutie van de maatstaven wordt gemodelleerd als de groei van een binaire boom. Bij elke stap, bepaald door de rij $w$, wordt één tak van de boom behouden terwijl de andere uitgroeit tot een kopie van de huidige boom. Deze recursieve structuur definieert de niet-autonome dynamica op paren kansverdelingen.

Belangrijkste Bijdragen en Resultaten

• Structurele Beschrijving: Het artikel biedt een transparante structurele beschrijving van de maatstaven $\mu_t$ via de bijbehorende gestopte willekeurige wandeling. Dit omvat expliciete karakterisering van hun draagvlak, symmetrieën en variantie.
• Variantie-analyse: De auteur leidt expliciete grenzen af voor de variantie $D^2[P_w]$ van de maatstaven geassocieerd met woorden $w$.
  • De variantie blijkt monotoon te zijn met betrekking tot de partiële orde: $s \preceq t \implies D^2(P_s) \leq D^2(P_t)$.
  • Ondergrenzen worden bereikt door constante woorden (bijvoorbeeld $L^n$ of $R^n$), wat resulteert in $2 - (1/2)^n$.
  • Bovengrenzen hangen samen met het aantal blokken in het woord $w$, waarbij alternerende woorden (bijvoorbeeld $LR, LR, \dots$) de variantie maximaliseren.
• Asymptotisch Gedrag:
  • Begrensde Variantie: Als de rij keuzes $w$ uiteindelijk constant is, convergeert de martingaal bijna zeker. De limietverdelingen blijken elementen te zijn van de familie $\{\mu_t\} \cup \{\hat{\mu}_t\}$, waarbij $\hat{\mu}_t$ de reflectie is van $\mu_t$.
  • Onbegrensde Variantie: Als het aantal blokken in de binaire voorstelling van $t$ naar oneindig gaat, voldoen de maatstaven aan een Centrale Limietstelling, en convergeren ze zwak naar de standaardnormale verdeling (in overeenstemming met eerdere resultaten van andere auteurs).
• Symmetrieën: Het artikel stelt vast dat $P_w(d) = P_w(-d)$ en $P_w(d) = P_{\leftarrow w}(d)$, waarbij $\leftarrow w$ het omgekeerde woord is. Dit impliceert dat de afbeelding van de boomstructuur naar de maatstaf niet injectief is.

Relatie tot het Cusick-vermoeden
Het artikel herformuleert het Cusick-vermoeden als een eigenschap van de "mediaanbehoudende" aard van de martingale-evolutie.

• De auteur stelt een gegeneraliseerde bewering: als de boom asymmetrisch groeit (specifiek, als $P_{Lv}(\mathbb{N}) > 1/2$ en $P_{Rv}(-\mathbb{N}) > 1/2$ voor elk woord $v$), dan geldt het Cusick-vermoeden.
• Lemma 24 toont aan dat als de ongelijkheid $P_w(\mathbb{N}) > 1/2$ geldt voor elk oneven $t$ (gerepresenteerd door een woord $w$) dat begint met een specifieke voorwaarde ($t_2=0$ in binaire vorm), dit impliceert dat $\mu_t(\mathbb{N}) > 1/2$ voor alle $t$.
• Numeriek Bewijs: Het artikel sluit af met numerieke verificatie. Voor oneven gehele getallen tot $12.000.001$ bleek het globale minimum van de functie $V(t) = P_t(\mathbb{N})$ exact $1/2$ te zijn. De minimalizers worden vermeld, wat aantoont dat de ongelijkheid strak is maar nooit wordt geschonden in het geteste bereik.

Betekenis en Beweringen
Het artikel beweert dat het Cusick-vermoeden een speciaal geval is van een meer algemene bewering met betrekking tot de asymmetrische groei van binaire bomen die geassocieerd zijn met de martingaal. Door het perspectief te verschuiven van directe rekenkundige eigenschappen van $s(n+t) - s(n)$ naar de probabilistische evolutie van gestopte willekeurige wandelingen op binaire bomen, biedt de auteur een nieuw kader voor het analyseren van de maatstaven. Het werk claimt niet het Cusick-vermoeden te bewijzen, maar reduceert het eerder tot een eigenschap van de dynamica van de boomgroei, wat wordt ondersteund door numerieke data. De betekenis ligt in de unificatie van het probleem met martingale-theorie en de expliciete structurele grenzen voor variantie en draagvlak.