On quantum Gaussian optimizers conjecture in the case q=p

TL;DR

This paper extends the proof of the quantum Gaussian optimizers conjecture for q=p to all Gaussian channels, removing the previously necessary gauge covariance condition for this case.

Contribution

It demonstrates that the conjecture holds for all Gaussian channels when q=p, without requiring gauge covariance, broadening the scope of previous results.

Findings

The conjecture is valid for all Gaussian channels at q=p.

Gauge covariance is not necessary for the conjecture when q=p.

Previous results are extended to a more general class of channels.

Abstract

The quantum Gaussian optimizers conjecture says that q-p norm of a Bosonic Gaussian channel is attained on "Gaussian" operators. Recently R.L. Frank and E.H. Lieb confirmed the hypothesis in the case q=p for gauge-covariant channels with arbitrary number of modes s [3]. In the present note we remark that in the case q=p our results in [6] and [9] in fact allow to prove the hypothesis for all Gaussian channels. Thus the condition of gauge covariance, rather crucial in the case q=1,s>1, plays no role in the case q=p.