[논문 리뷰] Fantastic Quantum Theories and Where to Find Them

Stefano Gogioso|arXiv (Cornell University)|2017. 03. 30.

Topological and Geometric Data Analysis참고 문헌 14인용 수 8

한 줄 요약

이 논문은 가환적 인벌로퓨션(semiring)을 값으로 가지는 웨이브함수를 사용하여 이국적인 양자 이론을 구성하고 분석하기 위한 통일된 범주론적 프레임워크를 제안한다. 이 이론들은 보른 규칙을 통해 반정적(semiring-based) 고전적 비결정성으로 이어지며, 실수, 쌍곡선, p진수, 유한체 양자이론 등 주요 토이 모델들이 모두 이 형식론에 통합됨을 보여주어, 이들의 연역성과 계산 복잡도를 통합적으로 연구할 수 있게 한다.

ABSTRACT

We present a uniform framework for the treatment of a large class of toy models of quantum theory. Specifically, we will be interested in theories of wavefunctions valued in commutative involutive semirings, and which give rise to some semiring-based notion of classical non-determinism via the Born rule. The models obtained with our construction possess many of the familiar structures used in Categorical Quantum Mechanics. We also provide a bestiary of increasingly exotic examples: some well known, such as real quantum theory and relational quantum theory; some less known, such as hyperbolic quantum theory, p-adic quantum theory and "parity quantum theory"; and some entirely new, such as "finite-field quantum theory" and "tropical quantum theory". As a further bonus, the measurement scenarios arising within these theories can be studied using the sheaf-theoretic framework for non-locality and contextuality. Their computational complexity can similarly be studied within existing frameworks for affine and unitary circuits over commutative semirings.

연구 동기 및 목표

• 가환적 인벌로퓨션을 바탕으로 한 토이 양자이론의 일반적이고 범주론적인 프레임워크를 개발하기 위해.
• 실수, 쌍곡선, p진수, 유한체 양자이론 등 다양한 양자 유사 이론들을 하나의 형식론으로 통합하기 위해.
• 반정적 보른 규칙을 통해 고전적 비결정성을 일관되게 다루어 확률론적 및 가능성론적 개념을 일반화하기 위해.
• 이론들에서 연역성과 계산 능력을 분석하기 위해 층 이론적 프레임워크와 기존의 회로 복잡도 모델을 적용할 수 있도록 하기 위해.

제안 방법

• 유한 집합 $ X $ 에 대해 $ S^X $ 를 객체로 하고, 가환적 인벌로퓨션 $ S $ 에 대한 $ Y \times X $ 행렬을 사상으로 가지는 범주 $ S\text{-Mat} $ 를 사용하여 양자 시스템을 모델링한다. 여기서 행렬의 복합과 켤레 전치가 델타로 작용한다.
• S\text{-Mat} 에서 $ \mathrm{CP}^* $-구성법을 통해 혼합 상태 이론을 구성한다. 이는 $ S $ 의 양의 원소로 이루어진 반정적 $ R $ 에 대한 $ R $-확률 이론을 유도하며, 보른 규칙을 일반화한다.
• 범주적 확률 이론 이론을 사용하여 일반적인 비결정성 의미론(부호가 있는 확률, 가능성론적 또는 p진수 비결정성 포함)을 갖는 양자 및 고전적 시스템을 함께 다룬다.
• 이론들로부터 유도된 측정 시나리오에서 연역성과 비국소성을 분석하기 위해 층 이론적 방법을 적용한다.
• 가환 반정적에 대한 애핀 및 유니터리 회로의 기존 복잡도 프레임워크를 활용하여 계산 능력을 평가한다.
• 유한체 $ \mathbb{F}_{p^n}(\sqrt{\epsilon}) $ 에 대해, 유도된 이론에서 순수 스칼라의 수는 $ p^n - 1 $ 이며, 위상은 순환군 $ \mathbb{Z}_{p^n+1} $ 을 이룬다. 이는 숨겨진 부분군 문제와 메르민 유형의 연역성 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 비표준적인 고전적 인터페이스를 가진 다양한 이국적 양자이론을 통일된 범주론적 프레임워크로 묘사할 수 있는가?
• RQ2 반정적 값을 가지는 진폭에 대해 보른 규칙이 어떻게 일반화되어 일관된 고전적 비결정성 개념을 도출하는가?
• RQ3 유한체, p진수, 트로픽 반정적에 대한 양자이론의 구조적 및 계산적 성질은 무엇인가?
• RQ4 이론들에서 연역성과 비국소성은 층 이론적 방법을 통해 체계적으로 분석될 수 있는가?
• RQ5 이론들이 숨겨진 부분군 문제와 같은 문제를 효율적으로 해결할 수 있는 조건은 무엇인가?

주요 결과

• 범주 $ S\text{-Mat} $ 는 $ \mathbb{C}\text{-Mat} $ 를 일반화하며, 크로네커 곱을 텐서 곱으로, 켤레 전치를 델타로 가지는 델타 컴acts 범주를 이룬다.
• S = \mathbb{F}_{p^n}(\sqrt{\epsilon}) 일 때, $ \mathrm{CP}^* [S\text{-Mat}] $ 에서 비영인 순수 스칼라의 수는 정확히 $ p^n - 1 $ 이며, 위상은 순환군 $ \mathbb{Z}_{p^n+1} $ 을 이룬다.
• $ \mathrm{CP}^* [S\text{-Mat}] $ 는 임의의 가환적 인벌로퓨션 $ S $ 에 대해 $ R $-확률 이론이며, $ R $ 은 $ S $ 의 양의 원소로 이루어진다. 이는 일관된 양자-고전적 인터페이스를 보장한다.
• 트로픽 양자이론에서 항등 인벌로퓨션을 가질 경우, 양의 원소(제곱)는 덧셈에 대해 닫혀 있으며, '신입생의 꿈' 항등식 $ (x+y)^2 = x^2 + y^2 $ 에 의해 반정적 부분을 이룬다.
• $ \mathbb{F}_{p^n}(\sqrt{\epsilon}) $ 에 대해, 숨겨진 부분군 문제가 효율적으로 해결 가능할 조건은 $ p^n + 1 $ 이 부분군의 순서로 나누어떨어질 때이며, 이는 충분한 유니터리 특성의 존재 때문이 다.
• 만약 $ p^n + 1 $ 이 제곱 자유이며 서로 다른 소수의 곱이라면, 위상 게이트의 군이 충분한 특성을 갖는 순환군의 곱으로 분해되므로, 비자명한 일반화된 메르민 유형의 연역성 증거는 존재하지 않는다.