[论文解读] Rubber Relationalism: Smallest Graph-Theoretically Nontrivial Leibniz Spaces

Edward Anderson|arXiv (Cornell University)|May 9, 2018

Topological and Geometric Data Analysis参考文献 30被引用 3

一句话总结

本文通过将不可区分、镜像对称点构型建模为编码拓扑邻接关系的图，引入了橡胶关系主义——即N体问题中莱布尼茨空间的拓扑抽象。其识别出最小非平凡情形分别为：ℝ上的N=5，ℝᵈ（d≥2）上的N=6，以及𝕊¹上的N=6，残差图揭示了普遍的锥点结构及与N相关的特定信息。

ABSTRACT

Kendall's Similarity Shape Theory for constellations of N points in the carrier space $\mathbb{R}^d$ as quotiented by the similarity group was developed for use in Probability and Statistics. It was subsequently shown to reside within Mechanics' Shape-and-Scale Theory, in which points are interpreted as particles, carrier space plays the role of absolute space, and the Euclidean group is quotiented out. Let us jointly refer to Shape(-and-Scale) Theory as Relational Theory, and to its reduced configuration spaces as relational spaces. We now consider a less structured version: the Topological Relational Theory of `rubber configurations'. This already encodes some features of the much more diverse Geometrical Relational Theories. In contrast with the latter's (stratified) manifold relational spaces, the former's are graphs: much simpler to treat; their edges encode topological adjacency. We concentrate on Leibniz spaces, corresponding to indistinguishable points and mirror-image identification. These are moreover the building blocks of the distinguishable and (where possible) mirror-image distinct cases' relational spaces. For connected manifold without boundary carrier spaces, there are just 3 'rubber relationalisms: $\mathbb{R}$, $\mathbb{S}^1$, and a joint one for all carrier spaces with $d \geq 2$. For $d \geq 2$, rubber configurations are in 1:1 correspondence with partitions, with $\mathbb{S}^1$ and $\mathbb{R}$ giving successive refinements. We find that generic and maximal configurations are universally present as cone points, as are binaries in the first 2 cases. Deconing leaves us with residue graphs containing the N-specific information. We provide graph-theoretical nontriviality criteria for which N = 6, 6 and 5 are minimal across these models, and stronger such for which N = 8, 8 and 6 are minimal, and outline GR topology-change analogue-model and N-body problem applications.

研究动机与目标

• 通过用仅编码拓扑邻接关系的图论“橡胶构型”替代基于度量的关系空间，发展形状理论的拓扑类比。
• 利用图论标准，识别在莱布尼茨商化（不可区分性与镜像对称性识别）下最小的非平凡关系空间。
• 确定在三种通用载体空间模型（ℝ、ℝᵈ（d≥2）和𝕊¹）中，橡胶莱布尼茨空间变为非平凡的最小N值。
• 分析通用构型与最大构型作为锥点的角色，并通过去锥化操作提取与N相关的特定信息。
• 建立橡胶关系主义与背景无关理论中应用的联系，包括广义相对论中的拓扑变化与N体问题。

提出的方法

• 将载体空间（ℝ、ℝᵈ、𝕊¹）上的N点构型建模为图，其中边表示拓扑邻接关系，形成“橡胶关系空间”。
• 应用莱布尼茨商化——识别不可区分点与镜像对称构型——以将构型空间简化为最小关系图。
• 利用分拆理论表明，d≥2维下的橡胶构型与集合分拆之间存在双射关系，ℝ与𝕊¹情形提供逐步细化。
• 通过移除锥点（通用构型与最大构型）定义“残差图”，从而隔离与N相关的拓扑信息。
• 应用图论非平凡性标准，确定非平凡性的最小N值：三个模型分别为N=6、6、5；更强标准下则为N=8、8、6。
• 借助格论与哈斯图，将商化构型空间解释为有界格，反序对偶性将群作用与商结构联系起来。

实验结果

研究问题

• RQ1 在ℝ、ℝᵈ（d≥2）和𝕊¹中，橡胶莱布尼茨空间在图论意义上何时首次变得非平凡？最小点数N是多少？
• RQ2 通用构型与最大构型如何在橡胶关系图中表现为锥点？它们在构型空间拓扑中起什么作用？
• RQ3 去锥化后的残差图在多大程度上编码了关于构型的N特异性信息？
• RQ4 ℝ、ℝᵈ（d≥2）与𝕊¹模型在分拆结构的细化上存在何种差异？哪些普遍性类被识别出来？
• RQ5 橡胶关系主义能否作为背景无关理论中拓扑变化与N体问题的简化模型？

主要发现

• 对于ℝ载体空间，最小非平凡的橡胶莱布尼茨空间出现在N=5，其残差图为“船锚”图。
• 在d≥2情形下，最小非平凡情况为N=6，残差图为“潜艇”图，代表ℝᵈ的联合普遍类。
• 对于𝕊¹载体空间，最小非平凡情况同样为N=6，残差图为“航空母舰”图。
• 通用构型与最大构型在所有三个模型中均普遍表现为锥点，去锥化后得到的残差图编码了与N相关的特定关系结构。
• 更强的非平凡性标准识别出三类模型的最小N值分别为N=8、8、6，表明在更严格条件下非平凡性的阈值更高。
• d≥2情形下的橡胶关系空间与集合分拆一一对应，且完整的关联结构由群作用与商化空间之间的格论对偶性所捕获。