Positivity threshold for thermal-attenuator quantum capacity
- Field
- Topics
Problem
For \(0<\eta<1\) and \(0<\nu<\infty\), let the single-mode bosonic thermal attenuator be
where \(U_\eta:AE\to BE'\) is a beam-splitter unitary and \(\tau_{\nu,E}\) acts on the environment mode \(E\). For an environment mode of angular frequency \(\omega_E\) at temperature \(T\), \(\nu=(e^{\hbar\omega_E/(k_{\rm B}T)}-1)^{-1}\). Thus \(0<T<\infty\) is equivalent to \(0<\nu<\infty\) for fixed \(\omega_E>0\); \(\nu=0\) corresponds to \(T=0\), while \(\nu\to\infty\) as \(T\to\infty\). Define its unassisted quantum capacity and its critical transmissivity by
where \(I_{\rm c}(\rho,\mathcal N) :=S(\mathcal N(\rho))-S(\mathcal N^{\rm c}(\rho))\). Determine the exact threshold curve in Eq. (2) for the channel in Eq. (1).
Source
The exact positivity threshold is implicit in the gap between the antidegradability boundary of Lami et al. and the non-Gaussian positive-rate witnesses of Mele et al. [LKA+19], [MCF+26].
Progress
Exact antidegradability gives the lower bound
\begin{equation} \eta_{\rm c}(\nu)\geq\eta_{\rm AD}(\nu) :=\frac{\nu+\frac12}{\nu+1}. \tag{3} \end{equation}The capacity vanishes at and below the right-hand side of Eq. (3) [LKA+19].
Thermal input states give the upper bound
\begin{equation} \eta_{\rm c}(\nu)\leq\eta_{\rm G}(\nu) :=\frac{2^{g(\nu)}}{1+2^{g(\nu)}}, \qquad g(x):=(x+1)\log_2(x+1)-x\log_2x. \tag{4} \end{equation}Above the right-hand side of Eq. (4), the thermal-state coherent information is positive [HW01].
For one environmental thermal photon, certified non-Gaussian inputs and antidegradability narrow the threshold to
\begin{equation} \frac34\leq\eta_{\rm c}(1)\leq0.7841 <\eta_{\rm G}(1)=\frac45. \tag{5} \end{equation}In particular, Eq. (5) proves that the Gaussian threshold is not the true positivity threshold [MCF+26].
Comment
This is the positivity-boundary subproblem of determining the full capacity in Problem 49. Even the single value in Eq. (5) is not known exactly.