Berechnung der Graphkapazität mit Quantenmechanik und endlichen Automaten

In dieser Arbeit wird eine neue Größe, die nullfehlerfreie unitäre Kapazität, eingeführt und gezeigt, dass sie als Tensorprodukt-Wert eines Quantenspiels dargestellt werden kann. Durch die Untersuchung der Struktur endlicher Automaten wird gezeigt, dass die unitäre Kapazität innerhalb eines kontrollierbaren Faktors der Nullfehlerkapazität liegt. Dies ermöglicht neue obere Schranken durch die Sum-of-Squares-Hierarchie, die sich dem kommutierenden Operator-Wert des Spiels annähert. Unter der Vermutung, dass der kommutierende Operator-Wert und der Tensorprodukt-Wert dieses Spiels gleich sind, würde dies einen Algorithmus zur Berechnung der Nullfehlerkapazität ergeben.