🔢 mathematics

Exceptional sets for compositions involving Euler's function,the divisor-sum function and Dedekind's function

Este artigo estabelece limites superiores quantitativos e estimativas de densidade zero para conjuntos excepcionais de inteiros envolvendo composições das funções de Euler, de Dedekind e da soma dos divisores, refinando, assim, os resultados anteriores de densidade de Sandor, Dixit e Bhattacharjee.

Autores originais: Aimin Guo

Publicado 2026-08-21

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Aimin Guo

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Na vasta paisagem da teoria dos números, os matemáticos frequentemente estudam como os números se comportam quando são decompostos em seus blocos de construção. Três ferramentas específicas são usadas para medir essas propriedades. A primeira ferramenta é uma variação da soma dos divisores, adicionando um toque específico à forma como esses divisores são calculados para criar um perfil ligeiramente diferente para cada número. A segunda ferramenta conta quantos números menores podem caber em um determinado número sem deixar resto, uma medida de sua estrutura interna. A terceira ferramenta soma todos os divisores de um número, dando uma sensação de seu peso total no mundo dos fatores. Embora essas ferramentas funcionem bem isoladamente, os matemáticos há muito se perguntam o que acontece quando elas são empilhadas umas sobre as outras. Se você pegar um número, aplicar uma ferramenta e, em seguida, aplicar imediatamente uma ferramenta diferente ao resultado, o número final permanece próximo do original ou ele se afasta muito? Esta questão de como essas funções interagem quando compostas é o coração de um novo estudo que busca mapear as raras exceções onde esses relacionamentos matemáticos quebram seus padrões usuais.

Por décadas, uma conjectura específica sugeriu que, quando você aplica a segunda ferramenta ao resultado da primeira para qualquer número maior que um, o resultado seria sempre menor que o número inicial. Era uma regra organizada e previsível que parecia se manter para os primeiros dez mil números verificados. No entanto, essa regra foi eventualmente provada falsa. Um contraexemplo específico foi encontrado no número 39.270, onde o processo na verdade produziu um resultado maior que o original. Embora essa única exceção tenha estilhaçado a ideia de uma regra universal, a nova pesquisa confirma que tais exceções são incrivelmente raras. O estudo demonstra que, conforme você observa coleções de números cada vez maiores, a proporção daqueles que violam o comportamento esperado torna-se vanishingly small (desaparece gradualmente). De fato, os pesquisadores calcularam limites precisos sobre quantos desses outliers podem existir dentro de qualquer intervalo, mostrando que a vasta maioria dos números ainda segue a tendência esperada, mesmo que a regra não seja absoluta.

O artigo foca em quatro combinações específicas destas ferramentas matemáticas. Os pesquisadores investigaram o que acontece quando a segunda ferramenta é aplicada ao resultado da primeira, quando a segunda ferramenta é aplicada à soma dos divisores, quando a primeira ferramenta é aplicada a si mesma e quando a primeira ferramenta é aplicada à soma dos divisores. Para as duas primeiras combinações, a equipe estabeleceu limites superiores estritos sobre o número de inteiros que produzem resultados extraordinariamente grandes. Eles descobriram que o número desses casos "excepcionais" cresce muito mais lentamente do que o total de inteiros sendo examinados. Especificamente, eles melhoraram estimativas anteriores ao mostrar que a contagem desses números raros é significamente menor do que matemáticos anteriores haviam previsto, refinando a compreensão de quão rapidamente essas anomalias desaparecem à medida que os números aumentam.

O estudo também observou os casos em que os resultados eram extraordinariamente pequenos. Quando a primeira ferramenta é aplicada duas vezes, ou quando ela é aplicada à soma dos divisores, os pesquisadores provaram que o número de inteiros resultando em um valor menor do que uma fração fixa do original é também negligenciável. Eles mostraram que esses conjuntos de números são tão esparsos que efetivamente desaparecem da paisagem de todos os inteiros conforme o intervalo se expande. Isso foi alcançado através do desenvolvimento de um método para contar quantos números evitam possuir certos pequenos fatores primos, uma técnica que permitiu à equipe limitar o tamanho desses grupos excepcionais com alta precisão.

Além desses limites fixos, os pesquisadores exploraram um cenário mais flexível onde o limiar para o que conta como uma "exceção" é permitido mudar lentamente conforme os números aumentam. Mesmo com essa complexidade adicional, os resultados mantiveram-se firmes. O estudo confirmou que, desde que o limiar cresça em um ritmo moderado, o número de inteiros que falham em atender à condição permanece uma fração minúscula do total. Isso sugere uma ordem subjacente robusta em como essas funções aritméticas interagem, onde desvios da norma não são apenas raros, mas matematicamente contidos para serem quase inexistentes na grande escala das coisas. O trabalho não afirma ter encontrado os limites absolutos possíveis, reconhecendo que pode haver espaço para novos refinamentos, mas fornece uma imagem muito mais nítida e precisa do comportamento dessas funções compostas do que estava disponível anteriormente.

Resumo Técnico: Conjuntos Excepcionais para Composições Envolvendo a Função de Euler, a Função de Soma de Divisores e a Função de Dedekind

Enunciado do Problema
Este artigo investiga a distribuição de inteiros $n$ para os quais composições específicas de funções aritméticas clássicas desviam significativamente de sua magnitude esperada. Especificamente, o autor estuda "conjuntos excepcionais" onde os valores de $\phi(\psi(n))$ , $\phi(\sigma(n))$ , $\psi(\psi(n))$ e $\psi(\sigma(n))$ são extraordinariamente grandes ou extraordinariamente pequenos em relação a $n$ .

Aqui, $\phi(n)$ é a função totiente de Euler, $\psi(n)$ é a função aritmética de Dedekind e $\sigma(n)$ é a função soma dos divisores. Embora essas funções sejam multiplicativas, suas composições geralmente perdem essa propriedade, tornando inaplicáveis as teorias clássicas de funções multiplicativas. O estudo foca no refinamento de resultados qualitativos de densidade zero (estabelecidos por Sándor e outros) em limites superiores quantitativos para o tamanho desses conjuntos excepcionais.

Metodologia
As provas baseiam-se em três ingredientes analíticos primários:

Estimativas de Produto sobre Primos: Utilizando fórmulas assintóticas para produtos da forma $\prod (1 \pm 1/p)$ para limitar os valores das funções.
Estimativas de Crivo: Aplicando métodos de crivo para estimar a proporção de inteiros livres de fatores primos específicos. Um componente chave é o Lema 2.4, que estabelece um limite superior para o número de inteiros $n \le x$ tais que um primo prescrito $p$ não divide $\psi(n)$ . Isso adapta argumentos de crivo anteriormente usados por Dixit e Bhattacharjee.
Resultados de Divisores Primos Pequenos: Aproveitando resultados existentes (Guo et al., Sándor) afirmando que, para quase todos os $n$ , $\psi(n)$ , $\sigma(n)$ e $\phi(n)$ são divisíveis por todas as potências de primos pequenos até um limiar de aproximadamente $c \frac{\log_2 x}{\log_3 x}$ .

A estratégia geral envolve:

Definir um conjunto excepcional $E(x)$ de tamanho $O(x/(\log_3 x)^2)$ onde a propriedade do divisor primo pequeno falha.
Para $n \notin E(x)$ , usar a divisibilidade de $\psi(n)$ ou $\sigma(n)$ por primos pequenos para limitar a composição por cima ou por baixo.
Aplicar a desigualdade de Markov às desigualdades resultantes (por exemplo, $\psi(n)/n > c \log y_x$ ) para limitar a contagem de inteiros que satisfazem a condição.
Usar somação parcial em fórmulas assintóticas conhecidas para $\sum \psi(n)$ e $\sum \sigma(n)$ .

Principais Contribuições e Resultados

1. Refinamentos Quantitativos para $\phi(\psi(n))$ e $\phi(\sigma(n))$
O artigo fornece limites superiores explícitos para o número de inteiros $n \le x$ satisfazendo $\phi(\psi(n)) \ge cn$ e $\phi(\sigma(n)) \ge cn$ para um $c > 0$ fixo.

Resultado para $\phi(\psi(n))$ : A contagem é limitada por $\left(\frac{15}{\pi^2 c} + o(1)\right) \frac{x}{\log_3 x}$ . Isso refina o resultado qualitativo de densidade zero de Sándor.
Resultado para $\phi(\sigma(n))$ : A contagem é limitada por $\left(\frac{\pi^2}{6c} + o(1)\right) \frac{x}{\log_3 x}$ . Isso melhora o resultado de Dixit e Bhattacharjee, que obtiveram um limite de ordem $x/\log^4 x$ ; o presente trabalho melhora a ordem para $x/\log^3 x$ .

2. Limiares Variáveis
O autor generaliza o limiar fixo $c$ para funções não decrescentes $g(n)$ e $h(n)$ que satisfazem $g(x), h(x) = o(\log_3 x)$ .

O tamanho do conjunto $\{n \le x : \phi(\psi(n)) \ge n/g(n)\}$ é mostrado como $O\left(\frac{x}{g(x) \log_3 x}\right)$ .
Similarmente, o conjunto $\{n \le x : \phi(\sigma(n)) \ge n/h(n)\}$ é limitado por $O\left(\frac{x}{h(x) \log_3 x}\right)$ .
Ambos os resultados confirmam que esses conjuntos têm densidade zero.

3. Limites Inferiores para Iterações de $\psi$
O artigo estabelece estimativas quantitativas de densidade zero para inteiros onde a segunda iteração da função de Dedekind é pequena: $\psi(\psi(n)) \le cn$ e $\psi(\sigma(n)) \le cn$ .

Resultado: Para um $c > 0$ fixo, existe uma constante $z_c$ tal que a contagem é $\ll_c x \left(\frac{\log_2 x}{\log x}\right)^{1/z_c}$ .
Isso implica que os conjuntos têm densidade zero. A prova baseia-se em mostrar que, se $\psi(\psi(n)) \le cn$ , então $\psi(n)$ deve carecer de um produto de primos pequenos, um evento de baixa probabilidade derivada de estimativas de crivo.
Corolário: Este resultado estende-se à $k$ -ésima iteração $\psi^{(k)}(n)$ para qualquer $k \ge 2$ fixo.

Significância e Alegações
O artigo alega fornecer refinamentos quantitativos de resultados anteriormente conhecidos como qualitativos.

Ele corrige a ordem de magnitude para o limite superior do conjunto excepcional associado a $\phi(\sigma(n))$ , movendo de $x/\log^4 x$ para $x/\log^3 x$ .
Estabelece as primeiras estimativas quantitativas para os conjuntos excepcionais envolvendo $\psi(\psi(n))$ e $\psi(\sigma(n))$ sendo pequenos.
O autor nota explicitamente em as observações finais que os limites superiores derivados não são alegados como ótimos. O uso da desigualdade de Markov em um superconjunto do conjunto excepcional alvo introduz uma potencial perda de precisão.

O trabalho está situado dentro do contexto mais amplo do estudo de composições e iterações de funções aritméticas, construindo sobre o trabalho fundamental de Alaoglu, Erdős, Granville, Pomerance, Spiro, Sándor e outros. Ele esclarece a frequência do comportamento "excepcional" nessas funções compostas, demonstrando que, embora contraexemplos para desigualdades como $\phi(\psi(n)) \le n$ existam (ex: $n=39270$ ), eles são esparsos.

Mais como este