导语
作为数学的一个分支，拓扑学以独特的方式描述空间的性质和结构。近年来，几何和拓扑在机器学习中得到了广泛应用，尤其是拓扑模型，在数据表示和特征提取方面有着重要作用。拓扑数据分析（Topological Data Analysis, TDA）植根于代数拓扑和计算拓扑，在处理具有结构性的数据上得到了极大的发展，并逐渐成为Math for AI的一个重要方面。
在集智俱乐部「数学与人工智能读书会」中，夏克林老师讨论了拓扑数据分析（Topological Data Analysis, TDA）的主要思想和模型，首先介绍了基本的拓扑数据表示模型，尤其是基于数据的单纯复形构造，以及和传统图模型的差异，之后介绍了基于单纯复形的拓扑深度学习。拓扑数据分析在刻画复杂的高阶相互作用方面展示出极大的优越性，尤其是它可以刻画体系最本质的拓扑信息。
拓扑数据分析将进一步促进我们对数据的本质信息的挖掘和刻画，为提高机器学习模型的精度、可解释性、迁移性等打下坚实的数学基础。
研究领域：复杂系统，Math for AI，拓扑数据分析，单纯复形，拓扑深度学习，图神经网络，过滤流过程。
1. 数据的拓扑表示
本章以分子数据处理为切入点，探讨拓扑数据分析（Topological Data Analysis, TDA）的应用和特点。AI在数据处理上的两个关键环节——数据表征和建模分析特性，与拓扑数据分析有着紧密的联系。接下来，我们将展开介绍这两个环节。
1.1 数据表征
在处理图像数据时，我们可以借助神经网络模型生成相应的数据表示。例如通过提取特定的特征点构建网格模型进行人脸识别。除了网格模型，还有其他如特征图和热度图等不同的数据表示方式。虽然源自同一图像数据，但从数学角度可以建立起不同的模型：最简单的矩阵模型，或者点阵模型、网格模型，甚至更复杂的函数模型。一旦数学模型建立，就可以基于模型提取特征，并与后续关注的信息产生联系，如通过多层感知器（MLP）进行预测等。
类似地，在处理分子数据（如小分子数据和蛋白质数据）时，也有多种不同的数据表示方式。一种常见方法是基于共价键的图表征，其中每个节点代表一个原子，边代表共价键，形成一种图的表示形式。此外，还有几何方法，例如将原子看作半径固定的球体，观察者可以从球体集合的外部，即分子的表面进行研究，查看其表面积或凸凹区域。这些凸凹区域与原子间的相互作用信息有关，这种描述更偏向几何。
更进一步，还可以通过密度泛函理论来计算电子密度或电子函数分布，将分子数据转化为一种空间形态的数据表现形式。因此，尽管源自同样的分子数据，我们可以从多个角度对其进行表征。一旦完成表征，就可以在此基础上提取各种特性，包括各种指纹（fingerprint）和描述符（descriptor）等等。这些性质可能和最终想要理解的功能产生联系，例如溶解性、脂溶性、毒性等。
1.2 分子结构的建模
在构建关于分子功能模型的过程中，大量使用了结构数据。这是因为分子的结构和其功能之间存在强烈的关系，被称为“结构-功能关系”（Structure-Function Relationship）。例如，离子通道蛋白质的显著特点是它们中间有一个洞，这个洞对离子通道的功能至关重要，因为它方便了细胞膜外部的离子进入膜内，或者膜内的离子离开细胞。
另一个例子是蛋白质笼，这种蛋白质的表面有一定结构，但其内部是空的，就像用来装东西的盒子，这种空心的结构有利于某些物质的存储和运输。最后一个例子是具有两个固定区域，并通过一个灵活连接区域相连的分子。这种结构可以形成一种开关状态，使得分子能够处于激发态或非激发态，从而影响其功能。
无论是通过共价键连接还是通过非共价键的相互作用，都会影响最终的稳定态结构，这种稳定态结构与分子功能紧密相关。因此，描述分子的结构对于理解分子功能具有重要作用。为更好地描绘分子的结构，大量的描述符（无论是组合量，代数量还是几何量）被提取了出来。在这些描述符中，有一些关注拓扑特性，比如图上向量、几何量等等，还有一些关注组合或邻近信息的指纹。
在大量关于结构的描述量中，可能存在某些更本质、更全局的量，它们能够更好地抓住结构的整体信息，从而在理解和描绘分子的功能方面起到更重要的作用。这就引出了拓扑数据处理的核心：通过拓扑不变量来描述数据。
2. 拓扑数据处理的特征
拓扑数据分析与传统的工具相比有三个主要特征：
1）单纯复形：采用单纯复形（simplicial complex）的描述方式，相比图描述能捕获数据中更丰富的拓扑和几何信息。
2）拓扑不变量：拓扑数据分析使用拓扑不变量，而非仅仅依赖于统计量或描述性量。这些拓扑不变量可以提供对数据的深度理解，包括数据的连接性、洞等复杂结构。
3）过滤流过程：拓扑数据分析包含一个过滤流过程，这个过滤流过程可以与系统内的多尺度描述很好地结合。通过从不同的尺度去观察和分析数据，我们能够得到更全面的信息。
2.1 单纯复形
在非数学领域，如计算机科学、工程和生物学中，人们通常使用图来表达实体之间的连接关系。然而，在基础数学领域中，更常使用的是称为单纯复形（Simplicial Complex）的描述方式。作为高级的拓扑工具，单纯复形能更好地描绘复杂系统中的结构信息。
与图相比，单纯复形有几个重要的不同点：
1）高维度描绘：除表示节点和边（即0维和1维的对象），单纯复形可以表示更高维度的对象。例如，填充的三角形代表一个2维的对象，填充的四面体代表3维对象。
2）高阶相互作用：图主要描述两两之间的相互作用，而通过引入“更高维度的单元”，单纯复形能够表达出超过两个实体之间的相互作用。例如，填充的三角形表示三个实体之间的相互作用，填充的四面体表示四个实体之间的相互作用。注意二者的区别，用一个形象的比喻来解释：图可以表示父亲与孩子的关系，以及母亲与孩子的关系；而复形则能表示父亲、母亲、孩子三者组成的家庭单位的关系，用一个填充的二维三角形。
3）距离和体积的描述：图通常只能描述路径或距离，单纯复形则可以描述面积，两边夹角（2维单元）或者体积（3维单元）。这为我们提供了更高阶的信息，使我们能够捕获到实体间更复杂的相互作用。
举个简单的例子，从一组点和固定距离构造一个复形（Vietoris-Rips复形）。或者复杂些，在微分拓扑中，根据函数导数取值0的信息及其正定性将流形分片（Morse复形）。
2.2 拓扑不变量
拓扑不变量是对拓扑空间性质的一种刻画，在数据分析中提供了全局和本质的视角。相较于如PCA这样的统计方法，它更关注整体的性质。举两个经典的拓扑不变量例子：
1）欧拉示性数：欧拉示性数取值为“顶点数减去边数加上面数”（V-E+F）。对于拓扑等价于球体的多面体（例如立方体或八面体等），欧拉示性数均为2。这是因为在拓扑意义上，这些形状都可以被连续地变形为球形。
2）贝蒂数：贝蒂数是在拓扑数据分析（TDA）中常用的拓扑不变量，用来描述拓扑空间的复杂度。零维的贝蒂数表示连通分支的数量，一维贝蒂数表示独立环路的数量，二维贝蒂数表示“空心”球面的数量，等等。
2.3 过滤流过程
过滤流过程（filtration）是拓扑数据分析的核心概念。这个过程可以理解为不断改变尺度以观察复杂系统如何随着尺度的变化而变化。过滤流过程在不同的尺度上描述单纯复形，并且生成相应的条形码来记录每个尺度下的拓扑信息。
通过过滤流过程和单纯复形，我们可以从全局和多尺度的角度理解复杂系统的结构，并通过贝蒂数这类拓扑不变量来量化这些性质。这种方法在机器学习、迁移学习等领域有着重要的应用，相比传统的统计工具，它提供了对数据深层本质结构的理解。
3. 拓扑深度学习
3.1 拓扑深度学习的基本流程
前边更多是从数学角度出发的讨论，在处理真实世界的问题时，我们该如何将拓扑理论应用到化学分子等具体科学问题上？以碳60分子为例，C60是由60个碳原子组成的分子，其形状类似于足球，包含了12个五元环和20个六元环。
在贝蒂-0中，有60个条形码，其中30个较短，30个较长。较短的代表碳碳双键，因为双键较强，原子拉得近；而较长的则代表碳碳单键，比双键要弱，因此距离稍长。这样，贝蒂-0描述的是共价键的信息。
在贝蒂-1中，有32个条形码，其中12个较短，20个较长。较短的对应五元环，而较长的则对应六元环。所以，贝蒂-1描述的是环的信息。
在贝蒂-2中，可以看到一个长条形码，这个对应C60分子的整体空心结构。
通过这些特征信息，我们将拓扑数据分析与机器学习相结合。例如在数据上构建不同类型的单纯复形，进行过滤流过程，得到条形码，然后提取各种特征（如最长的条形码、最短的条形码、总的数量等），并将这些特征输入到机器学习模型，如Random Forest或Gradient Boosting Tree等，进行功能预测等任务。这样就实现了拓扑深度学习的基本流程。
3.2 领域相关工作
在拓扑数据分析（TDA）与机器学习相结合的研究领域中，魏国卫教授和他的团队做了大量的创新性工作。他们通过TDA提取数据集的特征，并将这些特征用于各种预测任务。在过去的几年里，在图网络并未广泛应用、且可处理数据量相对较小（通常在三千到四千之间）的时代，他们的研究成果表明TDA能提取出比传统统计方法或某些特定组合更有效的特征。
从多个benchmark数据集的结果来看，他们的基于TDA的模型表现非常好。尤其值得注意的是，他们在D3R药物设计比赛中，通过结合TDA和机器学习的方法，在2017和2018两届比赛中都取得了显著的优势，并超越了许多传统的方法。他们在TDA和机器学习结合的研究方向上的早期工作，为该领域奠定了坚实的基础。
3.3 Persistent Spectral：谱图法结合过滤流过程
在观察和分析数据时，主要有两种方式：一是考虑数据的表征（representation），二是利用数据的特性（features）。前面讨论我们主要关注拓扑的特性，包括各种拓扑不变量，它们描述了结构的复杂性。另一方面，当我们想保留数据的更精细的特征，就需要考虑数据的其他数学不变量。
例如，针对图或单纯复形，我们可以考虑谱图方法以及它的扩展，这种方法基于图、单纯复形或超图上的离散拉普拉斯算子（Hodge Laplacian），并用其谱的信息进行数据表示。
为将这两种思路相结合，我们提出一种新的模型Persistent Spectral。这个模型综合利用了过滤流过程和谱图方法，在保留数据原始形态的同时，还能揭示其内在的拓扑特性。
3.4 Ricci曲率
另外一个重要的不变量是几何不变量，例如Ricci曲率。Ricci曲率能够捕获图或网络中的社区结构或簇（cluster）结构。当图中有一个紧密连接的社区或聚类时，这个区域的Ricci曲率通常是一个较大的正值。而连接两个不同社区或聚类的桥梁部分，Ricci曲率则可能为负值。因此，许多研究者利用Ricci曲率的赋值方法来描述网络中各区域之间的相互连接性。
Ricci曲率及其它各种曲率都是用来描述整体结构、簇结构、社区结构以及链接结构间关系的重要工具，能用于揭示网络或数据集内部丰富复杂的拓扑和几何属性。
实际上，上边提到的信息可以相互关联起来。比如，拓扑学中的贝蒂数（homology信息）和Hodge Laplacian中的零特征值是一一对应的。离散形式的Ricci曲率（例如Forman Ricci curvature）也可以通过与Hodge Laplacian的某种组合（比如Bochner-Weitzenb?ck公式）来产生联系。
使用这些工具从不同角度描述数据的结构：
- Ricci曲率帮助我们理解数据的几何性质；
- 贝蒂数或者更一般的homology信息揭示数据的拓扑性质；
- 谱方法则能捕获网络或数据集的全局特性。
3.5 单纯复形的构造
上边主要介绍几种基于数学不变量的数据的特征（featurization），包括贝蒂数、曲率和谱信息等方式。另一个更本质的问题是数据的表征（representation）。比如用图、单纯复形，以及超图来表征数据。
考虑图或单纯复形的子结构，比如社区、簇或模块等。这些子结构往往能够展示数据内部更加精细的组织形式，从而帮助我们更准确地理解和预测系统的行为。此外，也可以考虑动态的视角，比如时间演化网络，这种视角可以帮助我们理解系统的变化和发展规律。
构造单纯复形的方法很多，除了常用的方法如Clique complex，VR complex，Alpha complex等等，下面会介绍三种方法，它们在拓扑学中有着广泛应用。另一个拓扑信息还可以通过其他代数模型来表征，这里我们将介绍一种特殊的代数模型，Tor-algebra。
3.5.1 Neighborhood Complex
最简单的构造方式是邻域复形（Neighborhood Complex），基于给定图中的邻接关系来构建。如果有一个点，其邻接点有三个，我们将这四个点构成一个四边形（称为2-simplex）。如果邻接点中有两点也相互邻接，则连起这两个点构成一条边（1-simplex）。如果有三点相互邻接，那么将这三点组成一个填充的三角形（2-simplex）。通过这种方式将图转化为邻域复形。
这种邻域复形所描述的拓扑信息与由其他方式（例如Clique Complex）所得到的结果会有显著的不同。
3.5.2 Dowker Complex
当研究两个实体间的相互作用，例如两个分子之间的连接时，我们可能更关心分子之间的全局交互关系，而不是各自内部的连接方式。此时二部图（bipartite graph）是一个很好的工具，我们将小分子（例如蓝点和绿点）视为图节点，再根据它们之间的相互作用关系添加边。
在此基础上构建邻域复形。由于蓝点的所有邻接点位于绿点集合中，反之亦然，因此最终得到了两个单纯复形，分别由蓝点和绿点组成，借助Dowker复形探讨实体之间的相互作用关系。
3.5.3 Hom复形
更复杂的场景可以用“Hom Complex”构造方式，这种方法适用于研究两个图的相互作用。其核心是构建一个称为Polyhedral Complex的结构，其中元素为多重同态（Multihomomorphisms）。
举个例子，假设有两个图K2和K3，选择某种映射策略将K2映射到K3。这个映射只需保证：原图存在的边，映射到新图中也存在对应边。比如将K2的点K1映射到K2中的点a，点x2映射到点b。但如果尝试将点K1和x2都映射到点a，那就会出现问题，因为在原图中点x1和x2之间存在边，但在新图中，点a无法形成自环。
如上图所示，将x2,x2分别映到单点集的映射构成零单形0-cell，将其中一点映到二点集的映射构成了一单形1-cell，所有这些映射η构成了复形Hom(K2, K3)。当考虑更复杂的连接关系时，比如使用高阶或卷积核样式的关系进行映射，这种方法能够帮助生成新的单纯复形，进一步反映图在这种特定内核下的深层联系。
3.5.4 Tor-algebra
我们还能将单纯复形的结构提升到更复杂的代数结构进行考虑。比如，给定一个单纯复形，定义一组多项式，并在这些多项式之间建立特定的关系（例如Stanley-Reisner理论），进而得到一个理想（ideal）的结构，然后研究这个理想的性质，例如它的Tor函数等。这样，图的拓扑信息就被转换为了代数量，单纯复形上升到代数层面，在这个层面上进行研究。
4. 基于单纯复形的图神经网络
最后一部分，夏克林老师介绍了基于单纯复形的图神经网络，可以理解为图神经网络的一种扩展。在图神经网络中，核心的想法是通过消息传递（message passing）机制，将一个节点周围邻居的信息进行聚集，并传递到目标节点，然后通过迭代这个过程，实现对整个图结构的学习。
在拓扑数据处理中，我们不再只是基于图来操作，而是在更高维度的单纯复形或者其它复杂结构（例如Stellar complex）上进行操作。例如，除了在点的层面上进行信息传递，我们也可以在边、面或更高维度的单纯形上进行类似的操作。
在进行这种复杂的拓扑数据分析时，有两个非常核心的概念：边界运算（Boundary Operation）和余边界运算（Coboundary Operation）。简单来说，边界运算是指从给定的单纯形中找到其所有低一维的面。例如，从一个边（1-simplex）出发，我们可以找到它的两个端点（0-simplex）。而余边界运算则是反向操作，即从低维单纯形出发找高一维的单纯形。
除此之外，还有两个重要关系：Lower Adjacency和Upper Adjacency。这两个关系都是描述图中的邻接关系，但方式各异。Lower Adjacency指的是当两条边有一个公共顶点时，我们称这两条边是邻接的。而Upper Adjacency则更为严格，只有当两条边共享一个高维单纯形（比如三角形）时，我们才认为它们是邻接的。
通过考虑不同的连接方式，可以进一步描绘出数据中信息传递的不同路径，并通过将不同维度的信息耦合在一起，构建一个复杂的“拓扑神经网络”。这种结合了拓扑和深度学习的研究领域还相对较新，但已经被广大研究者所关注，并有越来越多的研究工作开始尝试利用拓扑数据分析来提升深度学习模型的性能。
思考延伸在拓扑数据分析（TDA）中，我们用单纯复形来表述和理解复杂的数据结构。
然而，其他专业领域的研究者可能对这样的描述方式感到困惑。在他们眼中，原子（点）和共价键（边）具有明确的物理含义，而单纯复形中的三角形看起来似乎没有直观的物理意义？实际上，在TDA中，三角形捕获了三个元素之间的相互关系。在化学领域，这可以用来表示由三个原子组成的两个共价键之间的角度信息（bond angle）。而且这个角度信息在分子动力学的模拟中有极其重要的作用。
然而，如何更好地定义单纯复形，并用它来描述体系中的高阶相互作用仍然是TDA建模中的一个主要问题。
另外一个TDA面临的挑战是如何将抽象的数学不变量与实际问题紧密联系起来。为了解决这个问题，我们需要理解这些拓扑特征所代表的实际意义。例如数据中的环状结构是否反映出它的物理、化学、生物，或其他实际信息。尽管TDA与传统图的方法在概念上有所不同，但其在刻画复杂的高阶相互作用的问题中展示出了极大的优越性，尤其是它可以刻画体系的最本质的拓扑信息。
在实际应用中，我们需要构造合适的单纯复形来描述高阶信息，并且找出拓扑不变量的合适的实际意义，这样才能发挥TDA模型真正作用，并使模型的解释性和性能得到提升。这就需要我们深入理解问题背景，将数学工具与实际问题紧密结合，并寻找到一个合适的应用场景来展示这种方法的优点。只有这样，TDA才能表现其价值，并吸引更多人尝试使用这种新方法。
更进一步，除了拓扑数据分析，对于其他数学不变量，包括几何不变量、代数不变量、组合不变量等，也可以用于数据的表征和特征提取，这些模型将进一步促进我们对数据的本质信息的挖掘和刻画。为提高机器学习模型的精度、可解释性、迁移性等打下坚实的数学基础。