Fließende Übergänge – mathematische Software verbindet Theorie und Praxis

Das Bild zeigt die fünf Kegelschnitte in blau (es sind ausschließlich Hyperbeln) und eine rote Ellipse, welche tangential zu diesen fünf liegt. © Thomas Endler, MPI für Mathematik in den Naturwissenschaften

Der Artikel „3264 Conics in a Second” verdeutlicht wie mithilfe mathematischer Software eine Brücke zwischen theoretischen Fragestellungen und angewandten Methoden geschlagen werden kann.

Neben dem umfangreichen numerischen Softwarepackage „HomotopyContinuation.jl“ erstellten die Autoren zudem eine leicht zugängliche Webseite, welche die unterschiedlichen Anwendungsmöglichkeiten der Software anschaulich erklärt.

Eine dieser Anwendungen, die wiederum die Lösung eines klassischen geometrischen Problems darstellt, wurde darüber hinaus mithilfe einer Webapp noch greifbarer gemacht.

Steiners Kegelschnitt-Problem

Die publizierte Arbeit thematisiert ein klassisches Problem in der Geometrie vor dem Hintergrund moderner numerischer Algorithmen. Im Jahr 1848 stellte der Mathematiker Jakob Steiner die Frage, wie viele Kegelschnitte tangential zu fünf gegebenen Kegelschnitten liegen.

Ein Kegelschnitt ist eine ebene Kurve, welche durch den Schnitt eines Kegels mit einer Ebene entsteht, gleichzeitig ist es auch die reelle Nullstellenmenge einer quadratischen Gleichung in zwei Variablen. Obwohl Steiner's Frage zunächst ausschließlich akademischer Natur zu sein scheint, hat sie doch Bezüge zu modernen Anwendungen.

Das Kegelschnitt-Problem wird historisch als Ursprung der modernen „Intersection Theory“ gesehen. Diese wiederum legt den Grundstein für moderne Algorithmen zur Nullstellenberechnung von Polynomsystemen, welches eine zentrale Aufgabe in vielen angewandten Bereichen ist: Robotik, Materialwissenschaften, maschinelles Lernen, Biologie oder Analyse dynamischer Systeme sind Beispiele unter vielen anderen Disziplinen, in denen polynomielle Gleichungen gelöst werden müssen.

Softwarepaket HomotopyContinuation.jl

Auf eben diese numerischen Berechnungsverfahren zur Lösung von polynomiellen Gleichungssystemen haben sich die Autoren mit dem Softwarepaket HomotopyContinuation.jl für die, aufs numerische Rechnen optimierte, Programmiersprache Julia spezialisiert.

Die zugehörige Webseite geht nicht nur auf die Funktionsweise der Software ein, sondern stellt auch weitreichende Beispiele aus dem computerunterstützten Sehen, der Robotik, Chemie, Datenmathematik und algebraischer Geometrie vor und kontextualisiert damit die Anwendung.

Verschiedenste Leitfaden führen den Nutzer an die Möglichkeiten der Software heran und erläutern wie sie in den unterschiedlichsten Fragestellungen Anwendung finden kann. So auch in Steiner's Kegelschnitt-Fragestellung, welche sich als Problem zur Nullstellenberechnung eines polynomiellen Gleichungssystem formulieren lässt. Mittels der eigens entwickelten numerischen Software lassen sich nun die Lösungen innerhalb einer Sekunde berechnen.

Die Wissenschaftler des Max-Planck-Instituts und der Technischen Universität Berlin haben als Anhang zu ihrer Arbeit ein Webinterface erstellt, durch das der Leser leicht die 3264 Lösungen für seine eigenen Kegelschnitte errechnen kann (siehe juliahomotopycontinuation.org/diy/).

Diese innovative Art von wissenschaftlicher Kommunikation ist ein Novum für Publikationen in den Notices. Den Autoren gelang es mithilfe ihrer Software exakte Gleichungen für Arrangements mit reellen Lösungen für das Steinersche Kegelschnitt-Problem zu finden.

Damit konnten sie zeigen, dass nicht nur theoretische Resultate numerische Verfahren bedingen, aber auch dass numerische Methoden Anwendung in der Beweisführung konkrete theoretischer Resultate haben können.

Dr. Paul Breiding
Technische Universität Berlin
Institut für Mathematik
Mail: p.breiding@tu-berlin.de
http://www.math.tu-berlin.de/~breiding

„3264 Conics in a Second“ in Notices of the American Mathematical Society
http://www.ams.org/journals/notices/202001/rnoti-p30.pdf
DOI: https://doi.org/10.1090/noti2010

http://www.juliahomotopycontinuation.org Informationen zur Software HomotopyContinuation.jl

Media Contact

Jana Gregor Max-Planck-Institut für Mathematik in den Naturwissenschaften (MPIMIS)

Weitere Informationen:

http://www.mis.mpg.de

Alle Nachrichten aus der Kategorie: Informationstechnologie

Neuerungen und Entwicklungen auf den Gebieten der Informations- und Datenverarbeitung sowie der dafür benötigten Hardware finden Sie hier zusammengefasst.

Unter anderem erhalten Sie Informationen aus den Teilbereichen: IT-Dienstleistungen, IT-Architektur, IT-Management und Telekommunikation.

Zurück zur Startseite

Kommentare (0)

Schreiben Sie einen Kommentar

Neueste Beiträge

Flexible Elektronik ohne Sintern

Leitfähige Metall-Polymer-Tinten für den Inkjet-Druck. Auf der diesjährigen Hannover Messe präsentiert das INM – Leibniz-Institut für Neue Materialien Hybridtinten für den Inkjetdruck. Sie bestehen aus Metallnanopartikeln, die mit leitfähigen Polymeren…

Grüner Wasserstoff nach dem Vorbild der Natur

Transregio-Sonderforschungsbereich verlängert … Das Sonnenlicht als Quelle für die klimafreundliche Energieversorgung nutzen: Lange vor großen Initiativen wie dem europäischen „Green Deal“ oder der „nationalen Wasserstoffstrategie“ hat der Transregio-Sonderforschungsbereich (SFB) CataLight…

Molekulare heterogene Katalyse in definierten dirigierenden Geometrien

Katalyse-Sonderforschungsbereich geht in die zweite Runde. Der Sonderforschungsbereich „Molekulare heterogene Katalyse in definierten dirigierenden Geometrien“ (SFB 1333) an der Universität Stuttgart erhält eine zweite Förderperiode und damit Fördermittel in Höhe…

Partner & Förderer