[논문 리뷰] Joint measurability through Naimark's theorem

Roberto Beneduci|arXiv (Cornell University)|2014. 04. 05.

Advanced Operator Algebra Research참고 문헌 26인용 수 3

한 줄 요약

이 논문은 Naimark의 확장 정리( dilation theorem)를 사용하여, 자기수반 연산자의 스무딩(smearing)으로 표현되는 두 개의 양의 연산자값 측정(POVMs)의 동시 측정 가능성을 특성화한다. 이는 이러한 POVMs가 동시에 측정 가능할 조건이 원래의 연산자가 확장된 힐베르트 공간에서 가환하는 자기수반 확장을 갖는 것과 동치임을 증명하며, 비정확한 위치 및 운동량 관측가능량을 핵심 예시로 포함하는 일반적인 프레임워크를 제공한다.

ABSTRACT

We use Naimark's dilation theorem in order to characterize the joint measurability of two POVMs. Then, we analyze the joint measurability of two commutative POVMs $F_1$ and $F_2$ which are the smearing of two self-adjoint operators $A_1$ and $A_2$ respectively. We prove that the compatibility of $F_1$ and $F_2$ is connected to the existence of two compatible self-adjoint dilations $A_1^+$ and $A_2^+$ of $A_1$ and $A_2$ respectively. As a corollary we prove that each couple of self-adjoint operators can be dilated to a couple of compatible self-adjoint operators. Next, we analyze the joint measurability of the unsharp position and momentum observables and show that it provides a master example of the scheme we propose. Finally, we give a sufficient condition for the compatibility of two effects.

연구 동기 및 목표

• 자기수반 연산자의 스무딩으로 표현되는 두 개의 POVM의 동시 측정 가능성을 위한 일반 기준을 수립하는 것.
• 확장된 힐베르트 공간에서 호환 가능한 확장을 통해 양자 측정의 운영적 프레임워크를 확장하는 것.
• 모든 자기수반 연산자 쌍이 확장된 공간에서 호환 가능한 자기수반 연산자 쌍으로 확장될 수 있음을 보여주는 것.
• 비정확한 위치 및 운동량 관측가능량을 사용한 주요 예시를 제시하여, 이들의 동시 측정 가능성이 제안된 체계에 어떻게 들어가는지 보여주는 것.
• Naimark 확장을 통해 두 양자 효과의 호환성을 보장하는 충분조건을 도출하는 것.

제안 방법

• POVMs를 확장된 힐베르트 공간 위의 프로젝션으로 표현하기 위해 Naimark의 확장 정리를 적용한다.
• Feller 마르코프 커널을 사용하여 가환성의 POVMs를 자기수반 연산자의 스무딩으로 특성화한다.
• 두 POVM의 동시 측정 가능성과 그에 상응하는 Naimark 확장의 동시 측정 가능성 사이의 동치성을 수립한다.
• 호환성 분석을 위해 효과들(이중 힐베르트 공간 위의 프로젝션)에 대한 특정한 확장 구조를 도입한다.
• 확장된 공간에서의 연산자 행렬 표현을 활용하여 확장된 프로젝션 간의 가환성 조건을 유도한다.
• 블록 행렬의 구조를 이용하여 두 효과가 서로 호환될 조건이 그들의 Naimark 확장이 가환하는 프로젝션임을 증명한다.

실험 결과

연구 질문

• RQ1 자기수반 연산자의 스무딩으로 표현되는 두 개의 POVM이 언제 동시에 측정 가능한가?
• RQ2 모든 자기수반 연산자 쌍이 확장된 힐베르트 공간에서 호환 가능한 자기수반 연산자 쌍으로 확장될 수 있는가?
• RQ3 비정확한 위치 및 운동량 관측가능량의 동시 측정 가능성은 Naimark 확장의 일반적 프레임워크에 어떻게 들어가는가?
• RQ4 두 양자 효과의 호환성을 보장하는 충분조건은 무엇인가? 이는 Naimark 확장을 통해 유도된다.
• RQ5 Naimark의 정리를 기반으로 한 동시 측정 가능성 기준은 두 개의 POVM을 초월하여 어떻게 일반화될 수 있는가?

주요 결과

• 자기수반 연산자의 스무딩으로 표현되는 두 개의 POVM은 원래의 연산자가 확장된 힐베르트 공간에서 가환하는 자기수반 확장을 갖는 것과 동치로 동시에 측정 가능하다.
• 모든 자기수반 연산자 쌍은 더 큰 힐베르트 공간에서 호환 가능한 자기수반 연산자 쌍으로 확장될 수 있으며, 이는 일반적인 존재성 결과를 보여준다.
• 비정확한 위치 및 운동량 관측가능량은 정확한 위치 및 운동량 연산자의 가환 확장 존재성에 기반하여 동시 측정 가능성이 발생하는 주요 예시로 기능한다.
• 두 효과는 그들의 이중 힐베르트 공간에서의 Naimark 확장이 가환하는 프로젝션일 조건에만 호환 가능하다.
• 효과의 호환성을 보장하는 충분조건은 다음의 연산자 방정식을 만족할 때이다: $[A_1, A_2] + [B_1, B_2] = 0$ 이며 $\{A_1, B_2\} - \{B_1, A_2\} = B_2 - B_1$, 여기서 $B_i = \sqrt{A_i(\mathbf{1} - A_i)}$이다.
• 두 개 이상의 POVM의 동시 측정 가능성은 동일한 방식으로 Naimark의 정리를 통해 특성화할 수 없으며, 이는 이 방법이 쌍에 한해 적용 가능하다는 한계를 드러낸다.