In this note we present a sketch of a correspondence between hypergraph rewrite systems and higher-arity algebras. Our results have implications in a wide range of research areas, from diagrammatic calculus in category theory, to applied spectral methods in complex networks. Our key observation is that a choice of motif (model subhypergraph that determines a rewrite rule), induces a canonical algebraic operation on adjacency hypermatrices (higher-order tensors faithfully encoding hyperedge data). This is a direct generalization of the well-known fact that path-adjacency in graphs induces ordinary matrix multiplication. The rewrite perspective proves particularly illuminating when dealing with long-standing problems in algebraic hypergraph theory and higher-arity algebra such as higher-order sequentiality and generalized associativity.
Tue 18 JulDisplayed time zone: London change
13:30 - 15:00 | GCM Session 2GCM at Willow Chair(s): Andrea Corradini Remote Participants: Zoom Link, YouTube Livestream | ||
13:30 30mTalk | Hypergraph Rewriting and Higher-Arity Algebra GCM P: Carlos Zapata-Carratala Wolfram Institute / Society for Multidisciplinary and Fundamental Research | ||
14:00 30mTalk | Graph Edit Distance for Interaction Net Rewrite Rules GCM P: Ian Mackie University of Sussex, Shinya Sato Ibaraki University, Marc Thatcher University of Sussex | ||
14:30 30mTalk | Dynamic Tracing: a graphical language for rewriting protocols GCM |