Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits

• URL: http://arxiv.org/abs/2508.21756v2
• Date: Thu, 02 Oct 2025 10:51:55 GMT
• Title: Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits
• Abstract summary: We introduce a general framework for diagrammatic reasoning featuring control as a constructor.<n>We show that controlled props ease diagrammatic reasoning for quantum circuits by allowing a simple complete set of relations.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Control is a predominant concept in quantum and reversible computational models. It allows to apply or not a transformation on a system, depending on the state of another system. We introduce a general framework for diagrammatic reasoning featuring control as a constructor. To do so, we provide an elementary axiomatisation of control functors, extending the standard formalism of props (symmetric monoidal categories with the natural numbers as objects) to controlled props. As an application, we show that controlled props ease diagrammatic reasoning for quantum circuits by allowing a simple complete set of relations that only involves relations acting on at most three qubits, whereas it is known that in the standard prop setting any complete axiomatisation requires relations acting on arbitrarily many qubits.

Related papers

• Algebraic Structure of Quantum Controlled States and Operators [0.6117371161379209]
  We show that controlled diagrams in the ZXW-calculus admit rich structure.<n>The perspective of the higher-order map Ctrl recovers the standard notion of quantum controlled gates.
  arXiv  Detail & Related papers  (2026-03-13T16:29:21Z)
• The Structure and Interpretation of Quantum Programs I: Foundations [0.0]
  Qubits are a great way to build a quantum computer, but a limited way to program one.<n>We replace the usual "states and gates" formalism with a "props and ops" (propositions and operators) model.<n>We show how measurement modifies state, proving an operator-algebraic version of the Knill-Laflamme conditions.
  arXiv  Detail & Related papers  (2025-09-03T18:00:23Z)
• A Quantum-Control Lambda-Calculus with Multiple Measurement Bases [49.1574468325115]
  We introduce Lambda-SX, a typed quantum-calculus that supports multiple measurement bases.<n>By tracking duplicability relative to arbitrary bases within the type system, Lambda-SX enables more flexible control and compositional reasoning about measurements.
  arXiv  Detail & Related papers  (2025-06-19T11:59:39Z)
• Quantum State Preparation via Nested Entanglement [0.0]
  We develop a representation of an n-qubit register that parameterizes its statevector as a series of nested entanglements.<n>It also allows for a straightforward treatment of pure state separability.
  arXiv  Detail & Related papers  (2025-02-05T00:03:05Z)
• Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
  In this paper, we aim to characterize the gates of quantum Reed-Muller (RM) codes by exploiting the well-studied properties of their classical counterparts. A set of stabilizer generators for a RM code can be described via $X$ and $Z$ operators acting on subcubes of particular dimensions.
  arXiv  Detail & Related papers  (2024-10-10T04:07:24Z)
• Quantum control without quantum states [0.0]
  We show that combining ideas from the fields of quantum invariants and of optimal control can be used to design optimal quantum control solutions. The states are specified only implicitly in terms of operators to which they are eigenstates. The scaling in numerical effort of the resultant approach is not given by the typically exponentially growing effort required for the specification of a time-evolved quantum state.
  arXiv  Detail & Related papers  (2024-05-24T14:48:00Z)
• Determining the ability for universal quantum computing: Testing controllability via dimensional expressivity [39.58317527488534]
  Controllability tests can be used in the design of quantum devices to reduce the number of external controls. We devise a hybrid quantum-classical algorithm based on a parametrized quantum circuit.
  arXiv  Detail & Related papers  (2023-08-01T15:33:41Z)
• Open loop linear control of quadratic Hamiltonians with applications [0.0]
  We consider the case where it is extended to an arbitrary number modes and include all possible terms that are bilinear in the annihilation and creation operators. We apply our theory to a number of specific topical physical systems to illustrate its use and provide explicit control functions.
  arXiv  Detail & Related papers  (2023-04-24T00:10:16Z)
• Graph test of controllability in qubit arrays: A systematic way to determine the minimum number of external controls [62.997667081978825]
  We show how to leverage an alternative approach, based on a graph representation of the Hamiltonian, to determine controllability of arrays of coupled qubits. We find that the number of controls can be reduced from five to one for complex qubit-qubit couplings.
  arXiv  Detail & Related papers  (2022-12-09T12:59:44Z)
• Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-calculus [55.2480439325792]
  Coherent control of quantum computations can be used to improve some quantum protocols and algorithms. We refine the PBS-calculus, a graphical language for coherent control inspired by quantum optics.
  arXiv  Detail & Related papers  (2022-02-10T18:59:52Z)
• LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
  This paper introduces a dynamic logic formalism for reasoning about information flow in composite quantum systems. We present a finitary syntax, a relational semantics and a sound proof system for this logic. As applications, we use our system to give formal correctness for the Teleportation protocol and for a standard Quantum Secret Sharing protocol.
  arXiv  Detail & Related papers  (2021-10-04T12:20:23Z)
• Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
  We introduce a high-fidelity gate set inspired by a proposal for near-term quantum advantage in optimization problems. By orchestrating coherent, multi-level control over three transmon qutrits, we synthesize a family of deterministic, continuous-angle quantum phase gates acting in the natural three-qubit computational basis.
  arXiv  Detail & Related papers  (2021-08-03T17:49:09Z)
• Quantum circuits with classical versus quantum control of causal order [0.0]
  It is known that quantum supermaps which respect a definite, predefined causal order between their input operations correspond to fixed-order quantum circuits. Here we identify two new types of circuits that naturally generalise the fixed-order case. We show that quantum circuits with quantum control of causal order can only generate "causal" correlations, compatible with a well-defined causal order.
  arXiv  Detail & Related papers  (2021-01-21T19:00:06Z)
• Sub-bosonic (deformed) ladder operators [62.997667081978825]
  We present a class of deformed creation and annihilation operators that originates from a rigorous notion of fuzziness. This leads to deformed, sub-bosonic commutation relations inducing a simple algebraic structure with modified eigenenergies and Fock states. In addition, we investigate possible consequences of the introduced formalism in quantum field theories, as for instance, deviations from linearity in the dispersion relation for free quasibosons.
  arXiv  Detail & Related papers  (2020-09-10T20:53:58Z)
• PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations [77.34726150561087]
  We introduce the PBS-calculus to represent and reason on quantum computations involving coherent control of quantum operations. We equip the language with an equational theory, which is proved to be sound and complete. We consider applications like the implementation of controlled permutations and the unrolling of loops.
  arXiv  Detail & Related papers  (2020-02-21T16:15:58Z)

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.