Jacobi-Vermutung

Die Jacobi-Vermutung ist eine bis heute ungelöste Frage aus der Mathematik. Es geht darum, ob man eine bestimmte Art von Rechenvorschrift immer eindeutig umkehren kann. Eine solche Vorschrift nimmt mehrere Zahlen entgegen und gibt genauso viele Zahlen zurück, wobei nur Additionen und Multiplikationen erlaubt sind. Für solche Vorschriften gibt es einen Test, der anzeigt, ob die Vorschrift an jeder Stelle nur ganz leicht dehnt oder staucht, aber nirgends zusammenfällt. Die Vermutung sagt: Wenn dieser Test überall dasselbe Ergebnis liefert, dann lässt sich die Vorschrift weltweit eindeutig rückgängig machen. Der deutsche Mathematiker Ott-Heinrich Keller formulierte sie 1939, benannt ist sie nach einem Rechenwerkzeug von Carl Gustav Jacob Jacobi.

Eine Falle, in die viele getappt sind

Die Jacobi-Vermutung ist berühmt dafür, dass sie viel leichter aussieht, als sie ist. Man kann sie einem Studenten im zweiten Semester in fünf Minuten erklären. Genau das macht sie gefährlich. Über die Jahrzehnte wurden dutzende angebliche Beweise veröffentlicht, und alle enthielten Fehler.

Der Mathematiker Shreeram Abhyankar nannte sie deshalb eine Vermutung, an der man erkennt, ob jemand seine Grenzen kennt. Der Fields-Medaillist Stephen Smale nahm sie 1998 in seine Liste der wichtigsten offenen Probleme für das 21. Jahrhundert auf. Sie steht dort als Problem Nummer 16, neben Fragen, an denen ganze Forschungsgebiete hängen.

Wichtig ist sie auch, weil sie überraschend viele Bereiche verbindet. Sie hängt mit Fragen aus der Geometrie zusammen, mit der Theorie von Rechenoperationen und sogar mit der Frage, wie man Mathematik in Computerprogrammen automatisch prüfen lässt. Mehrere andere offene Probleme haben sich als gleichwertig zur Jacobi-Vermutung herausgestellt. Wer eines davon löst, löst automatisch alle.

Der Test mit der Determinante

Der erwähnte Test heißt Jacobi-Determinante. Er misst, wie stark eine Rechenvorschrift die Umgebung eines Punktes verzerrt. Ist der Wert an einem Punkt null, fällt dort etwas zusammen, und die Vorschrift lässt sich in der Nähe nicht umkehren. Ist der Wert überall eine feste Zahl ungleich null, dann ist sie zumindest lokal, also in kleinen Ausschnitten, immer umkehrbar.

Der Sprung von lokal nach global ist der Kern des Problems. Man stelle sich eine Landkarte vor, die jeden kleinen Ausschnitt der Erde sauber und verzerrungsfrei abbildet. Trotzdem könnte sie zwei weit entfernte Orte auf denselben Punkt legen. Genau das schließt die Vermutung aus, jedenfalls für Vorschriften aus Additionen und Multiplikationen. Bewiesen ist es aber nicht.

Bekannt sind einige Teilergebnisse. Für Vorschriften mit nur einer Eingangszahl stimmt die Aussage nachweislich. Man konnte den allgemeinen Fall außerdem auf eine überschaubare Form zurückführen, bei der nur noch dritte Potenzen vorkommen. Ein typischer Irrtum ist übrigens, die Vermutung mit reellen Zahlen zu prüfen: Dort ist sie schlicht falsch, sie betrifft komplexe Zahlen, also ein erweitertes Zahlensystem.

Warum der Begriff in KI-News auftaucht

Im Alltag begegnet man der Jacobi-Vermutung nicht. Ihre Namensgeberin, die Jacobi-Determinante, dagegen ständig: Sie steckt im Training jedes neuronalen Netzes, also jener Programme, die aus Beispieldaten lernen. Dort beschreibt sie, wie sich eine kleine Änderung an den Einstellungen auf das Ergebnis auswirkt. Auch Computergrafik und Robotik rechnen damit.

Die Vermutung selbst taucht heute vor allem in Meldungen über Beweisassistenten auf. Das sind Programme, die mathematische Beweise Schritt für Schritt auf Lücken prüfen. Seit KI-Systeme zunehmend eigenständig Beweise vorschlagen, nutzt man alte offene Probleme als Härtetest. Die Jacobi-Vermutung eignet sich dafür besonders, weil sie kurz formulierbar und trotzdem extrem schwer ist.

Erwartet wird kein baldiger Durchbruch. Realistischer ist, dass solche Werkzeuge fehlerhafte Beweisversuche schneller entlarven als menschliche Gutachter. Bei einer Vermutung mit dieser Fehlerbilanz ist das schon ein spürbarer Gewinn.