Enriching Diagrams with Algebraic Operations

• URL: http://arxiv.org/abs/2310.11288v3
• Date: Mon, 29 Jan 2024 12:37:06 GMT
• Title: Enriching Diagrams with Algebraic Operations
• Authors: Alejandro Villoria, Henning Basold, Alfons Laarman
• Abstract summary: We extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We show how this construction can be used for diagrammatic reasoning of noise in quantum systems.
• Score: 49.1574468325115
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In this paper, we extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We achieve this by considering monoidal categories that are enriched in the category of Eilenberg-Moore algebras for a monad. Under the condition that this monad is monoidal and affine, we construct an adjunction between symmetric monoidal categories and symmetric monoidal categories enriched over algebras for the monad. This allows us to devise an extension, and its semantics, of the ZX-calculus with probabilistic choices by freely enriching over convex algebras, which are the algebras of the finite distribution monad. We show how this construction can be used for diagrammatic reasoning of noise in quantum systems.

Related papers

• Algebraic method of group classification for semi-normalized classes of differential equations [0.0]
  We prove the important theorems on factoring out symmetry groups and invariance algebras of systems from semi-normalized classes. Nontrivial examples of classes that arise in real-world applications are provided.
  arXiv  Detail & Related papers  (2024-08-29T20:42:04Z)
• An algebraic formulation of nonassociative quantum mechanics [0.0]
  We develop a version of quantum mechanics that can handle nonassociative algebras of observables. Our approach is naturally probabilistic and is based on using the universal enveloping algebra of a general nonassociative algebra.
  arXiv  Detail & Related papers  (2023-11-07T01:36:23Z)
• Algebras of actions in an agent's representations of the world [51.06229789727133]
  We use our framework to reproduce the symmetry-based representations from the symmetry-based disentangled representation learning formalism. We then study the algebras of the transformations of worlds with features that occur in simple reinforcement learning scenarios. Using computational methods, that we developed, we extract the algebras of the transformations of these worlds and classify them according to their properties.
  arXiv  Detail & Related papers  (2023-10-02T18:24:51Z)
• Discovering Sparse Representations of Lie Groups with Machine Learning [55.41644538483948]
  We show that our method reproduces the canonical representations of the generators of the Lorentz group. This approach is completely general and can be used to find the infinitesimal generators for any Lie group.
  arXiv  Detail & Related papers  (2023-02-10T17:12:05Z)
• Deep Learning Symmetries and Their Lie Groups, Algebras, and Subalgebras from First Principles [55.41644538483948]
  We design a deep-learning algorithm for the discovery and identification of the continuous group of symmetries present in a labeled dataset. We use fully connected neural networks to model the transformations symmetry and the corresponding generators. Our study also opens the door for using a machine learning approach in the mathematical study of Lie groups and their properties.
  arXiv  Detail & Related papers  (2023-01-13T16:25:25Z)
• Qudit lattice surgery [91.3755431537592]
  We observe that lattice surgery, a model of fault-tolerant qubit computation, generalises straightforwardly to arbitrary finite-dimensional qudits. We relate the model to the ZX-calculus, a diagrammatic language based on Hopf-Frobenius algebras.
  arXiv  Detail & Related papers  (2022-04-27T23:41:04Z)
• Non-determinsitic algebraic rewriting as adjunction [0.0]
  We develop a general model theoretic semantics to rewriting beyond the usual confluence and termination assumptions. This is based on preordered algebra which is a model theory that extends many sorted algebra.
  arXiv  Detail & Related papers  (2022-04-26T07:55:09Z)
• 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)
• An Algebraic Framework for Multi-Qudit Computations with Generalized Clifford Algebras [0.0]
  We develop a framework of axioms which abstracts various high-level properties of multi-qudit representations of generalized Clifford algebras. This framework opens the way for developing a graphical calculus for multi-qudit representations of generalized Clifford algebras.
  arXiv  Detail & Related papers  (2021-03-29T04:32:59Z)
• Categories of Br\`egman operations and epistemic (co)monads [0.0]
  We construct a categorical framework for nonlinear postquantum inference, with embeddings of convex closed sets of suitable reflexive Banach spaces as objects. It provides a nonlinear convex analytic analogue of Chencov's programme of study of categories of linear positive maps between spaces of states. We show that the bregmanian approach provides some special cases of this setting.
  arXiv  Detail & Related papers  (2021-03-13T23:10:29Z)

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.