[論文レビュー] The Smallest Shape Spaces. II. 4 Points in 1-d Suffices to have a Complex Background-Independent Theory of Inhomogeneity

Edward Anderson|arXiv (Cornell University)|Nov 28, 2017

Advanced Mathematical Theories and Applications参考文献 24被引用数 19

ひとこと要約

本稿では、1次元空間における4点を用いて、背景に依存しない不均一性の複雑な理論を展開し、それらの形状空間が複雑なタイル張りが施された2次元球面（2-sphere）を形成することを示している。モデルは衝突、対称性、合体、一様性を捉え、リービニッツ形状空間は斜辺の球面三角形として特定され、量子重力および宇宙構造形成の基礎的枠組みを提供する。

ABSTRACT

The program of understanding Shape Theory layer by layer topologically and geometrically -- proposed in Part I -- is now addressed for 4 points in 1-$d$. Topological shape space graphs are far more complex here, whereas metric shape spaces are (pieces of) spheres which admit an intricate shape-theoretically significant tessellation. Metric shapes covers a far wider range of notions of inhomogeneity: collisions, symmetric states, mergers and uniform states are all distinctly realized in this model. We furthermore provide quantifiers for the extent to which various ways which configurations maximally and minimally realize these. Some of the uniform states additionally form cusps and higher catastrophes in the indistinguishable-particle and Leibniz shape spaces. We also provide shape-theoretically significant notions of centre for the indistinguishable-particle and Leibniz shape spaces. 4 points in 1-$d$ constitutes a useful and already highly nontrivial model of inhomogeneity and of uniformity -- both topics of cosmological interest -- and also of background independence: of interest in the foundations of physics and in quantum gravity. We finally give the automorphism groups of the topological shape space graphs and the metric shape space (pieces of) manifolds, which is a crucial preliminary toward quantizing the indistinguishable-particle and Leibniz versions of the model.

研究の動機と目的

• 1次元空間における4点を用いた最小限で背景に依存しない系として、不均一性および一様性の包括的理論を構築すること。
• 1次元空間における4粒子の位相的および計量的形状空間の特徴を明らかにすること。これには、グラフ構造と多様体幾何が含まれる。
• 形状空間内での衝突、対称性、合体、一様状態といった異なる種類の配置を同定・定量化すること。
• 形状空間の自己同型群を特定すること。これは、量子化への重要な一歩である。
• リービニッツ形状空間を斜辺の球面三角形として特定し、形状統計および量子重力の新しい幾何的モデルを提供すること。

提案手法

• 1次元空間における4点の位相的形状空間グラフを構築し、これは(3,1)の場合と比べてはるかに複雑である。
• 計量的形状空間を2次元球面（S²）またはその商（実射影空間RP²、および区別不能粒子のためのリービニッツ空間）として分析する。
• 球面幾何を用いて、リービニッツ空間の角と辺が二重の二項衝突、反転対称配置、中心配置に対応することを同定する。
• グラフ論的手法を用いて、不均一性および一様性の定性的なタイプ（エッジ数・頂点数のカウントを含む）を定義・数える。
• オイラー標数（χ）やパス数（p(G)）といった位相的不変量を用いて、形状タイプを分類し、配置多様性の定量的測度を導出する。
• エッジ数（e(G)）、オイラー標数（χ(G)）、パス数（p(G)）といったグラフパラメータを用いて、近似および総合的な定性的タイプ（Q_approxおよびQ_total）の公式を導出する。コンパクトで境界のない空間に対しては簡略化が可能である。

実験結果

リサーチクエスチョン

• RQ1 1次元空間における4点の形状空間グラフおよび計量多様体は、3点の場合と比較して、位相的および幾何学的複雑性においてどのように異なるか？
• RQ2 1次元空間における4点モデル内での、不均一性の明確な実現形態（衝突、対称状態、合体、一様配置など）は何か？
• RQ3 区別不能粒子のためのリービニッツ形状空間（Leibniz shape space）は幾何学的にどのように構造化されており、そのタイル張りは形状理論的対称性について何を明らかにするか？
• RQ4 位相的および計量的形状空間の自己同型群は何か？また、それらは量子化をどのように支援するか？
• RQ5 グラフ論的および位相的不変量を用いて、形状空間内での一様性および合体構造をどのように定量的に測定できるか？

主な発見

• 1次元空間における区別不能4粒子のリービニッツ形状空間は、2次元球面の1/48を占める斜辺の球面三角形であり、頂点は二重の二項衝突および反転対称配置に対応する。
• 計量的形状空間は2次元球面（S²）であり、リービニッツ商は斜辺の三角形を形成し、二等辺および斜辺の球面三角形による複雑なタイル張りを許容する。
• 定性的な形状タイプの数は、(3,1)の1から(4,1)の約150にまで増加し、位相的および幾何学的多様性の著しい増加を示している。
• 最も一様な配置は正三角形配置として特定され、質量加重直径の最大および最小値は単位慣性モーメントあたり明示的に計算されている。
• 位相的形状空間グラフおよび計量的形状空間多様体の自己同型群が導出され、量子化のための重要な基盤が提供された。
• エッジ数（e(G)）、オイラー標数（χ(G)）、パス数（p(G)）を用いたグラフ不変量を用いて、不均一性および一様性の定量的測度（Q_approxおよびQ_total）が導出され、閉形式の式が得られた。