🔢 mathematics

Problems in additive number theory, VII: The structure of additive $h$ -bases for $n$

Dieser Beitrag stellt eine neue Klasse von Problemen vor, die sich auf die Struktur additiver $h$ -Basisen für ganze Zahlen bis $n$ beziehen und speziell dafür konzipiert sind, von künstlicher Intelligenz gelöst zu werden.

Ursprüngliche Autoren: Melvyn B. Nathanson

Veröffentlicht 2026-05-27

📖 6 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Melvyn B. Nathanson

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

Das große Bild: Brücken aus Zahlen bauen

Stellen Sie sich vor, Sie haben eine Menge spezieller Bausteine (ganze Zahlen). Sie dürfen genau $h$ dieser Bausteine übereinanderstapeln, um einen Turm zu bauen. Die Höhe des Turms ist die Summe der Zahlen auf den Bausteinen.

Die zentrale Frage dieses Papiers lautet: Wie hoch können wir eine durchgehende, ununterbrochene Treppe von Türmen bauen, die vom Boden (0) ausgeht?

Wenn Sie Türme der Höhe 0, 1, 2, 3, 4 und so weiter bauen können, bis zu einer bestimmten Zahl $n$ , ohne Lücken, dann wird Ihre Menge von Bausteinen als „ $h$ -Basis für $n$ " bezeichnet.

Das Papier stellt eine neue Reihe von Rätseln über diese Bausteinmengen vor. Der Autor, Nathanson, sagt im Wesentlichen: „Wir wissen zwar, wie man diese Treppen baut, aber wir verstehen die Muster nicht vollständig, wie groß sie werden können oder wie die Bausteine angeordnet sein müssen. Hier sind einige neue Rätsel zu lösen, von denen einige sogar für fortgeschrittene Künstliche Intelligenz knifflig sein könnten."

Die vier Hauptcharaktere (Die Funktionen)

Das Papier definiert vier verschiedene Möglichkeiten, die „beste" mögliche Treppe zu messen, die man mit einer bestimmten Anzahl von Bausteinen ( $k$ ) bauen kann. Betrachten Sie diese als vier verschiedene Punktesysteme für ein Spiel:

Der „Vom Boden aus"-Score ( $n_h(k)$ ):
- Die Regel: Sie dürfen nur positive Bausteine (oder Null) verwenden. Sie müssen Ihre Treppe genau bei 0 beginnen.
- Das Ziel: Wie hoch können Sie ohne Lücke steigen?
- Analogie: Sie bauen eine Rampe, die vom Boden beginnt. Sie dürfen keine negativen Zahlen verwenden (kein Graben eines Lochs), und Sie dürfen nicht in der Luft schwebend beginnen.
Der „Schwebende"-Score ( $n^\sharp_h(k)$ ):
- Die Regel: Sie dürfen nur positive Bausteine (oder Null) verwenden, aber Sie können Ihre Treppe überall beginnen lassen (bei Höhe 5, 100 oder -50).
- Das Ziel: Was ist die längste durchgehende Strecke von Zahlen, die Sie abdecken können, unabhängig davon, wo sie beginnt?
- Analogie: Sie können eine Brücke überall im Universum bauen, solange Sie nur positive Steine verwenden.
Der „Vollbereich"-Score ( $m_h(k)$ ):
- Die Regel: Sie dürfen beliebige ganze Zahlen verwenden (positive, negative oder Null). Sie müssen bei 0 beginnen.
- Das Ziel: Wie hoch können Sie ohne Lücke steigen?
- Analogie: Sie haben eine magische Werkzeugkiste mit negativen Zahlen (wie „Anti-Steine", die Höhe abziehen). Sie müssen am Boden beginnen, können aber diese speziellen Werkzeuge nutzen, um Ihre Reichweite zu erweitern.
Der „Ultimative"-Score ( $m^\sharp_h(k)$ ):
- Die Regel: Sie dürfen beliebige ganze Zahlen verwenden, und Sie können Ihre Treppe überall beginnen lassen.
- Das Ziel: Was ist die absolut längste durchgehende Strecke von Zahlen, die Sie abdecken können?
- Analogie: Sie haben das volle Werkzeug und totale Freiheit, Ihre Brücke überall zu platzieren.

Die Entdeckung des Papiers:
Nathanson beweist, dass für die „Schwebenden" und „Ultimativen" Scores (Punktesysteme 2 und 4) es tatsächlich keine Rolle spielt, ob Sie negative Zahlen zulassen oder nicht. Wenn Sie eine lange Brücke mit negativen Zahlen bauen können, können Sie Ihre Bausteine so umordnen, dass Sie eine ebenso lange Brücke nur mit positiven Zahlen bauen. Die „beste" Länge ist in beiden Fällen gleich.

Die „isolierten" Bausteine und das „Sidon"-Geheimnis

Das Papier betrachtet auch die Form der Menge von Zahlen, die Sie erzeugen.

Das Problem: Manchmal erhalten Sie beim Addieren Ihrer Bausteine eine perfekte Treppe (0, 1, 2, 3...), aber dann kommt eine riesige Lücke, und dann eine einzelne, einsame Zahl (eine „isolierte" ganze Zahl), die weit entfernt schwebt.
Das Ziel: Nathanson möchte wissen: Können wir eine Treppe bauen, die perfekt isoliert ist? Das bedeutet, wir erhalten ein langes, ununterbrochenes Intervall, und nichts anderes existiert in der Nähe, außer winzigen Unterteilen dieses Intervalls?

Um dies zu lösen, verwendet er ein Konzept namens Sidon-Menge.

Die Analogie: Stellen Sie sich eine Menge von Musiknoten vor. In einer normalen Menge könnten Sie C+E spielen und erhalten einen Akkord, der genauso klingt wie D+F. Das ist verwirrend.
Die Sidon-Menge: Dies ist eine Menge von Noten, bei der jede mögliche Kombination aus zwei Noten einen einzigartigen Akkord erzeugt. Kein Paar von Noten addiert sich jemals zur gleichen Summe wie ein anderes.
Die „Delta-getrennte"-Drehung: Nathanson geht noch einen Schritt weiter. Er erstellt Mengen, bei denen nicht nur die Summen eindeutig sind, sondern sie auch weit voneinander entfernt liegen. Wenn Sie zwei Zahlen addieren, ist das Ergebnis garantiert einen bestimmten Abstand von jedem anderen Ergebnis entfernt. Diese „Bepflasterung" ermöglicht es ihm, Mengen zu konstruieren, die eine perfekte Treppe erzeugen und dann sofort aufhören, wobei der Rest der Zahlenlinie leer bleibt.

Die KI-Herausforderung

Der Autor erwähnt ausdrücklich, dass dieses Papier dazu dient, die Grenzen der Künstlichen Intelligenz zu testen.

Was KI kann: Sehr schwierige mathematische Probleme lösen (wie eine Doktorarbeit).
Wobei KI Schwierigkeiten hat: Zu entscheiden, was ein interessantes Problem ist, oder neue Kategorien von Fragen zu erfinden.
Die Rolle des Papiers: Nathanson übergibt der KI eine Liste neuer Rätsel (Probleme 1 bis 11). Einige sind mit einem Sternchen (*) markiert, weil sie wahrscheinlich zu abstrakt sind oder eine „menschliche Intuition" darüber erfordern, was ein Muster „schön" oder „interessant" macht, was aktuelle KI möglicherweise übersieht.

Zusammenfassung der „Probleme"

Das Papier listet etwa 11 spezifische Herausforderungen für Mathematiker (und KI) auf, die gelöst werden müssen:

Musterjagd: Können Sie die exakte Liste aller möglichen „Treppenhöhen" für eine gegebene Anzahl von Bausteinen vorhersagen?
Lückenanalyse: Wie ändert sich die Länge der Treppe, wenn Sie nur einen Baustein hinzufügen?
Negative Zahlen: Hilft die Verwendung negativer Zahlen tatsächlich, eine längere Treppe beginnend bei Null zu bauen? (Das Papier legt nahe, dass die Antwort für die maximale Länge „Nein" ist, aber es ist eine Frage, die bewiesen werden muss).
Spärlichkeit: Können wir diese Bausteinmengen so bauen, dass die Zahlen sehr weit voneinander entfernt sind (spärlich), aber dennoch eine perfekte Treppe erzeugen?
Mehrere Treppen: Können wir eine Menge von Bausteinen bauen, die genau zwei separate Treppen erzeugt und nichts dazwischen?

Die „Warnung" (Eine Warnung an den Leser)

Am Ende fügt Nathanson eine „Caveat Lector" (Leser in Acht) hinzu. Er stellt fest, dass es eine Menge alter, größtenteils vergessener Literatur (meist auf Deutsch) über diese spezifischen Zahlen gibt. Es ist möglich, dass die Antworten auf diese neuen Rätsel bereits in alten Zeitschriften begraben liegen und darauf warten, wiederentdeckt zu werden. Er sagt im Wesentlichen: „Wir mögen das Rad neu erfinden, aber es ist ein Rad, das sich zu drehen lohnt."

Auf den Punkt gebracht

Dieses Papier ist eine Karte eines unerforschten Gebiets in der Welt des Zahlensummierten. Es definiert die Spielregeln, beweist ein paar grundlegende Gesetze (wie „negative Zahlen helfen Ihnen nicht, weiter zu kommen") und zeichnet dann eine Schatzkarte, die auf 11 neue X's zeigt, wo das Gold (die Lösung) verborgen sein könnte. Es lädt sowohl menschliche Mathematiker als auch KI-Systeme ein, nachzugraben.

Technische Zusammenfassung: Probleme der additiven Zahlentheorie, VII: Die Struktur additiver h-Basen für n

Einleitung und Motivation
Dieser Artikel, verfasst von Melvyn B. Nathanson, stellt eine neue Klasse von Problemen der additiven Zahlentheorie vor, die die Struktur additiver $h$ -Basen für $n$ betreffen. Die Arbeit ist im Kontext der sich entwickelnden Fähigkeiten künstlicher Intelligenz in der Mathematik eingebettet. Während KI-Systeme die Fähigkeit bewiesen haben, komplexe Probleme zu lösen, die für Dissertationen geeignet sind, fehlt es ihnen derzeit an der Kapazität, „interessante" Probleme zu identifizieren oder neue Vermutungen zu formulieren. Folglich geht dieser Artikel davon aus, dass die Formulierung neuer, lösbarer Fragen ein eindeutiger Vorteil menschlicher Mathematiker bleibt. Die vorgestellten Probleme sind so konzipiert, dass sie von Menschen und in einigen Fällen von aktuellen KI-Systemen, die auf Arithmetik angewendet werden, lösbar sind.

Definitionen und Rahmenwerk
Der Artikel etabliert einen rigorosen Rahmen auf Basis der folgenden Definitionen:

Additive $h$ -Basis für $n$ : Eine endliche Menge ganzer Zahlen $A$ ist eine additive $h$ -Basis für $n$ , wenn die $h$ -fache Summenmenge $hA$ (die Menge aller Summen von $h$ nicht notwendigerweise verschiedenen Elementen von $A$ ) das Intervall $[0, n]$ enthält.
Intervall- $h$ -Basis für $n$ : Eine Menge $A$ ist eine Intervall- $h$ -Basis für $n$ , wenn $hA$ ein Intervall $[c, c+n]$ für eine ganze Zahl $c$ enthält.
Maximale Intervalle: Für eine Menge $A$ bezeichnet $\ell_h(A)$ das größte $n$ , sodass $[0, n] \subseteq hA$ , und $\ell^\sharp_h(A)$ das größte $n$ , sodass $[c, c+n] \subseteq hA$ für ein gewisses $c$ .
Vier Schlüsselfunktionen: Der Artikel definiert vier Funktionen basierend auf Mengen der Größe $k$ $k$ :
1. $n_h(k)$ : Das maximale $n$ , sodass eine Menge $A \subseteq \mathbb{N}_0$ der Größe $k$ die Bedingung $[0, n] \subseteq hA$ erfüllt.
2. $n^\sharp_h(k)$ : Das maximale $n$ , sodass eine Menge $A \subseteq \mathbb{N}_0$ der Größe $k$ die Bedingung $[c, c+n] \subseteq hA$ für ein gewisses $c$ erfüllt.
3. $m_h(k)$ : Das maximale $n$ , sodass eine Menge $A \subseteq \mathbb{Z}$ der Größe $k$ die Bedingung $[0, n] \subseteq hA$ erfüllt.
4. $m^\sharp_h(k)$ : Das maximale $n$ , sodass eine Menge $A \subseteq \mathbb{Z}$ der Größe $k$ die Bedingung $[c, c+n] \subseteq hA$ für ein gewisses $c$ erfüllt.

Hauptbeiträge und Ergebnisse

Monotonie der Funktionen:
Satz 1 beweist, dass die Folgen $(n_h(k))$ , $(m_h(k))$ , $(n^\sharp_h(k))$ und $(m^\sharp_h(k))$ für $h, k \ge 2$ streng monoton steigend sind. Der Beweis stützt sich auf die Konstruktion einer Menge $A'$ der Größe $k+1$ durch Hinzufügen eines Elements zu einer maximalen Menge $A$ der Größe $k$ , wodurch das abgedeckte Intervall um mindestens eine Einheit erweitert wird.
Verallgemeinerung von Sidon-Mengen:
Um spezifische Intervallbasen zu konstruieren, führt der Artikel das Konzept $\Delta$ -getrennter Mengen des Levels $H$ ein. Eine Menge ist $\Delta$ -getrennt des Levels $\infty$ , wenn die Differenz zwischen zwei beliebigen verschiedenen Teilsummen mindestens $\Delta$ beträgt.
- Satz 2 zeigt, dass die Menge der Potenzen $A(g) = \{g^i : i \in \mathbb{N}\}$ mit $g = \Delta + 1$ $\Delta$ -getrennt des Levels $\infty$ ist. Dies bietet eine Methode zur Konstruktion von Mengen mit stark getrennten Summenmengen.
Konstruktion von Intervall-2-Basen:
Satz 3 präsentiert einen konstruktiven Beweis für die Existenz von Mengen $A$ der Größe $2n+2$ , sodass $2A$ ein eindeutiges Intervall $[c, c+n]$ enthält und keine anderen Intervalle (außer Teilintervallen von $[c, c+n]$ ). Alle Elemente in $2A \setminus [c, c+n]$ sind isoliert. Die Konstruktion verwendet eine Folge ganzer Zahlen, die schnell genug wächst, um die Trennung von Summen außerhalb des Zielintervalls sicherzustellen.
Äquivalenz nicht-negativer und ganzzahliger Basen:
Satz 5 stellt fest, dass $n^\sharp_h(k) = m^\sharp_h(k)$ gilt. Dieses Ergebnis zeigt, dass die Zulassung negativer ganzer Zahlen in der Basismenge die maximale Länge eines Intervalls, das von einer $h$ -fachen Summenmenge abgedeckt werden kann, nicht erhöht, sofern das Intervall verschoben werden kann. Der Beweis beinhaltet das Verschieben einer Menge, die negative ganze Zahlen enthält, in eine Menge nicht-negativer ganzer Zahlen, ohne die Länge des abgedeckten Intervalls zu verändern.
Durchmesser-Schranken:
Satz 6 liefert eine obere Schranke für den Durchmesser einer Menge $A \subseteq \mathbb{N}_0$ , die die maximale Intervalllänge $n_h(k)$ erreicht. Spezifisch gilt: Wenn $\ell_h(A) = n_h(k)$ , dann ist $\text{diam}(A) \le n_h(k)$ . Der Beweis argumentiert, dass, wenn das größte Element größer als $n_h(k)$ wäre, es für die Abdeckung des Intervalls $[0, n_h(k)]$ redundant wäre, was der Maximalität von $n_h(k)$ widerspräche.

Offene Probleme und Methodik
Der Artikel löst die primären rechnerischen Probleme nicht, sondern formuliert sie als Herausforderungen für zukünftige Forschung. Die Methodik umfasst:

Mustererkennung: Auflisten spezifischer Werte für kleine $h$ und $k$ (z. B. $L_{\mathbb{N}_0, h}(k)$ ), um verborgene Muster zu identifizieren.
Konstruktive Beweise: Verwendung schnell wachsender Folgen (Potenzen ganzer Zahlen), um spezifische Summenmengen zu isolieren.
Verschiebungsargumente: Nutzung des Divisionsalgorithmus, um Intervalle zu verschieben und Probleme über $\mathbb{Z}$ mit denen über $\mathbb{N}_0$ in Beziehung zu setzen.

Der Artikel identifiziert mehrere spezifische Probleme, von denen viele mit einem Sternchen (*) markiert sind, um eine potenzielle Schwierigkeit für KI zu kennzeichnen:

Problem 1 & 2: Beschreibung der Mengen möglicher Werte für $\ell_h(A)$ und $\ell^\sharp_h(A)$ für feste $h$ und $k$ .
Problem 3: Berechnung der Folgen der vier Funktionen und Entwicklung von Algorithmen, um zu entscheiden, ob eine gegebene ganze Zahl $w$ zu ihren Wertebereichen gehört.
Problem 4: Analyse der Differenzfolgen dieser Funktionen.
Problem 5: Bestimmung, ob die Einbeziehung negativer Zahlen die Größe des maximalen Intervalls $[0, n]$ streng erhöht.
Probleme 7–9: Untersuchung der Möglichkeit, Mengen zu konstruieren, bei denen die Summenmenge Intervalle nur an spezifischen, weit voneinander entfernten Stellen enthält.
Problem 10: Bestimmung der Gleichheit der vier Funktionen (z. B. gilt $n_h(k) = m_h(k)$ ?).

Bedeutung und Umfang
Der Artikel beansprucht Bedeutung primär in der Formulierung dieser neuen Fragen. Er räumt ein, dass die Funktion $n_h(k)$ in älterer deutscher Literatur ausführlich untersucht wurde (unter Bezugnahme auf Autoren wie Bloom, Hofmeister und Rohrbach), und dass Lösungen möglicherweise in historischen Zeitschriften existieren. Der Artikel zielt jedoch darauf ab, die Untersuchung zu modernisieren durch:

Die systematische Definition der vier verwandten Funktionen ( $n_h, n^\sharp_h, m_h, m^\sharp_h$ ).
Die Einführung des Konzepts $\Delta$ -getrennter Mengen zur Konstruktion von Intervallbasen mit spezifischen strukturellen Eigenschaften.
Die explizite Formulierung dieser Probleme als Benchmarks für KI-Fähigkeiten in der mathematischen Entdeckung.

Die Arbeit ist in ihren Ansprüchen bescheiden und stellt fest, dass sie „neue Fragen" einführt, anstatt definitive Lösungen für das asymptotische Verhalten dieser Funktionen zu liefern. Sie hebt hervor, dass, während die Zählfunktion $n_h(k)$ im Fokus früherer Forschung stand, die anderen Zählfunktionen und die strukturellen Eigenschaften von Intervallbasen weitgehend ununtersucht bleiben. Der Artikel schließt mit dem Hinweis, dass analoge Probleme für andere Mengen (Quadrate, Primzahlen) und andere Konfigurationen (arithmetische Progressionen) existieren, und hinterlässt eine breite Agenda für zukünftige Untersuchungen.