Link to paper

The full paper is available here.

You can also find the paper on PapersWithCode here.

Abstract

  • Regulatory networks depict interactions between molecules in a biochemical system
  • Signed graphs and signed functors are used to model and describe regulatory networks
  • Functorial mappings are established between regulatory networks and other mathematical models in biochemistry
  • Reaction networks modeled as Petri nets with signed links can be used to define a physical mechanism underlying a regulatory network
  • Regulatory networks can be associated with a Lotka-Volterra system of differential equations

Paper Content

Introduction

  • Living cells are made up of genes, proteins, and RNA molecules
  • These molecules interact in complex ways to sustain the cell
  • Regulatory networks are a directed graph that represent these interactions
  • Edges are labeled with a positive or negative sign to indicate if the interaction is activating or inhibiting
  • Network motifs are simple patterns that recur frequently in regulatory networks
  • Category theory is a natural tool to study regulatory networks
  • Sign-preserving functors can express indirect occurrences
  • Regulatory networks can be viewed as signed graphs and signed categories
  • Functorality is a safeguard for model transformation
  • Regulatory networks can be connected to biochemical reaction networks
  • Functorial assignment of continuous dynamics to regulatory networks is possible
  • Lotka-Volterra systems of equations can be used to model complex biological systems
  • Category theory is used to extend the constructions from closed systems to open ones
  • Double categories are used to compose open systems together

Qualitative analysis: motifs and mechanisms

Regulatory networks as signed graphs

  • Definition of a graph: a functor from Sch(Graph) to Set with two parallel morphisms
  • Graph consists of a set of vertices and edges, and functions assigning source and target to each edge
  • Signed graph is a graph with a function assigning a sign to each edge
  • Regulatory networks are signed graphs with vertices representing components and edges representing interactions
  • Sign-valued matrices are a special case of signed graphs
  • Morphisms of signed graphs can embed or collapse multiple vertices/edges
  • Signed graphs form a well-behaved category
  • Signed graph morphisms factor essentially uniquely as an epimorphism followed by a monomorphism

Refining regulatory networks using signed categories and functors

  • Signed morphisms do not capture the idea of refining regulatory networks
  • Signed categories are needed to express refinement
  • Signed categories have objects and morphisms with signs
  • Morphisms of signed categories are called signed functors
  • Signed functors preserve signs
  • Signed path categories are generated by signed graphs
  • Signed functors between signed graphs are determined by morphisms of signed graphs
  • Positive autoregulation is an example of a network motif
  • Instances of motifs are monic signed functors
  • A functor maps regulatory networks to instances of motifs
  • A commutative square of functors is used to extend the signed path category functor
  • Regulatory networks summarize how components of a complex biochemical system interact
  • Regulatory networks include only a subset of the system’s components
  • Regulatory networks do not model individual reactions and processes, only pairwise interactions
  • Regulatory networks are not fully mechanistic models
  • Mechanistic models in biochemistry model individual reactions
  • Petri nets with signed links have two types of vertices and signed edges
  • Signed edges represent reactions with multiple inputs/outputs, consumption, and promotion/inhibition
  • Petri nets with signed links can be approximated as signed graphs
  • A mechanistic model for a regulatory network is a Petri net with signed links and a monic signed functor

Parameterized dynamical systems

  • Baez and Pollard extended the mass-action model of reaction networks to a functor from the category of Petri nets with rates into a category of dynamical systems
  • Rate coefficients are often unknown and must be extracted from existing literature or estimated from experimental data
  • The dynamics functor is nearly identical to Baez-Pollard’s
  • The dynamics functor is the main building block in constructing a category of parameterized dynamical systems
  • Many dynamical models depend linearly on their parameters
  • The law of mass action and Lotka-Volterra equations are linear in the rate and affinity parameters
  • To express important physical constraints and to define a semantics for signed graphs, the dynamical system and its parameters are restricted to be nonnegative
  • There is a functor Dynam + : FinSet → Con that sends a finite set S to the conical space of essentially nonnegative, algebraic vector fields
  • A conically parameterized nonnegative dynamical system consists of finite sets P and S together with a conic-linear map v : R P + → Dynam + (S)
  • The categories of linearly and conically parameterized dynamical systems are finitely cocomplete
  • The initial linearly parameterized dynamical system has no parameter variables, no state variables, and the unique (trivial) vector field on the zero vector space
  • The coproduct of two linearly parameterized dynamical systems has parameter variables P 1 + P 2 , state variables S 1 + S 2 , and parameterized vector field

The lotka-volterra dynamical model

  • A Lotka-Volterra system with n species has a vector field with state vector x ∈ R n and parameters ρ ∈ R n and β ∈ R n×n
  • The parameter ρ i sets the rate of growth or decay for species i
  • The parameter β i,j defines a promoting or inhibiting effect of species j on species i
  • A functor from finite graphs to linearly parameterized dynamical systems gives a semantics for unlabeled graphs
  • A functor from finite signed graphs to conically parameterized nonnegative dynamical systems gives a semantics for regulatory networks
  • The functor LV preserves finite colimits
  • The morphism LV(p) sends the parameterized dynamical system with state variables {R, * } and parameters ρ, β ∈ R {R, * } +
  • The first way sets the system’s coefficients equal to sums of the former’s coefficients
  • The second way substitutes x * for each x i , i ∈ S, in the first system and then takes the vector field v * to be the sum of the v i ’s

Composing lotka-volterra models

  • Extending Lotka-Volterra dynamics functors between graphs and parameterized dynamical systems
  • Vertical composition is by composition in FinSet and in Para(Dynam)
  • Horizontal composition and monoidal products are by pushouts and coproducts in Para(Dynam)
  • Finite sets in the feet of the cospans interpreted as linearly parameterized dynamical systems with no parameter variables and identically zero vector fields
  • Symmetric monoidal double category Open(Para(Dynam + )) of open conically parameterized nonnegative dynamical systems
  • Projection functor π S : Para(Dynam) → FinSet
  • Left adjoint Z : FinSet → Para(Dynam)
  • Symmetric monoidal double category of Z-structured cospans
  • Double functor between open graphs and open parameterized dynamical systems
  • Coproduct of the parameter variables for identified vertices
  • Lax double functor LV : Open(FinGraph) → Open(Para(Dynam))
  • Comparison cells defined using the morphisms of linearly parameterized dynamical systems
  • Natural transformation α S : Z(S) → LV(Disc S)

Conclusion

  • Regulatory networks are a tool to describe interactions between molecules in biochemical systems
  • We studied regulatory networks, reaction networks, and parameterized dynamical systems
  • We used signed graphs, Petri nets with signed links, and Lotka-Volterra dynamics
  • We aimed to systematize the language and methods of describing, composing, and transforming scientific models
  • We studied four different motifs in regulatory networks
  • We discussed feedback loop analysis in system dynamics
  • We studied open signed graphs and open parameterized dynamical systems
  • We constructed a lax double functor between open signed graphs and open parameterized dynamical systems