[论文解读] $N$-Body Problem: Minimal $N$'s for Qualitative Nontrivialities

Edward Anderson|arXiv (Cornell University)|Jul 23, 2018

Noncommutative and Quantum Gravity Theories参考文献 35被引用 10

一句话总结

本文研究了在任意空间维数 $d$ 下的 $N$-体问题，识别出在配置空间拓扑与几何中引发定性非平凡性的最小 $N$ 值。通过利用群作用、线性代数与形状理论，发现当 $N = d+1$（卡森对角线）时，产生拓扑球面；而 $N = d$ 和 $N = d+2$ 则分别标志着各向同性与轨道通用性的临界阈值——为理解二维中熟悉的 $N=2,3,4$ 之后 $N$-体系统复杂性增加提供了一个统一框架。

ABSTRACT

We review the $N$-Body Problem in arbitrary dimension $d$ at the kinematical level, with modelling Background Independence in mind. In particular, we give a structural analysis of its reduced configuration spaces, decomposing this subject matter into basic Topology, Geometry, Group Theory, Linear Algebra, Graph Theory and Order Theory. At the metric level, these configuration spaces of shapes form basic geometric series for 1- and 2-$d$: $\mathbb{S}^{N - 2}$ and $\mathbb{CP}^{N - 2}$, though there are no more such series for $d \geq 3$. $d \geq 3$ also sees an onset of stratification. Casson's diagonal, for which $N = d + 1$, plays a critical role which we explain in simple Linear Algebra terms; these are moreover topologically spheres. $N = d$ and $N = d + 2$ have further significance as well, the latter as regards a counting notion of genericity of the isotropy groups and kinematical orbits realized. These observations twin the $N$ = (3, 4, 5) progression in qualitative complexity that almost all $N$-Body Problem work for concrete $N$ concentrates on with the much better-known $N$ = (2, 3, 4) progression in 2-$d$: from intervals to triangles to quadrilaterals: a large source of intuitions and mathematical analogies. We furthermore provide an Order-Theoretic genericity criterion, which is almost always bounded by the double-slope $N = 2 d + 1$ line, though an accidental relation pushes $N$ up by 1 to 8 in 3-$d$. We finally consider rubber shapes, for which the configuration spaces are graphs: much simpler than stratified manifolds, and yet containing quite a few of metric-level shapes' qualitative features. This singles out $N = 5$ and 6 in 1-$d$ and $N = 6$ and 8 in $\geq$ 2-$d$ for the onsets of various graph-theoretical nontrivialities.

研究动机与目标

• 识别在任意空间维数 $d$ 下，引发 $N$-体问题中定性非平凡性的最小 $N$ 值。
• 利用拓扑学、几何学与群论工具，分析约化配置空间——特别是形状空间、缩放形状空间与相对配置空间。
• 阐明卡森对角线 ($N = d+1$) 在通过线性代数分解产生拓扑球形配置空间中的作用。
• 基于序理论建立通用性准则，其边界为 $N = 2d+1$，但 3D 中 $N=8$ 由于偶然对称性存在例外。
• 探索作为简化模型的橡皮形状，其将度量级形状空间的关键定性特征捕捉为图结构，识别出在 1D 中 $N=5,6$ 与在 $\geq 2$D 中 $N=6,8$ 处图论复杂性的起始点。

提出的方法

• 使用拓扑学、几何学、群论、线性代数、图论与序理论对 $N$-体配置空间进行结构分解。
• 通过商去除欧几里得群 $Eucl(d)$ 与相似性群 $Sim(d)$，将 $\mathbb{R}^d$ 中的 $N$ 点配置约化，得到形状空间与缩放形状空间。
• 识别出在 1D 中形状空间为 $\mathbb{S}^{N-2}$，在 2D 中为 $\mathbb{CP}^{N-2}$，但 $d \geq 3$ 时不存在此类系统级序列。
• 引入并分析 $A$-空间 $A(a;b,c) = SO(a)/(SO(b) \times SO(c))$，以描述高维 $N$-体问题中的中间轨道空间。
• 利用维数计数与主动/非主动群作用分析，对运动学轨道与各向同性群进行分类。
• 应用序理论通用性准则，以确定何时各向同性群与轨道为通用，其边界为 $N = 2d+1$，且在 3D 中需额外加 1。

实验结果

研究问题

• RQ1 在不同空间维数 $d$ 下，哪些最小 $N$ 值会触发 $N$-体问题中的定性非平凡性？
• RQ2 当 $d \geq 3$ 时，$N$-体系统约化配置空间的结构如何变化？1D 与 2D 中所见的系统级序列在 $d \geq 3$ 时由何取代？
• RQ3 在 $N = d+1$ 情况下（卡森对角线）在拓扑与线性代数中的意义为何？为何其能产生拓扑球面？
• RQ4 序理论通用性准则如何界定通用各向同性群与轨道的起始点？为何其无法预测 3D 中 $N=8$ 的情况？
• RQ5 作为图结构建模的配置空间的橡皮形状，在捕捉度量级形状空间的定性特征中起何作用？图论非平凡性在哪些 $N$ 值处出现？

主要发现

• 在 $d=1$ 时，相似形状空间为 $\mathbb{S}^{N-2}$；在 $d=2$ 时，为 $\mathbb{CP}^{N-2}$，但 $d \geq 3$ 时不存在此类系统级序列。
• 当 $N = d+1$ 时（卡森对角线），产生拓扑球形的配置空间，其可通过相对位置向量的线性代数分解直接解释。
• $N = d$ 与 $N = d+2$ 均具重要意义：$N = d$ 标志着非平凡各向同性的起始，而 $N = d+2$ 对应于各向同性群与轨道的计数型通用性。
• 序理论通用性准则的边界为 $N = 2d+1$，但在 3D 中，由于偶然对称性，阈值被提升至 $N = 8$。
• 橡皮形状——以图结构建模的配置空间——可捕捉度量级形状空间的关键定性特征；在 1D 中，$N=5$ 与 $6$ 标志着非平凡性的起始，而在 $\geq 2$D 中，$N=6$ 与 $8$ 做到这一点。
• 非平凡 $A$-空间——即 $A(a;b,c)$ 且满足 $b+c \neq a$——在 $d \geq 3$ 时的轨道空间链中出现，首个非平凡中间元素出现在 $r=3$ 时，对应于 $d=3$。