Vojtěch Cvrček ist im Herbst 2013 als <a href="http://www.erasmusprogramme.com/">Erasmusstudent</a> von der <a href="https://www.cvut.cz/en">CTU in Prag</a> nach Karlsruhe ans KIT entsandt worden. Er hatte schon in der Grundschule Deutsch gelernt und wollte seine Sprachkenntnisse direkt in Deutschland verbessern. Deshalb wollte er auch ein ganzes Jahr bleiben (nicht nur ein Semester). Das bedeutete insbesondere, dass er die Einarbeitung in seine Masterarbeit schon in Karlsruhe beginnen müsste und deshalb ein Thema und ein Betreuerteam finden müsste, dass dies ermöglicht. Seine deutsche Wunschstadt war eigentlich Berlin - wegen der räumlichen Nähe zur Prag und weil ihm die Stadt gut gefiel. Leider gab es im Rahmen des Erasmusprogrammes aber keine Möglichkeit für ihn, dort sein Mathematikstudium fortzuführen. Infrage kamen dafür nur die TU Hamburg, TU Darmstadt und das KIT in Karlsruhe. Unter seinen Professoren und Mitstudenten in Prag war das KIT in Karlsruhe nicht gut bekannt, aber ein <a href="http://www.ksc.de/">ordentlicher Fußballverein</a> war in seinen Augen ein Pluspunkt für Karlsruhe. Nach der Entscheidung für Karlsruhe suchte er nach persönlichen Ansprechpartnern. Er fand die Projekte von <a href="http://www.math.kit.edu/ianm2/~krause/de">Matthias Krause</a> im Internet und ihn begeisterte insbesondere die dort vorgestellte Zusammenarbeit der Mathematik mit dem studentischen Projekt <a href="https://www.ka-raceing.de/">KAraceing</a>. Deshalb schrieb er Matthias Krause eine e-mail und stellte sich als künftiger Erasmusstudent vor, der den einen oder anderen Rat einholen wollen würde. Er fand ein offenes Ohr und geeignete Lehrveranstaltungen wurden entsprechend seinen Zielen für das Jahr in Karlsruhe zusammengestellt. Für die Zeit in Karlsruhe und darüber hinaus hatte er damit einen Mentor, der ihn schließlich auch in seine Arbeitsgruppe integriert hat. Vojtěch Cvrček wurde studentische Hilfskraft und unterstützte Matthias Krause zunächst in der Lehre bis er in der Lage war, das Softwareprojekt <a href="http://optilb.org/openlb/">OpenLB</a> mit weiter zu entwickeln. Die Gruppenmeetings des Teams um OpenLB gehörten selbstverständlich zu seiner Arbeit und der Austausch in der Gruppe war dadurch sehr intensiv. Deshalb sieht Vojtěch Cvrček das Jahr in Karlsruhe als das beste Jahr in seinem Studium an. Er hat hier sehr viel gelernt und tolle Unterstützung durch Mitstudierende gefunden. Als Vorlesungen entschied er sich für Mathematische Modellbildung und Simulation in der Praxis, Partielle Differentialgleichungen, das Projektorientierte Praktikum, Inverse Probleme und Paralleles Rechnen. Anschließend stand die Vorbereitung der Masterarbeit zum Thema Mischung von <a href="https://de.wikipedia.org/wiki/Newtonsches_Fluid">nichtnewtonschen Fluiden</a> im Vordergrund. Nichtnewtonsche Fluide finden sich überall, z.B. auch in der Medizin (hier vor allem das Fluid Blut). Seine Professor in Prag hat schon lange Beziehung zum Institut für experimentelle Medizin, deshalb war dieses Thema für beide Seiten (Karlsruhe und Prag) sehr interessant. Seine Vorkenntnisse und der Wunsch, die deutschen Sprache wirklich zu sprechen, erwiesen sich als Vorteil, weil Vojtěch Cvrček so leichter Kontakte knüpfen konnte zu den deutschen Studierenden und Mitarbeitern. Nach einer Anfangszeit mit einer Unterkunft am Stadtrand von Karlsruhe konnte er im Studentenwohnheim <a href="https://www.hadiko.de/">HaDiKo</a> (kurz für Hans-Dickmann-Kolleg) einziehen, was einem reichhaltiges sozialen Leben zur Folge hatte und auch vielen Kontakten zu nicht-Mathematikern. Nach erfolgreichem Abschluss des Studiums in Prag wollte er gern in Deutschland eine Arbeit als Ingenieur finden. Dafür hat er auch die Karrieremessen des KIT genutzt, um direkt Kontakt zu Firmen zu knüpfen. Das hat schließlich dazu geführt, dass er sogar die Wahl zwischen verschiedenen Angeboten hatte. Er wird nun als Mathematiker im Maschinenbau tätig sein in der Nähe von Karlsruhe. Referenzen: <ul><li> <a href="http://optilb.org/openlb/">OpenLB</a> Open source lattice Boltzmann code</li><li> I. Wayand: <a href="http://modellansatz.de/palo-alto">Palo Alto</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 106, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. </li><li> H. Wilson: <a href="http://modellansatz.de/viscoelastic-fluids">Viscoelastic Fluids</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 92, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. </li></ul>

Modellansatz

Modellansatz 107

Vojtěch Cvrček ist im Herbst 2013 als Erasmusstudent von der CTU in Prag nach Karlsruhe ans KIT entsandt worden. Er hatte schon in der Grundschule Deutsch gelernt und wollte seine Sprachkenntnisse direkt in Deutschland verbessern. Deshalb wollte er auch ein ganzes Jahr bleiben (nicht nur ein Semester). Das bedeutete insbesondere, dass er die Einarbeitung in seine Masterarbeit schon in Karlsruhe beginnen müsste und deshalb ein Thema und ein Betreuerteam finden müsste, dass dies ermöglicht. Seine deutsche Wunschstadt war eigentlich Berlin - wegen der räumlichen Nähe zur Prag und weil ihm die Stadt gut gefiel. Leider gab es im Rahmen des Erasmusprogrammes aber keine Möglichkeit für ihn, dort sein Mathematikstudium fortzuführen. Infrage kamen dafür nur die TU Hamburg, TU Darmstadt und das KIT in Karlsruhe. Unter seinen Professoren und Mitstudenten in Prag war das KIT in Karlsruhe nicht gut bekannt, aber ein ordentlicher Fußballverein war in seinen Augen ein Pluspunkt für Karlsruhe. Nach der Entscheidung für Karlsruhe suchte er nach persönlichen Ansprechpartnern. Er fand die Projekte von Matthias Krause im Internet und ihn begeisterte insbesondere die dort vorgestellte Zusammenarbeit der Mathematik mit dem studentischen Projekt KAraceing. Deshalb schrieb er Matthias Krause eine e-mail und stellte sich als künftiger Erasmusstudent vor, der den einen oder anderen Rat einholen wollen würde. Er fand ein offenes Ohr und geeignete Lehrveranstaltungen wurden entsprechend seinen Zielen für das Jahr in Karlsruhe zusammengestellt. Für die Zeit in Karlsruhe und darüber hinaus hatte er damit einen Mentor, der ihn schließlich auch in seine Arbeitsgruppe integriert hat. Vojtěch Cvrček wurde studentische Hilfskraft und unterstützte Matthias Krause zunächst in der Lehre bis er in der Lage war, das Softwareprojekt OpenLB mit weiter zu entwickeln. Die Gruppenmeetings des Teams um OpenLB gehörten selbstverständlich zu seiner Arbeit und der Austausch in der Gruppe war dadurch sehr intensiv. Deshalb sieht Vojtěch Cvrček das Jahr in Karlsruhe als das beste Jahr in seinem Studium an. Er hat hier sehr viel gelernt und tolle Unterstützung durch Mitstudierende gefunden. Als Vorlesungen entschied er sich für Mathematische Modellbildung und Simulation in der Praxis, Partielle Differentialgleichungen, das Projektorientierte Praktikum, Inverse Probleme und Paralleles Rechnen. Anschließend stand die Vorbereitung der Masterarbeit zum Thema Mischung von nichtnewtonschen Fluiden im Vordergrund. Nichtnewtonsche Fluide finden sich überall, z.B. auch in der Medizin (hier vor allem das Fluid Blut). Seine Professor in Prag hat schon lange Beziehung zum Institut für experimentelle Medizin, deshalb war dieses Thema für beide Seiten (Karlsruhe und Prag) sehr interessant. Seine Vorkenntnisse und der Wunsch, die deutschen Sprache wirklich zu sprechen, erwiesen sich als Vorteil, (...)

Erasmus

Isabell Wayand ist eine Studentin im <a href="http://www.math.kit.edu/lehre/seite/ma-math/de">Masterstudiengang Mathematik am KIT</a>. Sie hat an verschiedene Lehrveranstaltungen in der angewandten Mathematik teilgenommen, deren Dozentin Gudrun war. Anlass des Podcast-Gespräches war ein 6-monatiges Praktikum, dass Frau Wayand kürzlich bei der Firma <a href="https://de.wikipedia.org/wiki/Robert_Bosch_GmbH">Bosch</a> am Sitz in <a href="http://www.bosch.us/content/language1/html/rtc.htm">Palo Alto</a> im US-Bundesstaat Kalifornien absolviert hat. In der Arbeitsgruppe in der Frau Wayand beschäftigt war, wird Software entwickelt, die <a href="https://de.wikipedia.org/wiki/Einspritzanlage">Einspritzsysteme</a> simulieren kann, d.h. es geht um die Nachbildung komplizierter physikalischer Vorgänge in denen die Strömung eines Benzin bzw. Diesel-Luft-Gemisches und das erzeugte Spray in einer <a href="https://www.youtube.com/watch?v=4-RQerhzpyM">komplexen Geometrie</a> interagieren. Ihre Aufgabe bestand darin, die dort benutzte Implementierung von Zustandsgleichungen in der Strömungssimulation zu verbessern. Ein konkreter Teilaspekt dabei war, wie unter Kenntnis von Dichte und Temperatur der zugehörige Druck berechnet wird. Die vorhandene Implementierung sollte deutlich beschleunigt werden und die Fluid-Eigenschaften realistischer. Der hierfür gewählte Weg war schließlich, die Zustandsgleichung als Tabelle von Tripeln zu hinterlegen. Das führte auf Tabellen mit mehreren 100.000 bis einige Millionen abgespeicherten Zuständen (als Triple von Dichte, Temperatur und Druck). Selbst das ist noch nicht genau genug für alle Berechnungen, weshalb für Zwischenwerte noch interpoliert werden muss. Durch die großen Tabellen (bzw. die vielen hinterlegten Werte) sind die so zu überbrückenden Lücken jedoch klein genug, dass eine einfache <a href="https://de.wikipedia.org/wiki/Interpolation_(Mathematik)#Das_lineare_Interpolationsproblem">lineare Interpolation</a> ausreicht. Ein wichtiger Aspekt hierbei ist die Organisation der Tabellen, um einen schnellen Zugriff auf das richtige Datentripel zu gewährleisten. Die Wahl war schließlich ein <a href="https://de.wikipedia.org/wiki/Octree">Octree</a>, damit die Daten schnell gefunden werden können. Ein Grund sich für das Praktikum in Palo Alto zu bewerben, war Frau Wayands Wunsch im Studium schon Auslandserfahrung zu sammeln. Da sie ein Praktikum bei Bosch in Stuttgart mit guten Erfahrungen beendet hatte, kam es ihr sehr gelegen, dass es von dort die Beziehungen nach Palo Alto in die Themen der Strömungsrechnung gab. In Silikon Valley sind Arbeitsgruppen stets sehr international besetzt. In ihrer Gruppe waren es z.B. Mitarbeiter aus Indien, China, Korea und Frankreich, neben nur einem US-Amerikaner. So muss man natürlich kulturelle Unterschiede überbrücken. In Bezug auf die inhaltliche Arbeit war Frau Wayand sehr zufrieden. Sie bekam mehrfach Rückmeldung von ihrem Betreuer, nachdem sie ihren Arbeitsstand im Gruppen-Meeting vorgestellt hatte. Am Ende gab es ein Feedbackgespräch mit Personalabteilung und Betreuer (inkl. Arbeits-Zeugnis). Sie fühlte sich durch die Ausbildung in Karlsruhe gut auf die Aufgaben im Praktikum vorbereitet. Durch das Studentenbindungsprogramm bei Bosch wurde sie stark unterstützt. Das betraf finanzielle Hilfe als auch Hilfe bei den Formalitäten. Außerdem wurde in Palo Alto sogar eine Wohnung wurde gestellt, die sie mit einer anderen Praktikantin geteilt hat. Ihr Fazit nach der Herausforderung: Man sollte sich das durchaus zutrauen. <h1>Verwandte Podcast</h1> <ul><li> <a href="http://modellansatz.de/injektoren">C.Straub: Injektoren</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 8, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2013. <a href="http://modellansatz.de/injektoren">http://modellansatz.de/injektoren</a></li></ul>

Modellansatz 106

Isabell Wayand ist eine Studentin im Masterstudiengang Mathematik am KIT. Sie hat an verschiedene Lehrveranstaltungen in der angewandten Mathematik teilgenommen, deren Dozentin Gudrun war. Anlass des Podcast-Gespräches war ein 6-monatiges Praktikum, dass Frau Wayand kürzlich bei der Firma Bosch am Sitz in Palo Alto im US-Bundesstaat Kalifornien absolviert hat. In der Arbeitsgruppe in der Frau Wayand beschäftigt war, wird Software entwickelt, die Einspritzsysteme simulieren kann, d.h. es geht um die Nachbildung komplizierter physikalischer Vorgänge in denen die Strömung eines Benzin bzw. Diesel-Luft-Gemisches und das erzeugte Spray in einer komplexen Geometrie interagieren. Ihre Aufgabe bestand darin, die dort benutzte Implementierung von Zustandsgleichungen in der Strömungssimulation zu verbessern. Ein konkreter Teilaspekt dabei war, wie unter Kenntnis von Dichte und Temperatur der zugehörige Druck berechnet wird. Die vorhandene Implementierung sollte deutlich beschleunigt werden und die Fluid-Eigenschaften realistischer. Der hierfür gewählte Weg war schließlich, die Zustandsgleichung als Tabelle von Tripeln zu hinterlegen. Das führte auf Tabellen mit mehreren 100.000 bis einige Millionen abgespeicherten Zuständen (als Triple von Dichte, Temperatur und Druck). Selbst das ist noch nicht genau genug für alle Berechnungen, weshalb für Zwischenwerte noch interpoliert werden muss. Durch die großen Tabellen (bzw. die vielen hinterlegten Werte) sind die so zu überbrückenden Lücken jedoch klein genug, dass eine einfache lineare Interpolation ausreicht. Ein wichtiger Aspekt hierbei ist die Organisation der Tabellen, um einen schnellen Zugriff auf das richtige Datentripel zu gewährleisten. Die Wahl war schließlich ein Octree, damit die Daten schnell gefunden werden können. Ein Grund sich für das Praktikum in Palo Alto zu bewerben, war Frau Wayands Wunsch im Studium schon Auslandserfahrung zu sammeln. Da sie ein Praktikum bei Bosch in Stuttgart mit guten Erfahrungen beendet hatte, kam es ihr sehr gelegen, dass es von dort die Beziehungen nach Palo Alto in die Themen der Strömungsrechnung gab. In Silikon Valley sind Arbeitsgruppen stets sehr international besetzt. In ihrer Gruppe waren es z.B. Mitarbeiter aus Indien, China, Korea und Frankreich, neben nur einem US-Amerikaner. So muss man natürlich kulturelle Unterschiede überbrücken. In Bezug auf die inhaltliche Arbeit war Frau Wayand sehr zufrieden. Sie bekam mehrfach Rückmeldung von ihrem Betreuer, nachdem sie ihren Arbeitsstand im Gruppen-Meeting vorgestellt hatte. Am Ende gab es ein Feedbackgespräch mit Personalabteilung und Betreuer (inkl. Arbeits-Zeugnis). Sie fühlte sich durch die Ausbildung in Karlsruhe gut auf die Aufgaben im Praktikum vorbereitet. Durch das Studentenbindungsprogramm bei Bosch wurde sie stark unterstützt. Das betraf finanzielle Hilfe als auch Hilfe bei den Formalitäten. (...) Ihr Fazit nach der Herausforderung: Man sollte sich das durchaus zutrauen.

Palo Alto

Im Anschluss ihres <a href="https://de.wikipedia.org/wiki/Erasmus-Programm">Erasmus-Auslandsjahr</a> in Lyon hat sich <a href="https://twitter.com/sycramore">Alexandra Krause</a> als angehende Physikerin in den Bereich der Quanteninformatik vertieft. Dazu hat sie im Rahmen der <a href="http://gulas.ch/">Gulasch Programmiernacht (GPN16)</a> des <a href="https://entropia.de/Hauptseite">Entropia e.V.</a> in der <a href="https://www.hfg-karlsruhe.de/">Hochschule für Gestaltung</a> und dem <a href="http://zkm.de/">ZKM</a> in Karlsruhe über <a href="https://media.ccc.de/v/gpn16-7628-about_quantumness_and_quantum_speedup_in_d-wave_devices">Quantum Speedup (video)</a> vorgetragen und Zeit gefunden, uns auch im Podcast etwas über das Thema zu erzählen. Im Gegensatz zur <a href="https://de.wikipedia.org/wiki/Klassische_Physik">klassischen Physik</a> gelten in der <a href="https://de.wikipedia.org/wiki/Quantenmechanik">Quantenmechanik</a> eigene Regeln: So geht es hier um Teilchen in der Größenordnung von <a href="https://de.wikipedia.org/wiki/Atom">Atomen</a>, wo die Begriffe <a href="https://de.wikipedia.org/wiki/Materiewelle">Teilchen und Welle</a> verschwimmen und der <a href="https://de.wikipedia.org/wiki/Zustand_(Quantenmechanik)">quantenmechanische Zustand</a> unbeobachtet nur noch als <a href="https://de.wikipedia.org/wiki/Reiner_und_gemischter_Zustand">Zustandsgemisch</a> beschrieben werden kann. Genau diese Eigenschaft will man sich beim <a href="https://de.wikipedia.org/wiki/Quantencomputer">Quantencomputer</a> zu Nutze machen, wo gegenüber dem <a href="https://de.wikipedia.org/wiki/Quantencomputer">klassischen digitalen Computer</a>, der immer auf einzelnen festen Zuständen in <a href="https://de.wikipedia.org/wiki/Bit">Bits</a> mit <a href="https://de.wikipedia.org/wiki/Logikgatter">Logikgattern</a> rechnet, der Quantenrechner pro Schritt in <a href="https://de.wikipedia.org/wiki/Qubit">Qubits</a> auf <a href="https://de.wikipedia.org/wiki/Quantenparallelismus">allen Zuständen gleichzeitig operiert</a>. Das eigentliche Ergebnis erhält man dort erst bei der Messung, wodurch sich der reine Zustand des Quantensystems einstellt. Der <a href="https://de.wikipedia.org/wiki/Grover-Algorithmus">Grover-Algorithmus</a> ist eine bekannte Anwendung für einen Quantencomputer, der Datenbanken schneller als klassische Verfahren durchsuchen kann. Der <a href="https://de.wikipedia.org/wiki/Shor-Algorithmus">Shor-Algorithmus</a> kann hingegen mit einer <a href="https://de.wikipedia.org/wiki/Quanten-Fouriertransformation">Quanten-Fouriertransformation</a> in <a href="https://de.wikipedia.org/wiki/Polynomialzeit">polynomialer Zeit</a> Zahlen in ihre <a href="https://de.wikipedia.org/wiki/Faktorisierungsverfahren">Primfaktoren zerlegen</a> kann. Damit werden viele <a href="https://de.wikipedia.org/wiki/Asymmetrisches_Kryptosystem">assymetrische Kryptoverfahren</a> wie das <a href="https://de.wikipedia.org/wiki/RSA-Kryptosystem">RSA-Verfahren</a> obsolet, da sie auf der Schwierigkeit der klassischen Faktorisierung basieren. <a href="http://www.arxiv.org/abs/quant-ph/9508027">Shor hat in der gleichen Publikation</a> auch ein Verfahren zur effizienten Berechnung von <a href="https://de.wikipedia.org/wiki/Diskreter_Logarithmus">diskreten Logarithmen</a> auf Quantencomputern veröffentlicht, so dass auch <a href="https://de.wikipedia.org/wiki/Elliptic_Curve_Cryptography">Kryptoverfahren auf elliptischen Kurven</a> durch Quantencomputer gebrochen werden, die neben dem RSA-Verfahren Basis für viele <a href="https://de.wikipedia.org/wiki/Kryptow%C3%A4hrung">Kryptowährungen</a> sind. Zum jetzigen Zeitpunkt ist es der <a href="https://de.wikipedia.org/wiki/Experimentalphysik">Experimentalphysik</a> noch nicht gelungen, allgemeine Quantensysteme in einer Größe zu erschaffen, die für sinnvolle Anwendungen der Verfahren erforderlich wären. Die Schwierigkeit liegt darin, den <a href="https://en.wikipedia.org/wiki/Quantum_superposition">Quantenzustand</a> einzelner Qubits von der Umwelt abzukoppeln und nur für die Berechnung zu verwenden, wenn doch alles in der Umgebung in Bewegung ist. In der Größe weniger Qubits, die allgemeine Quantencomputer bisher erreichen konnten, wurden Zahlen wie 15 und 21 erfolgreich faktorisiert. Eine Hoffnung besteht hier auf dem <a href="https://de.wikipedia.org/wiki/Quantencomputer#Adiabatische_Quantencomputer">adiabatischen Quantencomputer</a> auf Basis <a href="https://de.wikipedia.org/wiki/Adiabatisches_Theorem_der_Quantenmechanik">adiabatischen Theorems</a>, der von der Firma <a href="https://de.wikipedia.org/wiki/D-Wave_Systems">D-Wave Systems</a> gebaut, und 2011 mit unvergleichlich vielen 128 Qubits auf den Markt gebracht wurde. Das Problem ist dabei, dass adiabatischen Quantencomputer im normalen Arbeitszustand keine universellen Quantencomputer sind, und hauptsächlich <a href="https://de.wikipedia.org/wiki/Optimierungsproblem">Optimierungsprobleme</a> lösen können. Universelle Quantencomputer können im <a href="https://de.wikipedia.org/wiki/Quantenschaltung">Circuit model</a> anschaulich jedes herkömmliches Programm abbilden: Jedes klassische Logik-Gatter kann durch Hinzufügen weiterer Ausgänge <a href="https://de.wikipedia.org/wiki/Reversibler_Prozess">reversibel</a> werden, und dann als eine <a href="https://de.wikipedia.org/wiki/Unit%C3%A4re_Abbildung">unitäre Abbildung oder Matrizen</a> im Quantencomputer realisiert werden. Unitäre Abbildungen sind <a href="https://de.wikipedia.org/wiki/Linearit%C3%A4t">lineare Abbildungen</a> mit der Eigenschaft, dass sie das komplexe <a href="https://de.wikipedia.org/wiki/Skalarprodukt">Skalarprodukt</a> zweier Vektoren nach der Abbildung erhalten, d.h. Vektoren behalten die gleiche Länge, und zwei Vektoren behalten den gleichen Winkel zueinander. Der Nachteil des <a href="https://de.wikipedia.org/wiki/Reversibles_Computing">reversiblen Ansatzes</a> ist jedoch, dass dafür womöglich viele Bits benötigt werden, wenn man die Abbildungen nicht zuvor zusammenfassen kann. Theoretisch kann der adiabatische Quantencomputer auch universell sein, nur ist dazu ideal eine ungestörte Umgebung Voraussetzung, was in Realität nicht erreicht werden kann. Es verbleiben Optimierungsprobleme, die über den <a href="https://de.wikipedia.org/wiki/Hamiltonoperator">Hamiltonoperator</a> abgebildet werden können: physikalische Prozesse möchten den energetisch niedrigsten Zustand zu erreichen. Ein Beispiel sind hier <a href="https://de.wikipedia.org/wiki/Minimalfl%C3%A4che">Minimalflächen</a>, wie sie von <a href="https://de.wikipedia.org/wiki/Seifenblase">Seifenhäuten und Seifenblasen</a> angenommen werden- und auch zum Bau des <a href="https://de.wikipedia.org/wiki/Seifenblase#Seifenblasen_in_der_Architektur">Olympiageländes in München</a> genutzt wurden. Im <a href="http://www.math.kit.edu/didaktik/page/schuelerlabor/de">Schülerlabor für Mathematik in Karlsruhe</a> kann man auch viele Experimente dazu durchführen. Wenn man ein Optimierungsproblem lösen möchte, so sind <a href="https://de.wikipedia.org/wiki/Extremwert">lokale Minima</a> ein Problem- in ihrer Umgebung erscheinen sie als Lösung, sie sind es jedoch insgesamt betrachtet nicht. Eine Möglichkeit die lokalen Minima zu umgehen ist das Verfahren des <a href="https://de.wikipedia.org/wiki/Simulated_Annealing">Simulated Annealing</a>. Hier wird durch externe Störquellen begünstigt, dass lokale Minima verlassen werden, um das globale Minimum zu erreichen. In Quantensystemen spielt hier beim <a href="https://en.wikipedia.org/wiki/Quantum_annealing">Quantum Annealing</a> zusätzlich der <a href="https://de.wikipedia.org/wiki/Tunneleffekt">Tunneleffekt</a> eine besondere Rolle, wodurch die Störung noch leichter von lokalen Minima hinweg streut. Dadurch ist das Quantum Annealing prinzipiell und aus der Theorie schneller- oder zumindest nicht langsamer- als das Simulated Annealing. Dabei ist das Quantum Annealing natürlich nur auf einem Quantencomputer effizient umsetzbar. Das ist dabei ein Beispiel für eine <a href="https://de.wikipedia.org/wiki/Quantensimulation">Quantensimulation</a> auf einem Quantencomputer in dem Forschungsfeld, das sich mit der Abbildung und Simulation von Quantensystemen befasst. Damit ist der adiabatische Quantencomputer auf eine kleinere Klasse von lösbaren Problemen beschränkt, jedoch soll er dieses mit einer erheblichen höheren Anzahl von Qubits durchführen können- zur Zeit der Aufnahme waren dies mit dem <a href="https://en.wikipedia.org/wiki/D-Wave_Two">D-Wave Two</a> etwa 512 Qubits. Die Frage, ob diese adiabatischen Quantencomputer mit dieser großen Anzahl von Qubits wirklich als Quantencomputer arbeiten, wurde wissenschaftlich diskutiert: Im Artikel <a href="http://arxiv.org/pdf/1304.4595">Evidence for quantum annealing with more than one hundred qubits</a> legen die Autoren dar, dass der betrachtete adiabatische Quantencomputer starke Anzeichen für die tatsächliche Umsetzung des Quantum Annealing zeigt. In wie weit jedoch nun eine quantenbedingte Beschleunigung feststellen ist, diskutieren T. Rønnow und Mitautoren in der Arbeit <a href="http://arxiv.org/pdf/1401.2910">Defining and detecting quantum speedup</a>. Sie erhielten das ernüchternde Ergebnis, dass eine Beschleunigung durch Nutzung des betrachteten Quantensystems nicht eindeutig nachgewiesen werden konnte. Dagegen argumentierten V. Denchev et al. in <a href="http://arxiv.org/pdf/1512.02206">What is the Computational Value of Finite Range Tunneling?</a>, dass eine 100'000'000-fache Beschleunigung mit hoher Wahrscheinlichkeit gegenüber einem Einprozessor-System nachgewiesen werden kann. Ein Problem bei der Analyse ist, dass die betrachteten Algorithmen für den Quantencomputer in den Bereich der <a href="https://de.wikipedia.org/wiki/Randomisierter_Algorithmus">probabilistischen Algorithmen</a> fallen, die Ergebnisse also eine Fehlerwahrscheinlichkeit besitzen, die durch mehrfache Ausführung verringert werden kann. In der Kryptographie werden <a href="https://de.wikipedia.org/wiki/Primzahltest#Probabilistische_Primzahltests">probabilistische Primzahltests</a> sehr häufig eingesetzt, die auch in diese Klasse der Algorithmen fallen. So wurde im ersten Paper das Verhalten des Quantencomputers in einer Vielzahl von Versuchen mit simulierten Algorithmen verglichen und mit hoher Wahrscheinlichkeit festgestellt, dass der D-Wave-Rechner tatsächlich den Quantum Annealing Algorithmus ausführt. <a href="https://dwave.files.wordpress.com/2009/10/20091022_d-wave_architecture.pdf">Über den D-Wave-Rechner ist bekannt</a>, dass die einzelnen Qubits durch <a href="https://en.wikipedia.org/wiki/Flux_qubit">supraleitende Ringe</a> abgebildet sind und die beiden Stromlaufrichtungen die superpositionierten Zustände darstellen. Die Kopplung zwischen Qubits und nach außen erfolgt durch Spulen, die über die entstehenden Magnetfelder mit den Strömen in den Ringen interagieren. Die Kopplung zwischen Qubits wird damit durch die parametrisierte Kopplung der Spulen realisiert. Für klassische Algorithmen und parallelisierte Computersysteme beschreibt der Begriff des <a href="https://de.wikipedia.org/wiki/Speedup">Speedup</a> die Effizienzsteigerung durch Nutzung einer erhöhten Parallelisierung. Je nach Algorithmus gibt es nach <a href="https://de.wikipedia.org/wiki/Amdahlsches_Gesetz">Amdahls Gesetz</a> logische Grenzen, wo weitere Parallelisierung keine Gewinn mehr erzielt. Entsprechend besteht der Wunsch den Begriff des Quantum Speedup analog zu definieren und nachzuweisen: Diesen Ansatz verfolgten T. Rønnow und Mitautoren und definierten verschiedene Klassen von Quantum Speedup, wobei der adiabatische D-Wave Quantencomputer für sie nur Anzeichen für ein potentielles Speed-up ergab. Das ist ein ernüchterndes Ergebnis, wobei die Autoren klar weiteren Forschungsbedarf sahen. Hier war das Paper von V. Denchev und Mitautoren eine große Überraschung, wo dem D-Wave 2X Rechner mit hoher Wahrscheinlichkeit eine Beschleunigung von 10^8 nachgesagt wurde. Neben den Annealing-Verfahren kam hier auch <a href="https://en.wikipedia.org/wiki/Quantum_Monte_Carlo">Quantum Monte Carlo</a> zum Einsatz. Im Ergebnis erhielten sie für die Annealing-Verfahren ein <a href="https://de.wikipedia.org/wiki/Asymptotische_Analyse">asymptotisches</a> Speed-Up, das sich für größere Problemstellungen einstellt, für Quantum Monte Carlo eine von der Problemgröße unabhängige Beschleunigung gegenüber einem klassischen Single-core Rechner. Diese Aussagen trafen aber schnell auf Widerstand und den Nachweis, dass <a href="http://www.scottaaronson.com/blog/?p=2555#comment-974407">ein im Paper betrachtetes Problem mit anderen Algorithmen teilweise auf einem klassischen Rechner vielfach schneller gelöst werden kann</a> als auf dem Quantencomputer. <h1>Literatur und weiterführende Informationen</h1> <ul><li> <a href="http://arxiv.org/pdf/1304.4595">S. Boixo, et al.: Evidence for quantum annealing with more than one hundred qubits</a>, Nature Physics 10.3: 218-224, 2014.</li><li> <a href="http://arxiv.org/pdf/1401.2910">T. Rønnow, et al.: Defining and detecting quantum speedup</a>, Science 345.6195: 420-424, 2014.</li><li> <a href="http://arxiv.org/pdf/1512.02206">V. Denchev, et al.: What is the Computational Value of Finite Range Tunneling?</a> arXiv preprint arXiv:1512.02206, 2015.</li><li> <a href="http://arxiv.org/pdf/0904.3784.pdf">R. Harris, R., et al.: Compound Josephson-junction coupler for flux qubits with minimal crosstalk</a>, Physical Review B 80.5: 052506, 2009.</li><li> <a href="http://modellansatz.de/digitale-waehrungen">S. Ritterbusch: Digitale Währungen</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 32, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2014. <a href="http://modellansatz.de/digitale-waehrungen">http://modellansatz.de/digitale-waehrungen</a></li><li> <a href="http://modellansatz.de/schuelerlabor">E. Dittrich: Schülerlabor</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 103, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/schuelerlabor">http://modellansatz.de/schuelerlabor</a></li><li> <a href="https://afra-berlin.de/dokuwiki/lib/exe/fetch.php?media=2013-12-13_post-quantum_crypto.pdf">Bernd Fix: Post-Quantum Krypto</a>, Afra-Berlin.de, Vortrag am 13.12.2013.</li><li> <a href="https://media.ccc.de/v/32c3-7282-fnord-jahresruckblick">F. Rieger, F. von Leitner: Fnord Jahresrückblick</a>, 32c3, Vortrag am 29.12.2015.</li><li> <a href="http://www.scottaaronson.com/blog/?p=2555">S. Aaronson: Google, D-Wave, and the case of the factor-10^8 speedup for WHAT?</a> Blog-Post mit Updates 16.5.2013-16.12.2015.</li><li> <a href="https://github.com/alex1770/myfirstqapsolver">Quantum Annealing Solver für den Laptop</a></li></ul>

Modellansatz 105

Im Anschluss ihres Erasmus-Auslandsjahr in Lyon hat sich Alexandra Krause als angehende Physikerin in den Bereich der Quanteninformatik vertieft. Dazu hat sie im Rahmen der Gulasch Programmiernacht (GPN16) des Entropia e.V. in der Hochschule für Gestaltung und dem ZKM in Karlsruhe über Quantum Speedup (video) vorgetragen und Zeit gefunden, uns auch im Podcast etwas über das Thema zu erzählen. Im Gegensatz zur klassischen Physik gelten in der Quantenmechanik eigene Regeln: So geht es hier um Teilchen in der Größenordnung von Atomen, wo die Begriffe Teilchen und Welle verschwimmen und der quantenmechanische Zustand unbeobachtet nur noch als Zustandsgemisch beschrieben werden kann. Genau diese Eigenschaft will man sich beim Quantencomputer zu Nutze machen, wo gegenüber dem klassischen digitalen Computer, der immer auf einzelnen festen Zuständen in Bits mit Logikgattern rechnet, der Quantenrechner pro Schritt in Qubits auf allen Zuständen gleichzeitig operiert. Das eigentliche Ergebnis erhält man dort erst bei der Messung, wodurch sich der reine Zustand des Quantensystems einstellt. Der Grover-Algorithmus ist eine bekannte Anwendung für einen Quantencomputer, der Datenbanken schneller als klassische Verfahren durchsuchen kann. Der Shor-Algorithmus kann hingegen mit einer Quanten-Fouriertransformation in polynomialer Zeit Zahlen in ihre Primfaktoren zerlegen kann. Damit werden viele assymetrische Kryptoverfahren wie das RSA-Verfahren obsolet, da sie auf der Schwierigkeit der klassischen Faktorisierung basieren. Shor hat in der gleichen Publikation auch ein Verfahren zur effizienten Berechnung von diskreten Logarithmen auf Quantencomputern veröffentlicht, so dass auch Kryptoverfahren auf elliptischen Kurven durch Quantencomputer gebrochen werden, die neben dem RSA-Verfahren Basis für viele Kryptowährungen sind. Zum jetzigen Zeitpunkt ist es der Experimentalphysik noch nicht gelungen, allgemeine Quantensysteme in einer Größe zu erschaffen, die für sinnvolle Anwendungen der Verfahren erforderlich wären. Die Schwierigkeit liegt darin, den Quantenzustand einzelner Qubits von der Umwelt abzukoppeln und nur für die Berechnung zu verwenden, wenn doch alles in der Umgebung in Bewegung ist. In der Größe weniger Qubits, die allgemeine Quantencomputer bisher erreichen konnten, wurden Zahlen wie 15 und 21 erfolgreich faktorisiert. Eine Hoffnung besteht hier auf dem adiabatischen Quantencomputer auf Basis adiabatischen Theorems, der von der Firma D-Wave Systems gebaut, und 2011 mit unvergleichlich vielen 128 Qubits auf den Markt gebracht wurde. Das Problem ist dabei, dass adiabatischen Quantencomputer im normalen Arbeitszustand keine universellen Quantencomputer sind, und hauptsächlich Optimierungsprobleme lösen können. Universelle Quantencomputer können im Circuit model anschaulich jedes herkömmliches Programm abbilden: (...)

Adiabatische Quantencomputer

Im Bundesland Baden-Württemberg (BW) ist die Ausbildung von Lehrerinnen und Lehrern für verschiedene Schulformen unterschiedlich geregelt. Für Lehrpersonen, die am Gymnasium Schülerinnen und Schüler bis zum Abitur begleiten wollen, ist die Ausbildung an den Universitäten vorgesehen, alle anderen erhalten ihre Ausbildung an den Pädagogischen Hochschulen (PH). Auch an unsere Fakultät kommen Studierende mit dem Ziel, später an Gymnasien Mathematik zu vermitteln. Es ist deshalb höchste Zeit, auch einmal über die <a href="http://www.math.kit.edu/lehre/seite/lehramt/">Lehramtsausbildung an unserer Fakultät</a> zu reden. <a href="http://www.math.kit.edu/ianmip/~kirsch/">Andreas Kirsch</a> begleitet die Organisation der Lehramtsstudiengänge schon viele Jahre und war deshalb Gudruns Wunsch-Gesprächspartner zu diesem Thema. Prinzipiell müssen Lehramtskandidaten mindestens zwei Fächer studieren, weshalb ihre Ausbildung (und ihr Abschluss) nur zum Teil in den Händen unserer Fakultät liegen kann. Generell ist der Lehramtsstudiengang deshalb auch durch eine Ordnung geregelt, die für das ganze KIT (alle Fakultäten) gilt und sich an klaren Vorgaben des <a href="https://de.wikipedia.org/wiki/Ministerium_f%C3%BCr_Kultus,_Jugend_und_Sport_Baden-W%C3%BCrttemberg">BW-Kultusministeriums</a> orientieren muss. Hier wird dann auch festgelegt, wie groß der Anteil von pädagogischen/psychologischen Veranstaltungen ist, der neben den beiden Fachstudien-Anteilen absolviert werden muss. Viele Jahrzehnte war die Gymnasial-Lehramts-Ausbildung in BW an den Universitäten so geregelt, dass in den ersten Jahren das Studium Diplom und Lehramt Mathematik quasi identisch waren - und das in zwei Fächern. Die Idee dahinter war, dass Personen, die das Bild von Mathematik in den Köpfen unserer Kinder prägen, selbst kompetente Mathematiker und darüber hinaus von ihrem Fach begeistert sind. Das Lehramtsstudium endete mit dem <a href="https://de.wikipedia.org/wiki/Staatsexamen#Erstes_Staatsexamen">ersten Staatsexamen</a> und wurde über eine anschließende Schulpraxis-orientierte Ausbildung im <a href="https://de.wikipedia.org/wiki/Lehramtsreferendariat">Referendariat</a> fortgesetzt, die mit dem <a href="https://de.wikipedia.org/wiki/Staatsexamen#Zweites_Staatsexamen">zweiten Staatsexamen</a> beendet wurde. Vor Ablegen des ersten Staatsexamens war auch das Anfertigen einer <a href="http://www.math.kit.edu/lehre/seite/lehramt-arbeit/">wissenschaftlichen Arbeit</a> in einem der Unterrichtsfächer oder in Pädagogik verpflichtend. Schon immer gehörte zur Lehramtsausbildung auch die Vermittlung von <a href="https://de.wikipedia.org/wiki/Didaktik">Didaktik</a> im Fach Mathematik. Da es in BW keine Professuren für Didaktik der Mathematik an den Universitäten gibt, wurden und werden für diese Veranstaltungen häufig Gastdozenten gewonnen. Seit 2008 änderte sich diese traditionelle Lehrerbildung an den Universitäten in BW Stück für Stück in verschiedenen Aspekten grundlegend. Zunächst wurde der Anteil der Fachdidaktik sehr stark erhöht (was zwangsläufig bedeutet, dass sich der wissenschaftliche Anteil im Faches verringerte, da das Studium nicht verlängert wurde) - inklusive eines verpflichtenden <a href="https://www.lehrer-online-bw.de/,Lde/Startseite/Schulpraktika/Schulpraxissemester+Gymnasium+gemaess+RVO_KM+von+2015">Praxis-Semesters</a> von 13 (inzwischen 12) Wochen an einer Schule. Mit Hilfe dieses Praktikums können angehende Lehrpersonen rechtzeitig ausprobieren, ob der Schulalltag "etwas für sie ist". Etwas später wurden die Lehrinhalte in sogenannte Module gegliedert, die in der Regel schon im Verlauf des Studiums (nach Absolvieren des Moduls) geprüft werden. Damit wurde die Rolle des ersten Staatsexamens gründlich verändert. Seit dem Studienbeginn im Wintersemester 2015/16 ist der <a href="http://www.math.kit.edu/lehre/seite/lehramt-bama/">Studiengang aufgeteilt</a> in einen ersten Teil, dem Bachelor of Education, und einen zweiten Teil,der zum Abschluss Master of Education führt. Der Masterabschluss hat dabei das erste Staatsexamen vollständig abgelöst. Wenn man heute den wissenschaftlichen Mathematik-Anteil des Studiums Lehramt Mathematik anschaut, ist er etwa so hoch wie in den Bachelor-Studiengängen Mathematik. In Karlsruhe haben wir einige dieser Veränderungen in der Lehramts-Ausbildung dadurch aufgefangen, dass die <a href="http://www.math.kit.edu/didaktik/">Abteilung für Didaktik</a> vergrößert wurde und sehr erfinderisch neuartige fachdidaktische Angebote entwickelte (und entwickelt), die nicht nur den Studierenden etwas bringen. In enger Zusammenarbeit mit den Schulen in Karlsruhe und dem <a href="http://www.math.kit.edu/didaktik/seite/schuelerlabor/">Schülerlabor</a> können bei uns angehende Lehrpersonen z.B. mit <a href="http://www.math.kit.edu/didaktik/seite/mathe-kids/">besonders interessierten Schülern</a> arbeiten oder anhand von Projekten im Schülerlabor Unterricht in sehr unterschiedlichen Formen entwickeln und erproben. Es wurden außerdem einige <a href="http://www.math.kit.edu/vvz/#Didaktik">speziell für die Lehramtsstudierenden</a> konzipierte Vorlesungen eingeführt. <a href="http://www.math.kit.edu/ianmip/~kirsch/">Andreas Kirsch</a> ist seit vielen Jahren als Professor an der Fakultät für Mathematik in Karlsruhe tätig. Zu den Aufgaben der von ihm geleiteten <a href="http://www.math.kit.edu/ianmip/">Arbeitsgruppe</a> gehört die <a href="http://www.math.kit.edu/ianmip/seite/lehrehm/de">Mathematikausbildung</a> von Maschinenbauern, Bauingenieuren, Verfahrenstechnikern und den angehenden Ingenieuren in verwandten Gebieten. Sein mathematisches Spezialgebiet sind <a href="https://de.wikipedia.org/wiki/Inverses_Problem">inverse Probleme</a>. Das ist ein sehr <a href="http://www.math.kit.edu/ianmip/seite/forschungsgebiete/de">komplexes Gebiet zwischen Analysis und Numerik</a> mit vielen Anwendungen. Einige dieser Anwendungen waren auch schon Gesprächsthema in unserem Podcast: <ul><li> <a href="http://www.math.kit.edu/ianm4/seite/ma-unsichtbarkeit/de">Unsichtbarkeit</a>, </li><li> <a href="http://www.math.kit.edu/ianm4/seite/ma-erdoelsuche/de">Erdölsuche</a>,</li><li> <a href="http://www.math.kit.edu/ianm4/seite/ma-erdbeben">Erdbeben und Optimale Versuchsplanung</a>,</li><li> <a href="http://www.math.kit.edu/ianm4/page/ma-splitting-waves/en">Splitting Waves</a>. </li></ul> <h1>Literatur und weiterführende Informationen</h1> <ul><li> Antworten auf <a href="http://www.math.kit.edu/lehre/seite/lehramt-faq/de">oft gestellte Fragen</a> rund ums Lehramtsstudium in Karlsruhe</li><li> <a href="http://www.math.kit.edu/lehre/seite/lehramt-beratung/">Studienberatung</a> am KIT und in der Fakultät zum Lehramtsstudium</li><li> <a href="http://www.hoc.kit.edu/lehrerbildung.php">Zentrum für Lehrerbildung</a> am KIT</li><li> <a href="https://www.lehrer-online-bw.de/,Lde/Startseite">Lehrer online in BW</a></li><li> <a href="http://www.schule-bw.de/aktuelles/">Landes Bildungsserver BW</a></li></ul>

Modellansatz 104

Im Bundesland Baden-Württemberg (BW) ist die Ausbildung von Lehrerinnen und Lehrern für verschiedene Schulformen unterschiedlich geregelt. Für Lehrpersonen, die am Gymnasium Schülerinnen und Schüler bis zum Abitur begleiten wollen, ist die Ausbildung an den Universitäten vorgesehen, alle anderen erhalten ihre Ausbildung an den Pädagogischen Hochschulen (PH). Auch an unsere Fakultät kommen Studierende mit dem Ziel, später an Gymnasien Mathematik zu vermitteln. Es ist deshalb höchste Zeit, auch einmal über die Lehramtsausbildung an unserer Fakultät zu reden. Andreas Kirsch begleitet die Organisation der Lehramtsstudiengänge schon viele Jahre und war deshalb Gudruns Wunsch-Gesprächspartner zu diesem Thema. Prinzipiell müssen Lehramtskandidaten mindestens zwei Fächer studieren, weshalb ihre Ausbildung (und ihr Abschluss) nur zum Teil in den Händen unserer Fakultät liegen kann. Generell ist der Lehramtsstudiengang deshalb auch durch eine Ordnung geregelt, die für das ganze KIT (alle Fakultäten) gilt und sich an klaren Vorgaben des BW-Kultusministeriums orientieren muss. Hier wird dann auch festgelegt, wie groß der Anteil von pädagogischen/psychologischen Veranstaltungen ist, der neben den beiden Fachstudien-Anteilen absolviert werden muss. Viele Jahrzehnte war die Gymnasial-Lehramts-Ausbildung in BW an den Universitäten so geregelt, dass in den ersten Jahren das Studium Diplom und Lehramt Mathematik quasi identisch waren - und das in zwei Fächern. Die Idee dahinter war, dass Personen, die das Bild von Mathematik in den Köpfen unserer Kinder prägen, selbst kompetente Mathematiker und darüber hinaus von ihrem Fach begeistert sind. Das Lehramtsstudium endete mit dem ersten Staatsexamen und wurde über eine anschließende Schulpraxis-orientierte Ausbildung im Referendariat fortgesetzt, die mit dem zweiten Staatsexamen beendet wurde. Vor Ablegen des ersten Staatsexamens war auch das Anfertigen einer wissenschaftlichen Arbeit in einem der Unterrichtsfächer oder in Pädagogik verpflichtend. Schon immer gehörte zur Lehramtsausbildung auch die Vermittlung von Didaktik im Fach Mathematik. Da es in BW keine Professuren für Didaktik der Mathematik an den Universitäten gibt, wurden und werden für diese Veranstaltungen häufig Gastdozenten gewonnen. Seit 2008 änderte sich diese traditionelle Lehrerbildung an den Universitäten in BW Stück für Stück in verschiedenen Aspekten grundlegend. Zunächst wurde der Anteil der Fachdidaktik sehr stark erhöht (was zwangsläufig bedeutet, dass sich der wissenschaftliche Anteil im Faches verringerte, da das Studium nicht verlängert wurde) - inklusive eines verpflichtenden Praxis-Semesters von 13 (inzwischen 12) Wochen an einer Schule. Mit Hilfe dieses Praktikums können angehende Lehrpersonen rechtzeitig ausprobieren, ob der Schulalltag "etwas für sie ist". Etwas später wurden die Lehrinhalte in sogenannte Module gegliedert, die in der Regel schon im Verlauf des Studiums (nach Absolvieren des Moduls) geprüft werden. (...)

Lehramtsausbildung

<a href="http://www.math.kit.edu/didaktik/~dittrich/">Ernestina Dittrich</a> ist Studiendirektorin und hat Mathematik, Physik und Informatik am Gymnasium unterrichtet. Sie arbeitete außerdem am <a href="http://www.gym.seminar-karlsruhe.de/,Lde/Startseite">Studienseminar</a> in Karlsruhe, ist Fachberaterin am Regierungspräsidium Karlsruhe und wurde 2005 an unsere Fakultät geholt, um die <a href="http://www.math.kit.edu/didaktik/">Abteilung für Didaktik</a> zu verstärken und neue Ideen zu verwirklichen. Dieses Jahr geht sie in den Ruhestand und so wurde es höchste Zeit, ein Gespräch über das <a href="http://www.math.kit.edu/didaktik/seite/schuelerlabor/">Schülerlabor Mathematik</a> und die Entwicklung bis heute zu führen. Frau Dittrich hatte sich schon lange vor ihrem Wechsel an unsere Fakultät mit der Idee getragen, dass wie in der Physik auch in der Mathematik Experimente den Stoff auf neuartige Weise zugänglich machen könnten. Ist das Schulfach Mathematik meist polarisierend also entweder Horror- oder Lieblingsfach so stünde doch ein entdeckender und spielerischer Zugang ohne Formeln allen gleichermaßen offen. Das wurde nun seit 2005 an unserer Fakultät Stück für Stück verwirklicht. Insgesamt wurden 90 mathematische Experimente zusammengetragen. Es war das erste seiner Art in Baden Württemberg und lange Zeit auch das einzige. Von der 3.-12. Klasse sind Schülerinnen und Schüler aller Schulformen oder auch Lehrergruppen bzw. Referendare vom Studienseminar und Lehramtsstudierende willkommen. An je einem Freitag Nachmittag im Monat steht die Tür sogar für alle interessierten offen. Darüber hinaus gehen Exponate auch auf Reisen, z.B. zur Kinderuni, zum Wissenschaftsfestival <a href="http://www.effekte-karlsruhe.de/home/">EFFEKTE</a> im Schlosspark oder zu anderen Wissenschaftsfesten wie im Luisenpark in Mannheim oder im Europapark Rust. Die weiteste Reise führte bisher zum <a href="http://www.abudhabisciencefestival.ae/">Science Festival nach Abu Dhabi</a>. Das Schülerlabor wird sehr gut angenommen. Schon über 1000 Schulklassen haben es besucht. In der Regel dauert eine Veranstaltung 90 min. Am Anfang steht eine Einführung in drei wichtige Experimente - dann dürfen sich alle frei bewegen. Für Fragen gibt es stets Betreuung durch Mitarbeiterinnen der Abteilung für Didaktik. Die Lehrpersonen der Schulklassen sind außerdem mit dabei. Alle Versuche sind kurz und knapp beschrieben und es gibt einen Kasten mit Tipps, wenn man allein einfach nicht weiterkommt. Natürlich geht es dabei meist lebhaft zu: Die Schülerinnen und Schüler unterhalten sich über Lösungsversuche, es gibt Jubelgeschreie, wenn etwas geklappt hat und an einigen Stationen müssen sich die Kinder auch bewegen, um die Aufgaben zu lösen. Nachdem das Labor für die ersten Jahre sein Domizil in der Hertzstraße hatte, ist es nun seit dem Umzug der Fakultät ins renovierte Kollegiengebäude Mathematik endlich auch für alle Mitarbeiter und Gäste der Fakultät sichtbar und spürbar, welche Arbeit hier stattfindet. Im Unterschied zu ähnlichen Angeboten in Museen ist die Zusammenstellung der Experimente und Exponate didaktisch nach verschiedenen Aspekten durchdacht. Z.B. gibt es viele verschiedenartige Angebote rings um das Thema <a href="https://de.wikipedia.org/wiki/Platonischer_K%C3%B6rper">platonische Körper</a> (inkl. eines Workshops). Während des Gespräches wurden folgende <a href="http://www.math.kit.edu/didaktik/seite/experimente/">Exponate</a> angesprochen: <ul><li> Die Unendlichkeit (realisiert mit Spiegeln)</li><li> Ich bin eine Funktion (ein Bewegungsspiel)</li><li> Glockenkurve (Normalverteilung als Grenzprozess für Bernoulli-Experimente) </li><li> Minimalhäute (Seifenhäute um Gestelle aus platonischen Körpern)</li></ul> Der Besuch im Schülerlabor ist kostenlos. Die Einrichtung und die nötigen Mitarbeiterstellen wurden bisher vor allem von der <a href="https://www.hector-stiftung.de/">Hector Stiftung</a> gefördert. Inzwischen gibt es von der Abteilung für Didaktik noch eine ganze Anzahl weiterer Angebote, die zum Teil auch das Schülerlabor nutzen. So ist das Labor ein Lehr-Lern-Labor in der Ausbildung der Lehramtsstudierenden, d.h. die Experimente werden in der Fachdidaktik-Ausbildung verwendet, um didaktische Konzepte für die Umsetzung der mathematischen Sachverhalte und Kompetenzen im Unterricht zu entwickeln. Es gibt bisher <a href="http://www.math.kit.edu/didaktik/seite/workshops/">15 Workshops für verschiedene Altersstufen</a> (Dauer je 90 min), die Schulklassen und andere Gruppen buchen können. Die sogenannten <a href="http://www.math.kit.edu/didaktik/seite/mathe-kids/">Mathekids (7./8. Klasse) und Matheprofis (9./10. Klasse)</a> sind ein Schuljahr lang jede Woche für 90 min in der Fakultät, um im Rahmen der Begabtenförderung Workshops zu erleben. Diese werden von zwei erfahrenen Lehrkräften und von Lehramtsstudierenden gehalten. Die Studierenden gewinnen Praxiserfahrung während ihrer Fachdidaktikausbildung. Die Kinder entwickeln durch kleine Forschungsaufträge dabei auch neue Workshops selbst. Für zwei dieser Projekte haben die Gruppen sogar einen Preis für junge Forscher - den sogenannten <a href="http://www.karlsruhe.de/b1/stadtmarketing/presse/pressemeldungen/oskarlgoesto.de/">OsKarl</a> gewonnen. <h1>Literatur und weiterführende Informationen</h1> <ul><li> Alle <a href="http://www.kit.edu/kit/1545.php">Schülerlabore am KIT</a></li><li> <a href="http://www.kit.edu/kit/8693.php">Begabtenförderung am KIT</a></li><li> Fotos vom <a href="https://www.flickr.com/photos/57872032@N06/albums/72157651723843010">girls' day 2015</a> im Schülerlabor</li></ul>

Modellansatz 103

Ernestina Dittrich ist Studiendirektorin und hat Mathematik, Physik und Informatik am Gymnasium unterrichtet. Sie arbeitete außerdem am Studienseminar in Karlsruhe, ist Fachberaterin am Regierungspräsidium Karlsruhe und wurde 2005 an unsere Fakultät geholt, um die Abteilung für Didaktik zu verstärken und neue Ideen zu verwirklichen. Dieses Jahr geht sie in den Ruhestand und so wurde es höchste Zeit, ein Gespräch über das Schülerlabor Mathematik und die Entwicklung bis heute zu führen. Frau Dittrich hatte sich schon lange vor ihrem Wechsel an unsere Fakultät mit der Idee getragen, dass wie in der Physik auch in der Mathematik Experimente den Stoff auf neuartige Weise zugänglich machen könnten. Ist das Schulfach Mathematik meist polarisierend also entweder Horror- oder Lieblingsfach so stünde doch ein entdeckender und spielerischer Zugang ohne Formeln allen gleichermaßen offen. Das wurde nun seit 2005 an unserer Fakultät Stück für Stück verwirklicht. Insgesamt wurden 90 mathematische Experimente zusammengetragen. Es war das erste seiner Art in Baden Württemberg und lange Zeit auch das einzige. Von der 3.-12. Klasse sind Schülerinnen und Schüler aller Schulformen oder auch Lehrergruppen bzw. Referendare vom Studienseminar und Lehramtsstudierende willkommen. An je einem Freitag Nachmittag im Monat steht die Tür sogar für alle interessierten offen. Darüber hinaus gehen Exponate auch auf Reisen, z.B. zur Kinderuni, zum Wissenschaftsfestival EFFEKTE im Schlosspark oder zu anderen Wissenschaftsfesten wie im Luisenpark in Mannheim oder im Europapark Rust. Die weiteste Reise führte bisher zum Science Festival nach Abu Dhabi. Das Schülerlabor wird sehr gut angenommen. Schon über 1000 Schulklassen haben es besucht. In der Regel dauert eine Veranstaltung 90 min. Am Anfang steht eine Einführung in drei wichtige Experimente - dann dürfen sich alle frei bewegen. Für Fragen gibt es stets Betreuung durch Mitarbeiterinnen der Abteilung für Didaktik. Die Lehrpersonen der Schulklassen sind außerdem mit dabei. Alle Versuche sind kurz und knapp beschrieben und es gibt einen Kasten mit Tipps, wenn man allein einfach nicht weiterkommt. Natürlich geht es dabei meist lebhaft zu: Die Schülerinnen und Schüler unterhalten sich über Lösungsversuche, es gibt Jubelgeschreie, wenn etwas geklappt hat und an einigen Stationen müssen sich die Kinder auch bewegen, um die Aufgaben zu lösen. Nachdem das Labor für die ersten Jahre sein Domizil in der Hertzstraße hatte, ist es nun seit dem Umzug der Fakultät ins renovierte Kollegiengebäude Mathematik endlich auch für alle Mitarbeiter und Gäste der Fakultät sichtbar und spürbar, welche Arbeit hier stattfindet. Im Unterschied zu ähnlichen Angeboten in Museen ist die Zusammenstellung der Experimente und Exponate didaktisch nach verschiedenen Aspekten durchdacht. Z.B. gibt es viele verschiedenartige Angebote rings um das Thema platonische Körper (inkl. eines Workshops). (...)

Schülerlabor

<a href="http://www.math.kit.edu/iag2/~schwer/">Petra Schwer</a> ist seit Oktober 2014 <a href="https://de.wikipedia.org/wiki/Juniorprofessur">Juniorprofessorin</a> an unserer <a href="http://www.math.kit.edu/">Fakultät</a>. Sie arbeitet im <a href="http://www.math.kit.edu/iag/">Institut für Algebra und Geometrie</a> in der <a href="http://www.math.kit.edu/iag2">Arbeitsgruppe Metrische Geometrie</a>. Ab Oktober 2016 startet in diesem Institut ein neues <a href="https://de.wikipedia.org/wiki/Graduiertenkolleg">Graduiertenkolleg</a> mit dem Titel <a href="http://www.groups-and-spaces.kit.edu/">Asymptotic Invariants and Limits of Groups and Spaces</a> und Petra Schwer freut sich darauf, dort viele mit ihrer Begeisterung anstecken zu können. Ihr Weg in die Algebra war nicht ganz direkt: Sie hat zunächst <a href="https://www.uni-ulm.de/einrichtungen/vischnu/wirtschaftsmathematik.html">Wirtschaftsmathematik in Ulm</a> studiert. Ein Wechsel an die <a href="https://de.wikipedia.org/wiki/Rheinische_Friedrich-Wilhelms-Universit%C3%A4t_Bonn">Uni Bonn</a> ebnete den Weg ins etwas abstraktere Fahrwasser. Zwei Ausflüge in die Industrie (zwischen Diplom und Promotionszeit und in der Postdoc-Phase) haben ihre Entscheidung für die akademische Mathematik bekräftigt. Im Gegensatz zur <a href="https://de.wikipedia.org/wiki/Differentialgeometrie">Differentialgeometrie</a>, die von Ihrem Ursprung her auf analytischen Methoden und Methoden der <a href="https://de.wikipedia.org/wiki/Differentialrechnung">Differentialrechnung</a> (wie zum Beispiel des Ableitens) beruht, untersucht die Metrische Geometrie <a href="https://de.wikipedia.org/wiki/Metrischer_Raum">Mengen mit Abstandsfunktion</a>. Darunter fallen auch die klassischen Riemannschen Geometrien, aber auch viel allgemeinere geometrische Strukturen, wie zum Beispiel Gruppen oder Graphen. Eine Metrik ist nichts anderers als eine Funktion, die einen <a href="https://de.wikipedia.org/wiki/Abstand">Abstand</a> zwischen zwei Punkten definiert. Die <a href="https://de.wikipedia.org/wiki/Euklidische_Geometrie">Euklidische Geometrie</a> (in zwei bzw. drei Dimensionen) ist sicher allen aus der Schule bekannt. Sie ist ein Beispiel eines Geometriemodells in der metrischen Geometrie. <a href="https://de.wikipedia.org/wiki/Euklid">Euklid</a> versuchte erstmals Geometrie von Ihren Grundbausteinen her zu beschreiben. Er hat sich gefragt: Was ist ein Punkt? Was ist eine Gerade? Wie lässt sich der Abstand eines Punktes zu einer Geraden definieren? Schließlich stellte er eine Liste von grundlegenden Objekten sowie deren Eigenschaften und Beziehungen auf (Axiome genannt) die eine Geometrie erfüllen soll. Diese Axiome sind dabei die Eigenschaften, die sich nicht aus anderen ableiten lassen, also nicht beweisbar sind. Eines dieser Axiome besagte, dass durch einen festen Punkt genau eine Gerade parallel zu einer vorgegebenen anderen Geraden verläuft. Es entbrannte ein Jahrhunderte dauernder Streit darüber, ob sich dieses <a href="https://de.wikipedia.org/wiki/Parallelenaxiom">Parallelenaxiom</a> aus den anderen aufgestellten Axiomen ableiten lässt, oder ob man diese Eigenschaft als Axiom fordern muss. Sehr viel später wurde klar, dass der Streit durchaus einen wichtigen und tief liegenden Aspekt unserer Anschauungsgeometrie berührte. Denn es wurden gleich mehrere Mengen (mit Abstandsfunktion) entdeckt, in denen diese Eigenschaft nicht gilt. Deshalb nannte man die Geometrien, in denen das Parallelenaxiom nicht gilt nichteuklidische Geometrien. Ein sehr nahe liegendes Beispiele für nichteuklidische Strukturen ist z.B. die Kugel-Oberfläche (damit auch unsere Erdoberfläche) wo die euklidische Geometrie nicht funktioniert. In der Ebene ist der traditionelle Abstand zwischen zwei Punkten die Länge der Strecke, die beide Punkte verbindet. Das lässt sich im Prinzip auf der Kugeloberfläche imitieren, indem man einen Faden zwischen zwei Punkten spannt, dessen Länge dann anschließend am Lineal gemessen wird. Spannt man den Faden aber "falschrum" um die Kugel ist die so beschriebene Strecke aber nicht unbedingt die kürzeste Verbindung zwischen den beiden Punkten. Es gibt aber neben der klassischen Abstandsmessung verschiedene andere sinnvolle Methoden, einen Abstand in der Ebene zu definieren. In unserem Gespräch nennen wir als Beispiel die Pariser Metrik (oder auch <a href="https://de.wikipedia.org/wiki/Soci%C3%A9t%C3%A9_Nationale_des_Chemins_de_fer_Fran%C3%A7ais">SNCF</a> oder <a href="https://de.wikipedia.org/wiki/Franz%C3%B6sische_Eisenbahnmetrik">Eisenbahnmetrik</a>). Der Name beschreibt, dass man im französischen Schnellzugliniennetz nur mit umsteigen in Paris (sozusagen dem Nullpunkt oder Zentrum des Systems) von Ort A nach Ort B kommt. Für den Abstand von A nach B müssen also zwei Abstände addiert werden, weil man von A nach Paris und dann von Paris nach B fährt. Das verleiht der Ebene eine Baumstruktur. Das ist nicht nur für <a href="https://de.wikipedia.org/wiki/TGV">TGV</a>-Reisende wichtig, sondern gut geeignet, um über Ordnung zu reden. Ebenso sinnvoll ist z.B. auch die sogenannte Bergsteiger-Metrik, die nicht allein die Distanz berücksichtigt, sondern auch den Aufwand (bergauf vs. bergab). Damit ist sie aber in den relevanten Fällen sogar asymmetrisch. D.h. von A nach X ist es "weiter" als von X nach A, wenn X oben auf dem Berg ist und A im Tal. Analog ist es wenn man mit dem Boot oder schwimmend mit bzw. gegen die Strömung oder den Wind unterwegs ist. Dann misst man besser statt der räumlichen Distanz die Kraft bzw. Energie, die man für den jeweiligen Weg braucht. Für Karlsruher interessant ist sicher auch die KVV-Metrik, die wie folgt beschrieben wird: Um den Abstand von einem Punkt A zu einem anderen Punkt B der Ebene zu messen, läuft man von A und B senkrecht zur x-Achse (und trifft diese in Punkten A', bzw B') und addiert zu diesen beiden Abständen den Abstand von A' zu B'. Anschaulich gesprochen muss man also immer erst von A zur Kaiserstrasse, ein Stück die Kaiserstraße entlang und dann zu B. Eben so, wie die KVV ihre Strecken plant. Zwischen einer Ebene und z.B. der Kugeloberfläche gibt es einfach zu verstehende und doch wichtige geometrische Unterschiede. Eine Strecke in der Ebene läßt sich z.B. in zwei Richtungen unendlich weit fortsetzen. Auf der Kugeloberfläche kommt nach einer Umrundung der Kugel die Verlängerung der Strecke an dem Punkt wieder an, wo man die Konstruktion begonnen hat. D.h. insbesondere, dass Punkte auf einer Kugeloberfläche nicht beliebig weit voneinander entfernt sein können. Es gibt außerdem genau einen Punkt, der genau gegenüber liegt und unendlich (!) viele kürzeste Wege dorthin (in jeder Richtung einen). Verblüffend ist dabei auch: So verschieden sich Ebene und Kugeloberfläche verhalten, in einer fußläufigen Umgebung jedes Punktes fühlt sich die Erdoberfläche für uns wie ein Ausschnitt der Ebene an. Mathematisch würde man sagen, dass sich eine Kugel lokal (also in einer sehr kleinen Umgebung) um einen Punkt genauso verhält, wie eine Ebene lokal um einen Punkt. Die Krümmung oder Rundung der Kugel ist dabei nicht spürbar. Versucht man die gesamte Kugel auf einer ebenen Fläche darzustellen, wie zum Beispiel für eine Weltkarte, so kann dies nur gelingen, wenn man Abstände verzerrt. Für unsere ebenen Darstellungen der Erdkugel als Landkarte muss man also immer im Hinterkopf behalten, dass diese (zum Teil stark) verzerrt sind, d.h. Längen, Winkel und Flächen durch die ebene Darstellung verändert werden. Ein wichtiges Konzept zur Unterscheidung von (z.B.) Ebene und Kugeloberfläche ist die eben schon erwähnte <a href="https://de.wikipedia.org/wiki/Kr%C3%BCmmung">Krümmung</a>. Es gibt verschiedene Definitionen - insbesondere, wenn man Flächen eingebettet im dreidimensionalen Raum untersucht. Dabei hat ein flachgestrichenes Blatt Papier keine Krümmung - eine Kugeloberfläche ist gekrümmt. Um das formal zu untersuchen, werden <a href="https://de.wikipedia.org/wiki/Tangentialebene">Tangentialflächen</a> an Punkte auf der Oberfläche angelegt. In einer kleinen Umgebung des Berührpunktes wird die Abweichung der Tangentialebene von der Oberfläche betrachtet. Bei der Kugel liegt die Kugeloberfläche immer auf einer Seite von der Tangentialebene. Das muss nicht so sein. Die Tangentialfläche kann z.B. in einem <a href="https://de.wikipedia.org/wiki/Sattelpunkt">Sattelpunkt</a> die zu untersuchende Fläche durchdringen - d.h. in unterschiedliche Richtungen ist die Krümmung entweder positiv oder negativ. Man braucht aber eigentlich gar keine Tangentialflächen, denn auch Winkelsummen verraten uns etwas über die Krümmung. In der Ebene ergeben die drei Innenwinkel jedes Dreiecks zusammen addiert immer 180 Grad. Auf der Kugel, also auf einer gekrümmten Fläche, sind es immer mehr als 180 Grad. Legt man zum Beispiel einen Punkt in den Nordpol und zwei weitere so auf den Äquator, dass die Verbindungsstrecken zum Nordpol einen Winkel von 90 Grad einschließen, so hat das entstehende Dreieck eine Winkelsumme von 270 Grad. Etwas komplexer ist die Situation bezüglich Krümmung auf einem <a href="https://de.wikipedia.org/wiki/Torus">Torus</a> (der sieht aus wie ein Schwimmreifen oder Donut). Betrachtet man das lokale Krümmungsverhalten in Punkten auf der Donut-/Torusoberfläche ist sie außen so gekrümmt wie eine Kugel, innen sieht sie aber aus wie eine Sattelfläche. Es läßt sich aber auch ein abstraktes Modell des Torus konstruieren, das genauso flach, wie die euklidische Ebene ist. Dazu wähle in der Ebene ein Quadrat mit fester Seitenlänge und klebe gedanklich die gegenüberliegenden Seiten (also oben und unten, sowie links mit rechts) zusammen. Man erhält so ein "periodisches" Quadrat: Wenn man auf einer Seite hinauswandert, kommt man gegenüber an der gleichen Stelle wieder in das Quadrat hinein. Dieses Objekt ist topologisch ebenfalls ein Torus, hat aber, weil das Quadrat Teil der Ebene ist, Krümmung 0. <h1>Literatur und weiterführende Informationen</h1> <ul><li> <a href="https://www.amazon.de/Anschauliche-Geometrie-David-Hilbert/dp/3540590692">D. Hilbert, S. Cohn-Vossen: Anschauliche Geometrie</a>, eine sehr schöne, (in weiten Teilen) auch mit wenig mathematischen Vorkenntnissen gut verständliche Einführung in viele verschiedene Bereiche der Geometrie.</li><li> <a href="http://bookstore.ams.org/gsm-33">D. Burago, Y. Burago, S. Ivanov: A Course in Metric Geometry</a>, eines der Standardlehrbücher über metrische Geometrie.</li><li> <a href="http://aleph0.clarku.edu/~djoyce/java/elements/elements.html">Euklid, Elemente</a>, Digitale Version der 5 Bücher von Euklid.</li><li> <a href="http://www.springer.com/us/book/9780817645823">Gromov: Metric Structures for Riemannian and Non-Riemannian Spaces</a>. Das "grüne Buch" - Kursnotizen einer Vorlesung von Gromov, die später in Buchform gebracht wurden.</li></ul>

Modellansatz 102

Petra Schwer ist seit Oktober 2014 Juniorprofessorin an unserer Fakultät. Sie arbeitet im Institut für Algebra und Geometrie in der Arbeitsgruppe Metrische Geometrie. Ab Oktober 2016 startet in diesem Institut ein neues Graduiertenkolleg mit dem Titel Asymptotic Invariants and Limits of Groups and Spaces und Petra Schwer freut sich darauf, dort viele mit ihrer Begeisterung anstecken zu können. Ihr Weg in die Algebra war nicht ganz direkt: Sie hat zunächst Wirtschaftsmathematik in Ulm studiert. Ein Wechsel an die Uni Bonn ebnete den Weg ins etwas abstraktere Fahrwasser. Zwei Ausflüge in die Industrie (zwischen Diplom und Promotionszeit und in der Postdoc-Phase) haben ihre Entscheidung für die akademische Mathematik bekräftigt. Im Gegensatz zur Differentialgeometrie, die von Ihrem Ursprung her auf analytischen Methoden und Methoden der Differentialrechnung (wie zum Beispiel des Ableitens) beruht, untersucht die Metrische Geometrie Mengen mit Abstandsfunktion. Darunter fallen auch die klassischen Riemannschen Geometrien, aber auch viel allgemeinere geometrische Strukturen, wie zum Beispiel Gruppen oder Graphen. Eine Metrik ist nichts anderers als eine Funktion, die einen Abstand zwischen zwei Punkten definiert. Die Euklidische Geometrie (in zwei bzw. drei Dimensionen) ist sicher allen aus der Schule bekannt. Sie ist ein Beispiel eines Geometriemodells in der metrischen Geometrie. Euklid versuchte erstmals Geometrie von Ihren Grundbausteinen her zu beschreiben. Er hat sich gefragt: Was ist ein Punkt? Was ist eine Gerade? Wie lässt sich der Abstand eines Punktes zu einer Geraden definieren? Schließlich stellte er eine Liste von grundlegenden Objekten sowie deren Eigenschaften und Beziehungen auf (Axiome genannt) die eine Geometrie erfüllen soll. Diese Axiome sind dabei die Eigenschaften, die sich nicht aus anderen ableiten lassen, also nicht beweisbar sind. Eines dieser Axiome besagte, dass durch einen festen Punkt genau eine Gerade parallel zu einer vorgegebenen anderen Geraden verläuft. Es entbrannte ein Jahrhunderte dauernder Streit darüber, ob sich dieses Parallelenaxiom aus den anderen aufgestellten Axiomen ableiten lässt, oder ob man diese Eigenschaft als Axiom fordern muss. Sehr viel später wurde klar, dass der Streit durchaus einen wichtigen und tief liegenden Aspekt unserer Anschauungsgeometrie berührte. Denn es wurden gleich mehrere Mengen (mit Abstandsfunktion) entdeckt, in denen diese Eigenschaft nicht gilt. Deshalb nannte man die Geometrien, in denen das Parallelenaxiom nicht gilt nichteuklidische Geometrien. Ein sehr nahe liegendes Beispiele für nichteuklidische Strukturen ist z.B. die Kugel-Oberfläche (damit auch unsere Erdoberfläche) wo die euklidische Geometrie nicht funktioniert. (...)

Metrische Geometrie

<a href="http://www.spatial-management-science.org/">Sven Müller</a> ist <a href="http://www.hs-karlsruhe.de/fakultaeten/informationsmanagement-und-medien/personen/einzelansicht.html?tx_pthskaadmin_feuser%5BfeUser%5D=1309246&amp;tx_pthskaadmin_feuser%5Baction%5D=show&amp;tx_pthskaadmin_feuser%5Bcontroller%5D=FeUser&amp;cHash=10de1dc16fb35baf4c95048f16d30b68">Professor für Verkehrsbetriebswirtschaft</a> im Studiengang Verkehrssystemmanagement an der <a href="http://www.hs-karlsruhe.de/home.html">HTW</a> hier in Karlsruhe. Im Rahmen seiner Promotion an der <a href="https://tu-dresden.de/">TU Dresden</a> in der Gruppe von <a href="https://www.bwl.uni-hamburg.de/vw/team/prof-knut-haase.html">Knut Haase</a> begann er der Frage nachzugehen, welche Faktoren die Verkehrsmittelwahl für den Schulweg beeinflussen. Hintergrund dieser Frage war, dass zu der Zeit in Dresden die Schließung von Schulstandorten heiß diskutiert wurde. Die Notwendigkeit von Schulschließungen war dabei nicht umstritten, jedoch welche konkrete Variante die für alle beste Lösung darstellen würde. Hier war die Diskussion emotional stark aufgeladen, d.h. ein Modell, das bei der Planung des Schulnetzes für objektive Informationen sorgt, wäre ganz besonders hilfreich. Am besten mit klaren Empfehlungen für optimale Lösungen in Bezug auf Schulwege und deren Kosten. Der naheliegende und auch herkömmliche Indikator für so ein Modell ist eine Distanzminimierung. Dadurch lassen sich objektive Aussagen zu minimalen Transportkosten für die Schüler ermitteln. Jedoch stellte sich schnell heraus, dass verlässliche Aussagen dazu fehlten, welche Verkehrsmittel die Schüler anteilig wählen und wieso. Ebenso welche Schulen die Schüler selbst wählen würden und wieso. Deshalb war ein wichtiger Ausgangspunkt für das Forschungsthema eine sehr groß angelegte Schüler-Befragung, die von den Studierenden im Rahmen eines Seminares geplant und durchgeführt wurde. Durch das große Engagement war die Stichprobe schließlich sehr groß. Es wurden dabei Fragebögen in fast allen Schulen verteilt und die Ergebnisse in einer selbst konzipierten Datenbank gesammelt - gut aufbereitet für eine anschließende Auswertung und Optimierung. So war es möglich, aus diesen Daten Prognosen zur Verkehrsmittelwahl in Abhängigkeit von Distanz und Verkehrsmitteloptionen zu erstellen und über verschiedene Schließungsszenarien eine optimale Verteilung der Schulen (in Bezug auf Kosten für die Stadt) zu ermitteln. All das floß auch in die Promotion von Sven Müller ein. Als wichtiges Problem für die mathematische Behandlung der Optimierung erwies sich, dass die Optimierungslösung auf die Daten zurückwirkt. Das führt auf ein dynamisches Problem, das mit herkömmlichen Methoden nicht behandelt werden kann. Auch bei der ÖPNV-Planung von optimierten Liniennetzen tritt das Problem auf: Kürzere Reisezeiten und mehr Direktverbindungen führen z.B. zu einem höheren Fahrgastaufkommen. Mathematisch ausgedrückt heißt das die Nebenbedingungen werden dynamisch und das Problem wird in der Regel nichtlinear. Betriebliche Problemstellungen haben oft ein ähnliches Problem, d.h. die Daten bleiben nicht fix sondern sind abhängig von der gefundenen Lösung. Ein wichtiges Teilergebnis des Forschungsvorhabens von Sven Müller ist eine exakte lineare Reformulierung für das ursprünglich nicht-lineare Optimierungsmodell. Ein weiteres grundsätzliches Problem ist, dass die <a href="https://de.wikipedia.org/wiki/Nutzenfunktion">Nutzenfunktion</a> hinreichend genau beobachtet werden müsste. Ideal wäre es, wenn nur noch <a href="https://de.wikipedia.org/wiki/Wei%C3%9Fes_Rauschen">weißes Rauschen</a> im Störterm berücksichtigt werden muss, d.h. alle zufälligen Anteile sind wirklich nur zufällig und unverbunden mit den beobachteten Daten. Das ist in der Realität leider nicht möglich und so führen nicht beobachtete Anteile zu Kovarianzen im Modell, die nicht null sind. Anders ausgedrückt, ist der stochastische Anteil nicht nur weißes Rauschen. Nebenbei gewann er noch einige andere Erkenntnisse. Z.B. ist es für die Prognose der Fahrradnutzung nicht ausreichend, die Distanz als Maß zu nehmen, da es bergauf- bzw. bergab gehen kann und das für die Entscheidung mindestens ebenso wichtig ist wie die Entfernung. Dieser Frage geht er zur Zeit auch mit seinen Studierenden im Studiengang Verkehrssystemmanagement an der HTW nach. Zwei weitere Themen, an denen Sven Müller zur Zeit arbeitet, weil sich gute Anknüpfungspunkte aus den eben geschilderten neuen Optimierungsstrategien bieten, sind z.B. die Versorgungsplanung in der Medizin und die Planung der Pilgerströme in Mekka. Genauer gesagt geht es bei der Versorgungsplanung um Vorsorgeprogramme (Prävention). Durch eine hohe Attraktivität des Angebots soll erreicht werden, das möglichst viele Patienten freiwillig teilnehmen. Auch hier ist die gute Erreichbarkeit der Ärzte wichtig, aber auch ihre Attraktivität. Es gilt abzuwägen, wie viele Ärzte an dem Präventionsprogramm mit welcher Kapazität teilnehmen sollen. Einerseits aus Kostengründen natürlich möglichst wenige. Aber andererseits ist gerade die kurze Wartezeit auf einen Termin ein Garant dafür, dass der Termin auch wahrgenommen wird. Somit führt die Optimierung wieder auf ein dynamisches Problem. Viele Standorte führen zu kurzen Wegen und weniger "no shows". Aber viele Untersuchungen bei einem Arzt stärken seine Kompetenz - verlängern aber die zu erwartende Wartezeit. Leider führt das außerdem auf ein <a href="https://de.wikipedia.org/wiki/Optimalit%C3%A4tskriterium">nicht konvexes Optimierungsproblem</a>, d.h. die Existenz von Optima folgt nicht mit traditionellen Methoden (bei denen ist Konvexität eine zentrale Voraussetzung). In Mekka sind während einer reicht kurzen Zeit etwa 2-5 Millionen Pilger unterwegs, um Rituale durchzuführen wie die Umkreisung der <a href="https://de.wikipedia.org/wiki/Kaaba">Kaaba</a> und die symbolische Steinigung des Teufels an drei Säulen. Um das Risiko von Zwischenfällen, bei denen <a href="https://www.tagesschau.de/ausland/mekka-massenpanik-105.html">in der Vergangenheit schon hunderte von Todesopfern</a> zu beklagen waren, zu senken, wird das Verhalten der Pilger modelliert in Bezug auf Geschwindigkeit und Dichte. Anschließend werden rund 2 Millionen Pilger, Routen zugewiesen, die so berechnet sind, dass alle Routen möglichst kreuzungsfrei sind. Weiterhin erhalten die Pilger fest zugewiesene Steinigungszeiten, so dass die erwarteten Dichten möglichst unkritisch sind. Der Einfluss von bestimmten Fehlern, wie z.B. falsch gesetzte Zäune oder falsch interpretierte Anweisungen kann dabei nicht völlig ausgeschlossen werden und wird als Risikofaktor in der Auslastung der Routen berücksichtigt. Die Studierenden im Studiengang Verkehrssystemmanagement an der Hochschule Karlsruhe - Wirtschaft und Technik sind hier an forderster Forschungsfront dabei. Z.B. mit <a href="https://www.youtube.com/watch?v=G4qx0z5_qUo">Experimenten zu Fußgänger-Verhalten</a>. Denn auch hier ist eine gute Datenlage der Schlüssel zum Erfolg. <h1>Literatur und weiterführende Informationen</h1><ul><li> <a href="http://www.sciencedirect.com/science/article/pii/S0966692307001305">S. Müller e.a.: Travel-to-school mode choice modelling and patterns of school choice in urban areas</a>, Journal of Transport Geography 16 (2008) 342–357</li><li> <a href="http://link.springer.com/article/10.1007%2Fs00548-010-0130-4?LI=true">S. Müller: Bildungsstandorte und demographischer Wandel</a>, STANDORT 34 (2010) 6–10</li><li> <a href="http://onlinelibrary.wiley.com/doi/10.1111/j.1538-4632.2011.00836.x/abstract">S. Müller e.a: Exposing Unobserved Spatial Similarity: Evidence from German School Choice Data</a>, Geographical Analysis 44 (2012) 65–86 </li><li> <a href="http://www.sciencedirect.com/science/article/pii/S0305048312002034">K. Haase, S. Müller: Management of school locations allowing for free school choice</a>, Omega 41 (2013) 847–855</li><li> <a href="http://link.springer.com/article/10.1007%2Fs00291-014-0367-6"> K. Haase, S. Müller: Insights into clients’ choice in preventive health care facility location planning </a>, OR Spectrum 37 (2015) 273-291</li><li> <a href="http://pubsonline.informs.org/doi/abs/10.1287/inte.2015.0833?journalCode=inte"> K. Haase e.a.: Improving Pilgrim Safety During the Hajj: An Analytical and Operational Research Approach</a> Interfaces 46 (2016) 74-90</li></ul>

Modellansatz 101

Sven Müller ist Professor für Verkehrsbetriebswirtschaft im Studiengang Verkehrssystemmanagement an der HTW hier in Karlsruhe. Im Rahmen seiner Promotion an der TU Dresden in der Gruppe von Knut Haase begann er der Frage nachzugehen, welche Faktoren die Verkehrsmittelwahl für den Schulweg beeinflussen. Hintergrund dieser Frage war, dass zu der Zeit in Dresden die Schließung von Schulstandorten heiß diskutiert wurde. Die Notwendigkeit von Schulschließungen war dabei nicht umstritten, jedoch welche konkrete Variante die für alle beste Lösung darstellen würde. Hier war die Diskussion emotional stark aufgeladen, d.h. ein Modell, das bei der Planung des Schulnetzes für objektive Informationen sorgt, wäre ganz besonders hilfreich. Am besten mit klaren Empfehlungen für optimale Lösungen in Bezug auf Schulwege und deren Kosten. Der naheliegende und auch herkömmliche Indikator für so ein Modell ist eine Distanzminimierung. Dadurch lassen sich objektive Aussagen zu minimalen Transportkosten für die Schüler ermitteln. Jedoch stellte sich schnell heraus, dass verlässliche Aussagen dazu fehlten, welche Verkehrsmittel die Schüler anteilig wählen und wieso. Ebenso welche Schulen die Schüler selbst wählen würden und wieso. Deshalb war ein wichtiger Ausgangspunkt für das Forschungsthema eine sehr groß angelegte Schüler-Befragung, die von den Studierenden im Rahmen eines Seminares geplant und durchgeführt wurde. Durch das große Engagement war die Stichprobe schließlich sehr groß. Es wurden dabei Fragebögen in fast allen Schulen verteilt und die Ergebnisse in einer selbst konzipierten Datenbank gesammelt - gut aufbereitet für eine anschließende Auswertung und Optimierung. So war es möglich, aus diesen Daten Prognosen zur Verkehrsmittelwahl in Abhängigkeit von Distanz und Verkehrsmitteloptionen zu erstellen und über verschiedene Schließungsszenarien eine optimale Verteilung der Schulen (in Bezug auf Kosten für die Stadt) zu ermitteln. All das floß auch in die Promotion von Sven Müller ein. Als wichtiges Problem für die mathematische Behandlung der Optimierung erwies sich, dass die Optimierungslösung auf die Daten zurückwirkt. Das führt auf ein dynamisches Problem, das mit herkömmlichen Methoden nicht behandelt werden kann. Auch bei der ÖPNV-Planung von optimierten Liniennetzen tritt das Problem auf: Kürzere Reisezeiten und mehr Direktverbindungen führen z.B. zu einem höheren Fahrgastaufkommen. Mathematisch ausgedrückt heißt das die Nebenbedingungen werden dynamisch und das Problem wird in der Regel nichtlinear. Betriebliche Problemstellungen haben oft ein ähnliches Problem, d.h. die Daten bleiben nicht fix sondern sind abhängig von der gefundenen Lösung. Ein wichtiges Teilergebnis des Forschungsvorhabens von Sven Müller ist eine exakte lineare Reformulierung für das ursprünglich nicht-lineare Optimierungsmodell. (...)

Schulwegoptimierung

Zur 100. Folge haben sich <a href="http://www.math.kit.edu/ianm2/~thaeter/de">Gudrun</a> und <a href="http://www.math.kit.edu/ianm4/~ritterbusch/de">Sebastian</a> bei Gudrun getroffen, um sich zum Jubiläum einfach mal in Ruhe über den Podcast, den Ursprung, was wir so erlebten und was vor uns liegt. Für Sebastian öffnete die <a href="http://raumzeit-podcast.de/2012/05/11/rz037-tandem-x/">Raumzeit-Folge zu Tandem-X</a> die Augen, wieviel wissenschaftlicher Inhalt in einem Podcast übertragen werden kann. Schnell war Gudrun begeistert und nahm mit Sebastian die <a href="http://modellansatz.de/modellbildung">erste Folge zu ihrer Vorlesung über mathematische Modellbildung</a> auf. Nach zwei weiteren Aufnahmen zur <a href="http://modellansatz.de/aorta-challenge">Aorta-Challenge</a> und zur <a href="http://modellansatz.de/unsichtbarkeit">Unsichtbarkeit</a> machten wir unsere ersten Versuche öffentlich. Schon früh stellte sich heraus, dass uns die Themen zur Mathematik nicht schnell ausgehen, da es so viele Abschlussarbeiten, Forschungsthemen und Vorlesungen gibt, die jeweils auch noch unter unterschiedlichen Sichtweisen betrachtet werden können. <a href="https://storify.com/modellansatz/der-anfang">Im Storify sieht man, wie wir schon früh vielseitig unterstützt wurden</a> und unsere Hörerzahl stieg schnell an: <img class="imgcenter" src="http://modellansatz.de/startgraph.jpg" alt="" title="" /> Ein besonderer Unterstützer war dabei <a href="https://twitter.com/henningkrause">Henning Krause</a>, der uns eine Grußbotschaft sendete und ganz besonders die <a href="http://modellansatz.de/qwirkle-gruppe">Qwirkle-Folge</a> schätzt. Einen weiteren Gruß sandte uns <a href="https://twitter.com/kaleimai?lang=de">Katrin Leinweber</a> vom <a href="http://konscience.de/">KonScience Podcast</a>. Weitere Grüße erreichten uns aus Kanada von <a href="http://www.math.toronto.edu/anja/">Anja Randecker</a> aus unserer Folge zu <a href="http://modellansatz.de/wilde-singularitaeten">Wilden Singularitäten</a>, die nun in Toronto als Post-Doc weiter zu Translationsflächen forscht. Sehr haben wir uns auch über die Grüße aus dem Grünen von <a href="https://twitter.com/martinruetzler">Martin Rützler</a> gefreut, der selbst im <a href="http://www.radiomono.net/">Radio Mono Podcast</a>, im <a href="http://www.uni-wh.de/universitaet/die-uwh-stellt-sich-vor/im-podcast/">DKG-Podcast</a> und im <a href="http://sendegarten.de/">Sendegarten</a> regelmäßig zu hören ist, die <a href="http://www.radiomono.net/category/ganzohr/">deutschen GanzOhr-Wissenschaftspodcast-Treffen</a> initiierte und die <a href="http://wissenschaftspodcasts.de/">Wissenschaftspodcasts-Seite</a> mit begründete. Neben Gesprächen über Vorlesungen, wie zur <a href="http://modellansatz.de/analysis">Analysis</a>, <a href="http://modellansatz.de/hoehere-mathematik">Höhere Mathematik</a> oder <a href="http://modellansatz.de/digitale-waehrungen">Digitale Währungen</a>, hat nun Gudrun auch eine Vorlesung aufgenommen: Den <a href="http://www.math.kit.edu/ianm2/~thaeter/seite/verkehrsmodellierung/de">Schnupperkurs zur Verkehrsmodellierung</a>, der jeweils auf viele Gespräche im Podcast verweist. Bei Konscience gibt es interessante Konzepte zur <a href="http://www.konscience.de/archiv/recorded-talks/">Verknüpfung von Vortrag und Podcast</a>, die auch auf Vorlesungen angewendet werden könnten. Ganz besondere Grüße erreichten uns von <a href="https://twitter.com/lorenzadlung?lang=de">Lorenz Adlung</a>, den wir in der Folge 39 zur <a href="http://modellansatz.de/systembiologie">Systembiologie</a> im Podcast hatten. Lorenz ist auch ein begnadeter Science-Slammer, wie auch <a href="https://www.iam.kit.edu/cms/Mitarbeiter_august.php">Anastasia August</a> aus unserer Folge 37 zum <a href="http://modellansatz.de/metallschaum">Metallschaum</a>. Sie ist weiterhin als Mathematikerin am <a href="http://www.iam.kit.edu/cms/index.php">Institut für Angewandte Materialien</a>, wo sie aktuell an Gradierten Schäumen und Magischen Schäumen forscht und ein Graduiertenkolleg vorbereitet. Sebastian hat die Folge 98 zu <a href="http://modellansatz.de/primzahlen-gruppen">Primzahlen und Gruppen</a> sehr gefallen, wo Rebecca Waldecker den Einstieg in die Algebra und Zahlentheorie sehr anschaulich beschrieben hat. Besonders spannend sind auch Themen, die inzwischen zu Ausgründungen geführt haben: <a href="https://twitter.com/markusdahlem?lang=de">Markus Dahlem</a> in <a href="http://www.m-sense.de/">M-Sense</a> mit dem Thema <a href="http://modellansatz.de/migraene">Migräne</a>, <a href="https://mab.blt.kit.edu/21_544.php">Tobias Hahn</a> mit der <a href="http://modellansatz.de/chromatographie">Chromatographie</a>, sowie <a href="http://nuberisim.de/fppg.html">Carlos Falquez, Iris Pantle und Balazs Pritz</a> zu <a href="http://modellansatz.de/stroemungslaerm">Strömungslärm</a>. Im Zuge des <a href="http://www.waves.kit.edu/deutsch/">SFB zu Wellenphänomenen</a> haben wir auch ein Special zum <a href="http://modellansatz.de/cooking-math">Cooking Math Projekt</a> durchgeführt, wo durch Gespräche die vielseitigen Kunstobjekte zur Mathematik dargestellt werden. Ein persönliches Special war für uns aber auch die <a href="http://modellansatz.de/nullnummer">Nullnummer</a> in Folge 73, die wir mit <a href="http://neleheise.de/">Nele Heise</a> aufnehmen konnten. Ebenso haben wir uns sehr über die Grüße von <a href="https://twitter.com/melaniebartos?lang=de">Melanie Bartos</a> gefreut, die mit ihrem Podcast <a href="https://www.uibk.ac.at/podcast/zeit/">Zeit für Wissenschaft</a> immer wieder über spannende wissenschaftliche Themen aus der Uni Insbruck berichtet. Natürlich haben uns auch <a href="https://twitter.com/ardenthistorian">Annika Brockschmidt</a> und <a href="https://twitter.com/ardentphysicist">Dennis Schulz</a> vom <a href="http://www.sciencepie.org/">Science Pie Podcast</a> aus Heidelberg einen wunderschönen Gruß gesendet, und auch Nora Ludewig und <a href="https://twitter.com/markusvoelter?lang=de">Markus Völter</a> vom <a href="http://omegataupodcast.net">Omega Tau Podcast</a> schlossen sich mit einer lieben Botschaft an. Und wir freuen uns die beiden im Oktober beim <a href="https://sendegate.de/t/ganzohr2016-planung-treffen-der-wissen-schaft-spodcaster-m-w/2504">GanzOhr2016-Treffen</a> der Wissenschaftspodcasts wieder zu sehen. Unsere Audiodaten laufen inzwischen durch die <a href="http://ospac.net/">Open Source Podcast Audio Chain (OSPAC)</a>. Einen Einblick kann man im <a href="https://www.youtube.com/watch?v=YL9ftMqcbxk">Vortrag zu OSPAC auf der Subscribe7</a> oder dem erweiterten <a href="https://media.ccc.de/v/gpn16-7675-ospac">Vortrag zu OSPAC auf der GPN16</a> erhalten, und auch <a href="https://github.com/sritterbusch/ospac/blob/master/Ligo.md">LIGO-Rohdaten</a> auswerten. Informationen zum <a href="https://sendegate.de/t/podcasting-mit-usb-audio-interface-am-iphone-oder-ipad/1577?u=sebastian">Aufnehmen von Podcasts mit dem iPhone</a> habe ich auf dem Sendegate hinterlegt. Spannend waren auch die <a href="http://modellansatz.de/graphs/">Podcast Nachbarschafts-Graphen</a>, die nun auch eine neue Fortsetzung auf dem <a href="http://fyyd.de/">FYYD Podcast-Verzeichnis</a>. Wir haben einige Überraschungen in den bisher beliebtesten Folgen und am längesten gehörten Folgen im Modellansatz- welches dies sind, muss man sich beim Interesse im Podcast anhören.

Modellansatz 100

Zur 100. Folge haben sich Gudrun und Sebastian getroffen, um sich zum Jubiläum einfach mal in Ruhe über den Podcast, den Ursprung, was wir so erlebten und was vor uns liegt. Für Sebastian öffnete die Raumzeit-Folge zu Tandem-X die Augen, wieviel wissenschaftlicher Inhalt in einem Podcast übertragen werden kann. Schnell war Gudrun begeistert und nahm mit Sebastian die erste Folge zu ihrer Vorlesung über mathematische Modellbildung auf. Nach zwei weiteren Aufnahmen zur Aorta-Challenge und zur Unsichtbarkeit machten wir unsere ersten Versuche öffentlich. Schon früh stellte sich heraus, dass uns die Themen zur Mathematik nicht schnell ausgehen, da es so viele Abschlussarbeiten, Forschungsthemen und Vorlesungen gibt, die jeweils auch noch unter unterschiedlichen Sichtweisen betrachtet werden können. Im Storify sieht man, wie wir schon früh vielseitig unterstützt wurden und unsere Hörerzahl stieg schnell an: Ein besonderer Unterstützer war dabei Henning Krause, der uns eine Grußbotschaft sendete und ganz besonders die Qwirkle-Folge schätzt. Einen weiteren Gruß sandte uns Katrin Leinweber vom KonScience Podcast. Weitere Grüße erreichten uns aus Kanada von Anja Randecker aus unserer Folge zu Wilden Singularitäten, die nun in Toronto als Post-Doc weiter zu Translationsflächen forscht. Sehr haben wir uns auch über die Grüße aus dem Grünen von Martin Rützler gefreut, der selbst im Radio Mono Podcast, im DKG-Podcast und im Sendegarten regelmäßig zu hören ist, die deutschen GanzOhr-Wissenschaftspodcast-Treffen initiierte und die Wissenschaftspodcasts-Seite mit begründete. Neben Gesprächen über Vorlesungen, wie zur Analysis, Höhere Mathematik oder Digitale Währungen, hat nun Gudrun auch eine Vorlesung aufgenommen: Den Schnupperkurs zur Verkehrsmodellierung, der jeweils auf viele Gespräche im Podcast verweist. Bei Konscience gibt es interessante Konzepte zur Verknüpfung von Vortrag und Podcast, die auch auf Vorlesungen angewendet werden könnten. Ganz besondere Grüße erreichten uns von Lorenz Adlung, den wir in der Folge 39 zur Systembiologie im Podcast hatten. Lorenz ist auch ein begnadeter Science-Slammer, wie auch Anastasia August aus unserer Folge 37 zum Metallschaum. Sie ist weiterhin als Mathematikerin am Institut für Angewandte Materialien, wo sie aktuell an Gradierten Schäumen und Magischen Schäumen forscht und ein Graduiertenkolleg vorbereitet. Sebastian hat die Folge 98 zu Primzahlen und Gruppen sehr gefallen, wo Rebecca Waldecker den Einstieg in die Algebra und Zahlentheorie sehr anschaulich beschrieben hat. Besonders spannend sind auch Themen, die inzwischen zu Ausgründungen geführt haben: Markus Dahlem in M-Sense mit dem Thema Migräne, Tobias Hahn mit der Chromatographie, sowie Carlos Falquez, Iris Pantle und Balazs Pritz zu Strömungslärm. (...)

Hundert

<a href="http://www.math.kit.edu/stoch/~scholz/de">Markus Scholz</a> hat gerade seine <a href="https://de.wikipedia.org/wiki/Dissertation">Dissertation</a> Estimation of Cointegrated Multivariate Continuous-Time Autoregressive Moving Average Processes an der KIT-Fakultät für Mathematik verteidigt. <a href="http://www.math.kit.edu/ianm2/~thaeter/de">Gudrun</a> ergriff die Gelegenheit, mit ihm über die Idee und Anwendungsmöglichkeiten von <a href="https://de.wikipedia.org/wiki/Zeitreihenanalyse">Zeitreihen-Modellen</a> zu sprechen. Prinzipiell stehen Zeitreihen einerseits für zeitlich geordnete (Mess-)Daten, die z.B. durch Abtasten (wiederholtes Messen) eines Vorgangs in der Realität entstehen. Andererseits werden sie in der Statistik als Ergebnis eines <a href="https://de.wikipedia.org/wiki/Stochastischer_Prozess">Stochastischen Prozesses</a> interpretiert, der diese Zeitreihe als eine seiner Realisierungen erzeugt. Der stochastische Prozess ist hierbei ein Modell und soll die wichtigsten Eigenschaften der Daten erfassen. Er soll auch dazu dienen, zuverlässige Schätzungen zu liefern, wie sich die Zeitreihe wahrscheinlich in die Zukunft fortsetzt. Mitunter interessieren hier sogar nur so oberflächliche Informationen wie Saisonalität und <a href="https://de.wikipedia.org/wiki/Trend_(Statistik)">Trends</a>. Ein Aspekt, der im Titel der Arbeit von Markus Scholz als "Moving Average" beschrieben ist, ist die Eigenschaft, dass die Werte der Zeitreihe vor allem durch die letzten davor liegenden Meßpunkte beeinflusst sind und die "Erinnerung" an weiter in der Vergangenheit liegende Zustände abklingt. Im Modell ist hier stets eine Zufallsquelle integriert, die man sich wie ein Auswürfeln pro Zeitpunkt vorstellen kann. Wie erfolgt hier die Zuordnung zwischen Datenreihe und stochastischem Modell? In der Regel basiert die Wahl auf der Erfahrung über zuvor benutzte Modelle in ähnlichen Zusammenhängen und auf den bekannten Eigenschaften der Modelle. Anschließend müssen jedoch stochastische Tests belegen, dass die Zuordnung tatsächlich korrekt ist. Markus Scholz hat sich mit stochastischen Prozessen beschäftigt, die kontinuierlich in der Zeit sind statt - wie bisher beschrieben - diskret. Sie eignen sich z.B. zur Modellierung von Temperaturverläufen. Prinzipiell nimmt man dabei an, dass eine hoch genug gewählte Abtastrate den Übergang von diskreten Messungen zu einem als stetig angesehenen Prozess unkritisch macht. Der Aspekt, der ihn hier vor allem beschäftigt hat, war die Erweiterung bekannter Modelle um die Eigenschaft der Nicht-Stationarität. Das heißt kurz gesagt, die Grundeigenschaften des Prozesses können sich über die Zeit ändern. Das kennen wir ja auch von der Temperatur: Einerseitzs durchlaufen tägliche Tiefst-, Höchst- oder Mittelwerte der Temperatur im Jahresverlauf eine typische Kurve für eine betrachtete Region. Andererseits kann im konkreten Jahr ein untypischer Verlauf vorliegen und es ist gar nicht so leicht zu quantifizieren, ob es sich um eine untypische Beobachtung handelt oder sich z.B. die Mittelwerte tatsächlich statistisch signifikant ändern. Anders gesagt führt die Nicht-Stationarität im Modell auf Probleme bei zugehörigen Schätzungen, die in der Regel schwer zu lösen sind. Deshalb hat Markus Scholz zunächst einen handhabbaren Spezialfall ausgewählt, die sogenannten <a href="https://de.wikipedia.org/wiki/Kointegration">kointegrierte Prozesse</a>. Als stochastische Quelle - dienen ihm <a href="https://de.wikipedia.org/wiki/L%C3%A9vy-Prozess">Lévy-Prozesse</a>, die Sprünge zulassen. Die einfachste Zufallsquelle wären <a href="https://de.wikipedia.org/wiki/Wiener-Prozess">Brownsche Bewegungen</a>, die aber nur stetig (d.h. ohne Sprünge) möglich sind. Lévy- Prozesse sind flexibel haben jedoch nützliche Eigenschaften, die ihre Behandlung erleichtern, wie z.B. stationäre Inkremente. Grundidee der Arbeit war es, vorhandene Resultate für zeitdiskrete nicht-stationäre Modelle und zeitstetige stationäre Modelle so zu vereinen, dass ein neues zeitstetiges und nicht-stationäres Modell mit gut studierbaren Eigenschaften entsteht. Hierbei wurden <a href="https://de.wikipedia.org/wiki/Zustandsraumdarstellung">Zustandsraummodelle</a> verwendet, welche durch Matrizen charakterisiert werden, die die Eigenschaften des Modells bestimmen. Eine entscheidende Beweisidee beruht darauf, dass die Matrizen so transformiert werden können, dass ein Entkopplung in stationäre und nicht-stationäre Anteile erfolgt und die Benutzung der jeweils bekannten Resultate auf den zusammengesetzten Prozess möglich wird. Besonders wertvoll sind hier die entwickelten Schätzverfahren für kointegrierte Prozesse. In der Praxis haben die Zeitreihen meist einen ungefähren Gleichlauf über die Zeit, damit sind sie gemeinsam integriert, also kointegriert. Der Begriff Integration bedeutet, dass die nicht-stationären Zeitreihen durch Differenzenbildung auf neue stationäre Zeitreihen zurückgeführt werden können. Die Schätzmethode baut auf der<a href="https://de.wikipedia.org/wiki/Maximum-Likelihood-Methode">Maximum-Likelihood-Schätzung</a> auf, welches anschließend mit Hilfe eines numerisches Optimierungsverfahren gelöst wird. Für die Schätzmethode konnte die <a href="https://de.wikipedia.org/wiki/Konsistente_Sch%C3%A4tzfolge">Konsistenz</a> nachgewiesen werden, d.h. Schätzfolgen mit immer mehr Daten werden immer besser (Konvergenz in Wahrscheinlichkeit gegen wahren Wert). <h1>Referenzen</h1> <ul><li> <a href="http://www.nobelprize.org/nobel_prizes/economic-sciences/laureates/2003/granger-lecture.html">C. Granger: Nobel Prize Lecture</a>, 2003.</li><li> <a href="http://www.tum-ias.de/fileadmin/material_ias/pdf/general_IAS/Publications/Primary_Sources_1-1_Nov_2011.pdf">R. Stelzer: CARMA Processes driven by Non-Gaussian Noise</a>, TUM-IAS Primary Sources - Essays in Technology and Science, 1 no.1, 2012.</li><li> <a href="https://arxiv.org/pdf/1210.7447.pdf">E. Schlemm and R. Stelzer: Quasi maximum likelihood estimation for strongly mixing state space models and multivariate Lévy-driven CARMA processes</a>, arXiv, 2012.</li></ul>

Modellansatz 099

Markus Scholz hat gerade seine Dissertation Estimation of Cointegrated Multivariate Continuous-Time Autoregressive Moving Average Processes an der KIT-Fakultät für Mathematik verteidigt. Gudrun ergriff die Gelegenheit, mit ihm über die Idee und Anwendungsmöglichkeiten von Zeitreihen-Modellen zu sprechen. Prinzipiell stehen Zeitreihen einerseits für zeitlich geordnete (Mess-)Daten, die z.B. durch Abtasten (wiederholtes Messen) eines Vorgangs in der Realität entstehen. Andererseits werden sie in der Statistik als Ergebnis eines Stochastischen Prozesses interpretiert, der diese Zeitreihe als eine seiner Realisierungen erzeugt. Der stochastische Prozess ist hierbei ein Modell und soll die wichtigsten Eigenschaften der Daten erfassen. Er soll auch dazu dienen, zuverlässige Schätzungen zu liefern, wie sich die Zeitreihe wahrscheinlich in die Zukunft fortsetzt. Mitunter interessieren hier sogar nur so oberflächliche Informationen wie Saisonalität und Trends. Ein Aspekt, der im Titel der Arbeit von Markus Scholz als "Moving Average" beschrieben ist, ist die Eigenschaft, dass die Werte der Zeitreihe vor allem durch die letzten davor liegenden Meßpunkte beeinflusst sind und die "Erinnerung" an weiter in der Vergangenheit liegende Zustände abklingt. Im Modell ist hier stets eine Zufallsquelle integriert, die man sich wie ein Auswürfeln pro Zeitpunkt vorstellen kann. Wie erfolgt hier die Zuordnung zwischen Datenreihe und stochastischem Modell? In der Regel basiert die Wahl auf der Erfahrung über zuvor benutzte Modelle in ähnlichen Zusammenhängen und auf den bekannten Eigenschaften der Modelle. Anschließend müssen jedoch stochastische Tests belegen, dass die Zuordnung tatsächlich korrekt ist. Markus Scholz hat sich mit stochastischen Prozessen beschäftigt, die kontinuierlich in der Zeit sind statt - wie bisher beschrieben - diskret. Sie eignen sich z.B. zur Modellierung von Temperaturverläufen. Prinzipiell nimmt man dabei an, dass eine hoch genug gewählte Abtastrate den Übergang von diskreten Messungen zu einem als stetig angesehenen Prozess unkritisch macht. Der Aspekt, der ihn hier vor allem beschäftigt hat, war die Erweiterung bekannter Modelle um die Eigenschaft der Nicht-Stationarität. Das heißt kurz gesagt, die Grundeigenschaften des Prozesses können sich über die Zeit ändern. Das kennen wir ja auch von der Temperatur: Einerseitzs durchlaufen tägliche Tiefst-, Höchst- oder Mittelwerte der Temperatur im Jahresverlauf eine typische Kurve für eine betrachtete Region. Andererseits kann im konkreten Jahr ein untypischer Verlauf vorliegen und es ist gar nicht so leicht zu quantifizieren, ob es sich um eine untypische Beobachtung handelt oder sich z.B. die Mittelwerte tatsächlich statistisch signifikant ändern. Anders gesagt führt die Nicht-Stationarität im Modell auf Probleme bei zugehörigen Schätzungen, die in der Regel schwer zu lösen sind. Deshalb hat Markus Scholz zunächst einen handhabbaren Spezialfall ausgewählt, sogenannten kointegrierte Prozesse...

Kointegrierte Prozesse

<a href="http://algebra.mathematik.uni-halle.de/mitarbeiterinnen_und_mitarbeiter/rebecca_waldecker/">Rebecca Waldecker</a> ist Professorin für <a href="https://de.wikipedia.org/wiki/Algebra">Algebra</a> an der <a href="http://www.uni-halle.de/">Martin-Luther-Universität Halle-Wittenberg</a>. Sie besuchte Karlsruhe aus Anlass einer <a href="http://java.ugent.be/richard.weiss/program.php">Konferenz zu Ehren von Richard Weiss</a> und <a href="http://www.math.kit.edu/ianm2/~thaeter/de">Gudrun</a> nutzte die Gelegenheit, um mit ihr über das Faszinosum und die Nützlichkeit von <a href="https://de.wikipedia.org/wiki/Primzahl">Primzahlen</a> und ihr Forschungsgebiet der <a href="https://de.wikipedia.org/wiki/Gruppe_%28Mathematik%29">Gruppentheorie</a> zu sprechen. In der Vergangenheit gab es verschiedene Definitionen für Primzahlen, die sich über die Zeit zu dem heute gebräuchlichen geschärft haben: <ul><li> Eine Primzahl ist eine <a href="https://de.wikipedia.org/wiki/Nat%C3%BCrliche_Zahl">natürliche Zahl</a>, die genau zwei verschiedene natürliche Teiler hat - sich selbst und 1.</li></ul>Die Zahl 1 ist damit keine Primzahl, aber z.B. ist die Zahl 2 prim sowie die Zahlen 3, 5, 7, 11, 13, 17, 19 <a href="https://de.wikibooks.org/wiki/Primzahlen:_Tabelle_der_Primzahlen_%282_-_100.000%29">usw.</a> Ein grundlegendes Resultat besagt, dass sich alle natürlichen Zahlen <a href="https://de.wikipedia.org/wiki/Primfaktorzerlegung">eindeutig in Produkte von Primzahlen aufteilen lassen</a>. Zahlen, die selbst nicht prim sind, nennt man deshalb zerlegbar bzw. zusammengesetzt, weil man sie mit Hilfe dieser Darstellung in die zugehörigen Primfaktoren aufteilen kann bzw. man diese als Grundbausteine der natürlichen Zahlen ansehen kann. Es gibt in diesem Zusammenhang viele interessante Fragen. Zum Beispiel: <ol><li> Wie viele Primzahlen gibt es?</li><li> Gibt es beliebig große <a href="https://de.wikipedia.org/wiki/Primzahlzwilling">Primzahlzwillinge</a>, d.h. zwei Primzahlen, die voneinander nur den Abstand 2 haben (wie z.B. 11 und 13)?</li><li> Wie kann ich eine Zahl als Primzahl erkennen? </li><li> Wie kann ich für jede Zahl (effektiv) die Zerlegung in Primfaktoren berechnen?</li></ol> Interessant ist, dass diese Fragen, die doch eher theoretisch und fast schon spielerisch wirken, heute eine große Relevanz erhalten, weil sich alle gebräuchlichen digitalen Verschlüsselungsverfahren (z.B. beim online-Banking) großer Primzahlen bedienen (je größere Primzahlen man verwenden kann, desto sicherer ist die zugehörige Verschlüsselung). Das liegt daran, dass es im Allgemeinen tatsächlich eine recht lange Rechenzeit braucht, um große Zahlen in mögliche Primfaktoren zu zerlegen. Wenn man sich jedoch davon löst, Primzahlen und Teiler nur auf natürliche Zahlen zu beziehen, wird die Welt noch ein wenig interessanter. Besonders einfach und fast offensichtlich ist es bei der Ausweitung auf <a href="https://de.wikipedia.org/wiki/Ganze_Zahl">ganze Zahlen</a>. In den ganzen Zahlen gibt es mehr Teiler: Zum Beispiel hat die Zahl 3 dort (neben 3 und 1) auch noch die Teiler -1 und -3. Man muss dann entscheiden, welches die Grundbausteine für ganze Zahlen sein sollen. Noch etwas allgemeiner ausgedrückt: Wenn der Begriff der Primzahl auf andere Zahlbereiche verallgemeinert wird, dann gibt es zwei Eigenschaften, die man als charakterisch für "prim" ansehen kann: Einerseits die "Unzerlegbarkeit", also die Eigenschaft, nur die offensichtlichen Teiler zu besitzen. Primzahlen haben aber auch die Eigenschaft (im Bereich der ganzen Zahlen), dass, wenn sie ein Produkt von Zahlen teilen, sie automatisch mindestens einen der Faktoren teilen. Auch diese Eigenschaft kann man zur Verallgemeinerung der Eigenschaft "prim" benutzen. Häufig ist es so, dass in der Übertragung der Idee auf Objekte, die die Struktur eines <a href="https://de.wikipedia.org/wiki/Ring_%28Algebra%29">algebraischen Rings</a> haben (d.h. grob gesprochen, man "rechnet" in ihnen mehr oder weniger so, wie wir es von den ganzen Zahlen kennen) die Unzerlegbarkeit mit dem Begriff "irreduzibel" verallgemeinert wird und dass die andere Eigenschaft (wenn man ein Produkt teilt, dann auch mindestens einen der Faktoren) mit "prim" oder "Primelement" verallgemeinert wird. In manchen Zahlbereichen fallen diese Begriffe zusammen. Zum Beispiel ist das bei den ganzen Zahlen so und bei den im Gespräch erwähnten <a href="https://de.wikipedia.org/wiki/Gau%C3%9Fsche_Zahl">Ganzen Gaußschen Zahlen</a>. Die Ganzen Gaußschen Zahlen werden aus allen Punkten mit ganzzahligen Koordinaten in der <a href="https://de.wikipedia.org/wiki/Gau%C3%9Fsche_Zahlenebene">Gaußschen Zahlenebene</a> gebildet. Diese Ebene ist eine geometrische Interpretation der Menge der komplexen Zahlen - die beiden Achsen geben Real- und Imaginärteil der jeweiligen komplexen Zahl an. Wählt man alle ganzzahligen Punkte, so ergibt das eine Struktur, die geometrisch betrachtet ein Gitter ist, und die algebraisch betrachtet den ganzen Zahlen nicht unähnlich ist. Allerdings wird die Multiplikation etwas interessanter, deshalb ändern sich die Eigenschaften von Primzahlen im Ring <img src="http://www.math.kit.edu/latexpng.php?code=$Z%5Bi%5D$&amp;sig=737793834c047ffb959727e0dc210a71" alt="Z[i]" title="Z[i]" style="vertical-align: middle" /> der Ganzen Gaussschen Zahlen. <ul><li> 2 ist dort keine Primzahl, sondern hat neben den offensichtlichen Teilern 2,-2,1,-1,i,-i,2i,-2i auch noch die Teiler 1+i, 1-i und noch einige mehr.</li><li> Alle Primzahlen, die beim Teilen durch 4 in <img src="http://www.math.kit.edu/latexpng.php?code=$Z%5Bi%5D$&amp;sig=737793834c047ffb959727e0dc210a71" alt="Z[i]" title="Z[i]" style="vertical-align: middle" /> den Rest 3 lassen, bleiben prim in <img src="http://www.math.kit.edu/latexpng.php?code=$Z%5Bi%5D$&amp;sig=737793834c047ffb959727e0dc210a71" alt="Z[i]" title="Z[i]" style="vertical-align: middle" />. Zum Beispiel 3, 7 und 11.</li><li> Alle Primzahlen, die beim Teilen durch 4 in <img src="http://www.math.kit.edu/latexpng.php?code=$Z%5Bi%5D$&amp;sig=737793834c047ffb959727e0dc210a71" alt="Z[i]" title="Z[i]" style="vertical-align: middle" /> den Rest 1 lassen, sind nicht mehr prim in <img src="http://www.math.kit.edu/latexpng.php?code=$Z%5Bi%5D$&amp;sig=737793834c047ffb959727e0dc210a71" alt="Z[i]" title="Z[i]" style="vertical-align: middle" />, sondern bekommen dort interessante zusätzliche Teiler. Das liegt daran, dass diese Zahlen sich als Summe von zwei Quadraten schreiben lassen. </li></ul> Streng genommen geht es hier nicht um die Eigenschaft, prim zu sein, sondern um die Eigenschaft, irreduzibel zu sein (siehe oben). Aber im Ring der Ganzen Gaussschen Zahlen fallen diese Begriffe zusammen. Wer sich dafür interessiert, findet beispielsweise beim Suchen mit den Stichworten Zwei-Quadrate-Satz von Fermat und Normfunktion bei den Ganzen Gaußschen Zahlen viele weitere Informationen und Details. Für die Herleitung von effektiven Verfahren, die Primzahlen herausfischen (Primzahlsieb), ist es mitunter nützlich, auf bestimmte Eigenschaften von Primzahlen zurückzugreifen, statt stur alle Teiler zu probieren - von denen gibt es schon für mittelgroße Zahlen nämlich ganz schön viele und es wird selbst mit Hilfe schneller Computer recht zäh. Eine solche Eigenschaft ist im <a href="https://de.wikipedia.org/wiki/Kleiner_fermatscher_Satz">kleinen Satz von Fermat</a> formuliert: <ul><li> Ist p eine Primzahl und ist a eine ganze Zahl, so gilt: <img src="http://www.math.kit.edu/latexpng.php?code=$a%5Ep$&amp;sig=d618e833294d2d2b24ba6fb0085c1ec4" alt="a^p" title="a^p" style="vertical-align: middle" width="12" height="9" /> und a haben beim Teilen durch p den gleichen Rest.</li></ul> Falls a nicht durch p teilbar ist, dann gibt es noch eine andere Version: <ul><li> <img src="http://www.math.kit.edu/latexpng.php?code=$a%5E%7Bp-1%7D$&amp;sig=2abae510ee03a49b889e50a203df156f" alt="a^{p-1}" title="a^{p-1}" style="vertical-align: middle" width="25" height="11" /> hat beim Teilen durch p genau den Rest 1.</li></ul> Dies kann man zur Erkennung von Primzahlen ausnutzen: <ul><li> Ist n eine natürliche Zahl, die man auf Primalität untersuchen möchte, so wählt man sich zufällig eine Zahl a, die echt zwischen 1 und n liegt und die teilerfremd zu n ist (falls das nicht möglich ist, dann ist n=2 und man kann den Test sofort beenden).</li></ul> Nun haben wir also a und n und berechnen <img src="http://www.math.kit.edu/latexpng.php?code=$a%5E%7Bn-1%7D$&amp;sig=e34dbe520c69ece36fd90dbb7b233326" alt="a^{n-1}" title="a^{n-1}" style="vertical-align: middle" width="26" height="11" />. Falls beim Teilen durch n dann der Rest 1 herauskommt, dann ist das Testergebnis "n ist wahrscheinlich prim.". Andernfalls ist das Testergebnis "n ist zusammengesetzt." Das Ergebnis "zusammengesetzt" ist immer richtig, aber das Ergebnis "prim" ist manchmal falsch. Bei den sogenannten Pseudoprimzahlen erscheint für manche Werte von a die Ausgabe "prim", obwohl die Zahl in Wirklichkeit zusammengesetzt ist. Noch schlimmer: Bei den sogenannten <a href="https://de.wikipedia.org/wiki/Carmichael-Zahl">Carmichael-Zahlen</a> ist es sogar so, dass für jede mögliche Zahl a, die man sich für den Test wählen könnte (mit den Einschränkungen von oben), der Test das Ergebnis "prim" ausgibt, obwohl die Zahl in Wirklichkeit zusammengesetzt ist. Solche "Unfälle" haben dazu geführt, dass man nach feineren Tests gesucht hat, die weniger Fehler machen. Ein Beispiel ist der <a href="https://de.wikipedia.org/wiki/Miller-Rabin-Test">Miller-Rabin-Test</a>. Der erste Schritt ist dabei so ähnlich wie beim Fermat-Test, aber es gibt danach noch einen zweiten Schritt. Auf der Seite <a href="http://www.visual.wegert.com">http://www.visual.wegert.com</a> von Elias Wegert findet man viele wunderbare Illustrationen, manche davon haben mit Primzahlen zu tun. Hier sind noch mehr Tipps zum Stoebern und Weiterlesen: <h1>Literatur und weiterführende Informationen</h1> <ul><li> <a href="https://primes.utm.edu/primes/">Chris K. Caldwell: The List of Largest Known Primes Home Page</a></li><li> <a href="http://www.springer.com/de/book/9783658112165">R. Waldecker, L. Rempe-Gillen: Primzahltests für Einsteiger</a>, 2. Auflage. Springer, 2015. Auch in englisch erhältlich: Primality testing for beginners, Januar 2014 in der Serie Student Mathematical Library der AMS.</li><li> <a href="http://www.mathe.tu-freiberg.de/ana/mitarbeiter/elias-wegert/forschung/publikationen/visual-complex-functions">E. Wegert: Visual Complex Functions</a>, Birkhäuser, 2012.</li><li> <a href="http://www.jstor.org/stable/3597229">Agrawal, M., Kayal, N. und Saxena, K.: PRIMES is in P</a>, Annals of Math. 160 (2004), No. 2, 781 - 793.</li><li> <a href="https://de.wikipedia.org/wiki/Apologie_eines_Mathematikers">Hardy, G.H.: A mathematician's apology</a>, Cambridge University Press, 1992.</li><li> <a href="http://www.springer.com/de/book/9780387252827">Crandall, R. und Pomerance, C.: Prime Numbers: A computational perspective</a>, Springer, 2005.</li><li> <a href="http://www.springer.com/de/book/9783540403449">Dietzfelbinger, M.: Primality Testing in Polynomial Time: from randomized algorithms to PRIMES is in P</a>, Springer, 2004.</li></ul> <h1>Podcasts</h1> <ul><li> <a href="http://modellansatz.de/digitale-waehrungen">S.Ritterbusch: Digitale Währungen</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 32, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2014. <a href="http://modellansatz.de/digitale-waehrungen">http://modellansatz.de/digitale-waehrungen</a></li><li> <a href="http://modellansatz.de/l-funktionen">F. Januszewski: L-Funktionen</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 55, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. <a href="http://modellansatz.de/l-funktionen">http://modellansatz.de/l-funktionen</a></li><li> <a href="http://modellansatz.de/rsa-faktorisierung">F. Schmidt: RSA-Faktorisierung</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 70, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. <a href="http://modellansatz.de/rsa-faktorisierung">http://modellansatz.de/rsa-faktorisierung</a></li></ul>

Modellansatz 098

Rebecca Waldecker ist Professorin für Algebra an der Martin-Luther-Universität Halle-Wittenberg. Sie besuchte Karlsruhe aus Anlass einer Konferenz zu Ehren von Richard Weiss und Gudrun nutzte die Gelegenheit, um mit ihr über das Faszinosum und die Nützlichkeit von Primzahlen und ihr Forschungsgebiet der Gruppentheorie zu sprechen. In der Vergangenheit gab es verschiedene Definitionen für Primzahlen, die sich über die Zeit zu dem heute gebräuchlichen geschärft haben: Eine Primzahl ist eine natürliche Zahl, die genau zwei verschiedene natürliche Teiler hat - sich selbst und 1. Die Zahl 1 ist damit keine Primzahl, aber z.B. ist die Zahl 2 prim sowie die Zahlen 3, 5, 7, 11, 13, 17, 19 usw. Ein grundlegendes Resultat besagt, dass sich alle natürlichen Zahlen eindeutig in Produkte von Primzahlen aufteilen lassen. Zahlen, die selbst nicht prim sind, nennt man deshalb zerlegbar bzw. zusammengesetzt, weil man sie mit Hilfe dieser Darstellung in die zugehörigen Primfaktoren aufteilen kann bzw. man diese als Grundbausteine der natürlichen Zahlen ansehen kann. Es gibt in diesem Zusammenhang viele interessante Fragen. Zum Beispiel: Wie viele Primzahlen gibt es? Gibt es beliebig große Primzahlzwillinge, d.h. zwei Primzahlen, die voneinander nur den Abstand 2 haben (wie z.B. 11 und 13)? Wie kann ich eine Zahl als Primzahl erkennen? Wie kann ich für jede Zahl (effektiv) die Zerlegung in Primfaktoren berechnen? Interessant ist, dass diese Fragen, die doch eher theoretisch und fast schon spielerisch wirken, heute eine große Relevanz erhalten, weil sich alle gebräuchlichen digitalen Verschlüsselungsverfahren (z.B. beim online-Banking) großer Primzahlen bedienen (je größere Primzahlen man verwenden kann, desto sicherer ist die zugehörige Verschlüsselung). Das liegt daran, dass es im Allgemeinen tatsächlich eine recht lange Rechenzeit braucht, um große Zahlen in mögliche Primfaktoren zu zerlegen. Wenn man sich jedoch davon löst, Primzahlen und Teiler nur auf natürliche Zahlen zu beziehen, wird die Welt noch ein wenig interessanter. Besonders einfach und fast offensichtlich ist es bei der Ausweitung auf ganze Zahlen. In den ganzen Zahlen gibt es mehr Teiler: Zum Beispiel hat die Zahl 3 dort (neben 3 und 1) auch noch die Teiler -1 und -3. Man muss dann entscheiden, welches die Grundbausteine für ganze Zahlen sein sollen. Noch etwas allgemeiner ausgedrückt: Wenn der Begriff der Primzahl auf andere Zahlbereiche verallgemeinert wird, dann gibt es zwei Eigenschaften, die man als charakterisch für "prim" ansehen kann: Einerseits die "Unzerlegbarkeit", also die Eigenschaft, nur die offensichtlichen Teiler zu besitzen. Primzahlen haben aber auch die Eigenschaft (im Bereich der ganzen Zahlen), dass, wenn sie ein Produkt von Zahlen teilen, sie automatisch mindestens einen der Faktoren teilen. Auch diese Eigenschaft kann man zur Verallgemeinerung der Eigenschaft "prim" benutzen. (...)

Primzahlen und Gruppen

Auf der <a href="http://gulas.ch/">Gulasch Programmiernacht (GPN16)</a> des <a href="https://entropia.de/Hauptseite">Entropia e.V.</a> in der <a href="https://www.hfg-karlsruhe.de/">Hochschule für Gestaltung</a> und dem <a href="http://zkm.de/">ZKM</a> in Karlsruhe trafen sich <a href="https://twitter.com/ajuvo?lang=de">Stephan Ajuvo</a> und <a href="http://www.math.kit.edu/ianm4/~ritterbusch/de">Sebastian Ritterbusch</a> für einen Cross-Over Podcast vom <a href="http://damals-tm-podcast.de">damals TM Podcast</a> und dem <a href="http://modellansatz.de/">Modellansatz Podcast</a> um über die Geschichte von Finanzen und Mathematik zu plaudern. Der damalsTM Podcast befasst sich damit, wie es kam, dass es kam, so dass es ist, wie es ist- und hatte in der letzten Zeit schon eine Reihe zu Geld (<a href="http://damals-tm-podcast.de/dtm002-geld-1/">Geld I</a>, <a href="http://damals-tm-podcast.de/dtm005_geldii/">Geld II</a>, <a href="http://damals-tm-podcast.de/dtm021_geld_iii/">Geld III</a>), wo die Entwicklung der Zahlungsmittel bisher bis zum 2. Weltkrieg behandelt wurden. Die <a href="https://de.wikipedia.org/wiki/Wirtschaftswissenschaft">Ökonomie</a> zählt zu den <a href="https://de.wikipedia.org/wiki/Sozialwissenschaften">Sozialwissenschaften</a>, die oft Theorien auf Annahmen behandeln, während die <a href="https://de.wikipedia.org/wiki/Mathematik">Mathematik</a> als <a href="https://de.wikipedia.org/wiki/Geisteswissenschaft">Geisteswissenschaft</a> sich gerne auch mal sehr exakt mit Theorien fernab der Realität befassen kann. Die <a href="https://de.wikipedia.org/wiki/Kryptographie">Kryptographie</a> ist jedoch ein schönes Beispiel, wie aus abstrakten mathematischen Theorien der <a href="https://de.wikipedia.org/wiki/Algebra">Algebra</a> und der <a href="https://de.wikipedia.org/wiki/Zahlentheorie#Anwendungen_der_Zahlentheorie">Zahlentheorie</a> plötzlich sehr reale Anwendungen aus unserem Alltag wurden. Mit <a href="https://de.wikipedia.org/wiki/Kryptoanalyse">Kryptoanalyse</a> konnte man sowohl einfache <a href="https://de.wikipedia.org/wiki/Skytale">Transpositionschiffren</a> als auch die <a href="https://de.wikipedia.org/wiki/Enigma_%28Maschine%29">Enigma</a> durch mathematische Verfahren knacken. Bevor vereinheitlichte <a href="https://de.wikipedia.org/wiki/Geld">Geldeinheiten</a> eingeführt wurden, waren schon <a href="https://de.wikipedia.org/wiki/Geschichte_des_Geldes">früh Objekte mit Geldfunktion</a> eingesetzt, wo oft die <a href="https://de.wikipedia.org/wiki/M%C3%BCnze#M.C3.BCnzmaterial">Seltenheit und Wertigkeit des Materials</a> schon für sich einen gewissen Wert sicherte. Ebenso früh kam es zu Geldversprechen wie dem <a href="https://de.wikipedia.org/wiki/Agrarkredit">Agrarkredit</a> (zurück bis hin zum <a href="https://de.wikipedia.org/wiki/Zins#Historisches">Codex Hammurapi</a>), mit denen jetzige Ausgaben durch versprochene spätere Erntegewinne beglichen werden konnten. Dies führte zum Konzept des <a href="https://de.wikipedia.org/wiki/Zins">Zinses</a>, mit dem das Verlustrisiko durch Ausfall und die erst spätere Zugängigkeit des Geldes bewerten kann. Das Größenordnung des <a href="https://de.wikipedia.org/wiki/Zehnt">Zehnt</a> war gesellschaftlich zwar als Steuer akzeptiert, wurde jedoch als Zins schnell als <a href="https://de.wikipedia.org/wiki/Wucher">Wucher</a> gesehen, da der <a href="https://de.wikipedia.org/wiki/Zinseszins">Zinseszins</a> sehr schnell anwuchs. Daraus entstand auch die Gegenbewegung des <a href="https://de.wikipedia.org/wiki/Zinsverbot">Zinsverbots</a>, das auch heute noch im <a href="https://de.wikipedia.org/wiki/Islamisches_Bankwesen">Islamischen Bankwesen</a> zu <a href="https://de.wikipedia.org/wiki/Gesetzesumgehung">Umgehungsgeschäften</a> führt. Die mit Geldgeschäften oft assoziierten <a href="https://de.wikipedia.org/wiki/Geldwechsler">Geldwechsler</a> hatten als Arbeitsmittel eine Bank, die namensgebend für unsere heutigen <a href="https://de.wikipedia.org/wiki/Bank">Banken</a> ist, und woran das Wort <a href="https://de.wikipedia.org/wiki/Bankrott">bankrott</a> auch heute noch erinnert. Neben astronomischen Berechnungen, wie der <a href="https://de.wikipedia.org/wiki/Osterdatum#Methoden_der_Osterberechnung">Berechnung des Osterfests</a>, war die Geldwirtschaft früh ein großes Anwendungsfeld für die Mathematik. Ein wichtiges Berechnungsmodell waren die <a href="https://de.wikipedia.org/wiki/Abzinsung_und_Aufzinsung">Abzinsung</a> und die <a href="https://de.wikipedia.org/wiki/Zinssatz#Allgemeine_Zinsformel">Zinsformel</a>, mit der man die Werte zwischen jetzt und in Zukunft unter Berücksichtigung des Zinses umrechnen konnte. Hier war das <a href="https://de.wikipedia.org/wiki/Exponentielles_Wachstum">exponentielle Wachstum</a> der Kreditentwicklung unter Zinseszinsen für viele nicht zu übersehen. Aber selbst, wenn man diese Berechnung beherrschte, so gab es das <a href="https://de.wikipedia.org/wiki/Zins%C3%A4nderungsrisiko">Zinsänderungsrisiko</a>, das besonders bei langfristigen Verträgen zu erheblichen Änderungen zu den Kalkulationen führen konnte. Verschiedene Zinssätze verschiedener Landesherren führte auch unmittelbar zu unterschiedlichen <a href="https://de.wikipedia.org/wiki/Wechselkurs">Wechselkursen</a> zwischen den lokalen Währungen der Landesherren. Zusätzlich gab es schon früh den Effekt der <a href="https://de.wikipedia.org/wiki/Inflation">Teuerung oder Inflation</a> oft durch <a href="https://de.wikipedia.org/wiki/Geldmengenwachstum">unkontrolliertes Geldmengenwachstum</a>. Ein Beispiel ist hier die <a href="https://de.wikipedia.org/wiki/Goldpreis#Inflation_durch_die_Entdeckung_Amerikas">Inflation durch die Entdeckung Amerikas</a>. Es war damals noch nicht klar, wie der tatsächliche Wert des Geldes auch durch einen <a href="https://de.wikipedia.org/wiki/Warenkorb">Warenkorb</a> identifiziert werden kann. Ein sehr grobes aber dafür sehr leicht zugängiges aktuelles Indiz für den Wert verschiedener Währungen ist der <a href="https://de.wikipedia.org/wiki/Big-Mac-Index">Big-Mac Index</a>. Aus der Anforderung des waren- und ortsübergreifenden Handels wurden die <a href="https://de.wikipedia.org/wiki/B%C3%B6rse">Börsen</a> geboren: Hier konnten Waren und Währungen im Jetzt, aber auch in der Zukunft in <a href="https://de.wikipedia.org/wiki/Termingesch%C3%A4ft">Termingeschäften</a> gehandelt werden. Schnell etablierte sich hier auch die <a href="https://de.wikipedia.org/wiki/Spekulation_%28Wirtschaft%29">Spekulation</a>, die über <a href="https://de.wikipedia.org/wiki/Risiko">Risikoübernahme</a> zu einem wichtigen Bestandteil der Wirtschaft wurde. Ein bekanntes Beispiel für eine Fehlentwicklung ist die <a href="https://de.wikipedia.org/wiki/Tulpenmanie">Tulpenkrise</a>, bei der es zu einer <a href="https://de.wikipedia.org/wiki/Tulpenmanie">Finanzblase</a> bis hin zum <a href="https://de.wikipedia.org/wiki/B%C3%B6rsenkrach">Börsencrash</a> kam, und exemplarisch für spätere <a href="https://de.wikipedia.org/wiki/Immobilienblase">Immobilienblasen</a> wurde. Die Effekte konnten durch <a href="https://de.wikipedia.org/wiki/Leverage-Effekt">Hebeleffekte</a> noch verstärkt werden, wenn <a href="https://de.wikipedia.org/wiki/Fremdkapital">Fremdkapital</a> für mehr erwartete <a href="https://de.wikipedia.org/wiki/Rendite">Rendite</a> eingesetzt wurde. Eine Renditebetrachtung ist auch für die persönliche <a href="https://de.wikipedia.org/wiki/Finanzplanung">Finanzplanung</a> sehr wichtig- so sollte jeder die <a href="https://de.wikipedia.org/wiki/Altersvorsorge">Altersvorsorge</a> frühzeitig angehen und dabei <a href="https://de.wikipedia.org/wiki/Risikoklasse">Risikoklassen</a> und die <a href="https://de.wikipedia.org/wiki/Diversifikation_%28Wirtschaft%29">Diversifikation</a> zur <a href="https://de.wikipedia.org/wiki/Risikodiversifizierung">Risikoverteilung</a> beachten. Aus der Erfahrung, dass viele <a href="https://de.wikipedia.org/wiki/Finanzprodukt">Finanzprodukte</a> und <a href="https://de.wikipedia.org/wiki/Anlageberatung">Anlageberater</a> die zugrunde liegenden <a href="https://de.wikipedia.org/wiki/Aktienindex">Indices</a> oft nur in der Vergangenheit schlagen, haben sich Finanzcommunities wie <a href="http://fool.de/">The Motley Fool</a> gebildet, um sich gegenseitig zu informieren. Mathematisch kann man die Optimalität einer Investition auch als Multikriterielle Optimierung zwischen Rendite und Risiko im Sinne der <a href="https://de.wikipedia.org/wiki/Volatilit%C3%A4t">Volatilität</a> verstehen: Hier stellt sich heraus, dass hier zwischen den Kriterien abgewogen werden muss, und es nicht ein Optimum gibt, sondern die Linie der <a href="https://de.wikipedia.org/wiki/Pareto-Optimum">Pareto-Optimalität</a>. Jedoch darf man nicht einfach aus der vergangenen Entwicklung auf Rendite und Risiko schließen: Gerade <a href="https://de.wikipedia.org/wiki/Schneeballsystem">Ponzi-Systeme</a> scheinen eine hohe Rendite bei geringer Volatilität und Risiko zu liefern, wo die Zinsen früherer Anleger nur durch die Investitionen durch angelockte Neuanleger bezahlt werden, und was natürlich nicht ewig funktionieren kann, und viele werden ihren Einsatz verlieren. Plant man Investitionen in Güter, so sollte man daher genau recherchieren, wie es um den Gegenstand steht. Bei Immobilien gibt ist eine Begehung mit Fachpersonen möglich und ein Blick in <a href="https://de.wikipedia.org/wiki/Bodenrichtwert">Bodenrichtwertkarten</a> ist sehr sinnvoll. Bei Aktien kann man hingegen auf Basis der veröffentlichten Informationen und Kennzahlen <a href="https://de.wikipedia.org/wiki/Fundamentalanalyse">Fundamentalanalysen</a> bilden. Alle diese Modelle sind aber immer <a href="https://de.wikipedia.org/wiki/Komplexit%C3%A4tsreduktion">Komplexitätsreduktionen</a>, die irgendwann ihre Gegenbeispiel finden können und dann zu Geldverlust führen. Neben der schwierigen Bewertung von Aktien wird es richtig spannend, wenn notwendigerweise auch <a href="https://de.wikipedia.org/wiki/Termingesch%C3%A4ft">Termingeschäfte</a> oder <a href="https://de.wikipedia.org/wiki/Derivat_(Wirtschaft)">Derivate</a> der Aktien oder Wirtschaftsgüter berücksichtigt werden: Diese werden im Markt unmittelbar benötigt, sind jedoch vom Basiswert und der allgemeinen Marktsituation abhängig. <a href="https://de.wikipedia.org/wiki/Option_(Wirtschaft)">Optionen</a> können auf der einen Seite <a href="https://de.wikipedia.org/wiki/Kaufoption#Beispiel_eines_Absicherungsgesch.C3.A4fts">Geschäfte absichern</a>, können jedoch auf der anderen Seite bei einem <a href="https://de.wikipedia.org/wiki/Leverage-Effekt#Leverage-Effekt_bei_Derivaten">hohem Hebel auch sehr spekulativ</a> und entsprechend gefährlich sein. Für eine mathematische Bewertung von Optionen wird ein Markt mit <a href="https://de.wikipedia.org/wiki/Arbitragefreiheit">Arbitragefreiheit</a> vorausgesetzt, um andere künstliche Einflüsse auszuschließen. Dann können analytisch <a href="https://de.wikipedia.org/wiki/Option_%28Wirtschaft%29#Sensitivit.C3.A4ten_und_Kennzahlen_-_die_sog._.E2.80.9EGriechen.E2.80.9C">Optionskennzahlen (die Griechen)</a> bestimmt werden, um aus dem komplexen Markt ein Gefühl für den Wert zu erhalten. Umgekehrt kann man aber auch konstruktiv eine Bewertung mit dem <a href="https://de.wikipedia.org/wiki/Cox-Ross-Rubinstein-Modell">Cox-Ross-Rubinstein-Modell</a> berechnen. Der Kursverlauf wird hier vereinfacht wie der Kugellauf durch ein <a href="https://de.wikipedia.org/wiki/Galtonbrett">Galtonbrett</a> angenommen, wo eine Richtung für einen fallenden Kurs, die andere für einen steigenden Kurs steht. Dies führt im vereinfachten Fall zu einer <a href="https://de.wikipedia.org/wiki/Binomialverteilung">Binomialverteilung</a> oder im Grenzfall zu einer <a href="https://de.wikipedia.org/wiki/Normalverteilung">Normalverteilung</a> der möglichen Kurse am Ende der Laufzeit. Damit kann die Option auf Basis von Volatilität und Rendite des Basiswerts mit einem <a href="https://de.wikipedia.org/wiki/Diskretisierung">diskreten Modell</a> bewertet werden. Das vereinfachte Cox-Ross-Rubinstein-Modell lässt sich unter weiteren Annahmen immer feiner diskretisieren und man erhielt 1973 das <a href="https://de.wikipedia.org/wiki/Black-Scholes-Modell">Black-Scholes-Modell</a>, wo nun in dieser <a href="https://de.wikipedia.org/wiki/Stochastische_Differentialgleichung">stochastischen Differentialgleichung</a> der <a href="https://de.wikipedia.org/wiki/Geometrische_brownsche_Bewegung">Brownsche Prozess</a> Anwendung findet. Der Brownsche Prozess ist der beobachteten zufälligen <a href="https://de.wikipedia.org/wiki/Brownsche_Bewegung">brownschen Molekularbewegung</a> entlehnt. Aus diesem komplexen Modell können nun einfache <a href="https://de.wikipedia.org/wiki/Black-Scholes-Modell#Preisformeln">geschlossene Formen für die Bewertung von vielen Optionenstypen</a> berechnet werden, was 1997 zur Verleihung des <a href="https://de.wikipedia.org/wiki/Liste_der_Tr%C3%A4ger_des_Alfred-Nobel-Ged%C3%A4chtnispreises_f%C3%BCr_Wirtschaftswissenschaften#1991-2000">renommierten Preises der Wirtschaftswissenschaften</a> geführt hatte. Leider ergaben sich schnell Widersprüche in der Überprüfung des Modells am echten Markt: Es entsteht der <a href="https://de.wikipedia.org/wiki/Volatilit%C3%A4ts-Smile">Volatilitäts-Smile</a>, der den Unterschied der Vorhersage zur tatsächlichen Situation darstellt. Interessanterweise trat der von Devisen bekannte Effekt bei Aktien erst nach dem <a href="https://de.wikipedia.org/wiki/Schwarzer_Montag">Börsencrash von 1987</a> auf. <h1>Podcasts</h1> <ul><li> <a href="http://modellansatz.de/digitale-waehrungen">S. Ritterbusch: Digitale Währungen</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 32, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2014.</li><li> <a href="http://modellansatz.de/risikobewertung">W. Härdle: Risikobewertung</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 41, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2014.</li><li> <a href="http://damals-tm-podcast.de/dtm002-geld-1/">S. Ajuvo, L. Schult: Geld I</a>, Gespräch im damalsTM Podcast, Folge 2, 2015.</li><li> <a href="http://damals-tm-podcast.de/dtm005_geldii/">S. Ajuvo, Steffen P., L. Schult: Geld II</a>, Gespräch im damalsTM Podcast, Folge 5, und im VorHundert Podcast, Folge 18, 2015.</li><li> <a href="http://damals-tm-podcast.de/dtm021_geld_iii/">S. Ajuvo, L. Schult: Geld III</a>, Gespräch im damalsTM Podcast, Folge 21, 2016.</li></ul> <ul><li> <a href="http://modellansatz.de/qwirkle-gruppe">L. Mirlina, F. Dehnen: Qwirkle-Gruppe</a>. Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 76, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. <a href="http://modellansatz.de/qwirkle-gruppe">http://modellansatz.de/qwirkle-gruppe</a></li></ul> <h1>GPN16 Special</h1> <ul><li> <a href="http://modellansatz.de/incredible-proof-machine">J. Breitner: Incredible Proof Machine</a>, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 78, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/incredible-proof-machine">http://modellansatz.de/incredible-proof-machine</a></li><li> <a href="http://modellansatz.de/probabilistische-robotik">M. Fürst: Probabilistische Robotik</a>, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 95, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/probabilistische-robotik">http://modellansatz.de/probabilistische-robotik</a></li><li> <a href="http://modellansatz.de/finanzen-damalstm">S. Ajuvo: Finanzen damalsTM</a>, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 97, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/finanzen-damalstm">http://modellansatz.de/finanzen-damalstm</a></li></ul>

Modellansatz 097

Auf der Gulasch Programmiernacht (GPN16) des Entropia e.V. in der Hochschule für Gestaltung und dem ZKM in Karlsruhe trafen sich Stephan Ajuvo und Sebastian Ritterbusch für einen Cross-Over Podcast vom damals TM Podcast und dem Modellansatz Podcast um über die Geschichte von Finanzen und Mathematik zu plaudern. Der damalsTM Podcast befasst sich damit, wie es kam, dass es kam, so dass es ist, wie es ist- und hatte in der letzten Zeit schon eine Reihe zu Geld (Geld I, Geld II, Geld III), wo die Entwicklung der Zahlungsmittel bisher bis zum 2. Weltkrieg behandelt wurden. Die Ökonomie zählt zu den Sozialwissenschaften, die oft Theorien auf Annahmen behandeln, während die Mathematik als Geisteswissenschaft sich gerne auch mal sehr exakt mit Theorien fernab der Realität befassen kann. Die Kryptographie ist jedoch ein schönes Beispiel, wie aus abstrakten mathematischen Theorien der Algebra und der Zahlentheorie plötzlich sehr reale Anwendungen aus unserem Alltag wurden. Mit Kryptoanalyse konnte man sowohl einfache Transpositionschiffren als auch die Enigma durch mathematische Verfahren knacken. Bevor vereinheitlichte Geldeinheiten eingeführt wurden, waren schon früh Objekte mit Geldfunktion eingesetzt, wo oft die Seltenheit und Wertigkeit des Materials schon für sich einen gewissen Wert sicherte. Ebenso früh kam es zu Geldversprechen wie dem Agrarkredit (zurück bis hin zum Codex Hammurapi), mit denen jetzige Ausgaben durch versprochene spätere Erntegewinne beglichen werden konnten. Dies führte zum Konzept des Zinses, mit dem das Verlustrisiko durch Ausfall und die erst spätere Zugängigkeit des Geldes bewerten kann. Das Größenordnung des Zehnt war gesellschaftlich zwar als Steuer akzeptiert, wurde jedoch als Zins schnell als Wucher gesehen, da der Zinseszins sehr schnell anwuchs. Daraus entstand auch die Gegenbewegung des Zinsverbots, das auch heute noch im Islamischen Bankwesen zu Umgehungsgeschäften führt. Die mit Geldgeschäften oft assoziierten Geldwechsler hatten als Arbeitsmittel eine Bank, die namensgebend für unsere heutigen Banken ist, und woran das Wort bankrott auch heute noch erinnert. Neben astronomischen Berechnungen, wie der Berechnung des Osterfests, war die Geldwirtschaft früh ein großes Anwendungsfeld für die Mathematik. Ein wichtiges Berechnungsmodell waren die Abzinsung und die Zinsformel, mit der man die Werte zwischen jetzt und in Zukunft unter Berücksichtigung des Zinses umrechnen konnte. Hier war das exponentielle Wachstum der Kreditentwicklung unter Zinseszinsen für viele nicht zu übersehen. Aber selbst, wenn man diese Berechnung beherrschte, so gab es das Zinsänderungsrisiko, das besonders bei langfristigen Verträgen zu erheblichen Änderungen zu den Kalkulationen führen konnte. Verschiedene Zinssätze verschiedener Landesherren führte auch unmittelbar zu unterschiedlichen Wechselkursen zwischen den lokalen Währungen (...)

Finanzen damalsTM

<a href="http://www.h-its.org/de/research/cst/people/">Stephan Hemri</a> hat an der <a href="https://www.ethz.ch/de.html">ETH</a> in <a href="https://de.wikipedia.org/wiki/Z%C3%BCrich">Zürich</a> einen <a href="https://www.ethz.ch/de/studium/bachelor/studienangebot/systemorientierte-naturwissenschaften/umweltnaturwissenschaften.html">Bachelorstudiengang Umweltwissenschaften</a> absolviert und sein Studium mit einem <a href="https://www.ethz.ch/de/studium/master/studiengaenge/naturwissenschaften-und-mathematik/statistik.html">Master in Statistik</a> abgerundet. Seine Masterarbeit entstand an der <a href="http://www.wsl.ch/">Eidgenössischen Forschungsanstalt für Wald, Schnee und Landschaft</a> (WSL). Hierbei hat er auch <a href="http://www.geodz.com/deu/d/Postprocessing">statistisches Postprocessing</a> kennengelernt. Mit diesem Wissen und dem vorhandenen Interesse übernahm er ein Promotionsthema von <a href="http://www.math.kit.edu/stoch/~gneiting/de">Tilmann Gneitling</a> am Lehrstuhl für Computational Statstics an der <a href="http://www.math.kit.edu/">KIT-Fakultät für Mathematik</a> und am <a href="http://www.h-its.org/de/research/cst/">Heidelberger Institut für Theoretische Studien</a>. Zu den Höhepunkten dieser Zeit zählt er die vier Monate, die er am <a href="https://de.wikipedia.org/wiki/Europ%C3%A4isches_Zentrum_f%C3%BCr_mittelfristige_Wettervorhersage"> Europäischen Wetterzentrum (Zentrum für Mittelfristprognose) in Reading</a> mitforschen konnte. Schon seit langem werden für die Wettervorhersage numerische Modelle eingesetzt. Dabei werden Größen wie zum Beispiel Temperatur und Niederschlag auf einem globalen 3-dimensionale Gitter durch das Lösen von großen gekoppelten und nichtlinearen Gleichungssystemen bestimmt, die aus physikalischen Modellen hergeleitet sind, nach denen sich Luftmassen und Wasser in der Atmosphäre in etwa bewegen und dabei unser Wetter erzeugen. Ebenso wichtig - wenn auch weniger bekannt - sind hydrologische Vorhersagen zu Pegelständen an Flüssen, die mit ähnlichen Methoden für einige Zeit im voraus berechnet werden. Zu Beginn waren die damit verbundenen Rechnungen rein deterministisch, was den großen Nachteil hatte, dass die Ergebnisse der Modellläufe nichts über Unsicherheiten der Vorhersage aussagen konnten. Eine Idee, um Ungenauigkeiten der Modellrechnungen zu bestimmen, ist zu <a href="https://www.dwd.de/DE/service/lexikon/Functions/glossar.html?lv2=100652&amp;lv3=100736">Ensemblevorhersagen</a> überzugehen. Das heißt, man berechnet nicht nur eine Vorhersage, sondern mehrere Modelläufe, jeweils zu abgeänderten (gestörten) Anfangsbedingungen oder mit verschiedenen Modellen, um zu sehen, wie stark sie sich in den Ergebnissen unterscheiden. Sind sich die verschiedenen Rechnungen weitestgehend einig, ist die Vorhersage recht sicher zutreffend. Weichen sie stark voneinander ab, sind sie entsprechend wenig sicher. Die Datenlage in der Wettervorhersage ist sehr gut. Insofern, kann man natürlich im Nachgang immer abgleichen, inwiefern Vorhersagen eingetroffen sind und dies zur Verbesserung der Modelle benutzen. Aber trotzdem bleiben konkrete Aussagen wie z.B. Hochwasservorhersagen oder Vorhersagen zu Pegeln anhand von Niederschlags-Daten sehr schwierig, weil die Modelle nicht ausgereift sind und die Verbesserung nicht auf der Hand liegt. Zum Beispiel am Europäischen Wetterzentrum in Reading ist derzeit ein Ensemble bestehend aus 51 Modellenvarianten verfügbar. Zusammen mit einem deterministischen Modell höherer Auflösung, führt dies zu einem recht großen Ensemble von Vorhersagen. In der statistischen Nachbearbeitung (dem Postprocessing) wird vor allem nach systematischen Fehlern Ausschau gehalten. Dabei werden <a href="https://de.wikipedia.org/wiki/Bedingte_Wahrscheinlichkeit">bedingte Wahrscheinlichkeits</a>-Vorhersagen auf das Ensemble bezogen und <a href="https://de.wikipedia.org/wiki/Statistisches_Modell#Klassifikation_statistischer_Modelle">parametrische</a> <a href="https://de.wikipedia.org/wiki/Wahrscheinlichkeitsdichtefunktion">Dichtefunktionen</a> erzeugt. Als Trainingsperiode werden dabei z.B. die letzten 30 Tage gewählt. Bei hydrologischen Abschätzungen sind jahreszeitliche Trainingsperioden (gleiche Jahreszeiten, aber andere Jahre) häufig sehr hilfreich. Dieses Vorgehen führt in der Regel zu einer besseren Schätzung des zukünftigen Wetters und Pegelständen. Für die Temperatur kann man sich das Vorgehen am einfachsten vorstellen: Es gibt einen Ensemble-Mittelwert, dessen Fehler in etwa <a href="https://de.wikipedia.org/wiki/Normalverteilung">normalverteilt</a> ist. Bei der Nachbearbeitung wird z.B. der Mittelwert-Parameter an den Mittelwert des Ensembles in linearer Weise angepasst. Auch die <a href="https://de.wikipedia.org/wiki/Varianz_%28Stochastik%29">Varianz</a> ist in erster Näherung eine lineare Funktion der Varianz des Ensembles. Das ist ein sehr einfaches Modell, aber schon hilfreich. Zwei grundlegende Ideen gehen in der Parameterschätzung ein. Zum einen nichthomogene <a href="https://de.wikipedia.org/wiki/Ausgleichungsrechnung">Regression</a>, die gut verstanden aber nicht so flexibel ist - zum anderen <a href="https://en.wikipedia.org/wiki/Ensemble_learning">Baysean Model averaging</a>. Über allen statistischen Verfahren und Verbesserungen bleibt jedoch auch die Forderung, dass die Nutzbarkeit der Ergebnisse für den Endnutzer gegeben sein muss. Deshalb wird - gerade bei Wasserstandsvorhersagen - manchmal dann doch nur ein zu erwartender Pegelstand übermittelt ohne alle im Prozess gewonnenen Erkenntnisse über mögliche Abweichungen von diesem approximativen Wert mitzuteilen. <h1>Literatur und weiterführende Informationen</h1> <ul><li> <a href="http://www.academia.edu/download/30255585/clokepapp-johinpress.pdf">Cloke, H. L. and F. Pappenberger (2009). Ensemble flood forecasting: a review</a>. Journal of Hydrology 375, 613--626.</li><li> <a href="https://www.stat.washington.edu/raftery/Research/PDF/gneiting2005.pdf">Gneiting, T., A. E. Raftery, A. H. Westveld, and T. Goldman (2005). Calibrated probabilistic forecasting using ensemble model output statistics and minimum CRPS estimation</a>. Monthly Weather Review 133, 1098--1118.</li><li> <a href="http://www.stat.washington.edu/raftery/Research/PDF/fadoua2005.pdf">Raftery, A. E., T. Gneiting, F. Balabdoui, and M. Polakowski (2005). Using Bayesian model averaging to calibrate forecast ensembles</a>, Monthly Weather Review 133, 1155--1174.</li><li> <a href="http://journals.ametsoc.org/doi/full/10.1175/MWR-D-11-00075.1">Thorarinsdottir, T. L. and T. Gneiting (2010). Probabilistic forecasts of wind speed: ensemble model output statistics by using heteroscedastic censored regression</a>, Journal of the Royal Statistical Society (Series A) 173, 371--388.</li></ul>

Modellansatz 096

Stephan Hemri hat an der ETH in Zürich einen Bachelorstudiengang Umweltwissenschaften absolviert und sein Studium mit einem Master in Statistik abgerundet. Seine Masterarbeit entstand an der Eidgenössischen Forschungsanstalt für Wald, Schnee und Landschaft (WSL). Hierbei hat er auch statistisches Postprocessing kennengelernt. Mit diesem Wissen und dem vorhandenen Interesse übernahm er ein Promotionsthema von Tilmann Gneitling am Lehrstuhl für Computational Statstics an der KIT-Fakultät für Mathematik und am Heidelberger Institut für Theoretische Studien. Zu den Höhepunkten dieser Zeit zählt er die vier Monate, die er am Europäischen Wetterzentrum (Zentrum für Mittelfristprognose) in Reading mitforschen konnte. Schon seit langem werden für die Wettervorhersage numerische Modelle eingesetzt. Dabei werden Größen wie zum Beispiel Temperatur und Niederschlag auf einem globalen 3-dimensionale Gitter durch das Lösen von großen gekoppelten und nichtlinearen Gleichungssystemen bestimmt, die aus physikalischen Modellen hergeleitet sind, nach denen sich Luftmassen und Wasser in der Atmosphäre in etwa bewegen und dabei unser Wetter erzeugen. Ebenso wichtig - wenn auch weniger bekannt - sind hydrologische Vorhersagen zu Pegelständen an Flüssen, die mit ähnlichen Methoden für einige Zeit im voraus berechnet werden. Zu Beginn waren die damit verbundenen Rechnungen rein deterministisch, was den großen Nachteil hatte, dass die Ergebnisse der Modellläufe nichts über Unsicherheiten der Vorhersage aussagen konnten. Eine Idee, um Ungenauigkeiten der Modellrechnungen zu bestimmen, ist zu Ensemblevorhersagen überzugehen. Das heißt, man berechnet nicht nur eine Vorhersage, sondern mehrere Modelläufe, jeweils zu abgeänderten (gestörten) Anfangsbedingungen oder mit verschiedenen Modellen, um zu sehen, wie stark sie sich in den Ergebnissen unterscheiden. Sind sich die verschiedenen Rechnungen weitestgehend einig, ist die Vorhersage recht sicher zutreffend. Weichen sie stark voneinander ab, sind sie entsprechend wenig sicher. Die Datenlage in der Wettervorhersage ist sehr gut. Insofern, kann man natürlich im Nachgang immer abgleichen, inwiefern Vorhersagen eingetroffen sind und dies zur Verbesserung der Modelle benutzen. Aber trotzdem bleiben konkrete Aussagen wie z.B. Hochwasservorhersagen oder Vorhersagen zu Pegeln anhand von Niederschlags-Daten sehr schwierig, weil die Modelle nicht ausgereift sind und die Verbesserung nicht auf der Hand liegt. (...)

Ensemblevorhersagen

Bei genauem Hinsehen finden wir die Naturwissenschaft und besonders Mathematik überall in unserem Leben, vom Wasserhahn über die automatischen Temporegelungen an Autobahnen, in der Medizintechnik bis hin zum Mobiltelefon. Woran die Forscher, Absolventen und Lehrenden in Karlsruhe gerade tüfteln, erfahren wir hier aus erster Hand.

PODLIST

Modellansatz

Mathematik und ihre Anwendungen

Neue Episoden

Erasmus

Modellansatz

Palo Alto

Modellansatz

Adiabatische Quantencomputer

Modellansatz

Lehramtsausbildung

Modellansatz

Schülerlabor

Modellansatz

Metrische Geometrie

Modellansatz

Schulwegoptimierung

Modellansatz

Hundert

Modellansatz

Kointegrierte Prozesse

Modellansatz

Primzahlen und Gruppen

Modellansatz

Finanzen damalsTM

Modellansatz

Ensemblevorhersagen

Modellansatz