핵심 개념
양자 컴퓨팅의 다이아딕 단편에서 Sum-Over-Paths의 재작성과 완전성에 초점
초록
논리적 방법론을 사용하여 양자 시스템을 기호적으로 조작하는 Sum-Over-Paths 형식
새로운 Sum-Over-Paths 재작성 규칙 제시 및 Toffoli-Hadamard에 대한 완전성 증명
그래픽 언어 ZH-Calculus와의 연결 및 공리화의 변환
다이아딕 양자 계산의 완전성 달성을 위한 재작성 시스템 확장
임의 용어의 합과 연결 수행 방법 소개
인용구
"Sum-Over-Paths는 양자 프로세스를 상징적으로 설명하고 조작하는 방법론" - Amy19
"다이아딕 단편의 완전성을 위해 새로운 재작성 시스템을 제시" - Vil23