🔢 mathematics

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

Este artículo establece cotas superiores cuantitativas y estimaciones de densidad cero para conjuntos excepcionales de enteros que involucran composiciones de las funciones de Euler, de Dedekind y de la suma de los divisores, refinando así los resultados previos de densidad de Sandor, Dixit y Bhattacharjee.

Autores originales: Aimin Guo

Publicado 2026-08-21

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Aimin Guo

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

En el vasto paisaje de la teoría de números, los matemáticos suelen estudiar cómo se comportan los números cuando se descomponen en sus bloques de construcción. Se utilizan tres herramientas específicas para medir estas propiedades. La primera herramienta es una variación de la suma de los divisores, que añade un giro específico a la forma en que se calculan esos divisores para crear un perfil ligeramente diferente para cada número. La segunda herramienta cuenta cuántos números más pequeños pueden caber en un número dado sin dejar residuo, una medida de su estructura interna. La tercera herramienta suma todos los divisores de un número, dando una sensación de su peso total en el mundo de los factores. Si bien estas herramientas funcionan bien por sí solas, los matemáticos han tenido curiosidad durante mucho tiempo sobre qué sucede cuando se apilan una sobre otra. Si tomas un número, aplicas una herramienta y luego aplicas inmediatamente una herramienta diferente al resultado, ¿se mantiene el número final cerca del original o se aleja mucho? Esta pregunta sobre cómo interactúan estas funciones cuando se componen es el corazón de un nuevo estudio que busca mapear las raras excepciones donde estas relaciones matemáticas rompen sus patrones habituales.

Durante décadas, una conjetura específica sugería que cuando se aplica la segunda herramienta al resultado de la primera para cualquier número mayor que uno, el resultado siempre sería menor que el número inicial. Era una regla ordenada y predecible que parecía sostenerse para los primeros diez mil números revisados. Sin embargo, esta regla fue eventualmente demostrada como falsa. Se encontró un contraejemplo específico en el número 39,270, donde el proceso produjo en realidad un resultado mayor que el original. Si bien esta única excepción destrozó la idea de una regla universal, la nueva investigación confirma que tales excepciones son increíblemente raras. El estudio demuestra que a medida que se observan colecciones de números cada vez más grandes, la proporción de aquellos que violan el comportamiento esperado se vuelve ínfima. De hecho, los investigadores han calculado límites precisos sobre cuántos tales valores atípicos pueden existir dentro de cualquier rango, mostrando que la gran mayoría de los números siguen la tendencia esperada, incluso si la regla no es absoluta.

El artículo se centra en cuatro combinaciones específicas de estas herramientas matemáticas. Los investigadores investigaron qué sucede cuando se aplica la segunda herramienta al resultado de la primera, cuando la segunda herramienta se aplica a la suma de los divisores, cuando la primera herramienta se aplica a sí misma, y cuando la primera herramienta se aplica a la suma de los divisores. Para las dos primeras combinaciones, el equipo estableció límites superiores estrictos sobre el número de enteros que producen resultados inusualmente grandes. Encontraron que el número de estos casos "excepcionales" crece mucho más lentamente que el total de los enteros que están siendo examinados. Específicamente, mejoraron las estimaciones previas al mostrar que el recuento de estos números raros es significativamente menor de lo que matemáticos anteriores habían predicho, refinando la comprensión de qué tan rápido desaparecen estas anomalías a medida que los números se hacen más grandes.

El estudio también analizó los casos donde los resultados eran inusualmente pequeños. Cuando la primera herramienta se aplica dos veces, o cuando se aplica a la suma de los divisores, los investigadores demostraron que el número de enteros que resultan en un valor menor que una fracción fija del original también es insignificante. Mostraron que estos conjuntos de números son tan dispersos que efectivamente desaparecen del paisaje de todos los enteros a medida que el rango se expande. Esto se logró mediante el desarrollo de un método para contar cuántos números evitan tener ciertos factores primos pequeños, una técnica que permitió al equipo acotar el tamaño de estos grupos excepcionales con alta precisión.

Más allá de estos límites fijos, los investigadores exploraron un escenario más flexible donde el umbral para lo que cuenta como una "excepción" se permite cambiar lentamente a medida que los números crecen. Incluso con esta complejidad añadida, los resultados se mantuvieron firmes. El estudio confirmó que, siempre que el umbral crezca a un ritmo moderado, el número de enteros que no cumplen con la condición sigue siendo una fracción minúscula del total. Esto sugiere un orden subyacente robusto en cómo interactúan estas funciones aritméticas, donde las desviaciones de la norma no solo son raras, sino que están matemáticamente constreñidas a ser casi inexistentes en el gran esquema de las cosas. El trabajo no pretende haber encontrado los límites absolutos posibles, reconociendo que puede haber espacio para una mayor refinación, pero proporciona una imagen mucho más nítida y precisa del comportamiento de estas funciones compuestas de lo que estaba disponible anteriormente.

Resumen Técnico: Conjuntos Excepcionales para Composiciones que Involucran la Función de Euler, la Función de la Suma de Divisores y la Función de Dedekind

Planteamiento del Problema
Este artículo investiga la distribución de los enteros $n$ para los cuales composiciones específicas de funciones aritméticas clásicas se desvían significativamente de su magnitud esperada. Específicamente, el autor estudia "conjuntos excepcionales" donde los valores de $\phi(\psi(n))$ , $\phi(\sigma(n))$ , $\psi(\psi(n))$ y $\psi(\sigma(n))$ son inusualmente grandes o inusualmente pequeños en relación con $n$ .

Aquí, $\phi(n)$ es la función de Euler, $\psi(n)$ es la función aritmética de Dedekind y $\sigma(n)$ es la función de la suma de los divisores. Aunque estas funciones son multiplicativas, sus composiciones generalmente pierden esta propiedad, lo que hace inaplicables las teorías clásicas de funciones multiplicativas. El estudio se centra en refinar los resultados cualitativos de densidad cero (establecidos por Sándor y otros) en cotas superiores cuantitativas para el tamaño de estos conjuntos excepcionales.

Metodología
Las demostraciones se basan en tres ingredientes analíticos primarios:

Estimaciones de Producto sobre Primos: Utilizando fórmulas asintóticas para productos de la forma $\prod (1 \pm 1/p)$ para acotar los valores de las funciones.
Estimaciones de Criba: Aplicando métodos de criba para estimar la proporción de enteros libres de factores primos específicos. Un componente clave es el Lema 2.4, que establece una cota superior para el número de enteros $n \le x$ tales que un primo prescrito $p$ no divide a $\psi(n)$ . Esto adapta argumentos de criba utilizados previamente por Dixit y Bhattacharjee.
Resultados de Divisores Primos Pequeños: Aprovechando resultados existentes (Guo et al., Sándor) que establecen que para casi todos los $n$ , $\psi(n)$ , $\sigma(n)$ y $\phi(n)$ son divisibles por todas las potencias de primos pequeños hasta un umbral de aproximadamente $c \frac{\log_2 x}{\log_3 x}$ .

La estrategia general consiste en:

Definir un conjunto excepcional $E(x)$ de tamaño $O(x/(\log_3 x)^2)$ donde falla la propiedad de los divisores primos pequeños.
Para $n \notin E(x)$ , utilizar la divisibilidad de $\psi(n)$ o $\sigma(n)$ por primos pequeños para acotar la composición por arriba o por abajo.
Aplicar la desigualdad de Markov a las desigualdades resultantes (por ejemplo, $\psi(n)/n > c \log y_x$ ) para acotar el conteo de enteros que satisfacen la condición.
Utilizar la sumatoria parcial sobre fórmulas asintóticas conocidas para $\sum \psi(n)$ y $\sum \sigma(n)$ .

Contribuciones Clave y Resultados

1. Refinamientos Cuantitativos para $\phi(\psi(n))$ y $\phi(\sigma(n))$
El artículo proporciona cotas superiores explícitas para el número de enteros $n \le x$ que satisfacen $\phi(\psi(n)) \ge cn$ y $\phi(\sigma(n)) \ge cn$ para un $c > 0$ fijo.

Resultado para $\phi(\psi(n))$ : El conteo está acotado por $\left(\frac{15}{\pi^2 c} + o(1)\right) \frac{x}{\log_3 x}$ . Esto refina el resultado cualitativo de densidad cero de Sándor.
Resultado para $\phi(\sigma(n))$ : El conteo está acotado por $\left(\frac{\pi^2}{6c} + o(1)\right) \frac{x}{\log_3 x}$ . Esto mejora el resultado de Dixit y Bhattacharjee, quienes obtuvieron una cota de orden $x/\log^4 x$ ; el presente trabajo mejora el orden a $x/\log^3 x$ .

2. Umbrales Variables
El autor generaliza el umbral fijo $c$ a funciones no decrecientes $g(n)$ y $h(n)$ que cumplen $g(x), h(x) = o(\log_3 x)$ .

El tamaño del conjunto $\{n \le x : \phi(\psi(n)) \ge n/g(n)\}$ se muestra como $O\left(\frac{x}{g(x) \log_3 x}\right)$ .
Del mismo modo, el conjunto $\{n \le x : \phi(\sigma(n)) \ge n/h(n)\}$ está acotado por $O\left(\frac{x}{h(x) \log_3 x}\right)$ .
Ambos resultados confirman que estos conjuntos tienen densidad cero.

3. Cotas Inferiores para Iterados de $\psi$
El artículo establece estimaciones de densidad cero cuantitativas para los enteros donde la segunda iteración de la función de Dedekind es pequeña: $\psi(\psi(n)) \le cn$ y $\psi(\sigma(n)) \le cn$ .

Resultado: Para un $c > 0$ fijo, existe una constante $z_c$ tal que el conteo es $\ll_c x \left(\frac{\log_2 x}{\log x}\right)^{1/z_c}$ .
Esto implica que los conjuntos tienen densidad cero. La demostración se basa en mostrar que si $\psi(\psi(n)) \le cn$ , entonces $\psi(n)$ carece de un producto de primos pequeños, un evento con baja probabilidad derivada de las estimaciones de criba.
Corolario: Este resultado se extiende a la $k$ -ésima iteración $\psi^{(k)}(n)$ para cualquier $k \ge 2$ fijo.

Significancia y Reivindicaciones
El artículo afirma proporcionar refinamientos cuantitativos de resultados previamente conocidos cualitativamente.

Corrige el orden de magnitud para la cota superior del conjunto excepcional asociado con $\phi(\sigma(n))$ , pasando de $x/\log^4 x$ a $x/\log^3 x$ .
Establece las primeras estimaciones cuantitativas para los conjuntos excepcionales donde $\psi(\psi(n))$ y $\psi(\sigma(n))$ son pequeños.
El autor señala explícitamente en las observaciones finales que las cotas superiores derivadas no se reclaman como óptimas. El uso de la desigualdad de Markov sobre un superconjunto del conjunto excepcional objetivo introduce una potencial pérdida de precisión.

El trabajo se sitúa dentro del contexto más amplio del estudio de composiciones e iteraciones de funciones aritméticas, basándose en el trabajo fundacional de Alaoglu, Erdős, Granville, Pomerance, Spiro, Sándor y otros. Clarifica la frecuencia del comportamiento "excepcional" en estas funciones compuestas, demostrando que, aunque existen contraejemplos para desigualdades como $\phi(\psi(n)) \le n$ (por ejemplo, $n=39270$ ), estos son escasos.

Más como este