Free Polycategories for Unitary Supermaps of Arbitrary Dimension

• URL: http://arxiv.org/abs/2207.09180v1
• Date: Tue, 19 Jul 2022 10:38:55 GMT
• Title: Free Polycategories for Unitary Supermaps of Arbitrary Dimension
• Authors: Matt Wilson, Giulio Chiribella
• Abstract summary: We provide a construction for holes into which morphisms of symmetric monoidal categories can be inserted. We identify a sub-class srep[C] of polyslots that are single-party representable.
• Score: 0.7614628596146599
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We provide a construction for holes into which morphisms of abstract symmetric monoidal categories can be inserted, termed the polyslot construction pslot[C], and identify a sub-class srep[C] of polyslots that are single-party representable. These constructions strengthen a previously introduced notion of locally-applicable transformation used to characterize quantum supermaps in a way that is sufficient to re-construct unitary supermaps directly from the monoidal structure of the category of unitaries. Both constructions furthermore freely reconstruct the enriched polycategorical semantics for quantum supermaps which allows to compose supermaps in sequence and in parallel whilst forbidding the creation of time-loops. By freely constructing key compositional features of supermaps, and characterizing supermaps in the finite-dimensional case, polyslots are proposed as a suitable generalization of unitary-supermaps to infinite dimensions and are shown to include canonical examples such as the quantum switch. Beyond specific applications to quantum-relevant categories, a general class of categorical structures termed path-contraction groupoids are defined on which the srep[C] and pslot[C] constructions are shown to coincide.

Related papers

• Quantum channels, complex Stiefel manifolds, and optimization [45.9982965995401]
  We establish a continuity relation between the topological space of quantum channels and the quotient of the complex Stiefel manifold. The established relation can be applied to various quantum optimization problems.
  arXiv  Detail & Related papers  (2024-08-19T09:15:54Z)
• Compositional Structures in Neural Embedding and Interaction Decompositions [101.40245125955306]
  We describe a basic correspondence between linear algebraic structures within vector embeddings in artificial neural networks. We introduce a characterization of compositional structures in terms of "interaction decompositions" We establish necessary and sufficient conditions for the presence of such structures within the representations of a model.
  arXiv  Detail & Related papers  (2024-07-12T02:39:50Z)
• On reconstruction of states from evolution induced by quantum dynamical semigroups perturbed by covariant measures [50.24983453990065]
  We show the ability to restore states of quantum systems from evolution induced by quantum dynamical semigroups perturbed by covariant measures. Our procedure describes reconstruction of quantum states transmitted via quantum channels and as a particular example can be applied to reconstruction of photonic states transmitted via optical fibers.
  arXiv  Detail & Related papers  (2023-12-02T09:56:00Z)
• Entanglement of Sections: The pushout of entangled and parameterized quantum information [0.0]
  Recently Freedman & Hastings asked for a mathematical theory that would unify quantum entanglement/tensor-structure with parameterized/-structure. We make precise a form of the relevant pushout diagram in monoidal category theory. We show how this model category serves as categorical semantics for the linear-multiplicative fragment of Linear Homotopy Type Theory.
  arXiv  Detail & Related papers  (2023-09-13T18:28:43Z)
• Dynamics and Geometry of Entanglement in Many-Body Quantum Systems [0.0]
  A new framework is formulated to study entanglement dynamics in many-body quantum systems. The Quantum Correlation Transfer Function (QCTF) is transformed into a new space of complex functions with isolated singularities. The QCTF-based geometric description offers the prospect of theoretically revealing aspects of many-body entanglement.
  arXiv  Detail & Related papers  (2023-08-18T19:16:44Z)
• Universal Properties of Partial Quantum Maps [0.0]
  We provide a universal construction of the category of finite-dimensional C*-algebras and completely positive trace-nonincreasing maps from the rig category of finite-dimensional Hilbert spaces and unitaries. We discuss how this construction can be used in the design and semantics of quantum programming languages.
  arXiv  Detail & Related papers  (2022-06-09T23:44:48Z)
• Quantum Supermaps are Characterized by Locality [0.6445605125467572]
  We provide a new characterisation of quantum supermaps in terms of an axiom that refers only to sequential and parallel composition. We do so by providing a simple definition of locally-applicable transformation on a monoidal category. In our main technical contribution, we use this diagrammatic representation to show that locally-applicable transformations on quantum channels are in one-to-one correspondence with deterministic quantum supermaps.
  arXiv  Detail & Related papers  (2022-05-19T20:36:33Z)
• No-signalling constrains quantum computation with indefinite causal structure [45.279573215172285]
  We develop a formalism for quantum computation with indefinite causal structures. We characterize the computational structure of higher order quantum maps. We prove that these rules, which have a computational and information-theoretic nature, are determined by the more physical notion of the signalling relations between the quantum systems.
  arXiv  Detail & Related papers  (2022-02-21T13:43:50Z)
• CPM Categories for Galois Extensions [0.0]
  We develop an infinite hierarchy of probabilistic theories, exhibiting compositional decoherence structures. These decoherences reduce the degrees of freedom in physical systems, while at the same time restricting the fields over which the systems are defined. These theories possess fully fledged operational semantics, allowing both categorical and GPT-style approaches to their study.
  arXiv  Detail & Related papers  (2021-06-02T14:52:41Z)
• Generalized Clustering and Multi-Manifold Learning with Geometric Structure Preservation [47.65743823937763]
  We propose a novel Generalized Clustering and Multi-manifold Learning (GCML) framework with geometric structure preservation for generalized data. In the proposed framework, manifold clustering is done in the latent space guided by a clustering loss. To overcome the problem that the clustering-oriented loss may deteriorate the geometric structure of the latent space, an isometric loss is proposed for preserving intra-manifold structure locally and a ranking loss for inter-manifold structure globally.
  arXiv  Detail & Related papers  (2020-09-21T03:04:57Z)
• Tensor network models of AdS/qCFT [69.6561021616688]
  We introduce the notion of a quasiperiodic conformal field theory (qCFT) We show that qCFT can be best understood as belonging to a paradigm of discrete holography.
  arXiv  Detail & Related papers  (2020-04-08T18:00:05Z)

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.