[论文解读] Rigidity-Induced Scaling Laws in Unit Distance Graphs: The Algebraic Collapse of Dense Substructures

Lucas Aloisio|arXiv (Cornell University)|Jan 25, 2026

Geometric and Algebraic Topology被引用 0

一句话总结

论文将刚性理论与 Cayley-Menger 变种结合，表明平面上的密集单位距离子图坍缩为一维构型，提升了对经典 O(n^{4/3}) 界限的直觉理解。

ABSTRACT

We revisit the classical Unit Distance Problem posed by Erdős in 1946. While the upper bound of $O(n^{4/3})$ established by Spencer, Szemer'edi, and Trotter (1984) is tight for systems of pseudo-circles, it fails to account for the algebraic rigidity inherent to the Euclidean metric. By integrating structural rigidity decomposition with the theory of Cayley-Menger varieties, we demonstrate that unit distance graphs exceeding a critical density must contain rigid bipartite subgraphs. We prove a "Flatness Lemma," supported by symbolic computation of the elimination ideal, showing that the configuration variety of a unit-distance $K_{3,3}$ (and by extension $K_{4,4}$) in $\mathbb{R}^2$ is algebraically singular and collapses to a lower-dimensional locus. This dimensional reduction precludes the existence of the amorphous, high-incidence structures required to sustain the $n^{4/3}$ scaling, effectively improving the upper bound for non-degenerate Euclidean configurations.

研究动机与目标

• 通过引入欧几里得度量的代数刚性，推动对 Erdős 单位距离问题的改进。
• 证明密集双分子单位距离子图在平面上不能灵活实现，导致维度坍缩。
• 通过 Cayley-Menger 变种和 Gröbner 基计算形式化 Flatness 引理，以减少可能的构型。
• 论证 O(n^{4/3}) 上界是拓扑伪像，在刚性约束下不可实现。

提出的方法

• 用 Cayley-Menger 变种在实代数几何中建模单位距离构型。
• 施加刚性分解，识别密集双分子子图作为高发生率的潜在证据。
• 利用显式 Gröbner 基计算分析 K_{3,3} 与 K_{4,4} 的单位距离实现并检测奇异性。
• 证明 Flatness 引理，证明密集双分图的嵌入导致 1D 构造空间。
• 论证与无定形高发生结构不兼容的代数坍缩排除了 n^{4/3} 的比例扩展。

实验结果

研究问题

• RQ1 平面中的密集单位距离子图能否灵活实现，还是被刚性约束代数性地过约束？
• RQ2 密集双分子子图的存在是否导致维度收缩，与 n^{4/3} 的尺度不符？
• RQ3 Cayley-Menger 约束对 K_{3,3} 与 K_{4,4} 在平面中的可实现性有何影响？
• RQ4 Flatness 引理如何改变伪圆之外的单位距离构型可能性的格局？

主要发现

• 密集双分子子图是无法在平面上灵活实现的刚性簇。
• Flatness 引理显示 K_{3,3}（以及 K_{4,4}）的单位距离实现变体的维度至多为 1（或坍缩到更低维的轨道）。
• Gröbner 基计算揭示过约束的多项式关系，强制 K_{3,3} 与 K_{4,4} 的共线性或有限刚性实现。
• 代数坍缩阻止了实现 n^{4/3} 标度所需的无定形高发生结构，按欧几里得度量需遵循刚性约束。
• 因此，对于非退化欧几里得构型，传统上界 O(n^{4/3}) 因刚性约束而不可实现。