Forschungskarte / offenes Problem

Eine Karte der Buchstab-Minorante der Tiefe 3 für das binäre Goldbach-Problem

Wir beweisen die Goldbachsche Vermutung nicht. Wir isolieren eine konkrete analytische Wand: eine phasensensitive Type-III-Residual-Scherungsabschätzung für Produktwolken von Primzahlen modulo mittelgroßer Primzahlmoduln. Das aktuelle verfeinerte Tor ist die Varianzwand der Ein-Faktor-Übereinstimmung: In der dokumentierten Architektur führen die Standard-L2-, die Vorzeichengewichts-, die Minorantengeometrie- und die Quotienten-Großes-Sieb-Wendung alle auf dasselbe Hindernis zurück.

Status: Kandidat zur öffentlichen Begutachtung für die Homepage-Runde der kommenden Woche; kein Beweis. Diese Seite ersetzt eine ältere Alpha-Darstellung mit Beweisanspruch. Die aktuelle Arbeit ist bewusst als strukturelle Reduktion und als Ziel für die Begutachtung durch Fachleute angelegt.

Die Karte

Das binäre Goldbach-Problem fragt, ob sich jede hinreichend große gerade Zahl N als N = p + q schreiben lässt, wobei beide Summanden Primzahlen sind.

Der aktuelle Ansatz verwendet eine Buchstab-Minorante der Tiefe 3. Nach der Zerlegung der Nicht-Primzahl-Seite in kontrollierte raue Stücke wird die schwierige Fläche der verschobenen Primzahlen zu:

N = p + r s t

Der Wert der Reduktion liegt darin, dass das verbleibende Hindernis nicht mehr vage ist. Es ist eine bestimmte Type-III-Residual-Scherungsabschätzung, derzeit zugespitzt auf eine Frage nach einem vorzeichenbehafteten Kern innerhalb des Korridors mit einer R-Übereinstimmung.

Die verbleibende analytische Wand

Man untersucht Produkte zweier Primzahlen a = r1 r2 modulo mittelgroßer Primzahlen p, zieht das erwartete lokale Restklassenmodell ab und fragt, ob sich der verbleibende Fehler an Richtungen von Primzahlquotienten ausrichten kann.

h = s2 / s1 mod p

Äquivalent dazu hat die verbleibende Kongruenz, nachdem lokale Terme, exakte Diagonalen, erzwungene Nullfälle und deterministische Korridorfamilien entfernt sind, die Gestalt:

r1 r2 s1 == r3 r4 s2 mod p

Diese Kongruenz zu zählen genügt nicht. Das offene Ziel ist phasensensitive Auslöschung nach Abzug des lokalen Modells. Die jüngste interne Prüfung zeigt, dass das direkte nicht-prinzipale Varianzziel gesättigt ist. Die getesteten lokalen Wendungen beseitigen diese Wand nicht; daher ist das ehrliche öffentliche Objekt jetzt eine Hinderniskarte, sofern kein neuer Mechanismus vor L2 geliefert wird.

Frage an die Fachbegutachtung

Liefert die exakte Type-III-Dispersionsidentität einen nichttrivialen vorzeichenbehafteten Kern mit einer R-Übereinstimmung, omega_p(t) oder W_p(chi), oder fällt der Ansatz auf die gesättigte nichtnegative Varianzwand zurück?

Die aktuelle lokale Antwort ist negativ für den Standard-L2-Weg, die Aufteilung mit Vorzeichengewichten, die Anpassung der Minorantengeometrie und den Import des großen Siebs für Quotienten. Eine neue Antwort müsste die Architektur ändern, bevor das positive Varianzobjekt auftritt.

Öffentliche technische Notizen

Die längere interne Type-III-Kette ist Gerüst für die Beweissuche und wird bewusst nicht als öffentliches Beweisartefakt präsentiert.