[논문 리뷰] A logical description for perfect measurements

Bob Coecke, Sonja Smets|ArXiv.org|2000. 08. 03.

Quantum Mechanics and Applications참고 문헌 3인용 수 3

한 줄 요약

이 논문은 운영 양자논리와 비가환 선형논리의 조각을 사용하여 완벽한 양자 측정을 위한 논리적 프레임워크를 제안한다. 완벽한 측정 중 성질의 전이를 맥락 유도 전환으로 모델링하고, 사사키 사영을 통한 실제 성질의 진화를 형식화하며, 이러한 측정의 확률적 결과 분포를 포괄하는 증명 가능한 논리적 순서를 도출한다.

ABSTRACT

We reconsider the description for property transitions due to perfect measurements, viewing them as a special case of general transitions that are due to an externally imposed change. We propose a corresponding syntax involving operational quantum logic and a fragment of non-commutative linear logic.

연구 동기 및 목표

• 완벽한 측정을 맥락 유도 성질 전이의 특수한 경우로 논리적으로 기술하는 것.
• 폐쇄 수직 사영을 초월한 일반화된 사상의 클래스를 사용하여 완벽한 측정 중 성질의 전파를 형식화하는 것.
• 운영 양자논리를 비가환 선형논리와 통합하여 양자 시스템의 비결정적 전이를 모델링하는 것.
• 입력, 측정 맥락, 도달 가능한 성질을 바탕으로 완벽한 측정의 결과 구조를 포괄하는 증명 가능한 논리적 순서를 수립하는 것.
• 정수모듈라 격자에서 유도된 양조구조를 갖는 맵의 가족을 통해 일반화된 성질 전이를 위한 형식론을 일반화하는 것.

제안 방법

• 완벽한 측정 중 성질 전파를 모델링하기 위해 $\mathcal{P}^\#(\mathcal{L})$로 정의된 새로운 사상의 클래스를 도입한다. 이는 $\varphi_{\{a,a^\perp\}}(B) = \{\varphi_a(b) \mid b \in B, b \not\leq a^\perp\} \cup \{\varphi_{a^\perp}(b) \mid b \in B, b \not\leq a\}$ 로 정의된다.
• 비가환 선형논리 연결자 ($\otimes$, $\oplus$, $\hbox{$\small\,--\circ\,$}$)와 원자 술어 $In(x)$ (성질 $x$가 실제임) 및 $R(x)$ (성질 $x$가 도달 가능함)를 조합한 논리 언어를 사용한다.
• 측정 맥락을 $M(b,b^\perp)$로 정의하여 성질 $b$와 그 수직보완 $b^\perp$를 구별할 수 있는 능력을 나타낸다.
• 측정에 따른 상태와 도달 가능성의 갱신을 모델링하기 위해 논리 공리 $\underline{Adjust1}$, $\underline{Adjust2}$, 및 $\underline{Trans}$ 를 적용한다.
• 연결자 $\otimes$ 가 $\oplus$ 에 대해 분배법칙을 만족하고 모드 편형을 적용하여 핵심 순서를 유도한다: $M(b,b^\perp) \otimes [In(a) \otimes R(a)] \vdash [In(\varphi_b(a)) \otimes R(\varphi_b(a))] \oplus [In(\varphi_{b^\perp}(a)) \otimes R(\varphi_{b^\perp}(a))]$.
• 측정 맥락에 대한 일반화된 전이를 위해 $IND_r(\alpha) \otimes In_r(x) \hbox{$\ --\circ\ $} \oplus_{z \in \alpha(\{x\})} In_r(z)$ 를 사용한다. 여기서 $\alpha$ 는 $\mathcal{Q}^\#(\mathcal{L})$ 에 속하는 맵이다.

실험 결과

연구 질문

• RQ1 완벽한 측정은 양자 시스템에서 맥락 유도 성질 전이의 특수한 경우로 어떻게 공식화될 수 있는가?
• RQ2 성질의 비결정적 진화를 가장 잘 포괄하는 논리적 구조는 무엇인가?
• RQ3 비가환 선형논리는 물리적 실체와 측정 맥락 간의 상호작용을 어떻게 모델링할 수 있는가?
• RQ4 측정 이전의 성질의 실제성과 측정 이후의 가능한 결과 간의 형식적 관계는 무엇인가?
• RQ5 이 프레임워크는 완벽한 측정을 초월한 일반적인 성질 전이를 기술하기 위해 일반화될 수 있는가?

주요 결과

• 논문은 완벽한 측정의 결과 분포를 모델링하는 증명 가능한 논리적 순서를 성공적으로 도출하였다: $M(b,b^\perp) \otimes [In(a) \otimes R(a)] \vdash [In(\varphi_b(a)) \otimes R(\varphi_b(a))] \oplus [In(\varphi_{b^\perp}(a)) \otimes R(\varphi_{b^\perp}(a))]$.
• 형식론은 상태에 있는 성질 $a$ 가 맥락 $M(b,b^\perp)$ 에서 측정 후 $\varphi_b(a)$ 또는 $\varphi_{b^\perp}(a)$ 가 되며, 둘 다 물리적으로 도달 가능하다는 사실을 반영한다.
• 연속 측정에 대한 일반화를 통해 $M(c,c^\perp) \otimes [M(b,b^\perp) \otimes (In(a) \otimes R(a))] \vdash \bigoplus_{z \in \varphi_{\{c,c^\perp\}}(\varphi_{\{b,b^\perp\}}(\{a\}))} In(z) \otimes R(z)$ 를 도출하여 조합 가능성의 가능성을 보여준다.
• 논리 공리 $\underline{Adjust1}$, $\underline{Adjust2}$, 및 $\underline{Trans}$ 는 측정 결과 순서를 도출하는 데 충분하며, 형식 모델의 타당성을 검증한다.
• 일반화된 전파 공리 $IND_r(\alpha) \otimes In_r(x) \hbox{$\ --\circ\ $} \oplus_{z \in \alpha(\{x\})} In_r(z)$ 는 $\mathcal{Q}^\#(\mathcal{L})$ 내의 모든 전이를 위한 통합된 논리적 기술을 제공한다.
• 프레임워크는 순차적 측정의 맥락에서 곱연결자 $\otimes$ 의 비결합성을 존중하며, 결합성의 명시적 제한이 필요하다.