[论文解读] The moduli space of n tropically collinear points in R^d

Mike Develin|ArXiv.org|Jan 19, 2004

Polynomial and algebraic computation参考文献 3被引用 5

一句话总结

本文研究了 $\mathbb{R}^d$ 中 $n$ 个热带共线点的模空间，证明当 $d=3$ 时，$n \times d$ 矩阵的热带秩为二的单纯复形是可壳化的，并计算了其上同调。此外，本文进一步分析了巴尔维诺克秩为二的子复形，证明其上同调具有周期性且有界，并通过‘图像类’给出了组合分解，其交集遵循逐坐标规则，对系统发育学和优化问题具有启示意义。

ABSTRACT

The tropical semiring (R, min, +) has enjoyed a recent renaissance, owing to its connections to mathematical biology as well as optimization and algebraic geometry. In this paper, we investigate the space of labeled n-point configurations lying on a tropical line in d-space, which is interpretable as the space of n-species phylogenetic trees. This is equivalent to the space of d by n matrices of tropical rank two, a simplicial complex. We prove that this simplicial complex is shellable for dimension d=3 and compute its homology in this case, conjecturing that this complex is shellable in general. We also investigate the space of d by n matrices of Barvinok rank two, a subcomplex directly related to optimization, giving a complete description of this subcomplex in the case d=3.

研究动机与目标

• 理解 $\mathbb{R}^d$ 中位于一条热带直线上的 $n$ 个点构型的几何与拓扑结构，该结构可建模具有 $n$ 个物种种系的系统发育树。
• 分析 $n \times d$ 矩阵的热带秩为二的单纯复形，证明当 $d=3$ 时其为可壳化复形，并计算其上同调。
• 研究巴尔维诺克秩为二的子复形，该子复形在优化中出现，并在上同调中表现出非平凡挠率。
• 将巴尔维诺克秩为二的复形通过组合分解为‘图像类’，并建立其可预测的交集规则。
• 推测热带秩为二的复形在一般情况下是可壳化的，并且无论 $n$ 如何增加，巴尔维诺克秩为二的复形的上同调复杂度保持有界。

提出的方法

• 将 $\mathbb{R}^d$ 中位于一条热带直线上的 $n$ 个点的 $n$-元组空间表示为模去平移与缩放后的 $n \times d$ 矩阵的热带秩为二的集合。
• 在热带射影空间 $\mathbb{TP}^{d-1} = \mathbb{R}^d / (1,\ldots,1)\mathbb{R}$ 中工作，以消除平凡对称性。
• 基于直线与点位置的组合结构，将模空间划分为‘图像类’的图示分解。
• 通过一张表格定义图像类的逐坐标交集规则，用于计算最大公共子图像。
• 应用可壳化技术，证明当 $d=3$ 时，热带秩为二的复形是可壳化的。
• 计算巴尔维诺克秩为二的复形 $B_{d,n}$ 在 $d=3$ 时的约化上同调，得到 $H_\star(B_{3,4}) = (0, \mathbb{Z}/2, 0, \mathbb{Z}/2, 0, \mathbb{Z})$ 和 $H_\star(B_{4,6}) = (0, \mathbb{Z}/2, 0, 0, \mathbb{Z}/2, 0, \mathbb{Z})$。

实验结果

研究问题

• RQ1 对于一般的 $d$，$n \times d$ 矩阵的热带秩为二的单纯复形是否可壳化？
• RQ2 $\mathbb{R}^d$ 中位于一条热带直线上的 $n$-元组点的上同调是什么？
• RQ3 巴尔维诺克秩为二的子复形在拓扑上与完整的热带秩为二的复形有何不同？
• RQ4 巴尔维诺克秩为二的复形能否分解为有限多个与 $n$ 无关的组合类型？
• RQ5 随着 $n$ 增大，巴尔维诺克秩为二的复形的上同调复杂度是否保持有界？

主要发现

• 当 $d=3$ 时，$n \times d$ 矩阵的热带秩为二的单纯复形是可壳化的，支持了其在一般情况下可壳化的猜想。
• 巴尔维诺克秩为二的复形 $B_{3,4}$ 的约化上同调为 $H_\star(B_{3,4}) = (0, \mathbb{Z}/2, 0, \mathbb{Z}/2, 0, \mathbb{Z})$。
• 当 $d=4$，$n=6$ 时，$B_{4,6}$ 的约化上同调为 $H_\star(B_{4,6}) = (0, \mathbb{Z}/2, 0, 0, \mathbb{Z}/2, 0, \mathbb{Z})$。
• 巴尔维诺克秩为二的复形 $B_{d,n}$ 在 $d=4$ 时可分解为 12 个图像类，每个图像类对应一棵带桥的树上点的组合构型。
• 任意两个图像类的交集对应于其字符串的逐坐标交集，随后应用规则：若 $C$ 存在，则将 $A$、$B$ 和 $3$ 替换为 $C$。
• 在 $B_{d,n}$ 中，图像类的数量与 $n$ 无关，表明 $B_{d,n}$ 的上同调复杂度不会随 $n$ 增大而增长。