🔢 mathematics

Some Generalizations of Totient Function with Elementary Symmetric Sums

Dit artikel generaliseert totientfuncties met behulp van elementaire symmetrische polynomen om expliciete productvormen af te leiden, stelt hun equivalentie vast met het tellen van nulpunten van polynomen over eindige velden en het oplossen van beperkte lineaire congruentieproblemen, en biedt observaties over hun gedrag en toepassingen op kwadratische vormen.

Oorspronkelijke auteurs: Udvas Acharjee, N. Uday Kiran

Gepubliceerd 2026-05-21

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Udvas Acharjee, N. Uday Kiran

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een enorme, hoogbeveiligde digitale kluis runt. Om binnen te komen, heb je een speciale sleutel nodig. In de wereld van de wiskunde is deze "sleutel" vaak een getal dat geen enkele gemeenschappelijke deler deelt met de slotcode van de kluis (een concept dat "onderling ondeelbaar" wordt genoemd).

Al eeuwenlang bestuderen wiskundigen een beroemde functie die de Euler-totientfunctie heet. Stel je deze functie voor als een teller die je precies vertelt hoeveel geldige sleutels er bestaan voor een specifiek slot. Als je slotcode 10 is, vertelt de teller je dat er 4 geldige sleutels zijn (1, 3, 7 en 9), omdat dit de enige getallen onder de 10 zijn die geen deler delen met 10.

De oude kaart versus het nieuwe territorium

In een recent onderzoek breidde een wiskundige genaamd Tóth dit idee uit. In plaats van alleen naar een enkel getal te kijken, keek hij naar een team van getallen (een lijst zoals $x_1, x_2, \dots, x_k$ ). Hij vroeg zich af: "Hoeveel teams kunnen we vormen waarbij de som van de getallen en het product van de getallen beide geldige sleutels zijn?"

Dit artikel van Udvas Acharjee en N. Uday Kiran neemt dat idee een stap verder. Zij introduceren een nieuwe, complexere regel voor het team.

De nieuwe regel: De "handdruk"-telling
Stel je voor dat de getallen in je team mensen zijn op een feestje.

De Som ( $e_1$ ) is alsof iedereen tegelijkertijd zijn naam roept.
Het Product ( $e_k$ ) is alsof iedereen met iedereen anders een handdruk geeft in een gigantische groepshug.
De auteurs focussen op een middenweg: de Tweede Symmetrische Som ( $e_2$ ). Dit is alsof je elke paarwijze handdruk tussen twee mensen telt, maar de groepshug negeert. Het is de som van alle mogelijke paren: $x_1x_2 + x_1x_3 + \dots$ .

De auteurs vragen zich af: "Hoeveel teams van getallen kunnen we vinden waarbij de som van de getallen, het product van de getallen, EN het totaal van alle paarwijze handdrukken allemaal geldige sleutels zijn?"

De belangrijkste ontdekkingen

Het artikel is in wezen een handleiding over hoe je deze nieuwe, ingewikkelde telling kunt berekenen zonder elk team één voor één op te moeten sommen.

1. De "magische formule" (Productvormen)
Meestal is het tellen van deze teams als het proberen om een specifiek zandkorreltje op een strand te vinden door naar elk korreltje te kijken. De auteurs ontdekten een "magische formule" (een productformule) die werkt als een metaaldetector. In plaats van korreltje voor korreltje te tellen, vul je gewoon de grootte van het strand (het getal $n$ ) en het type zand (de priemfactoren) in, en vertelt de formule je direct het totale aantal. Ze deden dit voor teams die de "handdruk"-regel ( $e_2$ ) omvatten en combinaties met de som- en productregels.

2. De "symmetrie" van het feestje
Ze ontdekten een fascinerende symmetrie. Als je een team van $k$ mensen hebt, lijken de regels voor het tellen van geldige teams op basis van de "handdruk"-regel erg op elkaar, of je nu kijkt naar de 2e regel of de $(k-2)$ -de regel. Het is alsof je zegt dat het patroon van hoe mensen in een kleine groep elkaar de hand schudden, het patroon in een grote groep weerspiegelt, alleen omgekeerd.

3. Het oplossen van de "beperkte congruentie"-puzzel
Het artikel verbindt deze telling ook met een klassieke puzzel: Beperkte Lineaire Congruenties.
Stel je een vergelijking voor zoals:
$x_1 + x_2 + \dots + x_k = \text{Doelgetal}$
Maar met een addertje onder het gras: De getallen die je kiest, moeten de "handdruk"-regel volgen (hun paarwijze producten moeten geldige sleutels zijn).

De auteurs tonen aan dat hun nieuwe tel-functie het geheime ingrediënt is om deze puzzel op te lossen. Ze bewijzen dat als je hun nieuwe telling kent, je gemakkelijk precies kunt uitrekenen hoeveel oplossingen er voor deze vergelijking bestaan. Het is alsof je een hoofdsleutel hebt die een specifieke gesloten deur opent, die vervolgens het pad naar de schat onthult (de oplossing van de vergelijking).

De "Menon's Identiteit"-verbinding

Het artikel bewijst ook een relatie die een "Menon-type identiteit" wordt genoemd. In eenvoudige termen is dit een wiskundig weegschaal. Het toont aan dat als je alle geldige teams neemt, een specifieke berekening uitvoert met hun sommen, en ze allemaal optelt, het resultaat direct gekoppeld is aan het totale aantal geldige teams waarmee ze begonnen. Het is een manier om de wiskunde te controleren om ervoor te zorgen dat de "telmachine" correct werkt.

Samenvatting

Kortom, dit artikel gaat over het upgraden van de telhulpmiddelen voor een specifiek type wiskundig slot.

Oud hulpmiddel: Telde teams op basis van Som en Product.
Nieuw hulpmiddel: Telt teams op basis van Som, Product en Paarwijze Handdrukken ( $e_2$ ).
Resultaat: Ze bouwden een snelle rekenmachine (formule) voor dit nieuwe hulpmiddel en toonden aan hoe het helpt bij het oplossen van specifieke getal-puzzels (congruenties) die eerder moeilijk te kraken waren.

Ze hebben geen nieuw type slot uitgevonden; ze hebben gewoon een veel snellere, elegantere manier gevonden om de sleutels te tellen voor een slot dat wiskundigen al begonnen waren te verkennen.

Technische Samenvatting: Enige Generalisaties van de Totientfunctie met Elementaire Symmetrische Sommen

Probleemstelling
Het artikel behandelt de generalisatie van de Euler-totientfunctie in de context van elementaire symmetrische sommen. Hoewel recent werk van Tóth [Tót22] een $k$ -dimensionale generalisatie van de totientfunctie vestigde, gebaseerd op de eerste ( $e_1$ ) en $k$ -de ( $e_k$ ) elementaire symmetrische sommen, en Csizmadia en Tóth [CT25] dit uitbreidden naar willekeurige verzamelingen van polynomen, bleef er behoefte bestaan aan analyse van tussenvormige symmetrische sommen, specifiek de tweede elementaire symmetrische som $e_2(x) = \sum_{1 \le i < j \le k} x_i x_j$ .

Het kernprobleem omvat het definiëren en afleiden van expliciete productformules voor twee onderscheiden tel functies over de ring $\mathbb{Z}_n^k$ :

$\phi_J(n)$ : Het aantal tuples $(x_1, \dots, x_k)$ zodanig dat de grootste gemene deler van de verzameling symmetrische sommen $\{e_j\}_{j \in J}$ en $n$ gelijk is aan 1 (d.w.z. $\gcd(e_{j_1}, \dots, e_{j_m}, n) = 1$ ).
$\varphi_J(n)$ : Het aantal tuples waarbij elke individuele symmetrische som copriem is met $n$ (d.w.z. $\gcd(e_j, n) = 1$ voor alle $j \in J$ ).

De auteurs richten zich specifiek op verzamelingen $J$ die de tweede symmetrische som bevatten, zoals $\{2\}$ , $\{1, 2\}$ , $\{2, k\}$ en $\{1, 2, k\}$ .

Methodologie
De methodologie steunt op de multiplicatieve eigenschappen van deze functies en de telling van oplossingen voor polynoomcongruenties over eindige velden.

Reductie tot Eindige Velden: Volgend het raamwerk van Csizmadia en Tóth [CT25] maken de auteurs gebruik van het feit dat $\phi_J(n)$ multiplicatief is. Het probleem wordt gereduceerd tot het berekenen van $N_J(p)$ , het aantal gemeenschappelijke nulpunten van de polynomen in $J$ over het eindige veld $\mathbb{F}_p$ . De productformule wordt vervolgens gegeven door $\phi_J(n) = n^k \prod_{p|n} (1 - N_J(p)/p^k)$ .
Analyse van Kwantische Vormen: Voor de verzameling $J=\{2\}$ vertegenwoordigt de voorwaarde $e_2(x) \equiv 0 \pmod p$ een kwadratische vorm. De auteurs analyseren de bijbehorende symmetrische matrix $A$ om te bepalen of de vorm degeneraat of niet-degeneraat is. Zij passen standaardresultaten toe (Lemma 2.0.3, met verwijzing naar Lidl en Niederreiter [LN97]) betreffende het aantal oplossingen voor niet-degeneraat kwadratische vergelijkingen over $\mathbb{F}_p$ , waarbij gevallen worden onderscheiden op basis van de pariteit van $k$ en het karakteristiek $p$ .
Principe van Inclusie-Exclusie: Om verzamelingen te behandelen die meerdere symmetrische sommen bevatten (bijv. $J=\{1, 2\}$ of $J=\{2, k\}$ ), maken de auteurs gebruik van het principe van inclusie-exclusie. Stelling 3.0.1 vestigt een relatie tussen $\phi_J$ en $\varphi_J$ via inclusie-exclusie over deelverzamelingen van $J$ . Stelling 2.0.4 biedt een recursieve methode om $N_J(p)$ te berekenen wanneer $J$ $e_k$ bevat, door deze te relateren aan oplossingen waarbij specifieke variabelen nul zijn.
Filters met Eenheidswortels: Voor het geval $p=2$ , waar de standaardtheorie van kwadratische vormen over oneven priemgetallen niet direct van toepassing is, maken de auteurs gebruik van filters met eenheidswortels (specifiek met $\omega_4 = i$ ) om oplossingen te tellen op basis van het aantal niet-nul componenten in de vector.

Belangrijkste Bijdragen en Resultaten

Expliciete Productformules: Het artikel leidt expliciete productformules af voor $\phi_J(n)$ en $\varphi_J(n)$ voor meerdere specifieke verzamelingen $J$ :
- $\phi_{\{2\}}(n)$ : Afgeleid in Stelling 2.0.1, wat het aantal oplossingen biedt voor $e_2(x) \equiv 0 \pmod p$ voor zowel even als oneven $k$ , en voor $p=2$ .
- $\phi_{\{1, 2\}}(n)$ : Afgeleid in Stelling 2.0.2, waarbij de gelijktijdige verdwijning van $e_1$ en $e_2$ wordt behandeld.
- $\phi_{\{2, k\}}(n)$ en $\phi_{\{1, 2, k\}}(n)$ : Afgeleid in Corollaria 2.0.5 en 2.0.6 met gebruikmaking van de recursieve inclusie-exclusiemethode.
- $\varphi_{\{1, 2\}}(n)$ : Afgeleid in Stelling 3.0.3 door de resultaten voor $\phi_{\{1\}}$ , $\phi_{\{2\}}$ en $\phi_{\{1, 2\}}$ te combineren via de inclusie-exclusierelatie.
Menon-achtige Identiteiten: Stelling 3.0.2 vestigt een Menon-achtige identiteit voor de functie $\varphi_J(n)$ wanneer $1 \in J$ . Het relateert de som van een functie $f$ over de grootste gemene deler van de lineaire som en $n$ aan de totientwaarde $\varphi_J(n)$ , en generaliseert eerdere resultaten van Tóth [Tót21].
Beperkte Lineaire Congruenties: Het artikel past deze gegeneraliseerde totientfuncties toe om oplossingen te tellen voor beperkte lineaire congruenties van de vorm $\sum a_i x_i \equiv b \pmod n$ onder de voorwaarde $\gcd(e_j(x), n) = 1$ . Stelling 4.0.2 toont aan dat voor $\gcd(b, n)=1$ het aantal oplossingen wordt gegeven door $g_k(n) = \varphi_{F'}(n) / \phi(n)$ , waarbij $F'$ de lineaire vorm en de symmetrische beperkingen omvat. Een expliciete oplossingstelling wordt verstrekt voor het geval waarin de beperking $\gcd(e_2(x), n)=1$ is.

Betekenis en Beweringen
De auteurs beweren het raamwerk van gegeneraliseerde totientfuncties uit te breiden buiten de eerder bestudeerde verzamelingen $\{e_1, e_k\}$ om de tweede elementaire symmetrische som $e_2$ op te nemen. De betekenis ligt in:

Structurele Verbindingen: Het onthullen van diepere connecties tussen polynoomnulpunten over eindige velden, beperkte lineaire congruenties en gegeneraliseerde Euler-totienten.
Deelbaarheidseigenschappen: Het vaststellen dat de nieuwe op $e_2$ gebaseerde totienten deelbaarheidseigenschappen delen met de standaard Euler-totientfunctie $\phi(n)$ , vergelijkbaar met Tóths eerdere bevindingen voor $\{e_1, e_k\}$ .
Expliciete Berekenbaarheid: Het verschaffen van concrete, berekenbare productformules voor gevallen die kwadratische vormen ( $e_2$ ) betreffen, die eerder open of minder onderzocht waren.

Het artikel concludeert bescheiden door op te merken dat hoewel expliciete vormen zijn afgeleid voor generalisaties op basis van $e_2$ , de analyse voor hogere-orde elementaire symmetrische sommen ( $e_l$ voor $l > 2$ ) een open probleem blijft. De auteurs bieden ook een methode met behulp van de stelling van Lucas om oplossingen te tellen voor $e_l(x) \equiv 0 \pmod 2$ voor algemene $l$ , hoewel expliciete productvormen voor algemene $l$ in dit werk niet volledig zijn uitgewerkt.

De oude kaart versus het nieuwe territorium

De belangrijkste ontdekkingen

De "Menon's Identiteit"-verbinding

Samenvatting

Meer zoals dit