Parameterized Quantum Circuit Semantics Through Enriched Categories

Abstract:It is well-known that combinatorial circuits are modeled mathematically by string diagrams in monoidal categories. Given a gate set $\Sigma$, the circuits over $\Sigma$ can be thought of as string diagrams in the free monoidal category generated by $\Sigma$. In this model, circuit semantics are then given by monoidal functors out of this free category. For quantum circuits, this functor is often valued in the category of unitary matrices. This model suffices for concrete quantum circuits, but fails to describe parameterized families of quantum circuits, such as those which arise in the analysis of ansatz circuits. In this paper, we introduce an approach to parameterized circuit semantics, which is based on enriched category theory. We first introduce an abstract categorical construction, and use this to gain new insights on controlled operations and quantum communication. We then study the special cases of Cartesian monoidal parameters and monoidal closed parameters, both endowing the parameterized semantics with useful constructions. We conclude by showing that the monoidal closed case can be used to unify two perspectives on quantum control.

Added supplementary material and clarified example (6.21)

Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT)

arXiv:2607.16114 [quant-ph]

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

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

supplementary.pdf

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.