[論文レビュー] Bisector energy and pinned distances in positive characteristic

Thomas Brendan Murphy, Misha Rudnev+1 more|arXiv (Cornell University)|Aug 13, 2019

Finite Group Theory Research参考文献 29被引用数 7

ひとこと要約

この論文は、剛体運動を射影3次元空間にクラッフォード代数に基づく運動学的写像で埋め込むことで、二等辺三角形のエネルギーを分析し、正の標数をもつ有限体におけるピン留め距離の数の新たな下界を確立する。$ A \subset \mathbb{F}_q^2 $ が十分に小さい場合、$ A $ のある点が $ \gg |A|^{2/3} $ 個の異なる距離を生成することを証明し、点平面の交差技術とブラシュケ＝グルンヴァルト写像を用いて、以前の境界を改善する。

ABSTRACT

We prove a new lower bound for the number of pinned distances over finite fields: if $A$ is a sufficiently small subset of $\mathbb{F}_q^2$, then there is an element in $A$ that determines $\gg |A|^{2/3}$ distinct distances to other elements of $A$. Combined with results for large subsets $A\subseteq\mathbb{F}_q^2$, this improves all previously known lower bounds on distinct distances over finite fields. In fact, we obtain an upper bound for the number of isosceles triangles determined by $A$. For that we use the concept of bisector energy. It turns out that the latter can be expressed as a point-plane incidence bound, so one can use a theorem of the third author. The conversion to this incidence problem relies on the Blaschke-Grünwald kinematic mapping -- an embedding of the group of rigid motions of $\mathbb{F}_q^2$ into an open subset of the projective three space. This has long been known in kinematics and geometric algebra; we provide a proof for arbitrary fields using Clifford algebras.

研究の動機と目的

• 正の標数をもつ有限体におけるピン留め距離の数の定量的下界を確立すること。
• 二等辺三角形の構造を二等辺三角形エネルギーの概念を用いて分析すること。
• 任意の体に対して有効な代数的構造を用いて、剛体運動群を射影3次元空間に埋め込む幾何的埋め込みを構築すること。
• 点平面交差定理を応用して二等辺三角形エネルギーを抑え、距離に関する結果を導出すること。
• 加法的組合せ論の文脈において、交差幾何学的手法の有限体への適用範囲を拡張すること。

提案手法

• 著者らは、二等辺三角形エネルギーを、直交二等分線が同一となる四つ組 $ (a,b,c,d) \in A^4 $ の数として定義し、これと二等辺三角形を関連付ける。
• ブラシュケ＝グルンヴァルト運動学的写像を用いて、$ \mathbb{F}_q^2 $ における剛体運動の群を $ \mathbb{P}^3 $ の開部分集合に埋め込む。クラッフォード代数を用いて、任意の体上で定義される埋め込みを構成する。
• 群作用は、クラッフォード代数 $ \mathcal{C}\ell(V,Q)^+ $ の偶数部分代数におけるサンドイッチ積として実現され、これは $ \mathbb{F}^4 $ に同型であるため、射影幾何学的手法を適用可能にする。
• 運動学的写像による剛体運動群の像は、$ \mathbb{P}^3 $ 内の二次曲面超曲面であり、$ X_0^2 - \lambda X_1^2 = 0 $ の錐を除く。
• 二等辺三角形エネルギーは、第3著者の $ \mathbb{P}^3 $ における点平面交差に関する定理を活用して、点平面交差問題に還元することで抑えられる。
• 交差境界は、埋め込まれた剛体運動に適用され、幾何的制約が二等辺三角形の数およびピン留め距離に関する組合せ的境界に翻訳される。

実験結果

リサーチクエスチョン

• RQ1 有限集合 $ A \subset \mathbb{F}_q^2 $ において、1点からピン留めできる異なる距離の最小数は何か？
• RQ2 幾何的交差法を用いて、正の標数をもつ有限体における二等辺三角形エネルギーをどのように抑えられるか？
• RQ3 $ \mathbb{F}_q^2 $ における剛体運動群は、任意の体上で有効な代数的構造を用いて自然に射影3次元空間に埋め込めるか？
• RQ4 ブラシュケ＝グルンヴァルト写像は幾何的対称性をどの程度保存し、交差理論的解析を可能にするか？
• RQ5 絶対値が0の直線および二次形式の構造は、有限体における距離の分布にどのように影響するか？

主な発見

• 論文は、$ A \subset \mathbb{F}_q^2 $ で $ |A| \leq q^{4/5} $ のとき、$ A $ のある点が $ \gg |A|^{2/3} $ 個の異なる距離を生成することを確立した。
• 集合 $ A $ が生成する二等辺三角形の数は、$ O(|A|^{8/3}) $ で上から抑えられ、これは二等辺三角形エネルギーを経由してピン留め距離の境界を示唆する。
• 剛体運動群 $ \mathrm{SF}_2(\mathbb{F}) $ は、クラッフォード代数の構成により、自然に $ \mathbb{P}^3 $ の開部分集合、特に $ \{[X_0:X_1:X_2:X_3] \mid X_0^2 - \lambda X_1^2 \neq 0\} $ に同定される。
• 運動学的写像 $ \kappa: \mathrm{SF}_2(\mathbb{F}) \to \mathbb{P}^3 \setminus \{X_0^2 - \lambda X_1^2 = 0\} $ は、群構造を保存する一対一写像であり、回転および平行移動部分群を射影直線に写像する。
• 群における左および右乗法は、$ \mathbb{P}^3 $ 上の射影変換に対応し、二等辺三角形エネルギーの境界を求めるために交差幾何学が利用可能になる。
• 主な結果は、Lund と Petridis の $ \gg |A|^{20/37} $ の境界を上回り、同様の条件下でより強い指数 $ 2/3 $ を達成する。