The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes

TL;DR

This paper develops an operadic framework to formalize hierarchical structures of discrete-time processes using directed wiring diagrams with length, enabling modeling of dynamic information flows.

Contribution

It introduces a new operad of directed wiring diagrams with length and a corresponding algebra of propagator processes, extending previous static models to dynamic systems.

Findings

Defined an operad $\\mathcal{W}$ of black boxes and wiring diagrams

Constructed a $\mathcal{W}$-algebra $\mathcal{P}$ of propagator processes

Provided multiple illustrative examples

Abstract

We investigate the hierarchical structure of processes using the mathematical theory of operads. Information or material enters a given process as a stream of inputs, and the process converts it to a stream of outputs. Output streams can then be supplied to other processes in an organized manner, and the resulting system of interconnected processes can itself be considered a macro process. To model the inherent structure in this kind of system, we define an operad $\mathcal{W}$ of black boxes and directed wiring diagrams, and we define a $\mathcal{W}$-algebra $\mathcal{P}$ of processes (which we call propagators, after Radul and Sussman). Previous operadic models of wiring diagrams use undirected wires without length, useful for modeling static systems of constraints, whereas we use directed wires with length, useful for modeling dynamic flows of information. We give multiple examples throughout to ground the ideas.