---
title: Graph-Structured States
url: https://www.emergentmind.com/topics/graph-structured-states
type: topic
---

# Graph-Structured States

Graph-structured states are multipartite quantum states for which a graph specifies either the interaction pattern, the stabilizer structure, the nullifier constraints, or a more general edge-operator construction. In the canonical qubit setting, a simple undirected graph \(G=(V,E)\) determines a unique graph state \(|G\rangle\) both as the common \(+1\) eigenstate of commuting vertex stabilizers and as the result of applying controlled-\(Z\) gates along the edges to \(|+\rangle^{\otimes |V|}\) [1110.5681]. This construction has been extended in several directions: to qudits via symmetric complex Hadamard matrices, to continuous-variable Gaussian states via nullifiers, to directed and weighted graphs through generalized edge operators, and to code constructions that go beyond stabilizer codes [1502.07195]. The subject therefore spans a core stabilizer formalism, a family of representation theorems, and a set of operational protocols for preparation, transformation, distribution, and verification.

## 1. Canonical graph states

For a simple undirected graph \(G=(V,E)\) on \(n=|V|\) vertices, the standard \(n\)-qubit graph state is defined by
\[
|G\rangle=\Bigl(\prod_{(i,j)\in E}\mathrm{CZ}_{ij}\Bigr)|+\rangle^{\otimes n},
\]
with \(|+\rangle=(|0\rangle+|1\rangle)/\sqrt2\) and \(\mathrm{CZ}=\mathrm{diag}(1,1,1,-1)\) [1510.03742]. Equivalently, it is the unique simultaneous \(+1\)-eigenstate of the commuting stabilizer generators
\[
K_i=X_i\prod_{j\in N(i)}Z_j,\qquad i=1,\dots,n,
\]
where \(N(i)\) is the neighborhood of vertex \(i\) [2212.12102]. The stabilizer group generated by \(\{K_i\}\) is abelian and has size \(2^n\) [2212.12102].

This dual circuit–stabilizer description is central because it makes graph states simultaneously combinatorial and algebraic. In the circuit picture, the edge set controls entangling gates; in the stabilizer picture, the same graph controls the support pattern of Pauli generators. Several standard resource states arise as special graphs. Complete graphs are locally equivalent to GHZ states, and star graphs likewise give GHZ-type states under local unitaries [2406.09956]. Path, cycle, and lattice graphs produce the 1D, ring, and cluster-state families widely used in measurement-based quantum computation and error correction [2007.13126].

A broader axiomatic formulation replaces the specific qubit-CZ choice by a map \(\Phi:G\mapsto |G\rangle\) satisfying separability on disjoint unions, covariance under graph isomorphism, and a universal edge operator \(U\) that implements edge addition [1110.5681]. Under these axioms, the total Hilbert space is forced to have tensor-product form \(\mathcal H=\mathcal H_1^{\otimes n}\), and the state of a graph is built by applying \(U\) to every occupied edge of the empty-graph product state \(|\psi\rangle^{\otimes n}\) [1110.5681]. Standard qubit graph states are recovered by choosing \(\mathcal H_1=\mathbb C^2\), \(|\psi\rangle=|+\rangle\), and \(U=\mathrm{CZ}\).

## 2. Generalizations beyond the qubit stabilizer setting

A direct generalization replaces the qubit Hadamard gate by a symmetric complex Hadamard matrix \(H\in\mathbb C^{d\times d}\) satisfying \(H H^\dagger=dI_d\) and \(H^T=H\). With the two-qudit controlled-phase gate defined by
\[
C_H|i,j\rangle=h_{ij}|i,j\rangle,
\]
one sets
\[
U_{G,H}=\Bigl(\prod_{(i,j)\in E} C_H^{(i,j)}\Bigr)H^{\otimes n},\qquad |G,H\rangle=U_{G,H}|0\rangle^{\otimes n},
\]
thereby obtaining generalized graph states on \(n\) qudits [1502.07195]. When \(d=2\) and \(H\) is the qubit Hadamard, this reduces to the usual graph state; when \(H=F_d\), the \(d\)-point discrete Fourier matrix, one recovers the standard qudit graph state [1502.07195].

This Hadamard-matrix construction shifts the emphasis from abelian Pauli stabilizers to encoding circuits determined by the pair \((G,H)\). It also produces a natural generalization of the Pauli \((X,Z)\) pair through the notion of an \(S\)-symmetry: a permutation–diagonal pair \((P,D)\) satisfying \(PHD=H\) [1502.07195]. These symmetries induce local stabilizers of the state, and in the qubit Fourier case they reduce to the familiar \(X\) and \(Z\) stabilizers [1502.07195].

The same axiomatic framework accommodates directed and weighted graphs by relaxing the symmetry condition on the edge operator. For directed graphs, one uses generally distinct operators \(V(x,y)\neq V(y,x)\) subject to a set of commutativity constraints; for weighted graphs, one lets the operator \(U_{ij}\) depend on edge parameters while preserving mutual commutativity [1110.5681]. A separate, noncommutative directed-edge construction uses the two-qudit gate \(GR\), which requires an orientation and a vertex ordering. In that setting, complete directed graphs with hierarchical orientation generate totally antisymmetric multipartite states for odd \(n\), whereas the ordinary undirected CZ construction yields full permutation symmetry if and only if the underlying graph is complete [2601.19857].

Continuous-variable graph states provide another extension. For \(M\) modes with quadratures \((\hat x_j,\hat p_j)\) and real symmetric adjacency matrix \(\mathbf A\), the ideal state is the joint zero-eigenstate of the nullifiers
\[
\hat n_i=\hat p_i-\sum_{j=1}^M A_{ij}\hat x_j,\qquad i=1,\dots,M.
\]
In practice one prepares Gaussian states with small nullifier variances \(v_i=\langle \hat n_i^2\rangle\) [2212.11961]. This nullifier formalism places graph-structured states within the broader theory of Gaussian cluster states and networked bosonic entanglement.

## 3. Entanglement, symmetry, and local equivalence

Generalized Hadamard-based graph states display a strong local entanglement property: for any connected \(G\) and any symmetric Hadamard \(H\), each single-qudit reduced density matrix of \(|G,H\rangle\) is maximally mixed, \(I_d/d\) [1502.07195]. A key ingredient is the star-graph case, which is locally unitary equivalent to the \(n\)-qudit GHZ state
\[
|\mathrm{GHZ}_{n,d}\rangle=\frac1{\sqrt d}\sum_{k=0}^{d-1}|k\rangle^{\otimes n}.
\]
The same work shows that if \(H=H_1\otimes H_2\), then \(|G,H\rangle\) factorizes, up to qudit reordering, as \(|G,H_1\rangle\otimes|G,H_2\rangle\) [1502.07195].

Questions of local equivalence have been central to the theory. For standard graph states, local Clifford equivalence is completely captured by local complementation of the underlying graph [2511.22271]. A more subtle issue is local unitary equivalence. The conjecture that LU-equivalent graph states are always LC-equivalent is false in general; a 27-vertex counterexample exists [2511.22271]. Nevertheless, the structure is far from arbitrary. A hierarchy of \(r\)-local complementations has been introduced that fully captures LU-equivalence, yields a quasi-polynomial algorithm for deciding LU-equivalence, and implies that LU=LC for graph states on at most 19 qubits [2511.22271]. Independently, a marginal-based analysis increases the bound to 10 qubits in the setting where qubit permutations are allowed [2406.09956].

Certain graph families are especially rigid. Circle graphs are closed under \(r\)-local complementation, so the only graph states LU-equivalent to circle graph states are circle graph states themselves; on this family, LU-equivalence coincides with LC-equivalence [2603.08847]. For bipartite circle graph states there is a one-to-one correspondence with planar code states, and this correspondence underlies the statement that measurement-based quantum computation on all circle graph states is efficiently classically simulable [2603.08847].

Symmetry statements also admit graph-theoretic characterizations. In the standard CZ-based construction, a graph state is invariant under all particle permutations if and only if the graph is complete [2601.19857]. In the directed \(GR\)-based construction, complete directed graphs with appropriate orientations generate fully antisymmetric states for odd \(n\) [2601.19857]. These results tie exchange symmetry directly to completeness and orientation, rather than to an external symmetrization postulate.

## 4. Structural representations and invariants

Graph states admit compressed algebraic descriptions that exploit graph topology. One reduced representation selects a subset of “hub” vertices \(B\subseteq V\) such that every edge appears in the neighborhood of at least one hub, and writes the full state as
\[
|\Psi_G\rangle = 2^{-b/2}\,S_B[K]\,|0\rangle^{\otimes B}\otimes|+\rangle^{\otimes (V\setminus B)},
\qquad
S_B[K]=\prod_{i\in B}(I+K_i),
\]
with \(b=|B|\) [2212.12102]. For an even ring one can choose \(b=n/2\); for a star, \(b=1\), so the description collapses from \(n\) generators to just one [2212.12102]. The algebraic expansion cost then grows like \(2^b\) rather than \(2^n\) [2212.12102].

Generalized graph states also admit a PEPS interpretation. Each edge carries the bond state
\[
|\mathrm{bond}\rangle_{ij}=\frac1{\sqrt d}\sum_{r,s=0}^{d-1}h_{rs}|r\rangle_i\otimes|s\rangle_j,
\]
and each vertex is projected by a map determined by the local copy of \(H\), reproducing the amplitude formula of \(|G,H\rangle\) [1502.07195]. This places the Hadamard-based construction in direct contact with tensor-network methods.

Topological stabilizer states can likewise be recast graph-theoretically. The toric code graph is composed of only two kinds of subgraphs, star graphs and half graphs [2103.12268]. In this representation, topological order is identified with the existence of multiple star graphs, exposing a relation between repetition-code structure and the toric code [2103.12268]. The same graph structure yields a log-depth circuit for state preparation under geometrically non-local gates and can be reduced to constant depth using ancillae and measurements at the cost of increased circuit width [2103.12268].

Marginals provide another structural lens. For a subset \(S\subset V\), the reduced stabilizer
\[
S_S=\{\,s\in S(G): \mathrm{supp}(s)\subseteq S\,\}
\]
has size \(2^{d_S}\), and the reduced state can be written
\[
\rho_S=\frac1{2^{|S|}}\sum_{s\in S_S}s,
\]
with \(\mathrm{rank}\,\rho_S=2^{|S|-d_S}\) [2406.09956]. The quantities \(d_S\), their frequency vectors \(\ell_k\), and the marginal-dimension tensors \(T^k\) are LU-invariants. These invariants uniquely identify the entanglement classes of every graph state up to 8 qubits, although they cease to be complete for larger systems [2406.09956].

## 5. Transformations, networking, and certification

Graph states support a rich calculus of graph transformations implemented by low-depth quantum operations. As a quantum data structure for undirected graphs, they permit edge complementation by a single \(\mathrm{CZ}_{a,b}\), neighborhood complementation by one CNOT, and local complementation by the five-gate unitary \(FX_{a,b}=(H_a\otimes H_b)\mathrm{CZ}_{a,b}(H_a\otimes H_b)\), each with \(O(1)\) gate complexity and depth \(O(1)\) [1510.03742]. Larger interset and intraset complementations can be carried out ancilla-assisted in time linear in the set size [1510.03742]. Equality testing, automorphism testing, vertex-comparison tests, and full adjacency-matrix readout also admit explicit quantum procedures; full readout consumes \(O(N)\) copies, with total expected copies used \(4N+1\) [1510.03742].

Bell-state measurements induce another transformation theory. For graph states, a complete set of fusion rules has been derived for five inequivalent Bell-fusion success cases, each expressed as an update rule for the neighborhoods of vertices relative to the fused qubits \(A\) and \(B\) [2405.02414]. These rules provide a set-algebra description of how stabilizer graphs transform under probabilistic fusions and are intended for constructing graph codes or simulating fusion networks [2405.02414].

In network settings, graph states can be distributed rather than prepared in situ. The Graph State Transfer protocol begins from a root node, creates a local copy of \(|G\rangle\), and moves the graph-state qubits to their destination nodes by sequences of connection transfers along selected network paths [2009.10888]. The number of EPR pairs consumed is
\[
M=\sum_{v\in S\setminus\{r\}}\mathrm{dist}(r,v),
\]
with the worst-case upper bound
\[
M\le
\begin{cases}
(3n^2-2n)/8,& n\text{ even},\\[4pt]
(3n^2-4n+1)/8,& n\text{ odd},
\end{cases}
\]
and the completion-time minimization reduces to a network-flow problem testable in polynomial time, \(O(n^3)\) [2009.10888].

Verification protocols address adversarial sources and dishonest network parties. One protocol uses only multiple copies of the graph state, local Pauli measurements, and classical communication, and is globally efficient for a large family of useful graph states including cluster states, GHZ states, and cycle graph states [2007.13126]. For general graph states, efficiency with respect to the security parameter is maintained, though there is a cost increase with the graph size [2007.13126].

## 6. Physical realizations and neighboring families

Deterministic generation architectures have been proposed for photonic graph states using quantum-dot emitters coupled to a waveguide, optical fiber delay lines, passive CZ scattering blocks, and at most one optical switch [2206.11307]. In a 3D graph state on a Raussendorf–Harrington–Goyal lattice, the reported circuit-error threshold is \(0.53\%\); the upper bound on correctable loss is \(1.24\) dB for direct generation and \(0.24\) dB for indirect construction from a simple cubic cluster state [2206.11307]. These figures place graph-structured states directly within fault-tolerant photonic architectures.

Continuous-variable graph states have been engineered in atomic spin ensembles using global photon-mediated interactions in an optical cavity combined with local spin rotations [2212.11961]. A four-mode square graph state with adjacency matrix
\[
\mathbf A_\square=
\begin{pmatrix}
0 & 1 & 0 & 1\\
1 & 0 & 1 & 0\\
0 & 1 & 0 & 1\\
1 & 0 & 1 & 0
\end{pmatrix}
\]
was realized through a four-pulse sequence of local rotations, cavity squeezing, and global spinor rotations [2212.11961]. The measured nullifier variances were approximately \(\{0.58,0.65,0.61,0.68\}\), averaging \(0.63\pm0.07\), and bidirectional EPR steering was reported with \(E_{L\to R}\approx0.68\) and \(E_{R\to L}\approx0.66\) [2212.11961].

Not all graph-structured quantum states are graph states in the stabilizer sense. The \(A_\alpha\)-graph states are density operators defined by
\[
\rho_\alpha^{A_G}=\frac1{\alpha d_G}\bigl[\alpha D+(1-\alpha)A_G\bigr],
\]
where \(A_G\) is the adjacency matrix, \(D\) the degree matrix, and \(\alpha\in(0,1]\) [2512.15686]. These states are explicitly different from the standard graph states arising from stabiliser formalism [2512.15686]. Their positivity is characterized by the smallest eigenvalue of \(A_G\) and the minimum degree, and their entanglement can be detected through PPT conditions and the \(p_3\)-PPT criterion expressed in graph invariants such as \(\|A_G\|_F\), degree sums, and triangle counts in the partial-transpose graph [2512.15686].

Taken together, these constructions show that “graph-structured states” names a family of theories rather than a single formalism. At one pole lies the orthodox stabilizer graph state, exactly specified by a simple graph and controlled-\(Z\) entangling gates; at the other lie qudit, continuous-variable, directed, weighted, noncommutative, and mixed-state generalizations in which the graph continues to organize locality, symmetry, and correlation, but no longer fixes a unique Pauli-stabilizer description.

Source: https://www.emergentmind.com/topics/graph-structured-states