[論文レビュー] A discretised projection theorem in the plane

Tuomas Orponen|arXiv (Cornell University)|Jul 24, 2014

Advanced Topology and Set Theory参考文献 8被引用数 3

ひとこと要約

本稿は平面における離散化投影定理を確立し、任意の $1/2 \leq s < 2 - \sqrt{2}$ に対して、$\sigma(s) < s$ が存在することを示している。ここで $A \subset [0,1]$ がサイズ $\sim \delta^{-1/2}$ の $(\delta,1/2)$-集合であり、$E \subset [0,1]$ が $\gtrsim \delta^{-\sigma}$ 個の $\delta^s$-分離点を含むならば、ある $t \in E$ が存在して $A + tA$ が $\gtrsim \delta^{-s}$ 個の $\delta$-分離点を含む。証明は、Kaufmanの投影評価の最適性に近い集合の構造的解析と、Solymosiの和積論法の適応を組み合わせている。

ABSTRACT

The main result of this paper is that for any $1/2 \leq s &lt; 2 - \sqrt{2} \approx 0.5858$, there is a number $σ= σ(s) &lt; s$ with the following property. Let $δ&gt; 0$ be small, assume that $A \subset [0,1]$ is a $(δ,1/2)$-set, and that $E \subset [0,1]$ contains $\gtrsim δ^{-σ}$ roughly $δ^{s}$-separated points. Then there exists a number $t \in E$ such that $A + tA$ contains $\gtrsim δ^{-s}$ $δ$-separated points. For $σ= s$, this is essentially a consequence of Kaufman's well-known bound for exceptional sets of projections. Our proof consists of a structural observation concerning sets, for which Kaufman's bound is near-optimal, combined with (an adaptation of) Solymosi's argument for his "$4/3$" sum-product theorem.

研究の動機と目的

• Kaufmanの例外的集合評価の定量的強化を、離散化設定において確立すること。
• 連続的投影問題におけるギャップを解消すること。具体的には、$\dim\{e : \dim\pi_e(K) < s\} \leq 2s - 1$ という鋭い予想が未解決のまま残っていること。
• $\sigma(s) < s$ のより小さい指数を導入することで、Kaufmanの評価を明示的かつ効果的に改善すること。
• Kaufmanの評価に近い極値的性質を持つ集合の構造的性質が、適応された離散的交差幾何を用いて、より強い和積型結論を導けることを示すこと。

提案手法

• $(\delta,s)$-集合を、$\delta$-分離集合で、球上で倍加が制御されるものとして定義する：$|A \cap B(x,r)| \lesssim (r/\delta)^s$。
• 集合 $A$ がサイズ $\sim \delta^{-1/2}$ の $(\delta,1/2)$-集合であることから、ヒューディング次元 $1/2$ の集合をモデル化する。
• 背理法を用い、ある $t \in E$ に対して $|A + tA| \gtrsim \delta^{-s}$ が成り立たないと仮定し、$A \times A$ が Kaufmanの評価の極値的性質に近い状態にあると示す。
• Kaufmanの評価の近似最適性に基づき、共通の原点から出る少数の $\delta$-チューブに多くの点が存在する「ファン」構造を $A \times A$ に特定する。
• Solymosiの和積論法をこのファン構造に適応し、$|A + A| \gtrsim \delta^{-1/2 - c}$（$c > 0$）を導き、$s < 1/2 + c$ のとき $1 \in E$ の存在と矛盾することを示す。
• Szemerédi-Trotterの交差定理を用いて、ファン構造における直線と点の間の交差数を評価し、$s < 2 - \sqrt{2}$ のとき矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 $s < 2 - \sqrt{2}$ のとき、離散化設定においてKaufmanの例外的集合評価に対する定量的改善が達成可能か。
• RQ2 Kaufmanの評価がほぼ鋭い場合に、集合 $A$ に現れる構造的性質は何か。
• RQ3 Solymosiの和積法を離散化投影設定に適応し、$A + tA$ のサイズのより強い推定値を得られるか。
• RQ4 $\sigma(s) < s$ が存在し、$E$ のサイズが $\delta^{-\sigma}$ であれば、ある $t \in E$ に対して $A + tA$ が $\delta^{-s}$ 個の $\delta$-分離点を持つことが保証されるか。
• RQ5 離散化設定における非濃度仮定が、Szemerédi-Trotterのような交差幾何の道具の適用にどのように影響するか。

主な発見

• 任意の $s \in [1/2, 2 - \sqrt{2})$ に対して、$\sigma(s) < s$ が存在し、$A$ がサイズ $\sim \delta^{-1/2}$ の $(\delta,1/2)$-集合であり、$E$ が $\gtrsim \delta^{-\sigma}$ 個の $\delta^s$-分離点を含むならば、ある $t \in E$ に対して $A + tA$ が $\gtrsim \delta^{-s}$ 個の $\delta$-分離点を持つ。
• $\sigma(s)$ の値は $s$ よりも厳密に小さいため、標準的なKaufmanの評価の適用（対数的損失を伴い $\sigma = s$ のみが得られる）に対して非自明な改善が得られる。
• Kaufmanの評価に近い極値的状態にあるとき、$A \times A$ に「ファン」構造が現れる。これは、共通の原点から出る少数の $\delta$-チューブに多数の点が存在することを意味する。
• このファン構造にSolymosiの和積論法を適応することで、$|A + A| \gtrsim \delta^{-1/2 - c}$（$c > 0$）が導かれるが、$s < 1/2 + c$ のとき $1 \in E$ の存在と矛盾する。
• 矛盾はSzemerédi-Trotterの交差定理を用いて導かれる。ファン構造における直線と点の交差数を評価し、$|A + A|$ の下界を得ることで、$s < 2 - \sqrt{2}$ が導かれる。
• 結果は、$2 - \sqrt{2} \approx 0.5858$ が、この議論が失敗する閾値であるという点で鋭い。これは付録の例によって示されている。