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.

翻译：本文简短注释中，我们以非交换图的语言构建了一种稳定子形式化方法。所考虑的非交换图类通过紧群的酉表示以及在有限维希尔伯特空间上恰当选取的算子得到。此外，在此框架下，我们推广了该领域先前关于判定此类非交换图是否存在反团的结果。