[論文レビュー] On distinct cross-ratios and related growth problems

Misha Rudnev|arXiv (Cornell University)|May 4, 2017

Limits and Structures in Graph Theory参考文献 12被引用数 6

ひとこと要約

本稿は、複素数または実数の有限集合 $ A $ が生成する異なる交比の数について、超二次の下界を確立し、$ |C[A]| \gtrsim |A|^{2 + \frac{2}{11}} $ を示している。複素数の場合には、より強い対数的要因の保存を伴う。この結果は、交比の構造と和積現象の関連を用いて、乗法的構造における成長に関する新しい境界を導出し、平面における三角形の面積集合や $ \sin(A - A) $ の乗法的成長についても示している。

ABSTRACT

It is shown that for a finite set $A$ of four or more complex numbers, the cardinality of the set $C[A]$ of all cross-ratios generated by quadruples of pair-wise distinct elements of $A$ is $|C[A]|\gg |A|^{2+\frac{2}{11}}\log^{-\frac{6}{11}} |A|$ and without the logarithmic factor in the real case. The set $C=C[A]$ always grows under both addition and multiplication. The cross-ratio arises, in particular, in the study of the open question of the minimum number of triangle areas, with two vertices in a given non-collinear finite point set in the plane and the third one at the fixed origin. The above distinct cross-ratio bound implies a new lower bound for the latter question, and enables one to show growth of the set $\sin(A-A),\;A\subset \mathbb R/π\mathbb Z$ under multiplication. It seems reasonable to conjecture that more-fold product, as well as sum sets of this set or $C$ continue growing ad infinitum.

研究の動機と目的

• 有限集合 $ A \subset \mathbb{C} $ もしくは $ \mathbb{R} $ が生成する異なる交比の数に対する非自明な下界を確立し、以前の $ |C[A]| \gg |A|^2 $ の境界を改善すること。
• 交比の構造を和積現象と結びつけ、関連集合における加法的および乗法的成長を明らかにすること。
• 固定された原点と平面上の有限点集合を用いて形成される異なる三角形の面積の数に対する新しい下界を導出すること。
• Conjecture I（三角形の面積の成長に関する）を仮定することで、$ \sin(A - A) $ のような集合における乗法的エネルギーの多項式的無限反復成長の可能性を調査すること。
• 方向や距離といった幾何的配置と、交比および双一次形式を通じた代数的成長との相互作用を明らかにすること。

提案手法

• 集合 $ A $ の相異なる4元の組に対して交比関数 $ [a,b,c,d] = \frac{(a-b)(c-d)}{(a-c)(b-d)} $ の異なる値の数を解析するため、交線幾何の技法を適用する。
• 乗法的 Plünnecke 不等式と和集合推定の反復的応用により、交比の $ k $ 重積集合 $ C[A]^k $ の成長を制限する。
• Möbius 変換の構造と $ \mathrm{PSL}_2(F) $ における交比の不変性に依拠し、幾何的配置と代数的制約を結びつける。
• 加法的組合せ論における重要な推定（補題7）を用いて、交比と三角形の面積から導かれる積集合の成長を制限する。
• 交比集合 $ C[A] $ と三角形の面積集合 $ \omega[E] $ の間の関係を、恒等式 $ [a,b,c,d] = \frac{\omega(a,b)\omega(c,d)}{\omega(a,c)\omega(b,d)} $ を通じて確立し、$ \mathbb{R}^2 $ 上のシンプレクティック形式と関連付ける。
• 方向集合 $ \Phi $ に関する Conjecture I を仮定した条件下で、$ \sin(\Phi - \Phi) $ の乗法的エネルギーに関する境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限集合 $ A \subset \mathbb{C} $ もしくは $ \mathbb{R} $ が生成する異なる交比の数は、$ |A| $ の超二次関数で下から抑えられるか？
• RQ2 固定された原点と非退化な平面の有限点集合 $ E \subset \mathbb{R}^2 $ から形成される三角形の面積集合 $ \omega[E] $ は、乗法的構造において多項式的成長を示すか？
• RQ3 集合 $ \sin(A - A) $（$ A \subset \mathbb{R}/\pi\mathbb{Z} $）は乗法的構造において多項式的成長を示す可能性があり、その場合、元の集合 $ A $ にどのような制約が生じるか？
• RQ4 異なる方向の数 $ \Phi[E] $ と三角形の面積集合 $ \omega[E] $ の乗法的成長の間にはどのような関係があるか？
• RQ5 交比集合 $ C[A] $ を用いて、$ \sin(A - A) \cdot \sin(A - A) $ のような他の代数的集合のサイズに対する非自明な下界を導くことは可能か？

主な発見

• 任意の $ |A| \geq 4 $ を満たす複素数の有限集合 $ A \subset \mathbb{C} $ に対して、異なる交比の数は $ |C[A]| \gtrsim |A|^{2 + \frac{2}{11}} $ を満たす。ここで $ \gtrsim $ の記号は対数的要因を無視することを意味する。
• 実数の場合には、対数的要因を除去でき、より強い境界 $ |C[A]| \gg |A|^{2 + \frac{2}{11}} $ が得られる。
• この結果は、$ A \subset \mathbb{R}/\pi\mathbb{Z} $ のとき、集合 $ \sin(A - A) $ が乗法的構造で成長することを示し、Conjecture I を仮定すれば、対数的無限反復成長を示す。
• 三角形の面積集合 $ \omega[E] $ が乗法的二重化定数 $ K $ で有界ならば、異なる方向の数は $ |\Phi[E]| \ll K^{O(-\log \epsilon)} |\omega[E]|^{\frac{11}{36} - \epsilon} $ で抑えられる。
• Conjecture I を仮定すると、集合 $ \sin(\Phi - \Phi) $ は多項式的長さの近似幾何的等比数列に含まれない。さらに、十分大きな $ |\Phi| $ に対して、$ |(\sin(\Phi - \Phi))^{2^n}| \geq |\Phi|^n $ が成り立つ。
• 交比集合 $ C[A] $ が加法的および乗法的両方の構造で成長することが示され、その構造は和積現象および有限集合における双一次形式の値を研究する新しい道筋を提供する。