[論文レビュー] Right Angles in (F_q)^d

Michael A. Bennett|arXiv (Cornell University)|Nov 28, 2015

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

ひとこと要約

この論文は有限ベクトル空間におけるErdos-Falconer型問題を調査し、(F_q)^d におけるサイズ >> q^{(d+2)/3} の部分集合は直角をなす3点を含み、サイズ >> q^{(d+2)/2} の部分集合は原点を頂点とする直角を含むことを証明している。後者の上限は定数因子の意味で最良であることが示され、スプレッドや同一直線上の3点の組に関連する部分的な結果も得られている。

ABSTRACT

Here we examine some Erdos-Falconer-type problems in vector spaces over finite fields involving right angles. Our main goals are to show that a) a subset A of F_q^d of size >> q^[(d+2)/3] contains three points which generate a right angle, and b) a subset A of F_q^d of size >> q^[(d+2)/2] contains two points which generate a right angle with the vertex at the origin. We will also prove that b) is sharp up to constants and provide some partial results for similar problems related to spread and collinear triples.

研究の動機と目的

• 部分集合 A ⊆ (F_q)^d の最小サイズを特定し、それが3点が直角をなすことを保証すること。
• 原点を頂点とする直角を含む部分集合の閾値サイズを確立すること。
• 原点を頂点とする直角の境界が定数因子の意味で最良であることを証明すること。
• 有限体におけるスプレッドや同一直線上の3点の組に関連する問題を調査すること。

提案手法

• 加法的組合せ論とフーリエ解析的手法を用いて、(F_q)^d における構成を分析する。
• コーシー・シュワルツの不等式と指数和の推定を適用し、直角をなす3点の組の数を制御する。
• モーメントの方法とエネルギー推定を用いて、角度関連方程式の解の数を評価する。
• 有限体における双対性と対称性を活用し、幾何的問題を加法的問題に還元する。
• 極値例の構成により、原点を頂点とする直角に対する q^{(d+2)/2} の境界が最良であることを示す。
• 二次形式の幾何学的性質を分析し、ドット積の消滅を用いて直角を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 A ⊆ (F_q)^d の部分集合として、3点が直角をなすために必要な最小サイズは何か？
• RQ2 原点を頂点とする直角を含む部分集合の閾値サイズは何か？
• RQ3 原点を頂点とする直角に対する境界 q^{(d+2)/2} は定数因子の意味で最良か？
• RQ4 スプレッドや同一直線上の3点の組を含む構成へと結果を拡張できるか？
• RQ5 (F_q)^d における幾何学的・代数的構造の中で、直角の存在を支配するのは何か？

主な発見

• サイズ >> q^{(d+2)/3} の部分集合 A ⊆ (F_q)^d は、直角をなす3点を含む必要がある。
• サイズ >> q^{(d+2)/2} の部分集合 A ⊆ (F_q)^d は、原点を頂点とする直角を含む必要がある。
• 原点を頂点とする直角に対する境界 q^{(d+2)/2} は、極値例によって定数因子の意味で最良であることが示された。
• スプレッドや同一直線上の3点の組に関する問題に対しては部分的な結果が得られ、類似の閾値が存在する可能性が示唆された。
• 幾何的問題を加法的組合せ論に移行する手法は成功しており、定量的推定が可能になった。
• 指数和とフーリエ解析の使用により、直角をなす構成の数に対する有効な制御が得られた。