---
title: YZ-Insertion in MBQC
url: https://www.emergentmind.com/topics/yz-insertion
type: topic
---

# YZ-Insertion in MBQC

Searching arXiv for papers on YZ-insertion in MBQC and related YZ-plane measurement-based quantum computation.
YZ-insertion is a graph-rewriting operation in measurement-based quantum computation (MBQC) that adds a new vertex measured in the $YZ$ plane to a labelled open graph while preserving, under explicit combinatorial and algebraic conditions, the flow structure required for deterministic computation. In the formulation developed for MBQC rewriting, a labelled open graph is written as $\Gamma=(G,I,O,\lambda)$, where $G=(V,E)$ is a simple graph, $I$ and $O$ are input and output sets, and $\lambda$ assigns measurement labels from $\{\mathrm{X},\mathrm{Y},\mathrm{Z},\mathrm{XY},\mathrm{XZ},\mathrm{YZ}\}$ to vertices. The central problem addressed by YZ-insertion is whether one may enlarge an MBQC pattern by introducing a non-Pauli, planar-measured qubit without destroying causal flow, gflow, or Pauli flow, which are the structural conditions underpinning deterministic execution and efficient circuit extraction [2508.14671].

## 1. Definition and formal setting

YZ-insertion is defined for a labelled open graph $\Gamma=(G,I,O,\lambda)$ by adjoining a new vertex $z$ with a prescribed neighbourhood $S\subseteq V$, and assigning the new vertex the measurement label $\mathrm{YZ}$. The resulting graph is
\[
\Gamma'=(G',I,O,\lambda')
\]
with
\[
G'=(V\cup\{z\},\,E\cup\{\{z,v\}\mid v\in S\}),
\]
$\lambda'(z)=\mathrm{YZ}$, and $\lambda'(v)=\lambda(v)$ for all $v\in V$ [2508.14671].

In MBQC, such insertions are not merely graph-theoretic augmentations. They alter the correction dependencies induced by measurement outcomes and therefore interact directly with the existence of flow. The significance of the operation is that planar measurements in the $YZ$ plane are necessary for universal MBQC in settings that go beyond purely Pauli or $XY$-plane rewrites [2508.14671]. This places YZ-insertion within a broader program of flow-preserving rewriting, optimization, obfuscation, and routing of MBQC patterns.

The underlying context is the one-way model of quantum computation, where computation proceeds by single-qubit measurements on a resource state. In that setting, previous rewrite techniques had mainly focused on deleting qubits or inserting Pauli-measured qubits. YZ-insertion extends the rewrite repertoire to arbitrary planar measurements in a principal plane of the Bloch sphere, a class of measurements that is required for universal computation [2508.14671].

## 2. Extended causal flow and the basic preservation criterion

A principal contribution of the YZ-insertion framework is the extension of causal flow, previously restricted to $XY$-measurements, to also permit $YZ$-measurements. For labelled open graphs with $\lambda(V)\subset\{\mathrm{XY},\mathrm{YZ}\}$, an extended causal flow is a pair $(c,\prec)$ consisting of a correction map and a strict partial order satisfying the following conditions for all $u\in V$:
\[
\begin{array}{ll}
\textrm{(C1)} & u \prec c(u) \quad \textrm{or} \quad u = c(u) \\
\textrm{(C2)} & \lambda(u) = \mathrm{XY} \Rightarrow c(u) \in N_G(u) \\
\textrm{(C3)} & \lambda(u) = \mathrm{YZ} \Rightarrow u = c(u) \\
\textrm{(C4)} & \forall v \in N_G(c(u)), v \neq u \Rightarrow u \prec v .
\end{array}
\]
These clauses explicitly distinguish $YZ$-measured vertices from $XY$-measured ones by forcing a $YZ$ vertex to correct to itself [2508.14671].

For extended causal flow, the preservation condition under YZ-insertion is particularly sharp. If $\Gamma$ admits an extended causal flow $(c,\prec)$, then the YZ-inserted graph $\Gamma'$ admits extended causal flow if and only if no vertex of the insertion neighbourhood $S$ is equal to or precedes any vertex in $c^{-1}(S)$ under $\prec$. Formally,
\[
\forall v \in S,\ \forall w \in c^{-1}(S),\ \neg (v \prec w \vee v = w),
\]
where
\[
c^{-1}(S)=\{u\mid c(u)\in S\}.
\]
This criterion characterizes exactly when the new $YZ$ vertex can be integrated without violating the correction dependencies already encoded in $(c,\prec)$ [2508.14671].

Two immediate structural consequences are emphasized. First, two $YZ$-measured vertices cannot be adjacent. Second, the number of neighbours of the new $YZ$ vertex cannot exceed the number of outputs [2508.14671]. These are not merely incidental restrictions; they indicate that $YZ$ measurements impose nontrivial topological constraints on the admissible graph states.

## 3. YZ-insertion for gflow and Pauli flow

The more general theory of YZ-insertion concerns gflow and Pauli flow. In this setting, the relevant question is not only whether a local correction order survives, but whether the inserted pattern continues to admit a correction structure strong enough to support deterministic MBQC and circuit extraction.

For a YZ-insertion producing $\Gamma'$, the criterion is expressed in terms of the existence of a subset
\[
K \subseteq V\setminus (I\cup O).
\]
The graph $\Gamma'$ has Pauli flow, and therefore in particular may preserve gflow in the appropriate special case, if and only if there exists such a subset $K$ satisfying three conditions [2508.14671]:

1. **Focusing**: $K$ is focused over $O\setminus (S\cap X)$, and this set is the largest set over which it is focused.

2. **Parity constraint**: $|S\cap K|$ is even, i.e. $0 \bmod 2$.

3. **Order condition**: with
   \[
   W=\{w\in V\setminus O : |c(w)\cap S| \text{ odd}\}
   \]
   and
   \[
   V=\mathcal{L}\cap \bigl(K \cup (\mathrm{Odd}_G K \,\Delta\, S)\bigr),
   \]
   where $\mathcal{L}$ denotes planar-measured vertices and $\Delta$ is symmetric difference, one requires that for all $v\in V$ and $w\in W$,
   \[
   \neg (v \prec w \vee v = w).
   \]

When these conditions hold, the correction function can be extended by defining
\[
c'(z)=K\cup\{z\},
\]
with a corresponding adjustment of the partial order [2508.14671].

This formulation makes clear that YZ-insertion is algebraically more delicate than the insertion of a Pauli-measured qubit. The inserted vertex does not simply inherit a local correction rule; instead, its admissibility depends on a compatibility relation between the insertion neighbourhood, parity constraints, and the focused correction sets already present in the pattern.

## 4. Relation to XZ-insertion and planar-measurement rewriting

The YZ-insertion results have a closely parallel counterpart for $XZ$-insertion. For $XZ$-measured vertex insertion, the same focusing and order requirements apply, but the parity constraint changes from even to odd:
\[
|S\cap K| \text{ odd} \quad (1 \bmod 2).
\]
This formal symmetry shows that the distinction between $YZ$ and $XZ$ insertions is encoded at the level of parity, while the correction-set geometry remains otherwise analogous [2508.14671].

The broader significance of this observation is that flow-preserving insertion of planar-measured qubits can be developed uniformly across the principal planes once the appropriate flow formalism is generalized. The paper introducing YZ-insertion emphasizes that previous work had concentrated on rewrites that either reduced the number of qubits or inserted Pauli-measured vertices; by contrast, YZ- and XZ-insertions preserve a purely planar setting, which is important because planar measurements are necessary for universal MBQC [2508.14671].

This places YZ-insertion within a wider classification of one-plane MBQC. Universal $YZ$-plane-only measurement patterns were later established in a separate study, which proved that universal MBQC can be achieved using only $YZ$-plane measurements when correction strategies are allowed to go beyond uniform determinism and use Pauli flow [2603.29379]. That work also connected $YZ$-plane-only and $XZ$-plane-only patterns, reinforcing the conceptual role of YZ-insertion as a rewrite primitive compatible with a universal, one-plane measurement regime [2603.29379].

## 5. Vertex splitting, neighbour unfusion, and pivoting

A notable structural result is that the previously known “vertex splitting” or “neighbour unfusion” rule can be derived from YZ-insertion together with pivoting. In the construction described in the MBQC rewriting framework, one first inserts a $YZ$-measured vertex $x''$ linked to an existing vertex $x$, then inserts a second $YZ$-measured vertex $x'$ linked to $W\cup\{x''\}$, and finally pivots on the edge $\{x',x''\}$ [2508.14671].

This composition yields the effect of splitting a vertex while staying inside the planar-measurement framework. The result is important because vertex splitting and neighbour unfusion had already been used in the literature as rewrite rules, but the YZ-insertion analysis shows that they can be derived rather than postulated. The same source states that the resulting pattern preserves Pauli flow or gflow if and only if the flow-preservation criteria of the corresponding theorem are satisfied, with a specialized corollary for the neighbour-unfusion case when $W$ is a singleton [2508.14671].

A plausible implication is that YZ-insertion serves as a more primitive rewriting generator from which other local graph transformations can be synthesized. In that sense, it is not only a standalone operation but also a foundational component in a larger rewrite calculus for MBQC patterns.

## 6. Graph-structural context: YZ-plane MBQC and bipartite or register-logic graphs

The study of YZ-insertion interacts closely with the structural theory of YZ-plane MBQC. One earlier result established that universal parity quantum computing with a constant-depth decoding procedure is equivalent to MBQC on a bipartite graph using only YZ-plane measurements, and further showed that any unitary MBQC using only YZ-plane measurements must occur on a bipartite graph [2401.10079]. In that setting, the bipartite structure is not an implementation detail but a necessity for deterministic unitary computation.

A later study refined the graph-theoretic characterization by defining register-logic graphs and proving that any uniformly deterministic MBQC where inputs coincide with outputs must be driven on such graphs by measurements in the $YZ$ plane [2603.29379]. In the same work, it was shown that for gflow with $\lambda\equiv YZ$, one must have $I\subseteq O$, and that any open graph of register-logic form with $I\subseteq O$ and all non-outputs measured in the $YZ$ plane admits a gflow [2603.29379].

These results supply the ambient theory within which YZ-insertion operates. They indicate that YZ-plane measurement patterns are tightly constrained by graph structure, whether described as bipartite graphs in parity MBQC or as register-logic graphs in the gflow-based characterization. YZ-insertion is therefore best understood as a local rewrite that must respect a global architecture of determinism.

This also explains why the insertion conditions are combinatorially restrictive. If YZ-plane-only MBQC with unitary semantics already forces strong graph-structural properties, then the insertion of a new $YZ$-measured vertex cannot be arbitrary; it must preserve the architecture that makes deterministic correction possible.

## 7. Role in optimization, obfuscation, routing, and the ZX-calculus

The practical motivation for YZ-insertion is the preservation of flow under pattern rewriting. In MBQC, flow conditions are required for deterministic execution in a suitable sense and for efficient translation into quantum circuits [2508.14671]. Consequently, any rewrite used for optimization or hardware adaptation must preserve the existence of flow rather than merely preserve graph-state equivalence.

The MBQC rewriting study identifies several application domains. In optimization, YZ-insertion enlarges the set of sound pattern transformations beyond qubit deletion and Pauli insertions. In obfuscation, it supports the insertion of planar-measured vertices while retaining determinism, which is relevant to hiding computational structure. In routing, it permits modification of resource-state graphs to adapt to connectivity constraints without breaking the correction structure [2508.14671].

The same work also situates YZ-insertion in relation to the ZX-calculus. Flow-preserving rewrites, including YZ-insertions and pivots, correspond to equivalence-preserving graphical moves in ZX-based diagrammatic reasoning, circuit extraction, and optimization [2508.14671]. This suggests that YZ-insertion is not only an MBQC-specific device but also part of a broader graphical infrastructure for reasoning about quantum computations.

A plausible implication is that YZ-insertion contributes to a unification of MBQC rewrite theory and ZX-calculus rewrite theory by providing a local operation that is simultaneously sensitive to measurement planes, correction dependencies, and graph transformations.

## 8. Significance and limitations

YZ-insertion broadens the range of admissible deterministic rewrites in MBQC by allowing the insertion of non-Pauli planar-measured qubits. This is significant because planar measurements are necessary for universal MBQC, and because restricting to Pauli insertions can force a transition out of the gflow setting into more general Pauli flow constructions [2508.14671]. By contrast, YZ-insertion preserves a planar formalism and can remain compatible with deterministic flow when its combinatorial criteria are satisfied.

At the same time, the operation is intrinsically constrained. Under extended causal flow, the insertion neighbourhood must avoid violating the order relation against the preimage $c^{-1}(S)$ [2508.14671]. Under gflow and Pauli flow, admissibility depends on focusing, parity, and order conditions formulated through the subset $K$ and the interaction of correction sets with the neighbourhood $S$ [2508.14671]. These constraints rule out arbitrary local insertions and make clear that YZ-insertion is a controlled rewrite rather than a generic graph augmentation.

Within the larger landscape of one-plane MBQC, YZ-insertion is part of a sequence of results establishing the expressivity of $YZ$-plane computation. Bipartite YZ-plane MBQC was shown equivalent to parity quantum computing [2401.10079], universal YZ-plane-only patterns were later constructed using Pauli flow [2603.29379], and YZ-insertion supplies a local mechanism for transforming patterns while preserving the flow structures on which those models depend [2508.14671].

In that sense, YZ-insertion occupies a distinct place in MBQC theory: it is the rewrite operation that brings planar-measured qubit insertion into the same rigorous, flow-preserving framework that earlier work had developed for deletion, Pauli insertion, and related transformations.

Source: https://www.emergentmind.com/topics/yz-insertion