---
title: Bidirectional Remote State Preparation (BRSP)
url: https://www.emergentmind.com/topics/bidirectional-remote-state-preparation-brsp
type: topic
---

# Bidirectional Remote State Preparation (BRSP)

Bidirectional Remote State Preparation (BRSP) is a two-way remote state preparation protocol in which two parties simultaneously prepare quantum states at each other’s locations, using pre-shared entanglement and classical communication. In RSP, the sender knows the full classical description of the target state but does not physically possess it; the receiver reconstructs it using feed-forward corrections. In the qubit setting emphasized in the generalized controlled framework, the target single-qubit state is parametrized as
\[
|\psi(\theta,\phi)\rangle=\cos(\theta/2)|0\rangle+e^{i\phi}\sin(\theta/2)|1\rangle.
\]
The 2014 generalized treatment established probabilistic, deterministic, and joint forms of controlled bidirectional remote state preparation (CBRSP), identified a broad resource-state structure that guarantees controllability and bidirectionality, and analyzed amplitude-damping and phase-damping effects on the probabilistic case [1409.0833]. Subsequent work extended the subject in two distinct directions: deterministic bidirectional controlled remote state preparation in arbitrary \(N\)-dimensional systems using two generalized GHZ states and no high-dimensional CNOT operations during the protocol [2501.02986], and BRSP generated dynamically by coined quantum walks, with and without a controller, without any pre-shared initial entanglement [2603.06596].

## 1. Core definitions and task structure

Remote state preparation (RSP) is the task in which a sender prepares a known quantum state at a receiver using preshared entanglement and classical communication, without transmitting the quantum state itself. In the original Pati protocol, the process is probabilistic, with success probability \(1/2\) for a maximally entangled Bell pair and 1 classical bit. Deterministic RSP variants succeed with unit probability but require more classical communication. BRSP is the corresponding simultaneous two-way task: Alice and Bob each act as sender and receiver in the same round, and each remotely prepares a known single-qubit state at the other’s side [1409.0833].

Controlled BRSP introduces a third party, Charlie, whose role is supervisory rather than informational about the prepared states. Charlie prepares and distributes a structured multipartite entangled state; later he measures his system and reveals a classical bit that identifies which pair of entanglement resources is active in each direction. Without this bit, the receivers cannot select the correct correction unitaries, so remote state preparation cannot be completed [1409.0833].

The operational distinction between probabilistic, deterministic, and joint variants is central. In the probabilistic case, success occurs with probability \(1/2\) per direction using a Bell pair and 1 cbit from sender to receiver. In deterministic RSP, success probability is 1 using an augmented procedure such as an ancilla plus a CNOT to create a GHZ state, and 2 cbits from sender to receiver. In joint remote state preparation (JRSP), the knowledge of the target state is split between two senders; deterministic JRSP with GHZ states uses 1 cbit from each sender, 2 cbits total. The generalized controlled bidirectional framework extends each of these to the controlled, bidirectional setting: probabilistic CBRSP, deterministic CBRSP, and deterministic controlled joint BRSP (CJBRSP) [1409.0833].

A later high-dimensional formulation preserves the same basic logic while changing the target class. In that setting, Alice and Bob simultaneously prepare equatorial single-quNit states with equal amplitudes and arbitrary phases at each other’s sites, under Charlie’s control, and the success probability is 1 once Charlie participates [2501.02986]. A different line of work reformulates BRSP as a coined-quantum-walk process in which the required entanglement is generated during the walk itself rather than assumed beforehand [2603.06596].

## 2. Entangled resources and the control condition

The key resource for qubit CBRSP is a 5-qubit entangled state with a particular structure:
\[
|\Psi\rangle_{S_1R_1S_2R_2C}
=
\frac{1}{\sqrt{2}}
\left(
|\psi_1\rangle_{S_1R_1}|\psi_2\rangle_{S_2R_2}|a\rangle_C
\pm
|\psi_3\rangle_{S_1R_1}|\psi_4\rangle_{S_2R_2}|b\rangle_C
\right),
\]
where \(|a\rangle,|b\rangle\) are orthonormal states of the controller, each \(|\psi_i\rangle\) is a Bell state chosen from
\[
|\psi^{\pm}\rangle=\frac{|00\rangle\pm|11\rangle}{\sqrt{2}},\qquad
|\phi^{\pm}\rangle=\frac{|01\rangle\pm|10\rangle}{\sqrt{2}},
\]
and the constraints \(|\psi_1\rangle\neq|\psi_3\rangle\) and \(|\psi_2\rangle\neq|\psi_4\rangle\) hold [1409.0833].

These constraints enforce control. Measuring Charlie in the \(\{|a\rangle,|b\rangle\}\) basis collapses the shared state into a product of two definite Bell states, one for each direction. The receivers’ correction rules depend on which Bell state is active. Because the two branches use different Bell pairs in each direction, there is no single correction that works for both branches, so Charlie’s disclosure is indispensable [1409.0833]. The generalized treatment also notes that, for fixed \(\{|a\rangle,|b\rangle\}\), there are 144 valid assignments of \((\psi_1,\psi_2,\psi_3,\psi_4)\).

An explicit example is the Cao–An channel recast in this form,
\[
|Q\rangle_{S_1R_1S_2R_2C}
=
\frac{1}{\sqrt{2}}
\left(
|\psi^+\rangle_{S_1R_1}|\psi^+\rangle_{S_2R_2}|+\rangle_C
+
|\psi^-\rangle_{S_1R_1}|\psi^-\rangle_{S_2R_2}|-\rangle_C
\right),
\]
with \(|\pm\rangle=(|0\rangle\pm|1\rangle)/\sqrt{2}\) [1409.0833].

For deterministic CJBRSP, local ancillas and CNOT operations convert the Bell-pair-based resource into a 7-qubit channel,
\[
|\Psi\rangle
=
\frac{1}{\sqrt{2}}
\left(
|GHZ_1\rangle_{S_1S_1'R_1}|GHZ_2\rangle_{S_2S_2'R_2}|a\rangle_C
\pm
|GHZ_3\rangle_{S_1S_1'R_1}|GHZ_4\rangle_{S_2S_2'R_2}|b\rangle_C
\right),
\]
with \(GHZ_1\neq GHZ_3\) and \(GHZ_2\neq GHZ_4\), preserving the same control logic [1409.0833].

The high-dimensional BCRSP program uses a different resource: two tripartite generalized GHZ states of local dimension \(N\),
\[
|\mathrm{GHZ}_N\rangle=\frac{1}{\sqrt{N}}\sum_{k=0}^{N-1}|k,k,k\rangle,
\]
and
\[
|\Omega\rangle=
\left(\frac{1}{\sqrt{N}}\sum_{j=0}^{N-1}|j,j,j\rangle\right)_{A_1B_1C_1}
\otimes
\left(\frac{1}{\sqrt{N}}\sum_{j=0}^{N-1}|j,j,j\rangle\right)_{A_2B_2C_2}.
\]
Alice holds \(A_1,A_2\), Bob holds \(B_1,B_2\), and Charlie holds \(C_1,C_2\) [2501.02986].

A markedly different resource model appears in the quantum-walk formulation. There, no pre-shared initial entanglement is assumed. Instead, coined quantum walk dynamics on two independent graphs create the entanglement needed for BRSP during the protocol itself [2603.06596]. This suggests that, within the literature covered here, “resource state” can mean either an explicitly distributed multipartite entangled channel or a dynamically generated entanglement structure.

## 3. Protocol families in the qubit framework

The generalized 2014 treatment organizes qubit BRSP into three protocol families [1409.0833].

| Variant | Success property | Classical communication per bidirectional round |
|---|---|---|
| Probabilistic CBRSP | \(P_{\text{succ}}=1/2\) per direction, \(1/4\) jointly | 3 cbits |
| Deterministic CBRSP | Success probability 1 | 5 cbits |
| Deterministic CJBRSP | Success probability 1 | 5 cbits |

In probabilistic CBRSP, Alice and Bob each measure their sender-side qubit in a basis derived from the state they want to prepare. With \(a=\cos(\theta/2)\), \(b=\sin(\theta/2)\), and phase \(\phi\), define
\[
|q_1\rangle=a|0\rangle+e^{i\phi}b|1\rangle,\qquad
|q_2\rangle=e^{-i\phi}b|0\rangle-a|1\rangle.
\]
Alice succeeds if her outcome is \(|q_2\rangle\), and Bob succeeds if his corresponding outcome is \(|q_2'\rangle\). For a maximally entangled Bell resource, the success probability is \(1/2\) per direction. Conditional on Charlie’s disclosure of the active Bell states, the receiver corrections are:
\[
|\psi^+\rangle \mapsto iY,\qquad
|\psi^-\rangle \mapsto X,\qquad
|\phi^+\rangle \mapsto Z,\qquad
|\phi^-\rangle \mapsto I.
\]
If the sender’s outcome is \(|q_1\rangle\), the attempt fails because the receiver cannot convert \(|q_1\rangle\to|q_2\rangle\) without knowing \(\phi\) [1409.0833].

Deterministic CBRSP builds on the one-directional deterministic RSP procedure associated with the Ba An protocol. Starting from a Bell pair, the sender locally adds an ancilla and applies CNOT to create a GHZ state. The sender then performs two measurements: first in the amplitude basis
\[
|u_0\rangle=a|0\rangle+b|1\rangle,\qquad
|u_1\rangle=b|0\rangle-a|1\rangle,
\]
then, after a conditional application of \(\Pi=\mathrm{diag}(1,e^{2i\phi})\) on the ancilla, in the phase basis
\[
|v_0\rangle=\frac{|0\rangle+e^{i\phi}|1\rangle}{\sqrt{2}},\qquad
|v_1\rangle=\frac{e^{-i\phi}|0\rangle-|1\rangle}{\sqrt{2}}.
\]
The receiver applies a single-qubit Pauli correction according to the pair of outcomes and the initial shared Bell state. For initial \(|\psi^+\rangle\), the corrections are \(I\), \(Z\), \(iY\), and \(X\) for \((|u_0\rangle,|v_0\rangle)\), \((|u_0\rangle,|v_1\rangle)\), \((|u_1\rangle,|v_0\rangle)\), and \((|u_1\rangle,|v_1\rangle)\), respectively [1409.0833].

Deterministic CJBRSP distributes the classical knowledge of the state between two senders per direction. One sender, who knows amplitudes, measures in \(\{|u_0\rangle,|u_1\rangle\}\). The other, who knows the phase, conditionally applies \(\Pi\) on the ancilla and measures in \(\{|v_0\rangle,|v_1\rangle\}\). The receiver correction depends on the pair of outcomes and the GHZ label, and Charlie’s disclosure specifies which GHZ resource is active in each direction [1409.0833].

## 4. Noise model, fidelity, and comparative behavior

The 2014 analysis studies probabilistic CBRSP under two noise models: amplitude damping and phase damping. The noise acts independently only on the four travel qubits \(S_1,R_1,S_2,R_2\); Charlie’s qubit \(C\) is not transmitted and is assumed noiseless. The two qubits going to Alice experience identical noise, and the two qubits going to Bob do likewise [1409.0833].

The Kraus operators are
\[
K_0^A=\begin{bmatrix}1&0\\0&\sqrt{1-\eta_A}\end{bmatrix},
\qquad
K_1^A=\begin{bmatrix}0&\sqrt{\eta_A}\\0&0\end{bmatrix}
\]
for amplitude damping, and
\[
K_0^P=\sqrt{1-\eta_P}\,I,\qquad
K_1^P=\sqrt{\eta_P}\,|0\rangle\langle 0|,\qquad
K_2^P=\sqrt{\eta_P}\,|1\rangle\langle 1|
\]
for phase damping [1409.0833].

For a 5-qubit resource \(\rho=|\Psi\rangle\langle\Psi|\), the noisy state is
\[
\rho_k
=
\sum_{i,j}
(K_i^k)_{S_1}\otimes (K_j^k)_{R_1}\otimes (K_j^k)_{S_2}\otimes (K_i^k)_{R_2}\otimes I_C
\;\rho\;
\big((K_i^k)_{S_1}\otimes (K_j^k)_{R_1}\otimes (K_j^k)_{S_2}\otimes (K_i^k)_{R_2}\otimes I_C\big)^\dagger,
\]
with \(k\in\{A,P\}\). Successful probabilistic CBRSP is modeled by postselection on sender outcomes \(|q_2\rangle\) and a fixed Charlie outcome, followed by normalization, tracing out the measured systems, and applying the appropriate Pauli corrections [1409.0833].

For the specific channel
\[
|\Psi\rangle
=
\frac{1}{\sqrt{2}}
\left(
|\psi^+\rangle_{S_1R_1}|\psi^+\rangle_{S_2R_2}|0\rangle_C
+
|\phi^-\rangle_{S_1R_1}|\phi^-\rangle_{S_2R_2}|1\rangle_C
\right),
\]
the target receiver state in the noiseless successful case is
\[
|T\rangle_{R_1R_2}
=
|\psi_A\rangle_{R_1}\otimes|\psi_B\rangle_{R_2},
\]
and the fidelity is defined by
\[
F=\langle T|\rho_{k,\mathrm{out}}|T\rangle.
\]
The analytical fidelities are
\[
F_{AD}(\eta_A,\theta_1,\theta_2)
=
\frac{
64-128\eta_A+66\eta_A^2-2\eta_A^2\cos(4\theta_1)+\eta_A^2\cos(4(\theta_1-\theta_2))-2\eta_A^2\cos(4\theta_2)+\eta_A^2\cos(4(\theta_1+\theta_2))
}{
16\big(4-8\eta_A+6\eta_A^2+2\eta_A^2\cos(2\theta_1)+\eta_A^2\cos(2(\theta_1-\theta_2))+2\eta_A^2\cos(2\theta_2)+\eta_A^2\cos(2(\theta_1+\theta_2))\big)
},
\]
and
\[
\begin{aligned}
F_{PD}(\eta_P,\theta_1,\theta_2)
=
\frac{1}{64}\Big[&
64-256\eta_P+420\eta_P^2-328\eta_P^3+118\eta_P^4 \\
&+6\eta_P^2(2-4\eta_P+3\eta_P^2)\cos(4\theta_1) \\
&-16\eta_P^2(2-4\eta_P+3\eta_P^2)\cos(2(\theta_1-\theta_2)) \\
&+(2\eta_P^2-4\eta_P^3+3\eta_P^4)\cos(4(\theta_1-\theta_2)) \\
&+12\eta_P^2\cos(4\theta_2)-24\eta_P^3\cos(4\theta_2)+18\eta_P^4\cos(4\theta_2) \\
&-32\eta_P^2\cos(2(\theta_1+\theta_2))+64\eta_P^3\cos(2(\theta_1+\theta_2))-48\eta_P^4\cos(2(\theta_1+\theta_2)) \\
&+(2\eta_P^2-4\eta_P^3+3\eta_P^4)\cos(4(\theta_1+\theta_2))
\Big].
\end{aligned}
\]
The paper’s key observations are that the phases \(\phi_1,\phi_2\) drop out of the fidelity, that fidelities depend on amplitudes \(\theta_1,\theta_2\) and decoherence parameters, and that for equal parameters \(\eta_A=\eta_P=\eta\) and \(\theta_1=\theta_2=\pi/4\), \(F_{AD}(\eta)>F_{PD}(\eta)\) for all \(\eta\); moreover, \(F_{AD}(\eta)\) decreases monotonically with \(\eta\), while \(F_{PD}(\eta)\) can be non-monotonic [1409.0833].

The same Kraus-operator method and postselection formalism are stated to apply to deterministic CBRSP and CJBRSP by using the appropriate 7-qubit resource and applying Kraus maps to the travel qubits only; the locally created ancillas are not sent and thus are not affected [1409.0833]. In the high-dimensional setting, a separate robustness study for \(N=4\) evaluates qudit-flip noise, dephasing noise, and qudit-phase-flip noise, with explicit fidelity expressions and the observation that the equal-amplitude equatorial structure can produce symmetry-based resilience patterns [2501.02986].

## 5. High-dimensional and dynamically generated BRSP

A major generalization replaces qubits by arbitrary \(N\)-dimensional systems. In this deterministic bidirectional controlled remote state preparation scheme, Alice and Bob simultaneously prepare equatorial single-quNit states
\[
|\nu\rangle_A=\frac{1}{\sqrt{N}}\sum_{j=0}^{N-1}e^{i\vartheta_j}|j\rangle_A,\qquad
|\tilde{\nu}\rangle_B=\frac{1}{\sqrt{N}}\sum_{j=0}^{N-1}e^{i\tilde{\vartheta}_j}|j\rangle_B,
\]
with \(\vartheta_0\equiv 0\) and \(\tilde{\vartheta}_0\equiv 0\), under Charlie’s control [2501.02986].

Let \(\omega=e^{2\pi i/N}\). Alice measures \(A_2\) in the orthonormal basis
\[
|\tau_l\rangle=\frac{1}{\sqrt{N}}\sum_{j=0}^{N-1}\omega^{jl}e^{-i\vartheta_j}|j\rangle,
\]
Bob measures \(B_1\) in
\[
|\tilde{\tau}_n\rangle=\frac{1}{\sqrt{N}}\sum_{j=0}^{N-1}\omega^{jn}e^{-i\tilde{\vartheta}_j}|j\rangle,
\]
and Charlie measures \(C_1\) and \(C_2\) in the generalized Fourier basis
\[
|\overline{\tau}_k\rangle=\frac{1}{\sqrt{N}}\sum_{j=0}^{N-1}\omega^{jk}|j\rangle.
\]
After the announced outcomes, the residual states on the receivers are \(|\tilde{z}_{m\oplus n}\rangle_{A_1}\) and \(|z_{k\oplus l}\rangle_{B_2}\), and the required corrections are diagonal phase operators:
\[
U^{(B)}=Z^{-(k\oplus l)},\qquad U^{(A)}=Z^{-(m\oplus n)}.
\]
The success probability is 1 once Charlie performs the prescribed measurements and broadcasts his outcomes. The classical communication cost is \(4\log_2 N\) bits total, and a stated advantage is that high-dimensional CNOT operations are not required during the protocol [2501.02986].

The quantum-walk-assisted BRSP formulation changes the underlying mechanism more radically. Alice and Bob each hold a position register and two coin registers; in the controlled variant, Charlie holds two additional coins. The protocol is implemented on two independent one-dimensional lattices or two independent cycles with two and four vertices. A coined quantum walk step has the standard form
\[
U=S(I\otimes C),
\]
with \(C=H\), and the conditional shift correlates the coin value with the walker’s move. This coin–position correlation generates entanglement dynamically. For example, on the line,
\[
S\Big(|i\rangle\frac{|0\rangle+|1\rangle}{\sqrt{2}}\Big)
=
\frac{|i+1\rangle|0\rangle+|i-1\rangle|1\rangle}{\sqrt{2}},
\]
whose reduced coin density matrix has von Neumann entropy 1 bit [2603.06596].

The uncontrolled BRSP uses four walk steps and 6 qubits total; the controlled BRSP uses six walk steps and 8 qubits total. Alice and Bob measure positions and first coins in bases tied to the target coefficients \(a_0,a_1\) and \(b_0,b_1\), then apply local Pauli corrections on their second coins. The resulting prepared states are exact conditional on success, with \(F=1\). The typical successful branches reported have \(p_{\mathrm{succ}}=1/16\) for uncontrolled line, \(K_2\), and \(C_4\); \(p_{\mathrm{succ}}=1/64\) for controlled \(K_2\) and controlled \(C_4\); and \(p_{\mathrm{succ}}=1/256\) for the controlled line example [2603.06596].

These developments show two non-equivalent generalization strategies. One retains the entangled-channel viewpoint and extends it to quNits with deterministic correction by diagonal phase operators [2501.02986]. The other eliminates the preshared-entanglement assumption entirely by generating the relevant entanglement during a walk, at the cost of probabilistic postselection and a restriction to real-amplitude single-qubit targets [2603.06596].

## 6. Related protocols, boundaries of the term, and open directions

The literature surrounding BRSP includes protocols that are adjacent but not identical to the strict Alice\(\leftrightarrow\)Bob formulation. A notable example is simultaneous asymmetric remote state preparation, where a single sender prepares a 1-qubit state for one receiver and a 2-qubit Bell-like state for another in one round using a five-qubit entangled state. That protocol is “two-directional outward” from Alice but is not reciprocal, so it is not bidirectional in the strict Alice\(\leftrightarrow\)Bob sense [2301.11287]. This distinction is important because BRSP, as defined in the controlled and uncontrolled works discussed above, requires simultaneous preparation in opposite directions.

A second boundary case is the bidirectional controlled hybrid of teleportation and RSP. In that protocol, Alice teleports an unknown \(n\)-qubit state to Bob while Bob remotely prepares a known \(n\)-qubit product state at Alice’s site, under Charlie’s authorization, using a \((4n+1)\)-qubit channel. In its native form, it is a bidirectional hybrid rather than true BRSP, because one direction is teleportation and the other is RSP [2501.18020]. The distinction matters because BRSP presumes that both target states are known to their respective senders.

Within the strict BRSP line, the comparative discussion in the generalized 2014 treatment is explicit. Relative to BRSP without control, CBRSP adds a single classical bit from Charlie and replaces two independent Bell pairs with a structured five-partite resource. Relative to one-way probabilistic RSP, bidirectionality doubles the sender communications and adds Charlie’s bit. Relative to bidirectional teleportation, probabilistic RSP can save classical bits because the sender knows the state; deterministic RSP removes this advantage and matches teleportation’s classical cost per direction, although the protocol structure and correction rules differ [1409.0833].

Practical feasibility is also treated in a bounded way. Bell and GHZ sources, single-qubit rotations, CNOTs, single-qubit projective measurements, and classical broadcast are described as being within current experimental reach in photonic and trapped-ion platforms for the qubit framework [1409.0833]. In the high-dimensional scheme, if the quNit is encoded in the spatial mode of single photons, the protocol can be accomplished solely using only linear optical elements, including multiport interferometers and phase shifters [2501.02986]. In the quantum-walk approach, physical implementations are associated with trapped ions, photonic platforms, and NMR, under assumptions of negligible decoherence across the walk duration and high-fidelity single-qubit Hadamards and projective measurements [2603.06596].

Open directions are also stated explicitly. For the generalized qubit framework, full noise analysis beyond the probabilistic case is outlined but not carried out analytically; the same Kraus/postselection method is said to apply directly to deterministic CBRSP and CJBRSP [1409.0833]. Extensions to multi-qubit target states and higher-dimensional systems, security modeling beyond control, and experimental demonstrations of controlled bidirectional variants under realistic noise are identified as open problems [1409.0833]. The high-dimensional work is currently tailored to equatorial states with uniform amplitudes; extending to arbitrary amplitude states may require additional resources or operations [2501.02986]. The quantum-walk formulation identifies the extension to arbitrary complex amplitudes, deterministic walk-engineered BRSP, and rigorous robustness analysis under realistic noise models as open questions [2603.06596].

Source: https://www.emergentmind.com/topics/bidirectional-remote-state-preparation-brsp