[论文解读] 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$-回避子空间之间的对偶关系，以更好地理解其结构特性。
• 在$r=3$且$n=5$时，为无穷多个$q$构造出最大尺寸的散射子空间，适用于特征2、3和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下满足$(1,1)_q$-回避条件的理论最大尺寸子空间。

实验结果

研究问题

• 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)_q$-回避的必要与充分条件是什么，特别是在散射情形（$h=k=1$）下？

主要发现

• 本文首次给出了$r=3$，$n=5$时，在特征2、3和5下最大尺寸散射子空间的实例。
• 这些实例存在于无穷多个$q$值下，从而解决了最大散射子空间构造中的一个关键开放问题。
• 在$r=3$，$n=5$时，$(1,1)_q$-回避子空间的最大尺寸为$\lfloor 3 \cdot 5 / 2 \rfloor = 7$，所构造的子空间达到了该上界。
• 作者建立了$(h,k)_q$-回避子空间与其正交补之间的对偶关系，为后续分析提供了结构框架。
• 当$rn$为偶数或$n=3$时，散射子空间的最大尺寸为$\lfloor rn/2 \rfloor$，且在新构造中达到了该上界。
• 本文证实了$(h,k)_q$-回避子空间尺寸的理论上界在特定条件下是紧的，特别是在散射情形下。