[論文レビュー] Areas of triangles and Beck's theorem in planes over finite fields

Alex Iosevich, Misha Rudnev+1 more|arXiv (Cornell University)|May 1, 2012

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

ひとこと要約

本稿は、古典的幾何的組合せ論の結果の有限体版を確立し、$\mathbb{F}_q^2$ の部分集合で $|E| > q$ の場合、共通の底辺を共有する三角形の間で少なくとも $\frac{q-1}{2}$ 種類の異なる三角形面積が生じることを証明している。より大きな集合 ($|E| \geq 64q\log_2 q$) の場合、ある点 $z$ が存在し、それらの点を頂点とする三角形から $\frac{q}{2}$ 種類を超える異なる面積が生じることを示しており、組合せ的接続幾何とフーリエ解析的手法を組み合わせて得られている。

ABSTRACT

It is shown that any subset $E$ of a plane over a finite field $\F_q$, of cardinality $|E|>q$ determines not less than $\frac{q-1}{2}$ distinct areas of triangles, moreover once can find such triangles sharing a common base. It is also shown that if $|E|\geq 64q\log_2 q$, then there are more than $\frac{q}{2}$ distinct areas of triangles sharing a common vertex. The result follows from a finite field version of the Beck theorem for large subsets of $\F_q^2$ that we prove. If $|E|\geq 64q\log_2 q$, there exists a point $z\in E$, such that there are at least $\frac{q}{4}$ straight lines incident to $z$, each supporting the number of points of $E$ other than $z$ in the interval between $\frac{|E|}{2q}$ and $\frac{2|E|}{q}.$ This is proved by combining combinatorial and Fourier analytic techniques. We also discuss higher-dimensional implications of these results in light of recent developments.

研究の動機と目的

• ユークリッド幾何における古典的三角形面積定理の有限体版を確立すること。
• 大きな $\mathbb{F}_q^2$ の部分集合が線形数の異なる三角形面積を決定することを証明すること。
• 帰納法と超平面による切断を用いて、これらの結果を高次元の体積へと拡張すること。
• $\mathbb{F}_q^2$ における接続幾何の有限体版のベックの定理を開発すること。
• 組合せ的接続境界とフーリエ解析的手法を組み合わせ、体積分布に関する定量的推定を得ること。

提案手法

• $|E| \geq 64q\log_2 q$ のとき、ある点 $z \in E$ が少なくとも $\frac{q}{4}$ 本の直線に属し、それぞれの直線が $\sim \frac{|E|}{q}$ 個の点を含むことを示す、有限体版のベックの定理を証明する。
• 接続幾何と鳩の巣原理を用いて、点の分布が制御された共通の点を通る多くの直線の集合を特定する。
• フーリエ解析的手法を適用し、固定された原点 $z$ からのベクトルの組み合わせによって形成される非ゼロの行列式の数を推定する。$L^2$-制限推定を用いる。
• フーリエ解析の均一性を保つために、$z$ を含み、$z$ を通る $\frac{q}{4}$ 本の直線にそれぞれ $2q^{-1}|E|$ 個の点を持つ部分集合 $E'$ に $E$ を精錬する。
• コーシー・シュワルツの不等式を用いて、表現関数の $L^2$ ノルムを下から抑え、ピン留めされた三角形面積の種類数を下界づけする。
• 次元に関する帰納法を用い、$E \subset \mathbb{F}_q^d$ を $x_d = c$ という超平面で切り、$d$ 次元体積集合を低次元部分空間における $(d-1)$ 次元体積集合に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 大きさ $|E| > q$ の部分集合 $E \subset \mathbb{F}_q^2$ に対して、異なる三角形面積の最小数は何か？
• RQ2 これらの異なる面積は、共通の底辺を持つ三角形によって実現可能か？
• RQ3 十分に大きな $E \subset \mathbb{F}_q^2$ に対して、点 $z$ が存在し、それらの頂点が $z$ である三角形から $\frac{q}{2}$ 種類を超える異なる面積が得られるか？
• RQ4 組合せ的接続幾何とフーリエ解析をどのように組み合わせて、有限体における異なる体積数の上限を導けるか？
• RQ5 $\mathbb{F}_q^d$ における三角形面積結果の高次元一般化は何か？

主な発見

• $|E| > q$ のとき、$|V_2(E)| \geq \frac{q-1}{2}$ が成り立ち、少なくとも $\frac{q-1}{2}$ 種類の異なる三角形面積が決定される。
• この $\frac{q-1}{2}$ 種類の異なる面積は、共通の底辺を持つ三角形によって実現可能である。
• $|E| \geq 64q\log_2 q$ のとき、ある点 $z \in E$ が存在し、$|V_2^z(E)| > \frac{q}{2}$ が成り立つ。つまり、$z$ を頂点とする三角形から、非ゼロ面積の半数以上が得られる。
• 証明は、有限体版のベックの定理に依拠しており、大きな集合 $E$ には、$\frac{q}{4}$ 本以上の直線に属し、それぞれの直線が $\sim \frac{|E|}{q}$ 個の点を含む点 $z$ が存在することを示している。
• フーリエ解析的手法により、差の表現関数の $L^2$ ノルムが抑えられ、推定における第2項が第1項に支配され、結果として異なる面積に対する強い下界が得られる。
• この結果は高次元へ一般化可能である：$|E| \geq 2q^{d-1}$ のとき、非ゼロ $d$ 次元体積の数は $|V_d(E)| \geq |V_{d-1}(E \cap H_0)|$ を満たし、帰納法により下界が保たれる。