Wahrscheinlichkeitstheorie und Statistik mit Markovkategorie

In diesem Projekt geht es um die Entwicklung eines neuen mathematischen Zugangs zu den Grundlagen von Wahrscheinlichkeitstheorie und Statistik. Seit den bahnbrechenden Arbeiten von Kolmogorov aus den 1930er Jahren wird die Maßtheorie als das passende mathematische Fundament betrachtet. Die Ausgangshypotheses dieses Projekts ist es nun, dass die Axiome von Kolmogorov zwar adäquat sind, aber dass sie für komplexere Probleme in der mathematischen Praxis teilweise schwer handhabbar sind. Als praktisch einfacher hat sich das in den letzten Jahren entwickelte Axiomensystem von Markovkategorien erwiesen, welches hier weiterentwickelt werden wird. Dies kann mit einer Analogie zur Computerprogrammierung gut illustriert werden: die Maschinensprache ist zwar zum Programmieren im Prinzip vollkommen ausreichend, in der Praxis ist sie für komplexere Probleme allerdings zu unhandlich, wodurch das Verwenden von menschlich verständlicheren Hochsprachen sinnvoller wird. Genauer wird es in diesem Projekt um die Entwicklung von weiteren Aspekten der Wahrscheinlichkeitstheorie mittels Markovkategorien gehen. Dazu gehört insbesondere das sogenannte Gesetz der großen Zahlen, welches eines der zentralen Ergebnisse der klassischen Theorie darstellt, und welches somit von einem alternativen Zugang wie den Markovkategorien reproduziert werden muss. Außerdem betrachtet werden sollen der Satz von de Finetti, bei dem Wahrscheinlichkeitsverteilungen mit sehr hoher Symmetrie charakterisiert werden. In der bisherigen Arbeit haben wir diesen bereits beweisen können, und zwar durch einen etwas einfacheren und intuitiv verständlicheren Beweis als mit der klassischen Maßtheorie. Noch offen sind dagegen bestimmte Varianten des Satzes für Wahrscheinlichkeitsverteilungen mit weniger Symmetrie, die in ihrer klassischen Formulierungen weitreichende Anwendungen zum Beispiel in der Kombinatorik und in der Theorie statistischer Modelle gefunden haben. In dieser Forschungsrichtung gibt es die Hoffnung, dass die Theorie der Markovkategorien auch bald Aussagen beweisen könnte, die mit den klassischen maßtheoretischen Methoden aufgrund der höheren Komplexität bisher noch nicht bewiesen werden konnten.