Zwei Millionen Euro dotierter EU-Forschungspreis für Informatiker

Symmetrien auf der Spur

TUK. Dr. Pascal Schweitzer, Informatik-Professor an der Technischen Universität Kaiserslautern (TUK), wird von der Europäischen Union mit einem „ERC Consolidator Grant“ ausgezeichnet. Dafür stellt der Europäische Forschungsrat ERC (European Research Council) zwei Millionen Euro für fünf Jahre bereit. Schweitzer und sein Team werden ein theoretisches Modell für Algorithmen und eine darauf aufbauende Software entwickeln, um Symmetrien aufzuspüren und zu nutzen.
Solche Muster kommen etwa bei Software, Datenbanken oder sozialen Netzwerken vor – meist nicht direkt ersichtlich. Kann man sie erkennen, ließe sich etwa die Rechenleistung vervielfachen, da Doppelungen beim Rechnen vermieden werden könnten.
Die Fähigkeit, Symmetrien zu erkennen, spielt für Berechnungen in großen und komplexen Systemen eine immer wichtigere Rolle. Ob mathematische Gleichungen, logische Formeln, Geometrien oder Grafen – in der Welt von Mathematik und Informatik begegnet man ihnen in vielen Bereichen. „Symmetrien gibt es überall“, erklärt Professor Dr. Pascal Schweitzer, der an der Technischen Universität Kaiserslautern zu Algorithmen und Komplexität forscht. „Etwa in sozialen Netzwerken und Straßennetzen sind sie zu finden.“ Auch in sogenannten neuronalen Netzwerken, die beim maschinellen Lernen eine Rolle spielen, und der künstlichen Intelligenz treten sie auf. Darüber hinaus gibt es diese Muster bei großen Datenbanken, in denen zum Beispiel Moleküle gelistet sind. „Durch Kenntnis der Symmetrien lassen sich die Moleküle vergleichen und einordnen“, erläutert der Professor.
Auch Schweitzer beschäftigt sich in seiner Forschung mit diesen Phänomenen. Er entwickelt dazu theoretische Rechenmodelle. Die Europäische Union fördert nun sein Projekt „EngageS: Next Generation Algorithms for Grabbing and Exploiting Symmetries“ mit einem „ERC Grant“ – einem der bedeutendsten Forschungspreise in Europa.
Der Informatiker will in den kommenden Jahren ein theoretisches Modell für Algorithmen erarbeiten, mit dem sich solche Symmetrien in Datenbanken, Software, neuronalen Netzwerken und Ähnlichem aufspüren lassen. „Bei komplexen Rechenverfahren oder großen Datenmengen sind solche Symmetrien für die Nutzer nicht sofort ersichtlich“, fährt er fort. „Erkennen wir solche Muster, haben wir künftig die Möglichkeit, Rechenleistungen zu vervielfachen, da identische Wege nicht doppelt durchgerechnet werden müssen.“ Damit könnten Algorithmen in Zukunft deutlich schneller werden: Datenbanken und Netzwerke ließen sich beispielsweise rascher durchsuchen.
Neben einem theoretischen Modell möchte der Informatiker eine Software entwickeln, die online frei zur Verfügung stehen soll. „So wird es den Benutzern ermöglicht, Symmetrien mit modernster Software aufzuspüren und zu verwenden“, so der Professor.
Auch mit dem Team um die Kaiserslauterer Mathematik-Professoren Dr. Gunter Malle und Dr. Wolfram Decker vom Sonderforschungsbereich (SFB) „Symbolic Tools in Mathematics and their Application“ möchte Schweitzer künftig enger zusammenarbeiten, da es gemeinsame Anknüpfungspunkte in der Forschung gibt, die sogenannte Gruppentheorie.ps