[논문 리뷰] Determination of all pure quantum states from a minimal number of observables

Damien Mondragon, Vladislav Voroninski|arXiv (Cornell University)|2013. 06. 05.

Advanced X-ray Imaging Techniques참고 문헌 22인용 수 21

한 줄 요약

이 논문은 $ n \geq 6 $ 인 차원에서 어떤 순수 양자 상태도 정보적으로 완전한 네 개의 일반적인 전 Rank 관측 가능성을 통해 전역 위상 모듈로 단사적으로 복원할 수 있음을 입증한다. 이는 $ 4n $ 개의 강도 측정값을 통해 단사적인 위상 재구복을 가능하게 한다. 이 결과는 날카롭게 정의되어 있으며, 높은 차원에서 네 개 이하의 관측 가능성이 정보적으로 완전성을 달성할 수 없음을 보여주며, $ \mathbb{C}P^{n-1} $ 를 $ \mathbb{R}^{4n-4} $ 에 임bedding하는 구조를 제공한다.

ABSTRACT

We show that for any positive integer $n$, the maps $x \in \mathbb{C}^n \mapsto \{\left|\langle x, z_i angle ight|^2\}_{i=1}^{4n} \in \mathbb{R}^{4n}$, where $z_i$ are the columns of four $n imes n$ unitary matrices, are generically injective modulo multiplication by a global phase factor, yielding a family of embeddings of $\mathbb{C}P^{n-1}$ into $\mathbb{R}^{4n-4}$. In particular, this implies that distribution measurements about a pure state with four generic full-rank observables are informationally complete, which is sharp for $n \geq 6$. To complement this information-theoretic study, we establish in a companion paper that the PhaseLift algorithm yields efficient phase retrieval from quadratic measurements with $O(1)$ unitary matrices, with high probability, where the unitaries are iid according to Haar measure.

연구 동기 및 목표

• 전역 위상 모듈로 $ \mathbb{C}^n $ 에서의 임의의 순수 양자 상태를 유일하게 재구성하기 위해 필요한 관측 가능성의 최소 수를 규명하는 것.
• 오랜 기간 동안 미해결이었던 파울리 문제와 라이트의 추측을 해결하기 위해, $ n \geq 6 $ 일 때 네 개의 관측 가능성이 정보적으로 완전성을 달성하는 데 필수적이고도 충분함을 증명하는 것.
• 실대수기하학과 내쉬 분할을 활용하여 정보 이론적 경계를 날카롭게 설정함으로써, $ 4n $ 개의 측정값이 일반적으로 충분하고 필수적임을 보여주는 것.
• 정보 이론적 복원 한계와 효율적인 계산적 복원 간의 연결 고리를 확립하기 위해, PhaseLift가 $ O(1) $ 개의 유니터리 행렬을 사용하여 높은 확률로 정확한 재구복을 달성함을 보여주는 것.
• 네 개의 유니터리 행렬을 통한 $ \mathbb{C}P^{n-1} $ 의 $ \mathbb{R}^{4n-4} $ 에 대한 임베딩 기하학적 구조를 제공함으로써, 경계의 날카로움을 확인하는 것.

제안 방법

• 측정 사상 $ x \mapsto \{ |\langle x, z_i \rangle|^2 \}_{i=1}^{4n} $ 의 섬유 차원을 분석하기 위해 실대수기하학을 사용하며, 여기서 $ z_i $ 는 네 개의 $ n \times n $ 유니터리 행렬의 열들이다.
• 내쉬 분할과 차원 이론을 적용하여 비단사 측정 사상의 집합이 최소한 차원 1 이상의 여부를 보여주며, 이는 전역 위상 모듈로 일반적인 단사성의 결과를 이끌어낸다.
• 특이점 집합 $ W_{ij} $ 의 차원을 비교하기 위해 반대칭 다항식 변환 $ \phi_j $ 를 활용하여 문제를 $ \mathbb{R}^{4n} $ 의 부분다양체 $ Y \subset \mathbb{R}^{4n} $ 의 차원을 bound하는 것으로 환원한다.
• 정규점에서 $ Y $ 의 탄젠트 공간 차원을 계산하여 $ \dim Y = 3n - 5 $ 를 도출함으로써, $ \dim W_{ij} \leq 3n - 5 $ 를 유도하며 이는 단사성 결과를 지지한다.
• 유니터리 군 위의 확률적 방법과 하르 측도를 활용하여, 무작위 유니터리 행렬이 높은 확률로 단사 측정을 제공함을 보여준다.
• 이론적 단사성과 알고리즘적 복원을 융합하여, 반정적형 프로그래밍인 PhaseLift 가 높은 확률로 고정된 순수 상태를 $ O(1) $ 개의 유니터리 행렬을 사용하여 정확히 재구복함을 증명한다.

실험 결과

연구 질문

• RQ1 전역 위상 모듈로 $ \mathbb{C}^n $ 에서의 임의의 순수 양자 상태를 유일하게 결정하기 위해 필요한 관측 가능성의 최소 수는 무엇인가?
• RQ2 네 개의 일반적인 전 Rank 관측 가능성이 $ n \geq 6 $ 차원에서 순수 상태에 대해 정보적으로 완전성을 달성할 수 있으며, 이 수치가 날카로운가?
• RQ3 높은 차원에서 네 개 이하의 관측 가능성이 정보적으로 완전성을 달성하지 못하는 기하학적 및 대수적 장애 요소는 무엇인가?
• RQ4 상수 개의 유니터리 측정값에서 효율적이고 정확한 위상 재구복을 달성할 수 있으며, PhaseLift 알고리즘이 이러한 조건 하에서 성공할 수 있는가?
• RQ5 측정 사상 $ x \mapsto \{ |\langle x, z_i \rangle|^2 \} $ 의 구조는 $ \mathbb{C}P^{n-1} $ 이 유클리드 공간에 임베딩되는 방식과 어떻게 관련이 있는가?

주요 결과

• $ n \geq 6 $ 인 모든 $ n $ 에 대해, $ z_i $ 가 네 개의 $ n \times n $ 유니터리 행렬의 열들인 경우, 사상 $ x \mapsto \{ |\langle x, z_i \rangle|^2 \}_{i=1}^{4n} $ 는 전역 위상 모듈로 일반적으로 단사적이다.
• 이 구조는 $ \mathbb{C}P^{n-1} $ 를 $ \mathbb{R}^{4n-4} $ 에 임베딩하는 가족을 제공하며, 이는 $ 4n $ 개의 강도 측정값이 정보적으로 완전성을 달성하는 데 충분함을 확인한다.
• 결과는 날카롭다: $ n \geq 6 $ 일 때 정보적으로 완전성을 달성하기 위해 최소 네 개의 관측 가능성이 필요하며, 이는 $ \mathbb{C}P^n $ 이 유클리드 공간에 임베딩될 때 발생하는 기하학적 장애 요인 때문이다.
• 단사성에 실패하는 특이점 집합 $ W_{ij} $ 의 차원은 최대 $ 3n - 5 $ 이며, 이는 비단사 구성 요소의 집합이 최소한 차원 1 이상의 여부를 의미한다.
• 유니터리 행렬이 독립적으로 균일하게 분포되어 있을 때(하르 측도 기반), PhaseLift 알고리즘이 고정된 순수 상태를 $ O(1) $ 개의 유니터리 행렬을 사용하여 높은 확률로 정확히 재구복한다.
• 정보 이론적 한계(4개의 관측 가능성)에서 PhaseLift를 통한 효율적 복원으로의 전환은 단지 상수 배수의 과잉 샘플링 요소에 불과하며, 최적의 정보량이 효율적 복원을 가능하게 함을 보여준다.