[論文レビュー] A Non-Linear Roth Theorem for Sets of Positive Density

Ben Krause|arXiv (Cornell University)|Jan 5, 2019

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

ひとこと要約

本稿は、実数直線上の正の上付加密度をもつ集合に対して非線形Roth型定理を確立し、定数項および一次項をもたない任意の多項式 $ P(t) $（あるいはより一般に非平坦曲線）に対して、そのような集合内に $ \{x - t, x - P(t)\} $ の形をしたシンデティック配置が存在することを証明する。Bourgainの手法にインspiredされた洗練されたフーリエ解析的手法を用いて、大スケールにおいてこのような配置が、集合の上付加密度 $ \delta $ の定数倍の下限をもつ密度で出現することを示している。

ABSTRACT

Suppose that $A \subset \mathbb{R}$ has positive upper density, \[ \limsup_{|I| o \infty} \frac{|A \cap I|}{|I|} = δ> 0,\] and $P(t) \in \mathbb{R}[t]$ is a polynomial with no constant or linear term, or more generally a non-flat curve: a locally differentiable curve which doesn't "resemble a line" near $0$ or $\infty$. Then for any $R_0 \leq R$ sufficiently large, there exists some $x_R \in A$ so that \[ \inf_{R_0 \leq T \leq R} \frac{|\{ 0 \leq t < T : x_R - t \in A, \ x_R - P(t) \in A \}|}{T} \geq c_P \cdot δ^2 \] for some absolute constant $c_P > 0$, that depends only on $P$.

研究の動機と目的

• Bourgainの線形Roth型配置を対象とするフーリエ解析的手法を、多項式や非平坦曲線を含む非線形パターンに拡張すること。
• 定数項および一次項をもたない $ P(t) $ に対しても、正の上付加密度をもつ集合内にシンデティック配置 $ \{x - t, x - P(t)\} $ が存在することを確立すること。
• 密度の高い集合における多項式的配置に関する先行結果を、非平坦曲線を組み込み、定量的評価を改善すること。
• このような配置の密度に対する定量的下界を、多項式の係数ノルムと集合の密度 $ \delta $ のみに依存する形で与えること。

提案手法

• 二重線形作用素 $ B_r(f,g)(x) = \frac{1}{r}\int_0^r f(x-t)g(x-P(t))\,dt $ を、 dyadic周波数射影による周波数局在化成分に分解する。
• 誤差項、特に高周波成分を制御するため、パラ積分推定と最大関数の評価を適用する。
• 周波数局在化と特性関数のフーリエ変換の $ L^2 $ ノルム推定に基づく背理法を用いる。
• 単位区間を dyadic 区間に分割し、二重線形作用素の下限が $ c_P \delta^3 $ 以上であるような部分集合 $ \mathcal{Q} $ を特定する。
• 不確定性原理と $ \ell^2 $-制限推定を用いて、二重線形形式が小さいならば、フーリエスペクトルが制御された方法で大きくならざるを得ないことを示す。
• パラ積分項を制御し、定量的減衰を導くために、鍵となる推定式 $ \|B_k(f_{k+m}, g_{2k+m+p})\|_{L^1} \lesssim 2^{-\epsilon m}\|f\|_2\|g\|_2 $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 Bourgainのフーリエ解析的手法を、正の上付加密度集合内における非線形パターン $ \{x - t, x - P(t)\} $ の検出に拡張できるか。
• RQ2 多項式 $ P(t) $ が一次項および定数項をもたない場合、このような配置の密度に対する定量的下界は何か。
• RQ3 曲率や非平坦性の存在が、密度の高い集合内でのこのようなパターンの存在と密度に与える影響は何か。
• RQ4 洗練された周波数分解とパラ積分推定を用いることで、二重線形形式の下界を、これまでの結果を上回って改善できるか。
• RQ5 下界が多項式の係数と集合の密度 $ \delta $ にどのように依存するか。

主な発見

• 任意の正の上付加密度 $ \delta $ をもつ集合 $ A \subset \mathbb{R} $ に対して、すべての十分大きな $ R $ に対して、$ x_R - t, x_R - P(t) \in A $ を満たす $ t \in [0,R] $ の集合の密度が $ c_P \delta^2 $ 以上であるような $ x_R \in A $ が存在する。ここで $ c_P > 0 $ は $ P $ のみに依存する。
• コロナリー1.8により、主結果が定量的に改善され、$ r \in (0,1] $ における二重線形形式の下限に対して、$ \frac{c_{\epsilon,P}}{2^{\delta^{-5-\epsilon}}} \cdot c_P \delta^3 $ のオーダーの下界が得られる。
• 重要な命題は、二重線形形式の平均が小さいならば、$ \mathbf{1}_A $ のフーリエ変換の $ L^2 $ ノルムが特定の周波数アニュラス上で大きくならざるを得ないことを示しており、これは構造的なフーリエスペクトルを示唆する。
• 証明は、二重線形形式が大きくない場合、フーリエ側で大きな $ L^2 $ 質量が生じることを示しており、これは集合が特定の周波数構造をもたない限り、小さな値の仮定と矛盾することを意味する。
• 結果は、0における次数が2以上である実解析関数、次数 $ \geq 2 $ のローレンツ多項式、および $ \alpha \neq 0,1 $ の $ |t|^\alpha |\log|t||^\beta $ のような関数を含む広範な非平坦曲線のクラスに対して成り立つ。
• 定数 $ c_P, C_P $ が $ \|P\| $（係数の $ \ell^1 $-和）に明示的に依存しており、スケーリングおよび dyadic 分解に対して安定である。