---
title: W State Preparation Protocols
url: https://www.emergentmind.com/topics/w-state-preparation
type: topic
---

# W State Preparation Protocols

W state preparation comprises the family of protocols that generate multipartite single-excitation entangled states of the form
\[
|W_n\rangle=\frac{1}{\sqrt{n}\left(|100\cdots 0\rangle+|010\cdots 0\rangle+\cdots+|000\cdots 1\rangle\right)},
\]
together with closely related \(W\)-class targets that differ by amplitudes, phases, chirality, or many-body encoding. Across the literature, these protocols appear in gate-based synthesis, optimal control, ancilla-mediated measurement schemes, remote preparation, dissipative pumping, and analog many-body dynamics. The class is technically important because \(W\) states combine multipartite and bipartite entanglement and retain nontrivial entanglement after losing or tracing out one qubit, while exact \(W\) states are not available as unique ground states of local gapped Hamiltonians, which motivates dynamical, dissipative, and frustration-based preparation routes rather than simple ground-state cooling [2510.17974].

## 1. Target states and state-class variants

The standard target is the symmetric one-excitation Dicke state \( |W_n\rangle \). Several papers, however, work with nonstandard but closely related targets. In deterministic entanglement swapping, the relevant three-qubit state is not the symmetric \(\frac{1}{\sqrt 3}(|100\rangle+|010\rangle+|001\rangle)\), but the asymmetric \(W\)-class state
\[
|W\rangle=\frac{1}{2}\left(|100\rangle+|010\rangle+\sqrt{2}|001\rangle\right),
\]
chosen because its algebra closes exactly under a specific joint-measurement decomposition [2407.03603]. In dissipative Lindblad constructions, the target can be the generalized phased state
\[
|W_{\text{Gen}}\rangle=\frac{1}{\sqrt{N} \sum_{a=0}^{N-1} e^{i\phi_a} |\downarrow_0 \cdots \downarrow_{a-1}\uparrow_a\downarrow_{a+1}\cdots \downarrow_{N-1}\rangle ,
\]
which is related to the standard \(W\) state by a local gauge transformation [2410.00819]. In three-ion trapped-ion protocols, the relevant basis contains six entangled \(W\) states \(W_{10},W_{1+},W_{1-},W_{20},W_{2+},W_{2-}\), distinguished by excitation number and chirality [2103.02088]. In frustrated Rydberg rings, the target is the equal superposition of single-kink antiferromagnetic configurations,
\[
|K_S\rangle = \frac{1}{\sqrt{L} \sum_{k=1}^L |k\rangle_{\rm AFM},
\]
which is explicitly not exactly the standard \(W\) state at finite \(L\), although the two converge in the thermodynamic limit and can be mapped by Clifford circuits or an ancilla construction [2510.17974].

| Target family | Representative definition | Representative use |
|---|---|---|
| Standard \(W_n\) | \(\frac{1}{\sqrt{n}}\sum_j |0\cdots 1_j \cdots 0\rangle\) | gate synthesis, remote preparation, dissipative pumping |
| Asymmetric three-qubit \(W\)-class | \(\frac12(|100\rangle+|010\rangle+\sqrt2|001\rangle)\) | deterministic entanglement swapping |
| Generalized phased \(W\) | \(|W_{\text{Gen}}\rangle\) with site phases \(e^{i\phi_a}\) | gauge-twisted dissipative preparation |
| Chiral three-ion \(W\) states | \(W_{1\pm},W_{2\pm}\) and achiral \(W_{10},W_{20}\) | trapped-ion sympathetic-cooling protocol |
| Frustration-induced kink state | \(|K_S\rangle=\frac1{\sqrt L}\sum_k |k\rangle_{\rm AFM}\) | analog Rydberg-ring preparation |

This variation is not a terminological accident. It reflects the fact that different preparation mechanisms privilege different conserved sectors, symmetry classes, or correction structures. A recurrent technical point is therefore that “W state preparation” may mean exact preparation of the standard symmetric state, preparation of a locally equivalent \(W\)-basis element, or preparation of a finite-size many-body analogue whose entanglement resource is the equal coherent delocalization over a symmetry-related manifold [1509.08438].

## 2. Circuit, gate, and optimal-control constructions

Coherent circuit-based preparation ranges from analytically structured expansions to optimal-control protocols. In tunable three-qubit gmon hardware, the preparation problem reduces to the one-excitation basis \(\{|\uparrow\downarrow\downarrow\rangle,|\downarrow\uparrow\downarrow\rangle,|\downarrow\downarrow\uparrow\rangle\}\). A simple adiabatic interpolation fails completely because the initial Hamiltonian has an exact degeneracy; the final error remains \({\cal E}=2/3\) independent of protocol duration. The optimal solution is instead bang-bang: \(B_1=B_2=J_{12}=0\) and \(B_3=1\) throughout, while \(J_{23}=J_{31}\) follow an on-off-on pattern with \(t_1=0.282687\), \(\tau_0=0.469017\), \(t_2=(\tau-\tau_0)+t_1\) for \(\tau\ge \tau_0\), and critical preparation time \(\tau_c=0.7727\). The protocol remains robust for timing inaccuracies of order \(2\%\) [1909.09289].

Approximate synthesis on NISQ devices emphasizes a different tradeoff. GASP uses the gate set \(\{R_x,R_y,R_z,\mathrm{CNOT}\}\), a genetic search over circuit structure, and SLSQP optimization of rotation angles. For \(W\) states from 2 to 10 qubits, it targets approximate preparation at specified fidelity rather than exact synthesis. The clearest reported comparison is the 6-qubit case: a GASP circuit of depth 22 and 59 total gates versus Qiskit initialize at depth 120 and 125 total gates, with the reported experiments using 99% target fidelity, the `ibmq_guadalupe` noise model, and 16384 shots. The paper further states that GASP consistently reduces both total gate count and CNOT count relative to Qiskit, including by more than two orders of magnitude in higher-qubit tests [2302.11141].

A more structural construction is deterministic local expansion. The basic two-qubit gadget consists of a controlled-Hadamard followed by a CNOT. Applied to one accessed qubit of a \(W_N\) state with one \(|H\rangle\) ancilla, it yields probabilistic growth \(W_N\to W_{N+1}\) with success probability
\[
p(W_N\rightarrow W_{N+1})=\frac{1}{2}+\frac{1}{2N}.
\]
Applied in parallel to all \(N\) qubits, each with its own ancilla, it deterministically doubles the state,
\[
|W_N\rangle \longrightarrow |W_{2N}\rangle.
\]
The paper also gives two routes to odd sizes: a final probabilistic one-qubit addition, or projection from the next larger even-size state [1602.04166].

Ancilla-mediated spin-photon constructions implement the same expansion logic without direct logical-qubit interaction. The fundamental three-qubit primitive \(O\) uses 4 controlled-\(Z\) gates, 6 Hadamard gates, and 2 \(T'\) gates. It creates a \(W\)-type EPR pair from two separable logical qubits and one ancilla, expands \(W_n\) by one qubit, and supports deterministic size doubling \(W_n\mapsto W_{2n}\). The ancilla is restored at the end of the operation, and neither post-measurement nor post-processing is required [2105.10191].

## 3. Measurement-mediated and remote protocols

Measurement-based W-state preparation appears in both remote-state and swapping settings. A fully remote protocol uses three bipartite pairs, regrouped as \(A=\{1,3,5\}\) and \(B=\{2,4,6\}\), and an orthonormal three-qubit \(W\)-basis \(\{|W_j\rangle\}_{j=1}^8\). In the ideal case,
\[
\frac{1}{2\sqrt{2} \sum_{j=1}^{8} |W_j\rangle_A\otimes |W_j\rangle_B,
\]
so measuring subsystem \(A\) in the \(W\)-basis deterministically prepares the corresponding \(W_j\) on subsystem \(B\), after which local corrections map every outcome to the standard target \(|W_1\rangle\). For the imperfect source \((a|00\rangle+b|11\rangle)^{\otimes 3}\), outcomes \(W_1\) and \(W_5\) still yield exact \(W\) states after correction with total postselected probability
\[
P=a^2-a^4 \le \frac14.
\]
If no postselection is used, the output is mixed but its fidelity
\[
F=\frac13(8\Gamma^2+1)
\]
satisfies \(F\ge F_0\), where \(F_0\) is the imperfect-source fidelity relative to the ideal triple-EPR resource [1509.08438].

Deterministic entanglement swapping uses a different measurement structure. Two copies of
\[
|W\rangle=\frac12\left(|100\rangle+|010\rangle+\sqrt2\,|001\rangle\right)
\]
are prepared at distant nodes, and Charlie performs a projective measurement on three transmitted qubits in the orthogonal basis
\[
|{\eta ^{\pm}\rangle = \frac{1}{2}(|010\rangle + |001\rangle  \pm \sqrt 2 |100\rangle ),\qquad
|{\xi^{\pm}\rangle  = \frac{1}{2}(|110\rangle  + |101\rangle  \pm \sqrt 2 |000\rangle ).
\]
Each outcome leaves the remote subsystem in the target \(W\) state up to a known Pauli correction \(I,\sigma_z,\sigma_x,\sigma_x\sigma_z\), so all four outcomes are accepted and the swapping is deterministic. Under amplitude damping, the reported fidelity is
\[
\text{Fid}^{\text{AD}}=\frac{1}{1+r},
\]
and a weak-measurement filter raises this to
\[
\text{Fid}^{\text{WM}}=\frac{1}{1+r(1-q)},
\]
but only for the \(\eta^\pm\) branches; the purification-enhanced version therefore becomes probabilistic with maximal success probability \(0.5\). The paper is explicit that the elementary gate decomposition of the initial W-state preparation block is not given in the manuscript text [2407.03603].

The measurement-based literature also includes broader state-preparation frameworks with partial relevance to \(W\) states. The abstract of a low-depth amplitude-encoding paper states that it gives a deterministic measurement-based method with circuit depth \(O(n)\), \(O(2^n)\) ancilla qubits, and worked examples of both a dense state and a W-state, but the supplied extract contains no body-text details for the W-state construction [2510.08267]. Measurement-induced steering on digital hardware similarly demonstrates ancilla-measurement-reset state preparation for arbitrary qubits and a qutrit, yet does not provide an explicit \(W_n\) protocol; its significance for W-state preparation is therefore conceptual rather than constructive [2302.13518].

## 4. Dissipative preparation and stabilization

A major line of work treats dissipation not as an error source but as the preparation mechanism itself. In cavity QED with identical \(\Lambda\) atoms, collective \(su(3)\) symmetry permits restriction to the fully symmetric irreducible subspace, so spontaneous emission and cavity loss induce effective irreversible transport among symmetric ground states. In the single-mode scheme, the effective dynamics are one-way,
\[
|0\rangle \to |1\rangle \to |2\rangle \to \cdots \to |n\rangle,
\]
and the target \(W_n\) is the symmetric one-excitation state \(|1\rangle\). In the bimodal scheme, one mode yields left-to-right transport and the other right-to-left transport, enabling a two-stage protocol: first pump an arbitrary thermal ground-manifold state to \(|0\rangle\), then pump \(|0\rangle\) to \(|1\rangle\). The paper frames this as dissipative preparation of large \(W\) states, of order ten qubits, using only global addressing [1402.0522].

In trapped-ion systems, dissipative preparation is realized by sympathetic cooling plus chirality-selective collective couplings. The three-qubit Hilbert space is organized into states \(W_{n_\uparrow s}\), and the protocol can generate any one of the six entangled \(W\) states \(W_{10},W_{1+},W_{1-},W_{20},W_{2+},W_{2-}\). Global Mølmer-Sørensen and sideband interactions, together with tailored destructive interference, pump population into the selected target while cooling removes phonons irreversibly. The target state is trapped in the motional ground state because the relevant red-sideband loss channel is blocked by \(a|0\rangle=0\). For realistic \({}^{9}\mathrm{Be}^+ / {}^{25}\mathrm{Mg}^+\) parameters, the reported estimate is about \(98\%\) fidelity in about \(1\ \mathrm{ms}\), without individual addressing [2103.02088].

A more abstract dissipative construction uses purely Lindbladian dynamics with local two-site jumps. The preparation jumps \(L_1=|1,0\rangle\langle 0,0|\) and \(L_2=|1,0\rangle\langle 1,1|\) prepare an exact \(W\) state: \(L_1\) creates local symmetric coherence within fixed particle-number sectors, and \(L_2\) pumps higher-excitation sectors down to the one-particle sector. The result is that every initial state except the all-down vacuum converges to the W-state. The same formalism prepares the generalized phased state \( |W_{\text{Gen}}\rangle \) by gauge-transforming the jump operators. The error jumps \(L_3\) and \(L_{3'}\) preserve the \(W\) state as a dark state but can destroy its attraction basin, leading to an absorbing-state/decohering transition. The all-to-all version is gapped and fast in the ideal limit but fragile, with critical error scale \(\gamma_3=O(1/N)\); the nearest-neighbor version is slower but robust, with threshold scale \(O(1/Z)\), and coherence remnants persist even after the transition [2410.00819].

## 5. Fast coherent implementations and experimental platforms

Shortcut-to-adiabaticity methods supply hardware-specific high-fidelity coherent routes. In a circuit-QED architecture with four rf SQUIDs coupled to a cavity, the dynamics reduce to an effective three-level system \( |\psi_1\rangle \leftrightarrow |\phi_0\rangle \leftrightarrow |W\rangle \). The dressed-state method cancels nonadiabatic couplings without introducing extra physical interactions, and the corrected pulses can be fitted by linear combinations of Gaussian functions. With \(\Omega_0=9.8/T\) and \(g=30/T\), the dressed-state protocol reaches essentially unit fidelity at \(t=T\), whereas STIRAP with the same amplitudes gives only \(F(T)\approx 0.275\); with experimentally realistic values \(g\sim 180~\mathrm{MHz}\), \(\gamma\sim 1.32~\mathrm{MHz}\), \(\kappa\sim 1.32~\mathrm{MHz}\), and \(\gamma_\phi\sim 10~\mathrm{kHz}\), the predicted fidelity is \(F(T)=0.9659\) [1610.07751].

Rydberg-blockade super-atom schemes offer both heralded and coherent-superadiabatic variants. In the heralded version, strong \(|e\rangle\leftrightarrow|r\rangle\) dressing isolates the collective transition \(|G\rangle\leftrightarrow|2+\rangle\), with
\[
|2+\rangle = \frac{|E^2\rangle + \sqrt{2}\,|ER\rangle}{\sqrt{3}}
\]
at \(\Delta_c=-\Omega_c/2\) and \(\Delta_p=-\Delta_c\). Field ionization of the single Rydberg excitation then projects the remaining \(N-1\) atoms into the symmetric Dicke state \( |W_{N-1}\rangle \). At the optimal high-fidelity operating point, the success probability is approximately \(2/3\), and for a Poissonian atom-number distribution with mean \(\langle N\rangle=100\) the weighted average infidelity \(1.15\%\) is essentially unchanged from the \(1.14\%\) value for exactly \(N=100\) [1505.03183]. In the cavity-fiber superatom setting, a superadiabatic iterative technique reduces the dynamics of four Rydberg superatoms to an effective three-level system, with the second counterdiabatic Hamiltonian having the same structure as the effective Hamiltonian. The reported ideal fidelity is \(99.94\%\), it remains above \(97.5\%\) when spontaneous emission and photon leakage are included, and the construction extends formally to \(N\) superatoms [2509.16951].

Many-body analog preparation has now reached experimental scale. On QuEra’s Aquila device, an odd antiferromagnetic Rydberg ring realizes topological ring frustration, and the symmetric single-kink state
\[
|K_S\rangle = \frac{1}{\sqrt{L} \sum_{k=1}^L |k\rangle_{\rm AFM}}
\]
emerges as the target. The protocol has been implemented for \(L=5,7,9,11\) Rubidium atoms. The paper emphasizes that \(|K_S\rangle\) is not exactly the standard \(W\) state at finite \(L\), but serves as its frustrated-ring analogue; a lower-bound fidelity of around \(77\%\) is certified for the experimentally prepared 11-qubit state, and ideal scaling studies report optimized preparation time
\[
t_F \sim L^{1.87\pm 0.11}.
\]
The associated minimum gap scales as \(\Delta_{\rm gap}\sim L^{-2}\), which explains both the possibility of the construction and its size-dependent adiabatic cost [2510.17974].

## 6. Determinism, resource tradeoffs, and recurrent limitations

The literature uses “deterministic” in several distinct senses. Remote \(W\)-basis measurement from ideal EPR sources is deterministic because every measurement outcome is correctable [1509.08438]. Entanglement swapping with the asymmetric three-qubit state is deterministic because every Charlie outcome is accepted and corrected by a single-qubit Pauli [2407.03603]. Local optical expansion becomes deterministic only when all input qubits are processed in parallel [1602.04166], and ancilla-mediated spin-photon doubling is deterministic in principle because it avoids probabilistic fusion, post-selection, and post-processing [2105.10191]. By contrast, heralded Rydberg protocols are intrinsically conditional on ion detection [1505.03183], and purification layers can turn a deterministic underlying protocol into a postselected one by discarding measurement branches [2407.03603].

A second recurrent distinction concerns what is being prepared. Some protocols target the standard symmetric \(W_n\), others an asymmetric \(W\)-class state tailored to a measurement algebra, others a generalized phased \(W\), others one of several chiral three-qubit \(W\) states, and others a finite-size many-body analogue such as the single-kink frustrated-ring state [2407.03603; 2103.02088; 2410.00819; 2510.17974]. This distinction matters operationally: correction tables, dark-state conditions, and validation procedures depend on the exact target manifold, not merely on the label “W state.”

Resource tradeoffs are equally pronounced. Approximate NISQ synthesis can outperform exact arbitrary-state initialization because it lowers depth and CNOT count [2302.11141]. Dissipative all-to-all preparation can be constant-time in the ideal limit but becomes thermodynamically fragile under weak dark-state-preserving errors [2410.00819]. Frustration-based analog preparation avoids the local-gapped-ground-state obstruction but pays a polynomial adiabatic-time cost set by a gap that closes as \(L^{-2}\) [2510.17974]. The abstract of the low-depth measurement-based amplitude-encoding scheme reports \(O(n)\) depth, \(O(2^n)\) ancilla qubits, and a worked W-state example, indicating yet another point in the depth-space tradeoff landscape [2510.08267].

Verification is often as nontrivial as preparation. One remote protocol requires a full three-qubit \(W\)-basis analyzer in its ideal deterministic form, though imperfect-source postselection only needs discrimination among \(|W_1\rangle\), \(|W_5\rangle\), and the rest [1509.08438]. The deterministic entanglement-swapping manuscript specifies the target state exactly but omits the elementary decomposition of its initial W-state preparation block [2407.03603]. In the Aquila experiment, always-on interactions during global rotations obstruct direct \(x\)-basis measurements, forcing the use of a two-setting fidelity estimator together with simulation-informed Bayesian tomography [2510.17974]. This suggests that, for W-state preparation, state certification is frequently limited by the same architectural constraints that shape the preparation protocol itself.

Source: https://www.emergentmind.com/topics/w-state-preparation