[論文レビュー] 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）の円密着定理を適用し、平面的グラフと一致する接続関係を持つディスク密着を取得すること。
• ローレンツ幾何の枠組みを用いてディスク密着を3次元のボール密着に拡大し、接続関係を保持すること。
• リンク図式の各交差に対して、反転幾何と独自の基底を用いて2つの特別なボール（ブリッジボール）を追加し、正しい上／下交差構造を保証すること。
• 反転座標とM"obius群の作用を用いて、二次形式と反転積を介してボールの位置と曲率を計算すること。
• ブリッジボールに対して区分的線形変換を適用し、リンク図式に基づいた正しい下／上交差構造を正確にモデル化すること。

実験結果

リサーチクエスチョン

• RQ1 任意のリンクを接するボールのネックレスとして表現するために必要な最小の実心ボール数は何か？
• RQ2 リンクのボール数が交差数に関して線形的に上界を持つことは可能か？
• RQ3 円密着およびボール密着に基づく幾何的構成を用いて、R³における位相的リンクをどのように実現できるか？
• RQ4 上界 ball(L) ≤ 5cr(L) を ball(L) ≤ 4cr(L) に改善することは可能か、特に交番リンクに対しては？
• RQ5 このようなネックレス表現におけるボールの座標と半径を明示的に計算するためのアルゴリズムを構築することは可能か？

主な発見

• 本稿では、任意のリンク L に対して ball(L) ≤ 5cr(L) が成り立つことを証明し、交差数を用いた最初の一般線形上界を提供する。
• ボールの中心と半径を明示的に計算するための具体的なアルゴリズムが開発され、R³内にリンクのネックレス表現を形成するための 5cr(L) 個のボールを生成する。
• 中点グラフからのディスク密着を生成するためにコーエッブ＝アンドレーエフ＝サーストンの円密着定理が用いられる。
• 各交差に対して、反転幾何と独自の基底を用いて2つの追加ボールが追加され、正しい位相的連結性と上／下交差構造が保証される。
• ボール密着の接続関係グラフには、元のリンクとアービットホメオモルフィックなハミルトン閉路が含まれる。
• この手法は実装され、図形としての三葉結び目と 7₃ 結び目について検証され、それぞれ35個および40個のボールを用いて理論的上界が確認された。