[論文レビュー] The semigroup structure of Gaussian channels

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

Artificial Immune Systems Applications被引用数 7

ひとこと要約

本稿はボソン的ガウス量子チャネルの半群構造を調査し、有限次元量子チャネルとは異なり、非可逆的ガウスチャネルは、非無限小可除性を持つチャネルが存在するにもかかわらず、常に可除であることが明らかになった。ガウスチャネル集合の非コンパクト性により、一意な構造的特徴が生じ、例えば生成子を持たない可逆的チャネルや、行列半群および複素正定値行列による完全な特徴付けが可能となり、1パラメータ半群および可除性の性質への応用が得られる。

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.

研究の動機と目的

• ボソン的ガウス量子チャネルの半群的性質を分析し、可除性、マコフ性、1パラメータ半群に焦点を当てる。
• 有限次元と無限次元量子チャネルの違いを、ガウスチャネル集合の非コンパクト性に起因して解明する。
• 複素正定値行列や1パラメータ半群の標準形への接続を含む、ガウスチャネルの新しい行列表現を提供する。
• ガウスチャネルが無限小可除、可除、べき等、または1パラメータ半群に属する条件を明確化する。
• 無限小可除チャネルの特徴付けに関する未解決問題を特定し、非ガウス的設定への半群構造の拡張を検討する。

提案手法

• 完全正値性条件 Y ≥ i(σ − XσXᵀ) を満たす実 2n×2n 行列のペア (X, Y) としてガウスチャネルを表現する。
• 位相空間形式とワイル演算子を用いて、チャネル作用を Wξ ↦ W_{Xᵀξ} exp(−½ξᵀYξ) として記述し、有限次元行列解析を可能にする。
• 行列形式 (Kᵗ, Yᵗ) において K = exp(tL) となるように、1パラメータ半群を生成子 L ∈ 一般線型代数 sp(2n) を用いて特徴付ける。
• 行列 K の固有値分解を用いて半群の挙動を分類し、K < 1、K = 1、K > 1、K = I の場合を含む。
• ガウスチャネルの集合を複素正定値行列の錐へ写像することで、すべての非可逆的チャネルが可除であることを証明する。
• シュール積と積分表現（例：(1−kᵢkⱼ)⁻¹ = ∫₀^∞ exp(t(kᵢkⱼ−1))dt）を用いて、不変状態の共分散行列の正定値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 非無限小可除性を持つチャネルが存在するにもかかわらず、すべての非可逆的ガウスチャネルは可除であるか？
• RQ2 可逆的ガウスチャネルの一部（たとえば exp(sp(2n)) に属さないもの）は、生成ハミルトニアンを持たないが、なぜそうなるのか？
• RQ3 行列 K の固有値が 1 より大きい場合、ガウスチャネルが1パラメータ半群に属することができるか？
• RQ4 ガウスチャネルにおいて、無限小可除性と X の行列式の関係は何か？
• RQ5 テンソル積や非ガウス的分解を考慮する際、ガウスチャネルの半群構造はどのように変化するか？

主な発見

• すべての非可逆的ガウスチャネルは可除である。これはガウスチャネル集合の非コンパクト性と、複素正定値行列への写像に起因する。
• 非無限小可除であるガウスチャネルが存在する。これは有限次元量子チャネルとは顕著な違いを示す。
• 一部の可逆的ガウスチャネル（例：exp(sp(2n)) に属さないもの）は生成ハミルトニアンをもたない。これは、すべての正規変換が1パラメータ半群の生成子であるとは限らないことを示している。
• 1パラメータ半群のガウスチャネルは、K = exp(tL) かつ Yᵗ がライプニッツ型方程式を満たす行列形式 (Kᵗ, Yᵗ) で完全に特徴付けられる。
• K < 1 の場合、半群は一意な不変状態を持ち、その共分散行列は 𝒀̂ = (1−kᵢkⱼ)⁻¹yᵢⱼ で与えられ、正定値である。
• K > 1 の場合、半群は非有界なノイズを持ち、不変状態は存在せず、不変共分散行列 𝒀̂ ≤ −𝕀_n となる。これは標準設定下で物理的に不適切な挙動を示している。