在量子計算中，圖形狀態是一種特殊類型的多量子比特狀態，可以用圖形表示。每個量子比特由圖的一個頂點表示，每一對相互作用的量子比特之間都有一條邊。特別是，它們是代表某些類型的糾纏態的方便方式。圖態在量子糾錯碼、糾纏測量和純化以及基于測量的量子計算模型中的計算資源表征方面都很有用。

量子圖態可以用兩種等價的方式定義：通過量子電路的概念和穩定器形式主義。量子電路定義給定一個圖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