← 研踪 PaperTrailarXiv:2611.07207 · v1
A Complete Equational Theory for Quantum Circuits with Generalized Control
首次提交 2026-11-05 06:55
版本更新 2026-11-05 06:55
雷达观测 2026-11-06 10:04
摘要
Controlled subcircuits are commonplace in quantum algorithms as they represent the quantum analogue of branching statements (if then). We introduce a generalization of controlled subcircuits in the form of a binary operation which sends pairs of unitary quantum circuits to a generalized controlled operation, whose semantics are based on matrix exponentials and logarithms. The family of quantum circuits with generalized controlled operations and circuit exponentiation is denoted HQC for Hierarchical Quantum Circuits. We formalize HQC as a modified prop category using a novel category-theoretic construction, and provide a sound and complete equational theory for diagrammatic reasoning in HQC.
作者备注：In Proceedings QPL 2026, arXiv:2611.04069
期刊信息：EPTCS 456, 2026, pp. 283-349
观测到的版本
相邻记录可能跳过中间版本；首次发现 v2 及以上也会标为版本更新。
v1 · 2026-11-05 06:55 · 最新观测版本
A Complete Equational Theory for Quantum Circuits with Generalized Control
Controlled subcircuits are commonplace in quantum algorithms as they represent the quantum analogue of branching statements (if then). We introduce a generalization of controlled subcircuits in the form of a binary operation which sends pairs of unitary quantum circuits to a generalized controlled operation, whose semantics are based on matrix exponentials and logarithms. The family of quantum circuits with generalized controlled operations and circuit exponentiation is denoted HQC for Hierarchical Quantum Circuits. We formalize HQC as a modified prop category using a novel category-theoretic construction, and provide a sound and complete equational theory for diagrammatic reasoning in HQC.
查看此版本解读 →查看此版本原文 ↗