Some Generalizations of Totient Function with Elementary Symmetric Sums
Acharjee, Kiran
We generalize certain totient functions using elementary symmetric polynomials and derive explicit product forms for the totient functions involving the second elementary symmetric sum. This work follows from the work of Toth [The Ramanujan Journal, 2022] where the totient function was generalized using the first and the kth elementary symmetric polynomial. We also provide some observations on the behavior of the totient function with an arbitrary jth elementary symmetric polynomial. We then outline a method for solving a certain the restricted linear congruence problem with a greatest common divisor constraint on a quadratic form, illustrated by a concrete example. Most importantly, we demonstrate the equivalence between obtaining product forms for generalized totient functions, counting zeros of specific polynomials over finite fields, and resolving a broad class of restricted linear congruence problems .
academic
Quelques Généralisations de la Fonction Totient avec les Sommes Symétriques Élémentaires
Cet article généralise certaines fonctions totient en utilisant des polynômes symétriques élémentaires et dérive des formes de produits explicites pour les fonctions totient impliquant les sommes symétriques élémentaires de second ordre. Ce travail s'inscrit dans la continuité des recherches de Tóth publiées en 2022 dans The Ramanujan Journal, qui généralisaient la fonction totient en utilisant les polynômes symétriques élémentaires de premier et k-ième ordre. Les auteurs fournissent également des observations concernant le comportement des fonctions totient par rapport aux polynômes symétriques élémentaires de j-ième ordre arbitraire, et esquissent une méthode pour résoudre les problèmes de congruences linéaires restreintes avec des contraintes de plus grand commun diviseur de formes quadratiques. Plus important encore, l'article établit l'équivalence entre l'obtention de formes de produits pour les fonctions totient généralisées, le calcul des zéros de polynômes spécifiques sur les corps finis, et la résolution d'une large gamme de problèmes de congruences linéaires restreintes.
Généralisation de la fonction totient d'Euler classique: La fonction totient d'Euler φ(n) compte le nombre d'entiers positifs inférieurs à n et premiers avec n. Depuis 1967, lorsque Menon a généralisé cette fonction en utilisant des polynômes, plusieurs formes de généralisation ont émergé, notamment la fonction totient de Schemmel et la fonction totient de Nagell.
Développement des généralisations multivariées: Stevens (1971) a proposé une généralisation multivariée englobant la fonction totient de Jordan. Récemment, Csizmazia et Tóth (2025) l'ont étendue davantage aux systèmes polynomiaux multivariés.
Application des polynômes symétriques élémentaires: Tóth (2022) a généralisé la fonction totient en utilisant les sommes symétriques élémentaires de premier et k-ième ordre, obtenant des formules de produits élégantes.
Extension mathématique naturelle: Le travail de Tóth utilisant e₁ et eₖ (les sommes symétriques élémentaires de premier et k-ième ordre) soulève naturellement la question d'étudier la deuxième somme symétrique élémentaire e₂ et autres sommes symétriques.
Unification de trois problèmes: Les auteurs découvrent des connexions profondes entre les formes de produits des fonctions totient généralisées, le comptage des zéros de polynômes sur les corps finis, et les problèmes de congruences linéaires restreintes, offrant une nouvelle perspective pour traiter ces problèmes apparemment distincts.
Valeur d'application pratique: Les problèmes de congruences linéaires restreintes ont des applications importantes en cryptographie et théorie du codage, tandis que la fonction totient occupe une place fondamentale en théorie des nombres.
Établissement de la relation entre deux types de fonctions totient: Preuve de la relation du principe d'inclusion-exclusion entre φ_F(n) et ϕ_F(n) (Théorème 2.0.1), permettant de dériver la forme de produit d'une fonction à partir de l'autre.
Dérivation de formules explicites pour la deuxième somme symétrique élémentaire:
Formule explicite pour N_k(e₂, p) (Théorème 3.0.2)
Forme de produit pour φ_{e₂}(n) (Théorème 3.0.3)
Formules pour les cas conjoints impliquant e₁ et e₂ (Théorèmes 3.0.4-3.0.11)
Établissement de l'équivalence entre trois problèmes: Preuve des relations d'équivalence entre:
Les formes de produits des fonctions totient généralisées
Le comptage des zéros de systèmes polynomiaux sur les corps finis
La résolution de problèmes de congruences linéaires restreintes
Fourniture d'algorithmes concrets et d'exemples:
Solutions en forme fermée utilisant les fonctions génératrices et le théorème de De Moivre pour p=2
Exemples concrets pour k=3 et k=4 variables
Généralisation de l'identité de Menon à de nouveaux cas (Théorème 3.0.10)
Extension du cadre théorique: Proposition d'une méthode récursive pour traiter les polynômes symétriques élémentaires de j-ième ordre arbitraire (Théorème 3.0.8)
Outil Principal (Théorème 3.0.1, tiré de Lidl-Niederreiter): Pour une forme quadratique non dégénérée f, le nombre de solutions de l'équation f(x₁,...,xₖ) = b sur F_p est:
N(b) = {
p^{k-1} + p^{(k-1)/2}η((-1)^{(k-1)/2}bΔ), k impair
p^{k-1} + ν(b)p^{(k-2)/2}η((-1)^{k/2}Δ), k pair
}
où η est le caractère quadratique, Δ = det(f), ν(b) = -1 (b≠0), ν(0) = p-1.
Application à e₂: La deuxième somme symétrique élémentaire correspond à la matrice symétrique:
Traitement systématique des cas de matrices dégénérées: Lorsque det(A)=0, construction de k-1 vecteurs linéairement indépendants pour réduire la dimension, transformant le problème dégénéré en problème non dégénéré.
Application du Théorème de Lucas: Dans la Remarque 3.0.1, utilisation du théorème de Lucas pour caractériser la parité des coefficients binomiaux, résolvant le cas de la somme symétrique élémentaire générale d'ordre l pour p=2.
Cadre Récursif: Le Théorème 3.0.8 fournit une formule récursive pour calculer N_k(J∪{k}, p) à partir de N_k(J,p):
Note: Cet article est un travail de théorie mathématique pure ne contenant pas d'expériences au sens traditionnel, mais plutôt des preuves mathématiques rigoureuses et des exemples concrets vérifiant les résultats théoriques.
Récupération de la Fonction Totient de Jordan (Corollaire 3.0.9): Lorsque J={1,2,...,k}, φ_J(n) = J_k(n), ce qui valide la correction du nouveau cadre.
Symétrie: ϕ_{i,k}(n) = ϕ_{k-i,k}(n), reflétant la symétrie intrinsèque des polynômes symétriques élémentaires.
Généralisation de l'Identité de Menon (Théorème 3.0.10): Lorsque 1∈J,
Établissement de la relation d'inclusion-exclusion entre φ_F et ϕ_F
Dérivation de formes de produits explicites pour les fonctions totient impliquant la deuxième somme symétrique élémentaire
Preuve de l'équivalence entre les trois problèmes: fonctions totient généralisées, comptage des zéros sur corps finis, congruences linéaires restreintes
Résultats Concrets:
Formules complètes pour N_k(e₂,p), N_k(e₁,e₂,p), N_k(e₂,e_k,p)
Expressions calculables pour les cas k=3 et k=4
Généralisation de l'identité de Menon à de nouveaux cas
Méthodologie:
Proposition d'un cadre récursif pour traiter les polynômes symétriques élémentaires arbitraires
Développement de techniques de fonctions génératrices pour le cas p=2
Établissement d'un paradigme unifié pour traiter plusieurs problèmes de théorie des nombres
Évaluation Globale: Cet article est un travail de théorie des nombres de haute qualité qui apporte des contributions substantielles dans la direction de la généralisation des fonctions totient. L'article établit des connexions profondes entre trois problèmes apparemment distincts, fournit une caractérisation complète du cas de la deuxième somme symétrique élémentaire, et développe une méthodologie systématique. Les principales insuffisances résident dans la complexité computationnelle élevée et l'absence de démonstrations d'applications pratiques. Pour les chercheurs en théorie des nombres, cet article constitue une référence importante; pour les chercheurs en applications, une optimisation algorithmique et une implémentation concrète supplémentaires seraient nécessaires.
Tóth, L. (2022). Another generalization of euler's arithmetic function and menon's identity. The Ramanujan Journal. Travail précurseur direct de cet article
Csizmazia, N., & Tóth, L. (2025). Generalizations of euler's φ-function with respect to systems of polynomials of several variables. Fournit le cadre théorique général
Lidl, R., & Niederreiter, H. (1997). Finite fields. Cambridge University Press. Référence centrale pour la théorie des formes quadratiques
Bibak, K., et al. (2017). Restricted linear congruences. Journal of Number Theory, 171:128–144. Résultats généraux les plus récents sur les congruences linéaires restreintes
Menon, P. K. (1967). An extension of euler's function. Math Student, 35:55–59. Travail fondateur sur la généralisation par polynômes
Heure d'Achèvement du Rapport: Basé sur la prépublication arXiv du 26 novembre 2025 Nature du Rapport: Analyse Académique Approfondie Lecteurs Cibles: Chercheurs en théorie des nombres, étudiants diplômés, chercheurs intéressés par les généralisations de la fonction totient