Characterizations of Synchronizability - in terms of road-colored graphs, Markov chains and quantum Markov processes

The thesis is dedicated to the investigation of the property of synchronizability of road-colored directed graphs, which can also be understood as deterministic finite automata. In this context, Markov chains, a special class of stochastic processes, are considered. They have a canonical representation as directed graphs and, conversely, a directed graph with a probability distribution on the outgoing edges of its vertices induces a Markov chain. Such an identification is also possible between Markov chains and road-colored directed graphs. Especially with regard to the property of synchronizability, this connection has already led to interesting results in both areas, the deepening and expansion of which is one of the main goals of this work. Moreover, it has already been shown in the field of quantum probability theory that the notion of asymptotic completeness of certain quantum Markov processes, motivated by scattering theory, is closely related to the classical idea of synchronizability. Indeed, when considering commutative systems, the synchronizability of a road-colored graph provides an equivalent characterization of the asymptotic completeness of the associated quantum Markov process. In this framework, the present thesis deals with possible generalizations of the classical concept of synchronizability in a quantum mechanical context.

Diese Thesis widmet sich der Untersuchung der Eigenschaft der Synchronisierbarkeit straßengefärbter gerichteter Graphen, die auch als deterministische endliche Automaten verstanden werden können. In diesem Rahmen werden Markovketten, eine spezielle Klasse stochastischer Prozesse, betrachtet. Diese besitzen eine kanonische Darstellung als gerichtete Graphen und auch umgekehrt induziert ein gerichteter Graph, versehen mit einer Wahrscheinlichkeitsverteilung auf den ausgehenden Kanten der einzelnen Knoten, eine Markovkette. Eine solche Identifikation ist auch zwischen Markovketten und straßengefärbten gerichteten Graphen möglich. Insbesondere hinsichtlich der Eigenschaft der Synchronisierbarkeit, hat dieser Zusammenhang bereits zu interessanten Erkenntnissen in beiden Gebieten geführt, deren Vertiefung und Ausbau eines der Hauptziele dieser Arbeit ist. Darüber hinaus wurde im Bereich der Quantenwahrscheinlichkeitstheorie bereits gezeigt, dass der aus der Streutheorie motivierte Begriff der asymptotischen Vollständigkeit bestimmter Quantenmarkovprozesse eng mit der klassischen Idee der Synchronisierbarkeit verknüpft ist. Tatsächlich liefert die Synchronisierbarkeit eines straßengefärbten Graphen bei der Betrachtung kommutativer Systeme eine äquivalente Charakterisierung der asymptotischen Vollständigkeit des zugehörigen Quantenmarkovprozesses. In diesem Rahmen befasst sich die vorliegende Thesis mit möglichen Verallgemeinerungen des klassischen Konzepts der Synchronisierbarkeit in einem quantenmechanischen Kontext.