🔢 mathematics

Exceptional sets for compositions involving Euler's function,the divisor-sum function and Dedekind's function

Diese Arbeit etabliert quantitative obere Schranken und Dichte-Null-Abschätzungen für Ausnahme-Mengen von ganzen Zahlen, die Kompositionen der Eulerschen Phi-Funktion, der Dedekind-Funktion und der Summe-der-Teiler-Funktion involvieren, wodurch sie vorangegangene Dichteergebnisse von Sandor, Dixit und Bhattacharjee verfeinert.

Ursprüngliche Autoren: Aimin Guo

Veröffentlicht 2026-08-21

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Aimin Guo

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

In der weiten Landschaft der Zahlentheorie untersuchen Mathematiker oft, wie sich Zahlen verhalten, wenn sie in ihre Bausteine zerlegt werden. Drei spezifische Werkzeuge werden verwendet, um diese Eigenschaften zu messen. Das erste Werkzeug ist eine Variation der Summe der Teiler, die eine spezifische Wendung hinzufügt, wie diese Teiler berechnet werden, um für jede Zahl ein leicht anderes Profil zu erstellen. Das zweite Werkzeug zählt, wie viele kleinere Zahlen in eine gegebene Zahl passen, ohne einen Rest zu hinterlassen, ein Maß ihrer internen Struktur. Das dritte Werkzeug addiert alle Teiler einer Zahl und vermittelt so ein Gefühl für ihr gesamtes Gewicht in der Welt der Faktoren. Obwohl diese Werkzeuge allein gut funktionieren, waren Mathematiker schon lange neugierig darauf, was passiert, wenn man sie übereinander stapelt. Wenn man eine Zahl nimmt, auf eine Zahl das erste Werkzeug anwendet und dann sofort ein anderes Werkzeug auf das Ergebnis anwendet, bleibt die endgültige Zahl nah am Original oder driftet sie weit davon weg? Diese Frage darüber, wie diese Funktionen interagieren, wenn sie komponiert werden, ist das Herzstück einer neuen Studie, die versucht, die seltenen Ausnahmen abzubilden, bei denen diese mathematischen Beziehungen ihre üblichen Muster durchbrechen.

Jahrzehntelang legte eine spezifische Vermutung nahe, dass, wenn man das zweite Werkzeug auf das Ergebnis des ersten Werkzeugs für jede Zahl größer als eins anwendet, das Ergebnis immer kleiner als die Ausgangszahl wäre. Es war eine ordentliche, vorhersehbare Regel, die für die ersten zehntausend überprüften Zahlen zu gelten schien. Diese Regel wurde jedoch schließlich als falsch bewiesen. Ein spezifisches Gegenbeispiel wurde bei der Zahl 39.270 gefunden, wo der Prozess tatsächlich ein Ergebnis lieferte, das größer als die ursprüngliche Zahl war. Während diese einzige Ausnahme die Idee einer universellen Regel zertrümmerte, bestätigt die neue Forschung, dass solche Ausnahmen unglaublich selten sind. Die Studie zeigt, dass, wenn man sich größere und größere Zahlenkollektionen ansieht, der Anteil derer, die das erwartete Verhalten verletzen, verschwindend gering wird. Tatsächlich haben die Forscher präzise Grenzen berechnet, wie viele solcher Ausreißer innerhalb eines gegebenen Bereichs existieren können, und zeigen damit, dass die überwiegende Mehrheit der Zahlen immer noch dem erwarteten Trend folgt, auch wenn die Regel nicht absolut ist.

Die Arbeit konzentriert sich auf vier spezifische Kombinationen dieser mathematischen Werkzeuge. Die Forscher untersuchten, was passiert, wenn das zweite Werkzeug auf das Ergebnis des ersten angewendet wird, wenn das zweite Werkzeug auf die Summe der Teiler angewendet wird, wenn das erste Werkzeug auf sich selbst angewendet wird und wenn das erste Werkzeug auf die Summe der Teiler angewendet wird. Für die ersten beiden Kombinationen legten die Forscher strikte Obergrenzen für die Anzahl der Ganzzahlen fest, die ungewöhnlich große Ergebnisse liefern. Sie fanden heraus, dass die Anzahl dieser „außergewöhnlichen“ Fälle viel langsamer wächst als die Gesamtzahl der untersuchten Ganzzahlen. Insbesondere verbesserten sie frühere Schätzungen, indem sie zeigten, dass die Anzahl dieser seltenen Zahlen signifikant niedriger ist, als frühere Mathematiker es vorhergesagt hatten, wodurch das Verständnis darüber verfeinert wurde, wie schnell diese Anomalien mit größeren Zahlen verschwinden.

Die Studie untersuchte auch die Fälle, in denen die Ergebnisse ungewöhnlich klein waren. Wenn das erste Werkzeug zweimal angewendet wird oder wenn es auf die Summe der Teiler angewendet wird, bewiesen die Forscher, dass die Anzahl der Ganzzahlen, die einen Wert ergeben, der kleiner als ein fester Bruchteil des Originals ist, ebenfalls vernachlässigbar ist. Sie zeigten, dass diese Mengen von Zahlen so spärlich sind, dass sie effektiv aus der Landschaft aller ganzen Zahlen verschwinden, während sich der Bereich ausdehnt. Dies wurde durch die Entwicklung einer Methode erreicht, mit der man zählen kann, wie viele Zahlen keine bestimmten kleinen Primfaktoren besitzen, eine Technik, die es dem Team ermöglichte, die Größe dieser außergewöhnlichen Gruppen mit hoher Präzision zu begrenzen.

Jenseits dieser festen Grenzen untersuchten die Forscher ein flexibleres Szenario, in dem der Schwellenwert dafür, was als „Ausnahme“ gilt, erlaubt ist, mit zunehmenden Zahlen langsam zu steigen. Selbst mit dieser hinzugefügten Komplexität hielten die Ergebnisse stand. Die Studie bestätigte, dass, solange der Schwellenwert in einem moderaten Tempo wächst, die Anzahl der Ganzzahlen, die die Bedingung nicht erfüllen, ein winziger Bruchteil des Ganzen bleibt. Dies deutet auf eine robuste zugrunde liegende Ordnung hin, wie diese arithmetischen Funktionen interagieren, wobei Abweichungen von der Norm nicht nur selten, sondern mathematisch so begrenzt sind, dass sie im großen Ganzen fast nicht existent sind. Die Arbeit beansprucht nicht, die absolut besten möglichen Grenzen gefunden zu haben, und räumt ein, dass es Raum für weitere Verfeinerungen geben mag, aber sie liefert ein viel schärferes und genaueres Bild vom Verhalten dieser komponierten Funktionen als bisher verfügbar war.

Technisches Resümee: Ausnahmengenmen bei Kompositionen unter Verwendung der Euler-Funktion, der Summe der Teiler und der Dedekind-Funktion

Problemstellung
Diese Arbeit untersucht die Verteilung von ganzen Zahlen $n$ , für die spezifische Kompositionen klassischer arithmetischer Funktionen signifikant von ihrer erwarteten Größenordnung abweichen. Konkret untersucht der Autor „Ausnahmemengen“, in denen die Werte von $\phi(\psi(n))$ , $\phi(\sigma(n))$ , $\psi(\psi(n))$ und $\psi(\sigma(n))$ im Verhältnis zu $n$ ungewöhnlich groß oder ungewöhnlich klein sind.

Hierbei ist $\phi(n)$ die Euler-Totientfunktion, $\psi(n)$ die Dedekindsche arithmetische Funktion und $\sigma(n)$ die Summe der Teilerfunktion. Obwohl diese Funktionen multiplikativ sind, verlieren ihre Kompositionen im Allgemeinen diese Eigenschaft, wodurch klassische Theorien multiplikativer Funktionen nicht anwendbar werden. Die Untersuchung konzentriert sich darauf, die qualitativen Ergebnisse zur Dichte Null (etabliert durch Sándor und andere) in quantitative obere Schranken für die Größe dieser Ausnahmemengen zu verfeinern.

Methodik
Die Beweise stützen sich auf drei primäre analytische Bestandteile:

Produktschätzungen über Primzahlen: Nutzung asymptotischer Formeln für Produkte der Form $\prod (1 \pm 1/p)$ , um die Werte der Funktionen zu beschränken.
Siebschätzungen: Anwendung von Siebmethoden, um den Anteil von ganzen Zahlen zu schätzen, die frei von bestimmten Primfaktoren sind. Eine Schlüsselkomponente ist Lemma 2.4, das eine obere Schranke für die Anzahl der ganzen Zahlen $n \le x$ festlegt, für die eine vorgegebene Primzahl $p$ nicht $\psi(n)$ teilt. Dies adaptiert Siebargumente, die zuvor von Dixit und Bhattacharjee verwendet wurden.
Ergebnisse zu kleinen Primteiler-Eigenschaften: Nutzung bestehender Ergebnisse (Guo et al., Sándor), wonach $\psi(n)$ , $\sigma(n)$ und $\phi(n)$ für fast alle $n$ durch alle kleinen Primpotenzen bis zu einem Schwellenwert von etwa $c \frac{\log_2 x}{\log_3 x}$ teilbar sind.

Die allgemeine Strategie umfasst:

Die Definition einer Ausnahmemenge $E(x)$ der Größe $O(x/(\log_3 x)^2)$ , in der die Eigenschaft der kleinen Primteiler versagt.
Für $n \notin E(x)$ die Nutzung der Teilbarkeit von $\psi(n)$ oder $\sigma(n)$ durch kleine Primzahlen, um die Komposition nach oben oder unten zu beschränken.
Anwendung der Markovschen Ungleichung auf die resultierenden Ungleichungen (z. B. $\psi(n)/n > c \log y_x$ ), um die Anzahl der ganzen Zahlen zu beschränken, welche die Bedingung erfüllen.
Verwendung der partiellen Summation auf bekannte asymptotische Formeln für $\sum \psi(n)$ und $\sum \sigma(n)$ .

Wesentliche Beiträge und Ergebnisse

1. Quantitative Verfeinerungen für $\phi(\psi(n))$ und $\phi(\sigma(n))$
Die Arbeit liefert explizite obere Schranken für die Anzahl der ganzen Zahlen $n \le x$ , die $\phi(\psi(n)) \ge cn$ und $\phi(\sigma(n)) \ge cn$ für ein festes $c > 0$ erfüllen.

Ergebnis für $\phi(\psi(n))$ : Die Anzahl ist beschränkt durch $\left(\frac{15}{\pi^2 c} + o(1)\right) \frac{x}{\log_3 x}$ . Dies verfeinert das qualitative Ergebnis von Sándor zur Dichte Null.
Ergebnis für $\phi(\sigma(n))$ : Die Anzahl ist beschränkt durch $\left(\frac{\pi^2}{6c} + o(1)\right) \frac{x}{\log_3 x}$ . Dies verbessert das Ergebnis von Dixit und Bhattacharjee, die eine Ordnung von $x/\log^4 x$ erhielten; die vorliegende Arbeit verbessert die Ordnung auf $x/\log^3 x$ .

2. Variable Schwellenwerte
Der Autor generalisiert den festen Schwellenwert $c$ zu nicht-monoton steigenden Funktionen $g(n)$ und $h(n)$ , die $g(x), h(x) = o(\log_3 x)$ erfüllen.

Die Größe der Menge $\{n \le x : \phi(\psi(n)) \ge n/g(n)\}$ wird als $O\left(\frac{x}{g(x) \log_3 x}\right)$ gezeigt.
Ähnlich ist die Menge $\{n \le x : \phi(\sigma(n)) \ge n/h(n)\}$ durch $O\left(\frac{x}{h(x) \log_3 x}\right)$ beschränkt.
Beide Ergebnisse bestätigen, dass diese Mengen die Dichte Null besitzen.

3. Untergrenzen für Iterationen von $\psi$
Die Arbeit etabliert quantitative Dichte-Null-Schätzungen für ganze Zahlen, bei denen die zweite Iteration der Dedekindschen Funktion klein ist: $\psi(\psi(n)) \le cn$ und $\psi(\sigma(n)) \le cn$ .

Ergebnis: Für ein festes $c > 0$ existiert eine Konstante $z_c$ , sodass die Anzahl $\ll_c x \left(\frac{\log_2 x}{\log x}\right)^{1/z_c}$ beträgt.
Dies impliziert, dass diese Mengen die Dichte Null besitzen. Der Beweis beruht darauf zu zeigen, dass, falls $\psi(\psi(n)) \le cn$ , dann $\psi(n)$ ein Produkt kleiner Primzahlen vermissen muss, ein Ereignis mit geringer Wahrscheinlichkeit, das aus Siebschätzungen abgeleitet wurde.
Korollar: Dieses Ergebnis erstreckt sich auf die $k$ -te Iteration $\psi^{(k)}(n)$ für jedes feste $k \ge 2$ .

Bedeutung und Behauptungen
Die Arbeit beansprucht, quantitative Verfeinerungen bereits bekannter qualitativer Ergebnisse zu liefern.

Sie korrigiert die Größenordnung der oberen Schranke für die Ausnahmemenge im Zusammenhang mit $\phi(\sigma(n))$ von $x/\log^4 x$ auf $x/\log^3 x$ .
Sie etabliert die ersten quantitativen Schätzungen für die Ausnahmemengen, bei denen $\psi(\psi(n))$ und $\psi(\sigma(n))$ klein sind.
Der Autor merkt in den abschließenden Bemerkungen explizit an, dass die abgeleiteten oberen Schranken nicht als optimal beansprucht werden. Die Verwendung der Markovschen Ungleichung auf einer Obermenge der Ziel-Ausnahmemenge führt zu einem potenziellen Präzisionsverlust.

Die Arbeit ist eingebettet in den breiteren Kontext der Untersuchung von Kompositionen und Iterationen arithmetischer Funktionen, basierend auf der Grundlagenarbeit von Alaoglu, Erdős, Granville, Pomerance, Spiro, Sándor und anderen. Sie klärt die Häufigkeit „auszunehmenhaften“ Verhaltens in diesen zusammengesetzten Funktionen und zeigt auf, dass Gegenbeispiele zu Ungleichungen wie $\phi(\psi(n)) \le n$ (z. B. $n=39270$ ) zwar existieren, aber spärlich gesät sind.

Technisches Resümee: Ausnahmengenmen bei Kompositionen unter Verwendung der Euler-Funktion, der Summe der Teiler und der Dedekind-Funktion

Mehr davon