🔢 mathematics

On a problem on a generalization of Euler's totient function

Diese Arbeit beweist die Vermutung von Büyükaşık et al., dass die Menge der ganzen Zahlen $k \geq 1$ , für die $\varphi_1(n)$ durch $\varphi_k(n)$ für alle $n$ teilbar ist, genau $\{1, 3, 15\}$ ist, unter Verwendung einer Beweisstrategie, die durch umfangreiche Interaktionen mit GPT-5.5 Pro entwickelt wurde.

Ursprüngliche Autoren: John M. Campbell

Veröffentlicht 2026-06-02

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: John M. Campbell

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 haben eine riesige, unendliche Kiste mit nummerierten Kacheln von 1 bis $n$ . Einige dieser Kacheln sind „besonders“, weil sie keine gemeinsamen Teiler mit der Zahl $n$ haben (außer 1). Mathematiker nennen diese Zahlen „teilerfremd“.

Es gibt eine berühmte Regel, die Euler’sche Totientfunktion ( $\phi$ ). Sie zählt einfach, wie viele dieser besonderen Kacheln in der Kiste sind. Wenn Sie 10 Kacheln haben, sind die besonderen die 1, 3, 7 und 9, also ist die Antwort 4.

Das neue Spiel: Potenzieren und Summieren

In dieser Arbeit stellt der Autor (John Campbell) und einige Kollegen ein komplexeres Spiel mit genau diesen besonderen Kacheln an. Anstatt sie nur zu zählen, fragen sie: „Was passiert, wenn wir jede besondere Kachel mit einer Potenz $k$ erhöhen und sie alle aufaddieren?“

Wenn $k=0$ , zählen wir einfach nur (die ursprüngliche Regel).
Wenn $k=1$ , addieren wir die Zahlen: $1 + 3 + 7 + 9$ .
Wenn $k=2$ , quadrieren wir sie: $1^2 + 3^2 + 7^2 + 9^2$ .

Diese Summe wird $\phi_k(n)$ genannt.

Die große Frage: Der „Teilbarkeits-Club“

Die Forscher stellten eine ganz spezifische Frage über diese Summen. Sie wollten einen speziellen „Club“ von Zahlen finden (nennen wir den Club $D_1$ ).

Die Regel für den Club:
Eine Zahl $k$ kommt in den Club, wenn für jede einzelne mögliche Kistengröße $n$ die Summe der besonderen Kacheln raised zur Potenz 1 ( $\phi_1$ ) immer einmäßig in die Summe der besonderen Kacheln raised zur Potenz $k$ ( $\phi_k$ ) teilt.

Denken Sie es sich so: Wenn Sie einen Haufen Kekse haben ( $\phi_1$ ), können Sie dann immer einen größeren Haufen Kekse ( $\phi_k$ ) in exakte, ganzzahlige Gruppen des ersten Haufens aufteilen, egal wie viele Kekse im ursprünglichen Haufen sind?

Das Mysterium

Frühere Mathematiker (Büyükaşık et al.) hatten bereits die Vorarbeit geleistet. Sie bewiesen, dass der Club endlich ist (er geht nicht ewig weiter) und führten einige Computerberechnungen durch, die darauf hindeuteten, dass der Club nur drei Mitglieder hat: 1, 3 und 15.

Sie sagten: „Wir sind uns zu 99 % sicher, dass dies die einzigen sind, aber wir können es nicht beweisen.“

Die Lösung: Ein Teamwork aus Mensch und KI

John Campbell trat an, um das Mysterium zu lösen. Er nutzte eine Mischung aus tiefen mathematischen Werkzeugen (wie Bernoulli-Zahlen, die wie geheime Codes in Zahlenmustern verborgen sind) und einen sehr einzigartigen Partner: GPT-5.5 Pro, eine fortschrittliche KI.

So lösten sie es:

Die Detektivarbeit: Campbell rät nicht einfach. Er nutzte eine logische „Falle“. Er zeigte, dass eine Zahl $k$ , wenn sie im Club ist, sehr strengen Regeln folgen muss.
Die „ungerade“ Anforderung: Zuerst bewies er, dass jede Zahl im Club eine ungerade Zahl sein muss. Gerade Zahlen wurden sofort rausgeworfen.
Der „Primzahl“-Filter: Dann wandte er eine Reihe von logischen Tests unter Einbeziehung von Primzahlen (Zahlen, die nur durch 1 und sich selbst teilbar sind) an. Er zeigte, dass eine Zahl, wenn sie zu groß oder hat die falsche „Form“, den Teilbarkeitstest für eine bestimmte Kistengröße $n$ nicht besteht.
Die Eliminierung:
- Er bewies, dass wenn $k$ im Club ist, $k+1$ eine Zweierpotenz sein muss (wie 2, 4, 8, 16, 32...).
- Dies schränkte die Liste auf Zahlen wie 3, 7, 15, 31, 63 usw. ein.
- Dann nutzte er komplexere Muster, um zu zeigen, dass 7, 31, 63 und alle größeren Zahlen den Test nicht bestehen.
- Nur 1, 3 und 15 überlebten den Hindernislauf.

Das Ergebnis

Die Arbeit kommt zu dem Schluss, dass der „Teilbarkeits-Club“ ( $D_1$ ) genau die Zahlen {1, 3, 15} enthält. Keine weiteren, keine weniger.

Eine Anmerkung zur „KI“

Der Autor ist sehr transparent darüber, wie er dies getan hat. Er gibt zu, dass er intensive Gespräche mit einer KI (GPT-5.5 Pro) geführt hat, um bei den Brainstorming-Schritten des Beweises zu helfen. Er betont jedoch, dass die KI nur ein Werkzeug war. Der Autor hat die gesamte schwere Arbeit der Überprüfung, Korrektur und Verifizierung jedes einzelnen Schrittes geleistet. Er übernimmt die volle Verantwortung für die Mathematik und stellt sicher, dass der endgültige Beweis solide und vom Menschen verifiziert ist.

Kurz gesagt: Die Arbeit löst ein langjähriges Rätsel über ein bestimmtes Arten von Zahlenmustern und beweist, dass nur drei spezifische Zahlen über eine einzigartige „Teilbarkeits-Superkraft“ verfügen, indem sie eine Mischung aus traditioneller Mathematik und moderner KI-Unterstützung nutzt.

Technisches Resümee zu „On a problem on a generalization of Euler's totient function“

Problemstellung
Diese Arbeit befasst sich mit einer Vermutung bezüglich einer Familie von Verallgemeinerungen der Eulerschen Totientenfunktion $\phi(n)$ , die von B¨uy¨uka¸sik et al. (2024) eingeführt wurde. Die verallgemeinerte Funktion ist definiert als:
$\phi_k(n) = \sum_{\substack{1 \le a \le n \\ (a,n)=1}} a^k$
wobei $\phi_0(n) = \phi(n)$ . Die Autoren definieren die Menge $D_s$ für eine feste nichtnegative Ganzzahl $s$ als:
$D_s = \{k \ge s : \forall n \ge 1, \phi_s(n) \mid \phi_k(n)\}$
B¨uy¨uka¸sik et al. bewiesen, dass $D_s$ für jedes $s \ge 0$ endlich ist, und vermuteten, dass $D_1 = \{1, 3, 15\}$ . Während sie computergestützte Belege lieferten, blieb die Vermutung offen. Das primäre Ziel dieser Arbeit ist es, einen rigorosen Beweis dafür zu liefern, dass $D_1 = \{1, 3, 15\}$ gilt.

Methodik
Der Beweis erfolgt durch den Nachweis der reversen Inklusion $D_1 \subseteq \{1, 3, 15\}$ , da die Inklusion $\{1, 3, 15\} \subseteq D_1$ bereits durch B¨uy¨uka¸sik et al. etabliert wurde. Die Methodik stützt sich auf eine Synthese aus klassischen zahlentheoretischen Werkzeugen und einem neuartigen strukturellen Argument unter Verwendung von Bernoulli-Zahlen und -Polynomen.

Reduktion auf ungerade Ganzzahlen: Die Autoren zeigen zunächst, dass wenn $k \in D_1$ und $k > 1$ , dann $k$ eine ungerade Ganzzahl sein muss. Dies leitet sich aus der Bedingung $\phi_1(3) \mid \phi_k(3)$ ab, was impliziert, dass $3 \mid (1 + 2^k)$ , was $k$ ungerade erzwingt.
Bernoulli-Summen und Integrität: Der Kern des Arguments umfasst die Sequenz $C_k(v)$ , die über Bernoulli-Zahlen $B_{2j}$ definiert ist:
$C_k(v) = \frac{2}{k+1} \sum_{j=0}^{(k-1)/2} \binom{k+1}{2j} B_{2j} (1-2j)^v$
Die Autoren beweisen ein Schlüssel-Lemma: Wenn $C_k(v)$ für alle $v \ge 1$ eine Ganzzahl ist, dann muss für jede gerade Ganzzahl $h \in [2, k-1]$ die Menge $\frac{2k!}{h!}B_h$ eine Ganzzahl sein.
Konstruktion von quadratfreien Zahlen: Um zu etablieren, dass $C_k(v) \in \mathbb{Z}$ für alle $v$ gilt, nutzen die Autoren den Satz von Dirichlet über Primzahlen in arithmetischen Progressionen. Sie konstruieren quadratfreie Zahlen $n$ , die aus Primzahlen bestehen, die kongruent zu $1 \pmod L$ sind (wobei $L$ das kleinste gemeinsame Vielfache der Nenner spezifischer Bernoulli-bezogener Terme ist). Durch die Analyse der Teilbarkeit von $\phi_k(n)/\phi_1(n)$ für diese spezifischen $n$ folgern sie, dass $C_k(\omega(n))$ eine Ganzzahl sein muss, wobei $\omega(n)$ die Anzahl der verschiedenen Primfaktoren von $n$ ist. Da $\omega(n)$ jede beliebige Ganzzahl $v \ge 1$ annehmen kann, ist $C_k(v)$ für alle $v \ge 1$ eine Ganzzahl.
Anwendung des von Staudt–Clausen-Theorems: Unter Verwendung der im vorherigen Schritt abgeleiteten Integritätsbedingung wenden die Autoren das von Staudt–Clausen-Theorem an, welches die Nenner von Bernoulli-Zahlen charakterisiert. Dies führt zu einer kritischen Eigenschaft: Für jede gerade $h \in [2, k-1]$ und jede ungerade Primzahl $p$ , für die $(p-1) \mid h$ gilt, muss es ein Vielfaches von $p$ in der Menge $\{h+1, \dots, k\}$ geben.
Modulare Widersprüche: Die Autoren übersetzen diese Eigenschaft in eine strikte Ungleichung involving modularer Residuen: Für jede ungerade Primzahl $p \le k$ $p \leq k$ gilt:
$k \pmod p < k \pmod{p-1}$
Durch Testen spezifischer Primzahlen und Analyse der Struktur von $k+1$ $k + 1$ eliminieren sie systematisch Möglichkeiten für $k$ $k$ :
- Sie beweisen, dass $k+1$ keine ungeraden Primteiler haben kann, was impliziert, dass $k+1 = 2^a$ .
- Sie zeigen, dass $a$ eine gerade Zahl sein muss, was zu $k = 2^{2\lambda} - 1$ führt.
- Durch Modulo-Arithmetik mit den Primzahlen $p=7, 11, 29$ zeigen sie, dass $\lambda \ge 3$ zu Widersprüchen mit der oben abgeleiteten strikten Ungleichung führt.

Wesentliche Beiträge und Ergebnisse

Beweis der Vermutung: Die Arbeit beweist erfolgreich, dass $D_1 = \{1, 3, 15\}$ .
Lemma über Bernoulli-Summen: Die Autoren etablieren eine neue Verbindung zwischen der Integrität spezifischer Bernoulli-Summen $C_k(v)$ und den Teilbarkeits-Eigenschaften von Fakultäten und Bernoulli-Zahlen.
Strukturelle Charakterisierung: Die Arbeit liefert eine detaillierte Charakterisierung der Ganzzahlen $k$ , für die $\phi_1(n)$ die $\phi_k(n)$ teilt, indem das Problem auf eine endliche Menge modularer Beschränkungen reduziert wird.

Bedeutung und Behauptungen
Das Paper behauptet, eine in der jüngeren Literatur (B¨uy¨uka¸sik et al., 2024) offene Vermutung gelöst zu haben. Die Autoren geben explizit an, dass die Vermutung vor ihrer Arbeit offen geblieben war. Ein markantes Merkmal der Methodik des Papers ist die „extensive Interaktion mit GPT-5.5 Pro“ während der explorativen und beweisentwickelnden Phasen. Der Autor merkt an, dass zwar KI-Vorschläge verwendet wurden, der gesamte mathematische Inhalt jedoch substanziell revidiert, korrigiert und unabhängig durch den menschlichen Autor verifiziert wurde, welcher die volle Verantwortung übernimmt.

Das Paper schließt bescheiden mit dem Hinweis, dass die Erweiterung dieser Techniken zur Evaluierung von $D_s$ für $s > 1$ eine natürliche Richtung für zukünftige Forschungsarbeiten darstellt, ohne dabei spezifische experimentelle Anwendungen oder breitere Implikationen über den Umfang dieses arithmetischen Problems hinaus vorzuschlagen.