[論文レビュー] Injective Convex Polyhedra

Maël Pavón|arXiv (Cornell University)|Oct 27, 2014

Geometric and Algebraic Topology参考文献 4被引用数 2

ひとこと要約

本稿は、ℓ∞ⁿ と表記される ℝⁿ 上の ℓ∞-ノルムを備えた空間における単射的凸多面体の組合せ的特徴付けを提供する。その結果、凸多面体が単射的であるための必要十分条件は、境界上のすべての点における接錐が、単位超立方体 [−1,1]ⁿ に関連する特定の facet の非対称性条件を満たすことである。主な結果は、接錐と超立方体の境界の交わりにおいて、対称的な反対側の facet が存在しないことに基づく実用的な単射性の判定基準であり、この基準により、各不等式に高々2つの変数を含む線形不等式系の解集合が ℓ∞-距離において単射的であることが示される。

ABSTRACT

It was shown by Nachbin in 1950 that an $n$-dimensional normed space $X$ is injective or equivalently is an absolute 1-Lipschitz retract if and only if $X$ is linearly isometric to $l_\infty^n$ (i.e., $\mathbb{R}^n$ endowed with the $l_{\infty}$-metric). We give an effective convex geometric characterization of injective convex polyhedra in $l_{\infty}^n$. As an application, we prove that if the set of solutions to a linear system of inequalities with at most two variables per inequality is non-empty, then it is injective when endowed with the $l_{\infty}$-metric.

研究の動機と目的

• ℓ∞ⁿ 内の凸多面体が距離空間として単射的であるかどうかを特定する組合せ的かつ実効的な基準を提供すること。
• これまでの文献で欠落していた、単射的凸多面体の特徴付けという未解決問題を解消すること。
• 各不等式に高々2つの変数を含む線形不等式系の解集合が ℓ∞-ノルムの下で単射的であることを確立すること。
• 多面体の単射性とその面や接する超平面の単射性の違いを明確にすること。本稿では、反例を通じてその違いを示している。

提案手法

• 内部が空でない凸多面体 P ⊂ ℓ∞ⁿ が単射的であるための必要十分条件として、境界点におけるすべての接錐 TpP が単射的であること、すなわち、P が単射的であることと同値であることを証明する。
• 凸多面体錐 C ⊂ ℓ∞ⁿ の単射性に関する基準を確立する：(i) 頂点でない境界点における接錐が単射的であること、および (ii) C が [−1,1]ⁿ の相対的内部にある facet の一部と交わる facet F が存在し、−F がその交わりに含まれないこと。
• 次元に関する帰納法と射影技術（例：πs, πt）を用いて、問題を低次元のケースに還元し、不等式系の解集合を分析する。
• 線形計画法の結果と不可能ループ理論（Shostakの定理を経由）を応用し、不等式系の可解性を分析し、単射性の条件を導出する。
• リトラクションの概念を用いる：ℓ∞ⁿ から多面体 P への 1-Lipschitz リトラクションが存在するならば、P は単射的である。
• 接する半空間の構造を分析し、単位超立方体 [−1,1]ⁿ を基準として、臨界的な facet の非対称性条件を定義する。

実験結果

リサーチクエスチョン

• RQ1 ℓ∞ⁿ 内の凸多面体が距離空間として単射的であるための組合せ的条件は何か？
• RQ2 なぜ多面体の単射性が、その面や接する超平面の単射性を含意しないのか？また、このような反例はどのように構成できるか？
• RQ3 各不等式に高々2つの変数を含む線形不等式系の解集合は、ℓ∞-距離の下で常に単射的と保証できるか？
• RQ4 境界点における接錐の構造は、ℓ∞ⁿ 内の凸多面体の全体的な単射性とどのように関係するか？
• RQ5 facet の対称性が単位超立方体に対して果たす役割は、単射性の決定要因としてどのように働くか？

主な発見

• 内部が空でない凸多面体 P ⊂ ℓ∞ⁿ が単射的であるための必要十分条件は、任意の境界点 p に対して、接錐 TpP − p が、[−1,1]ⁿ のある facet の相対的内部と交わる facet F が存在し、−F がその交わりに含まれないことである。
• 各不等式に高々2つの変数を含む任意の線形不等式系の解集合は、Corollary 1.6 を用いて、ℓ∞-距離の下で単射的であることが示された。
• 支持超平面が単射的であるが、多面体自体が非単射的な凸多面体が存在する。一方、面が非単射的であるが多面体自体が単射的な例も存在し、単射性が面や超平面に引き継がれないことを示している。
• 超平面 {x ∈ ℝⁿ : x·ν = 0} ⊂ ℓ∞ⁿ が単射的であるための必要十分条件は、‖ν‖₁ ≤ 2‖ν‖∞ であることであり、超平面の単射性を判定する簡単な基準が得られた。
• 本稿では、凸多面体錐 C ⊂ ℓ∞ⁿ が単射的であるための必要十分条件として、頂点でない境界点における接錐がすべて単射的であり、かつ、その正規ベクトルが単位超立方体の facet 構造において、他の facet の正規ベクトルと非対称である facet が存在することを証明した。
• 本稿では、2つの不等式によって定義される多面体に、ℓ∞⁴ からその多面体への 1-Lipschitz リトラクションを明示的に構成し、面が非単射的であっても多面体全体が単射的であることを証明した。この結果は、局所的な非単射性が存在しても、グローバルな単射性が保たれ得ることを示している。