[論文レビュー] Long progressions in sets of fractional dimension

Marc Carnovale|arXiv (Cornell University)|Aug 13, 2013

Limits and Structures in Graph Theory参考文献 11被引用数 4

ひとこと要約

本稿では、Gowers一様性ノルムに基づく高階フーリエ次元を用いて、実数直線上の部分集合に含まれる長い等差数列の存在に関する十分条件を確立する。測度がトーラス上にあり、k次の高階フーリエ次元が十分に高い場合、その台には非自明なk+1項の等差数列が存在し、その公差の集合は正のLebesgue測度を持つことを示す。

ABSTRACT

We demonstrate $k+1$-term arithmetic progressions in certain subsets of the real line whose "higher-order Fourier dimension" is sufficiently close to 1. This Fourier dimension, introduced in previous work, is a higher-order (in the sense of Additive Combinatorics and uniformity norms) extension of the Fourier dimension of Geometric Measure Theory, and can be understood as asking that the uniformity norm of a measure, restricted to a given scale, decay as the scale increases. We further obtain quantitative information about the size and $L^p$ regularity of the set of common distances of the artihmetic progressions contained in the subsets of $\mathbb{R}$ under consideration.

研究の動機と目的

• 実数直線上のスパースな部分集合が分数次元を持つ場合に、その中に長い等差数列を含むための十分条件を特定すること。
• 3項の等差数列に対するフーリエ制限法のアプローチを、k+1項の構成へと拡張すること。
• このような数列における公差の集合のサイズと正則性を定量化すること。
• Falconer距離予想をk+1項の構成へ一般化することで、その問題と関連付けること。
• 高階フーリエ次元とGowers一様性ノルムを用いた枠組みを構築し、フラクタル集合における有限点配置の検出を行うこと。

提案手法

• トーラス上の特異測度μから導かれるk+1次元の測度Δ^kμを導入し、Gowersの一様性ノルムを一般化する。
• スケール依存周波数におけるΔ^kμのフーリエ変換の減衰率を用いて、k次フーリエ次元を定義する。
• 特異測度に対するGowers一様性ノルムの変種を適用し、変換の減衰と等差数列の存在を結びつける。
• 超グラフ正則性および除去補題（例：Gowersの超グラフ除去）を用いて、稠密な集合における点配置のアフィン像を検出する。
• 離散化の議論を用いて、有限アーベル群からの結果を測度の近似を通じて連続的設定へと移行する。
• k重カルテジアン積の構造とΔ^kμに付随する多重線形形式を用いて、配置を制御する。

実験結果

リサーチクエスチョン

• RQ1 測度の高階フーリエ次元がどの程度高い場合に、その台にk+1項の等差数列が存在するか。
• RQ2 Falconer距離予想をフラクタル集合におけるk+1項の構成へどのように一般化できるか。
• RQ3 アフィン像が測度の台に存在するスケーリングパラメータrの集合のサイズと正則性は何か。
• RQ4 3項の等差数列に用いられた手法を、高階一様性ノルムを用いてより長い等差数列へと拡張できるか。
• RQ5 Gowers一様性ノルムは、分数次元の集合における有限点配置の検出にどのように寄与するか。

主な発見

• トーラス上に定義された測度μのk次フーリエ次元が十分に高い（1に近い）場合、その台には非自明なk+1項の等差数列が存在する。
• このような数列の公差（スケーリングパラメータr）の集合は正のLebesgue測度を持ち、Falconer距離予想の自明な場合を一般化する。
• 離散化の議論と超グラフ正則性を用いて、このような数列の数に対する定量的下界を確立する。
• 主結果として、3項の等差数列に関する連続的ロス型定理を、高階フーリエ解析を用いてより長い構成へと拡張する。
• この枠組みにより、一様性ノルムの減衰条件を満たす限り、任意の有限点配置（例：等差数列）が分数次元の集合に存在することを検出可能である。
• 証明は、組合せ的結果を特異測度の解析へと移行するための、Gowers超グラフ除去補題の連続的設定への新規応用に依存している。