Search arXivSearch

arXiv · 2506.23375

Motifs and Emergent Feedback in Labeled Graphs

Abstract

In fields ranging from business to systems biology, directed graphs with edges labeled by signs are used to model systems in a simple way: the nodes represent entities of some sort, and an edge indicates that one entity directly affects another either positively or negatively. Multiplying the signs along a directed path of edges lets us determine indirect positive or negative effects, and if the path is a loop we call this a positive or negative feedback loop. Here we generalize this to graphs with edges labeled by a monoid, whose elements represent `polarities' possibly more general than simply "positive" or "negative". We study three notions of morphism between graphs with labeled edges, each with its own distinctive application: to refine a simple graph into a complicated one, to transform a complicated graph into a simple one, and to find recurring patterns called "motifs". We construct three corresponding symmetric monoidal double categories of "open" graphs. We also study feedback loops using a generalization of the homology of a graph to homology with coefficients in a commutative monoid. In particular, we describe the emergence of new feedback loops when we compose open graphs using a variant of the Mayer-Vietoris exact sequence for homology with coefficients in a commutative monoid.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

John C. Baez, Adittya Chaudhuri. 2026-03-18. Motifs and Emergent Feedback in Labeled Graphs. https://arxiv.org/abs/2506.23375

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hochschild cohomology of the second kind: Koszul duality and Morita invariance

We define Hochschild cohomology of the second kind for differential graded (dg) or curved algebras as a derived functor in the twisted derived category. The Hochschild cohomology of the second kind of a curved or curved algebra $A$ is then equivalent to the classical Hochschild cohomology of the twisted derived dg category of $A$, which is often geometrically meaningful. Examples include the category of $\infty$-local systems on a topological space, the bounded derived category of a complex manifold and the category of matrix factorizations. We also show that Hochschild cohomology of the second kind is preserved under (nonconilpotent) Koszul duality and weak equivalences of curved algebras. The main technical ingredient is a new bimodule version of Koszul duality.

math.CT

Localization of lax symmetric monoidal categories

In this note, we explain in some detail how one can fiberwise localize a (co)lax symmetric monoidal infinity-category. This construction was tacitly used in Section 5 of our recent paper "On the equivalence of the Lurie's infinity-operads and dendroidal infinity-operads". Version 2: A stronger version of the result is proven. Given a locally cocartesian fibration $f:X\to B$ and a collection of marked arrows $X^\circ\subset f^{-1}(B^{eq})$ in $X$ closed under locally cocartesian liftings, we prove that the localization $\mathcal{L}(X,X^\circ)\to B$ is also a locally cocartesian fibration whose fibers are localizations of the fibers of $f$. This result is applied to the description of localizations of lax symmetric monoidal categories.

math.CT

Cocompactness and Presentability

We give a short proof that $κ$-cocompact objects in a presentable category are subterminal. As our main result, we extend this to the setting of presentable $\infty$-categories. A consequence is that an $\infty$-category $\mathcal{C}$ such that both $\mathcal{C}$ and $\mathcal{C}^\mathsf{op}$ are presentable is a small complete lattice, extending a classical theorem of Gabriel-Ulmer. Along the way, we prove a nilpotence result for phantom maps in general pointed presentable $\infty$-categories. Additionally, we show that a strengthening of our main result is equivalent to the existence of a proper class of measurable cardinals.

math.CT