[論文レビュー] Conical $3$-uniform measure: a family of new examples and characterizations

A. Dali Nimer|arXiv (Cornell University)|Aug 8, 2016

Digital Image Processing Techniques参考文献 4被引用数 3

ひとこと要約

本稿では、点の距離対称性という概念を導入することで、任意の余次元において3-一様測度の無限族を構成する。2-球面の中心がこの対称性を満たす場合、それらが生成する3-一様測度が得られることを示す。さらに、ℝ⁵における錐状3-一様測度を分類し、それらがすべてこのような対称的2-球面配置から生じることを証明する。これにより、光錐を超えた非平坦な一様測度に関する30年間の未解決問題が解決される。

ABSTRACT

Uniform measures have played a fundamental role in geometric measure theory since they naturally appear as tangent objects. For instance, they were essential in the groundbreaking work of Preiss on the rectifiability of Radon measures. However, relatively little is understood about the structure of general uniform measures. Indeed, the question of whether there exist any non-flat uniform measures beside the one supported on the light cone has been open for 30 years, ever since Kowalski and Preiss classified $n$-uniform measures in $\mathbb{R}^{n+1}$ . In this paper, we answer the question and construct an infinite family of 3-uniform measures in arbitrary codimension. We define a notion of distance symmetry for points and prove that every collection of $2$-spheres whose centers are distance symmetric gives rise to a $3$-uniform measure. We then develop a combinatorial method to systematically produce distance symmetric points. We also classify conical $3$-uniform measures in $\mathbb{R}^{5}$ by proving that they all arise from distance symmetric spheres.

研究の動機と目的

• ℝ⁴における光錐を超えた非平坦な3-一様測度が存在するかどうかという長年の未解決問題を解消すること。
• 任意の余次元において3-一様測度の無限族を構成すること。
• ℝ⁵におけるすべての錐状3-一様測度を、その幾何的構造を特徴づけることで分類すること。
• 2-球面の和集合から3-一様測度を生成するための十分かつ必要条件として、距離対称性の概念を導入し、形式化すること。
• 対称点配置の組み合わせ的構成を用いて、新しい3-一様測度を体系的に生成するための方法を開発すること。

提案手法

• 任意の2-球面上の点から中心までの二乗距離の和が一定であるような点集合に対する幾何的条件として距離対称性を定義する。
• 距離対称性を満たす中心を持つ2-球面の集合が、球と交差する部分の面積成長を用いて3-一様測度を生成することを証明する。
• 対称的2-球面で定義される曲面と球の境界の交差部分のテイラー展開を用いて、面積をr⁴の項まで計算する。
• 球と対称的2-球面の和集合との交差部分の面積に対して明示的な公式を導出し、r⁴の項が消失するのはかつて距離対称性条件が成立する場合に限ることを示す。
• KirchheimとPreissの分類結果（任意のn-一様測度の台は実解析的多様体である）を応用し、3-一様測度の構造を制限する。
• 台の正則部の各連結成分が2-球面または2-平面に含まれることを用い、球面制約により2-平面のケースを除外することで、すべての成分が2-球面上にあると結論づける。

実験結果

リサーチクエスチョン

• RQ1 余次元が1より大きい場合、ℝ⁴における光錐を超えて非平坦な3-一様測度は存在するか？
• RQ2 2-球面の集合に対してどのような幾何的条件が、それらの和集合が3-一様測度を支持することを保証するか？
• RQ3 ℝ⁵におけるすべての錐状3-一様測度は、距離対称的2-球面配置から生じると特徴づけられるか？
• RQ4 対称点集合の組み合わせ的構成を用いて、3-一様測度の新しい例を体系的に生成する方法は存在するか？
• RQ5 球面中心の対称性と誘導される測度の一様性との間には、どのような正確な関係があるか？

主な発見

• 中心が距離対称性を満たす2-球面の和集合をとることで、任意の余次元において3-一様測度の無限族を構成した。
• 距離対称性を満たす中心を持つ2-球面の任意の集合が、3-一様測度を生成することを証明した。
• ℝ⁵において、すべての錐状3-一様測度は、距離対称的2-球面配置から生じることに限定して分類された。
• 球と測度の台との交差部分の面積展開におけるr⁴の項が消失するのは、かつて距離対称性条件が成立する場合に限る。
• 境界半径のテイラー展開の係数から、対称性条件がλ₁ = λ₂およびμ₁,ⱼ = μ₂,ⱼ、mⱼ = 0（すべてのj ≥ 5について）を強制することを明らかにした。これにより一様性が保証される。
• 証明により、3-一様測度の台の正則部の2次元連結成分は、脐点性と球面埋め込み制約の両方により、2-球面上にあることが示された。