🔢 mathematics

Some Generalizations of Totient Function with Elementary Symmetric Sums

Ce papier généralise les fonctions totient à l'aide de polynômes symétriques élémentaires pour en déduire des formes de produits explicites, établit leur équivalence avec le dénombrement des zéros de polynômes sur les corps finis et la résolution de problèmes de congruences linéaires restreintes, et fournit des observations sur leur comportement et leurs applications aux formes quadratiques.

Auteurs originaux : Udvas Acharjee, N. Uday Kiran

Publié 2026-05-21

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Udvas Acharjee, N. Uday Kiran

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous gérez un coffre-fort numérique massif et hautement sécurisé. Pour y accéder, vous avez besoin d'une clé spéciale. Dans le monde des mathématiques, cette « clé » est souvent un nombre qui ne partage aucun facteur commun avec le code de verrouillage du coffre-fort (un concept appelé être « premier entre eux »).

Pendant des siècles, les mathématiciens ont étudié une fonction célèbre appelée la fonction indicatrice d'Euler. Imaginez cette fonction comme un compteur qui vous indique exactement combien de clés valides existent pour un verrou spécifique. Si votre code de verrouillage est 10, le compteur vous dit qu'il y a 4 clés valides (1, 3, 7 et 9) car ce sont les seuls nombres inférieurs à 10 qui ne partagent aucun facteur avec 10.

L'Ancienne Carte vs. Le Nouveau Territoire

Dans une étude récente, un mathématicien nommé Tóth a élargi cette idée. Au lieu de regarder uniquement un nombre unique, il a examiné une équipe de nombres (une liste comme $x_1, x_2, \dots, x_k$ ). Il s'est demandé : « Combien d'équipes pouvons-nous former où la somme des nombres et le produit des nombres sont tous deux des clés valides ? »

Ce papier d'Udvas Acharjee et N. Uday Kiran fait faire un pas de plus à cette idée. Ils introduisent une nouvelle règle, plus complexe, pour l'équipe.

La Nouvelle Règle : Le Comptage des « Poignées de Main »
Imaginez que les nombres de votre équipe sont des personnes à une fête.

La Somme ( $e_1$ ) est comme tout le monde criant son nom en même temps.
Le Produit ( $e_k$ ) est comme tout le monde se serrant la main avec tout le monde dans une étreinte de groupe géante.
Les auteurs se concentrent sur un terrain d'entente : la Deuxième Somme Symétrique ( $e_2$ ). Cela revient à compter chaque poignée de main par paire entre deux personnes, mais en ignorant l'étreinte de groupe. C'est la somme de toutes les paires possibles : $x_1x_2 + x_1x_3 + \dots$ .

Les auteurs se demandent : « Combien d'équipes de nombres pouvons-nous trouver où la somme des nombres, le produit des nombres, ET le total de toutes les poignées de main par paire sont tous des clés valides ? »

Les Découvertes Principales

Ce papier est essentiellement un guide sur la façon de calculer ce nouveau comptage compliqué sans avoir à lister chaque équipe une par une.

1. La « Formule Magique » (Formes Produit)
Habituellement, compter ces équipes revient à essayer de trouver un grain de sable spécifique sur une plage en examinant chaque grain. Les auteurs ont découvert une « formule magique » (une formule produit) qui agit comme un détecteur de métaux. Au lieu de compter grain par grain, vous insérez simplement la taille de la plage (le nombre $n$ ) et le type de sable (les facteurs premiers), et la formule vous donne instantanément le dénombrement total. Ils ont fait cela pour les équipes impliquant la règle des « poignées de main » ( $e_2$ ) et les combinaisons avec les règles de somme et de produit.

2. La « Symétrie » de la Fête
Ils ont découvert une symétrie fascinante. Si vous avez une équipe de $k$ personnes, les règles pour compter les équipes valides basées sur la règle des « poignées de main » ressemblent beaucoup, que vous regardiez la 2e règle ou la $(k-2)$ -ième règle. C'est comme dire que le motif des poignées de main dans un petit groupe reflète le motif dans un grand groupe, simplement retourné.

3. Résolution du Puzzle des « Congruences Restreintes »
Le papier relie également ce dénombrement à un puzzle classique : les Congruences Linéaires Restreintes.
Imaginez que vous avez une équation comme :
$x_1 + x_2 + \dots + x_k = \text{Nombre Cible}$
Mais avec une condition : les nombres que vous choisissez doivent suivre la règle des « poignées de main » (leurs produits par paires doivent être des clés valides).

Les auteurs montrent que leur nouvelle fonction de dénombrement est l'ingrédient secret pour résoudre ce puzzle. Ils prouvent que si vous connaissez leur nouveau dénombrement, vous pouvez facilement déterminer exactement combien de solutions existent pour cette équation. C'est comme avoir une clé maître qui ouvre une porte verrouillée spécifique, révélant ensuite le chemin vers le trésor (la solution de l'équation).

Le Lien avec l'« Identité de Menon »

Le papier prouve également une relation appelée une « identité de type Menon ». En termes simples, il s'agit d'une balance mathématique. Il montre que si vous prenez toutes les équipes valides, effectuez un calcul spécifique impliquant leurs sommes, et les additionnez toutes, le résultat est directement lié au nombre total d'équipes valides avec lesquelles ils ont commencé. C'est une façon de vérifier les mathématiques pour s'assurer que la « machine de comptage » fonctionne correctement.

Résumé

En bref, ce papier concerne la mise à niveau des outils de comptage pour un type spécifique de verrou mathématique.

Ancien Outil : Comptait les équipes basées sur la Somme et le Produit.
Nouvel Outil : Compte les équipes basées sur la Somme, le Produit, et les Poignées de Main par Paires ( $e_2$ ).
Résultat : Ils ont construit une calculatrice rapide (formule) pour cet nouvel outil et ont montré comment il aide à résoudre des puzzles numériques spécifiques (congruences) qui étaient auparavant difficiles à cracking.

Ils n'ont pas inventé un nouveau type de verrou ; ils ont simplement trouvé un moyen beaucoup plus rapide et plus élégant de compter les clés pour un verrou que les mathématiciens avaient déjà commencé à explorer.

Résumé technique : Certaines généralisations de la fonction totient avec des sommes symétriques élémentaires

Énoncé du problème
L'article traite de la généralisation de la fonction totient d'Euler dans le contexte des sommes symétriques élémentaires. Alors que des travaux récents de Tóth [Tót22] ont établi une fonction totient généralisée de dimension $k$ basée sur la première ( $e_1$ ) et la $k$ -ième ( $e_k$ ) somme symétrique élémentaire, et que Csizmadia et Tóth [CT25] ont étendu cela à des ensembles arbitraires de polynômes, il restait un besoin d'analyser les sommes symétriques intermédiaires, en particulier la deuxième somme symétrique élémentaire $e_2(x) = \sum_{1 \le i < j \le k} x_i x_j$ .

Le problème central consiste à définir et à dériver des formules de produit explicites pour deux fonctions de comptage distinctes sur l'anneau $\mathbb{Z}_n^k$ :

$\phi_J(n)$ : Le nombre de tuples $(x_1, \dots, x_k)$ tels que le plus grand commun diviseur de l'ensemble des sommes symétriques $\{e_j\}_{j \in J}$ et $n$ soit 1 (c'est-à-dire $\gcd(e_{j_1}, \dots, e_{j_m}, n) = 1$ ).
$\varphi_J(n)$ : Le nombre de tuples où chaque somme symétrique individuelle est première avec $n$ (c'est-à-dire $\gcd(e_j, n) = 1$ pour tout $j \in J$ ).

Les auteurs se concentrent spécifiquement sur des ensembles $J$ impliquant la deuxième somme symétrique, tels que $\{2\}$ , $\{1, 2\}$ , $\{2, k\}$ et $\{1, 2, k\}$ .

Méthodologie
La méthodologie repose sur les propriétés multiplicatives de ces fonctions et le dénombrement des solutions de congruences polynomiales sur les corps finis.

Réduction aux corps finis : Suivant le cadre de Csizmadia et Tóth [CT25], les auteurs utilisent le fait que $\phi_J(n)$ est multiplicative. Le problème est réduit au calcul de $N_J(p)$ , le nombre de zéros communs des polynômes dans $J$ sur le corps fini $\mathbb{F}_p$ . La formule de produit est alors donnée par $\phi_J(n) = n^k \prod_{p|n} (1 - N_J(p)/p^k)$ .
Analyse de la forme quadratique : Pour l'ensemble $J=\{2\}$ , la condition $e_2(x) \equiv 0 \pmod p$ représente une forme quadratique. Les auteurs analysent la matrice symétrique associée $A$ pour déterminer si la forme est dégénérée ou non dégénérée. Ils appliquent des résultats standards (Lemme 2.0.3, citant Lidl et Niederreiter [LN97]) concernant le nombre de solutions d'équations quadratiques non dégénérées sur $\mathbb{F}_p$ , en distinguant les cas selon la parité de $k$ et la caractéristique $p$ .
Principe d'inclusion-exclusion : Pour traiter des ensembles impliquant plusieurs sommes symétriques (par exemple $J=\{1, 2\}$ ou $J=\{2, k\}$ ), les auteurs emploient le principe d'inclusion-exclusion. Le Théorème 3.0.1 établit une relation entre $\phi_J$ et $\varphi_J$ via l'inclusion-exclusion sur les sous-ensembles de $J$ . Le Théorème 2.0.4 fournit une méthode récursive pour calculer $N_J(p)$ lorsque $J$ inclut $e_k$ en le reliant aux solutions où des variables spécifiques sont nulles.
Filtres de racines de l'unité : Pour le cas $p=2$ , où la théorie standard des formes quadratiques sur les nombres premiers impairs ne s'applique pas directement, les auteurs utilisent des filtres de racines de l'unité (spécifiquement avec $\omega_4 = i$ ) pour compter les solutions en fonction du nombre de composantes non nulles dans le vecteur.

Contributions et résultats clés

Formules de produit explicites : L'article dérive des formules de produit explicites pour $\phi_J(n)$ et $\varphi_J(n)$ pour plusieurs ensembles spécifiques $J$ :
- $\phi_{\{2\}}(n)$ : Déduit dans le Théorème 2.0.1, fournissant le nombre de solutions de $e_2(x) \equiv 0 \pmod p$ pour $k$ pair et impair, et pour $p=2$ .
- $\phi_{\{1, 2\}}(n)$ : Déduit dans le Théorème 2.0.2, traitant de l'annulation simultanée de $e_1$ et $e_2$ .
- $\phi_{\{2, k\}}(n)$ et $\phi_{\{1, 2, k\}}(n)$ : Déduits dans les Corollaires 2.0.5 et 2.0.6 en utilisant la méthode récursive d'inclusion-exclusion.
- $\varphi_{\{1, 2\}}(n)$ : Déduit dans le Théorème 3.0.3 en combinant les résultats pour $\phi_{\{1\}}$ , $\phi_{\{2\}}$ et $\phi_{\{1, 2\}}$ via la relation d'inclusion-exclusion.
Identités de type Menon : Le Théorème 3.0.2 établit une identité de type Menon pour la fonction $\varphi_J(n)$ lorsque $1 \in J$ . Elle relie la somme d'une fonction $f$ sur le plus grand commun diviseur de la somme linéaire et $n$ à la valeur totient $\varphi_J(n)$ , généralisant des résultats précédents de Tóth [Tót21].
Congruences linéaires restreintes : L'article applique ces fonctions totient généralisées pour compter les solutions de congruences linéaires restreintes de la forme $\sum a_i x_i \equiv b \pmod n$ soumises à $\gcd(e_j(x), n) = 1$ . Le Théorème 4.0.2 montre que pour $\gcd(b, n)=1$ , le nombre de solutions est donné par $g_k(n) = \varphi_{F'}(n) / \phi(n)$ , où $F'$ inclut la forme linéaire et les contraintes symétriques. Un dénombrement explicite de solutions est fourni pour le cas où la contrainte est $\gcd(e_2(x), n)=1$ .

Signification et affirmations
Les auteurs affirment étendre le cadre des fonctions totient généralisées au-delà des ensembles précédemment étudiés $\{e_1, e_k\}$ pour inclure la deuxième somme symétrique élémentaire $e_2$ . La signification réside dans :

Liens structurels : Révéler des connexions plus profondes entre les zéros de polynômes sur les corps finis, les congruences linéaires restreintes et les totients d'Euler généralisés.
Propriétés de divisibilité : Établir que les nouveaux totients basés sur $e_2$ partagent des propriétés de divisibilité avec la fonction totient d'Euler standard $\phi(n)$ , de manière similaire aux découvertes antérieures de Tóth pour $\{e_1, e_k\}$ .
Calculabilité explicite : Fournir des formules de produit concrètes et calculables pour les cas impliquant des formes quadratiques ( $e_2$ ), qui étaient précédemment ouverts ou moins explorés.

L'article conclut modestement en notant que, bien que des formes explicites soient dérivées pour les généralisations basées sur $e_2$ , l'analyse pour les sommes symétriques élémentaires d'ordre supérieur ( $e_l$ pour $l > 2$ ) reste un problème ouvert. Les auteurs fournissent également une méthode utilisant le théorème de Lucas pour compter les solutions de $e_l(x) \equiv 0 \pmod 2$ pour $l$ général, bien que des formules de produit explicites pour $l$ général ne soient pas entièrement développées dans ce travail.

L'Ancienne Carte vs. Le Nouveau Territoire

Les Découvertes Principales

Le Lien avec l'« Identité de Menon »

Résumé

Articles similaires