English
Related papers

Related papers: Categorical Hopfield Networks

200 papers

In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory.…

Category Theory · Mathematics 2016-02-19 Lili Shen , Walter Tholen

This paper investigates the controllability of a broad class of recurrent neural networks widely used in theoretical neuroscience, including models of large-scale human brain dynamics. Motivated by emerging applications in non-invasive…

Optimization and Control · Mathematics 2025-09-29 Cyprien Tamekue , Ruiqi Chen , ShiNung Ching

Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding…

Quantum Algebra · Mathematics 2007-05-23 Jeffrey Morton

We provide a categorical proof of convergence for martingales and backward martingales in mean, using enriched category theory. The enrichment we use is in topological spaces, with their canonical closed monoidal structure, which encodes a…

Category Theory · Mathematics 2026-02-16 Paolo Perrone , Ruben Van Belle

Residual deep neural networks are formulated as interacting particle systems leading to a description through neural differential equations, and, in the case of large input data, through mean-field neural networks. The mean-field…

Optimization and Control · Mathematics 2024-03-14 Michael Herty , Chiara Segala , Giuseppe Visconti

This paper charts a very direct path between the categorical approach to quantum mechanics, due to Abramsky and Coecke, and the older convex-operational approach based on ordered vector spaces (recently reincarnated as "generalized…

Quantum Physics · Physics 2018-03-05 Alexander Wilce

Motivated by the work of of A. Zelevinsky on positive self-adjoint Hopf algebras, we define what we call a symmetric self-adjoint Hopf structure for a certain kind of semisimple abelian categories. It is known that every positive…

Representation Theory · Mathematics 2016-11-29 Adam Gal , Elena Gal

We introduce a class of cooperative games induced by weighted directed graphs. Specifically, the coalitional value combines an internal interaction term given by the induced subgraph game with an external component based on minimal incoming…

Computer Science and Game Theory · Computer Science 2026-05-19 David Ryzák , Tomáš Kroupa

We develop a resource theory of contextuality within the framework of symmetric monoidal categories, extending recent simplicial approaches to quantum contextuality. Building on the theory of simplicial distributions, which integrates…

Quantum Physics · Physics 2025-06-02 Aziz Kharoof , Cihan Okay

We introduce the notions of categorical integrals and categorical cointegrals of a finite tensor category $\mathcal{C}$ by using a certain adjunction between $\mathcal{C}$ and its Drinfeld center $\mathcal{Z}(\mathcal{C})$. These notions…

Category Theory · Mathematics 2017-02-09 Kenichi Shimizu

Generalising slightly the notions of a strict computability model and of a simulation between them, which were elaborated by Longley and Normann, we define canonical computability models over categories and appropriate Set-valued functors…

Category Theory · Mathematics 2021-05-17 Iosif Petrakis

We present the Multidimensional Hopfield Network (DHN), a natural generalisation of the Hopfield Network. In our theoretical investigations we focus on DHNs with a certain activation function and provide energy functions for them. We…

Neural and Evolutionary Computing · Computer Science 2023-10-12 Gergely Stomfai , Łukasz Sienkiewicz , Barbara Rychalska

The relativistic Hopfield model constitutes a generalization of the standard Hopfield model that is derived by the formal analogy between the statistical-mechanic framework embedding neural networks and the Lagrangian mechanics describing a…

Mathematical Physics · Physics 2019-05-01 Elena Agliari , Adriano Barra , Matteo Notarnicola

Since the 1980s, and particularly with the Hopfield model, recurrent neural networks or RNN became a topic of great interest. The first works of neural networks consisted of simple systems of a few neurons that were commonly simulated…

Neural and Evolutionary Computing · Computer Science 2023-04-14 Mariano Caruso , Cecilia Jarne

Topological Neural Networks (TNNs) incorporate higher-order relational information beyond pairwise interactions, enabling richer representations than Graph Neural Networks (GNNs). Concurrently, topological descriptors based on persistent…

Machine Learning · Computer Science 2024-06-06 Yogesh Verma , Amauri H Souza , Vikas Garg

Human eye movement mechanisms (saccades) are very useful for scene analysis, including object representation and pattern recognition. In this letter, a Hopfield neural network to emulate saccades is proposed. The network uses an energy…

Computer Vision and Pattern Recognition · Computer Science 2013-01-14 Teruyoshi Washizawa

The Hopfield associative memory model stores random patterns in synaptic couplings according to Hebb's rule and retrieves them through gradient descent on an energy function. This conventional setting, where neurons are assumed to have…

Disordered Systems and Neural Networks · Physics 2026-01-23 Yoshiyuki Kabashima , Kazushi Mimura

We consider the problem of symmetrising a neural network along a group homomorphism: given a homomorphism $\varphi : H \to G$, we would like a procedure that converts $H$-equivariant neural networks to $G$-equivariant ones. We formulate…

Machine Learning · Statistics 2025-01-10 Rob Cornish

A Hopf monoid (in Joyal's category of species) is an algebraic structure akin to that of a Hopf algebra. We provide a self-contained introduction to the theory of Hopf monoids in the category of species. Combinatorial structures which…

Quantum Algebra · Mathematics 2012-10-12 Marcelo Aguiar , Swapneel Mahajan

Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, including quantum…

Logic in Computer Science · Computer Science 2021-01-27 Vladimir Zamdzhiev