[논문 리뷰] The algebra of entanglement and the geometry of composition

Amar Hadzihasanovic|arXiv (Cornell University)|2017. 09. 23.

Quantum Mechanics and Applications참고 문헌 137인용 수 41

한 줄 요약

이 학위논문은 정규 다각형도(regular polygraphs)—비퇴화된 세포 경계를 가진 고차원 범주—기반의 조합적 보편 대수학을 제안한다. 여기서 실선도형 슬라이딩 이동은 부분이론의 텐서곱에서 유래한다. 이는 다이어그램 대수학의 기하학적 기반을 확립하고, 글로부라 포스에 기반한 협동성(coherence)을 증명하며, 이 틀을 활용해 큐비트 얽힘을 완전하고 물리적으로 의미 있는 다이어그램적 공리계인 ZW 계산법을 구축한다.

ABSTRACT

String diagrams turn algebraic equations into topological moves that have recurring shapes, involving the sliding of one diagram past another. We individuate, at the root of this fact, the dual nature of polygraphs as presentations of higher algebraic theories, and as combinatorial descriptions of "directed spaces". Operations of polygraphs modelled on operations of topological spaces are used as the foundation of a compositional universal algebra, where sliding moves arise from tensor products of polygraphs. We reconstruct several higher algebraic theories in this framework. In this regard, the standard formalism of polygraphs has some technical problems. We propose a notion of regular polygraph, barring cell boundaries that are not homeomorphic to a disk of the appropriate dimension. We define a category of non-degenerate shapes, and show how to calculate their tensor products. Then, we introduce a notion of weak unit to recover weakly degenerate boundaries in low dimensions, and prove that the existence of weak units is equivalent to a representability property. We then turn to applications of diagrammatic algebra to quantum theory. We re-evaluate the category of Hilbert spaces from the perspective of categorical universal algebra, which leads to a bicategorical refinement. Then, we focus on the axiomatics of fragments of quantum theory, and present the ZW calculus, the first complete diagrammatic axiomatisation of the theory of qubits. The ZW calculus has several advantages over ZX calculi, including a computationally meaningful normal form, and a fragment whose diagrams can be read as setups of fermionic oscillators. Moreover, its generators reflect an operational classification of entangled states of 3 qubits. We conclude with generalisations of the ZW calculus to higher-dimensional systems, including the definition of a universal set of generators in each dimension.

연구 동기 및 목표

• 실선도형 슬라이딩 이동이 대수적 이론에서 어떻게 일관되게 나타나는지, 그 깊은 기하학적 및 조합적 기원을 설명하는 것.
• 표준 다각형도에서의 기술적 한계를 해결하기 위해 비퇴화된 세포 경계를 가진 정규 다각형도를 도입하는 것.
• 정규 다각형도의 세포에 대한 형태를 정의하기 위해 글로부라 포스에 대한 이론을 개발하여, 계산 가능한 텐서곱을 가능하게 하는 것.
• 고차원 범주에서 약한 단위와 동치 세포 사이의 연결 고리를 설정하는 것.
• 이 틀을 양자 이론에 적용하여, 큐비트 얽힘을 위한 완전하고 물리적으로 해석 가능한 다이어그램적 계산법으로 이르는 것.

제안 방법

• 퇴화된 세포 경계(디스크에 위상동형이 아닌 것)를 금지함으로써 정규 다각형도를 정의하여 기하학적 잘린 상태를 보장한다.
• 포스 토폴로지(포스 집합의 위상)를 사용하여 세포의 형태를 정의하는 글로부라 포스를 개발하고, 비퇴화성 조건을 만족함을 증명한다.
• 형태 기반의 복합을 통한 정규 다각형도의 텐서곱을 정의하여, 일관된 고차원 대수학을 가능하게 한다.
• 낮은 차원에서 퇴화된 경계를 복구하기 위한 수 Mittag-Leffler 단위를 도입하여, 약한 단위와 나누어 떨어지는 성질을 가진 세포, 즉 기본적인 동치 세포와 연결한다.
• 힐버트 공간을 2-범주적 개선으로 재해석함으로써 양자 이론에 이 형식을 적용하고, ZW 계산법을 도출한다.
• fermionic 오실레이터 설정과 관련된 생성자들을 바탕으로, 큐비트 이론의 완전하고 정규화 가능한 다이어그램적 공리계로서 ZW 계산법을 구성한다.

실험 결과

연구 질문

• RQ1 왜 실선도형 슬라이딩 이동이 대수적 이론에서 일관되게 나타나며, 그 깊은 기하학적 기원은 무엇인가?
• RQ2 다각형도를 어떻게 재정의하여 퇴화된 세포 경계를 피하고 계산 가능한 텐서곱을 가능하게 할 수 있는가?
• RQ3 고차원 범주에서 약한 단위와 동치 세포 사이의 관계는 무엇인가?
• RQ4 양자 얽힘을 위한 완전하고 물리적으로 의미 있는 다이어그램적 계산법을 구성할 수 있는가?
• RQ5 ZW 계산법을 임의의 유한 차원의 큐디트(qudits)로 일반화할 수 있는가?

주요 결과

• 정규 다각형도는 퇴화된 세포 경계를 배제함으로써 정의되며, 이는 기하학적 일관성과 잘 조율된 형태 이론의 가능성을 보장한다.
• 글로부라 포스는 정규 다각형도의 세포 형태에 대한 조합적-위상 기반을 제공하며, 비퇴화성 조건을 만족하고 텐서곱 계산을 지원한다.
• 정규 다각형도에서 약한 단위의 존재는 특정 나누어 떨어지는 성질을 만족하는 세포의 존재와 동치이며, 이는 기본적인 동치 세포에 해당한다.
• ZW 계산법은 큐비트 양자 이론의 완전하고 정규화 가능한 다이어그램적 공리계로 제시되며, 페르미온 오실레이터 설정에 기반한 물리적으로 해석 가능한 부분이 존재한다.
• ZW 계산법은 계산적으로 의미 있는 정규형을 제공하고, 다중입자 얽힘의 운영적 분류를 반영하는 생성자 집합을 가짐으로써 ZX 계산법보다 우월한 점을 지닌다.
• 이 틀은 임의의 유한 차원의 큐디트로의 일반화를 지원하며, 각 차원에서 보편적인 생성자 집합이 정의된다.