---
title: Foliated Cluster State Construction
url: https://www.emergentmind.com/topics/foliated-cluster-state-construction
type: topic
---

# Foliated Cluster State Construction

Foliated cluster state construction is the procedure by which a lower-dimensional stabilizer code, most canonically a \(2\)-dimensional CSS code, is converted into a higher-dimensional cluster-state resource by replacing each code qubit with a \(1\)-dimensional teleportation chain and coupling adjacent chains so that stabilizer information is reproduced as local measurement parities. In the standard formulation, arbitrary CSS codes are first clusterized via the Tanner graph of their \(Z\)-check matrix and then stacked as alternating primal and dual sheets, yielding a \(3\)-dimensional measurement-based resource that generalizes the Raussendorf construction for the surface code [1607.02579]. Subsequent work has treated this construction both as a canonical route to fault-tolerant measurement-based quantum computation and as one member of a broader family of fault-tolerant cluster-state constructions, including bias-preserving generalized foliations, non-foliated FTCSs, and chain-complex formulations in which foliation is expressed as a tensoring operation with a \(1\)-dimensional repetition complex [2201.10566], [1810.09621], [2405.15853].

## 1. Canonical construction from CSS codes

The standard CSS-based construction begins with a code whose stabilizer generators split into \(Z\)-type and \(X\)-type sets,
\[
S_Z \in \{I,Z\}^{\otimes n}, \qquad S_X \in \{I,X\}^{\otimes n}.
\]
For an \([[n,k,d]]\) CSS code, the clusterization step uses the \(Z\)-parity-check matrix \(B_Z\). One forms a bipartite graph with one vertex for each code qubit and one ancilla vertex for each \(Z\)-type stabilizer, with edge rule
\[
(a,j)\in E \quad \text{iff} \quad [B_Z]_{a,j}=1.
\]
This graph is the Tanner graph of \(B_Z\), and its cluster-state stabilizers are
\[
C_v = X_v Z_{\mathcal N_v}.
\]
Measuring each ancilla in the \(X\) basis projects the neighboring code qubits into eigenstates of the corresponding \(Z\)-checks, while products of code-qubit-centered cluster stabilizers reproduce the \(X\)-type stabilizers because the ancilla \(Z\)-factors cancel whenever the corresponding \(X_{\vec c}\) commutes with all \(Z\)-checks. In this sense, a CSS code state is obtained from a larger bipartite cluster state by local measurements [1607.02579].

Foliation proper stacks these clusterized sheets along a time-like direction. The sheets alternate between clusterized copies of the original CSS code and clusterized copies of its dual code. If \(m\) labels sheets, then each code qubit in sheet \(m\) is connected to the corresponding code qubits in adjacent sheets \(m\pm 1\). For an \(X\)-type stabilizer \(X_{\vec c,m}\) in sheet \(m\), the product of the foliated cluster stabilizers centered on its support is
\[
C_{\vec c,m}=Z_{\vec c,m-1}X_{\vec c,m}Z_{\vec c,m+1},
\]
and multiplying by the neighboring-sheet ancilla stabilizers yields the foliated parity check
\[
\hat P_{\vec c,m}=X_{a_{\vec c,m-1}}X_{\vec c,m}X_{a_{\vec c,m+1}}.
\]
Because this parity check contains only \(X\) operators, its value is inferred directly from single-qubit \(X\)-measurement outcomes. The bulk of the foliated cluster is therefore measured in the \(X\) basis, and the two boundary sheets are left in an encoded Bell state. The construction inherits the distance of the underlying code rather than increasing it; foliation repackages the code into a measurement-based, time-extended resource [1607.02579].

## 2. Geometric and syndrome-extraction structure

A complementary description treats a foliated cluster state as a \(3\)-dimensional cell complex \(\mathcal{C}=\{C,F,E,V\}\) with a dual complex \(\mathcal{C}^*=\{\bar C,\bar F,\bar E,\bar V\}\). In the cell-complex picture used for the cubic FTCS and its generalizations, primal qubits live on faces and dual qubits on edges, or equivalently vice versa in the dual description. A general construction associates a dual qubit with every edge and a primal qubit with every face of the lattice, then connects by a graph-state bond the qubit at the center of each face with those around its boundary. This yields face stabilizers such as
\[
S_f^D = X_f \bigotimes_{e\in \partial f} Z_e,
\]
together with dual expressions obtained by exchanging primal and dual roles. Products of face stabilizers over closed surfaces eliminate the boundary \(Z\)-support and produce closed-cell stabilizers of the form
\[
S_c^P=\bigotimes_{f\in \partial(c)} X_f, \qquad S_{\bar c}^D=\bigotimes_{\bar f\in \partial(\bar c)} X_{\bar f}.
\]
These are exactly the stabilizers recoverable after all bulk qubits are measured in the \(X\) basis, because only \(X\)-support survives the measurement pattern [1810.09621].

This geometric language explains the operational role of foliation. The resulting \(3\)-dimensional cluster state is a fault-tolerant channel between input and output boundary codes. Syndrome extraction is encoded statically into the resource rather than produced dynamically by repeated rounds of ancilla interaction. The syndrome graph is the \(1\)-skeleton of the relevant dual cell complex: vertices represent closed stabilizers, edges represent measured qubits, and a single qubit error flips the parity at the two adjacent syndrome vertices, so errors appear as chains with syndrome endpoints. Logical information is carried by membrane-like correlation surfaces extending through the \(3\)-dimensional complex. In the standard foliated setting, the structure is layered and prismatic: foliation of a square-lattice surface code gives the cubic FTCS, and more generally foliation of an arbitrary \(2\)-dimensional surface code gives a \(3\)-dimensional FTCS made of layers of prismatic cells, with a natural input layer and output layer carrying the same \(2\)-dimensional surface code [1810.09621].

## 3. Bias-preserving generalized foliation

The standard all-\(|+\rangle\), all-\(CZ\), all-\(X\)-measurement foliation does not preserve a physical bias toward dephasing errors. In the ordinary \(1\)-dimensional teleportation chain, the teleported logical operators mix physical \(X\)-measurement outcomes into the logical \(Z\) bookkeeping, so a physical \(Z\) fault on a measured qubit can act as a logical \(X\) error. A bias-preserving construction avoids this by enlarging the cluster-state formalism to two species of qubits. \(X\)-type qubits are initialized in \(|+\rangle\) and measured in the \(X\) basis; \(Z\)-type qubits are initialized in \(|0\rangle\) and measured in the \(Z\) basis. Entangling gates are chosen accordingly: \(CZ\) between two \(X\)-type qubits and \(CX\), with the \(X\)-type qubit as control and the \(Z\)-type qubit as target, between \(X\)-type and \(Z\)-type qubits. The resulting \(X\)-start and \(Z\)-start teleportation chains have the crucial property that the teleported logical \(X\) depends only on physical \(X\) measurements and the teleported logical \(Z\) depends only on physical \(Z\) measurements. This preserves the distinction between dominant \(Z\)-type noise and subdominant bit-flip-causing faults [2201.10566].

The flagship example is the XZZX cluster state, obtained by foliating the XZZX surface code with an alternating grid of \(X\)-start and \(Z\)-start chains and \(X\)-type ancillas. Its local cell stabilizer is mixed rather than all-\(X\): the product of the \(X\) operators on the \(X\)-type qubits and the \(Z\) operators on the \(Z\)-type qubits is a stabilizer of the state. The construction retains degree-\(4\) connectivity, but dominant \(Z\) errors generate syndrome strings restricted to disconnected \(2\)-dimensional planes rather than arbitrary \(3\)-dimensional paths. Under the circuit-level biased Pauli noise model used in that work, the threshold exceeds \(2.2\%\) for large bias \(\eta \gtrsim 1000\), whereas the usual RHG cluster state under \(Z\)-biased noise remains below \(1.0\%\). This is the sense in which the generalized construction is bias-preserving rather than merely code-equivalent under local Clifford deformation [2201.10566].

## 4. Construction beyond conventional foliation

Foliation is a powerful but restricted subclass of fault-tolerant cluster-state construction. One line of work characterizes conventional foliated FTCSs by their layered prism decomposition and then exhibits non-foliated FTCSs that still support syndrome extraction and logical correlation surfaces but cannot be interpreted as a single \(2\)-dimensional code undergoing multiple rounds of stabilizer measurement. In that formulation, any space-filling \(3\)-dimensional cell complex defines a FTCS. The constructive operation called splitting acts on the syndrome graph by replacing a vertex with multiple vertices joined by new edges; in the dual cell-complex picture, this inserts new faces that cut cells into multiple cells. Dual and primal splits commute, so the two sectors can be modified independently. The diamond FTCS, triamond FTCS, and doubled-edge cubic FTCS are presented as explicit non-foliated examples, and the triamond FTCS reaches degree \(3\) in the syndrome graph while remaining self-dual [1810.09621].

A more systematic generalization treats a fault-tolerant cluster state itself as the primary object and builds it from a length-\(3\) chain complex
\[
C_3 \xrightarrow{\partial_3} C_2 \xrightarrow{\partial_2} C_1 \xrightarrow{\partial_1} C_0.
\]
For geometric constructions, \(C_3,C_2,C_1,C_0\) are the \(3\)-cells, faces, edges, and vertices of a \(3\)-dimensional tiling. The underlying graph state is bipartite with parts \(C_2\) and \(C_1\), and biadjacency matrix \(\partial_2\); qubits indexed by \(C_2\) are dual qubits, while qubits indexed by \(C_1\) are primal qubits. In this framework, foliated codes appear as a special subclass obtained by embedding a length-\(2\) CSS complex into a special length-\(3\) complex representing time evolution. However, the framework also contains constructions that cannot be realized as foliations of any code. The central example is a new self-dual fault-tolerant cluster state whose underlying graph state has degree \(3\); that work emphasizes that such a construction necessarily cannot be realized as the foliation of any code. The broader design problem is then recast as a search over crystal structures and cellulations, with self-duality and low graph-state degree emerging as competing architectural desiderata [1909.11817].

## 5. Assembly primitives, probabilistic stitching, and architectural overhead

Although many implementation papers do not discuss foliated cluster states explicitly, they supply the primitives by which foliated resources can be assembled. At the encoded-graph-state level, edge local complementation can be implemented in a restricted graph-state setting by applying Hadamard gates to the two edge qubits, and in the five-qubit-code construction a single physical \(CZ\) operation together with local operations is sufficient to create a logical \(CZ\) operation between two logical qubits. This is indirectly relevant to foliation because it provides a compact primitive for generating encoded graph-state layers and encoded entangling links [1105.3921]. In photonic constructions, generalized type II fusion gives a systematic classification of how two cluster fragments can be stitched together: some successful branches yield cluster states up to local corrections, some yield weighted graph states, and some yield only product states. However, the success probability for obtaining a maximally entangled state is bounded by \(50\%\), the bound is saturated only under a specific matrix condition on the optical unitary, and the only states obtainable with \(100\%\) success are product states. This suggests that generalized fusion enlarges the class of usable successful branches but does not remove the probabilistic bottleneck for genuine cluster-compatible inter-layer links [2406.15666].

Resource generation can also be analyzed at the architectural level. In just-in-time cluster growth with probabilistic entangling operations, the required qubit coherence time satisfies
\[
T_2=\alpha(\tau+\langle N\rangle+m),
\]
with geometry-dependent penalties that worsen as additional transverse links are required. That analysis is not specific to foliation, but it is directly relevant to layered cluster-state construction because foliated architectures also consume one front of the resource while future graph fragments are still being assembled [1305.7446]. Qubus-based layer-by-layer generation of \(n\times m\) cluster states gives concrete operation-count formulas, including \(3nm-2n-\frac{3m}{2}+3\) when previously created links are not destroyed and \(\frac{8nm-4n-4m-8}{3}\) when one allows a more complicated scheme that can destroy links. The related “Lego brick” construction reduces the asymptotic operation count to \((3+2/b)mn-2(m+n)\) for brick length \(b\). These results concern \(2\)-dimensional clusters rather than foliated ones, but they are directly suggestive for repeated-slice generation because they formalize modular assembly, boundary sharing, and bus-reuse scheduling [1111.1774], [1005.1621].

At larger scale, several architectures realize or approximate foliated resources by stochastic growth. One percolation-based architecture for atomic memories generates a random graph state with missing edges on a chosen lattice and uses single-qubit-measurement renormalization to obtain a regular universal cluster state with constant overhead once the bond probability exceeds the percolation threshold; for a square lattice the threshold is \(p_c=0.5\), and the time to percolation is
\[
t_c=t_0 d\ln(1-p_c)/\ln(1-p_0).
\]
A complementary photonic analysis studies a streaming \(L_t\times L\times L\) cluster with one time-like direction and two spatial directions, showing that a finite physical depth \(W\) of order \(10\)–\(20\) layers can suffice for long-range online pathfinding in the idealized lossless model. Most directly, a neutral-atom protocol constructs an RHG cluster state by first generating star-graph resource states via counterfactual carving and then connecting them by heralded cavity-mediated C-phase gates; with cooperativity \(C\sim 160\), star size \(N\sim 15\), and non-carving infidelity \(\varepsilon_N\sim 3\times 10^{-5}\), the simulations place both Pauli noise and loss-like edge failures about a factor of ten below the cited RHG thresholds. Although these works are not framed primarily in the language of foliation, they are directly relevant as physical routes to assembling the same \(3\)-dimensional entanglement scaffold that a foliated-code description uses [1704.07292], [1706.07325], [2507.20009].

## 6. Chain-complex, symmetry, and bulk–boundary formulations

A recent chain-complex reformulation makes the topology of foliated cluster states explicit. A CSS code is written as the chain complex
\[
0 \overset{\delta}{\longrightarrow} C_Z\overset{\delta_Z}{\longrightarrow} C_\text{q} \overset{\delta_X}{\longrightarrow} C_X \overset{\delta}{\longrightarrow} 0,
\]
where \(C_\text{q}\) labels code qubits, \(C_Z\) labels \(Z\)-stabilizers, and \(C_X\) labels \(X\)-stabilizers. Foliation introduces a \(1\)-dimensional direction \(w\) and tensors this CSS complex with the cell complex of a \(1\)-dimensional lattice, giving a new complex whose qubit-bearing groups are
\[
\bm C_{Q_1}=\bm C_Z\oplus \bm C_{\text q,w}, \qquad
\bm C_{Q_2}=\bm C_\text q\oplus \bm C_{X,w}.
\]
The bipartite cluster graph is then encoded by the incidence matrix of the foliated differential \(\bm\delta\), and the cluster-state stabilizers take the generalized form
\[
K(\bm\sigma)=X(\bm\sigma)Z(\bm\delta \bm\sigma), \qquad
K(\bm\tau)=X(\bm\tau)Z(\bm\delta^* \bm\tau),
\]
for \(\bm\sigma\in \bm\Delta_{Q_1}\) and \(\bm\tau\in \bm\Delta_{Q_2}\). In this formulation, the standard foliated cluster state is not merely a graph-state stack but the tensor-product complex of a CSS code with a \(1\)-dimensional repetition-code complex [2405.15853].

This chain-complex description is used to argue that the foliated cluster state has symmetry-protected topological order protected by generalized global symmetries supported on cycles of the foliated complex. For open boundaries in the foliation direction, the original CSS code appears on the boundary after measuring all bulk qubits except the code-qubit boundary layers in the \(X\) basis and postselecting on \(X=+1\). Bulk cycles induce boundary logical operators, and the gauge transformations of the bulk and boundary partition functions match, which is presented as an explicit anomaly-inflow relation between the CSS code and its foliated cluster-state bulk. The same machinery extends to fractonic models, with worked examples including the \(2\)-dimensional plaquette Ising model, the X-cube model, and the checkerboard model. In this view, foliated cluster state construction is simultaneously a graph-state preparation protocol, a tensor-product operation on chain complexes, and a bulk–boundary mechanism by which a measured higher-dimensional cluster reproduces the original code on its boundary [2405.15853].

Source: https://www.emergentmind.com/topics/foliated-cluster-state-construction