---
title: Passive Environment-Assisted Quantum Communication
url: https://www.emergentmind.com/topics/passive-environment-assisted-quantum-communication
type: topic
---

# Passive Environment-Assisted Quantum Communication

Passive environment-assisted quantum communication is a communication model in which a quantum channel is realized as a unitary interaction between an information-carrying system and an environment, while a helper controls only the environment’s initial state and does not measure the environment, apply feedforward, or use classical side information during transmission. In this setting, the induced channel is changed from the standard “vacuum environment” or “thermal environment” form by replacing the environment input with a tailored state, and the resulting communication properties can differ sharply from those of the unassisted channel. The subject spans an abstract capacity theory for unitary dilations, explicit bosonic constructions for beam splitters and attenuators, non-Gaussian ancilla design, memory-based passive steering of environments, and experimentally motivated passive architectures in continuous-variable and time-bin quantum communication [1407.8160][2401.16781].

## 1. Formal model and operational meaning

In the general passive-helper model, a single use of the physical link is represented by an isometry or unitary
$$
U^{AE \to BE'}: A \otimes E \to B \otimes E',
$$
where $A$ is the sender’s input, $E$ is the environment input, $B$ is the receiver’s output, and $E'$ is the environment output. Fixing an environment state $\sigma_E$ induces the completely positive trace-preserving map
$$
\mathcal{N}_\sigma(\rho_A)=\operatorname{Tr}_{E'}\!\left[U(\rho_A\otimes \sigma_E)U^\dagger\right].
$$
The helper may prepare product environment states across channel uses or arbitrary correlated states across uses, but remains passive after preparation. In an extended model, the helper and receiver may also share prior entanglement, changing the induced channel to $A\to BH$ [1407.8160].

This notion is distinct from active environment assistance. In active schemes, the environment output is measured and the outcome is used for feedforward correction, possibly with two-way classical communication. In passive assistance, none of those operations are allowed: the only resource is the initial choice of the environment state. A common misconception is that “passive” means “no control.” In the formal usage of the subject, passive assistance can involve highly structured environment preparation, including non-Gaussian states, correlated helper inputs across uses, or helper–receiver entanglement prepared before communication begins [1407.8160][2401.16781].

For bosonic channels, the same idea is expressed through a beam splitter or other Gaussian unitary. If a system mode $a$ and an environment mode $b$ interact through a beam splitter of transmissivity $\eta$, then passive assistance corresponds to choosing a fixed ancilla state $\sigma$ at the environment input and using the induced channel
$$
\mathcal{E}_\sigma(\rho):=\operatorname{Tr}_E\!\left[U_{\mathrm{BS}}(\eta)(\rho\otimes \sigma)U_{\mathrm{BS}}^\dagger(\eta)\right].
$$
The choice $\sigma=|0\rangle\langle 0|$ reproduces the standard pure-loss channel, but a nontrivial $\sigma$ can fundamentally change the channel seen by the receiver [2401.16781].

## 2. Bosonic loss, anti-degradability, and the threshold problem

For the unassisted bosonic pure-loss channel, the environment is vacuum and the channel is the canonical attenuator of transmissivity $\eta\in[0,1]$. In the unlimited-energy limit, its quantum capacity per mode is
$$
Q(\eta)=\max\{0,\log_2(\eta)-\log_2(1-\eta)\},
$$
so $Q(\eta)=0$ for $\eta\le 1/2$. This is the well-known 50% loss threshold. The beam splitter realization is specified by the Heisenberg relations
$$
a_{\mathrm{out}}=\sqrt{\eta}\,a_{\mathrm{in}}+\sqrt{1-\eta}\,b_{\mathrm{env}},\qquad
b_{\mathrm{out}}=-\sqrt{1-\eta}\,a_{\mathrm{in}}+\sqrt{\eta}\,b_{\mathrm{env}},
$$
or, in quadratures,
$$
\hat q_{\mathrm{out}}^{(a)}=\sqrt{\eta}\,\hat q_{\mathrm{in}}^{(a)}+\sqrt{1-\eta}\,\hat q_{\mathrm{env}}^{(b)},\qquad
\hat p_{\mathrm{out}}^{(a)}=\sqrt{\eta}\,\hat p_{\mathrm{in}}^{(a)}+\sqrt{1-\eta}\,\hat p_{\mathrm{env}}^{(b)}.
$$
With vacuum at the environment input, the reduced map on the system is pure loss; with a structured environment state, the channel is no longer the standard pure-loss map [2401.16781].

The same threshold appears in the Gaussian-helper analysis of two-mode Gaussian unitaries. Under a Gaussian helper restriction, beam splitters with $q\in[1/2,1)$ are Gaussian universally degradable and beam splitters with $0\le q\le 1/2$ are Gaussian universally anti-degradable. In that restricted setting, the single-letter quantum capacity is
$$
Q_{GH\otimes}(B(q))=\ln\frac{q}{1-q},\qquad q\in[1/2,1),
$$
and it vanishes for $0\le q\le 1/2$. The same work also shows that no nontrivial two-mode Gaussian unitary is universally degradable or universally anti-degradable for all environment states, Gaussian or not, unless $q=1$ [2101.00602].

A central point of passive assistance is therefore not that it “improves” the standard pure-loss channel while keeping the same channel model, but that it replaces the vacuum-environment channel by a different induced channel. In characteristic-function language, for a beam splitter one has
$$
\chi_{S,\mathrm{out}}(\alpha)=\chi_{S,\mathrm{in}}(\sqrt{\eta}\,\alpha)\chi_{E,\mathrm{in}}(\sqrt{1-\eta}\,\alpha),
$$
$$
\chi_{E,\mathrm{out}}(\alpha)=\chi_{S,\mathrm{in}}(-\sqrt{1-\eta}\,\alpha)\chi_{E,\mathrm{in}}(\sqrt{\eta}\,\alpha),
$$
so zeros or lattice structure in the ancilla characteristic function can suppress logical signatures at the environment output while preserving them at the receiver output [2602.21549].

## 3. GKP-assisted passive transmission through beam splitters

The most explicit passive construction known in the bosonic setting uses Gottesman–Kitaev–Preskill states. GKP codes encode finite-dimensional logical systems in a single bosonic mode by stabilizing against small displacements in phase space. For a square-lattice qubit code, the stabilizers are
$$
S_q=e^{i2\sqrt{\pi}\hat q},\qquad S_p=e^{-i2\sqrt{\pi}\hat p},
$$
and logical operators can be chosen as
$$
\hat X=e^{-i\sqrt{2\pi}\hat p},\qquad \hat Z=e^{+i\sqrt{2\pi}\hat q}.
$$
More generally, a symplectic lattice basis $u,v$ with $\omega(u,v)=2\pi d$ defines a $d$-dimensional GKP code $\mathcal{C}_{d,S}$ [2401.16781].

The passive construction matches the system GKP code and the environment GKP code to the beam splitter transmissivity. If the environment mode is prepared in a $d_2$-dimensional GKP code with lattice basis vectors $u_2,v_2$, then for the system mode one defines
$$
U_X:=\hat T_1(\tilde u_1),\qquad U_Z:=\hat T_1(\tilde v_1),
$$
with
$$
\tilde u_1:=\sqrt{\frac{\eta}{1-\eta}}\,u_2,\qquad
\tilde v_1:=\sqrt{\frac{\eta}{1-\eta}}\,v_2.
$$
Because $\hat T_2(u_2)$ and $\hat T_2(v_2)$ are environment stabilizers, the evolved logicals can be represented so that the receiver output contains the system logical information while the environment output carries no logical information about it. The physical pictures given for this mechanism are position-space interference and characteristic-function filtering: the environment GKP characteristic function acts like a periodic filter that removes the logical harmonics from the wrong output while preserving them in the right one [2401.16781].

For rational transmissivities, the construction becomes exact. If
$$
\eta=\frac{m}{n},\qquad n=m+k d_1 d_2,
$$
and the system and environment lattices satisfy
$$
S_2=\operatorname{diag}\!\left(\sqrt{\frac{k_2m_1}{k_1m_2}},\sqrt{\frac{k_1m_2}{k_2m_1}}\right)S_1,
$$
with $m=m_1m_2$ and $k=k_1k_2$, then the beam splitter perfectly and simultaneously transmits the code in mode 1 to its output port and the code in mode 2 to its output port, with no measurement or feedforward. The output marginal states lie in larger GKP codes with
$$
d_3=d_1 n,\qquad d_4=d_2 n,
$$
so the beam splitter embeds each input GKP code into a larger output code. The two outputs are entangled, but each input logical subsystem is mapped to a local logical subsystem at its corresponding output [2401.16781].

This result removes the unassisted 50% threshold at the logical level. The threshold applies to the standard pure-loss channel with vacuum environment; by choosing a matched GKP environment state, the induced channel becomes an isometry on the encoded GKP subspace for any $\eta=m/n$ with $n=m+k d_1 d_2$. The construction also extends beyond the ideal infinite-energy setting. Finite-energy GKP states are taken as
$$
|\mu;\Delta\rangle:=N_\Delta e^{-\Delta^2\hat n}|\mu\rangle,
$$
with mean photon number approximately
$$
\bar n\approx \frac{1}{2\Delta^2}-\frac{1}{2}.
$$
For equal $\Delta$ on the two inputs, $e^{-\Delta^2(\hat n_1+\hat n_2)}$ commutes with the beam splitter, and the entanglement infidelity scales approximately as
$$
1-F_e\approx \text{const}\times \Delta^2 e^{-1/\Delta^2}\approx e^{-c\bar n}.
$$
At $\eta=1/3$ and $d_1=2$, tri-convex optimization yields $F_e\approx 0.98$ under an average energy constraint $\bar n\le 3$ per mode, with coherent information $\approx 0.83$ qubits per mode; the optimal environment and encoder are well fit by GKP states, with fidelity $>0.99$ to finite-energy GKP on a hexagonal lattice [2401.16781].

## 4. Non-Gaussian ancillas beyond ideal GKP and passive steering by memory

A major practical issue is that ideal GKP ancillas are difficult to realize experimentally. A later bosonic study therefore considers more experimentally accessible non-Gaussian ancillas, including Fock states, cat states, and squeezed cat states, together with optimized encoders and decoders. The framework maximizes entanglement fidelity
$$
F_e=\langle \Phi |(\mathbb{I}_R\otimes \mathcal{F}_\sigma)(|\Phi\rangle\langle \Phi|)|\Phi\rangle
$$
and also reports the single-letter coherent information
$$
Q^{(1)}(\mathcal{E}_\sigma)=\max_\rho I_c(\rho,\mathcal{E}_\sigma).
$$
Numerically, the optimization is performed by alternating semidefinite programming over encoder and decoder, typically converging in about 150 rounds from random initializations [2602.21549].

Representative results show that low-energy non-Gaussian ancillas can already lift the below-threshold regime. With a Fock ancilla $|1\rangle$ and optimized encoding at $\eta=0.3$, the reported entanglement fidelity is approximately $78\%$ and the coherent information is approximately $0.40$. Cat ancillas with $\alpha\approx 2.0$ and squeezed cat ancillas with $\alpha\approx 1.5$, $r\approx 1.4$ also yield positive coherent information for some $\eta<0.5$. For Fock $|1\rangle$ ancillas and $\eta\approx 0.3$–$0.4$, the numerically optimized encodings resemble hexagonal GKP states; evaluated against $|n\rangle$ environments with $n=1,\dots,4$, coherent information around $I_c\approx 0.2$ is observed near optimal $\eta<0.5$ [2602.21549].

Several analytical schemes complement the numerics. In a cat-ancilla model, a special operating point yields a degradable channel with
$$
Q(\tilde\Lambda_\delta)=Q^{(1)}(\tilde\Lambda_\delta)=\frac{1}{2},
$$
while the decoded channel obtained from the Petz map satisfies
$$
Q(\mathcal{F})=Q^{(1)}(\mathcal{F})=1-h_2(3/4)\approx 0.1887,
$$
and the optimal channel fidelity under Petz equals $3/4$. In comb-ancilla constructions, for $d=2$ one obtains
$$
\max_f [2,f]=\cos^2\!\left[\frac{\pi}{2(m+1)}\right]\to 1
$$
and
$$
I_c(\mathbb{I}/2,\mathcal{F})=1-h_2\!\left(\cos^2\!\left[\frac{\pi}{2(m+1)}\right]\right)\to 1
$$
as the number of comb teeth $m$ increases. In a high-Fock scheme with environment $\alpha|0\rangle+\beta|n\rangle$ and a $\{|0\rangle,|2\rangle\}$ code, optimizing over $\lambda$ gives $I_c\approx 0.415$ near $\lambda\approx 1.17$, and an explicit decoder at $\lambda=1$ yields $F_e\approx 0.71$ and $I_c\approx 0.39$ [2602.21549].

Passive assistance need not rely on direct laboratory access to the environment input. A memory-based protocol for bosonic attenuators realizes passive assistance by sending “trigger signals” before the data-carrying signal. If successive uses are separated by times much shorter than the environment relaxation time, the environment does not reset, and the trigger train steers it into a favorable non-thermal state. For a collective trigger mode
$$
h_{\lambda,k}:=\sqrt{\frac{1-\lambda}{1-\lambda^k}}\sum_{l=1}^k \lambda^{(k-l)/2}\hat a_l,
$$
preparing the trigger state $|n,\lambda\rangle$ leads to an environment state $\sigma_{\lambda,n,k}$ obeying
$$
\|\sigma_{\lambda,n,k}-|n\rangle\langle n|\|_1\le \eta\,\lambda^{k/2}.
$$
With only two triggers, one has
$$
\|\sigma_\lambda-|n_\lambda\rangle\langle n_\lambda|\|_1\le \kappa \sqrt{\lambda},
$$
and for sufficiently small $\lambda$ the protocol yields
$$
Q(\Phi_\lambda,\sigma_\lambda)\ge Q(\Phi_\lambda,\sigma_\lambda,1/2)\ge c/2.
$$
This operationalizes the die-hard effect $Q(\Phi_\lambda,\sigma(\lambda))\ge c>0$ for every transmissivity $\lambda>0$ without directly accessing the environment state [2204.13129].

| Scheme | Passive environment strategy | Representative result |
|---|---|---|
| Matched GKP ancilla | Tailored GKP state at the beam-splitter environment port | Perfect transmission for rational $\eta=m/n$ with ideal GKP; $F_e\approx 0.98$ at $\eta=1/3$, $\bar n\le 3$ [2401.16781] |
| Accessible non-Gaussian ancilla | Fock, cat, or squeezed cat state at the dark port | At $\eta=0.3$, Fock $|1\rangle$ gives $F_e\approx 78\%$ and $I_c\approx 0.40$ [2602.21549] |
| Trigger-signal steering | Passive preconditioning of a memoryful environment | Two triggers yield $Q(\Phi_\lambda,\sigma_\lambda,1/2)\ge c/2$ for small $\lambda$ [2204.13129] |

## 5. Capacity theory, helper correlations, and structural order results

The abstract capacity theory of passive environment assistance is more general than the bosonic beam-splitter setting. For a unitary interaction $V:AE\to BF$, the unrestricted-helper quantum capacity is
$$
\mathbf{Q}_H(V)=\sup_n \max_{\eta^{(n)}} \frac{1}{n}\,\mathbf{Q}\!\left((\mathcal{N}^{\otimes n})_{\eta^{(n)}}\right)
=\sup_n \max_{\eta^{(n)},\rho^{(n)}} \frac{1}{n}\,I_c\!\left(\rho^{(n)},(\mathcal{N}^{\otimes n})_{\eta^{(n)}}\right),
$$
where the helper may choose a correlated environment state $\eta^{(n)}$ across uses. The product-helper version restricts $\eta^{(n)}$ to product states, and a further extension allows prior entanglement between helper and receiver, yielding $\mathbf{Q}_{H+E}$ [1407.8160].

A basic structural fact is that helper correlations matter. The product-helper capacity can differ from the unrestricted capacity, and prior shared entanglement between helper and receiver can make a further difference. For two-qubit unitaries, a single-letter expression exists for the product-helper capacity because the induced qubit channel is either degradable or anti-degradable for every pure environment input:
$$
\mathbf{Q}_{H,\mathrm{prod}}(V)=\max_\eta \max_\rho I_c(\rho,\mathcal{N}_\eta).
$$
By contrast, the unrestricted-helper setting can exhibit superactivation and self-superactivation: there are explicit families for which $\mathbf{Q}_{H,\mathrm{prod}}(V)=0$ but $\mathbf{Q}_H(V^{\otimes 2})>0$, and there are pairs $V,W$ with $\mathbf{Q}_{H,\mathrm{prod}}(V)=\mathbf{Q}_{H,\mathrm{prod}}(W)=0$ but $\mathbf{Q}_H(V\otimes W)>0$ when the helper entangles the environments across uses [1407.8160].

In Gaussian bosonic communication, the capacity theory persists under energy constraints. For a Gaussian isometry $W:AE\to BF$, the energy-constrained passive-helper quantum capacity is
$$
Q_H(W;P_A;P_E)
=
\sup_n \max_{\eta^{(n)}} \max_{\rho^{(n)}:\operatorname{Tr}\rho^{(n)}H_{A^n}\le nP_A}
\frac{1}{n}\,
I_c\!\left(\rho^{(n)};(\mathcal{N}^{\otimes n})_{\eta^{(n)}}\right),
$$
with $\eta^{(n)}$ satisfying the helper energy constraint. The same work gives a multi-letter formula for the classical capacity and an uncertainty-type relation for classical product-state capacities,
$$
\chi_A(W;P_A;P_E)+\chi_H(W;P_A;P_E)\ge
\frac{\min\{P_A,P_E\}}{2\max\{P_A,P_E\}+1}.
$$
This lower bound implies a nontrivial conferencing-encoder rate even when neither assisted capacity is characterized exactly [2101.00602].

Another structural line concerns order preservation rather than explicit rates. Passive-environment bosonic channels, defined by energy-preserving linear coupling to an environment in a passive state followed by tracing out the environment, preserve Fock majorization:
$$
\rho \succeq_F \sigma \Longrightarrow \Phi(\rho)\succeq_F \Phi(\sigma).
$$
On passive states, standard majorization is also preserved. The underlying channel action on Fock-diagonal inputs is represented by lower-triangular, column-stochastic transition matrices, reflecting the fact that a passive environment cannot supply work to the signal mode. These results constrain output entropies, energy monotones, and majorization orderings under passive-environment noise, even though the work does not provide explicit capacity formulas [1806.06044].

## 6. Implementations, broader passive architectures, and open directions

Beam-splitter-based passive assistance is particularly natural for quantum transduction. A two-mode transducer implements an effective beam splitter between bosonic modes such as microwave–optical, optical–optical, or microwave–microwave modes, and the idle input port of the other mode is precisely the environment port that can be prepared passively. In the GKP construction, the required resources are finite-energy GKP preparation in at least one mode, a stable beam splitter interaction with known $\eta$, and standard GKP syndrome extraction or decoding at the receiver. Platforms explicitly mentioned for these tasks are superconducting microwave cavities, trapped-ion motion, and rapidly advancing optical implementations [2401.16781].

Finite-energy and non-Gaussian imperfections determine the near-term feasibility of passive assistance. In the GKP beam-splitter setting, simulations show that high entanglement fidelity and large coherent information persist for a few-percent intrinsic loss; at $\eta=1/3$ and $\bar n\le 3$, tri-convex optimization yields positive coherent information up to approximately $27\%$ intrinsic loss probability. Thermal noise, mode mismatch, phase drifts, finite detector efficiency, and approximate GKP preparation degrade the periodic filtering mechanism, but finite-energy tolerance helps. In the non-Gaussian ancilla setting, deterministic generation of low-$n$ Fock states is standard in cavities and circuits, optical cats with $|\alpha|\approx 1.5$–$2.5$ and squeezed cats with $r\approx 1.4$ are within reach, and optical GKP states are maturing, although bright multimode GKP remains difficult [2401.16781][2602.21549].

A broader protocol-level use of passivity appears in quantum key distribution. In continuous-variable QKD, passive state preparation uses the intrinsic Gaussian fluctuations of an amplified spontaneous emission source rather than active amplitude and phase modulators. The emitted ensemble is identical to the Gaussian-modulated coherent-state ensemble from Eve’s perspective, and the main technical parameter is the passive-preparation excess noise
$$
\varepsilon_A=
\frac{2V_A\eta_0(\upsilon_{ax}+1)+V_A^2\eta_{ax}(1-a^2)}
{V_A\eta_{ax}+2\eta_0(\upsilon_{ax}+1)}.
$$
Experimentally, the excess noise is effectively suppressed by optical attenuation, and secure key generation over metro-area distances is reported, with simulations yielding distances beyond $80$ km at $\gamma=0.2$ dB/km [2001.06417].

Time-bin QKD over multimode channels provides a different passive design philosophy. A field-widened, imaging 4$f$ multimode interferometer and a reference-frame-independent protocol remove the need for active mode filtering, adaptive optics, active basis selection, and active phase stabilization. Over a $15$ m graded-index multimode fiber channel, the experiment reports visibilities of approximately $86$–$89\%$, $Q_Z\approx 4.2\%$ or $3.4\%$, and a sustained asymptotic secure key rate greater than $0.06$ bits/coincidence; the reference-frame-independent parameter
$$
C=\sqrt{\langle X_A\otimes X_B(\theta)\rangle^2+\langle Y_A\otimes X_B(\theta)\rangle^2}
$$
remains essentially constant even under an imposed phase drift of $0.1$ rad/s [2302.05038].

Open questions remain at several levels. In the capacity theory, exact energy-constrained environment-assisted quantum capacities are open, as are conditions for single-letterization beyond special degradable cases. In bosonic implementations, energy–rate tradeoffs for ancilla preparation, decoder complexity outside Petz-optimal points, and extensions to thermal-loss, phase-noise, multimode, and memory channels remain unsettled. For GKP-based passive assistance, exceptional transmissivities of the form $\eta=(n-1)/n$ support only trivial $d=1$ under the rational-matching construction, and full classifications of Gaussian unitaries and matched lattices are still of interest. These limitations coexist with a clear general conclusion: passive control of the environment can qualitatively alter quantum communication thresholds, capacities, and implementation strategies without requiring measurements or feedforward during transmission [2401.16781][2602.21549][2101.00602].

Source: https://www.emergentmind.com/topics/passive-environment-assisted-quantum-communication