On a problem on a generalization of Euler's totient function

Resumen Técnico de "Sobre un problema sobre una generalización de la función de Euler"

Planteamiento del Problema
Este artículo aborda una conjetura relativa a una familia de generalizaciones de la función de Euler, $\phi(n)$, introducida por Büyükaşık et al. (2024). La función generalizada se define como:
$$\phi_k(n) = \sum_{\substack{1 \le a \le n \\ (a,n)=1}} a^k$$
donde $\phi_0(n) = \phi(n)$. Los autores definen el conjunto $D_s$ para un entero no negativo $s$ fijo como:
$$D_s = \{k \ge s : \forall n \ge 1, \phi_s(n) \mid \phi_k(n)\}$$
Büyükaşık et al. demostraron que $D_s$ es finito para cualquier $s \ge 0$ y conjeturaron que $D_1 = \{1, 3, 15\}$. Aunque proporcionaron evidencia computacional, la conjetura permaneció abierta. El objetivo principal de este trabajo es proporcionar una prueba rigurosa de que $D_1 = \{1, 3, 15\}$.

Metodología
La demostración procede estableciendo la inclusión inversa $D_1 \subseteq \{1, 3, 15\}$, dado que la inclusión $\{1, 3, 15\} \subseteq D_1$ ya fue establecida por Büyükaşık et al. La metodología se basa en una síntesis de herramientas clásicas de la teoría de números y un argumento estructural novedoso que involucra números de Bernoulli y polinomios.

1. Reducción a Enteros Impares: Los autores demuestran primero que si $k \in D_1$ y $k > 1$, entonces $k$ debe ser un entero impar. Esto se deriva de la condición $\phi_1(3) \mid \phi_k(3)$, lo que implica que $3 \mid (1 + 2^k)$, forzando a que $k$ sea impar.
2. Sumas de Bernoulli e Integralidad: El núcleo del argumento involucra la secuencia $C_k(v)$, definida mediante los números de Bernoulli $B_{2j}$:
   $$C_k(v) = \frac{2}{k+1} \sum_{j=0}^{(k-1)/2} \binom{k+1}{2j} B_{2j} (1-2j)^v$$
   Los autores demuestran un lema clave: si $C_k(v)$ es un entero para todo $v \ge 1$, entonces para cada entero par $h \in [2, k-1]$, la cantidad $\frac{2k!}{h!}B_h$ debe ser un entero.
3. Construcción de Enteros Libres de Cuadrados: Para establecer que $C_k(v) \in \mathbb{Z}$ para todo $v$, los autores utilizan el teorema de Dirichlet sobre primos en progresiones aritméticas. Construyen enteros libres de cuadrados $n$ compuestos por primos congruentes a $1 \pmod L$ (donde $L$ es el mínimo común múltiplo de los denominadores de términos específicos relacionados con Bernoulli). Al analizar la divisibilidad de $\phi_k(n)/\phi_1(n)$ para estos $n$ específicos, deducen que $C_k(\omega(n))$ debe ser un entero, donde $\omega(n)$ es el número de factores primos distintos de $n$. Dado que $\omega(n)$ puede ser cualquier entero $v \ge 1$, $C_k(v)$ es un entero para todo $v$.
4. Aplicación del Teorema de von Staudt–Clausen: Utilizando la condición de integralidad derivada en el paso anterior, los autores aplican el teorema de von Staudt–Clausen, que caracteriza los denominadores de los números de Bernoulli. Esto conduce a una propiedad crítica: para cualquier par $h \in [2, k-1]$ y cualquier primo impar $p$ tal que $(p-1) \mid h$, debe existir un múltiplo de $p$ en el conjunto $\{h+1, \dots, k\}$.
5. Contradicciones Modulares: Los autores traducen esta propiedad en una desigualdad estricta que involucra residuos modulares: para cada primo impar $p \le k$,
   $$k \pmod p < k \pmod{p-1}$$
   Mediante la prueba de estos primos específicos y el análisis de la estructura de $k+1$, eliminan sistemáticamente las posibilidades para $k$:
   • Demuestran que $k+1$ no puede tener divisores primos impares, lo que implica que $k+1 = 2^a$.
   • Muestran que $a$ debe ser par, lo que lleva a $k = 2^{2\lambda} - 1$.
   • A través de la aritmética modular con los primos $p=7, 11, 29$, demuestran que $\lambda \ge 3$ conduce a contradicciones con la desigualdad estricta derivada anteriormente.

Contribuciones Clave y Resultados

• Prueba de la Conjetura: El artículo demuestra con éxito que $D_1 = \{1, 3, 15\}$.
• Lema sobre Sumas de Bernoulli: Los autores establecen una nueva conexión entre la integralidad de sumas de Bernoulli específicas $C_k(v)$ y las propiedades de divisibilidad de factoriales y números de Bernoulli.
• Caracterización Estructural: El trabajo proporciona una caracterización detallada de los enteros $k$ para los cuales $\phi_1(n)$ divide a $\phi_k(n)$, reduciendo el problema a un conjunto finito de restricciones modulares.

Significado y Reivindicaciones
El artículo afirma resolver una conjetura de la literatura reciente (Büyükaşık et al., 2024). Los autores declaran explícitamente que la conjetura había permanecido abierta antes de su trabajo. Una característica distintiva de la metodología del artículo es su dependencia de "interacciones extensas con GPT-5.5 Pro" durante las etapas exploratorias y de desarrollo de la prueba. El autor señala que, si bien se utilizaron sugerencias de IA, todo el contenido matemático fue sustancialmente revisado, corregido y verificado de forma independiente por el autor humano, quien asume la responsabilidad total.

El artículo concluye modestamente, sugiriendo que extender estas técnicas para evaluar $D_s$ para $s > 1$ representa una dirección natural para la investigación futura, sin proponer aplicaciones experimentales específicas o implicaciones más amplias más allá del alcance de este problema aritmético.