[論文レビュー] On distance measures for well-distributed sets

Alex Iosevich, Misha Rudnev|ArXiv.org|Jan 20, 2006

Geometric Analysis and Curvature Flows参考文献 11被引用数 4

ひとこと要約

本稿は、フーリエ解析的手法を用いて、良好に分布した集合の距離集合問題を調査し、このような集合から得られる測度の$L^2$球面平均に対する改善された境界を確立する。著者らは、これらの境界が良好に分布した設定におけるErdós距離予想を示すのに十分であると予想するが、特に次元2における非ユークリッド距離が、凸曲線上の整数点の密集した分布によって、このような証明を妨げることを示している。

ABSTRACT

In this paper we investigate the Erdös/Falconer distance conjecture for a natural class of sets statistically, though not necessarily arithmetically, similar to a lattice. We prove a good upper bound for spherical means that have been classically used to study this problem. We conjecture that a majorant for the spherical means suffices to prove the distance conjecture(s) in this setting. For a class of non-Euclidean distances, we show that this generally cannot be achieved, at least in dimension two, by considering integer point distributions on convex curves and surfaces. In higher dimensions, we link this problem to the question about the existence of smooth well-curved hypersurfaces that support many integer points.

研究の動機と目的

• 良好に分布した集合から生じる測度に対するより強い$L^2$球面平均境界を確立し、Frostman測度に対する一般の境界を改善すること。
• これらの改善された境界が、良好に分布した設定におけるErd\'os距離予想を示すかどうかを調査すること。
• 特に次元2における非ユークリッド距離に対して、主観的推定法の限界を検討すること。
• 距離予想を、拡大された凸曲線および超曲面上の格子点の数と結びつけること。
• Bessel関数および位相因子の特別な性質が、ユークリッド距離がこのような境界を支持するために特異であるかどうかを検討すること。

提案手法

• 中心的な道具として、フーリエ変換の$L^2$球面平均を用いる、フーリエ解析的手法を用いる。
• 良好に分布した集合の構造から導かれる指数和の推定を応用し、球面平均を評価する。
• 粗い境界を精錬するために、ポアソン和公式および初等的整数論を用いる。
• ユークリッドの場合におけるフーリエ変換の位相因子の役割を分析し、非ユークリッド設定ではそれらが存在しないことを示す。
• 整数点が多くの点を含む凸曲線を用いた反例を構成し、主観的推定法の限界を示す。
• 距離問題をインシデント幾何学、特にSzemer\'edi-Trotter定理と関連付け、拡大された境界上の$L^2$平均を用いて境界を定式化する。

実験結果

リサーチクエスチョン

• RQ1 良好に分布した集合に対する改善された$L^2$球面平均境界が、Erd\'os距離予想を示すことができるか？
• RQ2 なぜ主観的推定法は非ユークリッド距離、特に次元2において失敗するのか？
• RQ3 拡大された凸曲線上の整数点の数が、距離予想の妥当性にどの程度影響を与えるか？
• RQ4 Bessel関数および位相因子の振る舞いのおかげで、ユークリッド距離がより強い境界を支持するという点で特異的であるとされる根拠は何か？
• RQ5 Szemer\'edi-Trotterインシデント定理における$q^{8/3}$の境界は、一般の凸体に対して$q^{5/2}$に改善可能だろうか？

主な発見

• 本稿では、Erdog\'anが得た一般の境界よりも、特に$d \geq 3$次元において、良好に分布した設定における$L^2$球面平均のより良い上界を確立している。
• 次元2では、この方法はWolffの最適境界$t^{-1/2}$に一致し、エンドポイントを達成するため、この場合における制御の改善が示唆される。
• 整数格子の場合、粗い指数和の境界は、ポアソン和公式と整数論を用いて精錬され、より鋭い推定が得られる。
• 次元2における球面平均境界$\sigma_{\mu_{d/2}}(t) \lessapprox t^{-1}$は、Mattilaの基準を満たすが、単一距離予想を満たすには正則性が不十分である。
• 反例により、非ユークリッド距離では、良好に分布した集合ですら境界に多くの整数点を持つことがあることが示され、主観的推定法が不十分であることが明らかになった。
• 単一距離問題における最良の既知の境界は$q^{8/3}$のままであり、本稿は、一般の凸体に対してこれが$q^{5/2}$に改善可能かどうかを疑問視している。放物線の例により、$5/2$が最適であることが示されている。