[论文解读] Spined categories: generalizing tree-width beyond graphs

Benjamin Merlin Bumpus, Zoltan A. Kocsis|arXiv (Cornell University)|Apr 5, 2021

Data Visualization and Analytics被引用 4

一句话总结

本文引入了脊柱范畴——一种范畴论框架，将树宽的概念从图推广至多种数学结构。通过定义伪弦图完成与三角剖分函子，该框架统一了图、超图、模商、着色分解等结构中的树宽类比，其核心结果为：三角剖分函子恢复了标准图的树宽加一。

ABSTRACT

Tree-width is an invaluable tool for computational problems on graphs. But often one would like to compute on other kinds of objects (e.g. decorated graphs or even algebraic structures) where there is no known tree-width analogue. Here we define an abstract analogue of tree-width which provides a uniform definition of various tree-width-like invariants including graph tree-width, hypergraph tree-width, complemented tree-width and even new constructions such as the tree-width of modular quotients. We obtain this generalization by developing a general theory of categories that admit abstract analogues of both tree decompositions and tree-width; we call these pseudo-chordal completions and the triangulation functor respectively.

研究动机与目标

• 开发一种适用于有限简单图之外的统一、抽象的树分解与树宽定义。
• 将树宽推广至代数与非图论结构，如超图、模商与着色。
• 通过函子性构造提供宽度度量的范畴论基础，避免使用顶点或边等图特有概念。
• 确定范畴可接受三角剖分函子（广义树宽）的条件，通过可度量脊柱范畴的概念实现。
• 建立一个系统化推导新宽度度量（如模树宽、着色树宽）的框架，基于范畴论原理。

提出的方法

• 将脊柱范畴定义为配备脊柱（一个ℕ-索引的对象序列）的范畴，确保任意对象到某个脊柱对象存在足够多的态射。
• 将伪弦图完成定义为树分解的抽象类比，使用代理上包络（proxy pushouts）来建模分解结构。
• 构造三角剖分函子为从脊柱范畴到自然数偏序集的S-函子，广义化树宽。
• 通过将构造提升至商结构或标记结构，利用三角剖分函子在模商与正规着色等设定中定义宽度度量。
• 证明当范畴可度量时，三角剖分函子唯一确定，其存在性的障碍为通用且最小。
• 在图的范畴中，验证三角剖分函子恢复标准图树宽加一，从而验证该广义化的正确性。

实验结果

研究问题

• RQ1 能否使用统一的范畴论定义，将树宽推广至图之外的数学结构？
• RQ2 何种范畴条件可确保存在类比于树宽的函子性宽度度量？
• RQ3 如何通过代理上包络与脊柱抽象化树分解概念，同时保持函子性？
• RQ4 能否系统化地从该框架推导出新宽度度量（如模树宽、着色树宽）？
• RQ5 在任意范畴中定义此类宽度函子时，其限制或障碍为何？

主要发现

• 在图的范畴中，三角剖分函子满足 ΔGr(G) = tw(G) + 1，确认该抽象构造恢复了标准图树宽。
• 该框架可推广至超图，此时三角剖分函子再次恢复已知的超图树宽。
• 模树宽定义为图的所有模商中树宽的最小值，通过在模商范畴上应用三角剖分函子推导得出。
• 通过将三角剖分函子应用于图的正规着色范畴，引入了新的宽度度量——着色树宽。
• 可度量脊柱范畴具有唯一的三角剖分函子，其存在性的障碍仅为通用且最小，表明其具有广泛适用性。
• 该框架可通过选择适当的脊柱与态射类，系统化地推导出代数与序理论设定（如偏序集与着色结构）中的宽度度量。