Optimality conjecture for contraction coefficients of non-unital CQ channels

From papers

Let ρ=12(I+wσ)\boldsymbol{\rho}=\frac{1}{2}(I+\boldsymbol{w}\boldsymbol{\cdot}\boldsymbol{\sigma}) and let A=yσA=\boldsymbol{y}\boldsymbol{\cdot}\boldsymbol{\sigma} be the states and observables used to define the contraction coefficients of the non-unital CQ channel Φα,τ\Phi_{\alpha,\tau}. For the functions in K\mathcal{K} appearing in the bounds

ηWY^Riem(Φ)α21+1τ22(1τ2),\eta_{{\rm \widehat{WY}}}^{\rm Riem}(\Phi) \geq \alpha^2\,\frac{1+\sqrt{1-\tau^2}}{2(1-\tau^2)}, ηx1/2Riem(Φ)α21τ2,\eta_{x^{-1/2}}^{\rm Riem}(\Phi) \geq \frac{\alpha^2}{\sqrt{1-\tau^2}}, ηBKMRiem(Φ)α22τlog1+τ1τ,\eta_{{\rm BKM}}^{\rm Riem}(\Phi) \geq \frac{\alpha^2}{2\tau}\log\frac{1+\tau}{1-\tau},

Optimality conjecture. Equality holds in the three displayed bounds above.

The conjecture would establish the exact contraction coefficients for these metrics and, together with the known monotonicity for CQ channels, imply the corresponding ordering of coefficients under κ1κ2\kappa_1\leq\kappa_2. The paper states that a proof for arbitrary choices of κ\kappa is not easy; no resolution is supplied.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Fumio Hiai and Mary Beth Ruskai, “Contraction coefficients for noisy quantum channels”, arXiv:1508.03551 (2015).

Solutions 0

No solutions have been posted yet.