Arithmetic progressions of integers that are relatively prime to their digital sums

Technische Samenvatting: Rekenkundige progressies van getallen die relatief priem zijn met hun digitale som

1. Probleemstelling

Het onderzoek richt zich op een specifieke klasse van getallen, gedefinieerd in een bepaalde basis $b \geq 2$. Een positief integer $n$ wordt een $b$-anti-Niven getal genoemd als het relatief priem is met de som van zijn cijfers in de basis $b$ (aangeduid als $s_b(n)$). Formeel: $\gcd(n, s_b(n)) = 1$.

Dit is het tegenovergestelde van een Niven-getal (of Harshad-getal), waarbij $s_b(n)$ de deler van $n$ moet zijn. Het centrale probleem van dit paper is het onderzoeken van de maximale lengte van rekenkundige progressies ($d$-AP's) die uitsluitend uit $b$-anti-Niven getallen bestaan. Een $d$-AP is een reeks van de vorm $\{n, n+d, n+2d, \dots, n+(t-1)d\}$.

2. Methodologie

De auteurs maken gebruik van een combinatie van getaltheoretische technieken en combinatorische argumenten:

• Modulariteit en Digitale Sommen: Gebruikmaken van de eigenschap dat $n \equiv s_b(n) \pmod{\delta}$ voor elke deler $\delta$ van $(b-1)$.
• Existentiële Bewijzen: Toepassen van de stelling van Dirichlet over priemgetallen in rekenkundige progressies en de stelling van Euler om de aanwezigheid van specifieke getallen in oneindige reeksen aan te tonen.
• Constructieve Methoden: Het expliciet construeren van reeksen met een specifieke lengte door gebruik te maken van grote machten van de basis $b$ om de digitale sommen te controleren.
• Contradictiebewijzen: Het vaststellen van bovengrenzen door aan te tonen dat een te lange progressie onvermijdelijk een getal bevat dat niet relatief priem is met zijn digitale som (bijvoorbeeld door een veelvoud van een priemfactor van $b-1$ te raken).

3. Belangrijkste Bijdragen en Resultaten

Het paper levert een systematische classificatie van de maximale lengtes van $d$-AP's:

• Algemene eigenschappen van $d$-AP's:

  • Een oneindige $d$-AP bevat een $b$-anti-Niven getal dan en slechts dan als $\gcd(n, d, b-1) = 1$.
  • Er bestaan geen $b$-anti-Niven $d$-AP's van oneindige lengte.
  • Voor elke willekeurige lengte $t$ bestaan er echter oneindig veel $b$-anti-Niven $d$-AP's van die lengte.

• Bovengrenzen (Constraints):

  • Theorem 2.5: Als $p$ de kleinste priemfactor is van $(b-1)$ waarvoor $p$ geen deler is van $d$, dan is de maximale lengte van een $b$-anti-Niven $d$-AP beperkt tot $p-1$.
  • Voor even $b$ en oneven $d$ (waarbij $3 \leq d \leq b/2$) wordt een strengere bovengrens vastgesteld: $\lceil 2b/d \rceil + 2$.

• Specifieke reeksen (1-AP's en 2-AP's):

  • Consecutieve getallen (1-AP): De maximale lengte van een reeks opeenvolgende $b$-anti-Niven getallen is $p-1$, waarbij $p$ de kleinste priemfactor van $b-1$ is.
  • 2-AP's: Voor bepaalde $b$ is de maximale lengte van een 2-AP ook $p-1$.
  • Speciaal geval $b=2$: De maximale lengte van een reeks opeenvolgende 2-anti-Niven getallen is exact 5.

• Grote progressies bij specifieke $d$:

  • Wanneer $d = b-1$ en $b$ even is, kan de maximale lengte oplopen tot $2b+1$. De auteurs bewijzen dat deze lengte oneindig vaak bereikt wordt.

4. Betekenis en Conclusie

Dit werk vult een gat in de literatuur over Niven-getallen door de "tegenhanger" (anti-Niven) te bestuderen. Waar bestaand onderzoek zich vaak richtte op de dichtheid van Niven-getallen, biedt dit paper een diepgaand inzicht in de structurele beperkingen van de distributie van getallen die niet door hun digitale som gedeeld worden.

De resultaten laten zien dat de structuur van de digitale sommen in een bepaalde basis een sterke restrictie oplegt aan de lengte van rekenkundige patronen. De paper eindigt met belangrijke vermoedens (conjectures) over de bereikbaarheid van de gevonden bovengrenzen, wat de weg vrijmaakt voor toekomstig onderzoek naar de interactie tussen basis-afhankelijke eigenschappen en rekenkundige structuren.