Ziqi Xu

How far do measurement correlations reach in a cluster state?

22 September 2026

The 1D cluster state is the workhorse of measurement-based quantum computing. Its stabilizers are \(Z_{i-1}X_iZ_{i+1}\), and in the computational basis its amplitudes are just signs:

\[ \psi(x_1,\dots,x_N) = 2^{-N/2}\,(-1)^{\sum_i x_i x_{i+1}}. \]

Measure every qubit in the \(Z\) basis and you get independent, uniformly random bits. The same happens in the \(X\) basis. Tilt the measurement basis to an angle \(\theta\) somewhere in between, though, and the outcomes become correlated. For my thesis I wanted to know how far those correlations reach. The answer tells you how much memory a model needs to reproduce the distribution one site at a time, which is exactly how autoregressive neural networks such as RNNs generate samples.

Measuring “how far”

Take a block of consecutive outcomes \(X_0, X_1, \dots, X_{m+1}\). The conditional mutual information

\[ I_m = I(X_0 : X_{m+1} \mid X_1, \dots, X_m) \]

is what the two ends still share once you know everything in between. If \(I_m\) decays like \(e^{-m/\xi}\), a model that looks back about \(\xi\) sites already captures most of the dependence.

Computing it exactly

The cluster state is a matrix product state with bond dimension 2, so there is no need to sample. Rotating each physical leg by \(R_y(\theta)\) gives one \(2\times2\) matrix \(B^x\) per outcome \(x\). The Born-rule transfer matrix is \(E = \sum_x \bar B^x \otimes B^x\), and the probability of any block follows from its dominant left and right eigenvectors. For \(m\) up to 12 I simply enumerate all \(2^{m+2}\) bitstrings; a scan over 31 angles takes about 20 seconds on a laptop.

To be sure the transfer-matrix code is right, the tests compare it with a brute-force calculation on an explicit state vector. The probabilities agree to \(10^{-12}\).

What comes out

log10 of the conditional mutual information versus buffer size m and angle theta

Three things stand out.

Next

In the thesis I also train RBM, RNN and MPS-based models on this state and compare how easily each one learns it. That comparison is in Expressive is not the same as learnable.

The code is cluster_mps_cmi_length_scan.py in my nqs_project repository.

← All writing