Extending Resource Monotones using Kan Extensions

• URL: http://arxiv.org/abs/2206.09784v3
• Date: Mon, 31 Jul 2023 10:38:48 GMT
• Title: Extending Resource Monotones using Kan Extensions
• Authors: Robin Cockett, Isabelle Jianing Geng, Carlo Maria Scandolo, Priyaa Varshinee Srinivasan
• Abstract summary: We show that Kan extensions provide a precise categorical framework to describe and compute such extensions of monotones. We describe monotones as pCat functors into the preorder of non-negative real numbers, and describe extending monotones along any pCat functor. We show how our framework works by applying it to extend entanglement monotones for bipartite pure states to bipartite mixed states, to extend classical divergences to the quantum setting, and to extend a non-uniformity monotone from classical probabilistic theory to quantum theory.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In this paper we generalize the framework proposed by Gour and Tomamichel regarding extensions of monotones for resource theories. A monotone for a resource theory assigns a real number to each resource in the theory signifying the utility or the value of the resource. Gour and Tomamichel studied the problem of extending monotones using set-theoretical framework when a resource theory embeds fully and faithfully into the larger theory. One can generalize the problem of computing monotone extensions to scenarios when there exists a functorial transformation of one resource theory to another instead of just a full and faithful inclusion. In this article, we show that (point-wise) Kan extensions provide a precise categorical framework to describe and compute such extensions of monotones. To set up monotone extensions using Kan extensions, we introduce partitioned categories (pCat)as a framework for resource theories and pCat functors to formalize relationship between resource theories. We describe monotones as pCat functors into the preorder of non-negative real numbers, and describe extending monotones along any pCat functor using Kan extensions. We show how our framework works by applying it to extend entanglement monotones for bipartite pure states to bipartite mixed states, to extend classical divergences to the quantum setting, and to extend a non-uniformity monotone from classical probabilistic theory to quantum theory.

Related papers

• Conceptual and formal groundwork for the study of resource dependence relations [0.0]
  A resource theory imposes a preorder over states, with one state being above another if the first can be converted to the second by a free operation. It follows that there can be nontrivial dependence relations between different notions of resourcefulness.
  arXiv  Detail & Related papers  (2024-06-28T18:04:31Z)
• Connecting classical finite exchangeability to quantum theory [69.62715388742298]
  Exchangeability is a fundamental concept in probability theory and statistics. We show how a de Finetti-like representation theorem for finitely exchangeable sequences requires a mathematical representation which is formally equivalent to quantum theory.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• A Study of Neural Collapse Phenomenon: Grassmannian Frame, Symmetry and Generalization [91.95109845914267]
  We extend original Neural Collapse Phenomenon by proving Generalized Neural Collapse hypothesis. We obtain Grassmannian Frame structure from the optimization and generalization of classification. We provide a theorem to explain Symmetric Generalization of permutation.
  arXiv  Detail & Related papers  (2023-04-18T11:35:14Z)
• Sequences of resource monotones from modular Hamiltonian polynomials [0.0]
  We show that entanglement monotones yield infinite sequences of inequalities that must be satisfied in majorizing state transitions. These inequalities give improved lower bounds for the work cost in finite dimensional systems. As an application to thermodynamics, one can use them to derive finite-dimension corrections to the Clausius inequality.
  arXiv  Detail & Related papers  (2023-01-03T11:33:44Z)
• Unifying different notions of quantum incompatibility into a strict hierarchy of resource theories of communication [60.18814584837969]
  We introduce the notion of q-compatibility, which unifies different notions of POVMs, channels, and instruments incompatibility. We are able to pinpoint exactly what each notion of incompatibility consists of, in terms of information-theoretic resources.
  arXiv  Detail & Related papers  (2022-11-16T21:33:31Z)
• Monotonicity versions of Epstein's Concavity Theorem and related inequalities [3.42658286826597]
  Many trace inequalities can be expressed either as concavity/ entropy theorems or as monotonicity theorems. A classic example is the joint convexity of the quantum entropy is equivalent to the Data Processing Inequality.
  arXiv  Detail & Related papers  (2022-05-04T22:08:37Z)
• Using Partial Monotonicity in Submodular Maximization [13.23676270963484]
  We show that for many standard submodular algorithms one can prove new approximation guarantees that depend on the monotonicity ratio. This leads to improved approximation ratios for the common machine learning applications of movie recommendation, quadratic programming and image summarization.
  arXiv  Detail & Related papers  (2022-02-07T10:35:40Z)
• Learning Algebraic Recombination for Compositional Generalization [71.78771157219428]
  We propose LeAR, an end-to-end neural model to learn algebraic recombination for compositional generalization. Key insight is to model the semantic parsing task as a homomorphism between a latent syntactic algebra and a semantic algebra. Experiments on two realistic and comprehensive compositional generalization demonstrate the effectiveness of our model.
  arXiv  Detail & Related papers  (2021-07-14T07:23:46Z)
• Topological Quantum Gravity of the Ricci Flow [62.997667081978825]
  We present a family of topological quantum gravity theories associated with the geometric theory of the Ricci flow. First, we use BRST quantization to construct a "primitive" topological Lifshitz-type theory for only the spatial metric. We extend the primitive theory by gauging foliation-preserving spacetime symmetries.
  arXiv  Detail & Related papers  (2020-10-29T06:15:30Z)
• Coupling-based Invertible Neural Networks Are Universal Diffeomorphism Approximators [72.62940905965267]
  Invertible neural networks based on coupling flows (CF-INNs) have various machine learning applications such as image synthesis and representation learning. Are CF-INNs universal approximators for invertible functions? We prove a general theorem to show the equivalence of the universality for certain diffeomorphism classes.
  arXiv  Detail & Related papers  (2020-06-20T02:07:37Z)
• Monotones in General Resource Theories [0.0]
  Various constructions of monotones appear in many different resource theories. Monotones based on contractions arise naturally in the latter class. We present our results within a novel framework for resource theories in which the notion of composition is independent of the types of the resources involved.
  arXiv  Detail & Related papers  (2019-12-15T18:38:40Z)

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.