---
title: Measurement-Induced Complexity Transition
url: https://www.emergentmind.com/topics/measurement-induced-complexity-transition
type: topic
---

# Measurement-Induced Complexity Transition

Searching arXiv for recent and foundational papers on measurement-induced complexity transitions and closely related formulations.
Measurement-induced complexity transition denotes a sharp change in the classical or operational complexity associated with monitored quantum systems as a measurement control parameter is varied. Across the literature, the term does not refer to a single invariant definition; rather, it encompasses several rigorously formulated transitions in which measurements reorganize simulability, learnability, observability, or state complexity. In one line of work, the transition is a sharp change in the classical simulation complexity of single-qubit measurements on $k$-regular graph states, with easy regimes at $k\le 2$ and $k\ge n-3$ and a hard regime for $3\le k\le n-4$ [2212.10582]. In monitored random circuits, related transitions arise when changing measurement rate or strength, producing entangling versus disentangling phases and corresponding changes in classical decoding, learnability, or exact state complexity [2305.15475], [2311.00058], [2502.01735]. Other formulations treat measurement complexity itself—the circuit depth of a readout—as the control parameter governing a hidden-to-visible transition in accessible Fisher information [2606.09765]. A unifying theme is that measurements do not merely reduce entanglement; depending on architecture, measurement type, and complexity notion, they can induce sharp thresholds in computational hardness, inferential power, and effective classical description.

## 1. Graph-state formulation and sharp regularity thresholds

A precise and fully characterized instance appears in the study of locally rotated $k$-regular graph states, where the task is to simulate arbitrary single-qubit measurements on graph states associated to $k$-regular graphs on $n$ qubits [2212.10582]. An $n$-qubit graph state $\lvert G\rangle$ is defined by
\[
\lvert G\rangle \;=\; \prod_{(i,j)\in E} \mathrm{CZ}_{ij} \; \lvert +\rangle^{\otimes n},
\]
with stabilizer generators
\[
K_i \;=\; X_i \prod_{j\in N(i)} Z_j.
\]
The simulation problem considers a final layer of arbitrary single-qubit rotations $U_1\otimes\cdots\otimes U_n$ followed by computational-basis measurements, with output probabilities
\[
p_x(G,\mathsf{U}) \;=\; \big|\langle x|\mathsf{U}|G\rangle\big|^2.
\]

Within this formulation, the paper proves a sharp complexity transition as the regularity parameter $k$ is varied from $1$ to $n-1$ [2212.10582]. The easy regime theorem states that for $k\le 2$ and $k\ge n-3$, locally rotated $k$-regular graph states have constant entanglement width and admit polynomial-time classical simulation, including exact probability computation up to multiplicative error and sampling. The hard regime theorem states that for every $3\le k\le n-4$, there exist locally rotated $k$-regular graph states such that approximating output probabilities $p_x(G,\mathsf{U})$ up to constant multiplicative error is #P-hard, and the entanglement width satisfies $ew(|G\rangle)=\Omega(\log n)$ [2212.10582].

This yields a sharply delineated phase structure: easy at $k\le 2$, hard for $3\le k\le n-4$, and easy again at $k\ge n-3$ [2212.10582]. The critical points are identified as $k=3$, which marks the onset of MBQC universality and intractability, and $k=n-3$, which marks the return to bounded-width tractability. A central structural ingredient is a duality between low and high regularity: taking graph complements maps $k$ to $n-1-k$, and bounded rank width is preserved under complement, explaining why complements of $1$- and $2$-regular graphs are again classically easy [2212.10582].

In this setting, “measurement-induced” refers to the computational task induced by arbitrary single-qubit product measurements on a static entangled resource state. The transition is not driven by measurement rate, but by the entanglement structure that measurements probe and exploit. The paper explicitly contrasts this with monitored random-circuit transitions: here one fixes a family of graph states and varies regularity, while the measurements remain arbitrary single-qubit product measurements [2212.10582].

## 2. Entanglement width, tensor-network cost, and MBQC hardness

The graph-state formulation admits an exact entanglement-theoretic characterization. For a bipartition $A|B$ of the vertex set, with $\Gamma_{A,B}$ the cross-adjacency submatrix over $\mathbb{F}_2$, the Schmidt rank and von Neumann entropy are
\[
\chi_{A|B} \;=\; 2^{\mathrm{rank}_{\mathbb{F}_2}(\Gamma_{A,B})},\qquad
S(A) \;=\; \mathrm{rank}_{\mathbb{F}_2}(\Gamma_{A,B}).
\]
Thus, bipartite entanglement in graph states is determined exactly by the $\mathbb{F}_2$-rank of the cross-adjacency [2212.10582].

The complexity-relevant quantity is entanglement width,
\[
ew(|\psi\rangle) \;=\; \min_{T}\;\max_{e\in T}\; S\big(|\psi\rangle_{\!A_e|B_e}\big),
\]
defined via binary tree decompositions. For graph states, $ew(|G\rangle)=rw(G)$, the graph rank width, and also equals the Schmidt-rank width [2212.10582]. Tree-tensor-network contraction then computes probabilities and samples in time $\mathrm{poly}(n,2^{ew(|G\rangle)})$, so bounded entanglement width implies polynomial-time classical simulation [2212.10582].

This directly explains the easy regimes. For $k=1$, the graph is a disjoint union of edges; for $k=2$, it is a disjoint union of cycles. These have bounded tree width, hence bounded rank width and $ew(|G\rangle)=O(1)$ [2212.10582]. By complement duality, the same bounded-width conclusion extends to $k\in\{n-3,n-2,n-1\}$ [2212.10582]. For the complete graph $K_n$, the paper also gives a specialized polynomial-time algorithm based on Hamming-weight symmetry, reducing amplitude evaluation to a recursion with $O(n^2)$ paths [2212.10582].

The hard regime is established through MBQC resource-state constructions and postselection-based hardness reductions. For $k=3$ and $k=4$, toric hexagonal and toric square lattices furnish universal MBQC resource states. For $4<k\le n/2$, the paper constructs explicit $k$-regular parent graphs by connecting two toric square lattices with a bipartite gadget whose existence is guaranteed by the Gale–Ryser theorem; deleting one torus reduces to a toric square lattice, preserving #P-hardness of multiplicative probability approximation [2212.10582]. For $n/2<k\le n-4$, complement duality combined with local complementation and vertex deletion extends hardness to high regularity [2212.10582].

The complexity-theoretic consequence is explicit: approximating certain output probabilities is #P-hard, and by Stockmeyer’s theorem an efficient classical sampler would imply a collapse of the polynomial hierarchy [2212.10582]. The constructions are worst-case over graphs, while average-case hardness over local rotations follows through worst-to-average-case reductions cited there [2212.10582]. Under additional assumptions, entanglement-width lower bounds strengthen from $\Omega(\log n)$ to $\omega(\log n)$ assuming $BPP\subsetneq P^{\#P}$, and further to $\Omega(n^\delta)$ or $\Omega(n^{1/2})$ under ETH or SETH, respectively [2212.10582].

## 3. Monitored random circuits: entanglement phases and exact state complexity

A distinct formulation studies monitored random circuits on a one-dimensional chain with nearest-neighbor brickwork Haar-random two-qubit gates and probabilistic $Z$-basis measurements at rate $p$ [2305.15475]. The output is the normalized conditional state of the monitored circuit, conditioned on the full measurement record. Two exact state-complexity notions are defined: exact $C$-complexity, the minimal number of two-qubit gates required to prepare a state from $\lvert 0^n\rangle$, and exact $C_m$-complexity, which also allows single-qubit $Z$-basis measurements with post-selection while counting only two-qubit gates [2305.15475].

In this setting, the main theorem establishes a sharp complexity phase transition at
\[
p_c = 1/2.
\]
For $p<p_c$, with probability $1-e^{-\Omega(n)}$, $C_m(|\psi_t\rangle)$ grows linearly in time and $C(|\psi_t\rangle)$ grows at least linearly in time, up to exponential times $t\le e^{\Omega(n)}$; beyond that, both saturate at $e^{\Omega(n)}$ [2305.15475]. For $p>p_c$, with probability at least $1-\epsilon$,
\[
C_m(|\psi_t\rangle)\le O(n\log(n/\epsilon)),\qquad C(|\psi_t\rangle)\le \mathrm{poly}(n/\epsilon),
\]
and saturation to $\mathrm{poly}(n)$ occurs after time at most $O(\log n)$ [2305.15475].

The proof maps the monitored circuit to bond percolation on a tilted square lattice, with open edges corresponding to unmeasured bonds and open-edge probability $q=1-p$ [2305.15475]. Since the square-lattice bond-percolation threshold is $q_c=1/2$, one obtains $p_c=1/2$ [2305.15475]. Below threshold, there are $\Omega(n)$ disjoint open paths traversing the circuit for times up to $e^{\Omega(n)}$, allowing the embedding of exponentially long unitary computations using teleportation through non-causal turns and vertical bridges between paths [2305.15475]. Above threshold, dual-lattice cuts sever long-range connectivity, resetting history and confining dynamics to logarithmically sized open clusters [2305.15475].

The algebraic-geometric core of the lower bound is the accessible dimension $d_M$ of the monitored circuit image. The paper proves the bridge
\[
C_m(|\psi\rangle) \ge (d_M - 3n - 2)/11,
\]
so linear growth of accessible dimension implies linear growth of exact state complexity [2305.15475]. This transition is explicitly distinguished from the usual entanglement transition: the critical point matches the Rényi-$0$ percolation threshold, whereas for Rényi-$\alpha$ entropies with $\alpha\in(0,1]$ the critical point is typically smaller [2305.15475].

A closely related but entanglement-centric monitored-circuit literature identifies a measurement-induced entanglement transition in $1+1$ dimensions. For Haar-random circuits, analysis based on tripartite mutual information gives a critical measurement rate
\[
p_c = 0.17(1),
\]
with bulk critical exponents $\nu^H=1.2(2)$ and $\eta^H=0.19(1)$, and dynamic exponent $z=1.06(4)$ [1911.00008]. In that formulation, the volume-law phase is associated with hard-to-simulate states, while the area-law phase is associated with efficient classical representations such as finite-bond-dimension matrix-product states [1911.00008]. This provides a broader entanglement-based backdrop for later learnability and decoding formulations.

## 4. Learnability, decoding, and postselection-free experimental formulations

Another major usage of the term concerns learnability rather than direct state simulation. In trapped-ion experiments on the Quantinuum H1-1 processor, monitored charge-conserving circuits exhibit a learnability phase transition in which an observer attempts to infer a conserved total charge $Q=\sum_i Q_i$ from the measurement record alone [2311.00058]. The setting uses chains of length $L=6,10,14$, with circuit depth $t=L/2$, random charge-conserving two-qubit gates, and tunable-strength weak measurements implemented through Kraus operators
\[
M_0=|0\rangle\langle 0|+\cos\!\left(\tfrac{\gamma\pi}{2}\right)|1\rangle\langle 1|,\qquad
M_1=i\,\sin\!\left(\tfrac{\gamma\pi}{2}\right)|1\rangle\langle 1|.
\]
The control parameter is the measurement strength $\gamma\in[0,1]$ [2311.00058].

Three decoders are compared: an optimal PostBQP decoder, a statistical-mechanics decoder based on a noisy symmetric exclusion process, and an LSTM-based neural-network decoder [2311.00058]. The trajectory-level metrics are decoder accuracy and credence, with criticality diagnosed using $\mathrm{Var}(C)$ and an ancilla-based sharpening entropy $S_R$ together with a Binder cumulant [2311.00058]. Across hardware and simulation, the learnability transition occurs near
\[
\gamma_c \approx 0.4,
\]
with $\gamma_{c,\mathrm{PostBQP}}\lesssim 0.4$ and $\gamma_{c,\mathrm{stat\mbox{-}mech}}\lesssim 0.45$ [2311.00058].

Below $\gamma_c$, average credence remains significantly below $1$ and only weakly depends on system size; above $\gamma_c$, average credence increases with $L$ toward $1$, consistent with asymptotically perfect learnability [2311.00058]. The same transition coincides with the collapse of the per-trajectory uncertainty $\langle\delta Q^2\rangle_M$ to zero in the QND setting [2311.00058]. The statistical-mechanics decoder is efficient and shares the same universality class as the optimal decoder, described as a modified Kosterlitz–Thouless transition, but with a higher critical point [2311.00058].

The paper explicitly separates learnability complexity from entanglement-based classical simulability. In the realized qubit-only model, the learnability transition occurs in an area-law entangled regime where matrix-product simulations remain feasible; in related variants, learnability transitions can occur in volume-law regimes believed to be classically non-simulable, while the stat-mech decoder remains efficient [2311.00058]. This suggests that inferability of conserved observables and amplitude-level state simulation define distinct complexity notions.

A related postselection-free experimental framework uses monitored tree circuits with universal gates [2502.01735]. There, the MIPT is diagnosed via purification of a probe qubit initially entangled with the root qubit, and the same entangling-to-disentangling transition becomes a sharp change in the predictability of the root bit from mid-circuit outcomes [2502.01735]. The single-qubit weak-measurement Kraus operators are
\[
K_m = \sin\left(\frac{\theta}{2}\right)\mathbb{I}+\left[\cos\left(\frac{\theta}{2}\right)-\sin\left(\frac{\theta}{2}\right)\right]\ket{m}\bra{m},\quad m\in\{0,1\},
\]
with $\theta\in[\pi/2,\pi]$ [2502.01735]. Because the tree is acyclic, exact bottom-up decoding is linear in the number of qubits $N=2^t$ [2502.01735].

In that model, the order parameter is the smallest eigenvalue $Z_t$ of the probe reduced state, and the exact critical measurement strength is
\[
\theta_c = 2.2142(2).
\]
Below criticality, the typical order parameter obeys
\[
Z_{\infty}^{\mathrm{typ}}(\theta)\sim \exp\left\{-\frac{C}{\sqrt{\theta_c-\theta}}\right\},
\]
while at criticality
\[
\ln Z_t^{\mathrm{typ}}(\theta_c)\sim -t^{1/3}
\]
[2502.01735]. Here, the computational cost remains $O(N)$ throughout because of the tree architecture; what changes sharply is the information complexity of inference rather than asymptotic decoder runtime [2502.01735].

## 5. Measurement-only scrambling, emergent symmetries, and analytic thresholds

A broader analytic framework for random circuits maps purity dynamics to an effective spin problem and studies both hybrid unitary-plus-measurement circuits and measurement-only models [2506.18121]. The degrees of freedom are $N$ qudits of local dimension $d$, evolving under Brownian $q$-body Hamiltonians and/or projective Haar-random rank-1 measurements on $q'$-qudit subsets [2506.18121]. The averaged doubled-state dynamics closes on subsystem purities and can be Hermitized in a permutation-symmetric sector, reducing the problem to an $(N+1)$-dimensional effective description [2506.18121].

The main observable is the second Rényi entropy proxy
\[
e^{-S_A^{(2)}(t)}\simeq \frac{P_A(t)}{P_{\varnothing}(t)},
\]
with purity dynamics
\[
\frac{dP_A}{dt}=-\sum_B(\tilde{L})_{AB}P_B
\]
[2506.18121]. In the large-$N$, large-$d$ limit, the Hermitian generator becomes a classical rotor whose ground states encode steady-state entanglement structure [2506.18121].

For hybrid circuits with $q$-body unitaries and single-body measurements, the analytic threshold is
\[
\alpha_c=2q\Big[d^{-q}+2^{1-q}(1+d^{-1})^{q-1}(q-1-q\,d^{-1})\Big],
\qquad \lambda=d(d+1)\alpha.
\]
Below $\alpha_c$, the steady state is globally scrambled, with spontaneous $\mathbb{Z}_2$ symmetry breaking and a Page curve with a cusp at half system size; above $\alpha_c$, the phase is purified, with a unique symmetric minimum and a smooth entropy profile [2506.18121].

The same framework shows that measurements alone can generate a globally scrambled phase provided the measurement range exceeds a threshold. For all-to-all measurement-only models,
\[
d_c(q')=\frac{q'}{q'-2}
\quad\Longleftrightarrow\quad
q'_c(d)=\frac{2d}{d-1}.
\]
Thus the minimal measurement range required for a global volume-law phase is $q'>q'_c(d)$ [2506.18121]. For qubits, $q'_c=4$, so one needs at least five-body projective measurements to enter the globally scrambled phase; for large $d$, $q'_c(d)\to 2$, so three-body measurements suffice [2506.18121].

Near this threshold, the Liouvillian gap obeys
\[
\Delta\sim 1/N,
\]
yielding “critical purification” with purification time diverging linearly in $N$ [2506.18121]. The paper also identifies emergent $U(1)$ symmetry for two-body measurements in the large-$d$ limit and emergent $SU(2)$ symmetry for certain one-dimensional spatially local measurement-only circuits, with CFT-like or Haldane-like consequences depending on the effective spin parity [2506.18121].

This formulation broadens the meaning of measurement-induced complexity transition. The complexity growth is governed by the competition between unitary spreading, local purification, and frustration-induced re-entangling due to non-commuting many-body projectors [2506.18121]. The control parameters are measurement rate, measurement range, qudit dimension, and geometry, rather than regularity of a static resource state or decoder class [2506.18121].

## 6. Measurement complexity as a resource and other extensions

A further generalization shifts the control parameter from measurement rate or basis to measurement complexity itself. In “hidden-to-visible” transitions in quantum observation, the observable of interest is the readout capability
\[
\mathcal{R} := \frac{F_C(\theta)}{F_Q(\rho_\theta)},
\]
or, in worst-case form for architecture $G$ and depth $d$,
\[
\kappa_{G,d} := \inf_{\text{pure encodings }\mathcal{E},\,\theta} \left( \sup_{M\in\mathsf{Readouts}(G,d)} \frac{I_C^{(M)}(\theta)}{J_{\mathcal{E}(\theta)}} \right)
\]
[2606.09765]. The measurement model is a depth-$d$ unitary pre-processing circuit followed by computational-basis measurement of all qubits [2606.09765].

The main theorems establish architecture-dependent critical depths. For a $\delta$-dimensional local architecture,
\[
D_c(\delta)=\Theta\big((\log n)^{1/\delta}\big),
\]
while for all-to-all connectivity,
\[
D_c^{\mathrm{all\text{-}to\text{-}all}}=\Theta(\log\log n).
\]
Below these thresholds, there exist pure-state encodings with unit QFI such that every allowed readout has exponentially small observability,
\[
\mathcal{R}(n,D)\le \exp(-\Omega(n^\beta)),
\]
for some architecture-dependent $\beta>0$ [2606.09765]. Immediately above threshold, randomized measurements forming approximate unitary $3$-designs recover a constant fraction of the QFI:
\[
I_{M_U}(\theta) \ge K_D(\varepsilon)\,J_{\mathcal{E}(\theta)},
\]
with
\[
K_D(\varepsilon)=\frac{(1-4\varepsilon)^2}{1+6\varepsilon}\cdot\frac{D+2}{4(D+1)}.
\]
For fixed $\varepsilon<1/4$, this yields an $O(1)$ readout fraction independent of system size [2606.09765].

The lower bound mechanism is locality and bounded Heisenberg light cones: shallow circuits cannot convert globally encoded phase information into locally accessible measurement sensitivity [2606.09765]. The visible regime is enabled by approximate unitary $3$-designs, with explicit constructions in depth $O(\log n)$ in one dimension, $O(\log\log n)$ for all-to-all connectivity, and $O((\log n)^{1/6})$ in higher-dimensional local architectures with clean ancillas [2606.09765]. This formulation makes “measurement-induced complexity transition” refer literally to the complexity of the measurement circuit.

Several additional extensions use still different operational meanings. In random Clifford circuits doped with one-shot single-qubit non-Clifford measurements, injecting $\Theta(n)$ such measurements is both necessary and sufficient to drive the variance of subsystem purity from Clifford scaling $\Omega(d^{-1})$ to universal Haar-like scaling $\Omega(d^{-2})$ [2103.07481]. The key formula is
\[
\Delta_{\mathcal{C}}\mathrm{Pur}(\psi_{k,A})
=
\Omega\!\left(
\left(\frac{7+\cos(4\theta)}{8}\right)^{2k} d^{-1} + p d^{-2}
\right),
\]
so $k=\Theta(\log d)=\Theta(n)$ one-shot non-Clifford measurements induce a transition from $3$-design to $4$-design entanglement-complexity behavior [2103.07481].

In data-driven settings, one can define a learnability transition for measurement-induced entanglement between distant target qubits $A$ and $B$ by learning two-sided bounds from measurement records alone. The uncertainty metric is
\[
\Delta = U-L = \mathbb{E}_m[S_{AB,m}^{\mathrm{QC}}],
\]
and a finite-depth threshold separates a regime where $\Delta$ decreases with polynomial resources from one where it saturates near $2\log 2$ despite increasing shots and model parameters [2512.01317]. The same paper reports this transition for one-dimensional all-to-all and two-dimensional nearest-neighbor random circuits, and verifies robustness on IBM devices [2512.01317].

Other works connect measurement-induced entanglement transitions to sampling complexity of Ising partition functions encoded in two-dimensional cluster states [2310.01699], organize hybrid-circuit phase boundaries by gate entangling power and gate typicality [2407.17776], or identify measurement-induced complexity jumps in subregion holographic complexity through RT-surface and entanglement-wedge transitions in AdS/BCFT constructions [2312.04437].

## 7. Conceptual scope, distinctions, and recurring mechanisms

The literature uses the phrase “measurement-induced complexity transition” for several non-equivalent but structurally related phenomena. One recurring misconception is that all such transitions are simply entanglement transitions. This is not supported by the cited works. In the graph-state formulation, the transition is between classically easy and hard simulation of product measurements on fixed resource states, quantified through entanglement width and MBQC universality [2212.10582]. In monitored random circuits, the complexity notion can be exact state complexity [2305.15475], entanglement-based classical simulability [1911.00008], or decoding and learnability of observables from measurement records [2311.00058], [2502.01735]. In observation-driven formulations, the transition concerns the fraction of QFI recovered by shallow versus sufficiently complex readouts [2606.09765].

A second misconception is that measurements are always disentangling and therefore always simplify dynamics. Several papers explicitly show otherwise. Measurement-only circuits can enter globally scrambled phases when the joint measurement range exceeds $q'_c(d)=2d/(d-1)$ [2506.18121]. Projection measurements on one subsystem can amplify the holographic subregion complexity of another by reconnecting its entanglement wedge to a measurement-induced brane [2312.04437]. Bulk measurements on two-dimensional cluster states can induce long-range entanglement in an effective boundary state, causing a transition from area-law to volume-law boundary entanglement and a corresponding change in tensor-network contraction cost [2310.01699].

Despite these differences, several mechanisms recur. One is a competition between local purification and nonlocal resource generation: measurements can erase coherence locally while either revealing or generating nonlocal structure through frustration, postselection, graph connectivity, or transfer-matrix effects [2506.18121], [2310.01699]. Another is a threshold in the geometry of information propagation: bounded light cones below a readout-depth threshold hide globally encoded information [2606.09765], whereas percolating unmeasured paths below a measurement-rate threshold enable exponentially long computations [2305.15475]. A third is that efficient classical descriptions often survive only while an entanglement-width, bond-dimension, or open-cluster parameter remains bounded [2212.10582], [2305.15475], [1911.00008].

Taken together, these works indicate that “measurement-induced complexity transition” is best understood as a family of sharp thresholds in the operational consequences of quantum measurement. Depending on the model, the order parameter may be entanglement width, probe mixedness, decoder credence, Liouvillian gap, purity fluctuations, or readout capability. The control parameter may be graph regularity, measurement rate, measurement strength, measurement range, circuit depth, or the number of non-Clifford measurements. What unifies the subject is the appearance of sharply separated regimes—easy versus hard simulation, hidden versus visible information, purified versus scrambled steady states, or low versus exponential exact complexity—created or exposed by the structure of quantum measurement itself [2212.10582], [2305.15475], [2506.18121], [2606.09765].

Source: https://www.emergentmind.com/topics/measurement-induced-complexity-transition