[論文レビュー] Hilbert geometry of polytopes

Andreas Bernig|arXiv (Cornell University)|Dec 5, 2008

Point processes and geometric inequalities被引用数 4

ひとこと要約

この論文は、任意の凸多面体の内部におけるヒルベルト計量が、同じ次元のノルム付きベクトル空間とバイリプシッツ同値であることを証明している。著者らは、多面体の境界を定義するアフィン関数 fᵢ を用いて、Φ(x) = ∑ log fᵢ(x) grad fᵢ で定義される明示的な微分同相写像を構成し、両方のリプシッツ連続性と微分のノルムの下界を示した。これにより、バイリプシッツ同値性が確立された。

ABSTRACT

It is shown that the Hilbert metric on the interior of a convex polytope is bilipschitz to a normed vector space of the same dimension.

研究の動機と目的

• 凸多面体上のヒルベルト計量がノルム付きベクトル空間とバイリプシッツ同値であるかどうかという未解決の問題を解消すること。
• 多面体領域におけるヒルベルト幾何学と有限次元ノルム空間との間の定量的幾何的同値性を確立すること。
• 多面体の定義アフィン関数に基づく特定の微分同相写像を用いた構成的証明を提供すること。
• 従来の多角形や C¹¹ 身体に関するヒルベルト計量の結果を一般の多面体へと拡張し、バイリプシッツ分類を明確にすること。

提案手法

• 点 x, y を通る直線が境界 ∂P と交わる部分における交比を用いて、ヒルベルト計量 d(x,y) を定義する。
• 多面体を定義するアフィン関数 fᵢ を用いて、Φ: int(P) → V* を Φ(x) = ∑ᵢ log fᵢ(x) dfᵢ で定義する。
• log fᵢ(x) と log fᵢ(y) の差の絶対値の評価と、fᵢ の勾配ノルムの境界を用いて、Φ のリプシッツ連続性を証明する。
• x ≠ y のとき、内積 ⟨Φ(x) - Φ(y), x - y⟩ が正であることを示し、Φ の単射性を確立する。
• 面の次元に関する帰納法を用いて、接空間内のベクトル v に対して、‖dΦ(v)‖₂ ≥ C_F ‖v‖ という微分の下界を示す。
• 面の近くにおける幾何的推定と商空間を用いて、低次元の多面体錐へと還元し、微分の下界が一様に保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 凸多面体上のヒルベルト計量は、ノルム付きベクトル空間とバイリプシッツ同値であるか？
• RQ2 このバイリプシッツ同値性を実現する標準的な微分同相写像を構成できるか？
• RQ3 ヒルベルト計量は多面体の境界付近でどのように振る舞い、定義するアフィン関数の幾何とどのように関係するか？
• RQ4 特に低次元の面の近くにおいても、バイリプシッツ性はすべての接方向に対して一様に成り立つか？
• RQ5 提案された写像 Φ の微分は、接空間上のフィンスラー計量とユークリッドノルムの関係において、どのように振る舞うか？

主な発見

• 任意のコンパクトな凸多面体の内部におけるヒルベルト計量は、同じ次元のノルム付きベクトル空間とバイリプシッツ同値である。
• 写像 Φ(x) = ∑ᵢ log fᵢ(x) grad fᵢ は、int(P) から V* へのバイリプシッツ微分同相写像である。
• バイリプシッツ定数は、面の数 m、定義アフィン関数の最大勾配ノルム R、多面体の直径 D のみに依存する。
• Φ のリプシッツ連続性は、不等式 ‖Φ(x) - Φ(y)‖₂ ≤ 2mR d(x,y) によって確立される。
• 微分 dΦ は、すべての接ベクトル v に対して、下界 ‖dΦ(v)‖₂ ≥ C_F ‖v‖ を満たす。ここで C_F は面の次元と多面体 P の幾何に依存する。
• この結果は int(P) のすべてのコンパクト部分集合において一様に成り立ち、微分の下界は多面体の各面の近くでも一様に保たれる。