Supermaps on generalised theories

• URL: http://arxiv.org/abs/2602.23865v1
• Date: Fri, 27 Feb 2026 10:05:24 GMT
• Title: Supermaps on generalised theories
• Authors: Matt Wilson, James Hefford, Timothée Hoffreumon,
• Abstract summary: Categorical supermaps generalise higher-order quantum operations from finite-dimensional quantum theory to arbitrary circuit theories.<n>We show that the recently proposed higher-order processes on boxworld can be obtained as a particular instance of categorical supermaps.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Categorical supermaps generalise higher-order quantum operations from finite-dimensional quantum theory to arbitrary circuit theories. In this paper, we establish the Yoneda lemma for categorical supermaps, which states that whenever a physical theory has a suitable notion of channel-state duality, then categorical supermaps on that theory can be concretely represented in terms of that duality. This lemma eliminates any guesswork or ambiguity when defining the appropriate notion of supermap for these theories. As a concrete application, we show that the recently proposed higher-order processes on boxworld can be obtained as a particular instance of categorical supermaps, and put forward a stable definition of higher-order real quantum theory.

Related papers

• Quantum Theory Can Decohere from a Causally-Indefinite Post-Quantum Theory [0.0]
  We find a process satisfying the axioms of hyper-decoherence which produces standard quantum theory from the theory of quantum boxes.<n>This hyper-decoherence map evades the no-go theorem of Lee and Selby by relaxing constraints on signalling to the past.
  arXiv  Detail & Related papers  (2025-11-04T17:58:47Z)
• Achieving Maximal Causal Indefiniteness in a Maximally Nonlocal Theory [0.0]
  We show that in maximal theories, respecting non-signalling relations, single system state-spaces do not admit superposition; however, composite systems do. We provide a concrete example of a maximally Bell-nonlocal theory, which allows for post-quantum violations of theory-independent inequalities. These findings might point towards potential connections between a theory's ability to admit indefinite causal order, Bell-nonlocal correlations and the structure of its state spaces.
  arXiv  Detail & Related papers  (2024-11-06T19:01:47Z)
• Indefinite causal order in boxworld theories [0.0]
  We investigate indefinite causal order in boxworld theories. We find that we trivially recover the full set of two-way signaling correlations. We conjecture that the set of correlations of our higher-order boxworld theory is an outer approximation to the set of correlations produced by higher-order quantum theory.
  arXiv  Detail & Related papers  (2024-11-01T18:04:53Z)
• A Profunctorial Semantics for Quantum Supermaps [0.0]
  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.
  arXiv  Detail & Related papers  (2024-02-05T13:35:03Z)
• Derivation of Standard Quantum Theory via State Discrimination [53.64687146666141]
  General Probabilistic Theories (GPTs) is a new information theoretical approach to single out standard quantum theory. We focus on the bound of the performance for an information task called state discrimination in general models. We characterize standard quantum theory out of general models in GPTs by the bound of the performance for state discrimination.
  arXiv  Detail & Related papers  (2023-07-21T00:02:11Z)
• Entanglement Witnessing for Lattice Gauge Theories [0.0]
  Entanglement is assuming a central role in modern quantum many-body physics. We develop the theoretical framework of entanglement witnessing for lattice gauge theories. We illustrate the concept at the example of a $mathrmU(1)$ lattice gauge theory in 2+1 dimensions.
  arXiv  Detail & Related papers  (2022-07-01T18:01:21Z)
• 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)
• Stochastic approximate state conversion for entanglement and general quantum resource theories [41.94295877935867]
  An important problem in any quantum resource theory is to determine how quantum states can be converted into each other. Very few results have been presented on the intermediate regime between probabilistic and approximate transformations. We show that these bounds imply an upper bound on the rates for various classes of states under probabilistic transformations. We also show that the deterministic version of the single copy bounds can be applied for drawing limitations on the manipulation of quantum channels.
  arXiv  Detail & Related papers  (2021-11-24T17:29:43Z)
• Observers of quantum systems cannot agree to disagree [55.41644538483948]
  We ask whether agreement between observers can serve as a physical principle that must hold for any theory of the world. We construct examples of (postquantum) no-signaling boxes where observers can agree to disagree.
  arXiv  Detail & Related papers  (2021-02-17T19:00:04Z)
• Entanglement and Complexity of Purification in (1+1)-dimensional free Conformal Field Theories [55.53519491066413]
  We find pure states in an enlarged Hilbert space that encode the mixed state of a quantum field theory as a partial trace. We analyze these quantities for two intervals in the vacuum of free bosonic and Ising conformal field theories.
  arXiv  Detail & Related papers  (2020-09-24T18:00:13Z)
• Perfect Discrimination in Approximate Quantum Theory of General Probabilistic Theories [51.7367238070864]
  We define larger measurement classes that are smoothly connected with the class of POVMs via a parameter. We give a sufficient condition of perfect discrimination, which shows a significant improvement beyond the class of POVMs.
  arXiv  Detail & Related papers  (2020-04-10T08:45:20Z)
• From a quantum theory to a classical one [117.44028458220427]
  We present and discuss a formal approach for describing the quantum to classical crossover. The method was originally introduced by L. Yaffe in 1982 for tackling large-$N$ quantum field theories.
  arXiv  Detail & Related papers  (2020-04-01T09:16:38Z)

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.