[논문 리뷰] Separable Decomposition and Quantum Correlations in Toeplitz Matrices

Marek Mozrzymas, A. Rutkowski외 1명|arXiv (Cornell University)|2015. 05. 24.

Matrix Theory and Algorithms인용 수 1

한 줄 요약

이 논문은 가환성과 정규성을 갖는 $d \times d$ 블록을 가진 블록 토플리츠 행렬의 분리 가능성(separability)이 준양의 정의성(semi-positive definiteness)과 동치임을 증명하며, 분리 가능성 분해의 길이가 블록 행렬의 차원과 같음을 보여주고, 카라테오도리의 경계보다 짧다. 이 분해는 첫 번째 텐서 인자에서의 블록 항목의 고유값과 두 번째 인자에서의 고유벡터에만 의존하며, 전체 행렬의 준양의 정의성은 $d$개의 더 작은 $n \times n$ 행렬의 준양의 정의성과 동치이다.

ABSTRACT

It is shown that, for the block matrices belonging to $M(nd,\mathbb{C})$ with commuting and normal block entries of dimension $d$, the separability of such a block matrices is equivalent to its semi-positive definity. The separability decomposition of lenght equal to the dimension of the block matrix (which is smaller then Caratheodory theorem implies) is given. The separability decomposition depends only on eigenvalues of block entries in the first part and on eigenvectors of the block entries in the second part of the tensor product. It is shown that semi-positive definity of considered block matrices is equivalent to semi-positive definity $d$ smaller matrices of dimension $n$.

연구 동기 및 목표

• 가환성과 정규성을 갖는 $d \times d$ 블록을 가진 블록 토플리츠 행렬이 분리 가능해지는 조건을 규명하는 것.
• 이러한 행렬에 대해 최소 길이의 분리 가능성 분해를 구성하는 것.
• 전체 행렬의 준양의 정의성이 $d$개의 더 작은 $n \times n$ 행렬의 준양의 정의성과 동치임을 보이는 것.
• 분해가 블록 항목의 고유값과 고유벡터에 어떻게 의존하는지 기술하는 것.

제안 방법

• 가환성과 정규성을 갖는 $d \times d$ 블록을 가진 $M(nd,\mathbb{C})$ 내의 블록 행렬을 분석한다.
• 블록 항목의 스펙트럼 분해를 이용하여 전체 행렬을 고유값과 고유벡터로 표현한다.
• 분리 가능성과 전체 행렬의 준양의 정의성 간의 동치성을 확립한다.
• 문제를 블록 구조에서 유도된 $d$개의 더 작은 $n \times n$ 행렬의 준양의 정의성 확인으로 환원한다.
• 블록 행렬의 차원과 같은 길이의 분리 가능성 분해를 유도한다. 이는 카라테오도리의 경계보다 짧다.
• 분해가 첫 번째 텐서 인자에서의 고유값과 두 번째 인자에서의 고유벡터에만 의존한다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 가환성과 정규성을 갖는 $d \times d$ 블록을 가진 블록 토플리츠 행렬이 분리 가능해지는 조건은 무엇인가?
• RQ2 이러한 행렬에 대해 블록 행렬의 차원과 같은 길이의 분리 가능성 분해를 구성할 수 있는가?
• RQ3 전체 행렬의 준양의 정의성은 블록 구조에서 유도된 $d$개의 더 작은 $n \times n$ 행렬의 준양의 정의성과 동치인가?
• RQ4 블록 항목의 고유값과 고유벡터는 분리 가능성 분해에 어떻게 영향을 미치는가?

주요 결과

• 블록 토플리츠 행렬의 분리 가능성은 그 준양의 정의성과 동치이다.
• 블록 행렬의 차원과 같은 길이의 분리 가능성 분해가 구성되었으며, 카라테오도리 정리에서 유도되는 경계보다 짧다.
• 분해는 첫 번째 텐서 인자에서의 블록 항목의 고유값과 두 번째 인자에서의 대응 고유벡터에만 의존한다.
• 전체 행렬의 준양의 정의성은 블록 구조에서 유도된 $d$개의 더 작은 $n \times n$ 행렬의 준양의 정의성과 동치이다.
• 이 방법은 블록의 스펙트럼 성질을 이용하여 분리 가능성 검증을 구성적이고 효율적으로 수행할 수 있도록 한다.
• 결과는 구조화된 양자 상관 행렬에서 행렬의 양의 정의성과 분리 가능성 간의 관계를 일반화한다.