On a certain arithmetic function defined via Bernoulli numbers

Resumo Técnico: Sobre uma Certa Função Aritmética Definida via Números de Bernoulli

Enunciado do Problema
O artigo investiga as propriedades de integridade de uma função aritmética específica, $\chi(n)$, definida sobre o conjunto dos inteiros ímpares $n \ge 3$. Esta função é construída utilizando números de Bernoulli ($B_j$) e visa estabelecer um critério unificado que distingue três classes distintas de números: números primos, números de Carmichael e números de Giuga. O problema central é determinar para quais inteiros ímpares $n$ o valor de $\chi(n)$ (ou sua variante escalonada $\tilde{\chi}(n)$) resulta em um inteiro.

Metodologia
O autor emprega teoria elementar dos números, baseando-se fortemente no clássico teorema de von Staudt-Clausen relativo aos denominadores dos números de Bernoulli. A metodologia procede da seguinte forma:

1. Definição da Função: A função é definida como:
   $$\chi(n) = \frac{\text{denom}\left(\frac{B_{n-1}}{n-1}\right)}{n \cdot \text{denom}\left(B_{n-1} + \frac{1}{n}\right)}$$
   onde $B_{n-1} = A/D$ é o número de Bernoulli em forma reduzida. O artigo também considera a função escalonada $\tilde{\chi}(n) = n \cdot \chi(n)$.

2. Aplicação de von Staudt-Clausen: A análise utiliza o teorema que afirma que, para qualquer inteiro ímpar positivo $n$, $B_{n-1} + \sum \frac{1}{p}$ é um inteiro, onde a soma percorre os primos $p$ tais que $(p-1) \mid (n-1)$. Isso permite a determinação precisa dos denominadores envolvidos em $\chi(n)$.

3. Análise de Casos: O artigo avalia sistematicamente $\chi(n)$ para três casos:

   • Números primos ($p$): Utilizando as propriedades do denominador de $B_{p-1}$, o autor prova que $\chi(p)$ é sempre um inteiro.
   • Números compostos não-Carmichael: O autor demonstra que se $n$ é composto e falha no critério de Korselt (ou seja, existe um divisor primo $q$ tal que $(q-1) \nmid (n-1)$), então $\chi(n)$ não é um inteiro.
   • Números de Carmichael: Para números de Carmichael (compostos de forma livre onde $(p-1) \mid (n-1)$ para todos os divisores primos $p$), o autor simplifica a expressão de $\tilde{\chi}(n)$ e mostra que este é sempre um inteiro.

4. Conexão com Números de Giuga: O artigo refina ainda mais a condição para números de Carmichael. Estabelece que $\tilde{\chi}(n)$ é divisível por $n$ (ou seja, $n \mid \tilde{\chi}(n)$) se, e somente se, $n$ satisfaz a condição para ser um número de Giuga ($n \equiv p \pmod{p^2}$ para todos os divisores primos $p$).

Principais Contribuições e Resultados
O principal resultado do artigo é o Teorema 1.6, que fornece uma condição necessária e suficiente para a integridade de $\chi(n)$:

A função $\chi(n)$ assume valores inteiros se, e somente se, $n$ é um número primo ou um número de Giuga ímpar.

Este resultado efetivamente unifica a caracterização de primos e os hipotéticos números de Giuga ímpares sob um único critério de integridade derivado dos números de Bernoulli.

Resultados adicionais incluem:

• Lema 1.2: Para qualquer primo $p$, $\chi(p)$ é um inteiro par.
• Classificação Empírica: O artigo observa que a condição $\chi(p) = \lambda$ particiona o conjunto dos números primos em classes disjuntas $P_\lambda$. O autor fornece uma tabela dos dez primeiros primos para vários valores pares de $\lambda$ (variando de 2 a 100).
• Conjectura 2.1: O artigo propõe uma conjectura ligando a divisibilidade do numerador de $B_{p-1}$ por $(p-1)/2$ à representabilidade do primo $p$ pela forma quadrática $-x^2 + 2xy + 2y^2$.

Significância e Alegações
O artigo afirma oferecer uma abordagem "elementar" acessível a um público amplo que unifica três conceitos distintos da teoria dos números. Ao construir $\chi(n)$, o autor demonstra que a propriedade de ser um inteiro serve como um filtro:

• Se $\chi(n) \in \mathbb{Z}$, então $n$ é um número primo ou um número de Giuga ímpar.
• Se $n$ é um número de Carmichael que não é um número de Giuga, $\chi(n)$ não é um inteiro (embora $\tilde{\chi}(n)$ seja).

O autor observa que a existência de números de Giuga ímpares permanece um problema em aberto (com limites inferiores conhecidos sugerindo que eles teriam pelo menos 19.908 dígitos decimais, se existirem). Consequentemente, o artigo não pretende provar a existência de números de Giusa ímpares, mas sim fornece um quadro teórico onde a existência deles seria equivalente à existência de inteiros ímpares compostos $n$ para os quais $\chi(n)$ é um inteiro. O trabalho é apresentado como um projeto de atribuição de estado do Ministério da Educação e Ciência da Federação Russa.