[论文解读] Ball packings for links

Jorge L. Ramírez Alfonsín, Iván Rasskin|arXiv (Cornell University)|Oct 1, 2020

Computational Geometry and Mesh Generation参考文献 22被引用 5

一句话总结

该论文通过洛伦兹几何与科贝-安德烈耶夫-瑟斯顿圆堆积定理，建立了链的球数不超过其交叉数5倍的上界，证明了 ball(L) ≤ 5cr(L)。作者通过将链图的中线图的圆盘堆积与几何球堆积构造相结合，构建了 R³ 中任意链的串珠表示，从而给出了一种显式算法，用于计算串珠中球的中心与半径。

ABSTRACT

The ball number of a link $L$, denoted by $ball(L)$, is the minimum number of solid balls (not necessarily of the same size) needed to realize a necklace representing $L$. In this paper, we show that $ball(L)\leq 5 cr(L)$ where $cr(L)$ denotes the crossing number of $L$. To this end, we use Lorentz geometry applied to ball packings. The well-known Koebe-Andreev-Thurston circle packing Theorem is also an important brick for the proof. Our approach yields to an algorithm to construct explicitly the desired necklace representation of $L$ in the 3-dimensional space.

研究动机与目标

• 建立链的球数相对于其交叉数的上界。
• 发展一种构造性几何方法，将任意链实现在 R³ 中的相切球串珠结构中。
• 提供一个显式算法，用于计算串珠表示中球的中心与半径。
• 探讨链不变量（球数）与洛伦兹几何及反演变换几何中几何堆积之间的关系。
• 研究是否可能存在更紧的上界，例如 ball(L) ≤ 4cr(L)，特别是对交错链而言。

提出的方法

• 从链图及其中线图构造一个简单平面图，该图包含一个与链投影同痕的子图。
• 应用科贝-安德烈耶夫-瑟斯顿（KAT）圆堆积定理，获得一个圆盘堆积，其相切图与平面图一致。
• 利用洛伦兹几何框架，将圆盘堆积扩展为三维球堆积，同时保持相切关系。
• 对于链图中的每个交叉点，使用反演变换几何与自定义基底添加两个特殊球（桥球），以确保正确的上下交叉结构。
• 使用反演变换坐标与莫比乌斯群作用，通过二次型与反演变换积计算球的位置与曲率。
• 对桥球应用分段线性变换，根据链图正确建模上下交叉关系。

实验结果

研究问题

• RQ1 表示任意链为相切球串珠所需的最少实心球数量是多少？
• RQ2 链的球数能否以交叉数的线性函数形式有界？
• RQ3 基于圆堆积与球堆积的几何构造，如何在 R³ 中实现拓扑链？
• RQ4 是否可能将上界 ball(L) ≤ 5cr(L) 改进为 ball(L) ≤ 4cr(L)，特别是对交错链而言？
• RQ5 能否构造一个算法，显式计算此类串珠表示中球的坐标与半径？

主要发现

• 论文证明了对任意链 L，均有 ball(L) ≤ 5cr(L)，这是首次以交叉数为参数的通用线性上界。
• 开发了一种显式算法，可计算 5cr(L) 个球的中心与半径，以形成 R³ 中链的串珠表示。
• 该构造利用科贝-安德烈耶夫-瑟斯顿圆堆积定理，从链图的中线图生成圆盘堆积。
• 对于每个交叉点，通过反演变换几何与自定义基底添加两个额外球，确保拓扑链接关系正确，且具有正确的上下交叉结构。
• 所得球堆积的相切图包含一个哈密顿圈，该圈与原始链在空间中同痕。
• 该方法在示例中实现并验证，如三叶结与 7₃ 链，分别使用 35 个与 40 个球，确认了理论上的上界。