[论文解读] 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

一句话总结

该论文证明，若平面中一个紧致子集的Hausdorff维数大于7/4，则其确定的三点配置集合具有正的三维Lebesgue测度。该结果通过分析与单位正三角形相关的双线性算子得出，从而获得了改进的离散界：对于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.

研究动机与目标

• 确定确保平面紧致集中三点配置集合具有正三维测度的最小Hausdorff维数阈值。
• 分析与R^2中单位正三角形相关的双线性卷积算子。
• 为有限点集中三角形配置建立改进的离散相交界。
• 证明7/4阈值对配置测度的Radon-Nikodym导数的L^∞正则性而言是精确的。
• 将Falconer距离问题推广至三点配置，并在平面中给出一个非平凡的指数。

提出的方法

• 作者分析双线性算子 $ B(f,g)(x) = \iint f(x-u)g(x-v)\,dK(u,v) $，其中 $ K $ 是满足 $ |u|=|v|=|u-v|=1 $ 的点对 $ (u,v) $ 上的曲面测度，对应于单位正三角形。
• 他们证明了一组估计，包括 $ B: L^2_{-1/2}(\mathbb{R}^2) \times L^2(\mathbb{R}^2) \to L^1(\mathbb{R}^2) $ 对于正函数成立，该估计控制了配置测度的正则性。
• 证明使用了傅里叶限制理论和解耦技术，以控制与三角形配置相关的双线性形式的 $ L^1 $-范数。
• 使用Frostman测度 $ \mu $ 在集合 $ E \subset \mathbb{R}^2 $ 上，通过三重乘积 $ \mu \times \mu \times \mu $ 分析配置的能量。
• 离散应用依赖于 $ s $-可适性：若有限集 $ P \subset [0,1]^2 $ 的 $ s $ 阶能量积分有限，则称其为 $ s $-可适的。
• 关键步骤将配置测度的 $ L^\infty $ 正则性与离散计数 $ u^{\delta}_{2,2}(n) $ 联系起来，其中 $ \delta = n^{-1/s} $。

实验结果

研究问题

• RQ1 紧致平面集 $ E $ 的Hausdorff维数下确界是多少，才能保证其确定的三点配置集合具有正的三维Lebesgue测度？
• RQ2 与单位正三角形相关的双线性算子是否能在一系列 $ L^p $-空间中有界，以控制配置测度？
• RQ3 7/4阈值是否对配置测度的Radon-Nikodym导数的 $ L^\infty $ 正则性而言是精确的？
• RQ4 在自然几何条件下，平面中有限点集中固定三角形配置的出现次数如何随 $ n $ 变化？
• RQ5 在 $ s $-可适性条件下，当 $ s > 7/4 $ 时，是否可以改进已知的 $ O(n^{4/3}) $ 三角形重复次数的界？

主要发现

• 若紧致集 $ E \subset \mathbb{R}^2 $ 的Hausdorff维数超过 $ 7/4 $，则其确定的三点配置集合具有正的三维Lebesgue测度。
• 当 $ \dim_{\mathcal{H}}(E) > 7/4 $ 时，配置空间上自然测度的Radon-Nikodym导数属于 $ L^\infty $，且该阈值是精确的。
• 双线性算子 $ 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 $-可适集合，固定三角形配置的出现次数被限制为 $ O(n^{9/7 + b}) $，其中任意 $ b > 0 $，优于先前的 $ O(n^{4/3}) $ 界。
• 该结果在 $ s $-可适性条件下成立，该条件排除了严重聚集的集合，并确保了均匀的 $ s $-维厚度。
• 通过将双线性形式的 $ L^1 $-范数与离散计数通过缩放 $ \epsilon = n^{-1/s} $ 联系起来，推导出界 $ u^{n^{-4/7 - b}}_{2,2}(n) \leq C_b n^{9/7 + b} $。