[논문 리뷰] The semigroup structure of Gaussian channels

Teiko Heinosaari, A. S. Holevo외 1명|arXiv (Cornell University)|2009. 09. 02.

Artificial Immune Systems Applications인용 수 7

한 줄 요약

이 논문은 보소닉 가우시안 양자 채널의 준군 구조를 조사하며, 유한차원 양자 채널과는 달리, 비가역적 가우시안 채널이 비록 무한소 분할 가능하지 않은 채널이 존재하더라도 항상 분할 가능하다는 것을 드러낸다. 가우시안 채널 집합의 비콤팩트성 덕분에 고유한 구조적 특징이 가능해지며, 이는 생성자가 없는 가역 채널과 행렬 준군 및 복소 정의 행렬을 통한 완전한 특성화를 포함한다. 이는 일파rameter 준군과 분할 가능성 성질에 응용된다.

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)로 가우시안 채널을 표현한다.
• 위상공간 형식과 와이의 연산자를 사용하여 채널 작용을 Wξ ↦ W_{Xᵀξ} exp(−½ξᵀYξ)로 기술함으로써 유한차원 행렬 분석이 가능해진다.
• 행렬 형태 (Kᵗ, Yᵗ)에서 K = exp(tL)이 되도록, L이 심플렉틱 리 대수에 속하는 생성자일 때 일파라미터 준군을 특성화한다.
• 행렬 K의 스펙트럼 분해를 활용하여 준군 행동을 분류하며, K < 1, K = 1, K > 1, K = I의 경우를 포함한다.
• 가우시안 채널 집합을 복소 정의 행렬의 코너로 매핑하여, 모든 비가역 채널이 분할 가능하다는 것을 증명한다.
• 슈어 곱과 적분 표현(예: (1−kᵢkⱼ)⁻¹ = ∫₀^∞ exp(t(kᵢkⱼ−1))dt)을 사용하여 정적 상태 공분산 행렬의 양의 정부호성을 확립한다.

실험 결과

연구 질문

• RQ1 비가역적 가우시안 채널이 무한소 분할 가능하지 않은 채널이 존재하더라도 항상 분할 가능한가?
• RQ2 일부 가역적 가우시안 채널은 캐논리컬 변환임에도 불구하고 생성 해밀토니언을 갖지 못하는 이유는 무엇인가?
• RQ3 행렬 K의 고유값이 1보다 큰 경우, 가우시안 채널이 일파라미터 준군의 일부가 될 수 있는가?
• RQ4 무한소 분할 가능성과 가우시안 채널의 X 행렬의 행렬식 사이의 관계는 무엇인가?
• RQ5 텐서 곱이나 비가우시안 분해를 고려할 경우, 가우시안 채널의 준군 구조는 어떻게 변화하는가?

주요 결과

• 모든 비가역적 가우시안 채널은 분할 가능하며, 이는 가우시안 채널 집합의 비콤팩트성과 복소 정의 행렬로의 매핑 탓이다.
• 무한소 분할 가능하지 않은 가우시안 채널가 존재함으로써, 이는 유한차원 양자 채널과의 핵심적인 차이를 보여준다.
• 일부 가역적 가우시안 채널(예: exp(sp(2n))에 속하지 않는 것들)은 생성 해밀토니언을 갖지 못하며, 이는 모든 캐논리컬 변환이 일파라미터 준군의 생성자가 되는 것은 아님을 보여준다.
• 일파라미터 준군의 가우시안 채널은 K = exp(tL)이고 Yᵗ가 라플라스 유사 방정식을 만족하는 행렬 형태 (Kᵗ, Yᵗ)로 완전히 특성화된다.
• K < 1인 경우, 준군은 고유한 정적 상태를 가지며, 공분산 행렬은 𝒀̂ = (1−kᵢkⱼ)⁻¹yᵢⱼ로 주어지며, 이는 양의 정부호이다.
• K > 1인 경우, 준군은 무한한 노이즈를 가지며 정적 상태가 없으며, 정적 공분산 행렬 𝒀̂ ≤ −𝕀_n는 표준 설정에서 물리적으로 비합리적인 행동을 나타낸다.