🔢 mathematics

Some Generalizations of Totient Function with Elementary Symmetric Sums

Este artículo generaliza las funciones totiente mediante polinomios simétricos elementales para derivar formas de producto explícitas, establece su equivalencia con el conteo de ceros de polinomios sobre cuerpos finitos y la resolución de problemas de congruencias lineales restringidas, y ofrece observaciones sobre su comportamiento y aplicaciones a formas cuadráticas.

Autores originales: Udvas Acharjee, N. Uday Kiran

Publicado 2026-05-21

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Udvas Acharjee, N. Uday Kiran

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

Imagina que estás operando una bóveda digital masiva y de alta seguridad. Para entrar, necesitas una llave especial. En el mundo de las matemáticas, esta "llave" suele ser un número que no comparte ningún factor común con el código de la cerradura de la bóveda (un concepto llamado ser "coprimo").

Durante siglos, los matemáticos han estudiado una función famosa llamada Función Totiente de Euler. Imagina esta función como un contador que te dice exactamente cuántas llaves válidas existen para una cerradura específica. Si tu código de cerradura es 10, el contador te dice que hay 4 llaves válidas (1, 3, 7 y 9) porque esos son los únicos números menores que 10 que no comparten un factor con 10.

El Viejo Mapa vs. El Nuevo Territorio

En un estudio reciente, un matemático llamado Tóth expandió esta idea. En lugar de observar solo un número individual, él miró un equipo de números (una lista como $x_1, x_2, \dots, x_k$ ). Preguntó: "¿Cuántos equipos podemos formar donde la suma de los números y el producto de los números sean ambos llaves válidas?"

Este artículo de Udvas Acharjee y N. Uday Kiran lleva esa idea un paso más allá. Introducen una nueva regla, más compleja, para el equipo.

La Nueva Regla: El Conteo de "Apertos de Mano"
Imagina que los números en tu equipo son personas en una fiesta.

La Suma ( $e_1$ ) es como si todos gritaran sus nombres a la vez.
El Producto ( $e_k$ ) es como si todos se dieran la mano con todos los demás en un abrazo grupal gigante.
Los autores se centran en un punto medio: la Segunda Suma Simétrica ( $e_2$ ). Esto es como contar cada aparto de mano entre pares de dos personas, pero ignorando el abrazo grupal. Es la suma de todos los pares posibles: $x_1x_2 + x_1x_3 + \dots$ .

Los autores preguntan: "¿Cuántos equipos de números podemos encontrar donde la suma de los números, el producto de los números Y el total de todos los apretones de mano entre pares sean todas llaves válidas?"

Los Principales Descubrimientos

El artículo es esencialmente una guía sobre cómo calcular este nuevo conteo complicado sin tener que listar cada equipo individualmente uno por uno.

1. La "Fórmula Mágica" (Formas de Producto)
Por lo general, contar estos equipos es como intentar encontrar un grano de arena específico en una playa mirando cada grano. Los autores descubrieron una "fórmula mágica" (una fórmula de producto) que actúa como un detector de metales. En lugar de contar grano por grano, solo introduces el tamaño de la playa (el número $n$ ) y el tipo de arena (los factores primos), y la fórmula te dice instantáneamente el conteo total. Lo hicieron para equipos que involucran la regla de "apretones de mano" ( $e_2$ ) y combinaciones con las reglas de suma y producto.

2. La "Simetría" de la Fiesta
Encontraron una simetría fascinante. Si tienes un equipo de $k$ personas, las reglas para contar equipos válidos basadas en la regla de "apretones de mano" se ven muy similares, ya sea que estés mirando la 2ª regla o la $(k-2)$ -ésima regla. Es como decir que el patrón de cómo las personas se dan la mano en un grupo pequeño refleja el patrón en un grupo grande, solo que invertido.

3. Resolviendo el Rompecabezas de la "Congruencia Restringida"
El artículo también conecta este conteo con un rompecabezas clásico: Congruencias Lineales Restringidas.
Imagina que tienes una ecuación como:
$x_1 + x_2 + \dots + x_k = \text{Número Objetivo}$
Pero con una trampa: Los números que elijas deben seguir la regla de "apretones de mano" (sus productos entre pares deben ser llaves válidas).

Los autores muestran que su nueva función de conteo es el ingrediente secreto para resolver este rompecabezas. Demuestran que si conoces su nuevo conteo, puedes calcular fácilmente exactamente cuántas soluciones existen para esta ecuación. Es como tener una llave maestra que abre una puerta cerrada específica, lo cual luego revela el camino hacia el tesoro (la solución de la ecuación).

La Conexión con la "Identidad de Menon"

El artículo también prueba una relación llamada una "identidad de tipo Menon". En términos simples, esto es una balanza matemática. Muestra que si tomas todos los equipos válidos, realizas un cálculo específico involucrando sus sumas y los sumas todos, el resultado está directamente vinculado al número total de equipos válidos con los que comenzaron. Es una forma de verificar las matemáticas para asegurar que la "máquina de conteo" está funcionando correctamente.

Resumen

En resumen, este artículo trata sobre actualizar las herramientas de conteo para un tipo específico de cerradura matemática.

Herramienta Antigua: Contaba equipos basándose en Suma y Producto.
Nueva Herramienta: Cuenta equipos basándose en Suma, Producto y Apretones de Mano entre Pares ( $e_2$ ).
Resultado: Construyeron una calculadora rápida (fórmula) para esta nueva herramienta y mostraron cómo ayuda a resolver rompecabezas numéricos específicos (congruencias) que anteriormente eran difíciles de descifrar.

No inventaron un nuevo tipo de cerradura; simplemente encontraron una forma mucho más rápida y elegante de contar las llaves para una cerradura que los matemáticos ya habían comenzado a explorar.

Resumen Técnico: Algunas Generalizaciones de la Función Totiente con Sumas Simétricas Elementales

Planteamiento del Problema
El artículo aborda la generalización de la función totiente de Euler en el contexto de las sumas simétricas elementales. Si bien trabajos recientes de Tóth [Tót22] establecieron una función totiente generalizada $k$ -dimensional basada en la primera ( $e_1$ ) y la $k$ -ésima ( $e_k$ ) suma simétrica elemental, y Csizmadia y Tóth [CT25] extendieron esto a conjuntos arbitrarios de polinomios, persistía la necesidad de analizar las sumas simétricas intermedias, específicamente la segunda suma simétrica elemental $e_2(x) = \sum_{1 \le i < j \le k} x_i x_j$ .

El problema central implica definir y derivar fórmulas de producto explícitas para dos funciones de conteo distintas sobre el anillo $\mathbb{Z}_n^k$ :

$\phi_J(n)$ : El número de $k$ -tuplas $(x_1, \dots, x_k)$ tales que el máximo común divisor del conjunto de sumas simétricas $\{e_j\}_{j \in J}$ y $n$ es 1 (es decir, $\gcd(e_{j_1}, \dots, e_{j_m}, n) = 1$ ).
$\varphi_J(n)$ : El número de $k$ -tuplas donde cada suma simétrica individual es coprima con $n$ (es decir, $\gcd(e_j, n) = 1$ para todo $j \in J$ ).

Los autores se enfocan específicamente en conjuntos $J$ que involucran la segunda suma simétrica, como $\{2\}$ , $\{1, 2\}$ , $\{2, k\}$ y $\{1, 2, k\}$ .

Metodología
La metodología se basa en las propiedades multiplicativas de estas funciones y en el conteo de soluciones a congruencias polinómicas sobre cuerpos finitos.

Reducción a Cuerpos Finitos: Siguiendo el marco de Csizmadia y Tóth [CT25], los autores utilizan el hecho de que $\phi_J(n)$ es multiplicativa. El problema se reduce a calcular $N_J(p)$ , el número de ceros comunes de los polinomios en $J$ sobre el cuerpo finito $\mathbb{F}_p$ . La fórmula de producto se da entonces como $\phi_J(n) = n^k \prod_{p|n} (1 - N_J(p)/p^k)$ .
Análisis de Formas Cuadráticas: Para el conjunto $J=\{2\}$ , la condición $e_2(x) \equiv 0 \pmod p$ representa una forma cuadrática. Los autores analizan la matriz simétrica asociada $A$ para determinar si la forma es degenerada o no degenerada. Aplican resultados estándar (Lema 2.0.3, citando a Lidl y Niederreiter [LN97]) sobre el número de soluciones a ecuaciones cuadráticas no degeneradas sobre $\mathbb{F}_p$ , distinguiendo casos basados en la paridad de $k$ y la característica $p$ .
Principio de Inclusión-Exclusión: Para manejar conjuntos que involucran múltiples sumas simétricas (por ejemplo, $J=\{1, 2\}$ o $J=\{2, k\}$ ), los autores emplean el principio de inclusión-exclusión. El Teorema 3.0.1 establece una relación entre $\phi_J$ y $\varphi_J$ mediante inclusión-exclusión sobre subconjuntos de $J$ . El Teorema 2.0.4 proporciona un método recursivo para calcular $N_J(p)$ cuando $J$ incluye $e_k$ , relacionándolo con soluciones donde variables específicas son cero.
Filtros de Raíces de la Unidad: Para el caso $p=2$ , donde la teoría estándar de formas cuadráticas sobre primos impares no se aplica directamente, los autores utilizan filtros de raíces de la unidad (específicamente con $\omega_4 = i$ ) para contar soluciones basándose en el número de componentes no nulas en el vector.

Contribuciones y Resultados Clave

Fórmulas de Producto Explícitas: El artículo deriva fórmulas de producto explícitas para $\phi_J(n)$ y $\varphi_J(n)$ para varios conjuntos específicos $J$ :
- $\phi_{\{2\}}(n)$ : Derivado en el Teorema 2.0.1, proporcionando el conteo de soluciones a $e_2(x) \equiv 0 \pmod p$ tanto para $k$ par como impar, y para $p=2$ .
- $\phi_{\{1, 2\}}(n)$ : Derivado en el Teorema 2.0.2, manejando la anulación simultánea de $e_1$ y $e_2$ .
- $\phi_{\{2, k\}}(n)$ y $\phi_{\{1, 2, k\}}(n)$ : Derivados en los Corolarios 2.0.5 y 2.0.6 utilizando el método recursivo de inclusión-exclusión.
- $\varphi_{\{1, 2\}}(n)$ : Derivado en el Teorema 3.0.3 combinando los resultados para $\phi_{\{1\}}$ , $\phi_{\{2\}}$ y $\phi_{\{1, 2\}}$ mediante la relación de inclusión-exclusión.
Identidades de Tipo Menon: El Teorema 3.0.2 establece una identidad de tipo Menon para la función $\varphi_J(n)$ cuando $1 \in J$ . Relaciona la suma de una función $f$ sobre el máximo común divisor de la suma lineal y $n$ con el valor totiente $\varphi_J(n)$ , generalizando resultados anteriores de Tóth [Tót21].
Congruencias Lineales Restringidas: El artículo aplica estas funciones totiente generalizadas para contar soluciones de congruencias lineales restringidas de la forma $\sum a_i x_i \equiv b \pmod n$ sujetas a $\gcd(e_j(x), n) = 1$ . El Teorema 4.0.2 muestra que para $\gcd(b, n)=1$ , el número de soluciones viene dado por $g_k(n) = \varphi_{F'}(n) / \phi(n)$ , donde $F'$ incluye la forma lineal y las restricciones simétricas. Se proporciona un conteo explícito de soluciones para el caso donde la restricción es $\gcd(e_2(x), n)=1$ .

Significado y Afirmaciones
Los autores afirman extender el marco de las funciones totiente generalizadas más allá de los conjuntos previamente estudiados $\{e_1, e_k\}$ para incluir la segunda suma simétrica elemental $e_2$ . El significado radica en:

Vínculos Estructurales: Revelar conexiones más profundas entre los ceros polinómicos sobre cuerpos finitos, las congruencias lineales restringidas y las funciones totiente de Euler generalizadas.
Propiedades de Divisibilidad: Establecer que los nuevos totientes basados en $e_2$ comparten propiedades de divisibilidad con la función totiente de Euler estándar $\phi(n)$ , similar a los hallazgos anteriores de Tóth para $\{e_1, e_k\}$ .
Computabilidad Explícita: Proporcionar fórmulas de producto concretas y computables para casos que involucran formas cuadráticas ( $e_2$ ), los cuales previamente estaban abiertos o menos explorados.

El artículo concluye modestamente señalando que, aunque se derivan formas explícitas para generalizaciones basadas en $e_2$ , el análisis para sumas simétricas elementales de orden superior ( $e_l$ para $l > 2$ ) sigue siendo un problema abierto. Los autores también proporcionan un método utilizando el teorema de Lucas para contar soluciones de $e_l(x) \equiv 0 \pmod 2$ para $l$ general, aunque las formas de producto explícitas para $l$ general no se desarrollan completamente en este trabajo.

El Viejo Mapa vs. El Nuevo Territorio

Los Principales Descubrimientos

La Conexión con la "Identidad de Menon"

Resumen

Más como este