[논문 리뷰] Linear maps preserving the higher numerical ranges of tensor product of matrices

Ajda Fošner, Zejun Huang외 3명|arXiv (Cornell University)|2013. 02. 05.

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

한 줄 요약

이 논문은 복소수 행렬의 텐서곱 위에서 모든 랭크-원 분해 가능 텐서의 k-수치적 영역을 보존하는 선형 사상의 성질을 규명한다. 이러한 사상이 유니터리 코남이거나 mn = 2k일 경우 추적 보정을 포함하는 형태임을 증명하며, 기존의 수치적 영역 보존자 이론을 텐서곱 구조로 확장하고, 유니터리 동치 및 전치 사상에 의한 명확한 분류를 제시한다.

ABSTRACT

We study linear maps preserving the higher numerical ranges of tensor product of matrices.

연구 동기 및 목표

• 모든 분해 가능 텐서 A⊗B (A∈M_m, B∈M_n)의 k-수치적 영역을 보존하는 M_{mn} 위의 선형 사상 φ를 규명하는 것.
• 단일 행렬에 대한 기존의 k-수치적 영역 보존자 이론을 텐서곱 구조로 확장하는 것.
• 텐서곱 차원이 mn = 2k를 만족할 경우 추가로 비유니터리 형태가 나타나는 바, 이러한 사상의 정확한 형태를 규명하는 것.
• 선형 보존자 이론과 양자정보 이론, 특히 이원자 양자 시스템의 공동 측정에 관한 결과를 통합하는 것.

제안 방법

• 저자들은 모든 A∈M_m, B∈M_n에 대해 W_k(φ(A⊗B)) = W_k(A⊗B)를 만족하는 선형 사상 φ의 구조를 분석한다.
• 스펙트럼 분해와 쿠르앙-파이셔 최소-최대 원리에 기반한 고유값의 교차 성질을 이용해 φ가 랭크-원 연산자에 작용하는 방식을 분석한다.
• 행렬 단위 E_{ii}⊗E_{jj}에 대한 φ의 작용을 분석함으로써, 그 이미지가 특정한 대각선 구조를 가져야 한다는 것을 보인다.
• 레마 2.1을 이용한 행렬 압축과 고유값의 주도성 관계를 통해, φ가 랭크-원 텐서곱의 추적과 고유값 분포를 보존한다는 것을 유도한다.
• φ가 추적을 보존하는지 여부에 따라 두 경우로 나누어 분석하며, 이는 유니터리 코남과 추적 보정 형태의 차이를 이끌어낸다.
• 분류에는 전치 사상 A⊗B ↦ (A⊗B)^t와 min{m,n} ≤ 2일 경우 부분 전치 사상 A⊗B ↦ A⊗B^t 또는 A^t⊗B가 포함된다.

실험 결과

연구 질문

• RQ1 M_{mn} 위의 선형 사상 φ가 모든 A∈M_m, B∈M_n에 대해 분해 가능 텐서 A⊗B의 k-수치적 영역을 보존하기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 mn = 2k일 경우 이러한 사상의 구조가 어떻게 변화하며, 추가로 비유니터리 형태가 나타나는가?
• RQ3 min{m,n} ≤ 2일 경우 부분 전치 사상을 포함한 특성화를 확장할 수 있는가?
• RQ4 예외적인 경우에 k-수치적 영역을 보존하는 데 기여하는 추적 보정 항 (tr(A⊗B)/k)I_{mn}의 역할은 무엇인가?
• RQ5 이러한 사상은 이원자 양자 시스템의 양자 측정과 공동 관측 가능성을 어떻게 연결하는가?

주요 결과

• 모든 A∈M_m, B∈M_n에 대해 W_k(A⊗B)를 보존하는 선형 사상 φ: M_{mn} → M_{mn}이 존재할 필요와 충분 조건은 φ(A⊗B) = U(φ(A⊗B))U* 형태를 띠는 유니터리 U∈M_{mn}이 존재하는 것이다.
• mn = 2k일 경우 추가로 한 클래스의 사상이 존재한다: φ(A⊗B) = (tr(A⊗B)/k)I_{mn} - U(φ(A⊗B))U*이며, 여기서 φ는 A⊗B 위에서 항등사상 또는 전치 사상일 수 있다.
• min{m,n} ≤ 2일 경우 부분 전치를 통한 추가 사상이 나타난다: A⊗B ↦ A⊗B^t 또는 A^t⊗B.
• φ가 k-수치적 영역을 보존하는 것은, φ가 텐서곱 공간에서 항등사상, 전치 사상, 또는 추적 보정된 전치 사상과 유니터리 동치일 때에만 가능하다.
• φ(E_{ii}⊗E_{jj})의 최대 고유값은 정확히 1/k이며, (1/k)I_{mn} - φ(E_{ii}⊗E_{jj})는 양의 준정부호이므로 추적 조건이 확보된다.
• 분류는 완전하고 정확하다: 두 경우 외에 이러한 선형 사상의 다른 형태는 존재하지 않으며, 추적 보정 형태는 오직 mn = 2k일 때에만 발생한다.