超图阶的拓扑结构

The Topological Structures of the Orders of Hypergraphs

超图阶的拓扑结构

https://arxiv.org/pdf/2504.11760

摘要：

我们首先对二元关系的三种基本视角进行了范畴层面的探讨，随后完成了对这三种视角之间关系的映射：即将其分别视为超图的关联矩阵、概念格的形式背景，以及指定单纯（Dowker）复形在单纯（Dowker）复形上的拓扑余层。我们提供了一个整合性的函子框架，将既往已知结果与三项新结果相结合：1）给定一个二元关系，其对偶超图交复形的有界边序与其概念格之间存在序同构；2）某一背景的概念格是该背景的（抽象单纯复形）Dowker 余层的同构不变量；3）针对某关系提出的一种新型（链复形）Dowker 余层是该背景概念格的同构不变量，该结论推广了 Dowker 最初的同调结果。我们在全文中以一个贯穿始终的示例来阐释这些概念，并展示了它们与既往结果之间的关系。

1 引言

在本文中，我们探索并展示了一系列离散数学结构之间一些新颖且令人信服的函子映射及解释。源于二元关系这一最简单且基本的对象，其与高阶图和网络结构、拓扑复形以及序论和格论的一些关键关系是众所周知的。但我们发现，这个故事远未完整。

首先，对于关系数据科学最重要的一些数学结构包括图（被视为网络）和集系（sets，或索引族，或子集，有时被视为项目的列表的列表）。近年来，人们越来越强调将图和网络推广到其高阶形式即数学超图的价值。反过来，超图不仅提供了图连通性从成对关系到多路关系的推广（每个图 G 都是一个2-均匀超图），而且在更一般的关系背景下也能优雅地运作，如下所述。

在考虑同一数据的这些不同视角时始终坚持范畴论视角，也明确了每个范畴中态射的重要性。二元关系、形式背景和多重超图的范畴都有相同的对象，但对于什么是态射有不同的要求。毕竟，态射旨在保持结构。从不同视角思考这些对象时传统上强调的结构是不同的。对于关系，态射要求如果两个元素在定义域中相关，那么它们在陪域中也相关；对于多重超图，态射要求超边被发送到超边（就像图中的边到边一样），而对于背景，态射要求概念被发送到概念。

图1展示了一个函子图，代表了本文中讨论的不同范畴之间的关系，这些关系将在下面的2.3节中介绍。图2展示了不同数学对象之间的关系。

就历史背景而言，在20世纪50年代，Dowker 通过形成关系的 Dowker 复形，给出了一种通过同调透镜处理二元关系的方法 [15]。大约在1980年，FCA 引入了二元关系的格论解释 [13, 18]。将二元关系视为超图关联矩阵的第三种视角也是规范的 [4, 9]。近年来，人们尝试连接这些分离的视角，例如 FCA 和 Dowker 复形 [1, 17]。更具体地说，关系的概念格足以恢复同一关系的 Dowker 复形的同伦不变性质 [17]。形式概念分析与拓扑数据分析中的现代主题密切相关，其中一些是通过 Dowker 复形而来的 [1]。形式概念格可以从关系的超图中获得 [11]。超图和形式概念之间也存在形态学关系 [6, 31]。

本文结构如下：

• 第2节提供了关于二元关系、超图、形式背景、序论和Galois连接的必要背景知识，所有这些都从范畴论的视角出发，并包含一个贯穿全文的示例。
• 第3节明确且从范畴论角度介绍了概念格，并证明了定理1。
• 第4节在定理2中确立了概念格是[28]中构建的Dowker余层的完全不变量。简而言之，从概念格中可以恢复出Dowker余层（精确到余层同构）。
• 第5节构建了Dowker原始同调结果的推广，在定理3中得到了一个链复形的余层，其零阶单纯同调正是Dowker复形的同调（推论43）。

2 预备知识

我们现在介绍初步的符号与概念。第2.1节介绍了关于二元关系、超图和形式概念这三种视角的基础内容。这是一组初步定义，虽未总是被充分阐明，但足以在第2.2节中快速引入一个贯穿全文的示例。第2.3节介绍了范畴论的基础知识，以及本文所用范畴的列表，而第2节的后续子节将介绍来自序论与格论、拓扑Dowker复形以及Galois连接的概念。

2.1 二元关系、超图与形式背景

2.2 贯穿示例

2.3 范畴

本文利用范畴论的数学知识来提供组织框架。范畴论的核心洞见在于，除了数学对象（如集合、超图和形式背景）之外，人们还应研究这些对象的保结构变换类。虽然熟悉范畴论并非掌握本文主要思想所必需，但了解一些预备知识会有所帮助。

虽然范畴定义的抽象性可能看似过度，但范畴无处不在。使用范畴所提供的精确性使得人们能够非常明确地控制数据类型及其变换。这在我们研究的许多地方变得至关重要。概念格及其各种拓扑实例化之间的关系是微妙的，而且一些看似“显而易见”的关系并不完全正确。范畴有助于阐明这些情况下的正确关系。因此提醒读者注意，有些范畴具有直截了当的定义，这本质上是唯一可能的选择，而其他的则在其定义中需要特定的选择。

为了便于参考，本文考虑了以下范畴，这些范畴将在后续章节中定义，其中提出的函子展示在图 1中：

CompLat（定义 10）完备格（complete lattices）的范畴。

Rel（定义 12）二元关系（binary relations）的范畴。

MHyp（定义 13）由关联关系导出的多重超图（multi-hypergraphs）的范畴。

Hyp（亦见定义 14）（坍缩后的）超图（hypergraphs）的范畴，它是 MHyp 的一个全子范畴。

Asc（定义 18）抽象单纯复形（abstract simplicial complexes）的范畴。

Ctx（定义 24）形式背景（formal contexts）的范畴，它捕捉了二元关系特定元素之间的约束，以保持形式概念。

ConLat（定义 25）概念格（concept lattices）的范畴，我们也在此处引入。

CoShvAsc（定义 28）我们引入抽象单纯复形余层（cosheaves of abstract simplicial complexes）的范畴。

CoShvKom（定义 34）我们引入链复形余层（cosheaves of chain complexes）的范畴。

2.4 序论

更多细节请参见文献[13]。

2.5 超图与Dowker复形

关于超图的范畴论视角可追溯至文献[14]，近年来在文献[21]和[20]中得到了进一步的发展，并在某些情况下得到了修正。本文将采用多重超图范畴的一个略有不同的定义，我们证明由此导出的范畴是同构的。此举旨在使该范畴与本文涉及的其他范畴之间的联系更加清晰。我们将首先从关系范畴入手，因为它是一个自然的起点。

2.6 Galois连接：极映射与闭包算子

这些闭包运算在我们的示例中也是显而易见的。参考第2.2节、表1和图4，表2展示了一些对象集的示例，而表3展示了一些属性集的示例（使用紧凑集合表示法）。

3 概念格与超图

3.1 形式背景的范畴

让我们首先从 Ctx 的定义开始，该范畴与 Rel 具有相同的对象，因此也与 MHyp 相同。 不同之处在于我们对态射的要求。我们要求它们保持概念，而不仅仅是保持关联关系或将超边映射到超边。

在许多情况下，人们仅关注对象本身，在这种情况下，形式背景、二元关系、布尔矩阵和多重超图是无法区分的。然而，在这些不同情境中适当的变换——即态射——却截然不同。例如，若考虑布尔矩阵，人们可能希望将处于相似变换下的两个矩阵视为同构的。但这种同构关系对于由这两个矩阵生成的二元关系对而言可能是不恰当的。在我们的情形中，Ctx 的态射被选定用于将形式背景与其概念联系起来。作者还将指出，我们在背景范畴中使用的态射与其他文献 [25] 中所采用的态射不同。

3.3 超图的交复形

3.4 交复形与概念格

本节探讨了概念格与由背景导出的超图的交闭包上按子集序所构成的格之间的关系。我们表明，由形式背景诱导的超图的交复形的边序，在经过平凡的扩充后，与由该形式背景诱导的概念格是格同构的。

根据定义，超图的交闭包的边集构成一个交复形。如果存在作为全集的超边，则它是一个有顶交复形。

存在一个从由背景导出的简单超图到外延集的序嵌入。

下面的引理确立了 HypRep(G,M,I)中的每个超边实际上都是一个概念的外延。

4 背景与拓扑

根据概念格基本定理（引理 14–15 与推论 16），形式背景与概念格完全相互决定。另一方面，坍缩过程（即从背景的关联矩阵中移除重复行）会导致不可恢复的信息丢失（定理 1）。完全相同地，使用 HypRep 从背景 (G,M,I) 诱导出的超图也会丢失关于重复顶点（I 的行）和重复超边（I 的列）的同一性与多重性的信息。由于丢失的信息是局部于超边的，我们可以通过将其重新归属到重复的超边上来捕获这些信息，这有效地“撤销”了坍缩过程。表示这种归属数据的恰当数学对象是余层（cosheaf）。

4.1 集系上的余层结构

余层允许人们在偏序的各个位置指定数据，这与概念格非常相似。在文献 [28] 中，人们认识到 Dowker 复形可以被解释为在一个抽象单纯复形上构造抽象单纯复形的余层。本节将结合这两个洞见，以建立给定背景的余层结构与概念格之间的联系。

定义 28. [28, 定义 12] 抽象单纯复形上的抽象单纯复形余层（cosheaves of abstract simplicial complexes on abstract simplicial complexes）的类是范畴 CoShvAsc 的对象类。也就是说，CoShvAsc 的每个对象都是一个余层，其基空间（base space）是一个抽象单纯复形，且其局部余截面空间（spaces of local cosections）也是抽象单纯复形。

CoShvAsc 的态射是余层态射，受限于基空间和纤维映射（fiber maps）均为单纯映射（simplicial maps）这一约束。

拓扑空间上的余层（cosheaf on a topological space）的常规定义比定义 29 中出现的公理要求更多。特别是，余粘合（cogluing）公理是必不可少的。本文中使用的余层总是定义在由偏序集中的上闭集（upward closed sets）生成的 Alexandrov 拓扑空间上。因此，定义 29 中出现的是 Alexandrov 拓扑空间上余层的最小规范（minimal specification）。

引理 23. [12, Cor. 2.5.21] 偏序集上的余层，如定义 29 所述，唯一地确定了 Alexandrov 拓扑空间上的一个余层，对于该空间，其开集是偏序集中上闭集的并集。

由于拓扑空间中按包含关系排序的开集通过 Birkhoff 表示定理（参见例如 [30, pp. 252, 353] 或 [27]）构成一个分配格（distributive lattice），我们有以下结论。

图9展示了与贯穿示例中相同背景的 Dowker 余层。注意箭头指向下方。由于它是余层的图（diagram），余限制映射（correstriction maps）与面包含关系（face inclusions）呈反变关系。同样值得注意的是，图中所示的所有余限制映射均为包含映射。

4.2 概念格与余层

本节阐明了概念格与 Dowker 余层之间的关系。尽管我们通常更倾向于在 Dowker 复形的面偏序集上处理 Dowker 余层以减少记法上的繁琐，但这会模糊它与概念格之间的联系。具体而言，概念格是一个带标签的格（labeled lattice），但 Dowker 复形的面偏序集可能并非一个格。为了确保这两个对象之间的对应关系，我们必须在面偏序集的 Alexandrov 拓扑上进行研究。这之所以可行，归功于推论 24，即在 Alexandrov 空间上的 Dowker 余层的基空间对应于一个分配格。

5 Dowker (余)层的(上)同调

本节刻画了对偶于 Dowker 余层 R 的层的上同调。在 5.2 节中，我们将着手利用源自 R 的链复形余层推导一个更强的背景不变量。

在本节中，我们将通过形式和处理 R-向量空间的链复形。虽然这极大地简化了问题，但结果是否能推广到具有其他类型系数的链复形尚不明显。

提醒读者，链复形有其自身的范畴。

5.1 Dowker 层上同调

因为其代数结构相对更简单一些，所以先计算该背景的 Dowker 层（sheaf）的上同调，而非 Dowker 余层（cosheaf）的同调，会更容易入手。我们将在第 5.2 节中回到余层。

我们通过一系列引理逐步证明命题 32。

5.2 作为链复形余层的表示

定义 34.CoShvKom 的对象由抽象单纯复形上链复形的所有余层组成。也就是说，如果 C 是 CoShvKom 中的一个对象，其基空间是一个抽象单纯复形，且每个局部余截面空间都是一个链复形。简而言之，全局余截面是 Kom 的对象。

CoShvKom 的态射由余层态射组成，其基空间映射是单纯映射，且其纤维映射是链映射。

因为我们是在向量空间上工作，向量空间的对偶性确保我们也能在（同一个）Dowker 复形上获得一个上链复形的层。简而言之，图的结构保持不变，但由于矩阵转置，所有的箭头都反转了。这就解释了为什么 H∙(S) 是有损的。它仅考虑了网格图的最后一列。

原文链接：https://arxiv.org/pdf/2504.11760