Monoidal Width: Capturing Rank Width
Category Theory
2023-08-01 v3 Logic in Computer Science
Abstract
Monoidal width was recently introduced by the authors as a measure of the complexity of decomposing morphisms in monoidal categories. We have shown that in a monoidal category of cospans of graphs, monoidal width and its variants can be used to capture tree width, path width and branch width. In this paper we study monoidal width in a category of matrices, and in an extension to a different monoidal category of open graphs, where the connectivity information is handled with matrix algebra and graphs are composed along edges instead of vertices. We show that here monoidal width captures rank width: a measure of graph complexity that has received much attention in recent years.
Cite
@article{arxiv.2205.08916,
title = {Monoidal Width: Capturing Rank Width},
author = {Elena Di Lavore and Paweł Sobociński},
journal= {arXiv preprint arXiv:2205.08916},
year = {2023}
}
Comments
In Proceedings ACT 2022, arXiv:2307.15519