A Profunctorial Semantics for Quantum Supermaps

• URL: http://arxiv.org/abs/2402.02997v2
• Date: Thu, 23 May 2024 11:20:43 GMT
• Title: A Profunctorial Semantics for Quantum Supermaps
• Authors: James Hefford, Matt Wilson,
• Abstract summary: Black-box generalisations of diagrams-with-holes are placed within the broader field of profunctor optics, as morphisms in the category of copresheaves on concrete networks. We show that at the heart of these factorisation theorems lies the Yoneda lemma and the notion of representability.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We identify morphisms of strong profunctors as a categorification of quantum supermaps. These black-box generalisations of diagrams-with-holes are hence placed within the broader field of profunctor optics, as morphisms in the category of copresheaves on concrete networks. This enables the first construction of abstract logical connectives such as tensor products and negations for supermaps in a totally theory-independent setting. These logical connectives are found to be all that is needed to abstractly model the key structural features of the quantum theory of supermaps: black-box indefinite causal order, black-box definite causal order, and the factorisation of definitely causally ordered supermaps into concrete circuit diagrams. We demonstrate that at the heart of these factorisation theorems lies the Yoneda lemma and the notion of representability.

Related papers

• On Infinite Tensor Networks, Complementary Recovery and Type II Factors [39.58317527488534]
  We study local operator algebras at the boundary of infinite tensor networks. We decompose the limiting Hilbert space and the algebras of observables in a way that keeps track of the entanglement in the network.
  arXiv  Detail & Related papers  (2025-03-31T18:00:09Z)
• Enlargement of symmetry groups in physics: a practitioner's guide [0.0]
  Wigner's classification has led to the insight that projective unitary representations play a prominent role in quantum mechanics. This article provides a step-by-step guide on describing projective unitary representations as unitary representations of the enlarged group.
  arXiv  Detail & Related papers  (2024-12-06T01:19:18Z)
• An explicit tensor notation for quantum computing [0.0]
  This paper introduces a formalism that aims to describe the intricacies of quantum computation. The focus is on providing a comprehensive representation of quantum states for multiple qubits and the quantum gates that manipulate them.
  arXiv  Detail & Related papers  (2024-09-16T17:21:17Z)
• A diagrammatic language for the Causaloid framework [0.0]
  Causaloid framework aims to house both the radical aspects of General Relativity -- dynamic causal structure, and Quantum Theory -- indefiniteness. One may consider it as a generalisation of generalised probability theories (or GPTs) where a priori regions are not assumed to have any given causal relationship. This is the first paper in a trilogy of papers aiming to close the gap between the Causaloid (that allows for GPTs) and post-quantum studies that employ Hilbert spaces.
  arXiv  Detail & Related papers  (2024-07-01T17:59:23Z)
• Numerical investigations of the extensive entanglement Hamiltonian in quantum spin ladders [9.617349193925188]
  Entanglement constitutes one of the key concepts in quantum mechanics and serves as an indispensable tool in the understanding of quantum many-body systems. We perform extensive numerical investigations of extensive entanglement properties of coupled quantum spin chains.
  arXiv  Detail & Related papers  (2023-11-03T04:06:20Z)
• Weyl channels for multipartite systems [42.37986459997699]
  Quantum channels describe unitary and non-unitary evolution of quantum systems. We show that these channels are completely characterized by elements drawn of finite cyclic groups.
  arXiv  Detail & Related papers  (2023-10-17T02:45:47Z)
• 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)
• Connecting classical finite exchangeability to quantum theory [45.76759085727843]
  Exchangeability is a fundamental concept in probability theory and statistics. It allows to model situations where the order of observations does not matter. It is well known that both theorems do not hold for finitely exchangeable sequences.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• Remote detectability from entanglement bootstrap I: Kirby's torus trick [12.486251587769203]
  Remote detectability is often taken as a physical assumption in the study of topologically ordered systems. We show under the entanglement bootstrap approach that remote detectability is a necessary property; that is, we derive it as a theorem.
  arXiv  Detail & Related papers  (2023-01-17T19:00:02Z)
• 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)
• The Ultraviolet Structure of Quantum Field Theories. Part 1: Quantum Mechanics [0.0]
  This paper fires the opening salvo in the systematic construction of the lattice-continuum correspondence. The focus will be on quantum field theory in (0+1)D, i.e. quantum mechanics.
  arXiv  Detail & Related papers  (2021-05-24T18:00:06Z)
• A Mathematical Framework for Causally Structured Dilations and its Relation to Quantum Self-Testing [0.0]
  This thesis recast quantum self-testing [MY98,MY04] in operational terms. An input-output process is modelled by a causally structured channel in some fixed theory. implementations are modelled by causally structured dilations formalising hidden side-computations.
  arXiv  Detail & Related papers  (2021-03-03T10:32:34Z)
• Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
  We present the construction of quantum Hamiltonians for a three-body system consisting of identical bosons mutually coupled by a two-body interaction of zero range. For a large part of the presentation, infinite scattering length will be considered.
  arXiv  Detail & Related papers  (2020-06-03T17:54:43Z)
• Emergence of classical behavior in the early universe [68.8204255655161]
  Three notions are often assumed to be essentially equivalent, representing different facets of the same phenomenon. We analyze them in general Friedmann-Lemaitre- Robertson-Walker space-times through the lens of geometric structures on the classical phase space. The analysis shows that: (i) inflation does not play an essential role; classical behavior can emerge much more generally; (ii) the three notions are conceptually distinct; classicality can emerge in one sense but not in another.
  arXiv  Detail & Related papers  (2020-04-22T16:38:25Z)

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.