[論文レビュー] A short proof of a near-optimal cardinality estimate for the product of a sum set

Oliver Roche‐Newton|arXiv (Cornell University)|Feb 19, 2015

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

ひとこと要約

この論文は、Szemerédi-Trotterの定理を唯一の道具として用いて、任意の有限集合 $ A \subset \mathbb{R} $ に対して、$ |(A - a)(A - a')| \gg \frac{|A|^2}{\log|A|} $ を満たす $ a, a' \in A $ が存在することを、短く初等的な証明で示している。この結果は、先行する和積推定を強化し、$ A \subset \mathbb{C} $ に対しても自然に拡張可能であり、GuthとKatzの深い組合せ幾何学的道具を用いずに、2変数の和集合の積に対して近似的に最良の境界を与える。

ABSTRACT

In this note it is established that, for any finite set $A$ of real numbers, there exist two elements $a,b \in A$ such that $$|(a+A)(b+A)| \gg \frac{|A|^2}{\log |A|}.$$ In particular, it follows that $|(A+A)(A+A)| \gg \frac{|A|^2}{\log |A|}$. The latter inequality had in fact already been established in an earlier work of the author and Rudnev (arXiv:1203.6237), which built upon the recent developments of Guth and Katz (arXiv:1011.4105) in their work on the Erdős distinct distance problem. Here, we do not use those relatively deep methods, and instead we need just a single application of the Szemerédi-Trotter Theorem. The result is also qualitatively stronger than the corresponding sum-product estimate from (arXiv:1203.6237), since the set $(a+A)(b+A)$ is defined by only two variables, rather than four. One can view this as a solution for the pinned distance problem, under an alternative notion of distance, in the special case when the point set is a direct product $A imes A$. Another advantage of this more elementary approach is that these results can now be extended for the first time to the case when $A \subset \mathbb C$.

研究の動機と目的

• 和集合の積の基数推定値に対する近似的に最良の推定値を、より簡単で初等的な証明で与えること。
• 任意の有限 $ A \subset \mathbb{R} $ に対して、$ |(A - a)(A - a')| \gg \frac{|A|^2}{\log|A|} $ を満たす $ a, a' \in A $ が存在することを確立すること。
• この結果を複素平面 $ \mathbb{C} $ に拡張し、従来の手法では未知であったような境界を導出すること。
• 4変数の積集合から2変数に変数数を削減することで、先行研究に比べて質的改善を図ること。

提案手法

• $ A \times A $ から導かれる点集合における同一直線上にある3点の組の数を、Szemerédi-Trotterの定理を用いて評価すること。
• Szemerédi-Trotterの定理の推論を用いて、豊富な直線の数を評価し、2次形式の解の数に対する上界を得ること。
• コーシー・シュワルツの不等式を用いて、積集合に属する要素の表現数と、シフトされた集合の乗法的エネルギーとの関係を結ぶこと。
• 和集合の乗法的エネルギーの和 $ \sum_{a,a' \in A} E^*(a - A, a' - A) \ll |A|^4 \log|A| $ の境界を導出し、これはあるペア $ (a, a') $ に対して積集合が大きく存在することを示唆する。
• 複素数版のSzemerédi-Trotterの定理が成り立つことを利用し、$ A \subset \mathbb{C} $ に対しても同様の漸近的境界を保ちながら結果を拡張すること。

実験結果

リサーチクエスチョン

• RQ1 初等的な組合せ幾何学的道具のみを用いて、$ (A - a)(A - a') $ のサイズに対する近似的に最良の下界を確立できるか？
• RQ2 $ A \subset \mathbb{C} $ に対しても、$ |(A - a)(A - a')| \gg \frac{|A|^2}{\log|A|} $ が成り立ち、Guth-Katzの道具を用いずに証明可能か？
• RQ3 積集合の変数数を4つから2つに削減しても、近い2次成長を維持できるか？
• RQ4 代数幾何学の深い道具を避け、$ (A - A)(A - A) $ の和積推定値のより簡単な証明が可能か？

主な発見

• 任意の有限集合 $ A \subset \mathbb{R} $ に対して、$ |(A - a)(A - a')| \gg \frac{|A|^2}{\log|A|} $ を満たす $ a, a' \in A $ が存在する。
• この結果は、$ |(A + A)(A + A)| \gg \frac{|A|^2}{\log|A|} $ を意味し、これまでに知られていた最良の境界と一致するが、より簡単な証明を提供する。
• 同様の境界は $ A \subset \mathbb{C} $ に対しても成り立ち、従来は実数集合でのみ知られていた結果を拡張する。
• 証明はSzemerédi-Trotterの定理とコーシー・シュワルツの不等式にのみ依存し、多項式分割や3次元の組合せ幾何の境界を用いない。
• Jones [3] が与えたオリジナルの証明よりも単純な証明を、3変数の拡張器境界 $ \left|\left\{ \frac{a-b}{a-c} : a,b,c \in A \right\} \right| \gg \frac{|A|^2}{\log|A|} $ に対して与える。
• 従来の研究に比べ、積集合の変数数を4つから2つに削減することで、より強い結果が得られる。