🔢 mathematics

Some Generalizations of Totient Function with Elementary Symmetric Sums

Dieser Artikel verallgemeinert Totient-Funktionen unter Verwendung elementarsymmetrischer Polynome, um explizite Produktformen herzuleiten, stellt ihre Äquivalenz zur Zählung von Nullstellen von Polynomen über endlichen Körpern und zur Lösung eingeschränkter linearer Kongruenzprobleme her und liefert Beobachtungen zu ihrem Verhalten sowie zu Anwendungen auf quadratische Formen.

Ursprüngliche Autoren: Udvas Acharjee, N. Uday Kiran

Veröffentlicht 2026-05-21

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Udvas Acharjee, N. Uday Kiran

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie betreiben einen massiven, hochsicheren digitalen Tresor. Um hineinzukommen, benötigen Sie einen speziellen Schlüssel. In der Welt der Mathematik ist dieser „Schlüssel" oft eine Zahl, die keine gemeinsamen Teiler mit dem Schlosscode des Tresors teilt (ein Konzept, das als „teilerfremd" bezeichnet wird).

Seit Jahrhunderten untersuchen Mathematiker eine berühmte Funktion, die Euler-Totient-Funktion heißt. Betrachten Sie diese Funktion als einen Zähler, der Ihnen genau angibt, wie viele gültige Schlüssel für ein bestimmtes Schloss existieren. Wenn Ihr Schlosscode 10 ist, sagt Ihnen der Zähler, dass es 4 gültige Schlüssel gibt (1, 3, 7 und 9), denn das sind die einzigen Zahlen unter 10, die keinen gemeinsamen Teiler mit 10 haben.

Die alte Karte versus das neue Territorium

In einer aktuellen Studie erweiterte ein Mathematiker namens Tóth diese Idee. Anstatt nur eine einzelne Zahl zu betrachten, betrachtete er ein Team von Zahlen (eine Liste wie $x_1, x_2, \dots, x_k$ ). Er fragte: „Wie viele Teams können wir bilden, bei denen sowohl die Summe der Zahlen als auch das Produkt der Zahlen gültige Schlüssel sind?"

Dieses Papier von Udvas Acharjee und N. Uday Kiran geht einen Schritt weiter mit dieser Idee. Sie führen eine neue, komplexere Regel für das Team ein.

Die neue Regel: Die „Händedrücke"-Zählung
Stellen Sie sich vor, die Zahlen in Ihrem Team sind Personen auf einer Party.

Die Summe ( $e_1$ ) ist wie wenn alle gleichzeitig ihren Namen rufen.
Das Produkt ( $e_k$ ) ist wie wenn alle sich die Hände mit jedem anderen in einer riesigen Gruppenumarmung schütteln.
Die Autoren konzentrieren sich auf einen Mittelweg: die zweite symmetrische Summe ( $e_2$ ). Dies ist wie das Zählen jedes Händedrucks zwischen zwei Personen, wobei die Gruppenumarmung ignoriert wird. Es ist die Summe aller möglichen Paare: $x_1x_2 + x_1x_3 + \dots$ .

Die Autoren fragen: „Wie viele Teams von Zahlen können wir finden, bei denen die Summe der Zahlen, das Produkt der Zahlen UND die Gesamtsumme aller Händedrücke zwischen Paaren alle gültige Schlüssel sind?"

Die wichtigsten Entdeckungen

Das Papier ist im Wesentlichen ein Leitfaden, wie man diese neue, komplizierte Zählung berechnet, ohne jedes einzelne Team einzeln auflisten zu müssen.

1. Die „magische Formel" (Produktformen)
Normalerweise ist das Zählen dieser Teams wie der Versuch, ein bestimmtes Sandkorn am Strand zu finden, indem man jedes Korn betrachtet. Die Autoren entdeckten eine „magische Formel" (eine Produktformel), die wie ein Metalldetektor wirkt. Anstatt Korn für Korn zu zählen, geben Sie einfach die Größe des Strandes (die Zahl $n$ ) und die Art des Sands (die Primfaktoren) ein, und die Formel sagt Ihnen sofort die Gesamtzahl. Sie taten dies für Teams, die die „Händedrücke"-Regel ( $e_2$ ) betreffen, sowie für Kombinationen mit den Summen- und Produktregeln.

2. Die „Symmetrie" der Party
Sie fanden eine faszinierende Symmetrie. Wenn Sie ein Team von $k$ Personen haben, sehen die Regeln zum Zählen gültiger Teams basierend auf der „Händedrücke"-Regel sehr ähnlich aus, egal ob Sie die 2. Regel oder die $(k-2)$ -te Regel betrachten. Es ist, als würde man sagen, dass das Muster, wie sich Menschen in einer kleinen Gruppe die Hände schütteln, dem Muster in einer großen Gruppe entspricht, nur umgekehrt.

3. Lösen des „eingeschränkten Kongruenz"-Rätsels
Das Papier verbindet diese Zählung auch mit einem klassischen Rätsel: Eingeschränkte lineare Kongruenzen.
Stellen Sie sich eine Gleichung vor wie:
$x_1 + x_2 + \dots + x_k = \text{Zielzahl}$
Aber mit einem Haken: Die Zahlen, die Sie wählen, müssen die „Händedrücke"-Regel befolgen (ihre paarweisen Produkte müssen gültige Schlüssel sein).

Die Autoren zeigen, dass ihre neue Zählfunktion der geheime Bestandteil ist, um dieses Rätsel zu lösen. Sie beweisen, dass Sie, wenn Sie ihre neue Zählung kennen, leicht herausfinden können, wie viele Lösungen genau für diese Gleichung existieren. Es ist wie ein Hauptschlüssel, der eine bestimmte verschlossene Tür öffnet, die dann den Weg zum Schatz (die Lösung der Gleichung) freigibt.

Die Verbindung zu „Menons Identität"

Das Papier beweist auch eine Beziehung, die als „Menon-artige Identität" bezeichnet wird. Einfach ausgedrückt ist dies eine mathematische Balkenwaage. Sie zeigt, dass wenn Sie alle gültigen Teams nehmen, eine spezifische Berechnung unter Einbeziehung ihrer Summen durchführen und sie alle addieren, das Ergebnis direkt mit der Gesamtzahl der gültigen Teams zusammenhängt, mit der sie begonnen haben. Es ist eine Möglichkeit, die Mathematik zu überprüfen, um sicherzustellen, dass die „Zählmaschine" korrekt funktioniert.

Zusammenfassung

Kurz gesagt geht es in diesem Papier um das Upgraden der Zählwerkzeuge für eine bestimmte Art von mathematischem Schloss.

Altes Werkzeug: Zählte Teams basierend auf Summe und Produkt.
Neues Werkzeug: Zählt Teams basierend auf Summe, Produkt und Paarweisen Händedrücken ( $e_2$ ).
Ergebnis: Sie bauten einen schnellen Rechner (Formel) für dieses neue Werkzeug und zeigten, wie es hilft, spezifische Zahlenrätsel (Kongruenzen) zu lösen, die zuvor schwer zu knacken waren.

Sie erfanden keinen neuen Typ von Schloss; sie fanden nur einen viel schnelleren, eleganteren Weg, die Schlüssel für ein Schloss zu zählen, das Mathematiker bereits zu erforschen begonnen hatten.

Technische Zusammenfassung: Einige Verallgemeinerungen der Eulerschen Phi-Funktion mit elementaren symmetrischen Summen

Problemstellung
Der Beitrag behandelt die Verallgemeinerung der Eulerschen Phi-Funktion im Kontext elementarer symmetrischer Summen. Während jüngste Arbeiten von Tóth [Tót22] eine $k$ -dimensionale verallgemeinerte Phi-Funktion auf Basis der ersten ( $e_1$ ) und der $k$ -ten ( $e_k$ ) elementaren symmetrischen Summe etablierten und Csizmadia sowie Tóth [CT25] dies auf beliebige Mengen von Polynomen erweiterten, bestand weiterhin die Notwendigkeit, mittlere symmetrische Summen zu analysieren, insbesondere die zweite elementare symmetrische Summe $e_2(x) = \sum_{1 \le i < j \le k} x_i x_j$ .

Das Kernproblem umfasst die Definition und Herleitung expliziter Produktformeln für zwei verschiedene Zählfunktionen über dem Ring $\mathbb{Z}_n^k$ :

$\phi_J(n)$ : Die Anzahl der Tupel $(x_1, \dots, x_k)$ , sodass der größte gemeinsame Teiler der Menge der symmetrischen Summen $\{e_j\}_{j \in J}$ und $n$ gleich 1 ist (d. h. $\gcd(e_{j_1}, \dots, e_{j_m}, n) = 1$ ).
$\varphi_J(n)$ : Die Anzahl der Tupel, bei denen jede einzelne symmetrische Summe teilerfremd zu $n$ ist (d. h. $\gcd(e_j, n) = 1$ für alle $j \in J$ ).

Die Autoren konzentrieren sich speziell auf Mengen $J$ , die die zweite symmetrische Summe enthalten, wie etwa $\{2\}$ , $\{1, 2\}$ , $\{2, k\}$ und $\{1, 2, k\}$ .

Methodik
Die Methodik stützt sich auf die multiplikativen Eigenschaften dieser Funktionen und die Zählung von Lösungen für Polynomkongruenzen über endlichen Körpern.

Reduktion auf endliche Körper: Folgend dem Rahmenwerk von Csizmadia und Tóth [CT25] nutzen die Autoren die Tatsache, dass $\phi_J(n)$ multiplikativ ist. Das Problem wird auf die Berechnung von $N_J(p)$ reduziert, der Anzahl der gemeinsamen Nullstellen der Polynome in $J$ über dem endlichen Körper $\mathbb{F}_p$ . Die Produktformel lautet dann $\phi_J(n) = n^k \prod_{p|n} (1 - N_J(p)/p^k)$ .
Analyse quadratischer Formen: Für die Menge $J=\{2\}$ stellt die Bedingung $e_2(x) \equiv 0 \pmod p$ eine quadratische Form dar. Die Autoren analysieren die zugehörige symmetrische Matrix $A$ , um festzustellen, ob die Form ausgeartet oder nicht-ausgeartet ist. Sie wenden Standardergebnisse (Lemma 2.0.3, unter Bezugnahme auf Lidl und Niederreiter [LN97]) bezüglich der Anzahl der Lösungen nicht-ausgearteter quadratischer Gleichungen über $\mathbb{F}_p$ an und unterscheiden Fälle basierend auf der Parität von $k$ und der Charakteristik $p$ .
Prinzip von Inklusion und Exklusion: Um Mengen zu behandeln, die mehrere symmetrische Summen beinhalten (z. B. $J=\{1, 2\}$ oder $J=\{2, k\}$ ), wenden die Autoren das Prinzip von Inklusion und Exklusion an. Satz 3.0.1 stellt eine Beziehung zwischen $\phi_J$ und $\varphi_J$ über die Inklusion-Exklusion über Teilmengen von $J$ her. Satz 2.0.4 bietet eine rekursive Methode zur Berechnung von $N_J(p)$ , wenn $J$ $e_k$ enthält, indem er dies auf Lösungen bezieht, bei denen bestimmte Variablen null sind.
Filter mit Einheitswurzeln: Für den Fall $p=2$ , bei dem die Standardtheorie quadratischer Formen über ungeraden Primzahlen nicht direkt anwendbar ist, nutzen die Autoren Filter mit Einheitswurzeln (insbesondere mit $\omega_4 = i$ ), um Lösungen basierend auf der Anzahl der von Null verschiedenen Komponenten im Vektor zu zählen.

Hauptbeiträge und Ergebnisse

Explizite Produktformeln: Der Beitrag leitet explizite Produktformeln für $\phi_J(n)$ und $\varphi_J(n)$ für mehrere spezifische Mengen $J$ her:
- $\phi_{\{2\}}(n)$ : Hergeleitet in Satz 2.0.1, liefert die Anzahl der Lösungen von $e_2(x) \equiv 0 \pmod p$ sowohl für ungerades als auch für gerades $k$ sowie für $p=2$ .
- $\phi_{\{1, 2\}}(n)$ : Hergeleitet in Satz 2.0.2, behandelt das gleichzeitige Verschwinden von $e_1$ und $e_2$ .
- $\phi_{\{2, k\}}(n)$ und $\phi_{\{1, 2, k\}}(n)$ : Hergeleitet in den Korollaren 2.0.5 und 2.0.6 unter Verwendung der rekursiven Inklusion-Exklusion-Methode.
- $\varphi_{\{1, 2\}}(n)$ : Hergeleitet in Satz 3.0.3 durch Kombination der Ergebnisse für $\phi_{\{1\}}$ , $\phi_{\{2\}}$ und $\phi_{\{1, 2\}}$ über die Inklusion-Exklusion-Beziehung.
Menon-artige Identitäten: Satz 3.0.2 etabliert eine Menon-artige Identität für die Funktion $\varphi_J(n)$ , wenn $1 \in J$ . Sie verknüpft die Summe einer Funktion $f$ über den größten gemeinsamen Teiler der linearen Summe und $n$ mit dem Phi-Wert $\varphi_J(n)$ und verallgemeinert damit frühere Ergebnisse von Tóth [Tót21].
Eingeschränkte lineare Kongruenzen: Der Beitrag wendet diese verallgemeinerten Phi-Funktionen an, um Lösungen eingeschränkter linearer Kongruenzen der Form $\sum a_i x_i \equiv b \pmod n$ unter der Bedingung $\gcd(e_j(x), n) = 1$ zu zählen. Satz 4.0.2 zeigt, dass für $\gcd(b, n)=1$ die Anzahl der Lösungen durch $g_k(n) = \varphi_{F'}(n) / \phi(n)$ gegeben ist, wobei $F'$ die lineare Form und die symmetrischen Einschränkungen enthält. Eine explizite Lösungsanzahl wird für den Fall bereitgestellt, bei dem die Einschränkung $\gcd(e_2(x), n)=1$ lautet.

Bedeutung und Behauptungen
Die Autoren behaupten, den Rahmen verallgemeinerter Phi-Funktionen über die bisher untersuchten Mengen $\{e_1, e_k\}$ hinaus zu erweitern, um die zweite elementare symmetrische Summe $e_2$ einzubeziehen. Die Bedeutung liegt in:

Strukturellen Verbindungen: Aufdeckung tieferer Zusammenhänge zwischen Polynomnullstellen über endlichen Körpern, eingeschränkten linearen Kongruenzen und verallgemeinerten Eulerschen Phi-Funktionen.
Teilbarkeitseigenschaften: Etablierung, dass die neuen, auf $e_2$ basierenden Phi-Funktionen Teilbarkeitseigenschaften mit der Standard-Eulerschen Phi-Funktion $\phi(n)$ teilen, ähnlich wie Tóths frühere Befunde für $\{e_1, e_k\}$ .
Explizite Berechenbarkeit: Bereitstellung konkreter, berechenbarer Produktformeln für Fälle, die quadratische Formen ( $e_2$ ) betreffen, die zuvor offen oder weniger erforscht waren.

Der Beitrag schließt bescheiden mit der Feststellung, dass zwar explizite Formen für $e_2$ -basierte Verallgemeinerungen hergeleitet wurden, die Analyse für elementare symmetrische Summen höherer Ordnung ( $e_l$ für $l > 2$ ) jedoch ein offenes Problem bleibt. Die Autoren stellen zudem eine Methode unter Verwendung des Satzes von Lucas bereit, um Lösungen für $e_l(x) \equiv 0 \pmod 2$ für allgemeines $l$ zu zählen, obwohl explizite Produktformeln für allgemeines $l$ in dieser Arbeit nicht vollständig entwickelt wurden.

Die alte Karte versus das neue Territorium

Die wichtigsten Entdeckungen

Die Verbindung zu „Menons Identität"

Zusammenfassung

Mehr davon