图形状态

在量子计算中，图形状态是一种特殊类型的多量子比特状态，可以用图形表示。每个量子比特由图的一个顶点表示，每一对相互作用的量子比特之间都有一条边。特别是，它们是代表某些类型的纠缠态的方便方式。图态在量子纠错码、纠缠测量和纯化以及基于测量的量子计算模型中的计算资源表征方面都很有用。

量子图态可以用两种等价的方式定义：通过量子电路的概念和稳定器形式主义。量子电路定义给定一个图G=(V,E){displaystyleG=(V,E)}，具有顶点集的图。{displaystyleU{{a,b}}是两个受控于Z的相互作用。｝是两个顶点（对应于两个量子比特）之间的受控-Z相互作用

下面是一个替代性的等价定义，它利用了稳定器形式主义。定义一个算子{displaystyle{left|Grightrangle}}被定义为同时存在的图状态。被定义为同时存在的+1{displaystyle+1}的特征态。-的特征值特征状态。

关于这两个定义的等价性的证明，可以在下面找到。

如果G=相应的量子态是{displaystyle{left|K_{3}rightrangle}}是局部等价的。彼此是局部等价的，也就是说，可以通过应用单量级的单元变换来映射到彼此之间。事实上，切换{displaystyleσ_{z}}在中间量子位上的稳定器组。在中间的量子位上，将一个的稳定器组映射到另一个的稳定器组。更一般地说，两个图态是局部等价的，当且仅当co