On the digits of the sum of proper divisors

Resumo Técnico: Sobre os Dígitos da Soma dos Divisores Próprios

Enunciado do Problema
Este artigo investiga o comportamento probabilístico dos dígitos decimais (e de uma base geral $g$) de $s(n)$, a soma dos divisores próprios de um inteiro positivo $n$. Os autores abordam três questões primordiais:

1. Ocorrência de Dígitos: Com que frequência todos os dígitos possíveis aparecem nas posições iniciais e finais de $s(n)$?
2. Distribuição do Dígito Inicial: Os dígitos iniciais de $s(n)$ seguem a lei de Benford?
3. Pré-imagens Esparsas: Quantos inteiros compostos $n$ existem tais que $s(n)$ é "elíptico" (ou seja, carece de pelo menos um dígito em sua expansão na base-$g$)?

O estudo é motivado pelo contraste entre o comportamento de $s(n)$ em todos os inteiros versus seu comportamento quando restrito a inteiros compostos, especificamente em relação às pré-imagens de conjuntos com dígitos ausentes.

Metodologia
Os autores empregam uma combinação de teoria analítica dos números, métodos probabilísticos e técnicas de crivo.

• Ocorrência de Dígitos (Teoremas 1.1, 2.2, 2.5): Para provar que quase todos os inteiros $n \le x$ possuem $s(n)$ contendo todos os dígitos nas primeiras e últimas $k(x)$ posições (onde $k(x) \to \infty$), os autores utilizam:

  • Restrições Modulares: Eles analisam $s(n) \pmod{g^k}$ e relacionam isso a $\sigma(n) \pmod{g^k}$.
  • Números Suaves (Smooth Numbers): Eles decompõem $n$ em uma parte suave e uma parte bruta, utilizando o Teorema do Número Primo para limitar a contribuição dos casos excepcionais.
  • Distribuição de $\sigma(n)/n$: Eles dependem da continuidade da função de distribuição de $\sigma(n)/n$ (resultados de Davenport) para mostrar que $s(n)$ se comporta como um inteiro aleatório de tamanho comparável no que diz respeito à distribuição de dígitos.

• Lei de Benford (Teoremas 1.2, 3.5, 3.6):

  • Densidade Logarítmica: Os autores provam que $s(n)$ obedece à lei de Benford com respeito à densidade logarítmica. Eles aplicam o critério de Weyl para a distribuição uniforme módulo 1 à sequência $\{\log_g s(n)\}$.
  • Teorema de Halász: Como $s(n)$ não é multiplicativa, eles expressam $s(n)^{i\alpha}$ usando uma expansão binomial de $\sigma(n)^{i\alpha}(1 - n/\sigma(n))^{i\alpha}$. Eles truncam essa série e aplicam uma versão ponderada do Teorema de Halász (Proposição 3.3) para mostrar que a média logarítmica das funções multiplicativas resultantes é zero.
  • Densidade Natural: Inversamente, eles provam que $s(n)$ não obedece à lei de Benford com respeito à densidade natural. Eles constroem um conjunto específico de inteiros "convenientes" (múltiplos de 6 com fatores primos grandes) onde $s(n)$ está fortemente agrupado próximo a $n$, criando um viés nas partes fracionárias de $\log_g s(n)$ que viola a distribuição uniforme necessária para o comportamento de Benford de densidade natural.

• Inteiros Compostos e Dígitos Ausentes (Teorema 1.5):

  • Exclusão de Primos: O artigo aborda uma lacuna em trabalhos anteriores (Benli et al., 2026), que estabeleceram um limite superior para $s(n)$ com dígitos ausentes, mas observaram que as entradas primas ($s(p)=1$) dominam a contagem.
  • Decomposição: Para um composto $n$, escrevemos $n = Pm$, onde $P = P^+(n)$ é o maior fator primo. Eles analisam $s(n) = P s(m) + \sigma(m)$.
  • Crivo e Suavidade: Eles dividem a análise com base no tamanho de $m$ e $P$. Para $P$ grande, utilizam o teorema de Brun-Titchmarsh e limites para o número de inteiros com dígitos ausentes (números elípticos) para mostrar que a contagem é significativamente menor que o caso geral.
  • Aritmética Modular: Eles utilizam o Lema 4.3 para limitar o número de $m$ tais que $s(m)$ é divisível por módulos específicos, controlando a distribuição de $s(n)$ módulo $g^k$.

Principais Resultados

1. Ocorrência Universal de Dígitos: Para qualquer base $g \ge 2$ e qualquer função $k(x) \to \infty$, assintoticamente 100% dos inteiros $n \le x$ possuem $s(n)$ contendo todos os $g$ dígitos tanto nas primeiras quanto nas últimas $k(x)$ posições (Teorema 1.1).
2. Lei de Benford (Densidade Logarítmica): A função $s(n)$ satisfaz a lei de Benford com respeito à densidade logarítmica. Especificamente, a densidade logarítmica de $n$ para os quais os dígitos iniciais de $s(n)$ formam um bloco $D$ é $\log_g(1 + 1/D)$ (Teorema 1.2).
3. Falha da Lei de Benford (Densidade Natural): $s(n)$ não satisfaz a lei de Benford com respeito à densidade natural (Proposição 3.6).
4. Pré-imagens Compostas de Conjuntos Esparsos: Ao restringir $n$ a números compostos, o número de $n \le x$ tal que $s(n)$ carece de um dígito específico $a_0$ na base $g$ é limitado por $O(x \exp(-c\sqrt{\log x}))$ para alguma constante $c > 0$ (Teorema 1.5). Este é um limite significativamente mais forte do que o limite $O(x \exp(-(\log \log x)^\gamma))$ para todos os inteiros, destacando que as entradas primas são a principal fonte de valores de $s(n)$ com "dígitos ausentes".

Significância e Alegações
O artigo afirma estabelecer que os dígitos de $s(n)$ exibem um alto grau de aleatoriedade, comportando-se de forma semelhante a inteiros aleatórios em termos de ocorrência de dígitos e distribuição de dígitos iniciais (sob densidade logarítmica).

Uma contribuição central é o esclarecimento do papel dos números primos na pré-imagem de conjuntos com dígitos ausentes. Os autores demonstram que, embora o conjunto de todos os inteiros $n$ onde $s(n)$ possui dígitos ausentes seja relativamente grande (devido ao caso trivial $s(p)=1$), o subconjunto de inteiros compostos com essa propriedade é muito menor. Este resultado refina a compreensão da conjectura de Erdős–Granville–Pomerance–Spiro (EGPS), que postula que a pré-imagem de um conjunto com densidade assintótica zero também possui densidade assintótica zero. Os autores mostram que, para o caso específico de dígitos ausentes, a "densidade" da pré-imagem é impulsionada quase inteiramente pelos primos, e a exclusão destes resulta em um conjunto muito mais esparso.

O trabalho baseia-se em ferramentas padrão da teoria analítica dos números (teorema de Halász, Brun-Titchmarsh, distribuição de $\sigma(n)/n$) e não propõe novas aplicações experimentais ou implicações futuras além dos limites teóricos estabelecidos.