Parameterized Quantum Circuit Semantics Through Enriched Categories

• URL: http://arxiv.org/abs/2607.16114v2
• Date: Mon, 20 Jul 2026 15:46:30 GMT
• Title: Parameterized Quantum Circuit Semantics Through Enriched Categories
• Abstract summary: We introduce an approach to parameterized circuit semantics based on enriched category theory.<n>We show that the monoidal closed case can be used to unify two perspectives on quantum control.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: It is well-known that combinatorial circuits are modeled mathematically by string diagrams in monoidal categories. Given a gate set $Σ$, the circuits over $Σ$ can be thought of as string diagrams in the free monoidal category generated by $Σ$. 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.

Related papers

• Trainability of Parametrised Linear Combinations of Unitaries [4.2193475197905705]
  We show that sums of trainable parametrised circuits are still trainable.<n>We argue that there is a scope for a quantum speed-up when evaluating these trainable circuits on a quantum device.
  arXiv  Detail & Related papers  (2025-06-27T15:20:00Z)
• Enriched Categories for Parameterized Circuit Semantics [0.0]
  We show that the parameterized semantics studied in prior work can be understood through enrichment and internal constructions.<n>We suggest how these semantics could be extended to classical circuit analysis and parameterized equivalence checking.
  arXiv  Detail & Related papers  (2025-01-21T20:17:51Z)
• Geometric Quantum Machine Learning with Horizontal Quantum Gates [41.912613724593875]
  We propose an alternative paradigm for the symmetry-informed construction of variational quantum circuits. We achieve this by introducing horizontal quantum gates, which only transform the state with respect to the directions to those of the symmetry. For a particular subclass of horizontal gates based on symmetric spaces, we can obtain efficient circuit decompositions for our gates through the KAK theorem.
  arXiv  Detail & Related papers  (2024-06-06T18:04:39Z)
• Quantum Current and Holographic Categorical Symmetry [62.07387569558919]
  A quantum current is defined as symmetric operators that can transport symmetry charges over an arbitrary long distance. The condition for quantum currents to be superconducting is also specified, which corresponds to condensation of anyons in one higher dimension.
  arXiv  Detail & Related papers  (2023-05-22T11:00:25Z)
• Integrable Quantum Circuits from the Star-Triangle Relation [0.4305891170440042]
  We construct integrable quantum circuits using the star-triangle relation. We give two examples of circuits acting on a chain of $Q-$state qudits.
  arXiv  Detail & Related papers  (2023-02-24T14:55:52Z)
• Building spatial symmetries into parameterized quantum circuits for faster training [0.0]
  We show that an ideal parameter structure naturally emerges when carefully considering spatial symmetries. Namely, we consider the automorphism group of the problem Hamiltonian, leading us to develop a circuit construction that is equivariant under this symmetry group. The benefits of our novel circuit structure, called ORB, are numerically probed in several ground-state problems.
  arXiv  Detail & Related papers  (2022-07-28T23:44:23Z)
• A Complete Equational Theory for Quantum Circuits [58.720142291102135]
  We introduce the first complete equational theory for quantum circuits. Two circuits represent the same unitary map if and only if they can be transformed one into the other using the equations.
  arXiv  Detail & Related papers  (2022-06-21T17:56:31Z)
• Adaptive constant-depth circuits for manipulating non-abelian anyons [65.62256987706128]
  Kitaev's quantum double model based on a finite group $G$. We describe quantum circuits for (a) preparation of the ground state, (b) creation of anyon pairs separated by an arbitrary distance, and (c) non-destructive topological charge measurement.
  arXiv  Detail & Related papers  (2022-05-04T08:10:36Z)
• Algebraic Compression of Quantum Circuits for Hamiltonian Evolution [52.77024349608834]
  Unitary evolution under a time dependent Hamiltonian is a key component of simulation on quantum hardware. We present an algorithm that compresses the Trotter steps into a single block of quantum gates. This results in a fixed depth time evolution for certain classes of Hamiltonians.
  arXiv  Detail & Related papers  (2021-08-06T19:38:01Z)
• Capacity and quantum geometry of parametrized quantum circuits [0.0]
  Parametrized quantum circuits can be effectively implemented on current devices. We evaluate the capacity and trainability of these circuits using the geometric structure of the parameter space. Our results enhance the understanding of parametrized quantum circuits for improving variational quantum algorithms.
  arXiv  Detail & Related papers  (2021-02-02T18:16:57Z)
• Hardware-Encoding Grid States in a Non-Reciprocal Superconducting Circuit [62.997667081978825]
  We present a circuit design composed of a non-reciprocal device and Josephson junctions whose ground space is doubly degenerate and the ground states are approximate codewords of the Gottesman-Kitaev-Preskill (GKP) code. We find that the circuit is naturally protected against the common noise channels in superconducting circuits, such as charge and flux noise, implying that it can be used for passive quantum error correction.
  arXiv  Detail & Related papers  (2020-02-18T16:45:09Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.