Abstract:String diagrams are a powerful and intuitive graphical syntax, originating in theoretical physics and later formalised in the context of symmetric monoidal categories. In recent years, they have found application in the modelling of various computational structures, in fields as diverse as Computer Science, Physics, Control Theory, Linguistics, and Biology. In several of these proposals, transformations of systems are modelled as rewrite rules of diagrams. These developments require a mathematical foundation for string diagram rewriting: whereas rewrite theory for terms is well-understood, the two-dimensional nature of string diagrams poses quite a few additional challenges. This work systematises and expands a series of recent conference papers, laying down such a foundation. As a first step, we focus on the case of rewrite systems for string diagrammatic theories that feature a Frobenius algebra. This common structure provides a more permissive notion of composition than the usual one available in monoidal categories, and has found many applications in areas such as concurrency, quantum theory, and electrical circuits. Notably, this structure provides an exact correspondence between the syntactic notion of string diagrams modulo Frobenius structure and the combinatorial structure of hypergraphs. Our work introduces a combinatorial interpretation of string diagram rewriting modulo Frobenius structures in terms of double-pushout hypergraph rewriting. We prove this interpretation to be sound and complete and we also show that the approach can be generalised to rewriting modulo multiple Frobenius structures. As a proof of concept, we show how to derive from these results a termination strategy for Interacting Bialgebras, an important rewrite theory in the study of quantum circuits and signal flow graphs.

Characterizing Rothe Diagrams

On the diagram of Schroeder permutations

Hard Unknots and Collapsing Tangles

Presentations of diagram categories

The Diagonals of a Ferrers Diagram

Invariants of knot diagrams

Planar Doodles: Their Properties, Codes and Classification

Symmetric diagrams for all strongly invertible knots up to 10 crossings

Properties of the Edelman-Greene bijection

A characterization of the Doob graphs

Decomposing the classifying diagram in terms of classifying spaces of groups

Hard diagrams of split links

Generalized rook-Brauer algebras and their homology

Generation of acyclic biological diagrams

Diagrams and essential sets for signed permutations

Rado matroids and a graphical calculus for boundaries of Wilson loop diagrams

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure

Growth Diagrams for Schubert RSK

Diagonal operators, $q$-Whittaker functions and rook theory

Orbits of Theta Characteristics

Acyclic Jacobi Diagrams