[論文レビュー] On three point configurations determined by subsets of the Euclidean plane, the associated bilinear operator and applications to discrete geometry

Allan Greenleaf, Alex Iosevich|arXiv (Cornell University)|Sep 13, 2010

Mathematical Approximation and Integration参考文献 15被引用数 4

ひとこと要約

この論文は、平面のコンパクト集合のハウスドルフ次元が 7/4 より大きい場合、その集合が定める3点配置の集合が3次元レベーグ測度を正に持つことを確立している。この結果は、単位正三角形に関連する2次形式作用素の解析を通じて得られ、離散的境界が改善される：s-適応集合に対しては、固定された三角形配置が現れる回数は O(n^{9/7+ε}) であることが示され、以前の O(n^{4/3}) の境界を改善する。

ABSTRACT

We prove that if the Hausdorff dimension of a compact set $E \subset {\Bbb R}^2$ is greater than 7/4, then the set of {\ag three-point configurations determined by $E$ has positive three-dimensional measure}. We establish this by showing that {\ag a} natural measure on the set of {\ag such configurations} has {\ag Radon-Nikodym derivative} in $L^{\infty}$ if $\dH(E)> 7/4$, and the index 7/4 in this last result cannot, in general, be improved. This problem naturally leads to the study of a bilinear convolution operator, $$ B(f,g)(x)=\int \int f(x-u) g(x-v)\, dK(u,v),$$ where $K$ is surface measure on the set $ \{(u, v) \in\R^2 imes \R^2: |u|=|v|=|u-v|=1\}$, and we prove a scale of estimates that includes $B:L^2_{-1/2}({\Bbb R}^2) imes L^2({\Bbb R}^2) o L^1({\Bbb R}^2)$ on positive functions. As an application of our main result, it follows that {\ag for finite sets of cardinality $n$ and belonging to a natural class of discrete sets in the plane}, the maximum number of times a given three-point configuration arises is $O(n^{9/7+ε})$ (up to congruence), improving upon the known bound of $O(n^{4/3})$ in this context.

研究の動機と目的

• 平面のコンパクト集合に含まれる3点配置の集合が正の3次元レベーグ測度を持つために必要な最小のハウスドルフ次元の閾値を特定すること。
• 平面 R^2 における単位正三角形に関連する2次形式畳み込み作用素を分析すること。
• 有限点集合における三角形配置の改善された離散的重複数の境界を確立すること。
• 7/4 の閾値が、配置測度のラドン＝ニコディム微分の L^∞ 正則性に対して鋭いかどうかを示すこと。
• フラクタル距離問題を3点配置へと拡張し、平面において非自明な指数を得ること。

提案手法

• 著者たちは、|u|=|v|=|u-v|=1 を満たすペア (u,v) の集合上の面積測度 K を持つ、$ B(f,g)(x) = \iint f(x-u)g(x-v)\,dK(u,v) $ という2次形式作用素を分析する。これは単位正三角形に対応する。
• 正の関数に対して、$ B: L^2_{-1/2}(\mathbb{R}^2) \times L^2(\mathbb{R}^2) \to L^1(\mathbb{R}^2) $ のスケール推定を証明し、これにより配置測度の正則性が制御される。
• フーリエ制限理論と分割技術を用いて、三角形配置に関連する2次形式の L^1 範囲を制御する。
• 配置のエネルギーを三重積 $ \mu \times \mu \times \mu $ を通じて分析するために、集合 $ E \subset \mathbb{R}^2 $ 上のフロストマン測度 $ \mu $ が用いられる。
• 離散的応用では $ s $-適応性が利用される：$ [0,1]^2 $ に含まれる有限集合 $ P \subset [0,1]^2 $ が $ s $-適応的であるとは、その $ s $ 次のエネルギー積分が有限であることを意味する。
• 鍵となるステップは、$ L^\infty $ 正則性と離散的数え上げ $ u^{\delta}_{2,2}(n) $ を結びつけることであり、$ \delta = n^{-1/s} $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな平面集合 $ E $ のハウスドルフ次元の下界は何か？ そのような集合が定める3点配置の集合が正の3次元レベーグ測度を持つ場合に限る。
• RQ2 単位正三角形に関連する2次形式作用素が、$ L^p $ 空間のスケールで有界であるかどうかを特定できるか？ これにより配置測度が制御される。
• RQ3 7/4 の閾値は、配置測度のラドン＝ニコディム微分の $ L^\infty $ 正則性に対して鋭いか？
• RQ4 自然な幾何的条件下で、平面に存在する有限点集合における固定された三角形配置が現れる回数は、$ n $ に対してどのようにスケーリングされるか？
• RQ5 $ s > 7/4 $ の $ s $-適応性のもとで、既知の $ O(n^{4/3}) $ の三角形繰り返しの境界を改善できるか？

主な発見

• コンパクト集合 $ E \subset \mathbb{R}^2 $ のハウスドルフ次元が 7/4 を超えるならば、その集合が定める3点配置の集合は正の3次元レベーグ測度を持つ。
• 配置測度のラドン＝ニコディム微分が $ L^\infty $ に属するための条件として、$ \dim_{\mathcal{H}}(E) > 7/4 $ が十分であり、この閾値は鋭い。
• 2次形式作用素 $ B(f,g)(x) = \iint f(x-u)g(x-v)\,dK(u,v) $ は、正の関数に対して $ B: L^2_{-1/2}(\mathbb{R}^2) \times L^2(\mathbb{R}^2) \to L^1(\mathbb{R}^2) $ を満たす。
• $ s = \frac{7}{4} + a $ である $ s $-適応的集合に対しては、固定された三角形配置が現れる回数は任意の $ b > 0 $ に対して $ O(n^{9/7 + b}) $ で抑えられ、以前の $ O(n^{4/3}) $ の境界を改善する。
• この結果は $ s $-適応性条件のもとで成り立ち、極端なクラスタリングを排除し、均一な $ s $ 次元の厚さを保証する。
• スケーリング $ \epsilon = n^{-1/s} $ を用いて、2次形式の $ L^1 $ 範囲と離散的数え上げを関連させることで、$ u^{n^{-4/7 - b}}_{2,2}(n) \leq C_b n^{9/7 + b} $ の境界が導出される。