[논문 리뷰] ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory

Jonathan Gorard, Manojna Namuduri외 1명|arXiv (Cornell University)|2020. 10. 05.

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

한 줄 요약

이 논문은 양자역학을 위한 다이어그램적 언어인 ZX-계산법과 월프람 모델의 멀티웨이 시스템 사이의 공식적 대응을 수립하며, ZX-다이어그램 리라이팅이 월프람 모델의 초그래프 리라이팅 내에 임bedded될 수 있음을 보여준다. 다이어그램의 조합 구조와 호환되는 모노이드 구조를 자연스럽게 지닌 멀티웨이 및 브랜치이얼 그래프를 갖는 월프람 모델이 증명되며, 접착 범주와 이중-푸시아웃 리라이팅을 통한 카테고리컬 양자역학과 룰리얼 계산을 통합한다.

ABSTRACT

Categorical quantum mechanics and the Wolfram model offer distinct but complementary approaches to studying the relationship between diagrammatic rewriting systems over combinatorial structures and the foundations of physics; the objective of the present article is to begin elucidating the formal correspondence between the two methodologies in the context of the ZX-calculus formalism of Coecke and Duncan for reasoning diagrammatically about linear maps between qubits. After briefly summarizing the relevant formalisms, and presenting a categorical formulation of the Wolfram model in terms of adhesive categories and double-pushout rewriting systems, we illustrate how the diagrammatic rewritings of the ZX-calculus can be embedded and realized within the broader context of Wolfram model multiway systems, and illustrate some of the capabilities of the software framework (ZXMultiwaySystem) that we have developed specifically for this purpose. Finally, we present a proof (along with an explicitly computed example) based on the methods of Dixon and Kissinger that the multiway evolution graphs and branchial graphs of the Wolfram model are naturally endowed with a monoidal structure based on rulial composition that is, furthermore, compatible with the monoidal product of ZX-diagrams.

연구 동기 및 목표

• 카테고리컬 양자역학(즉, ZX-계산법)과 월프람 모델의 초그래프 리라이팅 시스템 사이의 공식적 다리를 구축하는 것.
• 접착 범주와 이중-푸시아웃 리라이팅을 사용하여, ZX-다이어그램 리라이팅이 월프람 모델의 멀티웨이 진화 시스템 내에 임베딩될 수 있음을 보여주는 것.
• 월프람 모델의 멀티웨이 및 브랜치이얼 그래프가 자연스럽게 ZX-다이어그램 조합과 호환되는 모노이드 구조를 지닌다는 것을 보여주는 것.
• 멀티웨이 및 브랜치이얼 그래프를 계산하고 분석할 수 있는 ZXMultiwaySystem 소프트웨어 프레임워크를 개발하고 검증하는 것.
• 선택적 접착 규칙의 방향성 있는 코스판 범주를 통해 룰리얼 멀티웨이 시스템과 양자 과정의 카테고리적 구조를 통합하는 것.

제안 방법

• 접착 범주와 이중-푸시아웃(DPO) 리라이팅 시스템을 사용하여 월프람 모델을 공식화하여 초그래프 변환을 모델링하는 것.
• 기호적 리라이팅 규칙을 통해 ZX-다이어그램 생성자(스피더 및 그 관계들)를 월프람 모델의 초그래프 구조에 임베딩하는 것.
• 초기 초그래프 상태에 모든 가능한 규칙 적용을 적용하여 멀티웨이 진화 그래프를 구성함으로써 모든 유도 경로를 포괄하는 것.
• 브랜치이얼 그래프를 멀티웨이 분지 간의 얽힘의 구조로 정의하며, 양자 상태 중첩과 유사한 성격을 지닌다.
• 월프람 모델의 룰리얼 멀티웨이 시스템이 룰리얼 조합을 통해 모노이드 곱을 지닌다는 것을 증명하며, 이는 ZX-계산법 카테고리의 모노이드 곱과 동형임을 보여주는 것.
• 선택적 접착 규칙의 방향성 있는 코스판 범주를 사용하여 멀티웨이 시스템의 구성적 구조를 공식화하고, ZX-다이어그램 모노이드 곱과의 호환성을 보장하는 것.

실험 결과

연구 질문

• RQ1 ZX-다이어그램 리라이팅이 월프람 모델의 멀티웨이 리라이팅 프레임워크 내에 공식적으로 임베딩될 수 있는가?
• RQ2 월프람 모델의 멀티웨이 진화 그래프가 자연스럽게 ZX-계산법의 그것과 동형인 모노이드 구조를 지닌다?
• RQ3 월프람 모델의 브랜치이얼 그래프는 ZX-계산법에서의 양자 상태 중첩과 얽힘에 어떻게 대응하는가?
• RQ4 룰리얼 멀티웨이 시스템과 ZX-다이어그램의 디거-콤팩트-클로즈드 카테고리 간의 카테고리적 관계는 무엇인가?
• RQ5 ZXMultiwaySystem 소프트웨어 프레임워크는 월프람 모델의 멀티웨이 시스템과 ZX-다이어그램 간의 모노이드 호환성을 정확하게 시뮬레이션하고 검증할 수 있는가?

주요 결과

• 월프람 모델의 멀티웨이 진화 그래프는 룰리얼 조합을 통해 자연스럽게 모노이드 구조를 지니며, 이는 ZX-다이어그램의 모노이드 곱과 호환된다.
• 스피더 융합 및 π-위상 이동과 같은 ZX-다이어그램 리라이팅은 월프람 모델의 초그래프 리라이팅 시스템 내에 충실하게 임베딩되고 시뮬레이션될 수 있다.
• 월프람 모델의 브랜치이얼 그래프는 양자 상태 중첩을 반영하며, 그 구조는 ZX-다이어그램의 얽힘 패tern을 반영한다.
• 선택적 접착 규칙의 방향성 있는 코스판 범주가 룰리얼 멀티웨이 시스템과 디거-콤팩트-클로즈드 카테고리의 ZX-다이어그램을 통합하는 카테고리적 프레임워크를 제공한다.
• ZXMultiwaySystem 소프트웨어 프레임워크는 멀티웨이 및 브랜치이얼 그래프를 성공적으로 계산하고 시각화하여, 모노이드 호환성의 명시적 검증을 가능하게 한다.
• 논문은 ZX-다이어그램 변환(예: 벨 상태 변환)이 월프람 모델의 멀티웨이 시스템 내 경로로 실현되는 구체적인 예를 제공하며, 공식적 대응을 확인한다.