[논문 리뷰] Faces for two qubit separable states and the convex hulls of trigonometric moment curves

Seung-Hyeok Kye|arXiv (Cornell University)|2013. 02. 09.

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

한 줄 요약

이 논문은 두 큐비트 분리 상태의 볼록 집합 S₂×₂의 얼굴 기하학을 조사하며, R⁴에서 삼각함수 모멘트 곡선의 볼록 hull과 동형인 4차원 얼굴을 규명한다. 이를 고차원으로 일반화하여, R²ᵖ에서 삼각함수 모멘트 곡선의 볼록 hull이 S₂×ₚ의 얼굴로 나타남을 보이며, 모든 진부분얼굴이 단체임을 증명하고, 극단점들은 곡선의 상사 이미지로 특성화된다. 주요 기여는 양자 정보 이론과 다면체 조합론을 활용하여 이러한 볼록체의 얼굴 기하학을 완전히 특성화한 데 있다.

ABSTRACT

We analyze the facial structures of the convex set consisting of all two qubit separable states. One of faces is a four dimensional convex body generated by the trigonometric moment curve arising from polyhedral combinatorics. Another one is an eight dimensional convex body, which is the convex hull of a homeomorphic image of the two dimensional sphere. Extreme points consist of points on the surface, and any two of them determines an edge. We also reconstruct the trigonometric moment curve in any even dimensional affine space using the qubit-qudit systems, and characterize the facial structures of the convex hull.

연구 동기 및 목표

• 두 큐비트 분리 상태의 볼록 집합 S₂×₂의 얼굴 기하학을 분석하고, 그 극단적 얼굴을 규명한다.
• S₂×₂의 4차원 얼굴과 다면체 조합론에서 유래한 삼각함수 모멘트 곡선 사이의 연결 고리를 설정한다.
• 임의의 짝수 차원 2p로 삼각함수 모멘트 곡선을 일반화하고, 이를 S₂×ₚ에 통합한다.
• R²ᵖ에서 삼각함수 모멘트 곡선의 볼록 hull의 얼굴 기하학을 특성화하며, 모든 진부분얼굴이 단체임을 보인다.
• C²ᵖ에 속하는지 여부를 특성화하는 p개의 복소변수에 대한 유한한 부등식 집합을 제공한다.

제안 방법

• 논문은 분리 상태를 식별하고 그 볼록 기하학을 분석하기 위해 부분 전치 기준을 사용한다.
• S₂×₂의 4차원 얼굴이 R⁴에서 (cos t, sin t, cos 2t, sin 2t)로 주어지는 삼각함수 모멘트 곡선의 볼록 hull임을 규명한다.
• 일반적인 p에 대해, R²ᵖ에서 (cos t, sin t, ..., cos pt, sin pt)로 주어지는 삼각함수 모멘트 곡선을 구성하고, 이를 곱 상태를 통해 S₂×ₚ에 통합한다.
• 행렬 이론과 선형대수학의 결과를 적용하여, C²ᵖ의 극단점이 곡선 위에 있는 점들임을 보인다.
• 밀도 행렬과 그 부분 전치 행렬의 질량 조건을 사용하여 C²ᵖ의 내부점과 경계점 사이를 구분한다.
• 관련 밀도 행렬의 주된 부분행렬의 행렬식에 기반하여, C²ᵖ에 속하는지 여부를 특성화하는 다항부등식의 유한계를 유도한다.

실험 결과

연구 질문

• RQ1 두 큐비트 분리 상태 집합 S₂×₂의 얼굴 기하학은 다면체 조합론과 어떻게 관련이 있는가?
• RQ2 R²ᵖ에서 삼각함수 모멘트 곡선의 볼록 hull의 기하학적·代수적 기하학적 구조는 무엇인가?
• RQ3 삼각함수 모멘트 곡선은 고차원 분리 상태 집합 S₂×ₚ에 통합될 수 있으며, 그로 인해 유도되는 얼굴 성질은 무엇인가?
• RQ4 C²ᵖ의 임의의 점을 표현하기 위해 필요한 최소 극단점의 수는 얼마이며, 이는 내부점과 경계점과 어떻게 관련되는가?
• RQ5 C²ᵖ에 속하는지 여부는 복소변수에 대한 다항부등식의 유한집합으로 특성화될 수 있는가?

주요 결과

• S₂×₂의 4차원 얼굴은 R⁴에서 삼각함수 모멘트 곡선의 볼록 hull과 약한 동형이며, 극단점들은 정확히 곡선 위에 있다.
• 모든 p ≥ 1에 대해, R²ᵖ에서 삼각함수 모멘트 곡선의 볼록 hull C²ᵖ는 분리 상태 집합 S₂×ₚ의 얼굴이다.
• C²ᵖ의 점이 극단점임은 곡선 위에 있을 때에만 성립한다.
• C²ᵖ의 임의의 점은 최대 p+1개의 극단점의 볼록 조합으로 표현 가능하며, 내부점임은 정확히 p+1개의 극단점으로 분해되어야 할 때에만 성립한다.
• C²ᵖ의 모든 진부분얼굴은 단체이며, k = 1, 2, ..., p에 대해 k개의 극단점을 가지며, 모든 얼굴는 노출된 얼굴이다.
• C²ᵖ에 속하는지 여부는 관련 밀도 행렬의 주된 부분행렬의 행렬식에 기반한 p개의 복소변수에 대한 다항부등식의 유한집합으로 특성화할 수 있다.