[논문 리뷰] Matrix factorizations of correlation matrices and applications

Anupam Prakash, Antonios Varvitsiotis|arXiv (Cornell University)|2017. 02. 21.

Quantum Computing Algorithms and Architecture인용 수 2

한 줄 요약

이 논문은 양자정보이론에서 영감을 얻어 관련 행렬에 대한 행렬값 그람 분해를 소개하며, 클리퍼드 대수와의 연결을 제시한다. 완전히 양의 정부호(semidefinite) 행렬의 지수보다 작은 cpsd-랭크를 갖는 존재성을 간결하게 증명하고, 극한 양자상관관계를 생성하기 위해 필요한 양자 시스템 차원에 대한 티르셀슨의 하한을 일반화한다.

ABSTRACT

We introduce a notion of matrix valued Gram decompositions for correlation matrices whose study is motivated by quantum information theory. We show that for extremal correlations, the matrices in such a factorization generate a Clifford algebra and thus, their size is exponential in terms of the rank of the correlation matrix. Using this we give a self-contained and succinct proof of the existence of completely positive semidefinite matrices with sub-exponential cpsd-rank, recently derived in the literature. This fact also underlies and generalizes Tsirelson's seminal lower bound on the local dimension of a quantum system necessary to generate an extreme quantum correlation.

연구 동기 및 목표

• 양자정보이론에서 영감을 얻어 관련 행렬에 대한 행렬값 그람 분해를 소개하는 것.
• 생성 행렬의 대수적 구조를 통해 극한 양자상관관계를 분석하는 것.
• 관련 행렬의 랭크와 그 인수분해에 사용되는 행렬의 크기 사이의 연결 고리를 설정하는 것.
• 지수보다 작은 cpsd-랭크를 갖는 완전히 양의 정부호 행렬의 존재성을 자가 포함된 증명으로 제시하는 것.
• 극한 양자상관관계를 생성하기 위해 필요한 국소 양자 차원의 하한인 티르셀슨의 하한을 일반화하는 것.

제안 방법

• 표준 그람 분해의 일반화로서 관련 행렬에 대한 행렬값 그람 분해를 정의하는 것.
• 극한 상관관계의 경우, 인수분해 행렬이 클리퍼드 대수를 생성한다는 것을 보이는 것.
• 클리퍼드 대수의 대수적 성질을 이용해 이러한 인수분해에서의 최소 행렬 크기를 제한하는 것.
• 행렬 크기가 관련 행렬의 랭크에 따라 지수적으로 증가함을 도출하는 것.
• 이 구조를 이용해 관련 행렬의 완전히 양의 정부호 행렬의 랭크(cpsd-rank)를 분석하는 것.
• 이 대수적 프레임워크를 활용해 지수보다 작은 cpsd-랭크 존재성을 재구성하고 단순화하는 증명을 적용하는 것.

실험 결과

연구 질문

• RQ1 행렬값 그람 분해를 사용해 극한 관련 행렬을 인수분해하기 위해 필요한 최소 행렬 크기는 무엇인가?
• RQ2 인수분해 행렬의 대수적 성질은 양자상관관계의 구조를 어떻게 제약하는가?
• RQ3 지수보다 작은 cpsd-랭크를 갖는 완전히 양의 정부호 행렬의 존재성을 대수적 방법으로 증명할 수 있는가?
• RQ4 극한 상관관계의 배경이 되는 클리퍼드 대수의 구조는 티르셀슨의 차원 하한을 어느 정도 일반화하는가?
• RQ5 관련 행렬의 랭크와 그 행렬값 인수분해의 크기 사이의 관계는 무엇인가?

주요 결과

• 극한 상관관계의 경우, 인수분해에 사용되는 행렬들이 클리퍼드 대수를 생성하며, 이는 관련 행렬의 랭크에 비례해 지수적으로 증가하는 행렬 크기를 초래한다.
• 논문은 지수보다 작은 cpsd-랭크를 갖는 완전히 양의 정부호 행렬의 존재성을 자가 포함된 간결한 증명으로 제시한다.
• 이 결과는 극한 양자상관관계를 생성하기 위해 필요한 국소 양자 차원의 하한에 대한 티르셀슨의 획기적인 하한을 일반화한다.
• 행렬값 그람 분해는 극한 양자상관관계 뒤에 숨은 깊은 대수적 구조를 드러낸다.
• 클리퍼드 대수와 인수분해 크기 사이의 연결 고리는 이러한 표현의 효율성에 대한 기본적인 한계를 설정한다.
• 이 프레임워크는 기존의 cpsd-랭크 결과들을 일관된 대수적 맥락에 통합하고 단순화한다.