This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Optimized protocols for duplex quantum transduction

Zhaoyou Wang [email protected]    Mengzhen Zhang    Yat Wong    Changchun Zhong    Liang Jiang [email protected] Pritzker School of Molecular Engineering, University of Chicago, Chicago, Illinois 60637, USA
Abstract

Quantum transducers convert quantum signals through hybrid interfaces of physical platforms in quantum networks. Modeled as quantum communication channels, performance of unidirectional quantum transduction can be measured by the quantum channel capacity. However, characterizing performance of quantum transducers used for duplex quantum transduction where signals are converted bidirectionally remains an open question. Here, we propose rate regions to characterize the performance of duplex quantum transduction. Using this tool, we find that quantum transducers optimized for simultaneous duplex transduction can outperform strategies based on the standard protocol of time-shared unidirectional transduction. Integrated over the frequency domain, we demonstrate that rate region can also characterize quantum transducers with finite bandwidth.

Introduction.—Quantum transducers convert quantum signals between physically distinct carriers, enabling quantum information exchange across multiple platforms in quantum networks Kimble (2008). For example, a microwave-to-optical quantum transducer Lambert et al. (2020); Han et al. (2021); Andrews et al. (2014); Vainsencher et al. (2016); Fan et al. (2018); Rueda et al. (2019); Jiang et al. (2020); Mirhosseini et al. (2020); McKenna et al. (2020); Xu et al. (2021); Tu et al. (2022); Shen et al. (2022) can distribute processed quantum states stored in superconducting qubits over optical fibers. Various designs of quantum transducers have been developed, utilizing hybrid interfaces like electro-optics Tsang (2010); Fan et al. (2018); Rueda et al. (2019); McKenna et al. (2020); Xu et al. (2021), optomechanics Aspelmeyer et al. (2014); Stannigel et al. (2010); Safavi-Naeini and Painter (2011); Hill et al. (2012); Palomaki et al. (2013); Andrews et al. (2014); Lecocq et al. (2016); Vainsencher et al. (2016); Jiang et al. (2020); Mirhosseini et al. (2020); Shen et al. (2022), and electro-magnonics Zhang et al. (2014); Tabuchi et al. (2015); Shen et al. (2022).

As devices for quantum state transfer, quantum transducers can be abstracted as quantum channels. Most bosonic quantum transducers use red-detuned pumps Han et al. (2021); Andrews et al. (2014); Fan et al. (2018); Rueda et al. (2019); Jiang et al. (2020); Mirhosseini et al. (2020); McKenna et al. (2020) to engineer a two-mode scattering process that is equivalent to a beam splitter. The input signal of one mode a^1,in(a^2,in)\hat{a}_{1,\text{in}}(\hat{a}_{2,\text{in}}) gets converted to the output signal of the other mode a^2,out(a^1,out)\hat{a}_{2,\text{out}}(\hat{a}_{1,\text{out}}), yielding two unidirectional transduction channels 1\mathcal{E}_{1} and 2\mathcal{E}_{2} (Fig. 1(a)). Oftentimes, only a single channel is utilized to transduce quantum signal from one mode to the other, which we refer to as unidirectional quantum transduction. The performance of unidirectional quantum transduction is characterized by the quantum capacity of either 1\mathcal{E}_{1} or 2\mathcal{E}_{2} Zhang et al. (2018); Wang et al. (2022).

By leveraging both unidirectional transduction channels, quantum signals can be converted bidirectionally which we refer to as duplex quantum transduction 111Previous works on “bidirectional conversion” Andrews et al. (2014); Vainsencher et al. (2016); Jiang et al. (2020); Xu et al. (2021) measures the two unidirectional transduction channels separately on a single device, while the duplex quantum transduction we consider here is more general.. Duplex quantum transduction can be modeled as a quantum interference channel Fawzi et al. (2012); Sen (2012); Das et al. (2021), with senders A(a^1,in)A(\hat{a}_{1,\text{in}}) and B(a^2,in)B(\hat{a}_{2,\text{in}}) and receivers C(a^2,out)C(\hat{a}_{2,\text{out}}) and D(a^1,out)D(\hat{a}_{1,\text{out}}). The senders and receivers can be distinct users by separating the input and output signals of each mode with circulators (Fig. 1(b)). For example, a lossless beam splitter with efficiency TT (Fig. 1(c)) implements a quantum interference channel:

1,AD:a^2,out=Ta^1,in+1Ta^2,in2,BC:a^1,out=Ta^2,in1Ta^1,in.\begin{split}\mathcal{E}_{1,A\rightarrow D}:\hat{a}_{2,\text{out}}=&\sqrt{T}\hat{a}_{1,\text{in}}+\sqrt{1-T}\hat{a}_{2,\text{in}}\\ \mathcal{E}_{2,B\rightarrow C}:\hat{a}_{1,\text{out}}=&\sqrt{T}\hat{a}_{2,\text{in}}-\sqrt{1-T}\hat{a}_{1,\text{in}}.\end{split} (1)

One strategy for duplex quantum transduction is to alternate between using 1\mathcal{E}_{1} and 2\mathcal{E}_{2}, while simultaneous transduction of uncorrelated input signals a^1,in\hat{a}_{1,\text{in}} and a^2,in\hat{a}_{2,\text{in}} may be more efficient. However, 1\mathcal{E}_{1} and 2\mathcal{E}_{2} can interfere with each other when put in use simultaneously, e.g., the input signal a^1,in\hat{a}_{1,\text{in}} for 1\mathcal{E}_{1} acts as added noise for 2\mathcal{E}_{2} in a beam splitter (Eq. (1)). As a result, characterizing the performance of duplex quantum transduction requires a new metric beyond the quantum capacities of the individual unidirectional transduction channels.

We propose to use achievable information rate region as the performance metric. The achievable rates of a quantum device depend on the quantum channels it implements as well as the input signal encodings, with channel parameters (such as TT in Eq. (1)) determined by the physical device parameters. In duplex quantum transduction, both transduction channels 1\mathcal{E}_{1} and 2\mathcal{E}_{2} transmit quantum information at rates I1I_{1} and I2I_{2} respectively. For simultaneous duplex transduction, the pair of achievable rates (I1,I2)(I_{1},I_{2}) depends on how we encode quantum information into the quantum signals. By varying the encodings for a^1,in\hat{a}_{1,\text{in}} and a^2,in\hat{a}_{2,\text{in}}, we obtain a two-dimensional region of achievable information rates {(I1,I2)}\{(I_{1},I_{2})\} (Fig. 1(d)). The rate region characterizes the performance of simultaneous duplex transduction and its boundary indicates the optimized coding strategies. Past studies have also employed rate regions or capacity regions to study the trade-off among multiple quantum channels, albeit limited to sending classical information Bennett et al. (2003); Childs et al. (2006); Fawzi et al. (2012); Sen (2012); Shi et al. (2021) or distributing entanglement in qubit-based quantum networks Pant et al. (2019); Shi and Qian (2020); Vardoyan et al. (2021); Dai et al. (2022). So far, there is no analysis investigating the achievable quantum information rate region at the hardware level, such as quantum transducers.

Furthermore, we can combine simultaneous duplex transduction with the time-sharing strategy, where we alternate between different signal encodings and even device parameters. This leads to a new region of achievable rates that is the convex hull of the original region, and we refer to the new region as the time-sharing achievable rate region. For example, we can perform transduction in one direction with 1\mathcal{E}_{1} for 40% of the time and in the opposite direction with 2\mathcal{E}_{2} for the rest 60% of the time (black dot Fig. 1(d)). Notably, when the original region is not convex, time-sharing can offer additional performance boost for duplex quantum transduction.

In this work, we define the (time-sharing) achievable rate region and apply the tool to characterize the performance of two-mode quantum transducers. We demonstrate that a sizable portion of quantum transducers can benefit from simultaneously transducing quantum signals in both directions. We also discuss how reflectionless scattering leads to the optimal duplex quantum transduction, as well as the effect of finite bandwidth.

Refer to caption
Figure 1: (a) Quantum signals converted from one mode to the other with a quantum transducer, where 1\mathcal{E}_{1} and 2\mathcal{E}_{2} are the unidirectional transduction channels. (b) Separating the input and output signals of each mode with circulators. (c) Beam splitter with efficiency TT. (d) Schematic of the rate region (black line) for duplex quantum transduction. Blue dots: quantum capacity of the unidirectional transduction channels. Grey dashed line: achievable rates for the time-shared unidirectional transduction.

Rate regions of duplex quantum transduction.—We consider quantum transducers with a linear input-output relation

(a^1,outa^2,outa^n,out)=S(a^1,ina^2,ina^n,in),\begin{pmatrix}\hat{a}_{1,\text{out}}\\ \hat{a}_{2,\text{out}}\\ \vdots\\ \hat{a}_{n,\text{out}}\end{pmatrix}=S\begin{pmatrix}\hat{a}_{1,\text{in}}\\ \hat{a}_{2,\text{in}}\\ \vdots\\ \hat{a}_{n,\text{in}}\end{pmatrix}, (2)

where the scattering matrix SS is unitary and depends on the device parameters of the transducer Han et al. (2021). We choose ports 1 and 2 as the signal ports, and a^n>2,in\hat{a}_{n>2,\text{in}} are the injected vacuum noise from the internal loss channels. The two transduction channels are

1,AD:a^2,out=S21a^1,in+S22a^2,in+n>2S2na^n,in2,BC:a^1,out=S12a^2,in+S11a^1,in+n>2S1na^n,in.\begin{split}\mathcal{E}_{1,A\rightarrow D}:\hat{a}_{2,\text{out}}=&S_{21}\hat{a}_{1,\text{in}}+S_{22}\hat{a}_{2,\text{in}}+\sum_{n>2}S_{2n}\hat{a}_{n,\text{in}}\\ \mathcal{E}_{2,B\rightarrow C}:\hat{a}_{1,\text{out}}=&S_{12}\hat{a}_{2,\text{in}}+S_{11}\hat{a}_{1,\text{in}}+\sum_{n>2}S_{1n}\hat{a}_{n,\text{in}}.\end{split} (3)

Intuitively, the transmission coefficients S12S_{12} and S21S_{21} determine the transduction efficiency, while the reflection coefficients S11S_{11} and S22S_{22} lead to the interference between 1\mathcal{E}_{1} and 2\mathcal{E}_{2}.

Here we define the achievable information rates for simultaneous duplex transduction. For a quantum channel :()()\mathcal{E}:\mathcal{L}(\mathcal{H})\rightarrow\mathcal{L}(\mathcal{H}), the achievable rate of quantum information with an input state ρ^\hat{\rho} is measured by the coherent information I(,ρ^)I(\mathcal{E},\hat{\rho}) Wilde (2013). Let |ψ\left|\psi\right\rangle\in\mathcal{H}\otimes\mathcal{H}^{\prime} be a purification of ρ^\hat{\rho}, we have

I(,ρ^)H((ρ^))H(()(|ψψ|)),I(\mathcal{E},\hat{\rho})\equiv H(\mathcal{E}(\hat{\rho}))-H((\mathcal{E}\otimes\mathcal{I}^{\prime})(\left|\psi\right\rangle\left\langle\psi\right|)), (4)

where H(ρ^)H(\hat{\rho}) is the von Neumann entropy of ρ^\hat{\rho} and \mathcal{I}^{\prime} is the identity map on \mathcal{H}^{\prime}. For I(,ρ^)<0I(\mathcal{E},\hat{\rho})<0, the achievable rate is 0. Generalizing to a quantum interference channel (A,B)(C,D):(12)(12)\mathcal{E}_{(A,B)\rightarrow(C,D)}:\mathcal{L}(\mathcal{H}_{1}\otimes\mathcal{H}_{2})\rightarrow\mathcal{L}(\mathcal{H}_{1}\otimes\mathcal{H}_{2}), the simultaneously achievable information rates (I1,I2)(I_{1},I_{2}) with uncorrelated input state ρ^1ρ^2\hat{\rho}_{1}\otimes\hat{\rho}_{2} are

I1(,ρ^1ρ^2)I(1,ρ^1)1()=Tr1(,ρ^2)I2(,ρ^1ρ^2)I(2,ρ^2)2()=Tr2(ρ^1,).\begin{split}I_{1}\left(\mathcal{E},\hat{\rho}_{1}\otimes\hat{\rho}_{2}\right)\equiv&I\left(\mathcal{E}_{1},\hat{\rho}_{1}\right)\qquad\mathcal{E}_{1}(\cdot)=\text{Tr}_{1}\mathcal{E}(\cdot,\hat{\rho}_{2})\\ I_{2}\left(\mathcal{E},\hat{\rho}_{1}\otimes\hat{\rho}_{2}\right)\equiv&I\left(\mathcal{E}_{2},\hat{\rho}_{2}\right)\qquad\mathcal{E}_{2}(\cdot)=\text{Tr}_{2}\mathcal{E}(\hat{\rho}_{1},\cdot).\end{split} (5)

Given the challenges in determining the quantum capacity for lossy channels with added noise Schumacher and Nielsen (1996); Lloyd (1997); Devetak (2005); Weedbrook et al. (2012), we focus on the rate region achievable with thermal input states as a lower bound. When the input signals of 1\mathcal{E}_{1} and 2\mathcal{E}_{2} are thermal states with average photon number N1N_{1} and N2N_{2}, the outputs are also thermal states with photon number N1=TN1+R2N2N_{1}^{\prime}=TN_{1}+R_{2}N_{2} and N2=TN2+R1N1N_{2}^{\prime}=TN_{2}+R_{1}N_{1} (Fig. 2(a)). Here Ri=|Sii|2R_{i}=|S_{ii}|^{2} is the power reflection coefficient from port ii, Tij=|Sij|2T_{ij}=|S_{ij}|^{2} is the power transmission coefficient from port jj to port ii, and we assume T12=T21TT_{12}=T_{21}\equiv T. For finite R1R_{1} and R2R_{2}, the reflected signal from one channel adds thermal noise to the other channel, which leads to the trade-off between I1I_{1} and I2I_{2} for simultaneous duplex transduction.

The achievable rates (I1,I2)(I_{1},I_{2}) for Eq. (3) with thermal input states (N1,N2)(N_{1},N_{2}) are (see Appendix A)

Ik(T,R1,R2,N1,N2)=h(Nk)h(Dk+NkNk12)h(DkNk+Nk12),\begin{split}&I_{k}(T,R_{1},R_{2},N_{1},N_{2})=h(N_{k}^{\prime})\\ &-h\left(\frac{D_{k}+N_{k}^{\prime}-N_{k}-1}{2}\right)-h\left(\frac{D_{k}-N_{k}^{\prime}+N_{k}-1}{2}\right),\end{split} (6)

where k=1,2k=1,2,

h(x)=(x+1)log2(x+1)xlog2(x),h(x)=(x+1)\log_{2}(x+1)-x\log_{2}(x), (7)

and

Dk=(Nk+Nk+1)24TNk(Nk+1).D_{k}=\sqrt{(N_{k}+N_{k}^{\prime}+1)^{2}-4TN_{k}(N_{k}+1)}. (8)

The rate region 𝖱{(I1,I2)|(N1,N2)}\mathsf{R}\equiv\{(I_{1},I_{2})|\forall(N_{1},N_{2})\} only depends on channel parameters (T,R1,R2)(T,R_{1},R_{2}). We could combine simultaneous duplex transduction with the time-sharing protocol, and the resulting time-sharing rate region is the convex hull 𝖱~=Conv(𝖱)\tilde{\mathsf{R}}=\text{Conv}(\mathsf{R}). Additionally, numerical evidences suggest that thermal encodings are likely optimal among general Gaussian encodings (see Appendix A.1). The rate regions can be calculated similarly when the environment injects thermal noise rather than vacuum noise via the internal loss channels a^n>2,in\hat{a}_{n>2,\text{in}} (see Appendix A.2).

The rate region 𝖱\mathsf{R} can be determined from its boundary 𝖱\partial\mathsf{R}. For the special cases of unidirectional quantum transduction with (N1,N2)=(,0)(N_{1},N_{2})=(\infty,0) and (0,)(0,\infty), we achieve information rates (Imax,0)(I_{\text{max}},0) and (0,Imax)(0,I_{\text{max}}) on 𝖱\partial\mathsf{R} (Fig. 2(b), blue dots). Here Imax=max{log2(T/(1T)),0}I_{\text{max}}=\max\{\log_{2}(T/(1-T)),0\} is the quantum capacity of the pure-loss channel Holevo and Werner (2001). For I1>0I_{1}>0 and I2>0I_{2}>0, 𝖱\mathsf{R} corresponds to a continuous mapping (N1,N2)(I1,I2)(N_{1},N_{2})\rightarrow(I_{1},I_{2}) and 𝖱\partial\mathsf{R} can be solved numerically with the low-rank Jacobian condition det(J)=0\det(J)=0, where JJ is the 2×22\times 2 Jacobian matrix. In Fig. 2(b), we plot the rate regions 𝖱\mathsf{R} (blue lines and dots) and 𝖱~\tilde{\mathsf{R}} (grey lines) for different reflection coefficients (R1,R2)(R_{1},R_{2}). We choose T=0.9T=0.9 with Imax3.17I_{\text{max}}\approx 3.17.

Refer to caption
Figure 2: (a) Duplex transduction with thermal input states. (b) The rate regions (blue dot and lines) and time-sharing rate regions (grey lines) at T=0.9T=0.9 for different reflection coefficients (R1,R2)=(0.03,0.03),(0.03,0),(0.003,0.003),(0,0)(R_{1},R_{2})=(0.03,0.03),(0.03,0),(0.003,0.003),(0,0).

Finite reflection RkR_{k} results in a noticeable discontinuity of the boundary 𝖱\partial\mathsf{R} at the IkI_{k} axis (Fig. 2(b)i-iii). This can be explained from the upper bound on the thermal-loss capacity Rosati et al. (2018); Sharma et al. (2018); Noh et al. (2019). Assuming R1>0R_{1}>0, the channel 2,BC\mathcal{E}_{2,B\rightarrow C} is a thermal loss channel with noise photon N¯=R1N1/(1T)\bar{N}=R_{1}N_{1}/(1-T). From the upper bound Rosati et al. (2018); Sharma et al. (2018); Noh et al. (2019)

I2max{log2[T(1T)N¯(1T)(N¯+1)],0},I_{2}\leq\max\left\{\log_{2}\left[\frac{T-(1-T)\bar{N}}{(1-T)(\bar{N}+1)}\right],0\right\}, (9)

we must have N1<(2T1)/2R1N_{1}<(2T-1)/2R_{1} to achieve a positive information rate I2>0I_{2}>0. On the other hand, when I2=0I_{2}=0 the quantum capacity I1=ImaxI_{1}=I_{\text{max}} is achieved at N1N_{1}\rightarrow\infty, which leads to the discontinuity at I2=0I_{2}=0.

If one side is reflectionless with Rk=0R_{k}=0, the discontinuity of 𝖱\partial\mathsf{R} vanishes at the IkI_{k} axis (Fig. 2(b)ii I2I_{2} axis). If both sides are reflectionless, there is no interference between the two transduction channels and the maximal square region can be achieved (Fig. 2(b)iv). Therefore it is possible to outperform the time-shared unidirectional transduction (Fig. 1(d) grey dashed line) with the simultaneous duplex transduction, as long as the reflection coefficients are small (Fig. 2(b)ii-iv).

So far we have only considered direct transduction without adaptive control Zhang et al. (2018) or shared entanglement Zhong et al. (2020a, b); Wu et al. (2021). In Appendix B, we briefly discuss duplex quantum transduction assisted with local operations and classical communication (LOCC), along with the scenario where the senders are the same as the receivers which allows the interference-based techniques Lau and Clerk (2019); Zhang et al. (2022).

Optimized transduction protocols.—Here we apply the tool of rate regions to analyze a physical transducer model. The channel parameters (T,R1,R2)(T,R_{1},R_{2}), and thus the achievable rates, depend on the device parameters of the transducer. We therefore generalize the achievable rate regions to include not only different signal encodings but also different device parameters. The boundary of the resulting rate region leads to optimized signal encodings and device parameters for the transducer.

We consider a transducer model for frequency conversion between two bosonic modes a^1\hat{a}_{1} and a^2\hat{a}_{2} (Fig. 3 (a)). The lab frame Hamiltonian is

H^=ω1a^1a^1+ω2a^2a^2+g(a^1a^2eiωpt+a^1a^2eiωpt),\hat{H}=\omega_{1}\hat{a}^{\dagger}_{1}\hat{a}_{1}+\omega_{2}\hat{a}^{\dagger}_{2}\hat{a}_{2}+g\left(\hat{a}^{\dagger}_{1}\hat{a}_{2}e^{i\omega_{p}t}+\hat{a}_{1}\hat{a}^{\dagger}_{2}e^{-i\omega_{p}t}\right), (10)

where ωk\omega_{k} are the mode frequencies, ωp\omega_{p} is the pump frequency and gg is the interaction rate. An input signal at frequency ω\omega in mode 1 gets converted to an output signal at frequency ω+ωp\omega+\omega_{p} in mode 2, and vice versa. The Hamiltonian in the rotating frame of the signal is

H^=Δ1a^1a^1+Δ2a^2a^2+g(a^1a^2+a^1a^2),\hat{H}=\Delta_{1}\hat{a}^{\dagger}_{1}\hat{a}_{1}+\Delta_{2}\hat{a}^{\dagger}_{2}\hat{a}_{2}+g\left(\hat{a}^{\dagger}_{1}\hat{a}_{2}+\hat{a}_{1}\hat{a}^{\dagger}_{2}\right), (11)

where Δ1=ω1ω\Delta_{1}=\omega_{1}-\omega and Δ2=ω2ωpω\Delta_{2}=\omega_{2}-\omega_{p}-\omega.

Assuming mode kk has external (internal) loss rate κk,e(i),k=1,2\kappa_{k,e(i)},k=1,2, the scattering matrix only depends on the ratios κk,e/κk,i\kappa_{k,e}/\kappa_{k,i} (see Appendix D). In practice, the loss rates of two modes may differ by orders of magnitude, but the ratios κ1,e/κ1,i\kappa_{1,e}/\kappa_{1,i} and κ2,e/κ2,i\kappa_{2,e}/\kappa_{2,i} are often close Fan et al. (2018); McKenna et al. (2020); Xu et al. (2021). Therefore, we assume symmetric loss rates κ1,e(i)=κ2,e(i)κe(i)\kappa_{1,e(i)}=\kappa_{2,e(i)}\equiv\kappa_{e(i)} for simplicity and the more general case is discussed in Appendix D. The input-output relation is given by

(a^1,outa^2,outa~1,outa~2,out)=S(a^1,ina^2,ina~1,ina~2,in),\begin{pmatrix}\hat{a}_{1,\text{out}}\\ \hat{a}_{2,\text{out}}\\ \tilde{a}_{1,\text{out}}\\ \tilde{a}_{2,\text{out}}\end{pmatrix}=S\begin{pmatrix}\hat{a}_{1,\text{in}}\\ \hat{a}_{2,\text{in}}\\ \tilde{a}_{1,\text{in}}\\ \tilde{a}_{2,\text{in}}\end{pmatrix}, (12)

where a~k,in(out)\tilde{a}_{k,\text{in(out)}} are the internal loss channels, and

S=(I+κeMκeκiMκeκiMI+κiM).S=\begin{pmatrix}I+\kappa_{e}M&\sqrt{\kappa_{e}\kappa_{i}}M\\ \sqrt{\kappa_{e}\kappa_{i}}M&I+\kappa_{i}M\end{pmatrix}. (13)

Here II is the 2×22\times 2 identity matrix, and

M=(iG+κe+κi2I)1,G=(Δ1ggΔ2).M=-\left(iG+\frac{\kappa_{e}+\kappa_{i}}{2}I\right)^{-1},\quad G=\begin{pmatrix}\Delta_{1}&g\\ g&\Delta_{2}\end{pmatrix}. (14)

We focus on optimizing the detunings (Δ1,Δ2)(\Delta_{1},\Delta_{2}) of the transducer, while keeping other relevant parameters (g,κe,κi)(g,\kappa_{e},\kappa_{i}) fixed. Besides the signal encodings (N1,N2)(N_{1},N_{2}), the achievable rates (I1,I2)(I_{1},I_{2}) also depends on the device parameters (Δ1,Δ2,g,κe,κi)(\Delta_{1},\Delta_{2},g,\kappa_{e},\kappa_{i}). We therefore define the rate region as 𝖱{(I1,I2)|(N1,N2,Δ1,Δ2)}\mathsf{R}\equiv\{(I_{1},I_{2})|\forall(N_{1},N_{2},\Delta_{1},\Delta_{2})\}. The optimized signal encodings (N1,N2)(N_{1},N_{2}) and detunings (Δ1,Δ2)(\Delta_{1},\Delta_{2}) can be obtained from the boundary 𝖱~\partial\tilde{\mathsf{R}} of the time-sharing rate region 𝖱~\tilde{\mathsf{R}}.

Refer to caption
Figure 3: (a) Schematic of a physical transducer model. (b) Optimized protocols achieving the boundary 𝖱~\partial\tilde{\mathsf{R}} for the time-shared duplex transduction at different κe\kappa_{e}. Here i-v correspond to κe=9.2,9.66,9.9,10.05,11.4\kappa_{e}=9.2,9.66,9.9,10.05,11.4 respectively.

The boundary of the rate region can be determined by exploring several possible solutions. On the I1I_{1} and I2I_{2} axes, the quantum capacity of unidirectional quantum transduction increases with the transmission coefficient. Therefore we choose (Δ1,Δ2)(\Delta_{1},\Delta_{2}) that leads to the highest transmission rate TT to achieve the information rates (Imax,0)(I_{\text{max}},0) and (0,Imax)(0,I_{\text{max}}) on 𝖱\partial\mathsf{R}. For I1>0I_{1}>0 and I2>0I_{2}>0, 𝖱\mathsf{R} corresponds to a continuous mapping (N1,N2,Δ1,Δ2)(I1,I2)(N_{1},N_{2},\Delta_{1},\Delta_{2})\rightarrow(I_{1},I_{2}). The boundary 𝖱\partial\mathsf{R} as extreme values of the mapping can be obtained by comparing two possible solutions. One solution is from the low-rank Jacobian condition rank(J)<2\text{rank}(J)<2, where JJ is the 2×42\times 4 Jacobian matrix. The other solution is from the reflectionless condition with Rk=0R_{k}=0 and NkN_{k}\rightarrow\infty where k=1k=1 or 22. We consider this solution separately since the Jacobian matrix may be undefined under the limit of NkN_{k}\rightarrow\infty. The reflectionless solution can be calculated analytically. For example, R1=0R_{1}=0 requires

Δ1=κeκiκe+κiΔ2,Δ2=(κe+κi)(4g2κe2+κi2)4(κeκi),\Delta_{1}=\frac{\kappa_{e}-\kappa_{i}}{\kappa_{e}+\kappa_{i}}\Delta_{2},\qquad\Delta_{2}=\sqrt{\frac{(\kappa_{e}+\kappa_{i})(4g^{2}-\kappa_{e}^{2}+\kappa_{i}^{2})}{4(\kappa_{e}-\kappa_{i})}}, (15)

which leads to the achievable rates at N1N_{1}\rightarrow\infty

I1(N2)=log2T1Th(R2N21+T2(1T))I2(N2)=h(TN2)h((1T)N2).\begin{split}I_{1}(N_{2})=&\log_{2}\frac{T}{1-T}-h\left(R_{2}N_{2}\frac{1+T}{2(1-T)}\right)\\ I_{2}(N_{2})=&h(TN_{2})-h((1-T)N_{2}).\end{split} (16)

In practice, we expect an approximate reflectionless solution with Rk0R_{k}\approx 0 and finite NkN_{k}, due to input power constraints and uncertainties in controlling the reflection coefficients.

We calculate the time-sharing rate region 𝖱~(κe)\tilde{\mathsf{R}}(\kappa_{e}) for several choices of κe\kappa_{e} at g=5g=5 and κi=1\kappa_{i}=1 (Fig. 3(b)). The boundary 𝖱~\partial\tilde{\mathsf{R}} may be composed of one or more types of the protocols: reflectionless (red), low-rank Jacobian (green) and time-sharing (grey). For example, for 9.63<κe<9.689.63<\kappa_{e}<9.68 the boundary contains all three types of protocols (Fig. 3(b)ii) while for κe>11.28\kappa_{e}>11.28 or κe<6.2\kappa_{e}<6.2 the optimized protocols is time-shared unidirectional transduction. It is also worth mentioning that for 6.2<κe<11.286.2<\kappa_{e}<11.28 the transducers benefit from the simultaneous duplex transduction.

If both κe\kappa_{e} and detunings are tunable, it can be proved that the highest transmission rate TT occurs when R1=R2=0R_{1}=R_{2}=0 (see Appendix C). Therefore the optimal duplex quantum transduction is achieved with the two-side reflectionless condition at κe=4g2+κi2\kappa_{e}=\sqrt{4g^{2}+\kappa_{i}^{2}} and Δ1=Δ2=0\Delta_{1}=\Delta_{2}=0 (Fig. 3(b)iv). In other words, 𝖱~(4g2+κi2)\tilde{\mathsf{R}}(\sqrt{4g^{2}+\kappa_{i}^{2}}) is the largest possible region in the sense that 𝖱~(κe)𝖱~(4g2+κi2)\tilde{\mathsf{R}}(\kappa_{e})\subseteq\tilde{\mathsf{R}}(\sqrt{4g^{2}+\kappa_{i}^{2}}) for any κe\kappa_{e}.

Frequency-integrated rate region.—Quantum transducer usually has a finite conversion bandwidth, which determines the range of signal frequencies that can be converted efficiently Zeuthen et al. (2020). Larger bandwidth enables higher operation speed of the transducer, and is preferable in presence of decoherence. Within the bandwidth, quantum signals at multiple frequencies can be transduced independently with frequency-dependent conversion efficiencies.

We can perform duplex quantum transduction in parallel for various signal frequencies, and the frequency-dependent scattering matrices result in distinct achievable rate regions that vary with frequency. Let ω2=ωp+ω1\omega_{2}=\omega_{p}+\omega_{1} for the transducer model Eq. (11), the signal detuning in the rotating frame becomes Δ1=Δ2Δ\Delta_{1}=\Delta_{2}\equiv\Delta, and the frequency-dependent rate region is 𝖱(Δ){(I1(Δ),I2(Δ))|(N1,N2)}\mathsf{R}(\Delta)\equiv\{(I_{1}(\Delta),I_{2}(\Delta))|\forall(N_{1},N_{2})\}. We plot the time-sharing rate regions 𝖱~(Δ)\tilde{\mathsf{R}}(\Delta) for multiple Δ\Delta (Fig. 4(a)), and compare max[I1(Δ)+I2(Δ)]\max[I_{1}(\Delta)+I_{2}(\Delta)] with the quantum capacity Imax(Δ)I_{\text{max}}(\Delta) (Fig. 4(b)). For Δ\Delta within the grey shaded region, simultaneous duplex transduction is advantageous, while outside this region time-shared unidirectional transduction is the optimal protocol.

Refer to caption
Figure 4: (a) The time-sharing rate regions 𝖱~(Δ)\tilde{\mathsf{R}}(\Delta) for different signal frequencies. Here g=5,κe=9,κi=1g=5,\kappa_{e}=9,\kappa_{i}=1 are fixed. (b) Comparing the maximal I1(Δ)+I2(Δ)I_{1}(\Delta)+I_{2}(\Delta) with the quantum capacity Imax(Δ)I_{\text{max}}(\Delta). (c) Frequency-integrated rate region 𝖱~tot\tilde{\mathsf{R}}_{\text{tot}} over all regions 𝖱~(Δ)\tilde{\mathsf{R}}(\Delta) in (a).

To obtain the total achievable rate region, we sum the contributions from the individual rate regions at each signal frequency (Fig. 4(a)). The frequency-integrated rate region for time-shared duplex transduction is defined as

𝖱~tot𝖱~(ω)dωδ(𝖱~(ωj1)𝖱~(ωj)𝖱~(ωj+1)),\begin{split}\tilde{\mathsf{R}}_{\text{tot}}\equiv&\int^{\oplus}\tilde{\mathsf{R}}(\omega)\text{d}\omega\\ \approx&\delta(\cdots\oplus\tilde{\mathsf{R}}(\omega_{j-1})\oplus\tilde{\mathsf{R}}(\omega_{j})\oplus\tilde{\mathsf{R}}(\omega_{j+1})\oplus\cdots),\end{split} (17)

where {ωj}\{\omega_{j}\} is a set of evenly spaced frequencies with a frequency spacing δ\delta, and 𝖠𝖡{𝒂+𝒃|𝒂𝖠,𝒃𝖡}\mathsf{A}\oplus\mathsf{B}\equiv\{\bm{a}+\bm{b}|\bm{a}\in\mathsf{A},\bm{b}\in\mathsf{B}\} is the Minkowski sum De Berg et al. (2008) of two sets 𝖠\mathsf{A} and 𝖡\mathsf{B}. For general sets the complexity of Minkowski sum is O(|A||B|)O(|A||B|), while for convex sets 𝖠\mathsf{A} and 𝖡\mathsf{B} in 2\mathbb{R}^{2} the complexity is O(|A|+|B|)O(|\partial A|+|\partial B|) De Berg et al. (2008). Therefore numerical evaluation of 𝖱~tot\tilde{\mathsf{R}}_{\text{tot}} is efficient since 𝖱~\tilde{\mathsf{R}} is convex in 2\mathbb{R}^{2}.

We calculate the Minkowski sum of all rate regions 𝖱~(Δ)\tilde{\mathsf{R}}(\Delta) in Fig. 4(a), and the resulting frequency-integrated rate region 𝖱~tot\tilde{\mathsf{R}}_{\text{tot}} is shown in Fig. 4(c). The boundary 𝖱~tot\partial\tilde{\mathsf{R}}_{\text{tot}} can be achieved with frequency dependent protocols. For example, to realize the orange part of 𝖱~tot\partial\tilde{\mathsf{R}}_{\text{tot}} with a slope of -1, we choose the simultaneous duplex transduction protocol that maximizes I1(Δ)+I2(Δ)I_{1}(\Delta)+I_{2}(\Delta) (Fig. 4(a) orange dots) for signal detuning Δ\Delta within the grey shaded region in Fig. 4(b). For other Δ\Delta, we perform the time-shared unidirectional transduction. Benefiting from simultaneous duplex transduction, the frequency-integrated rate region outperforms the time-shared unidirectional transduction (Fig. 4(c) grey dashed line).

Discussion.—We proposed the (time-sharing) rate region to quantify the performance of duplex quantum transduction, and studied optimized protocols for a two-mode quantum transducer. Unlike unidirectional quantum transduction, duplex quantum transduction is influenced by the reflection coefficients, and we explored how the reflectionless condition can be related to the optimal duplex quantum transduction. Furthermore, we incorporated the finite bandwidth of the transducer and introduced the frequency-integrated rate region. In future works, it would be interesting to consider non-Gaussian encodings (see Appendix E), as well as other approaches to quantum transduction such as adaptive control Zhang et al. (2018), shared entanglement Zhong et al. (2020a, b); Wu et al. (2021) and interference-based methods Lau and Clerk (2019); Zhang et al. (2022). Our method can also be extended to analyze the performance of multiplex quantum hardware with more than two quantum channels, such as characterizing the performance of a 3-port quantum circulator with a 3-dimensional rate region. Exploring alternative performance metrics Siddiqui and Wilde (2022) for duplex quantum transduction may provide further insights.

Acknowledgements.
We thank Amir Safavi-Naeini, Cheng Guo, Chiao-Hsuan Wang, Mark M. Wilde and Siddhartha Das for helpful discussions. We acknowledge support from the ARO(W911NF-23-1-0077), ARO MURI (W911NF-21-1-0325), AFOSR MURI (FA9550-19-1-0399, FA9550-21-1-0209), AFRL (FA8649-21-P-0781), NSF (OMA-1936118, ERC-1941583, OMA-2137642), NTT Research, and the Packard Foundation (2020-71479). L.J. acknowledges the support from the Marshall and Arlene Bennett Family Research Program. This material is based upon work supported by the U.S. Department of Energy, Office of Science, National Quantum Information Science Research Centers.

Appendix A Achievable rates of linear transducers

We provide details for the achievable rates Eq. (6) and discuss about the capacity region as well as rate region with general Gaussian states. The derivations are based on properties of Gaussian states and channels Weedbrook et al. (2012); Noh et al. (2019), and we follow the convention in Ref. Noh et al. (2019).

The transducer defined in Eq. (2) is a passive linear system, i.e., linear system without squeezing. Since SS is unitary, Eq. (2) is a Gaussian unitary transformation described by a 2n×2n2n\times 2n symplectic matrix

𝐒=(𝐒11𝐒12𝐒21𝐒22)\bm{\mathrm{S}}=\begin{pmatrix}\bm{\mathrm{S}}_{11}&\bm{\mathrm{S}}_{12}&\cdots\\ \bm{\mathrm{S}}_{21}&\bm{\mathrm{S}}_{22}&\cdots\\ \vdots&\vdots&\ddots\end{pmatrix} (18)

with

𝐒ij=(Re{Sij}Im{Sij}Im{Sij}Re{Sij})=|Sij|𝐑(θij),\bm{\mathrm{S}}_{ij}=\begin{pmatrix}\text{Re}\{S_{ij}\}&-\text{Im}\{S_{ij}\}\\ \text{Im}\{S_{ij}\}&\text{Re}\{S_{ij}\}\end{pmatrix}=|S_{ij}|\bm{\mathrm{R}}(\theta_{ij}), (19)

where θij=arg(Sij)\theta_{ij}=\arg(S_{ij}) and we have defined the phase rotation matrix

𝐑(θ)=(cosθsinθsinθcosθ).\bm{\mathrm{R}}(\theta)=\begin{pmatrix}\cos\theta&-\sin\theta\\ \sin\theta&\cos\theta\end{pmatrix}. (20)

The coherent information Eq. (4) can be calculated analytically for Gaussian input states. We choose a nn-mode Gaussian state with covariance matrix 𝐕=diag(𝐕1,𝐕2,,𝐕n)\bm{\mathrm{V}}=\text{diag}(\bm{\mathrm{V}}_{1},\bm{\mathrm{V}}_{2},\cdots,\bm{\mathrm{V}}_{n}), where 𝐕k\bm{\mathrm{V}}_{k} is the covariance matrix for mode kk. For quantum channel 1,AD\mathcal{E}_{1,A\rightarrow D}, we can purify the input state of mode 1 with a reference system. The joint covariance matrix of the reference system and mode 1 is

(𝐕1𝐂1T𝐂1𝐕1),\begin{pmatrix}\bm{\mathrm{V}}_{1}^{\oplus}&\bm{\mathrm{C}}_{1}^{T}\\ \bm{\mathrm{C}}_{1}&\bm{\mathrm{V}}_{1}\end{pmatrix}, (21)

where

𝐕1=(N1+12)𝐈𝐂1=N1(N1+1)𝐑(θ1)𝐒(r1)𝐙\begin{split}\bm{\mathrm{V}}_{1}^{\oplus}=&\left(N_{1}+\frac{1}{2}\right)\bm{\mathrm{I}}\\ \bm{\mathrm{C}}_{1}=&\sqrt{N_{1}(N_{1}+1)}\bm{\mathrm{R}}(\theta_{1})\bm{\mathrm{S}}(r_{1})\bm{\mathrm{Z}}\end{split} (22)

and the decomposition of general one-mode Gaussian states is

𝐕1=(N1+12)𝐑(θ1)𝐒(2r1)𝐑T(θ1).\bm{\mathrm{V}}_{1}=\left(N_{1}+\frac{1}{2}\right)\bm{\mathrm{R}}(\theta_{1})\bm{\mathrm{S}}(2r_{1})\bm{\mathrm{R}}^{T}(\theta_{1}). (23)

Here r1r_{1} is the squeezing parameter and θ1\theta_{1} is the angle of the squeezing axis. We have defined 𝐈=diag(1,1),𝐙=diag(1,1)\bm{\mathrm{I}}=\text{diag}(1,1),\bm{\mathrm{Z}}=\text{diag}(1,-1) and the single mode squeezing transformation 𝐒(r)=diag(er,er)\bm{\mathrm{S}}(r)=\text{diag}(e^{-r},e^{r}).

The coherent information for channel 1,AD\mathcal{E}_{1,A\rightarrow D} is

I1,AD=H(𝐕2)H(𝐕2′′)I_{1,A\rightarrow D}=H(\bm{\mathrm{V}}_{2}^{\prime})-H(\bm{\mathrm{V}}_{2}^{\prime\prime}) (24)

where H(𝐕)H(\bm{\mathrm{V}}) is the von Neumann entropy of a Gaussian state with covariance matrix 𝐕\bm{\mathrm{V}}, and

𝐕2=k=1n𝐒2k𝐕k𝐒2kT𝐕2′′=(𝐕1𝐂1T𝐒21T𝐒21𝐂1𝐕2).\begin{split}\bm{\mathrm{V}}_{2}^{\prime}=&\sum_{k=1}^{n}\bm{\mathrm{S}}_{2k}\bm{\mathrm{V}}_{k}\bm{\mathrm{S}}_{2k}^{T}\\ \bm{\mathrm{V}}_{2}^{\prime\prime}=&\begin{pmatrix}\bm{\mathrm{V}}_{1}^{\oplus}&\bm{\mathrm{C}}_{1}^{T}\bm{\mathrm{S}}_{21}^{T}\\ \bm{\mathrm{S}}_{21}\bm{\mathrm{C}}_{1}&\bm{\mathrm{V}}_{2}^{\prime}\end{pmatrix}.\end{split} (25)

Here 𝐕2\bm{\mathrm{V}}_{2}^{\prime} is the output state of mode 2 and 𝐕2′′\bm{\mathrm{V}}_{2}^{\prime\prime} is the joint output state of the reference system and mode 2.

We assume vacuum input states for modes n>2n>2 with 𝐕n>2=12𝐈\bm{\mathrm{V}}_{n>2}=\frac{1}{2}\bm{\mathrm{I}}. In this case,

𝐕2=k=1n𝐒2k𝐕k𝐒2kT=𝐒21𝐕1𝐒21T+𝐒22𝐕2𝐒22T+12(1|S21|2|S22|2)𝐈\begin{split}\bm{\mathrm{V}}_{2}^{\prime}=&\sum_{k=1}^{n}\bm{\mathrm{S}}_{2k}\bm{\mathrm{V}}_{k}\bm{\mathrm{S}}_{2k}^{T}\\ =&\bm{\mathrm{S}}_{21}\bm{\mathrm{V}}_{1}\bm{\mathrm{S}}_{21}^{T}+\bm{\mathrm{S}}_{22}\bm{\mathrm{V}}_{2}\bm{\mathrm{S}}_{22}^{T}+\frac{1}{2}(1-|S_{21}|^{2}-|S_{22}|^{2})\bm{\mathrm{I}}\end{split} (26)

where we have used the fact that SS is unitary. Therefore I1I_{1} only depends on S21,S22S_{21},S_{22} and 𝐕1,𝐕2\bm{\mathrm{V}}_{1},\bm{\mathrm{V}}_{2}. Similarly, (I1,I2)(I_{1},I_{2}) only depends on S11,S12,S21,S22S_{11},S_{12},S_{21},S_{22} and 𝐕1,𝐕2\bm{\mathrm{V}}_{1},\bm{\mathrm{V}}_{2}. If the input states to mode 1 and 2 are thermal states instead of general Gaussian states, Eq. (24) reduces to Eq. (6) and the rate region 𝖱\mathsf{R} only depends on (T,R1,R2)(T,R_{1},R_{2}).

Refer to caption
Figure 5: (a) Blue region: 𝖱gaussian\mathsf{R}_{\text{gaussian}}, red line and red dots: 𝖱thermal\partial\mathsf{R}_{\text{thermal}}. Numerically we have 𝖱thermal=𝖱gaussian\mathsf{R}_{\text{thermal}}=\mathsf{R}_{\text{gaussian}}. Here 𝖱gaussian\mathsf{R}_{\text{gaussian}} is calculated by sweeping N1,N2N_{1},N_{2} from 10310^{-3} to 10310^{3}, r1,r2r_{1},r_{2} from 0 to 2, and Δθ\Delta\theta from π-\pi to π\pi. The channel parameters are (T,R1,R2,θ)=(0.9,0.03,0.03,1)(T,R_{1},R_{2},\theta)=(0.9,0.03,0.03,1). (b) The rate regions (blue dot and lines) and time-sharing rate regions (grey lines) under thermal noise Nth=2N_{\text{th}}=2. The four subfigures are at T=0.9T=0.9 with different reflection coefficients (R1,R2)=(0.03,0.03),(0.03,0),(0.003,0.003),(0,0)(R_{1},R_{2})=(0.03,0.03),(0.03,0),(0.003,0.003),(0,0) respectively. (c) The coherent information I1I_{1} as a function of N1N_{1} for thermal noise Nth=2N_{\text{th}}=2 and vacuum noise Nth=0N_{\text{th}}=0, where N2=0N_{2}=0.

A.1 Thermal states vs general Gaussian states

Let 𝖱thermal\mathsf{R}_{\text{thermal}} and 𝖱gaussian\mathsf{R}_{\text{gaussian}} be the rate regions achieved with thermal states and general Gaussian states respectively. Obviously 𝖱thermal𝖱gaussian\mathsf{R}_{\text{thermal}}\subseteq\mathsf{R}_{\text{gaussian}}. Below we prove that thermal states give rise to local optima of 𝖱gaussian\mathsf{R}_{\text{gaussian}}. Here we assume fixed channel parameters (T,R1,R2,θ)(T,R_{1},R_{2},\theta) and the rate regions are obtained by varying the signal encodings.

Consider a mapping 𝒙(I1,I2)\bm{x}\rightarrow(I_{1},I_{2}), where 𝒙n\bm{x}\in\mathbb{R}^{n} parametrizes the input states. A point 𝒙0\bm{x}_{0} is a local optimum if the two gradient vectors 𝒗k=Ik/𝒙\bm{v}_{k}=\partial I_{k}/\partial\bm{x} are in the opposite direction: 𝒗1=λ𝒗2\bm{v}_{1}=\lambda\bm{v}_{2} with λ<0\lambda<0. For any small deviation d𝒙d\bm{x} around 𝒙0\bm{x}_{0}, the changes dIk=𝒗kd𝒙dI_{k}=\bm{v}_{k}\cdot d\bm{x} satisfy dI1=λdI2dI_{1}=\lambda dI_{2}. Therefore if I1I_{1} increases I2I_{2} must decrease, and vice versa. Since I1I_{1} and I2I_{2} cannot be increased at the same time, 𝒙0\bm{x}_{0} is a local optimum. Notice that local optimum requires λ<0\lambda<0, which is stronger than the low-rank Jacobian condition since the low-rank Jacobian condition also includes λ0\lambda\geq 0.

For general Gaussian states 𝒙(N1,N2,r1,r2,Δθ)\bm{x}\equiv(N_{1},N_{2},r_{1},r_{2},\Delta\theta), where (Nk,rk,θk)(N_{k},r_{k},\theta_{k}) are from the decomposition of 𝐕k\bm{\mathrm{V}}_{k} (Eq. (23)). Notice that (I1,I2)(I_{1},I_{2}) only depend on the relative angle Δθ=θ1θ2\Delta\theta=\theta_{1}-\theta_{2} between the two squeezing axes. This leads to the symmetry Ik(N1,N2,r1,r2,Δθ)=Ik(N1,N2,r1,r2,Δθ)I_{k}(N_{1},N_{2},r_{1},r_{2},\Delta\theta)=I_{k}(N_{1},N_{2},-r_{1},-r_{2},\Delta\theta) for k=1,2k=1,2, since r1r1r_{1}\rightarrow-r_{1} and r2r2r_{2}\rightarrow-r_{2} together is equivalent to rotating the squeezing axis by 90 degree which keeps Δθ\Delta\theta unchanged. From this symmetry, we have

Ikr1=Ikr2=IkΔθ=0,\frac{\partial I_{k}}{\partial r_{1}}=\frac{\partial I_{k}}{\partial r_{2}}=\frac{\partial I_{k}}{\partial\Delta\theta}=0, (27)

at r1=r2=0r_{1}=r_{2}=0 for any (N1,N2)(N_{1},N_{2}).

For thermal states (N1,N2)(N_{1},N_{2}) at the boundary 𝖱thermal\partial\mathsf{R}_{\text{thermal}}, the gradient vectors must satisfy (I1/N1,I1/N2)=λ(I2/N1,I2/N2)(\partial I_{1}/\partial N_{1},\partial I_{1}/\partial N_{2})=\lambda(\partial I_{2}/\partial N_{1},\partial I_{2}/\partial N_{2}) with λ<0\lambda<0. These thermal states correspond to general Gaussian states at 𝒙0=(N1,N2,0,0,0)\bm{x}_{0}=(N_{1},N_{2},0,0,0), where the gradient vectors 𝒗k=(Ik/N1,Ik/N2,0,0,0)\bm{v}_{k}=(\partial I_{k}/\partial N_{1},\partial I_{k}/\partial N_{2},0,0,0) also satisfy 𝒗1=λ𝒗2\bm{v}_{1}=\lambda\bm{v}_{2} with λ<0\lambda<0. This proves that thermal states are the local optima of 𝖱gaussian\mathsf{R}_{\text{gaussian}}.

We numerically calculate 𝖱gaussian\mathsf{R}_{\text{gaussian}} by sweeping (N1,N2,r1,r2,Δθ)(N_{1},N_{2},r_{1},r_{2},\Delta\theta) (Fig. 5(a) blue region), and compare it with 𝖱thermal\partial\mathsf{R}_{\text{thermal}} (Fig. 5(a) red line and red dots). The result gives 𝖱thermal=𝖱gaussian\mathsf{R}_{\text{thermal}}=\mathsf{R}_{\text{gaussian}}, which indicates that thermal states are likely the global optima among general Gaussian states. The same conclusion also holds for other channel parameters (T,R1,R2,θ)(T,R_{1},R_{2},\theta) that we tested.

A.2 Thermal noise from the internal loss channels

So far we have only considered vacuum noise injected from the internal loss channels, while thermal noises are common in practical devices, such as the pump-induced heating in microwave-optical quantum transducers Han et al. (2021). Here we take into account the effects of thermal noises by assuming all internal loss channels have NthN_{\text{th}} average thermal occupation, i.e., 𝐕n>2=(12+Nth)𝐈\bm{\mathrm{V}}_{n>2}=(\frac{1}{2}+N_{\text{th}})\bm{\mathrm{I}}. The more general situations where the internal loss channels have different thermal occupations can be studied similarly. The achievable rates under thermal noises are also given by Eq. (6), except now the output photon numbers are

N1=TN1+R2N2+(1TR2)NthN2=TN2+R1N1+(1TR1)Nth.\begin{split}N_{1}^{\prime}=&TN_{1}+R_{2}N_{2}+(1-T-R_{2})N_{\text{th}}\\ N_{2}^{\prime}=&TN_{2}+R_{1}N_{1}+(1-T-R_{1})N_{\text{th}}.\end{split} (28)

We calculate the rate regions for Nth=2N_{\text{th}}=2 in Fig. 6(b) at different transmission and reflection coefficients. The regions are much smaller than the ones with vacuum noise Nth=0N_{\text{th}}=0 (main text Fig. 2(b)). The highest rates achievable with thermal states (Fig. 6(b) blue dots) are given by Holevo and Werner (2001)

Ik,max=log2T1Th(N¯k)I_{k,\text{max}}=\log_{2}\frac{T}{1-T}-h(\bar{N}_{k}) (29)

where N¯1=(1TR2)Nth/(1T)\bar{N}_{1}=(1-T-R_{2})N_{\text{th}}/(1-T) and N¯2=(1TR1)Nth/(1T)\bar{N}_{2}=(1-T-R_{1})N_{\text{th}}/(1-T).

With thermal noise, one-side reflectionless condition no longer leads to vanishing discontinuity of 𝖱\partial\mathsf{R}, which is different from the vacuum noise case. In the second subfigure of Fig. 6(b), we have R2=0R_{2}=0 while 𝖱\partial\mathsf{R} is still discontinuous at the I2I_{2} axis (see inset). This is because to achieve the highest rate I2,maxI_{2,\text{max}} on the I2I_{2} axis, we need to have minimal added thermal noise which requires N1=0N_{1}=0. On the other hand, to achieve I1>0I_{1}>0 under thermal noise Nth=2N_{\text{th}}=2, N1N_{1} must exceed some threshold that is larger than 0 (Fig. 6(c) blue dot).

Appendix B Different settings of duplex quantum transduction

In this section, we discuss a few different settings to operate a quantum transducer in the duplex scenario, based on the number of users involved and whether or not the transduction is assisted with LOCC.

4 users, no LOCC. In the main text, we focus on the 4-user setting, where the senders AA and BB are different from the receivers CC and DD (Fig. 6(a)). The 4-user setting can be realized by separating the input and output signal of each mode with a circulator (Fig. 6(b)). In this case, we could formally define the capacity region and study the symmetry of the capacity region.

The quantum capacity of a quantum channel is the maximal coherent information over all possible input states, including entangled states across multiple channel uses Schumacher and Nielsen (1996); Lloyd (1997); Devetak (2005). We can generalize quantum capacity to the capacity region for simultaneous duplex transduction. For a quantum interference channel (A,B)(C,D):(12)(12)\mathcal{E}_{(A,B)\rightarrow(C,D)}:\mathcal{L}(\mathcal{H}_{1}\otimes\mathcal{H}_{2})\rightarrow\mathcal{L}(\mathcal{H}_{1}\otimes\mathcal{H}_{2}), the capacity region is given by

𝖰()limn{(1nI1(n,ρ^(n)),1nI2(n,ρ^(n)))}\mathsf{Q}(\mathcal{E})\equiv\lim_{n\rightarrow\infty}\left\{\left(\frac{1}{n}I_{1}\left(\mathcal{E}^{\otimes n},\hat{\rho}^{(n)}\right),\frac{1}{n}I_{2}\left(\mathcal{E}^{\otimes n},\hat{\rho}^{(n)}\right)\right)\right\} (30)

for all ρ^(n)=ρ^1(n)ρ^2(n)\hat{\rho}^{(n)}=\hat{\rho}_{1}^{(n)}\otimes\hat{\rho}_{2}^{(n)} with ρ^k(n)𝒟(kn),k=1,2\hat{\rho}_{k}^{(n)}\in\mathcal{D}\left(\mathcal{H}_{k}^{\otimes n}\right),k=1,2. Here 𝒟()\mathcal{D}(\mathcal{H}) is the space of density matrices on \mathcal{H} and I1,I2I_{1},I_{2} are defined in Eq. (5).

Since the capacity region is invariant under arbitrary single-mode unitaries before and after the quantum channel (Fig. 6(c)), we can exploit this symmetry to obtain equivalent channels with the same capacity region. More specifically, we perform single-mode rotations which gives

𝐒𝖰𝐒V𝐒𝐒U,\bm{\mathrm{S}}\xLeftrightarrow{\mathsf{Q}}\bm{\mathrm{S}}_{V}\bm{\mathrm{S}}\bm{\mathrm{S}}_{U}, (31)

where

𝐒U=diag(𝐑(α1),𝐑(α2),𝐈,)𝐒V=diag(𝐑(β1),𝐑(β2),𝐈,).\begin{split}\bm{\mathrm{S}}_{U}=&\text{diag}(\bm{\mathrm{R}}(\alpha_{1}),\bm{\mathrm{R}}(\alpha_{2}),\bm{\mathrm{I}},\cdots)\\ \bm{\mathrm{S}}_{V}=&\text{diag}(\bm{\mathrm{R}}(\beta_{1}),\bm{\mathrm{R}}(\beta_{2}),\bm{\mathrm{I}},\cdots).\end{split} (32)

We choose the rotation angles α1=0,α2=θ11θ12,β1=θ11,β2=θ21\alpha_{1}=0,\alpha_{2}=\theta_{11}-\theta_{12},\beta_{1}=-\theta_{11},\beta_{2}=-\theta_{21} and the symplectic matrix becomes

𝐒V𝐒𝐒U=(R1𝐈T12𝐈T21𝐈R2𝐑(θ)),\bm{\mathrm{S}}_{V}\bm{\mathrm{S}}\bm{\mathrm{S}}_{U}=\begin{pmatrix}\sqrt{R_{1}}\bm{\mathrm{I}}&\sqrt{T_{12}}\bm{\mathrm{I}}&\cdots\\ \sqrt{T_{21}}\bm{\mathrm{I}}&\sqrt{R_{2}}\bm{\mathrm{R}}(\theta)&\cdots\\ \vdots&\vdots&\ddots\end{pmatrix}, (33)

where θ=θ11+θ22θ12θ21\theta=\theta_{11}+\theta_{22}-\theta_{12}-\theta_{21}. Therefore, a scattering matrix SS has the same capacity region as a 2×22\times 2 scattering matrix for the signal ports

S𝖰(R1T12T21R2eiθ).S\xLeftrightarrow{\mathsf{Q}}\begin{pmatrix}\sqrt{R_{1}}&\sqrt{T_{12}}\\ \sqrt{T_{21}}&\sqrt{R_{2}}e^{i\theta}\end{pmatrix}. (34)
Refer to caption
Figure 6: (a) Different number of users participating in duplex quantum transduction. 4 users: senders AA and BB, receivers DD and CC. 2 users: senders AA and BB, receivers BB and AA. (b) Schematic device layout for the 4-user setting (left) and the 2-user setting (right). In the 4-user setting, the input signals AA and BB are isolated from the output signals CC and CC with two circulators. (c) Invariance of the capacity region under local unitaries for simultaneous duplex transduction. (d) The rate regions (blue dot and lines) and time-sharing rate regions (grey lines) for LOCC-assisted duplex transduction at T=0.9T=0.9 for different reflection coefficients (R1,R2)=(0.03,0.03),(0.03,0),(0.003,0.003),(0,0)(R_{1},R_{2})=(0.03,0.03),(0.03,0),(0.003,0.003),(0,0). (e) In the 2-user setting, local operations A(B)(k)\mathcal{E}_{A(B)}^{(k)} are possible between uses of the bidirectional quantum channel (A,B)(A,B)\mathcal{E}_{(A,B)\rightarrow(A,B)}, which may also involve local ancilla AA^{\prime} and BB^{\prime}.

4 users, with LOCC. We consider duplex quantum transduction in the 4-user setting where each transduction channel is assisted with LOCC. For a quantum channel :()()\mathcal{E}:\mathcal{L}(\mathcal{H})\rightarrow\mathcal{L}(\mathcal{H}), the LOCC-assisted capacity 222LOCC-assisted capacity is also known as “two-way capacity”, but we avoid the term “two-way” to prevent any confusion with “duplex” quantum transduction. is the maximal quantum information rate when the forward quantum channel is assisted with forward and backward classical communication Bennett et al. (1997). The LOCC-assisted capacity is lower bounded by the reverse coherent information García-Patrón et al. (2009)

IR(,ρ^)=H(ρ^)H(()(|ψψ|)),I_{R}(\mathcal{E},\hat{\rho})=H(\hat{\rho})-H((\mathcal{E}\otimes\mathcal{I}^{\prime})(\left|\psi\right\rangle\left\langle\psi\right|)), (35)

where |ψ\left|\psi\right\rangle is a purification of ρ^\hat{\rho}. For a quantum interference channel (A,B)(C,D):(12)(12)\mathcal{E}_{(A,B)\rightarrow(C,D)}:\mathcal{L}(\mathcal{H}_{1}\otimes\mathcal{H}_{2})\rightarrow\mathcal{L}(\mathcal{H}_{1}\otimes\mathcal{H}_{2}), the LOCC assisted achievable rates (I1,I2)(I_{1},I_{2}) with input state ρ^1ρ^2\hat{\rho}_{1}\otimes\hat{\rho}_{2} are

I1(,ρ^1ρ^2)IR(1,ρ^1)1()=Tr1(,ρ^2)I2(,ρ^1ρ^2)IR(2,ρ^2)2()=Tr2(ρ^1,).\begin{split}I_{1}\left(\mathcal{E},\hat{\rho}_{1}\otimes\hat{\rho}_{2}\right)\equiv&I_{R}\left(\mathcal{E}_{1},\hat{\rho}_{1}\right)\qquad\mathcal{E}_{1}(\cdot)=\text{Tr}_{1}\mathcal{E}(\cdot,\hat{\rho}_{2})\\ I_{2}\left(\mathcal{E},\hat{\rho}_{1}\otimes\hat{\rho}_{2}\right)\equiv&I_{R}\left(\mathcal{E}_{2},\hat{\rho}_{2}\right)\qquad\mathcal{E}_{2}(\cdot)=\text{Tr}_{2}\mathcal{E}(\hat{\rho}_{1},\cdot).\end{split} (36)

and negative I1(2)I_{1(2)} are set to 0.

We consider linear transducers with thermal input states (N1,N2)(N_{1},N_{2}). The achievable rates are

Ik(T,R1,R2,N1,N2)=h(Nk)h(Dk+NkNk12)h(DkNk+Nk12).\begin{split}&I_{k}(T,R_{1},R_{2},N_{1},N_{2})=h(N_{k})\\ &-h\left(\frac{D_{k}+N_{k}^{\prime}-N_{k}-1}{2}\right)-h\left(\frac{D_{k}-N_{k}^{\prime}+N_{k}-1}{2}\right).\end{split} (37)

The rate region {(I1,I2)|(N1,N2)}\{(I_{1},I_{2})|\forall(N_{1},N_{2})\} gives a lower bound on the LOCC-assisted capacity region.

In Fig. 6(d), we plot the rate regions (blue dots and lines) as well as their convex hulls (grey lines) for different reflection coefficients. Here T=0.9T=0.9 and Imax=log2(1T)3.32I_{\text{max}}=-\log_{2}(1-T)\approx 3.32 is the LOCC-assisted capacity for pure-loss channel Pirandola et al. (2017).

2 users. Alternatively, we may also consider the 2-user (bipartite) setting where AA and BB are both the senders and receivers (Fig. 6(a)). The 2-user duplex quantum transduction can be modeled as a bidirectional quantum channel (A,B)(A,B)\mathcal{E}_{(A,B)\rightarrow(A,B)} Das et al. (2021). The key difference from the 4-user setting is that local operations are possible between different uses of the transducer (Fig. 6(e)). Without classical communication between AA and BB Bennett et al. (2003); Childs et al. (2006); Lau and Clerk (2019); Zhang et al. (2022); Ding et al. (2023), the performance of the transducer can still be characterized by the capacity region {(I1,AB,I2,BA)}\{(I_{1,A\rightarrow B},I_{2,B\rightarrow A})\}. With classical communication, however, the entanglement generation capacity becomes the performance metric instead of the capacity region, since AA and BB can perform time-shared quantum teleportation using entanglement generated during the channel uses. Upper bounds on the entanglement capacity of bidirectional channels have been studied before Bäuml et al. (2018); Das et al. (2020, 2021).

Appendix C Optimality of two-side reflectionless condition

Here we prove that two-side reflectionless condition leads to optimal duplex quantum transduction within a more general setting. For linear transducers that we considered, a larger transmission coefficient with smaller reflection coefficients strictly leads to a better rate region. In other words, 𝖱(T,R1,R2)𝖱(T,R1,R2)\mathsf{R}(T,R_{1},R_{2})\supseteq\mathsf{R}(T^{\prime},R_{1}^{\prime},R_{2}^{\prime}) if TT,R1R1,R2R2T\geq T^{\prime},R_{1}\leq R_{1}^{\prime},R_{2}\leq R_{2}^{\prime}. Below we show that two-side reflectionless condition gives the largest transmission and therefore the optimal rate region.

Consider a general NN-mode linear Hamiltonian H^=Gmna^ma^n\hat{H}=\sum G_{mn}\hat{a}^{\dagger}_{m}\hat{a}_{n}, where G=GG=G^{\dagger} and GkkΔkG_{kk}\equiv\Delta_{k} is the detuning of mode kk in the rotating frame. Mode kk also has external (internal) loss rate κk,e(i)\kappa_{k,e(i)}. The input-output relation is given by

(a^1,outa^N,outa~1,outa~N,out)=S(a^1,ina^N,ina~1,ina~N,in),\begin{pmatrix}\hat{a}_{1,\text{out}}\\ \vdots\\ \hat{a}_{N,\text{out}}\\ \tilde{a}_{1,\text{out}}\\ \vdots\\ \tilde{a}_{N,\text{out}}\end{pmatrix}=S\begin{pmatrix}\hat{a}_{1,\text{in}}\\ \vdots\\ \hat{a}_{N,\text{in}}\\ \tilde{a}_{1,\text{in}}\\ \vdots\\ \tilde{a}_{N,\text{in}}\end{pmatrix}, (38)

where a^k,in(out)\hat{a}_{k,\text{in(out)}} is the input (output) operator for the external coupling of mode kk and a~k,in(out)\tilde{a}_{k,\text{in(out)}} is the input (output) operator for the internal loss of mode kk. The scattering matrix is

S=(I+KeMKeKeMKiKiMKeI+KiMKi),S=\begin{pmatrix}I+\sqrt{K_{e}}M\sqrt{K_{e}}&\sqrt{K_{e}}M\sqrt{K_{i}}\\ \sqrt{K_{i}}M\sqrt{K_{e}}&I+\sqrt{K_{i}}M\sqrt{K_{i}}\end{pmatrix}, (39)

where II is the n×nn\times n identity matrix and

M=(iG+(Ke+Ki)/2)1Ke(i)=diag(κ1,e(i),,κN,e(i)).\begin{split}M=&-(iG+(K_{e}+K_{i})/2)^{-1}\\ K_{e(i)}=&\text{diag}(\kappa_{1,e(i)},...,\kappa_{N,e(i)}).\end{split} (40)

We only consider external coupling ports with S=I+KeMKeS=I+\sqrt{K_{e}}M\sqrt{K_{e}}. The power transmission coefficient from port nn to port mm is Tmn=|Smn|2T_{mn}=|S_{mn}|^{2}, where Smn=κm,eκn,eMmnS_{mn}=\sqrt{\kappa_{m,e}\kappa_{n,e}}M_{mn} for mnm\neq n. The power reflection coefficient for port nn is Rn=|Snn|2R_{n}=|S_{nn}|^{2}. We would like to find conditions that maximize the transmission.

Notice that for any variable α\alpha

0=(MM1)αMα=MM1αM,0=\frac{\partial\left(MM^{-1}\right)}{\partial\alpha}\quad\Rightarrow\quad\frac{\partial M}{\partial\alpha}=-M\frac{\partial M^{-1}}{\partial\alpha}M, (41)

which leads to

Mmnκk,e=12MmkMknMmnΔk=iMmkMkn,\begin{split}\frac{\partial M_{mn}}{\partial\kappa_{k,e}}=&\frac{1}{2}M_{mk}M_{kn}\\ \frac{\partial M_{mn}}{\partial\Delta_{k}}=&iM_{mk}M_{kn},\end{split} (42)

as well as

Smnκk,e=12κk,eSmkSknmnSmnΔk==iκk,eSmkSknm,n.\begin{split}\frac{\partial S_{mn}}{\partial\kappa_{k,e}}=&\frac{1}{2\kappa_{k,e}}S_{mk}S_{kn}\qquad\forall m\neq n\\ \frac{\partial S_{mn}}{\partial\Delta_{k}}=&=\frac{i}{\kappa_{k,e}}S_{mk}S_{kn}\qquad\forall m,n.\end{split} (43)

Therefore we have

Tmnκn,e=Tmnκn,eRe{Snn}Tmnκm,e=Tmnκm,eRe{Smm},\begin{split}\frac{\partial T_{mn}}{\partial\kappa_{n,e}}=&\frac{T_{mn}}{\kappa_{n,e}}\text{Re}\{S_{nn}\}\\ \frac{\partial T_{mn}}{\partial\kappa_{m,e}}=&\frac{T_{mn}}{\kappa_{m,e}}\text{Re}\{S_{mm}\},\end{split} (44)

and

TmnΔn=2Tmnκn,eIm{Snn}TmnΔm=2Tmnκm,eIm{Smm}.\begin{split}\frac{\partial T_{mn}}{\partial\Delta_{n}}=&-\frac{2T_{mn}}{\kappa_{n,e}}\text{Im}\{S_{nn}\}\\ \frac{\partial T_{mn}}{\partial\Delta_{m}}=&-\frac{2T_{mn}}{\kappa_{m,e}}\text{Im}\{S_{mm}\}.\end{split} (45)

We have reached the conclusion: if the detuning Δm(n)\Delta_{m(n)} and external coupling rate κm(n),e\kappa_{m(n),e} are tunable for mode m(n)m(n), then maximizing TmnT_{mn} leads to zero reflection from mode m(n)m(n) since

TmnΔm(n)=Tmnκm(n),e=0Smm(nn)=0.\frac{\partial T_{mn}}{\partial\Delta_{m(n)}}=\frac{\partial T_{mn}}{\partial\kappa_{m(n),e}}=0\quad\Rightarrow\quad S_{mm(nn)}=0. (46)

If the detunings and external coupling rates for both ports mm and nn are tunable, maximizing TmnT_{mn} gives the two-side reflectionless condition Rm=Rn=0R_{m}=R_{n}=0.

Back to the two-mode case where Δ1,Δ2,κ1,e,κ2,e\Delta_{1},\Delta_{2},\kappa_{1,e},\kappa_{2,e} are tunable. Solving the necessary condition R1=R2=0R_{1}=R_{2}=0 leads to a unique solution of Δ1=Δ2=0\Delta_{1}=\Delta_{2}=0 as well as

κ1,e2=κ1,iκ2,i(4g2+κ1,iκ2,i)κ2,e2=κ2,iκ1,i(4g2+κ1,iκ2,i).\begin{split}\kappa_{1,e}^{2}=&\frac{\kappa_{1,i}}{\kappa_{2,i}}(4g^{2}+\kappa_{1,i}\kappa_{2,i})\\ \kappa_{2,e}^{2}=&\frac{\kappa_{2,i}}{\kappa_{1,i}}(4g^{2}+\kappa_{1,i}\kappa_{2,i}).\end{split} (47)

Notice that TT takes its maximum at finite values of Δ1,Δ2,κ1,e,κ2,e\Delta_{1},\Delta_{2},\kappa_{1,e},\kappa_{2,e}. Due to the uniqueness of the solution, two-side reflectionless condition must correspond to the global maximum of the transmission coefficient, and thus is optimal for duplex quantum transduction.

Furthermore, in the two-side reflectionless case, the two channels 1,AD\mathcal{E}_{1,A\rightarrow D} and 2,BC\mathcal{E}_{2,B\rightarrow C} are completely decoupled. This is true not just for thermal input states, but also for general quantum states ρ^1,ρ^2\hat{\rho}_{1},\hat{\rho}_{2}. In other words, I1(,ρ^1ρ^2)I_{1}\left(\mathcal{E},\hat{\rho}_{1}\otimes\hat{\rho}_{2}\right) does not depend on ρ^2\hat{\rho}_{2} and I2(,ρ^1ρ^2)I_{2}\left(\mathcal{E},\hat{\rho}_{1}\otimes\hat{\rho}_{2}\right) does not depend on ρ^1\hat{\rho}_{1}.

Refer to caption
Figure 7: (a) Time-sharing rate region for asymmetric loss rates κ2,e/κ1,e=2\kappa_{2,e}/\kappa_{1,e}=2 with κ1,eκ2,e=10\sqrt{\kappa_{1,e}\kappa_{2,e}}=10. Here g=5,κ1,i=κ2,i=1g=5,\kappa_{1,i}=\kappa_{2,i}=1 and we optimize over the detunings of the transducer. (b-c) Rate regions achieved with the {|0,|1}\{\left|0\right\rangle,\left|1\right\rangle\} encodings for the lossless beam splitter channel at T=0.9T=0.9 and T=0.7T=0.7.

Appendix D Two-mode transducer with asymmetric loss rates

In the main text, we studied two-mode quantum transducer with symmetric loss rates. Here we generalize the discussion to asymmetric loss rates. The scattering matrix now is given by Eq. (39) for N=2N=2, instead of Eq. (13) in the main text. Notice that SS only depends on the ratios between the device parameters since it is invariant under the transformation

κk,i1κk,eκk,e/κk,iG(Ki)1/2G(Ki)1/2.\begin{split}\kappa_{k,i}\rightarrow&1\\ \kappa_{k,e}\rightarrow&\kappa_{k,e}/\kappa_{k,i}\\ G\rightarrow&(K_{i})^{-1/2}G(K_{i})^{-1/2}.\end{split} (48)

For a two-mode transducer, SS only depends on κk,e/κk,i\kappa_{k,e}/\kappa_{k,i}, Δk/κk,i\Delta_{k}/\kappa_{k,i} for k=1,2k=1,2 and g/κ1,iκ2,ig/\sqrt{\kappa_{1,i}\kappa_{2,i}}. Therefore we set the internal loss rates of both modes to be 1 without loss of generality, and only study the ratios between the external and internal loss rates. In practice, the loss rates of two modes may differ by orders of magnitude, but the ratios κ1,e/κ1,i\kappa_{1,e}/\kappa_{1,i} and κ2,e/κ2,i\kappa_{2,e}/\kappa_{2,i} are often close Fan et al. (2018); McKenna et al. (2020); Xu et al. (2021).

In Fig. 7(a), we plot the time-sharing rate region for the asymmetric case κ2,e/κ1,e=2\kappa_{2,e}/\kappa_{1,e}=2 with κ1,eκ2,e=10\sqrt{\kappa_{1,e}\kappa_{2,e}}=10, which demonstrates the benefit from the simultaneous duplex transduction with asymmetric loss ratios. The optimal rate region achieved with the two-side reflectionless condition Eq. (47) requires symmetric ratios κ1,e/κ1,i=κ2,e/κ2,i\kappa_{1,e}/\kappa_{1,i}=\kappa_{2,e}/\kappa_{2,i}. Therefore the rate regions with asymmetric loss ratios (Fig. 7(a)) are all subsets of the optimal rate region in Fig. 3(b)iv.

Appendix E {|0,|1}\{\left|0\right\rangle,\left|1\right\rangle\} encodings

Although we focus on Gaussian encodings throughout the paper, non-Gaussian states such as single photon states may be easier to implement with current technologies. Here we restrict to the simplest non-Gaussian encodings, the {|0,|1}\{\left|0\right\rangle,\left|1\right\rangle\} encodings, where the rate regions are obtained from the coherent information (Eq. (5)) for all density matrices in the 0 and 1 photon subspace, i.e., ρ^1,ρ^2𝒟({|0,|1})\hat{\rho}_{1},\hat{\rho}_{2}\in\mathcal{D}(\{\left|0\right\rangle,\left|1\right\rangle\}).

We calculate the rate regions for the lossless beam splitter channel (Eq. (1)) at different transmission coefficients. The simultaneous duplex transduction outperforms the time-shared unidirectional transduction for large enough TT (Fig. 7(b)). This makes sense since the lossless beam splitter approaches the ideal SWAP operation as T1T\rightarrow 1 with a square rate region. Interestingly, 𝖱\partial\mathsf{R} is discontinuous at both I1,I2I_{1},I_{2} axes for T=0.7T=0.7 (Fig. 7(c)) while we do not observe any discontinuity at T=0.9T=0.9, although both cases have non-zero reflection coefficients 1T1-T.

References