[论文解读] Measures on polyhedral cones: characterizations and kinematic formulas

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

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

一句话总结

本文提出了一套完整且自洽的圆锥内在体积及其双圆锥局部化——支撑测度——的理论，对Glasauer 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.

研究动机与目标

• 提供圆锥内在体积及其双圆锥局部化（支撑测度）的完整、自洽理论，填补先前文献中处理不完整所留下的空白。
• 采用一致的圆锥视角，重新推导并简化Glasauer 1995年博士论文中原始呈现的支撑测度结果。
• 引入并分析一类在多面体锥上介于f-向量与内在体积之间的新泛函类。
• 为这些新泛函建立表征与运动几何公式，拓展圆锥积分几何时空的范围。
• 展示圆锥积分几何时空框架在应用数学中的实用性，特别是在数值优化与压缩感知中的应用。

提出的方法

• 贯穿全文采用圆锥视角，将球面积分几等多项式几何重新表述为多面体锥及其线性张成空间的形式。
• 引入圆锥内在体积的概念，作为基于锥的面的相对内部分解的加权测度。
• 定义并分析支撑测度作为内在体积的双圆锥局部化，捕捉面交集处的几何信息。
• 推导出在随机正交变换下锥的内在体积期望值的广义运动几何公式。
• 运用归纳法与对称性论证，证明布尔组合锥的第k个内在体积的期望值等于所有保持维数的组合下，内在体积乘积的和。
• 利用正交不变性及正交群O(d)的性质，将独立随机旋转下的期望分解。

实验结果

研究问题

• RQ1 如何以简明、自洽的方式表征并推导支撑测度——即圆锥内在体积的双圆锥局部化？
• RQ2 在多面体锥上，介于f-向量与内在体积之间的新泛函类是什么？其在线性变换下的行为如何？
• RQ3 在随机正交变换下，布尔组合锥的期望内在体积由何种运动几何公式控制？
• RQ4 圆锥积分几何时空如何将经典欧几里得运动几何公式推广至圆锥情形？
• RQ5 该理论对压缩感知与数值优化等应用有何影响？

主要发现

• 本文完整且自洽地推导出支撑测度作为圆锥内在体积的双圆锥局部化，修正了先前处理中的漏洞。
• 引入了一类介于f-向量与内在体积之间的新泛函，其表征推广了欧拉关系。
• 建立了广义运动几何公式：布尔组合锥的第k个内在体积的期望值等于所有保持维数的组合下，内在体积乘积的和。
• 证明了经变换后的锥组合的第k个内在体积的期望值，等于所有面元组的和，其组合维数满足 max{i+j−d}=k。
• 该理论在正交变换下保持不变，且通过德摩根定律，其结果可推广至合取与析取情形，d−k对称性保持了公式的结构。