[논문 리뷰] Manifold of density matrices

Aik-meng Kuah, E. C. G. Sudarshan|ArXiv.org|2003. 07. 30.

Quantum Information and Cryptography참고 문헌 1인용 수 3

한 줄 요약

이 논문은 혼합 양자 상태를 $N^2$차원의 순수 상태로의 순수화를 통해 유도함으로써, $N\times N$ 밀도 행렬의 다양체가 $\mathbb{C}P^{N^2-1}/SU(N)$인 몫 공간으로 나타남을 규명한다. 주요 기여는 $SU(N)$ 작용에 의한 궤도의 계층적 공간으로서의 밀도 행렬 기하학을 규명하고, 랭크 $\mu$로 인덱싱된 계층을 도입하며, $N=2$인 경우 이는 잘 알려진 블로흐 구로 수렴함을 보여주는 것이다.

ABSTRACT

We show that the manifold of density matrices can be derived from CP^{N^2-1} by the action of SU(N). We give some preliminary observations on the structure of this manifold.

연구 동기 및 목표

• 순수한 기하학적 다양체로서 $N \times N$ 밀도 행렬의 집합의 수학적 구조를 규명하는 것.
• 순수 상태에 비해 혼합 양자 상태에 대해 잘 정의된 기하학적 프레임워크가 부족한 문제를 다루는 것.
• 순수화를 통해 $\mathbb{C}P^{N^2-1}$ 위의 $SU(N)$ 작용에 의한 궤도와 밀도 행렬 간의 대응 관계를 수립하는 것.
• 밀도 행렬의 랭크에 기반한 기하학적 계층적 구조를 분석하는 것.
• $N=2$인 경우 다양체가 잘 알려진 블로흐 구로 축소됨을 보여주어 프레임워크의 타당성을 검증하는 것.

제안 방법

• 순수한 상태로의 $N \times N$ 밀도 행렬의 사상에 순수화 절차를 적용하여 $N^2$차원 힐베르트 공간 내 순수 상태를 구성하는 것.
• 스미스 분해를 적용하여 순수화된 상태를 $|\psi\rangle = \sum_{i} \sqrt{\rho_i} |i^A\rangle \otimes |i^B\rangle$ 형태로 표현하는 것. 여기서 $\rho$는 밀도 행렬이다.
• 두 순수 상태가 동일한 축소 밀도 행렬을 갖는다 하는 것과, $U \in SU(N)$에 대해 $I^A \otimes U^B$ 단위 변환으로 관련되어 있는 것이 동치임을 증명하는 것.
• 밀도 행렬의 다양체를 $SU(N)$의 궤도에 해당하는 $\mathbb{C}P^{N^2-1}/SU(N)$의 궤도 공간으로 식별하는 것.
• $SU(N)$ 작용 하에서 상태의 안정자 부분군을 분류하여, 스미스 수가 $\mu$일 경우 이들이 $U(N-\mu)$와 동형임을 보이는 것.
• 각 계층의 차원을 $\mu(2N - \mu) - 1$로 분석하며, $\mu$는 1에서 $N$까지 변동하며, 순수 상태 다양체가 $\mathbb{C}P^{N-1}$임을 식별하는 것.

실험 결과

연구 질문

• RQ1 어떻게 $N \times N$ 밀도 행렬의 집합에 잘 정의된 기하학적 다양체의 구조를 부여할 수 있는가?
• RQ2 밀도 행렬의 다양체와 순수 상태 공간 $\mathbb{C}P^{N^2-1}$ 사이의 관계는 무엇인가?
• RQ3 $\mathbb{C}P^{N^2-1}$ 위에서의 $SU(N)$ 군 작용이 궤도 동치 관계를 통해 밀도 행렬을 어떻게 분류하는가?
• RQ4 밀도 행렬 다양체의 계층적 기하학적 구조는 무엇이며, 밀도 행렬의 랭크에 따라 어떻게 달라지는가?
• RQ5 이 프레임워크는 $N=2$일 때 알려진 결과인 큐비트의 블로흐 구를 재현하는가?

주요 결과

• 순수한 기하학적 다양체로서 $N \times N$ 밀도 행렬의 다양체는 $\mathbb{C}P^{N^2-1}/SU(N)$의 몫 공간과 미분동형이며, $SU(N)$의 궤도는 고유한 밀도 행렬에 대응한다.
• 밀도 행렬 다양체의 차원은 $N^2 - 1$이며, 이는 $N \times N$ 밀도 행렬의 공간에 기대되는 차원과 일치한다.
• 랭크 $\mu$를 갖는 밀도 행렬에 대해, 해당 계층의 차원은 $\mu(2N - \mu) - 1$이며, 가장 낮은 차원의 계층($\mu = 1$)은 $2N - 2$차원이며 순수 상태에 대응한다.
• 순수 상태 계층($\mu = 1$)은 $\mathbb{C}P^{N-1}$과 동형이며, 모든 밀도 행렬의 볼록 코일을 이룬다.
• $N=2$인 경우, 밀도 행렬 다양체는 3차원의 구이며, 표준적인 블로흐 구 표현을 확인한다.
• 기하학은 랭크가 감소함에 따라 차원이 감소하는 계층적 구조를 가지며, 각 랭크 $\mu$의 계층은 낮은 랭크의 계층들을 볼록하게 덮는다.