Clifford算子作用于稳定子态的图表示

我们引入了稳定子态的一种图形表示，并将Clifford算子作用于稳定子态的变换转化为相应稳定子态图上的图操作。我们的稳定子图由实心与空心节点构成，节点间有（无向）边，并且单个节点上附有权环与符号。我们发现局域Clifford变换完全由节点上及沿边的局域补、环补、以及节点类型或符号的改变来描述。此外，我们证明了一小组等价规则可生成对应于给定稳定子态的所有图；为此我们构造了一个用于判定任意两个稳定子图是否相等的高效过程。