[論文レビュー] Rubber Relationalism: Smallest Graph-Theoretically Nontrivial Leibniz Spaces

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

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

ひとこと要約

本稿は、N体問題におけるライプニッツ空間の位相的抽象化として、同一視可能で鏡像を同一視する点配置を、位相的隣接関係を符号化するグラフとしてモデル化することにより、ゴム的関係主義（rubber relationalism）を導入する。最小非自明ケースは、ℝでは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.

研究の動機と目的

• メトリックに基づく関係的空間の代わりに、位相的隣接関係のみを符号化するグラフに基づく「ゴム的配置」を用いることで、形状理論の位相的類似物を構築すること。
• 同一視可能であることと鏡像を同一視すること（Leibniz商）を条件として、グラフ論的基準を用いて最小非自明な関係的空間を同定すること。
• ゴム的ライプニッツ空間が非自明になる最小のNを、3つの普遍的キャリヤースペースモデル（ℝ、ℝᵈ（d≥2）、𝕊¹）において特定すること。
• 一般配置および最大配置が錐点としてどのように現れるかを解析し、デコンニング操作によりN特有の情報を抽出すること。
• ゴム的関係主義と背景独立な物理学への応用との関係を確立すること。特に、一般相対性理論におけるトポロジー変化とN体問題への応用を想定する。

提案手法

• キャリヤースペース（ℝ、ℝᵈ、𝕊¹）上でのN点配置を、辺が位相的隣接関係を表すグラフとしてモデル化し、これにより「ゴム的関係的空間」を構築する。
• Leibniz商（同一視可能点および鏡像の同一視）を適用することで、配置空間を最小の関係的グラフに縮小する。
• 分割理論を用いて、d≥2次元におけるゴム的配置が集合分割と一対一対応することを示し、ℝおよび𝕊¹のケースが順次的 refinement を提供することを示す。
• 錐点（一般配置および最大配置）を除去することで「残留グラフ」を定義し、これによりN特有の位相的情報を分離する。
• グラフ論的非自明性基準を適用し、非自明性が成立する最小のNを特定する：3つのモデルについてそれぞれN=6,6,5であり、より強い基準ではN=8,8,6となる。
• ラティス理論およびハッセ図を用いて、商化された配置空間を有界ラティスとして解釈し、群作用と商構造との間に反単調双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ℝ、ℝᵈ（d≥2）、𝕊¹において、ゴム的ライプニッツ空間がグラフ論的に非自明になる最小の点数Nは何か？
• RQ2 一般配置および最大配置は、ゴム的関係的グラフにおいてどのように錐点として現れるのか。また、配置空間の位相において果たす役割は何か？
• RQ3 デコンニング後の残留グラフが、配置に関するN特有の情報をどの程度符号化しているか？
• RQ4 ℝ、ℝᵈ（d≥2）、𝕊¹のモデルは、分割構造の精錬においてどのように異なっているのか。また、どのような普遍的クラスが出現するか？
• RQ5 ゴム的関係主義は、背景独立理論におけるトポロジー変化およびN体問題の簡易モデルとして機能しうるか？

主な発見

• 最小非自明なゴム的ライプニッツ空間は、ℝキャリヤースペースではN=5で発生し、残留グラフは「 helm 」グラフである。
• d≥2の場合、最小非自明ケースはN=6であり、残留グラフは「submarine」グラフであり、ℝᵈの共通普遍クラスを表す。
• 𝕊¹キャリヤースペースでは、最小非自明ケースもN=6であり、残留グラフは「aircraft carrier」グラフである。
• 一般配置および最大配置は、3つのモデルすべてにおいて普遍的に錐点として現れ、デコンニングによりN特有の関係的構造を符号化する残留グラフが得られる。
• より強い非自明性基準では、3つのモデルについてそれぞれN=8,8,6が最小となることが判明し、厳密な条件下での非自明性の閾値が高くなることが示された。
• d≥2のゴム的関係的空間は集合分割と一対一対応し、群作用と商化空間との間のラティス的双対性により、全関係的構造が捉えられる。