[논문 리뷰] On the one-particle reduced density matrices of a pure three-qutrit quantum state

Atsushi Higuchi|ArXiv.org|2003. 09. 25.

Quantum Information and Cryptography참고 문헌 7인용 수 11

한 줄 요약

이 논문은 순수한 세 큐튜릿 양자 상태의 줄기 밀도 행렬이 되기 위한 세 개의 일양 큐튜릿 밀도 행렬에 대한 필수적이고 충분한 조건을 수립한다. 이는 기존의 큐비트 제약 조건을 일반화한, 줄기 밀도 행렬의 고유값을 포함하는 일곱 종류의 부등식을 유도하며, 증명은 대수적 방법과 상태 공간의 구면에서의 컴팩트성 추론을 결합한다.

ABSTRACT

We present a necessary and sufficient condition for three qutrit density matrices to be the one-particle reduced density matrices of a pure three-qutrit quantum state. The condition consists of seven classes of inequalities satisfied by the eigenvalues of these matrices. One of them is a generalization of a known inequality for the qubit case. Some of these inequalities are proved algebraically whereas the proof of the others uses the fact that a continuous function of the state must have a minimum. Construction of states satisfying these inequalities relies on a representation of the convex set of the allowed set of eigenvalues in terms of corner points. We also present a result for a more general quantum system concerning the nature of the boundary surface of the set of the allowed set of eigenvalues.

연구 동기 및 목표

• 순수한 세 큐튜릿 양자 상태에서 유래할 수 있는 세 개의 일양 큐튜릿 줄기 밀도 행렬이 만족해야 할 고유값 제약 조건의 완전한 집합을 규명하는 것.
• 기존의 큐비트 제약 조건을 더 높은 차원의 큐튜릿 경우로 일반화하여, 특히 이원계 고유값 부등식을 삼원계 시스템으로 확장하는 것.
• 유도된 부등식을 만족하는 임의의 유효한 고유값 집합으로부터 순수한 세 큐튜릿 상태를 구성하는 구축 가능한 방법을 제공하는 것.
• 허용 가능한 고유값 집합의 기하학적 구조를 분석하고, 그 경계가 극단적 상태(모서리 점들)의 볼록 조합으로 이루어져 있음을 규명하는 것.

제안 방법

• 순수한 세 큐튜릿 상태의 세 줄기 밀도 행렬이 만족해야 할 일곱 종류의 고유값 부등식을 유도하며, 시스템의 순환 대칭을 고려한다.
• 대수적 기법을 사용하여 첫 세 부등식을 증명하며, 이는 기존의 큐비트 제약 조건을 큐튜릿으로 일반화한 것이다.
• 54차원 계수 공간에서 단위 구면의 컴팩트성을 활용하여, 연속 함수의 최솟값 존재성을 이용해 나머지 부등식을 증명한다.
• 허용 가능한 고유값 집합을 모서리 점들—계산 기저에서 한 계수만 1이고 나머지는 0인 상태—의 볼록 hull로 표현함으로써 명시적 상태 구성이 가능하게 한다.
• 계수의 변형을 기반으로 한 변분 방법을 사용하여, 허용 집합의 경계 초평면이 이러한 모서리 점들로 정의된 초평면 위에 있어야 한다는 것을 보여준다.
• 비퇴화된 고유값 구성이 초평면 경계와 연결됨을 보여주는 보조정리를 사용하여, 허용 집합의 경계가 조각별로 초평면으로 이루어져 있음을 증명한다.

실험 결과

연구 질문

• RQ1 세 개의 일양 큐튜릿 줄기 밀도 행렬의 고유값에 대해, 그것들이 순수한 세 큐튜릿 양자 상태에서 유래하기 위한 필수적이고 충분한 조건은 무엇인가?
• RQ2 세 큐튜릿 시스템의 고유값 제약 조건은 기존의 큐비트 시스템에 대한 알려진 부등식을 어떻게 일반화하는가?
• RQ3 허용 가능한 고유값 삼중체의 기하학적 구조는 무엇이며, 어떻게 매개변수화할 수 있는가?
• RQ4 유도된 부등식을 만족하는 임의의 유효한 고유값 삼중체는 명시적인 순수한 세 큐튜릿 상태로 실현될 수 있는가?
• RQ5 허용 가능한 고유값 집합의 경계는 볼록 기하학과 극단적 상태 측면에서 어떤 성질을 갖는가?

주요 결과

• 필수적이고 충분한 조건은 세 줄기 밀도 행렬의 순서화된 고유값을 포함하는 일곱 개의 부등식으로 주어지며, 시스템의 순환 대칭을 고려한다.
• 첫 세 부등식은 큐비트 경우를 일반화한 것으로, 그 중 하나는 두 큐큐비트 줄기 밀도 행렬에 대한 알려진 큐비트 부등식의 직접적인 일반화이다.
• 남은 네 개의 부등식은 상태 공간의 컴팩트성을 이용하여 증명되며, 상태 계수의 연속 함수가 최솟값을 가져야 한다는 점을 보여준다.
• 모든 최소 고유값이 0일 경우, 유일한 비자명한 제약 조건은 $\lambda_2^{(a)} \leq \lambda_2^{(b)} + \lambda_2^{(c)}$ 를 모든 순열에 대해 만족해야 한다는 것으로, 이는 이전 큐비트 결과와 일관성을 확인한다.
• 허용 가능한 고유값 집합은 볼록 다면체이며, 그 극단적 점들은 계산 기저에서 한 계수만 1이고 나머지는 0인 상태에 해당한다.
• 허용 가능한 고유값 집합의 경계는 초평면들로 이루어져 있으며, 각각은 유한한 수의 모서리 점들에 대응한다. 이는 제약 함수의 기울기의 변분적 추론을 통해 증명되었다.