[论文解读] The semigroup structure of Gaussian channels

Teiko Heinosaari, A. S. Holevo+1 more|arXiv (Cornell University)|Sep 2, 2009

Artificial Immune Systems Applications被引用 7

一句话总结

本文研究了玻色型高斯量子通道的半群结构，揭示了与有限维量子通道不同的是，即使存在非无穷小可分的通道，不可逆高斯通道始终是可分的。高斯通道集合的非紧致性使得其具备独特的结构特征，例如可逆通道可能不存在生成元，且可通过矩阵半群与复正定矩阵实现完整刻画，该结果在单参数半群及可分性性质方面具有应用价值。

ABSTRACT

We investigate the semigroup structure of bosonic Gaussian quantum channels. Particular focus lies on the sets of channels which are divisible, idempotent or Markovian (in the sense of either belonging to one-parameter semigroups or being infinitesimal divisible). We show that the non-compactness of the set of Gaussian channels allows for remarkable differences when comparing the semigroup structure with that of finite dimensional quantum channels. For instance, every irreversible Gaussian channel is shown to be divisible in spite of the existence of Gaussian channels which are not infinitesimal divisible. A simpler and known consequence of non-compactness is the lack of generators for certain reversible channels. Along the way we provide new representations for classes of Gaussian channels: as matrix semigroup, complex valued positive matrices or in terms of a simple form describing almost all one-parameter semigroups.

研究动机与目标

• 分析玻色型高斯量子通道的半群性质，重点关注可分性、马尔可夫性及单参数半群。
• 阐明有限维与无限维量子通道之间的差异，特别是由于高斯通道集合的非紧致性所导致的特性。
• 提出高斯通道的新矩阵表示方法，包括与复正定矩阵的关联，以及单参数半群的规范形式。
• 明确高斯通道为无穷小可分、可分、幂等或属于单参数半群的条件。
• 识别在刻画无穷小可分通道方面尚未解决的问题，并探讨将半群结构推广至非高斯情形的挑战。

提出的方法

• 将高斯通道表示为满足完全正定性条件 Y ≥ i(σ − XσXᵀ) 的实 2n×2n 矩阵对 (X, Y)。
• 利用相空间形式与 Weyl 算符描述通道作用为 Wξ ↦ W_{Xᵀξ} exp(−½ξᵀYξ)，从而实现有限维矩阵分析。
• 通过矩阵形式 (Kᵗ, Yᵗ) 表征单参数半群，其中 K = exp(tL)，L 为辛李代数中的生成元。
• 利用矩阵 K 的谱分解对半群行为进行分类，包括 K < 1、K = 1、K > 1 及 K = I 的情形。
• 将高斯通道集合映射至复正定矩阵的锥，以证明所有不可逆通道均为可分。
• 利用 Schur 积与积分表示（例如 (1−kᵢkⱼ)⁻¹ = ∫₀^∞ exp(t(kᵢkⱼ−1))dt）证明不变态协方差矩阵的正定性。

实验结果

研究问题

• RQ1 尽管存在非无穷小可分的通道，所有不可逆高斯通道是否都是可分的？
• RQ2 为何某些可逆高斯通道无法拥有生成哈密顿量，即使它们是典范变换？
• RQ3 若高斯通道的矩阵 K 的特征值大于 1，该通道能否属于单参数半群？
• RQ4 无穷小可分性与高斯通道中矩阵 X 的行列式之间存在何种关系？
• RQ5 在考虑张量幂或非高斯分解时，高斯通道的半群结构如何变化？

主要发现

• 所有不可逆高斯通道均为可分，这是高斯通道集合非紧致性以及其映射至复正定矩阵的直接结果。
• 存在非无穷小可分的高斯通道，表明其与有限维量子通道存在关键差异。
• 某些可逆高斯通道（例如不属于 exp(sp(2n)) 的通道）无法生成哈密顿量，表明并非所有典范变换都能作为单参数半群的生成元。
• 高斯通道的单参数半群可通过矩阵形式 (Kᵗ, Yᵗ) 完全刻画，其中 K = exp(tL)，Yᵗ 满足一种类似 Lyapunov 方程。
• 当 K < 1 时，半群具有唯一的不变态，其协方差矩阵为 𝒀̂ = (1−kᵢkⱼ)⁻¹yᵢⱼ，且为正定矩阵。
• 当 K > 1 时，半群具有无界噪声，无不变态，且不变协方差矩阵 𝒀̂ ≤ −𝕀_n，表明在标准设置下呈现非物理行为。