On the digits of the sum of proper divisors

Sintesi Tecnica: Sulle cifre della somma dei divisori propri

Enunciato del problema
Questo articolo investiga il comportamento probabilistico delle cifre decimali (e delle cifre in una base generale $g$) di $s(n)$, la somma dei divisori propri di un intero positivo $n$. Gli autori affrontano tre questioni primarie:

1. Occorrenza delle cifre: Con quale frequenza compaiono tutte le possibili cifre nelle posizioni iniziali e finali di $s(n)$?
2. Distribuzione della cifra iniziale: Le cifre iniziali di $s(n)$ seguono la legge di Benford?
3. Preimmagini sparse: Quanti interi composti $n$ esistono tali che $s(n)$ sia "ellissofico" (ovvero, manchi almeno una cifra nella sua espansione in base $g$)?

Lo studio è motivato dal contrasto tra il comportamento di $s(n)$ su tutti gli interi rispetto al suo comportamento quando limitato agli interi composti, specificamente riguardo alle preimmagini di insiemi con cifre mancanti.

Metodologia
Gli autori impiegano una combinazione di teoria analitica dei numeri, metodi probabilistici e tecniche di setaccio.

• Occorrenza delle cifre (Teoremi 1.1, 2.2, 2.5): Per dimostrare che quasi tutti gli interi $n \le x$ hanno $s(n)$ contenente tutte le cifre nelle prime e nelle ultime $k(x)$ posizioni (dove $k(x) \to \infty$), gli autori utilizzano:

  • Vincoli modulari: Analizzano $s(n) \pmod{g^k}$ e lo relazionano a $\sigma(n) \pmod{g^k}$.
  • Numeri smooth: Decompongono $n$ in una parte smooth e una parte rough, utilizzando il Teorema dei Numeri Primi per limitare il contributo dei casi eccezionali.
  • Distribuzione di $\sigma(n)/n$: Si affidano alla continuità della funzione di distribuzione di $\sigma(n)/n$ (i risultati di Davenport) per mostrare che $s(n)$ si comporta come un intero casuale di dimensione comparabile per quanto riguarda la distribuzione delle cifre.

• Legge di Benford (Teoremi 1.2, 3.5, 3.6):

  • Densità Logaritmica: Gli autori dimostrano che $s(n)$ obbedisce alla legge di Benford rispetto alla densità logaritmica. Applicano il criterio di Weyl per l'equidistribuzione modulo 1 alla successione $\{\log_g s(n)\}$.
  • Teorema di Halász: Poiché $s(n)$ non è una funzione moltiplicativa, esprimono $s(n)^{i\alpha}$ tramite uno sviluppo binomiale di $\sigma(n)^{i\alpha}(1 - n/\sigma(n))^{i\alpha}$. Troncano questa serie e applicano una versione pesata del Teorema di Halász (Proposizione 3.3) per mostrare che la media logaritmica delle funzioni moltiplicative risultanti è zero.
  • Densità Naturale: Al contrario, dimostrano che $s(n)$ non obbedisce alla legge di Benford rispetto alla densità naturale. Costruiscono un insieme specifico di interi "convenienti" (multipli di 6 con grandi fattori primi), dove $s(n)$ è strettamente raggruppato vicino a $n$, creando un bias nelle parti frazionarie di $\log_g s(n)$ che viola l'equidistribuzione richiesta per il comportamento di Benford rispetto alla densità naturale.

• Interi Composti e Cifre Mancanti (Teorema 1.5):

  • Esclusione dei Primi: L'articolo affronta una lacuna nei lavori precedenti (Benli et al., 2026) che stabilivano un limite superiore per $s(n)$ con cifre mancanti ma notavano che gli input primi ($s(p)=1$) dominano il conteggio.
  • Decomposizione: Per un composto $n$, scrivono $n = Pm$ dove $P = P^+(n)$ è il più grande fattore primo. Analizzano $s(n) = P s(m) + \sigma(m)$.
  • Setaccio e Smoothness: Dividono l'analisi in base alle dimensioni di $m$ e $P$. Per $P$ grande, utilizzano il teorema di Brun-Titchmarsh e i limiti sul numero di interi con cifre mancanti (numeri ellissofici) per mostrare che il conteggio è significativamente inferiore rispetto al caso generale.
  • Aritmetica Modulare: Utilizzano il Lemma 4.3 per limitare il numero di $m$ tali che $s(m)$ sia divisibile per specifici moduli, controllando la distribuzione di $s(n)$ modulo $g^k$.

Risultati Chiave

1. Occorrenza Universale delle Cifre: Per qualsiasi base $g \ge 2$ e qualsiasi funzione $k(x) \to \infty$, asintoticamente il 100% degli interi $n \le x$ ha $s(n)$ contenente tutte le $g$ cifre sia nelle prime che nelle ultime $k(x)$ posizioni (Teorema 1.1).
2. Legge di Benford (Densità Logaritmica): La funzione $s(n)$ soddisfa la legge di Benford rispetto alla densità logaritmica. Nello specifico, la densità logaritmica di $n$ per cui le cifre iniziali di $s(n)$ formano un blocco $D$ è $\log_g(1 + 1/D)$ (Teorema 1.2).
3. Fallimento della Legge di Benford (Densità Naturale): $s(n)$ non soddisfa la legge di Benford rispetto alla densità naturale (Proposizione 3.6).
4. Preimmagini Composite di Insiemi Sparsi: Restringendo $n$ ai numeri composti, il numero di $n \le x$ tale che $s(n)$ manca una specifica cifra $a_0$ in base $g$ è limitato da $O(x \exp(-c\sqrt{\log x}))$ per una costante $c > 0$ (Teorema 1.5). Questo è un limite significativamente più forte del limite $O(x \exp(-(\log \log x)^\gamma))$ per tutti gli interi, evidenziando che gli input primi sono la fonte primaria di valori con "cifre mancanti" per $s(n)$.

Significatività e Rivendicazioni
L'articolo sostiene di aver stabilito che le cifre di $s(n)$ esibiscono un alto grado di casualità, comportandosi in modo simile agli interi casuali in termini di occorrenza delle cifre e distribuzione delle cifre iniziali (sotto densità logaritmica).

Un contributo centrale è la chiarificazione del ruolo dei numeri primi nella preimmagine di insiemi con cifre mancanti. Gli autori dimostrano che, mentre l'insieme di tutti gli interi $n$ dove $s(n)$ ha cifre mancanti è relativamente grande (a causa del caso banale $s(p)=1$), il sottoinsieme di interi composti con questa proprietà è molto più piccolo. Questo risultato perfeziona la comprensione della congettura Erdős–Granville–Pomerance–Spiro (EGPS), la quale postula che la preimmagine di un insieme con densità asintotica nulla abbia anch'essa densità asintotica nulla. Gli autori mostrano che, per il caso specifico delle cifre mancanti, la "densità" della preimmagine è guidata quasi interamente dai numeri primi, e l'esclusione di questi ultimi produce un insieme molto più sparso.

Il lavoro si basa su strumenti standard della teoria analitica dei numeri (teorema di Halász, Brun-Titchmarsh, distribuzione di $\sigma(n)/n$) e non propone nuove applicazioni sperimentali o implicazioni future oltre ai limiti teorici stabiliti.