[논문 리뷰] Quantum mechanics over sets

David Ellerman|PhilSci-Archive (University of Pittsburgh)|2013. 10. 30.

Quantum Mechanics and Applications참고 문헌 16인용 수 8

한 줄 요약

이 논문은 유한체 𝕫₂ 위의 벡터 공간을 사용하는 양자역학의 단순화된 모델인 집합 위의 양자역학(QM/sets)을 소개한다. 여기서 벡터는 집합에 대응된다. 디랙 꺾임 기호를 집합의 교집합으로 재해석하고, 집합에서 벡터공간으로의 이중성에 의해 양자 개념을 올림으로써, QM/sets는 이전의 모odal 양자 이론과 달리 완전한 확률 계산 체계를 제공한다. 이는 간섭, 얽힘, 벨의 정리, 양자 계산 등에 대한 논리적 접근을 가능하게 하며, 집합론적 프레임워크 안에서 양자역학의 '논리'를 드러낸다.

ABSTRACT

In the tradition of toy models of quantum mechanics in vector spaces over finite fields (e.g., Schumacher and Westmoreland's "modal quantum theory"), one finite field stands out, 2, since vectors over 2 have an interpretation as natural mathematical objects, i.e., sets. This engages a sets-to-vector-spaces bridge that is part of the mathematical folklore to translate both ways between set concepts and vector space concepts. Using that bridge, the mathematical framework of (finite-dimensional) quantum mechanics can be transported down to sets resulting in quantum mechanics over sets or QM/sets. This approach leads to a different treatment of Dirac's brackets than in "modal quantum theory" (MQT), and that gives a full probability calculus (unlike MQT that only has zero-one modalities of impossible and possible). That, in turn, leads to a rather fulsome theory of QM over sets that includes "logical" models of the double-slit experiment, Bell's Theorem, quantum information theory, quantum computing, and much else. Indeed, QM/sets is proposed as the "logic" of QM in the old-fashioned sense of "logic" as giving the simplified essentials of a theory. QM/sets is also a key part of a broader research program to provide an interpretation of QM based on the notion of "objective indefiniteness," a program that grew out the recent development of the logic of partitions mathematically dual to the usual Boolean logic of subsets.

연구 동기 및 목표

• 유한체를 사용하는 집합과 벡터공간을 통해 양자역학의 단순화되고 논리적으로 투명한 모델을 개발하기.
• 이전의 모달 양자 이론(MQT)이 0/1의 바이너리 괄호로 인해 확률 계산 체계가 없기 때문에 그 한계를 극복하기.
• 집합 개념에서 𝕫₂ 위의 벡터공간으로의 이중성에 의해 집합 개념과 양자 수학적 형식을 연결하기.
• 간섭, 얽힘, 벨 유형의 비국소성과 같은 핵심 양자 현상들이 유한체 기반의 집합론적 구조만으로도 모델링될 수 있음을 보여주기.
• 집합론적 분할 논리의 기반을 통해 '객관적 불확정성'의 관점에서 양자역학을 해석하는 더 넓은 연구 계획을 뒷받침하기.

제안 방법

• 우리의 전체 집합의 부분집합과 𝕫₂ⁿ 내의 벡터 사이의 표준 동형사상에 의해, 집합 개념(예: 분할, 부분집합)을 𝕫₂ 위의 벡터공간으로 올리기.
• 디랙 괄호 ⟨S|T⟩를 |S ∩ T|로 정의하여 보른 규칙을 통해 확률 계산 체계를 가능하게 하기.
• 집합론적 연산과 𝕫₂ 위의 선형대수학을 사용하여 노름, 스펙트럼 분해, 측정과 같은 양자 개념을 재구성하기.
• 측정을 분할의 합 연산으로 모델링하여, 초입자 상태의 중첩이 확정 상태의 기저로 투영됨을 설명하기.
• 논리적 엔트로피와 집합 위의 밀도 행렬을 사용하여 양자 정보 개념, 특히 위상과 얽힘을 해석하기.
• 비특이 게이트를 사용하여 QC/2(𝕫₂ 위의 양자계산)에서 양자 알고리즘을 개발하고, 복잡한 진폭 없이도 초월적 속도 향상을 보여주기.

실험 결과

연구 질문

• RQ1 유한체, 특히 𝕫₂에서 양자 유사 이론에 대해 완전한 확률 계산 체계를 구축할 수 있는가? 이는 이전의 모델들인 MQT가 0/1의 모달 논리만 제공하기 때문이다.
• RQ2 부분집합 논리와 분할 논리 사이의 수학적 이중성은 초입자 상태와 측정과 같은 양자 현상을 어떻게 모델링할 수 있는가?
• RQ3 벨의 정리나 이중슬릿 실험과 같은 기초 양자 결과들이 파동함수나 복소 진폭 없이도 집합론적 프레임워크 안에서 재구성될 수 있는가?
• RQ4 양자 정보 프로토콜, 예를 들어 양자 전송과 양자 알고리즘 등이 유한체 기반의 이진 논리와 집합 연산만으로 얼마나 잘 실현될 수 있는가?
• RQ5 양자역학에서의 '객관적 불확정성' 개념이 분할 논리와 QM/sets에서의 집합론적 실현에 자연스럽게 기반을 두는가?

주요 결과

• QM/sets는 집합의 교집합 |S ∩ T|로 괄호를 정의함으로써 완전한 확률 계산 체계를 제공하며, 보른 규칙과 유한 집합 위의 논리적 확률 이론을 가능하게 한다.
• 이 모델은 집합론적 맥락에서 벨의 정리를 성공적으로 재현하여, 양자 상관관계가 지역적 은닉 변수로는 설명될 수 없음을 보여준다. 이는 유한하고 이진적인 프레임워크에서도 성립한다.
• 이중슬릿 실험에서의 간섭 현상은 집합의 중첩을 사용하여 모델링되며, 탐지 확률은 진폭이 아닌 집합의 겹침에 따라 결정된다.
• QM/sets에서의 얽힘은 독립적이지 않은 곱집합 위의 상관관계 있는 공동 분포에서 기인하며, 양자 비국소성과 유사하다.
• QC/2에서 한 비트 전송 프로토콜이 실현되어, 양자 전송이 복소 진폭 없이도 이진 환경에서 단 한 개의 고전적 비트로 달성될 수 있음을 보여주며, 기존의 전통적 양자역학에서 알려진 결과를 예고한다.
• Parity SAT 문제는 복소 진폭 없이도 단일 큐비트 게이트 알고리즘을 사용하여 QC/2에서 해결되었으며, 이는 고전적 방법에 비해 지수적 속도 향상을 달성함으로써, 양자 우월성이 복소 진폭을 필요로 하지 않는다는 것을 증명한다.