[논문 리뷰] Hermitian tensor and quantum mixed state

Guyan Ni|arXiv (Cornell University)|2019. 02. 05.

Tensor decomposition and applications참고 문헌 33인용 수 10

한 줄 요약

이 논문은 힐베르트 행렬의 고차원 확장으로서 힐베르트 텐서를 도입하고 양자 혼합 상태와의 연결을 수립한다. 유니터리 유사성, 부분 추적, 고유값 분해와 같은 텐서 연산을 개발하여 양자 상태의 분리 가능성 검출에 응용한다. 주요 기여는 양의 힐베르트 분해가 존재하지 않을 경우에 기반한 양자 얽힘 기준으로, 텐서 분해 불일치를 통해 얽힌 상태를 식별하는 데 효과적임을 입증한다.

ABSTRACT

An order $2m$ complex tensor $\cH$ is said to be Hermitian if \[\mathcal{H}_\ijm=\mathcal{H}_\jim ^*\mathrm{\ for\ all\ }\ijm .\] It can be regarded as an extension of Hermitian matrix to higher order. A Hermitian tensor is also seen as a representation of a quantum mixed state. Motivated by the separability discrimination of quantum states, we investigate properties of Hermitian tensors including: unitary similarity relation, partial traces, nonnegative Hermitian tensors, Hermitian eigenvalues, rank-one Hermitian decomposition and positive Hermitian decomposition, and their applications to quantum states.

연구 동기 및 목표

• 힐베르트 텐서를 고차원 시스템으로 확장된 힐베르트 행렬의 수학적 프레임워크를 수립하기 위해.
• 밀도 행렬 표현을 통해 힐베르트 텐서를 양자 혼합 상태와 연결하기 위해.
• 양자 정보 이론에서 유용한 텐서 연산—예를 들어 부분 추적과 유니터리 유사성—을 개발하기 위해.
• 텐서 분해 성질을 활용하여 양자 혼합 상태에서의 분리 가능성과 얽힘 탐지 문제를 조사하기 위해.
• 양의 힐베르트 분해가 존재하지 않을 경우에 기반한 얽힘 기준을 제공하기 위해.

제안 방법

• 힐베르트 텐서를 조건 $\mathcal{H}_{i_1\cdots i_m j_1\cdots j_m} = \mathcal{H}^*_{j_1\cdots j_m i_1\cdots i_m}$ 로 정의하여, 힐베르트 행렬을 고차원 배열로 일반화하기 위해.
• 유니터리 유사성, 부분 추적, 랭크-일치 힐베르트 분해를 포함한 텐서 연산을 도입하기 위해.
• 밀도 행렬 표현을 통해 양자 혼합 상태를 힐베르트 텐서로 표현하기 위해 $\mathcal{H} = \sum_i \lambda_i \chi^{(i)} \otimes \chi^{(i)*}$ 를 사용하여 텐서 구조와 양자 밀도 행렬 간의 연결을 수립하기 위해.
• 양의 힐베르트 분해 개념을 개발하여 분리 가능성 기준으로 활용하기 위해: 상태가 분리 가능함은 그 텐서가 그러한 분해를 허용할 때에 한하여 성립함.
• 고유행렬 분해와 부분공간 분석을 사용하여 양의 힐베르트 분해의 존재 여부를 테스트하기 위해.

실험 결과

연구 질문

• RQ1 힐베르트 텐서는 고차원 텐서 프레임워크 내에서 양자 혼합 상태를 표현하고 분석하는 데 사용될 수 있는가?
• RQ2 유니터리 유사성, 부분 추적, 고유값과 같은 힐베르트 텐서의 기본 성질은 무엇인가?
• RQ3 텐서 분해 기법을 통해 양자 혼합 상태에서의 분리 가능성 또는 얽힘을 어떻게 탐지할 수 있는가?
• RQ4 언제 힐베르트 텐서가 양의 힐베르트 분해를 갖는가?
• RQ5 그러한 분해가 존재하지 않을 경우에 이를 확실한 얽힘 증거로 사용할 수 있는가?

주요 결과

• 양자 혼합 상태는 그에 해당하는 힐베르트 텐서가 랭크-일치 성분들로 양의 힐베르트 분해를 허용할 때에만 분리 가능하다.
• 예를 들어 $\rho_1 > 0$, $\rho_2 > 0$, $\rho_1 + \rho_2 = 1$ 를 만족하는 상태 $\rho$ 는 그 텐서 항목과 일치하는 양의 힐베르트 분해가 존재하지 않기 때문에 얽힘 상태임이 증명되었다.
• $\rho$ 의 텐서 $\mathcal{H}$ 는 고유행렬 분해와 잠재적인 양의 힐베르트 분해 사이에 항목 불일치를 보이며, 이는 비분해 가능성의 증명이다.
• 부분 추적 항목을 서로 다른 분해에서 비교함으로써 이 방법은 양의 분해가 존재하지 않을 경우의 불일치를 보여주며, 얽힘을 성공적으로 식별한다.
• 이 프레임워크는 기존의 밀도 행렬 분석을 넘어서 텐서 분해를 통한 얽힘 탐지에 대한 체계적인 접근을 제공한다.
• 이론적 결과에 따르면, 힐베르트 텐서가 양의 힐베르트 분해를 갖는다면, 모든 관련된 곱 벡터들은 분해 성분들에 의해 생성된 특정 부분공간에 포함된다.