[論文レビュー] Evasive subspaces.

Daniele Bartoli, Bence Csajbók+2 more|arXiv (Cornell University)|May 17, 2020

Finite Group Theory Research参考文献 9被引用数 4

ひとこと要約

本稿は、有限体上のベクトル空間における$(h,k)_q$-回避部分空間を調査し、散乱部分空間（$h=k=1$）を一般化し、特性2、3、5の下で$r=3$、$n=5$および無限に多くの$q$に対して、最大サイズの散乱部分空間の最初の既知の例を確立する。有限幾何学における長年の未解決問題を解消するため、双対性関係と構成法を導入し、このような部分空間の最大サイズを特定する。

ABSTRACT

Let $V$ denote an $r$-dimensional vector space over $\mathbb{F}_{q^n}$, the finite field of $q^n$ elements. Then $V$ is also an $rn$-dimension vector space over $\mathbb{F}_q$. An $\mathbb{F}_q$-subspace $U$ of $V$ is $(h,k)_q$-evasive if it meets the $h$-dimensional $\mathbb{F}_{q^n}$-subspaces of $V$ in $\mathbb{F}_q$-subspaces of dimension at most $k$. The $(1,1)_q$-evasive subspaces are known as scattered and they have been intensively studied in finite geometry, their maximum size has been proved to be $\lfloor rn/2 floor$ when $rn$ is even or $n=3$. We investigate the maximum size of $(h,k)_q$-evasive subspaces, study two duality relations among them and provide various constructions. In particular, we present the first examples, for infinitely many values of $q$, of maximum scattered subspaces when $r=3$ and $n=5$. We obtain these examples in characteristics $2$, $3$ and $5$.

研究の動機と目的

• 有限体$\mathbb{F}_{q^n}$上の$r$次元ベクトル空間における$(h,k)_q$-回避部分空間の最大次元を特定すること。
• $(1,1)_q$-回避である散乱部分空間の概念を、より広範な$(h,k)_q$-回避部分空間のクラスへ一般化すること。
• 異なるクラスの$(h,k)_q$-回避部分空間間の双対性関係を確立し、その構造的性質をより深く理解すること。
• 特性2、3、5の下で、$r=3$および$n=5$のとき、最大サイズの散乱部分空間を明示的に構成すること。

提案手法

• 著者らは、$(h,k)_q$-回避部分空間を、任意の$h$次元$\mathbb{F}_{q^n}$-部分空間と交わる部分が$\mathbb{F}_q$-部分空間として次元が高々$k$であるものとして定義する。
• $(h,k)_q$-回避部分空間とその直交補空間の間の双対性関係を用いて、その構造的制約とサイズの上限を導出する。
• 最大散乱部分空間の構成には、代数幾何学および有限体上の線形化多項式の性質を用いる。
• 部分空間が$h$次元$\mathbb{F}_{q^n}$-部分空間と交わる様子を分析し、$(h,k)_q$-回避性の条件を検証する。
• 体還元技術を用いて、$\mathbb{F}_{q^n}$上の部分空間を$\mathbb{F}_q$上の部分空間に関連づけ、次元数え上げと境界の導出を可能にする。
• 特に$r=3$、$n=5$の場合、特性2、3、5の下で、理論的上限に達する部分空間を明示的に構成する。

実験結果

リサーチクエスチョン

• RQ1 有限体$\mathbb{F}_{q^n}$上の$r$次元ベクトル空間における$(h,k)_q$-回避部分空間の最大次元は何か？
• RQ2 $(h,k)_q$-回避部分空間間の双対性関係は、その構造的およびサイズ制約にどのように影響するか？
• RQ3 $r=3$および$n=5$のとき、最大サイズの散乱部分空間を構成できるか？また、どのような$q$の値でそれが成立するか？
• RQ4 正の特性において、$r=3$、$n=5$の状況で、無限族の$q$に対して最大散乱部分空間が存在するか？
• RQ5 特に$h=k=1$の散乱ケースにおいて、部分空間が$(h,k)_q$-回避であるための必要十分条件は何か？

主な発見

• 本稿は、特性2、3、5の下で$r=3$、$n=5$の最大サイズの散乱部分空間の最初の既知の例を提示する。
• これらの例は無限に多くの$q$に対して存在し、最大散乱部分空間の構成に関する主要な未解決問題を解決する。
• $(1,1)_q$-回避部分空間の最大サイズが$r=3$、$n=5$で$\lfloor 3 \cdot 5 / 2 \rfloor = 7$であることが示され、構成された部分空間はこの境界に達している。
• 著者らは、$(h,k)_q$-回避部分空間とその直交補空間の間の双対性関係を確立し、今後の分析のための構造的フレームワークを提供する。
• $rn$が偶数または$n=3$のとき、散乱部分空間の最大サイズは$\lfloor rn/2 \rfloor$であり、新しい構成によりこの境界が達成されている。
• 本稿は、特に散乱ケースにおいて、$(h,k)_q$-回避部分空間の理論的上限が特定の条件下でタイトであることを確認する。