[논문 리뷰] Simultaneous Estimation of Dimension, States and Measurements: Rigidity Considerations

Cyril Stark|arXiv (Cornell University)|2012. 09. 28.

Quantum Information and Cryptography인용 수 2

한 줄 요약

이 논문은 주어진 내적 제약 조건들로부터 R^D 내의 벡터들의 전역 완성 가능성에 대한 必要하고 충분한 조건을 제시하며, 유일성(회전에 대해 유일함)이 구체적인 내적 값이 아니라 제약 조건 집합 Ω의 구조에만 의존함을 보여준다. 이 결과는 거의 모든 구성에 대해 일반화 가능하며, 양자 톰그래피와 같은 실용적 문제에 널리 적용된다.

ABSTRACT

Let p_1, ..., p_N \in R^D be unknown vectors and let Omega \subseteq {1,...,N}^{ imes 2}. Assume that the inner products p_i^T p_j are fixed for all (i,j) \in Omega. Do these inner product constraints (up to simultaneous rotation of all vectors) determine p_1, ..., p_N uniquely? Here we derive a necessary and sufficient condition for the uniqueness of p_1, ...,p_N (i.e., global completability) which is applicable to a large class of practically relevant sets Omega. Moreover, given Omega, we show that the condition for global completability is universal in the sense that for almost all vectors p_1, ...,p_N \in R^D the completability of p_1, ...,p_N only depends on Omega and not on the specific values of p_i^T p_j$ for (i,j) \in Omega. This work was motivated by practical considerations, namely, self-consistent quantum tomography.

연구 동기 및 목표

• R^D 내의 일련의 벡터들이 전역 회전에 대해 유일하게 재구성될 수 있는 조건을 규명하는 것.
• 특정 내적 값에 의존하지 않고 제약 조건 집합 Ω의 구조에만 의존하는 전역 완성 가능성 조건을 설정하는 것.
• 자기 일관성 있는 양자 톰그래피와 같은 실용적 문제에 적용 가능한 이론적 기반을 제공하는 것.
• 부분 내적 제약 조건 하에서의 벡터 구성의 강성( rigidity )을 특성화하는 것.

제안 방법

• 주어진 제약 조건 집합 Ω ⊆ {1,...,N}^2 가 주어졌을 때, R^D 내의 벡터 p_1, ..., p_N 가 동시에 회전에 대해 유일하게 결정되는지 여부를 수학적으로 정의하는 문제로 공식화하는 것.
• 각 벡터를 정점으로, 각 제약 조건 (i,j) ∈ Ω 를 고정된 내적을 가진 간선으로 나타내는 그래프 이론적 표현을 도입하는 것.
• 벡터의 그램 행렬에 대수적 및 기하학적 강성 원리를 적용하여 전역 완성 가능성에 대한 필요하고 충분한 조건을 유도하는 것.
• 완성 가능성 성질이 보편적임을 보이며, 거의 모든 구성에 대해 특정 내적 값 p_i^T p_j 와는 무관하게 동일한 Ω 가 완성 가능성 여부를 결정함을 보이는 것.
• 벡터 구성이 회전에 대해 유일하게 결정되는지를 기준으로 보편 강성(universal rigidity) 개념을 활용하는 것.
• 내적 측정치는 알 수 있지만 전체 상태가 알려져 있지 않은 실세계 설정, 예를 들어 양자 톰그래피에 이 틀을 적용하는 것.

실험 결과

연구 질문

• RQ1 Ω 에 대한 어떤 조건이 내적 값들로부터 p_1, ..., p_N 가 회전에 대해 유일하게 결정되는가?
• RQ2 벡터들의 전역 완성 가능성은 특정 내적 값에 의존하는가, 아니면 오직 Ω 의 구조에만 의존하는가?
• RQ3 幾乎 모든 R^D 내의 벡터 구성에 적용 가능한 보편적 완성 가능성 조건을 도출할 수 있는가?
• RQ4 벡터 구성의 강성은 제약 조건 집합 Ω 의 희소성과 구조와 어떻게 관련되는가?
• RQ5 차원 D 는 내적 제약 조건이 유일한 재구성 가능성을 허용하는지 여부를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 완성 가능성에 대한 필요하고 충분한 조건이 도출되었으며, 이는 특정 내적 값이 아니라 Ω 의 구조에만 의존한다.
• 이 조건은 보편적이다: R^D 내 거의 모든 구성에 대해, 완성 가능성은 오직 Ω 에 의해 결정된다.
• 이 틀은 양자 톰그래피에서 발생하는 바와 같이 실용적으로 중요한 Ω 의 광범위한 집합에 적용 가능하다.
• 결과적으로, 벡터 구성의 강성은 내적의 크기 값이 아니라 제약 조건의 패턴에 완전히 암호화되어 있음을 보여준다.
• 이 방법은 부분 내적 데이터로부터의 유일한 재구성 보장을 통해 자기 일관성 있는 양자 톰그래피에서 차원, 상태, 측정값을 동시에 추정할 수 있게 한다.