量子算法的范畴张量图语义
量子物理
2026-07-13 v1 数学物理
范畴论
摘要
本文从 FHilb 范畴内范畴张量图语义的直观角度系统地研究了量子计算协议。虽然传统的 Hilbert 空间形式主义将量子算法的结构性质隐藏在高维矩阵运算背后,但本文开发的拓扑框架直接将算法功能编码到其图形骨架中。我们对 Bernstein-Vazirani 和 Simon 算法进行了全面的拓扑重新解释,展示了拓扑变换如何提炼其核心数学本质并阐明预言机的操作机制。超越标准量子比特模型,我们形式化了适用于 qutrit 的广义 Deutsch-Jozsa 算法以及广义单次 Grover 算法,并明确列出了它们的图形表示。我们进一步通过互补 Frobenius 结构实现 CNOT 门,追踪量子纠缠(包括 Bell 和 GHZ 态)的图解起源,并为 W 态制备协议提出了图解简化。通过将张量范畴理论与实际量子算法设计联系起来,这项工作为不断发展的量子硬件生态系统中的自动化电路优化提供了可组合、可扩展的图解工具包。
引用
@article{arxiv.2607.12128,
title = {Categorical Tensor-Graph Semantics for Quantum Algorithms},
author = {Naihong Hu and Ruining Li and Futao Wang},
journal= {arXiv preprint arXiv:2607.12128},
year = {2026}
}
备注
42 pages