[논문 리뷰] Interpolation problems by completely positive maps

Chi-Kwong Li, Yiu‐Tung Poon|arXiv (Cornell University)|2010. 12. 08.

Matrix Theory and Algorithms참고 문헌 12인용 수 4

한 줄 요약

이 논문은 헤르미트 행렬의 가환 가족 간의 완전히 양의 맵 존재에 대한 필수 및 필요조건을 설정하며, 단위원 및 추적을 보존하는 맵로의 확장도 다룬다. 주요 기여는 일반적인 보간 문제를 증강된 행렬 공간을 통해 단위원 완전히 양의 맵 문제로 재구성하는 환원 정리로, 이는 확장 이론과 양자 정보와의 연결을 가능하게 한다.

ABSTRACT

Given commuting families of Hermitian matrices {A1, ..., Ak} and {B1, ...., Bk}, conditions for the existence of a completely positive map L, such that L(Aj) = Bj for j = 1, ...,k, are studied. Additional properties such as unital or / and trace preserving on the map ? are also considered. Connections of the study to dilation theory, matrix inequalities, unitary orbits, and quantum information science are mentioned.

연구 동기 및 목표

• 주어진 가환 헤르미트 행렬 가족 {A₁,…,Aₖ} ⊆ Hₙ 과 {B₁,…,Bₖ} ⊆ Hₘ 에 대해 Φ(Aⱼ) = Bⱼ 를 만족하는 완전히 양의 맵 Φ 가 존재하는 데 필요한 필수 조건을 규명하는 것.
• Φ(Iₙ) = Iₘ 와 tr(Φ(A)) = tr(A) 와 같은 추가 제약 조건을 포함한 분석을 확장하는 것.
• 보간 문제를 확장 이론, 행렬 부등식, 그리고 특히 양자 연산에 관한 양자 정보 과학과 연결하는 것.
• 스케일링 매개변수 γ 를 포함한 차원 증가 변환을 통해 일반 보간 문제를 단위원 완전히 양의 맵 문제로 환원하는 것.
• 특히 비가환 가족과 작은 행렬 차원(n=2,3)에서 이러한 맵을 구성하는 데 있어 발생하는 구조적 과제를 조사하는 것.

제안 방법

• 완전히 양의 맵를 특성화하기 위해 연산자 합 표현 Φ(A) = ∑ⱼ Fⱼ*AFⱼ 를 사용하며, 여기서 Fⱼ ∈ Mₙ,ₘ 이다.
• Choi-Kraus 표현을 적용하여 맵을 행렬 Fⱼ 로 표현함으로써, ∑Fⱼ*Fⱼ = Iₘ 과 ∑FⱼFⱼ* = Iₙ 를 통해 단위원성과 추적 보존성을 분석한다.
• F̃ = [F₁ ⋯ Fᵣ] 과 F̃*A F̃ 를 사용한 블록 행렬 구성법을 도입하여, Φ(A) 를 주된 부분행렬의 합으로 표현한다.
• 차원 증강 기법을 활용: Aⱼ ∈ Mₙ 을 Aⱼ ⊕ [0] ∈ Mₙ₊₁ 로 임bed하고, 대상 Bⱼ 를 γ⁻¹ 으로 스케일링하여 Mₙ₊₁ 상의 단위원 맵 문제로 문제를 환원한다.
• 특히 Iᵣ ⊗ A 와 같은 형태의 확장 존재성과의 등가성을 활용한 확장 이론을 적용한다.
• 수치 범위 W(T) = {x*Tx : ||x|| = 1} 를 사용하여, n=2,3 인 저차원에서의 해법 가능성 조건 W(B) ⊆ W(A) 를 도출한다.

실험 결과

연구 질문

• RQ1 가환 헤르미트 행렬 가족에 대해 Φ(Aⱼ) = Bⱼ 를 만족하는 완전히 양의 맵 Φ 가 존재하는 데 필요한 필수 조건은 무엇인가요?
• RQ2 어떻게 매트릭스 증강과 스케일링을 통해 일반 보간 문제를 단위원 완전히 양의 맵 문제로 환원할 수 있나요?
• RQ3 특히 저차원의 경우에서 확장 이론은 이러한 맵의 존재성을 특성화하는 데 어떤 역할을 하나요?
• RQ4 왜 추적 보존성과 단위원 완전히 양의 맵은 서로 다른 구조적 행동을 보이며, 양자 정보 응용에 어떤 영향을 미치나요?
• RQ5 n=2 또는 n=3 인 경우에 단위원 완전히 양의 맵 Φ 가 존재할 조건은 무엇이며, 특히 A 가 유니터리로 감소 가능한 경우에 대해 어떻게 되나요?

주요 결과

• 완전히 양의 맵 Φ: Mₙ → Mₘ 가 Φ(Aⱼ) = Bⱼ 를 만족하는 것은, 모든 j = 1,…,k 에 대해 Ψ(Aⱼ ⊕ [0]) = γ⁻¹Bⱼ 를 만족하는 γ > 0 과 단위원 완전히 양의 맵 Ψ: Mₙ₊₁ → Mₘ 가 존재하는 것과 필요충분조건이다.
• Φ 의 단위원성은 ∑Fⱼ*Fⱼ = Iₘ 과 등가이며, 추적 보존성은 ∑FⱼFⱼ* = Iₙ 과 등가이다.
• n=2 또는 n=3 이며 A 가 유니터리로 감소 가능한 경우, Φ(A) = B 를 만족하는 단위원 완전히 양의 맵이 존재하는 것은 W(B) ⊆ W(A) 와 등가이다. 여기서 W(T) 는 T 의 수치 범위이다.
• 일반적으로 임의의 A ∈ M₃ 또는 정규 행렬 A ∈ M₄ 에 대해 두 행렬을 연결하는 단위원 완전히 양의 맵 문제의 존재는 실패함을 보여, 수치 범위 조건의 한계를 드러낸다.
• 역 맵 Φ* 는 ⟨Φ(A), B⟩ = ⟨A, Φ*(B)⟩ 를 만족하며, Φ 가 단위원임은 Φ* 가 추적 보존임과 필요충분조건이다. 이는 두 클래스 사이의 이중성 관계를 수립한다.
• 이 연구는 추적 보존성과 단위원 완전히 양의 맵이 그들의 구조적 제약 조건에서 대칭적이지 않음을 드러내며, 일부 추적 보존 맵에 대한 결과들이 단위원 맵의 경우에 해당하는 해석이 없음을 보여준다.