Categorical Tensor-Graph Semantics for Quantum Algorithms
이 논문은 Bernstein-Vazirani, Simon, 일반화된 Deutsch-Jozsa, Grover를 포함한 다양한 양자 알고리즘과 얽힘 생성에 대해 위상적 재해석 및 그래픽적 정식화를 제공하기 위해 범주 FHilb 내에서의 범주적 텐서-그래프 의미론을 채택하며, 궁극적으로 자동 회로 최적화를 위한 결합 가능한 다이어그램 도구 모음을 제공한다.