[論文レビュー] Measures on polyhedral cones: characterizations and kinematic formulas

Dennis Amelunxen|arXiv (Cornell University)|Dec 4, 2014

Point processes and geometric inequalities参考文献 13被引用数 10

ひとこと要約

本稿は、円錐の内在体積およびその二重円錐局所化（サポート測度）の包括的かつ自己完結的な理論を提示する。グラサウアーの1995年博士論文に含まれる基礎的結果の簡潔な証明を提供する。fベクトルと内在体積の間の新しい関数的クラスを導入し、古典的積分幾何学を円錐設定に一般化する特性化および運動論的公式を導出する。応用分野として最適化および圧縮センシングに有用である。

ABSTRACT

This paper is about conic intrinsic volumes and their associated integral geometry. We pay special attention to the biconic localizations of the conic intrinsic volumes, the so-called support measures. An analysis of these quantities has so far been confined to the PhD thesis of Stefan Glasauer (1995). We rederive the results from this thesis with novel streamlined proofs and expand them in several ways. Additionally, we introduce a new class of functionals on polyhedral cones lying between the intrinsic volumes and the well-studied f-vector, which counts the equidimensional faces of a cone, and derive a characterization and kinematic formulas for these functionals as well.

研究の動機と目的

• 先行文献における不完全な取り扱いが残した空白を埋める、円錐内在体積およびその二重円錐局所化（サポート測度）の完全かつ自己完結的な理論を提供すること。
• グラサウアーの1995年博士論文に最初に提示されたサポート測度に関する結果を、一貫した円錐的視点に基づいて再導出し、簡潔に整理すること。
• fベクトルと内在体積の間を補間する多面体円錐上の新しい関数的クラスを導入し、その解析を行うこと。
• これらの新しい関数的クラスの特性化および運動論的公式を確立し、円錐的積分幾何学の範囲を拡張すること。
• 円錐的積分幾何学フレームワークが、特に数値最適化および圧縮センシングにおいて、応用数学に与える有用性を示すこと。

提案手法

• 本稿は、一貫して円錐的視点を採用し、球面積分幾何学を多面体円錐およびその線形包の観点から再定式化する。
• 面の相対内部への分解に基づいて導かれる重み付き測度として、円錐内在体積の概念を導入する。
• サポート測度を、内在体積の二重円錐局所化として定義・分析し、面の交差における幾何的情報を捉える。
• 円錐に対する一様な直交変換の下での内在体積の期待値に関する一般化された運動論的公式を導出する。
• 帰納法と対称性の議論を用いて、円錐のブール結合のk番目の内在体積の期待値が、次元を保存する写像による重み付き積の和に等しいことを証明する。
• 直交不変性および直交群O(d)の性質を用いて、独立な確率的回転の期待値を分解する。

実験結果

リサーチクエスチョン

• RQ1 サポート測度（円錐内在体積の二重円錐局所化）は、簡潔かつ自己完結的にどのように特徴付けられ、導出可能か？
• RQ2 fベクトルと内在体積の間にある多面体円錐上の新しい関数的クラスとは何か。また、線形変換の下での挙動はいかなるものか？
• RQ3 一様な直交変換の下で、円錐のブール結合の期待内在体積を支配する運動論的公式は何か？
• RQ4 円錐的積分幾何学フレームワークは、古典的ユークリッド運動論的公式を円錐設定にどのように一般化するか？
• RQ5 この理論は、圧縮センシングおよび数値最適化の分野にどのような意味を持つのか？

主な発見

• 本稿は、サポート測度を円錐内在体積の二重円錐局所化として完全かつ自己完結的に導出する。先行研究における欠落を是正する。
• fベクトルと内在体積の間を補間する新しい関数的クラスを導入し、オイラー関係の一般化を特徴づける。
• 一般化された運動論的公式を確立した：円錐のブール結合のk番目の内在体積の期待値は、次元を保存する組み合わせすべてにわたる内在体積の積の和に等しい。
• 変換された円錐の結合のk番目の内在体積の期待値が、次を満たすすべての面の組み合わせの和に等しいことが示された：max{i+j−d}=k。
• 理論が直交変換に対して不変であることが示され、ド・モルガンの法則により、論理積と論理和の両方へ拡張可能である。d−k対称性は、公式の構造を保つ。