Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

"quod erat demonstrandum" dank Computer

25.01.2011
Eine Lösung, die sich rechnet: Mathematische Vermutung nach Jahrzehnten bewiesen

Eine im Jahr 1985 aufgestellte mathematische Vermutung - die Andrews-Robbins-Vermutung - konnte jetzt erstmals bewiesen werden. Damit steht fest, dass sich die Struktur sogenannter "total symmetrischer planarer Partitionen" mit einer einzigen Formel beschreiben lässt.

Die Beweisführung gelang unter Einsatz enormer Computer-Ressourcen und wurde damit erst nach "computergerechter" Aufbereitung der Formel möglich. Dieses mit Unterstützung des Wissenschaftsfonds FWF erzielte Ergebnis einer Forschungsgruppe aus Linz wird heute in den Proceedings of the National Academy of Sciences veröffentlicht. Mit dem Beweis ist endgültig auch die letzte einer ganzen Reihe berühmter mathematischer Vermutungen bewiesen, die sich auf planare Partitionen beziehen.

Auch MathematikerInnen spielen mit Bauklötzen. Zumindest dann, wenn ihr Interesse sogenannten planaren Partitionen gilt. Denn diese werden durch Türme von "Bauklötzen" auf einer schachbrettartigen Grundfläche dargestellt. "Bauen" MathematikerInnen nun solche planaren Partitionen, müssen sie bestimmten Regeln folgen: Kein Turm darf höher sein, als die Grundfläche breit ist, und auch nicht, als ein anderer Turm dahinter oder links. Die Frage, wie viele verschiedene Anordnungen von Türmen sich bei einer gegebenen Grundflächengröße bauen lassen, ist dank einer entsprechenden Formel leicht beantwortet. Schwieriger wird es, wenn die Anordnungen der Türme bestimmte Symmetrien aufweisen sollen oder wenn man nicht die Anordnungen selbst, sondern ihre Bestandteile abzählen will. Zwar gibt es auch dafür Formeln. Doch die Krux ist - nicht bei allen diesen Formeln weiß man, ob sie wirklich korrekt sind. Das wird nur vermutet.

WER WEISS DEN BEWEIS?
Der Beweis, dass eine bestimmte dieser Formeln korrekt ist, gelang nun Dr. Christoph Koutschan und Dr. Manuel Kauers vom Institut für Symbolisches Rechnen der Johannes Kepler Universität Linz in Zusammenarbeit mit Prof. Doron Zeilberger aus den USA. Dabei ging es um eine Formel für die Berechnung einzelner Komponenten in total symmetrischen planaren Partitionen. Zur besonderen Methode der Beweisführung meint Dr. Koutschan: "Wir haben es den Computer machen lassen! In manchen Bereichen der Mathematik ist das ja inzwischen Routine." Das Prinzip hinter solchen Computerbeweisen ist zunächst einfach. Um A=B zu beweisen, berechnet der Computer eine Hilfsgleichung U=V mit folgenden zwei Eigenschaften: "Wenn U=V wahr ist, dann ist auch A=B wahr" und "ob U=V wahr ist, kann leicht überprüft werden".

Was so leicht klingt, stellte tatsächlich eine große Herausforderung dar, wie Dr. Koutschan weiter ausführt: "Dieses Verfahren funktioniert nicht für jede Gleichung. Unser wesentlicher Schritt war es, die Andrews-Robbins-Vermutung in eine geeignete Form zu bringen, die dann mit dem Computer bewiesen werden konnte." Dass die Hilfsgleichung dabei in Wirklichkeit etwas komplexer als "U=V" war, belegt ihr Umfang: Ausgedruckt würde sie ca. 1 Mio. A4-Seiten bedecken und ist damit vermutlich die längste Gleichung, die je in einem mathematischen Beweis verwendet wurde.

STANLEYS LISTE
Der Aufwand für diese "Formulierung" hat sich jedoch gelohnt. Denn mit dem Beweis der Andrews-Robbins-Vermutung gelang es den Forschern, die letzte einer Reihe berühmter Vermutungen zu beweisen. Diese wurden im Jahr 1985 vom US-Mathematiker Richard Stanley auf einer historischen Konferenz in Montreal vorgestellt. Alle diese Vermutungen wurden in den folgenden Jahren bewiesen - bis auf die Andrews-Robbins-Vermutung. Dazu meint Dr. Kauers: "Als letzter verbleibender Eintrag in Stanleys Liste hat diese Vermutung viele bedeutende Experten und Expertinnen angezogen. Trotzdem blieb sie für fast 30 Jahre unbewiesen. Dass der Beweis schließlich mit einem automatischen Beweisverfahren gelungen ist, zeigt, dass moderne Computerprogramme mathematische Probleme knacken können, an denen traditionelle Mathematiker und Mathematikerinnen scheitern."

Zwar sind solche Erfolge bisher die Ausnahme, doch zeigt dieses FWF-Projekt das Potenzial einer computerbasierten Beweisführung. Vor dem Hintergrund des rasanten Fortschritts der Rechnerleistung werden Computer vielleicht eines Tages sogar Antworten zu den größten offenen Fragen der Mathematik liefern.

Originalpublikation: A proof of George Andrews` and David Robbins` q-TSPP conjecture. C. Koutschan, M. Kauers, D. Zeilberger. DOI: 10.1073/pnas.1019186108

Wissenschaftlicher Kontakt:
PD Dr. Manuel Kauers
Johannes Kepler Universität
Institut für Symbolisches Rechnen
Altenberger Straße 69
4040 Linz, Austria
T +43 / 732 / 2468 9958
E Manuel.Kauers@risc.jku.at
Der Wissenschaftsfonds FWF:
Mag. Stefan Bernhardt
Haus der Forschung
Sensengasse 1
1090 Wien
T +43 / 1 / 505 67 40 - 8111
E stefan.bernhardt@fwf.ac.at
Redaktion & Aussendung:
PR&D - Public Relations für Forschung & Bildung Mariannengasse 8 1090 Wien T +43 / 1 / 505 70 44 E contact@prd.at W http://www.prd.at

Jacqueline Bogdanovic | PR&D
Weitere Informationen:
http://www.fwf.ac.at

Weitere Nachrichten aus der Kategorie Interdisziplinäre Forschung:

nachricht Naturkatastrophen kosten Winzer jährlich Milliarden
26.04.2017 | Karlsruher Institut für Technologie

nachricht Bergamoten – Verlockung und Verhängnis für Tabakschwärmer
21.04.2017 | Max-Planck-Institut für chemische Ökologie

Alle Nachrichten aus der Kategorie: Interdisziplinäre Forschung >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Smart Wireless Solutions: EU-Großprojekt „DEWI“ liefert Innovationen für eine drahtlose Zukunft

58 europäische Industrie- und Forschungspartner aus 11 Ländern forschten unter der Leitung des VIRTUAL VEHICLE drei Jahre lang, um Europas führende Position im Bereich Embedded Systems und dem Internet of Things zu stärken. Die Ergebnisse von DEWI (Dependable Embedded Wireless Infrastructure) wurden heute in Graz präsentiert. Zu sehen war eine Fülle verschiedenster Anwendungen drahtloser Sensornetzwerke und drahtloser Kommunikation – von einer Forschungsrakete über Demonstratoren zur Gebäude-, Fahrzeug- oder Eisenbahntechnik bis hin zu einem voll vernetzten LKW.

Was vor wenigen Jahren noch nach Science-Fiction geklungen hätte, ist in seinem Ansatz bereits Wirklichkeit und wird in Zukunft selbstverständlicher Teil...

Im Focus: Weltweit einzigartiger Windkanal im Leipziger Wolkenlabor hat Betrieb aufgenommen

Am Leibniz-Institut für Troposphärenforschung (TROPOS) ist am Dienstag eine weltweit einzigartige Anlage in Betrieb genommen worden, mit der die Einflüsse von Turbulenzen auf Wolkenprozesse unter präzise einstellbaren Versuchsbedingungen untersucht werden können. Der neue Windkanal ist Teil des Leipziger Wolkenlabors, in dem seit 2006 verschiedenste Wolkenprozesse simuliert werden. Unter Laborbedingungen wurden z.B. das Entstehen und Gefrieren von Wolken nachgestellt. Wie stark Luftverwirbelungen diese Prozesse beeinflussen, konnte bisher noch nicht untersucht werden. Deshalb entstand in den letzten Jahren eine ergänzende Anlage für rund eine Million Euro.

Die von dieser Anlage zu erwarteten neuen Erkenntnisse sind wichtig für das Verständnis von Wetter und Klima, wie etwa die Bildung von Niederschlag und die...

Im Focus: Nanoskopie auf dem Chip: Mikroskopie in HD-Qualität

Neue Erfindung der Universitäten Bielefeld und Tromsø (Norwegen)

Physiker der Universität Bielefeld und der norwegischen Universität Tromsø haben einen Chip entwickelt, der super-auflösende Lichtmikroskopie, auch...

Im Focus: Löschbare Tinte für den 3-D-Druck

Im 3-D-Druckverfahren durch Direktes Laserschreiben können Mikrometer-große Strukturen mit genau definierten Eigenschaften geschrieben werden. Forscher des Karlsruher Institus für Technologie (KIT) haben ein Verfahren entwickelt, durch das sich die 3-D-Tinte für die Drucker wieder ‚wegwischen‘ lässt. Die bis zu hundert Nanometer kleinen Strukturen lassen sich dadurch wiederholt auflösen und neu schreiben - ein Nanometer entspricht einem millionstel Millimeter. Die Entwicklung eröffnet der 3-D-Fertigungstechnik vielfältige neue Anwendungen, zum Beispiel in der Biologie oder Materialentwicklung.

Beim Direkten Laserschreiben erzeugt ein computergesteuerter, fokussierter Laserstrahl in einem Fotolack wie ein Stift die Struktur. „Eine Tinte zu entwickeln,...

Im Focus: Leichtbau serientauglich machen

Immer mehr Autobauer setzen auf Karosserieteile aus kohlenstofffaserverstärktem Kunststoff (CFK). Dennoch müssen Fertigungs- und Reparaturkosten weiter gesenkt werden, um CFK kostengünstig nutzbar zu machen. Das Laser Zentrum Hannover e.V. (LZH) hat daher zusammen mit der Volkswagen AG und fünf weiteren Partnern im Projekt HolQueSt 3D Laserprozesse zum automatisierten Besäumen, Bohren und Reparieren von dreidimensionalen Bauteilen entwickelt.

Automatisiert ablaufende Bearbeitungsprozesse sind die Grundlage, um CFK-Bauteile endgültig in die Serienproduktion zu bringen. Ausgerichtet an einem...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

123. Internistenkongress: Traumata, Sprachbarrieren, Infektionen und Bürokratie – Herausforderungen

27.04.2017 | Veranstaltungen

Jenaer Akustik-Tag: Belastende Geräusche minimieren - für den Schutz des Gehörs

27.04.2017 | Veranstaltungen

Ballungsräume Europas

26.04.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

VLC 200 GT von EMAG: Neue passgenaue Dreh-Schleif-Lösung für die Bearbeitung von Pkw-Getrieberädern

27.04.2017 | Maschinenbau

Induktive Lötprozesse von eldec: Schneller, präziser und sparsamer verlöten

27.04.2017 | Maschinenbau

Smart Wireless Solutions: EU-Großprojekt „DEWI“ liefert Innovationen für eine drahtlose Zukunft

27.04.2017 | Informationstechnologie