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

Riassunto Tecnico: Progressioni Aritmetiche di Interi Relativamente Primi alle Somme delle loro Cifre

1. Definizione del Problema

Il lavoro analizza una proprietà numerica basata sulla rappresentazione in una base $b \ge 2$. Un intero positivo $n$ è definito $b$-anti-Niven se è relativamente primo alla somma delle sue cifre nella base $b$, ovvero se $\gcd(n, s_b(n)) = 1$, dove $s_b(n)$ indica la somma delle cifre di $n$ in base $b$.

Il problema centrale consiste nell'investigare la lunghezza massima delle progressioni aritmetiche (d-AP) composte esclusivamente da numeri $b$-anti-Niven. Una progressione aritmetica di passo $d$ e lunghezza $t$ è una sequenza della forma $\{n + jd : 0 \le j \le t-1\}$.

2. Metodologia

Gli autori utilizzano tecniche di teoria dei numeri, tra cui:

• Congruenze e proprietà delle somme delle cifre: Utilizzo del lemma fondamentale secondo cui, se $\delta | (b-1)$, allora $\delta | n \iff \delta | s_b(n)$.
• Teoremi di densità e distribuzione: Applicazione di risultati preesistenti sulla densità naturale degli insiemi di numeri anti-Niven (Olivier, 1975).
• Costruzione di sequenze tramite il Teorema di Euler: Per dimostrare l'esistenza di progressioni di lunghezza arbitraria, gli autori costruiscono specifici valori di $n$ e $d$ utilizzando potenze della base $b$ che soddisfano determinate condizioni di congruenza modulo a un prodotto di primi.
• Analisi combinatoria e di intervallo: Per stabilire limiti superiori (upper bounds), gli autori analizzano la distribuzione dei termini di una progressione all'interno di intervalli di ampiezza $b$ (es. $[ab, (a+1)b-1]$).

3. Contributi Chiave e Risultati

Il paper si articola in tre aree principali di risultati:

A. Esistenza e Limiti Generali (Sezione 2):

• Condizione di esistenza: Una progressione aritmetica di lunghezza infinita $\{n + jd : j \ge 0\}$ contiene almeno un numero $b$-anti-Niven se e solo se $\gcd(n, d, b-1) = 1$.
• Assenza di progressioni infinite: Viene dimostrato che non esistono progressioni aritmetiche di lunghezza infinita composte interamente da numeri $b$-anti-Niven.
• Lunghezza arbitraria: Nonostante l'assenza di progressioni infinite, per ogni intero $t$ esistono progressioni di lunghezza $t$ (sebbene il passo $d$ possa variare).
• Limite superiore basato sui primi: Se $p$ è il più piccolo primo tale che $p | (b-1)$ e $p \nmid d$, allora ogni progressione $b$-anti-Niven $d$-AP ha lunghezza massima $p-1$.

B. Analisi delle Progressioni di Passo 1 e 2 (Sezione 3):

• Progressioni consecutive (1-AP): Per $b > 2$, la lunghezza massima di una sequenza di numeri consecutivi $b$-anti-Niven è $p-1$ (dove $p$ è il più piccolo primo divisore di $b-1$). Gli autori dimostrano che tali sequenze esistono infinitamente spesso.
• Progressioni di passo 2 (2-AP): Viene stabilito che se $b$ non è della forma $2r+1$ (ovvero $b$ è pari o un particolare tipo di dispari), la lunghezza massima è $p-1$. Per i casi in cui $b$ è dispari, viene fornito un limite inferiore di lunghezza $b$.

C. Casi Speciali e Limiti per $d$ grandi (Sezione 3 e 4):

• Caso $d = b-1$: Per $b$ pari, la lunghezza massima di una $(b-1)$-AP è $2b+1$, e tale lunghezza è raggiungibile infinitamente spesso.
• Vincoli per $b$ pari e $d$ dispari: Se $b \ge 6$ è pari e $3 \le d \le b/2$ è dispari, la lunghezza massima è limitata superiormente da $\lceil 2b/d \rceil + 2$.

4. Significato e Conclusioni

Il lavoro colma una lacuna nella letteratura numerica, spostando l'attenzione dai numeri "Niven" (dove la somma delle cifre divide il numero) ai numeri "anti-Niven" (dove la somma delle cifre è coprimo con il numero).

L'importanza scientifica risiede in:

1. Caratterizzazione completa: Fornisce sia condizioni necessarie e sufficienti per l'esistenza di termini anti-Niven in progressioni, sia limiti rigorosi sulla loro lunghezza massima.
2. Dualità: Mostra come la struttura delle progressioni aritmetiche sia strettamente legata alla struttura moltiplicativa della base $b$ e dei suoi divisori.
3. Apertura di nuove ricerche: Il paper conclude con congetture che suggeriscono l'esistenza di progressioni che raggiungono i limiti superiori teorici per basi dispari e passi pari, indicando che la distribuzione di questi numeri è più regolare di quanto i limiti superiori suggeriscano.