---
title: Pairwise Fusion Gates in Quantum Optics
url: https://www.emergentmind.com/topics/pairwise-fusion-gates
type: topic
---

# Pairwise Fusion Gates in Quantum Optics

Pairwise fusion gates are operations that act on two subsystems—most often two photonic qubits or qudits extracted from larger entangled resource states—and herald a projection that either joins the parent resources into a larger entangled object or isolates a Bell-type link in a prescribed subspace. In linear-optical quantum computing, they are a core primitive because large graph or cluster states are difficult to generate directly but can be assembled from smaller resource states by repeated probabilistic fusions. Recent work has broadened the concept from standard qubit type-I and type-II fusion to boosted Bell measurements, high-dimensional qudit fusion, and recovery of structured failure sectors, while other literatures use closely related terminology for anyonic fusion primitives and for decision-level fusion outside quantum information [2412.18882] [2407.10893].

## 1. Operational definition and basic variants

In the photonic setting, a fusion gate is a probabilistic optical operation applied to two input resource states, such as two Bell pairs or two small graph states. Selected photons are interfered on beam splitters and the outputs are measured; successful detection patterns herald that the two smaller states have been fused into a larger entangled state. This operational picture underlies graph-state growth, cluster-state construction, and entanglement-swapping-like protocols in linear optics [2412.18882].

A standard distinction is between type-I and type-II fusion. For path-encoded qubits in modes \(\hat a_{0,1}\) and \(\hat b_{0,1}\), a type-I fusion gate mixes \(\hat a_1\) and \(\hat b_1\) on a beam splitter, and a single detection event heralds success, leaving a new photonic qubit in modes \(\hat a_0\) and \(\hat b_0\) while entangling the larger registers \(A\) and \(B\). A type-II fusion gate mixes both \(\hat a_1,\hat b_1\) and \(\hat a_0,\hat b_0\); two clicks in different beam splitters herald success and entangle the larger registers \(A\) and \(B\). In dual-rail notation, type-I implements the entangling map
\[
|0\rangle\langle 00| \pm |1\rangle\langle 11|,
\]
and, without ancillary resources, both type-I and type-II are limited to success probability \(1/2\) [2404.01516] [2603.27315].

This \(1/2\) ceiling is not merely a technical nuisance. In photonic architectures built from repeated pairwise fusions, the asymptotic behavior of the entire construction depends on whether local fusion succeeds often enough to compensate for resource consumption and fragmentation. That dependence is most explicit in percolation-based analyses of graph-state growth.

## 2. Scalable graph-state generation and the percolation threshold

The clearest experimentally established role of pairwise fusion gates is in scalable photonic graph-state generation. The relevant setting is the repeated fusion of small entangled resource states into a larger, fully connected graph state. Percolation theory provides the threshold criterion: for three-photon GHZ states used as the resource state, scalable graph-state generation requires the fusion success probability to exceed \(58.98\%\). The same work also mentions a related numerical threshold of \(0.672\) in simulations of 2D cluster-state growth without photon loss, underscoring that the precise threshold depends on the lattice and resource assumptions [2412.18882].

A conventional Bell-state measurement can reliably identify only some Bell states, so standard fusion gates are limited to at most \(50\%\) success. The boosted type-II fusion gate demonstrated in 2024 overcomes that limit by using deterministically generated auxiliary states to improve Bell-state discrimination. In the reported implementation, photons 2 and 3 are interfered on a beam splitter, and auxiliary two-photon N00N-like states are introduced so that \( |\Psi^\pm\rangle \) are distinguished at the first beam splitter while \( |\Phi^\pm\rangle \) are resolved through additional interference on BS2 or BS3. The resulting theoretical success probability is \(75\%\), and the experimentally measured value is \(71.0(7)\%\), which exceeds the \(58.98\%\) percolation threshold by \(17\) standard deviations. The same experiment fused two Bell states with output fidelity
\[
F=\mathrm{Tr}\!\left(\rho_{\mathrm{exp}}\,|\Psi^{-}\rangle_{14}\langle\Psi^{-}|\right)=67(2)\%,
\]
exceeding the classical threshold of \(0.5\) by more than \(8\) standard deviations and providing a direct verification that the gate functions as an entangling fusion primitive rather than only as a statistical Bell discriminator [2412.18882].

This result fixes an important misconception in the literature on probabilistic photonic entangling gates. A success probability above the \(50\%\) Bell-measurement limit is not by itself the relevant scalability statement; the experimentally meaningful benchmark is whether the gate crosses the percolation threshold associated with the chosen resource-state architecture. In the GHZ-based setting, that benchmark is \(58.98\%\), not an abstract improvement over \(1/2\).

## 3. Indistinguishability, exchange symmetry, and boosted qubit fusion

A second development concerns the physical requirement usually summarized as “photon indistinguishability.” The temporal quantum eraser work argues that ideal two-photon fusion-gate operation depends not on literal identity of the photons but on the exchange symmetry of the two-photon wavefunction. The temporal wavefunction is decomposed as
\[
\varphi_m(t_1,t_2)=(-1)^m\varphi_m(t_2,t_1),
\]
with \(m=0\) for symmetric and \(m=1\) for antisymmetric states. In this picture, HOM interference is controlled by symmetry: symmetric states bunch and antisymmetric states antibunch. A temporal quantum eraser projects the two-photon state into a purely symmetric or purely antisymmetric exchange sector, thereby recovering ideal HOM-type interference and the correct interpretation of type-I and type-II fusion outcomes even when the photons were initially distinguishable. With the temporal quantum eraser, the fusion-gate success probability remains the usual \(1/2\), but the infidelity caused by distinguishability is removed because the symmetry sector is heralded [2404.01516].

This symmetry-based reformulation also clarifies failure mechanisms. In the nonlinear pair-source platform, double-pair emission can produce a symmetry-defined heralding event while still introducing number impurity, because both signal photons may occupy the same waveguide. In the \(\Lambda\)-emitter platform, the heralding relies on dark-port parity, so photon loss and detector inefficiency directly spoil the symmetry classification. The paper therefore separates two issues that are often conflated: modal impurity and exchange symmetry on the one hand, and number impurity or loss sensitivity on the other [2404.01516].

Boosting has also been developed for type-I fusion. A 2026 proposal achieves total success probability \(3/4\) using only four ancillary single photons, passive linear optics, and photon-number-resolving detectors. The direct success probability is \(5/8\): the standard odd-parity branch contributes \(1/2\), and a useful four-photon branch contributes an additional \(1/8\). A two-photon partially entangled branch occurs with probability \(3/16\) and can be distilled into further successful events; in the asymptotic limit this adds another \(1/8\), giving the total
\[
P^s=\frac{1}{2}+\frac{1}{8}+\frac{1}{8}=\frac{3}{4}.
\]
With one distillation stage and balanced beam splitters, the total becomes \(11/16\). The stated novelty is that earlier \(3/4\)-efficient type-I schemes relied on ancillary Bell pairs, whereas this scheme uses only ancillary single photons [2603.27315].

## 4. High-dimensional pairwise fusion gates

High-dimensional generalizations recast pairwise fusion as a measurement on two \(d\)-rail single-photon qudits. In this setting, each logical qudit is a single photon delocalized over \(d\) orthogonal modes, and the gate does not attempt a full \(d^2\)-label Bell discrimination. Instead, it heralds Bell projections onto definite two-rail subspaces. The relevant pairwise Bell states are
\[
|\Psi_{ij}^{\pm}\rangle=\frac{|i_A j_B\rangle \pm |j_A i_B\rangle}{\sqrt2},\qquad
|\Phi_{ij}^{\pm}\rangle=\frac{|i_A i_B\rangle \pm |j_A j_B\rangle}{\sqrt2},
\]
for \(i<j\). In the passive, ancilla-free setting, success occurs with probability
\[
P_{\rm f}(d)=1-\frac1d,
\]
because the off-diagonal sector is fully convertible into successful pairwise Bell projections and all failures are confined to the diagonal logical subspace. Ancilla-assisted circuits raise the success probability to
\[
p_{\mathrm f}=1-d^{-(k+1)}
\]
using \(2(2^k-1)\) ancilla photons in products of high-dimensional GHZ states. The same framework is proposed as a fast quantum repeater primitive with three-qudit GHZ states and quantum memories, and the paper notes that entanglement swapping must be above roughly \(3/4\) for linear scaling in repeater time [2407.10893].

A notable conceptual point is that the passive failure sector is structured rather than random. For the diagonal input \(|D_i\rangle=|i_A i_B\rangle\), the beam splitter produces a bunched two-mode output,
\[
|i_A i_B\rangle\mapsto \frac{1}{\sqrt2}\bigl(|2_{c_i}0_{d_i}\rangle-|0_{c_i}2_{d_i}\rangle\bigr),
\]
which reveals the occupied rail \(i\). The failure therefore acts like a same-rail projection, not an erasure channel [2606.29432].

That structure enables active recovery by output squeezing. In the squeezing-enhanced scheme, identical single-mode squeezers are applied to all \(2d\) interferometer outputs before photon-number-resolving detection. Odd-parity signatures preserve the successful off-diagonal \(|\Psi_{ij}^{\pm}\rangle\) outcomes, while selected all-even count patterns yield POVM elements proportional to definite diagonal Bell projectors. The paper proves that an all-even pattern is accepted if and only if its photon-number-imbalance vector has exactly two nonzero components of equal magnitude. Numerically, the ideal success probability rises from \(75\%\) to \(79.62\%\) for \(d=4\), and from \(83.33\%\) to \(87.15\%\) for \(d=6\). With detector saturation threshold \(n_{\rm sat}=7\), the certified values remain \(78.84\%\) and \(86.71\%\), respectively [2606.29432].

## 5. Pairwise fusion as a state-construction primitive

In linear optical cluster-state generation, pairwise fusion is not always best understood as a universal two-qubit gate. The analysis of linear optical cluster states argues that the standard stochastic CZ gate, with success probability \(1/9\), is suboptimal because cluster growth only requires the correct transformation on a specific input subspace rather than on the full two-qubit computational space. The optimal operation is therefore a hybrid state transformation on a subspace. For sequential linear-cluster growth, the maximal success probability for adding one qubit is \(1/2\), giving total success \((1/2)^{n-1}\) for a length-\(n\) cluster built by sequential single-qubit addition. For Bell-pair addition, the maximal success probability is \(1/4\), and the corresponding Bell-pair growth scaling is \((1/4)^{m-1}\). The paper further reports numerical success rates \(1/4\) for \(C_n+C_3\to C_{n+3}\), about \(0.153\) for \(C_n+C_4\to C_{n+4}\), and about \(1/24\) for grafting a qubit in the middle of a linear cluster [1407.6055].

A different but related fusion literature concerns multipartite W states. In the Fredkin-enhanced W-state fusion scheme, one photon from \(|W_n\rangle\) and one photon from \(|W_m\rangle\) are sent through a setup that inserts a single Fredkin gate and an ancillary \(H\)-polarized photon before the original polarization-based fusion device. The key modification is that the former destructive \(V,V\) case is converted into a success by the controlled swap
\[
|VVH\rangle_{123}\rightarrow |VHV\rangle_{123}.
\]
The resulting success probability becomes
\[
P_s^{FGF}=\frac{n+m-1}{nm},
\]
improving on the original
\[
P_s^{FG}=\frac{n+m-2}{nm},
\]
and the successful output is \(|W_{n+m-1}\rangle\) rather than \(|W_{n+m-2}\rangle\). The same setup can fuse Bell states, \(W_2=\frac{1}{\sqrt2}(|HV\rangle+|VH\rangle)\), into \(|W_3\rangle\) with success probability \(3/4\) [1303.4008].

These constructions illustrate a general pattern: “pairwise fusion gate” need not mean a universal entangling operator. In several architectures it instead denotes a task-specific, heralded primitive tailored to a fixed resource-state family and a fixed growth rule.

## 6. Anyonic, trapped-ion, and non-quantum uses of the term

Outside linear optics, the same language appears in topological quantum computation, where fusion itself becomes a computational primitive. In the \(S_3\) quantum double, braiding alone is not universal, so the computational model is augmented by fusion and charge measurement. Pairwise fusion of \(C_2\) flux pairs and \([2]\)-charge probe pairs implements logical projection and comparison operations: an ancilla \(C_2\) pair braided around a logical \(C_2\) pair and then fused realizes an \(\mathcal X\)-basis measurement, while a \([2]\)-charge pair braided around a data qutrit and a reference qutrit and then fused realizes a \(\mathcal Z\)-basis comparison. Together with the pull-through braid
\[
U\ket{a,b}_L=\ket{a,-a-b}_L,
\]
these fusion-based measurements form a universal topological gate set on logical qutrits [2601.20956].

A related fusion-and-measurement construction appears for SU(2)\(_4\) or JK\(_4\) anyons. There, braiding alone is again non-universal, but braiding plus fusion plus topological charge measurement becomes universal. Pairwise fusion with charge-4 ancillas implements a logical NOT on the 1221 encoding, the maps \(P(1)\) and \(P(3)\) convert the 1111 encoding into the 1221 encoding, and topological qubit fusion maps \(Q(0)\) and \(Q(4)\) compress a two-qubit state into a one-qubit state. Those primitives are then used to generate an exact irrational phase gate and an approximate controlled-\(Z\) gate [1504.02098].

The phrase also appears in contexts that are only terminologically related. In trapped-ion hardware, “pairwise-parallel” entangling gates refer to simultaneous Mølmer–Sørensen gates executed on orthogonal motional mode sets, yielding a three-qubit GHZ state with fidelity \(97.6(3)\%\) and effectively extending available gate depth by up to two times; this is an entangling-gate scheduling method rather than a fusion measurement [2302.09145]. In continual learning, “Glocal Pairwise Fusion” denotes an online decision-level fusion mechanism in which a 3D matrix \(\Phi(k_i,\hat l,\tilde l)\) accumulates counts over true labels, global predictions, and local predictions, and inference uses
\[
P(y=k\mid x_i,\hat l,\tilde l)=\frac{\Phi(k,\hat l,\tilde l)}{\sum_{k=1}^{C}\Phi(k,\hat l,\tilde l)}
\]
to choose the final class label [2306.13410].

Taken together, these usages show that pairwise fusion gates are best understood as a family of pairwise, heralded combination rules whose exact meaning depends on the host theory. In photonic quantum information they are primarily probabilistic entangling measurements for resource-state growth; in topological models they are fusion-and-measurement primitives that supplement non-universal braiding; and in other fields the term can denote a structurally analogous pairwise combination mechanism without any quantum-measurement content.

Source: https://www.emergentmind.com/topics/pairwise-fusion-gates