[论文解读] On the minimum output entropy of single-mode phase-insensitive Gaussian channels

Haoyu Qi, Mark M. Wilde+1 more|arXiv (Cornell University)|Jul 18, 2016

Quantum Mechanics and Applications参考文献 14被引用 7

一句话总结

本文研究单模相位无关高斯通道的最小输出熵，提出在固定输入冯 Neumann 熵约束下，热态可最小化输出熵。通过拉格朗日乘子法，作者表明尽管热态是局部极小值，但在规范协变通道中，非热 Fock 态也作为临界点出现——尽管其物理有效性仍不确定。该研究证明，若热态在规范协变通道中为最优解，则其在规范反变通道中同样成立，从而可解决量子限幅放大器通道容量中的开放问题。

ABSTRACT

Recently de Palma et al. [IEEE Trans. Inf. Theory 63, 728 (2017)] proved---using Lagrange multiplier techniques---that under a non-zero input entropy constraint, a thermal state input minimizes the output entropy of a pure-loss bosonic channel. In this note, we present our attempt to generalize this result to all single-mode gauge-covariant Gaussian channels by using similar techniques. Unlike the case of the pure-loss channel, we cannot prove that the thermal input state is the only local extremum of the optimization problem. %It is unclear to us why the same techniques do not lead to a proof for amplifier channels. However, we do prove that, if the conjecture holds for gauge-covariant Gaussian channels, it would also hold for gauge-contravariant Gaussian channels. The truth of the latter leads to a solution of the triple trade-off and broadcast capacities of quantum-limited amplifier channels. We note that de Palma et al. [Phys. Rev. Lett. 118, 160503 (2017)] have now proven the conjecture for all single-mode gauge-covariant Gaussian channels by employing a different approach from what we outline here. Proving a multi-mode generalization of de Palma et al.'s above mentioned result---i.e., given a lower bound on the von Neumann entropy of the input to an $n$-mode lossy thermal-noise bosonic channel, an $n$-mode product thermal state input minimizes the output entropy---will establish an important special case of the conjectured Entropy Photon-number Inequality (EPnI). The EPnI, if proven true, would take on a role analogous to Shannon's EPI in proving coding theorem converses involving quantum limits of classical communication over bosonic channels.

研究动机与目标

• 确定在固定输入冯 Neumann 熵约束下，热态是否在单模相位无关高斯通道中最小化输出熵。
• 利用拉格朗日乘子法，将 de Palma 等人（2017）在纯损耗通道中的结果推广至一般规范协变高斯通道。
• 研究在优化问题中，除热态外，非热 Fock 态是否为有效临界点，这可能挑战热态解的唯一性。
• 证明规范协变通道的解可推出规范反变通道的解，从而解决三重权衡与广播容量问题。
• 为证明高斯优化器猜想的多模推广奠定基础，该猜想将蕴含熵光子数不等式（EPnI）。

提出的方法

• 将输出熵最小化问题表述为带约束的优化问题，使用拉格朗日乘子，以输入熵作为约束条件。
• 将问题简化为无穷小形式，以分析在通道动力学下熵泛函的局部极值。
• 分析规范协变通道的拉格朗日方程运动，识别出热态及额外的非热 Fock 态解。
• 利用规范协变通道的对称性与结构，证明若热态最小化输出熵，则其在规范反变通道中同样成立。
• 借助纯损耗通道的已知结果，构建通往证明所有相位无关通道全 conjecture 的桥梁。
• 采用高斯通道的 Lindblad 算子表示法，以建模输入态在放大与损耗过程中的演化。

实验结果

研究问题

• RQ1 在一般规范协变高斯通道中，热态是否在所有具有固定输入冯 Neumann 熵的输入态中唯一最小化输出熵？
• RQ2 在规范协变通道的拉格朗日优化中，除热态外是否存在其他临界点（如 Fock 态），且它们是否代表有效的局部极值？
• RQ3 若热态在规范协变通道中最小化输出熵，则其在规范反变通道中是否同样成立？这对量子容量区域有何影响？
• RQ4 该猜想能否推广至多模相位无关高斯通道？此类结果在证明熵光子数不等式（EPnI）中起何作用？
• RQ5 是否存在任何物理约束，可排除非热 Fock 态解作为优化中有效最小值的可能性？

主要发现

• 在固定输入熵约束下，热态是所有单模相位无关高斯通道输出熵泛函的局部极小值。
• 与纯损耗情形不同，拉格朗日乘子法揭示了对应于 Fock 态的额外临界点，这些点可能代表输出熵高于热态的局部极值。
• 这些非热临界点的存在阻碍了当前方法对全局最优性的完整证明，因其物理有效性及在优化景观中的角色尚不明确。
• 若热态是规范协变通道的全局最小化器，则其同样为规范反变通道的全局最小化器，这将解决量子限幅放大器通道容量中的开放问题。
• 该结果意味着量子限幅放大器通道的三重权衡与广播容量完全由热态最小化特性决定。
• 该猜想的多模推广——即在联合输入熵约束下，乘积热态最小化输出熵——仍为开放问题，且等价于熵光子数不等式（EPnI）的一个特例。