In this short note we formulate a stabilizer formalism in the language of noncommutative graphs. The classes of noncommutative graphs we consider are obtained via unitary representations of compact groups, and suitably chosen operators on finite-dimensional Hilbert spaces. Furthermore, in this framework, we generalize previous results in this area for determining when such noncommutative graphs have anticliques.

翻译：在这篇短文中，我们以非交换图的语言形式化了稳定子形式。我们所考虑的非交换图类是通过紧群的酉表示以及有限维希尔伯特空间上适当选取的算子得到的。此外，在此框架下，我们推广了该领域中关于确定此类非交换图何时存在反团的已有结果。