[論文レビュー] On $k$-point configuration sets with nonempty interior

Allan Greenleaf, Alex Iosevich+1 more|arXiv (Cornell University)|May 21, 2020

Mathematical Approximation and Integration参考文献 28被引用数 7

ひとこと要約

本稿は、ユークリッド空間内の細かい集合の $k$-点配置集合が空でない内部を持つための十分条件を、$k$ 個の点を2つの部分集合に非自明に分割するすべての組み合わせについて最適化された $L^2$-Sobolev推定値を用いて確立する。主な貢献は、このような分割のうち正則性が最も悪いものに基づく一般化された次元閾値であり、これは配置集合が開区間を含むことを保証する。この結果は、三角形の面積、外接円半径、平行六面体の体積といった多様な幾何的配置に適用可能である。

ABSTRACT

We give conditions for $k$-point configuration sets of thin sets to have nonempty interior, applicable to a wide variety of configurations. This is a continuation of our earlier work \cite{GIT19} on 2-point configurations, extending a theorem of Mattila and Sjölin \cite{MS99} for distance sets in Euclidean spaces. We show that for a general class of $k$-point configurations, the configuration set of a $k$-tuple of sets, $E_1,\,\dots,\, E_k$, has nonempty interior provided that the sum of their Hausdorff dimensions satisfies a lower bound, dictated by optimizing $L^2$-Sobolev estimates of associated generalized Radon transforms over all nontrivial partitions of the $k$ points into two subsets. We illustrate the general theorems with numerous specific examples. Applications to 3-point configurations include areas of triangles in $\mathbb R^2$ or the radii of their circumscribing circles; volumes of pinned parallelepipeds in $\mathbb R^3$; and ratios of pinned distances in $\mathbb R^2$ and $\mathbb R^3$. Results for 4-point configurations include cross-ratios on $\mathbb R$, triangle area pairs determined by quadrilaterals in $\mathbb R^2$, and dot products of differences in $\mathbb R^d$.

研究の動機と目的

• 2点配置集合が空でない内部を持つことの既存結果を、$k \geq 3$ の一般の $k$-点配置に拡張すること。
• $k$ 個の集合のハウスドルフ次元の和に関する一般な十分条件を同定し、それらの $k$-点配置集合が空でない内部を持つことの保証をすること。
• $k$ 個の点を2つの部分集合に非自明に分割するすべての組み合わせについて最適化された $L^2$-Sobolev推定値を用いたフーリエ積分作用素（FIO）の手法を適用すること。
• 一般フレームワークが三角形の面積、外接円半径、ピン留めされた平行六面体の体積といった具体的な幾何的配置に適用可能であることを示すこと。
• 導出された次元閾値が特定の極限において漸近的に鋭いこと、つまり最適な境界である可能性を示すこと。

提案手法

• $k$-点配置に関連する一般化されたラドン変換を、部分多様体上の振動的積分としてモデル化する。
• フーリエ積分作用素（FIO）の $L^2$-Sobolev推定値を用いて、配置写像による測度の引き戻しの $L^2$ ノルムを制御する。
• 核心的な革新は、$k$ 個の点を2つの部分集合に非自明に分割するすべての組み合わせについて、これらの $L^2$-Sobolev推定値を最適化することであり、その結果、正則性が最も悪い分割に依存する次元閾値が得られる。
• FIOの二重ファイブレーション条件および標準関係構造を用いて、関連作用素の $L^2$-有界性に必要な非退化性を検証する。
• 特定の配置にこの手法を適用する際には、配置写像の微分の非消滅性を確認し、関連する超曲面が射影方向に対して滑らかで横断的であることを保証する。
• 基点近傍での局所化と、有限な $s_i$-エネルギーを持つフロストマン測度の使用により、問題を標準的グラフ上の局所的 $L^2$-推定値に還元し、FIOの道具立てを適用可能にする。

実験結果

リサーチクエスチョン

• RQ1 $k$ 個の集合 $E_1, \dots, E_k$ のハウスドルフ次元にどのような条件下で、それらの $k$-点配置集合が空でない内部を持つのか？
• RQ2 $k$ 個の点を2つの部分集合に非自明に分割するすべての組み合わせについて、一般化されたラドン変換の $L^2$-Sobolev推定値を最適化することで、鋭い次元閾値が得られるか？
• RQ3 $\mathbb{R}^2$ における三角形の面積や外接円半径といった具体的な幾何的配置について、配置集合が開区間を含むために必要な最小のハウスドルフ次元は何か？
• RQ4 ピン留めされた点や二次形式を含む非平行移動不変な配置に対して、この手法はどのように対処するか？
• RQ5 導出された次元閾値は、特に高次元または高次の配置設定において漸近的に鋭いか？

主な発見

• $\mathbb{R}^2$ における三角形の面積に関して、$\dim_{\mathcal{H}}(E) > 5/3$ ならば、$E$ 内の3点の組による面積の集合は空でない内部を持つ。
• $\mathbb{R}^2$ における三角形の外接円半径についても、同じ次元閾値 $\dim_{\mathcal{H}}(E) > 5/3$ が、外接円半径の集合が開区間を含むことを保証する。
• $\mathbb{R}^d$（$d \geq 3$）において、$\dim_{\mathcal{H}}(E) > d - 1 + 1/d$ ならば、固定点 $x^0$ にピン留めされた平行六面体の体積の集合は空でない内部を持つ。
• $2l$ 個の集合 $E_1, \dots, E_{2l}$ が配置写像 $\Phi = \sum_{j=1}^l Q_j(x^{2j-1}, x^{2j})$ を持つ場合、$\sum_{i=1}^{2l} \dim_{\mathcal{H}}(E_i) > 1 + \frac{1}{2} \sum_{j=1}^l d_j$ ならば、配置集合は空でない内部を持つ。ここで $d_j = \dim(E_{2j-1}) = \dim(E_{2j})$ である。
• 導出された次元閾値は漸近的に鋭い：例えばピン留め体積の場合、点が超平面にのる幾何的障害のため、境界 $d - 1 + 1/d$ は $1/d$ 以内にしか改善できない。