Eine Technik, um eine unbekannte rationale Zahl p/q aus ihrem modularen Bild r modulo M wiederzugewinnen, typischerweise durch Finden von kleinem Zähler und Nenner, die mit r mittels Kettenbrüchen oder gitterbasierten Methoden konsistent sind.

Prinzip

Modulare Reste mit Schranken für Zähler und Nenner kombinieren und entweder Kettenbruch-Approximationen oder Gitterreduktion einsetzen, um eine eindeutige rationale Zahl zu identifizieren, deren modulares Bild mit dem gegebenen Rest übereinstimmt.

Demonstration

Gegeben r ≡ p·q^{-1} (mod M) und Schranken |p|≤P, 0

Fehlanwendung

Rationelle Rekonstruktion anwenden, ohne Schranken oder die Größe des Moduls zu prüfen: das Rekonstruieren bei zu großem PQ gegenüber M kann falsche Rationale oder mehrere Kandidaten hervorbringen und nachfolgende algebraische Rechnungen fehlleiten.

Konsequenz

Wenn die vorgeschriebenen Schranken und Modulbedingungen erfüllt sind, liefert die rationelle Rekonstruktion exakte rationale Koeffizienten aus modularen Berechnungen und ermöglicht korrektes Heben modularer Polynomfaktorisierungen und Resultanten zu Q oder Z.

Umkehrung

Das Gegenteil ist, modulare Reste als undurchschaubare Reelle zu behandeln: modulare Reste ohne Rekonstruktionsversuch zu akzeptieren, verpasst die Möglichkeit, exakte rationale Daten aus modularen Rechnungen wiederzugewinnen.

Abgrenzung

Gilt, wenn nachweisbare oder glaubhafte Schranken für Zähler/Nenner vorliegen und das Modul M groß im Verhältnis zu PQ ist; schließt mehrdeutige Fälle mit mehreren kurzen Kandidaten oder verrauschten Resten wegen arithmetischer Fehler oder nicht invertierbaren Nennern modulo M aus.

Semantische Spannung

Es besteht eine Spannung zwischen Kettenbruch-Methoden und gitterbasierten Rekonstruktionen; beide wollen Rationale zurückgewinnen, unterscheiden sich jedoch in Robustheit gegenüber Rauschen, Größengrenzen und Nachweisbarkeit der Eindeutigkeit.

Synthese

Rationelle Rekonstruktion ist der Prozess, einen modularen Rest mit Größengrenzen und entweder Kettenbruchapproximationen oder Gitterreduktion zu kombinieren, um eine eindeutige rationale Zahl p/q wiederzufinden, sofern Modul und Schranken Eindeutigkeit garantieren.