Categorical Tensor-Graph Semantics for Quantum Algorithms

Abstract:This paper investigates foundational quantum computing protocols from the intuitive perspective of categorical tensor-graph semantics within the category \textbf{FHilb}. While conventional Hilbert-space formalisms often conceal the structural nature of quantum algorithms behind high-dimensional matrix operations, the topological framework directly encodes algorithmic functionalities into their graphical skeletons. We provide a comprehensive topological reinterpretation of the Bernstein--Vazirani and Simon algorithms, demonstrating how topological transformations distill their core mathematical essence and clarify the operational mechanisms of oracles. Going beyond the standard qubit model, we construct explicit representations for the qutrit-adapted topological Deutsch--Jozsa and single-shot Grover algorithms. In particular, we establish a necessary and sufficient condition for the single-shot Grover search. We further implement CNOT gates via complementary Frobenius structures and investigate a diagrammatic decomposition scheme for the W-state preparation protocol. By bridging tensor category theory with practical quantum algorithmic design, this work furnishes a composable, scalable diagrammatic toolkit essential for automated circuit optimization across the evolving quantum hardware ecosystem.

Quantum Physics (quant-ph); Mathematical Physics (math-ph); Category Theory (math.CT)

arXiv:2607.12128 [quant-ph]

(or arXiv:2607.12128v2 [quant-ph] for this version)

https://doi.org/10.48550/arXiv.2607.12128 Focus to learn more arXiv-issued DOI via DataCite

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.