[논문 리뷰] Categorical Quantum Dynamics

Stefano Gogioso|arXiv (Cornell University)|2017. 09. 28.

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

한 줄 요약

이 논문은 도우말 콪 pact 카테고리들을 사용하여 양자 역학의 범주론적 프레임워크를 제안하며, 그림적 계산을 통해 양자 과정, 상태, 효과를 통합적으로 다룬다. 대칭 모노이드 카테고리에서 양자 연산과 사상 사이의 대응을 수립하며, 주요 결과로는 양자 관측가에 대한 프로비우스 법칙과 특수성 법칙의 유도 및 이중성과 수반성에 의한 순수 상태와 효과의 특성화가 포함된다.

ABSTRACT

We use strong complementarity to introduce dynamics and symmetries within the framework of CQM, which we also extend to infinite-dimensional separable Hilbert spaces: these were long-missing features, which open the way to a wealth of new applications. The coherent treatment presented in this work also provides a variety of novel insights into the dynamics and symmetries of quantum systems: examples include the extremely simple characterisation of symmetry-observable duality, the connection of strong complementarity with the Weyl Canonical Commutation Relations, the generalisations of Feynman's clock construction, the existence of time observables and the emergence of quantum clocks. Furthermore, we show that strong complementarity is a key resource for quantum algorithms and protocols. We provide the first fully diagrammatic, theory-independent proof of correctness for the quantum algorithm solving the Hidden Subgroup Problem, and show that strong complementarity is the feature providing the quantum advantage. In quantum foundations, we use strong complementarity to derive the exact conditions relating non-locality to the structure of phase groups, within the context of Mermin-type non-locality arguments. Our non-locality results find further application to quantum cryptography, where we use them to define a quantum-classical secret sharing scheme with provable device-independent security guarantees. All in all, we argue that strong complementarity is a truly powerful and versatile building block for quantum theory and its applications, and one that should draw a lot more attention in the future.

연구 동기 및 목표

• 대칭 모노이드 카테고리의 이중성과 함께 양자 역학의 통합된 범주론적 프레임워크를 개발하기 위해.
• 그림적 계산과 사상들을 사용하여 양자 과정, 즉 상태, 효과, 변환을 모델링하기 위해.
• 이중성과 수반성의 역할을 양자 관측가와 측정에 특성화하기 위해.
• 프로비우스 법칙과 특수성과 같은 구조적 법칙이 양자 시스템의 범주론적 설정에서 어떻게 유도되는지 규명하기 위해.
• 최요-자미올로프 이sovomorphism과 자기수반 등급원소를 통해 범주론적 구조를 표준 양자역학과 연결하기 위해.

제안 방법

• 양자 시스템을 모델링하기 위해 도우말 콩 pact 카테고리를 사용하며, 객체는 힐베르트 공간을 나타내고 사상은 양자 연산을 나타낸다.
• 사상의 복합과 텐서곱을 표현하기 위해 그림적 계산(줄 다이어그램)을 적용하며, 단위, 쌍대단위, 이중성 사상도 포함한다.
• 컵과 캡 사상(η_A 및 ε_A)을 이중화 이sovomorphism으로 정의하며, 시스템을 교환하기 위한 σ_{A,B}도 정의한다.
• 이중성에 기반해 수반 연산 f†를 도입하며, f: A → B 를 f*: B* → A* 와 연결하고, 자기수반 사상의 경우 f* = f† 임을 보여준다.
• 범주론적 공리에서 프로비우스 법칙과 특수성 조건을 도출하여, 이들이 양자 측정과 복제에 어떻게 연결되는지 분석한다.
• 최요-자미올로프 이sovomorphism을 사용하여 순수 상태와 효과를 특성화하며, 상태 준비와 측정을 위해 ∑|e_j⟩⊗|e_j⟩ 및 그 쌍대 ∑⟨e_j|⊗⟨e_j| 를 사용한다.

실험 결과

연구 질문

• RQ1 어떻게 대칭 모노이드 카테고리의 이중성 내에서 양자 역학을 공리화할 수 있는가?
• RQ2 양자 정보의 복제와 삭제 기능을 뒷받침하는 범주론적 구조는 무엇인가?
• RQ3 프로비우스 법칙과 특수성 조건은 어떻게 범주론적 이중성과 수반성에서 유도되는가?
• RQ4 수반 연산 f†는 카테고리 내에서 과정과 그 쌍대를 어떻게 연결하는가?
• RQ5 순수 상태와 효과는 특히 최요-자미올로프 이sovomorphism을 통해 카테고리의 사상과 어떻게 대응되는가?

주요 결과

• C가 도우말 콩 pact 이며 자기수반일 경우, 완전히 양의 연산의 카테고리(CPM[C])가 원래 카테고리 C와 이sovomorphism 임을 보였다.
• 모든 객체 A에 대해 프로비우스 법칙이 성립하여 복제 및 삭제 연산의 조합에서 일관성이 보장된다.
• 특수성 조건은 이중성 구조에서 도출되며, A에서 항등사상의 흔적은 dim(A)와 같음을 의미하여 양자 차원과 연결된다.
• ∑|e_j⟩⊗|e_j⟩ 는 표준 컵(entangled 상태)를 정의하고, 그 쌍대 ∑⟨e_j|⊗⟨e_j| 는 캡을 정의하여 상태 준비와 측정을 가능하게 한다.
• 사상 f: A → B 의 수반은 f†: B* → A* 로 주어지며, f* = f† 이므로 카테고리에 자기수반 구조가 수립된다.
• 중앙 자기수반 등급원소 p 는 p† = p 이며 p∘p = p 를 만족하며, 카테고리 내 투영에 대응한다. 여기서 p = ∑|e_j⟩⟨e_j| 는 정규직교 기저에 대응한다.