[논문 리뷰] Construction of all general symmetric informationally complete measurements

Amir Kalev, Gilad Gour|arXiv (Cornell University)|2013. 05. 28.

Numerical methods in inverse problems참고 문헌 1인용 수 18

한 줄 요약

이 논문은 모든 일반 대칭 정보적으로 완전한 양의 연산자값 측정(일반 SIC POVM)의 완전한 가족을 구성하며, 실수 벡터 공간 $\mathbb{R}^{d^2-1}$의 모든 정규직교 기저가 고유한 일반 SIC POVM에 대응됨을 보여준다. 주요 기여는 모든 유한 차원에서 일반 SIC POVM이 존재함을 증명한 것으로, 그들의 질량을 제어하는 연속적인 매개변수 $a = \mathrm{Tr}(P_\alpha^2)$가 있으며, 이는 전체 질량($a \to 1/d^3$)에서 거의 질량 1($a \to 1/d^2$)까지 변동하며, 양자 상태에 최소한의 간섭을 주는 약한 SIC POVM을 포함한다.

ABSTRACT

We construct the set of all general (i.e. not necessarily rank 1) symmetric informationally complete (SIC) positive operator valued measures (POVMs). In particular, we show that any orthonormal basis of a real vector space of dimension d^2-1 corresponds to some general SIC POVM and vice versa. Our constructed set of all general SIC-POVMs contains weak SIC-POVMs for which each POVM element can be made arbitrarily close to a multiple times the identity. On the other hand, it remains open if for all finite dimensions our constructed family contains a rank 1 SIC-POVM.

연구 동기 및 목표

• 모든 유한 차원 $d$ 에서 일반(비질량 1) 대칭 정보적으로 완전한 POVM의 완전한 집합을 구성하는 것.
• 모든 유한 차원에서 일반 SIC POVM이 존재하는지 여부에 대한 열린 문제를 해결하는 것.
• 질량과 간섭을 결정하는 연속적인 매개변수 $a = \mathrm{Tr}(P_\alpha^2)$를 통해 SIC POVM의 전체 가족을 특성화하는 것.
• 모든 $d$ 에 대해 요소가 $\frac{1}{d^2}I$ 에 가까운 약한 SIC POVM이 존재함을 보여주는 것으로, 측정된 상태의 간섭을 최소화한다.

제안 방법

• 차원 $d^2 - 1$ 인 추적 없음 헤르미트 공간 $\mathrm{T}_d$ 의 정규직교 기저 $\{F_\alpha\}$ 에 작용하는 실수 직교 행렬 $A$ 를 사용하여 모든 일반 SIC POVM을 매개변수화하는 것.
• SIC POVM 원소를 $P_\alpha = \frac{1}{d^3}I + t \sum_{\beta=1}^{d^2-1} A_{\alpha\beta} R_\beta$ 로 구성하는 것. 여기서 $R_\beta$ 는 $\mathrm{T}_d$ 의 정규직교 기저를 이루는 추적 없음 헤르미트 연산자이다.
• 힐버트-슈미트 내적을 사용하여 대칭성을 강제한다: $\alpha \neq \beta$ 일 때 $\mathrm{Tr}(P_\alpha P_\beta) = b$ 이고, 모든 $\alpha$ 에 대해 $\mathrm{Tr}(P_\alpha^2) = a$ 이며, $a$ 와 $b$ 는 $b = \frac{1 - da}{d(d^2 - 1)}$ 로 관련되어 있다.
• 기저 $\{F_\alpha\}$ 의 수직성과 추적 조건을 통해 $P_\alpha$ 연산자들의 선형 독립성을 증명하여, 유효한 POVM을 이루도록 보장하는 것.
• 모든 $\mathbb{R}^{d^2 - 1}$ 의 정규직교 기저가 고유한 일반 SIC POVM에 대응됨을 보여, 일대일 대응을 확립하는 것.
• 매개변수 $a$ 가 $1/d^3$ (전체 질량) 에서 $1/d^2$ (거의 질량 1) 까지 연속적으로 변동함을 보이며, $a = 1/d^2$ 는 질량 1 SIC POVM이 존재할 경우에 해당한다.

실험 결과

연구 질문

• RQ1 모든 유한 차원 $d$ 에서 일반 SIC POVM의 완전한 가족이 존재하는가?
• RQ2 모든 일반 SIC POVM이 차원 $d^2 - 1$ 인 실수 벡터 공간의 정규직교 기저로 매개변수화될 수 있는가?
• RQ3 매개변수 $a = \mathrm{Tr}(P_\alpha^2)$ 는 SIC POVM의 질량과 간섭을 결정하는 데 어떤 역할을 하는가?
• RQ4 모든 $d$ 에 대해 요소가 $\frac{1}{d^2}I$ 에 가까운 약한 SIC POVM이 존재하는가, 그리고 명시적으로 구성될 수 있는가?
• RQ5 모든 차원에서 질량 1 SIC POVM이 존재하는 것과 $a = 1/d^2$ 가 구성된 가족 내에서 달성 가능한지 여부가 동치인가?

주요 결과

• 모든 차원 $d$ 의 일반 SIC POVM은 차원 $d^2 - 1$ 인 실수 벡터 공간의 정규직교 기저와 일대일 대응되며, 이는 완전한 분류를 확립한다.
• 매개변수 $a = \mathrm{Tr}(P_\alpha^2)$ 는 일반 SIC POVM의 유형을 완전히 특성화하며, $a \in (1/d^3, 1/d^2]$ 이다. 여기서 $a = 1/d^2$ 는 질량 1 SIC POVM에 해당한다.
• 모든 요소가 $\frac{1}{d^2}I$ 에 임의로 가까운 약한 SIC POVM은 모든 $d$ 에 대해 존재하며, 측정된 상태에 대한 간섭을 최소화한다.
• 구성 과정을 통해 모든 유한 차원에서 일반 SIC POVM이 존재함을 증명하여, 그 존재성에 대한 열린 문제를 해결한다.
• 일반 SIC POVM의 가족은 $a$ 에 대해 연속적이므로, 어떤 $a_0 > 1/d^3$ 이나 달성 가능하면, $a \in (1/d^3, a_0]$ 의 모든 $a$ 도 달성 가능하다.
• 최대 값 $a_{\max} = 1/d^2$ 는 차원 $d$ 에서 질량 1 SIC POVM이 존재할 경우에만 달성 가능하며, 이는 아직 열린 문제이다.