[논문 리뷰] Quantum Instruments and Conditioned Observables

Stan Gudder|arXiv (Cornell University)|2020. 05. 16.

Quantum Mechanics and Applications참고 문헌 11인용 수 5

한 줄 요약

이 논문은 효과의 순차적 곱을 기반으로 하여 양자 관측가에 대한 연합 확률의 새로운 정의를 제안하며, 표준 정의보다 더 우월하다고 주장한다. 이는 첫 번째 측정 결과에 대한 정당화되지 않은 가환성 가정을 피하기 때문이다. 이 정의는 양자 계측기, 조건부 관측가, 측정 모델을 통합하며, 유한 차원 양자 시스템에서 순차적 측정의 일관성을 보장하는 데 L"uders 계측기가 표준 프레임워크가 된다는 것을 보여준다. 주요 결과로는 비가환성과 연합 확률 분포의 호환성 조건에 대한 분석이 포함되어 있다.

ABSTRACT

Observables and instruments have played significant roles in recent studies on the foundations of quantum mechanics. Sequential products of effects and conditioned observables have also been introduced. After an introduction in Section~1, we review these concepts in Section~2. Moreover, it is shown how these ideas can be unified within the framework of measurement models. In Section~3, we illustrate these concepts and their relationships for the simple example of a qubit Hilbert space. Conditioned observables and their distributions are studied in Section~4. Section~5 considers joint probabilities of observables. We introduce a definition for joint probabilities and discuss why we consider this to be superior to the standard definition.

연구 동기 및 목표

• 표준 정의가 첫 번째 측정 결과에 대해 정당화되지 않은 가환성 가정을 포함하고 있기 때문에, 양자 관측가에 대한 연합 확률의 표준 정의에서 발생하는 일관성 문제를 해결하기 위해.
• 유한 차원 힐베르트 공간에서 양자 계측기, 조건부 관측가, 측정 모델을 하나의 프레임워크 안에 통합하기 위해.
• 호환 가능한 관측가에 대해 L"uders 계측기를 표준 계측기로 설정하여 순차적 측정에서의 일관성을 보장하기 위해.
• 표준 연합 확률 정의가 양자 간섭 현상을 고려하지 못함을 보여주며, 특히 비가환 측정에서 그러한 현상이 발생함을 입증하기 위해.
• 가환성 가정을 피하고 양자 행동을 더 잘 반영하는 바탕으로, 순차적 곱 $\mathrm{tr}(\rho A_X \circ B_Y)$를 기반으로 한 새로운 연합 확률 정의를 제안하고 그 타당성을 입증하기 위해.

제안 방법

• 측정 $a$ 이후 $b$를 측정하는 것으로 해석하는 조건부 효과 및 관측가를 정의하기 위해 순차적 곱 $a \circ b = a^{1/2} b a^{1/2}$를 사용한다.
• 비영인 결과에 대해 조건부 확률 $\widehat{\mathcal{P}}_\rho[(b|a)] = \mathcal{P}_\rho(a \circ b)/\mathcal{P}_\rho(a)$를 정의한다.
• 관측가 $A$에 대해 호환성과 일관성을 보장하기 위해 L"uders 계측기 $\mathcal{L}^A_X(\rho) = \sum_{x \in X} A_x^{1/2} \rho A_x^{1/2}$를 표준 계측기로 적용한다.
• 새로운 연합 확률 정의를 도입: $\mathcal{P}_\rho(A_X \text{ then } B_Y) = \mathrm{tr}(\rho A_X \circ B_Y)$, 이는 첫 번째 변수에 대해 비가환성을 띤다.
• 가환성 조건을 $c$에 대해 정의: $(a,b\colon c)$, 여기서 $(a+b)\circ c = a\circ c + b\circ c$, 그리고 호환성이 이 조건을 만족함을 증명한다.
• $\mathbb{C}^3$에서의 예시를 통해 호환되지 않는 효과들이라도 여전히 가환성을 띌 수 있음을 보여주며, 이는 가환성이 호환성보다 더 약한 조건임을 입증한다.

실험 결과

연구 질문

• RQ1 왜 양자역학에서 표준 연합 확률 정의가 문제를 일으키는가? 특히 첫 번째 측정 결과에 대한 가환성 가정이 정당화되지 않은 이유는 무엇인가?
• RQ2 순차적 양자 측정을 위한 일관되고 물리적으로 의미 있는 연합 확률 정의는 어떻게 구성할 수 있는가?
• RQ3 한 관측가를 다른 관측가보다 먼저 측정할 때 L"uders 계측기가 일관성을 보장하는 데 어떤 역할을 하는가?
• RQ4 순차적 곱 $A_X \circ B_Y$가 첫 번째 관측가 결과 집합에 대해 가환성을 띠는 조건은 무엇인가?
• RQ5 물리적 일관성과 수학적 구조 측면에서, 새로운 연합 확률 정의 $\mathrm{tr}(\rho A_X \circ B_Y)$는 표준 정의와 어떻게 비교될 수 있는가?

주요 결과

• 표준 연합 확률 정의 $\mathcal{P}_\rho(A_X \text{ then } B_Y) = \mathrm{tr}(\mathcal{I}_Y^B(\mathcal{I}_X^A(\rho)))$는 첫 번째 측정 결과에 대한 정당화되지 않은 가환성 가정으로 인해 일관성이 없다는 것이 입증되었다.
• 제안된 정의 $\mathcal{P}_\rho(A_X \text{ then } B_Y) = \mathrm{tr}(\rho A_X \circ B_Y)$는 가환성을 피하고, 특히 관측가가 비가환일 경우 양자 간섭 현상을 더 잘 반영한다.
• L"uders 계측기는 호환 가능한 $A$-관측가에 대해 표준 계측기로 확립되었으며, 다른 모든 $A$-호환 계측기는 채널과의 복합으로 표현될 수 있다.
• 조건 $(a,b\colon c)$는 $(a+b)\circ c = a\circ c + b\circ c$를 의미하며, 이는 가환성에 대한 더 약한 형태의 호환성 조건이며 순차적 측정에서의 가환성에 필수적이다.
• $\mathbb{C}^3$에서의 반례를 통해 호환되지 않는 효과($a$와 $c$)가 여전히 $c$에 대해 가환성을 띌 수 있음을 보여주며, 이는 가환성이 호환성을 의미하지는 않음을 입증한다.
• 서로 수직인 날카로운 효과 $a$와 $b$에 대해, $a \perp b$일 때 $acb = 0$이면 가환성 조건 $(a,b\colon c)$이 성립함을 보여주며, 이는 연합 확률에서의 비가환성에 대한 구체적인 기준을 제공한다.