On the number of directions formed by Cartesian products in $\mathbb{F}_{p^2}^2$

技术摘要：关于 $\mathbb{F}_{p^2}$ 中笛卡尔积所确定的方向数量

问题陈述
本文研究了有限域 $\mathbb{F}_q$ 上仿射平面中点集 $U$ 所确定的方向数量，特别关注 $A \times A$ 形式的笛卡尔积，其中 $A \subset \mathbb{F}_{p^2}$ 且 $q = p^2$。一个方向由集合中两个不同点连线的斜率定义。

虽然显然包含超过 $q$ 个点的集合会确定所有可能的方向，但对于大小满足 $|U| \le q$ 的集合，该问题变得非平凡。在素域中，已知的锐利下界成立，但在一般有限域上，结构化集合（特别是那些集中在子域仿射副本上的集合）所确定的方向数量可能显著更少。此处解决的具体障碍是当 $A$ 包含在真子域 $\mathbb{F}_p$ 的某个仿射副本内时。在这种情况下，$A \times A$ 最多确定 $p$ 个方向，这远低于大小为接近 $p$ 的集合所预期的二次方量级。

核心问题是：如果 $A$ 不包含在 $\mathbb{F}_p$ 的任何仿射副本中，那么方向数量 $|D(A \times A)|$ 的下界是多少？

方法论
该证明综合了代数组合学、有限几何和加性数论的工具：

1. Rédei 多项式方法：本文利用与点集相关的 Rédei 多项式 $R(X, Y)$。特化多项式 $R(X, y)$ 的根对应于斜率为 $y$ 的直线与集合相交的截距。这些根的重数与每条直线上的点数相关。
2. 代数重数参数：作者采用了 Fancsali、Sziklai 和 Takács 关于两个关键参数的定义：
   • $s(y)$：使得方向为 $y$ 的每条直线与集合相交的点数都能被 $s(y)$ 整除的 $p$ 的最大幂次。
   • $t(y)$：一个代数参数，源自辅助多项式 $H(X, y)$，该多项式出现在分解式 $R(X, Y)Q(X, Y) = X^q + H(X, Y)$ 中。具体而言，$t(y)$ 是使得 $H(X, y)$ 属于 $\mathbb{F}_q[X^{t(y)}]$ 但不属于 $\mathbb{F}_q[X^{p \cdot t(y)}]$ 的 $p$ 的最大幂次。
3. 关于方向集的结构结果：证明依赖于一个结构引理（引理 2.7，隐含在 Li 和 Roche-Newton 的工作中），该引理指出：如果方向集 $D(X)$ 对加法封闭（$1+D(X) \subset D(X)$）且对乘法封闭（$X D(X) \subset D(X)$），那么 $D(X)$ 必须是由 $X$ 生成的子域。
4. 加性组合学：论证使用了 Plünnecke-Ruzsa 不等式的变体（引理 2.5 和 2.6）以及 Li 和 Roche-Newton 的一个结果（引理 2.4）来界定和集与积集的大小。如果方向集未能表现出必要的封闭性质，这些工具被用来推导矛盾。

主要贡献与结果
主要结果定理 1.1建立了在 $\mathbb{F}_{p^2}$ 中由 $A \times A$ 确定的方向数量的二次方下界，前提是 $A$ 避免了子域结构。

• 定理 1.1：设 $q = p^2$，其中 $p$ 为奇素数，且 $A \subset \mathbb{F}_q$。存在一个绝对常数 $k > 1$，使得如果 $k \cdot p^{2/3} < |A| < p$ 且 $A$ 不包含在 $\mathbb{F}_p$ 的任何仿射副本中（即对于任意 $c \in \mathbb{F}_q^*, d \in \mathbb{F}_q$，$A \not\subset c\mathbb{F}_p + d$），则：
  $$|D(A)| \ge \frac{|A|^2 + 1}{2}$$

证明逻辑：
证明首先将 $A$ 规范化，使得 $0, 1 \in A$。随后考虑两种情况：

1. 封闭情况：如果对于所有方向 $r \in D(A)$，集合 $|rA - A| \le p$，作者利用加性组合学界限证明 $D(A)$ 必须对加法和乘法封闭。根据引理 2.7，这意味着 $D(A)$ 是一个子域。由于 $A \not\subset \text{仿射副本 of } \mathbb{F}_p$，$D(A)$ 不能是 $\mathbb{F}_p$。如果 $D(A) = \mathbb{F}_{p^2}$，则该界限平凡成立。
2. 非封闭情况：如果存在某个方向 $y \in D(A)$ 使得 $|yA - A| > p$，作者证明（断言 3.1）代数重数参数$t(y)$和几何参数$s(y)$ 均等于 1。应用 Fancsali、Sziklai 和 Takács 的下界定理（定理 2.3）并取 $t=1$，即可得到所需的二次方界限 $|D(A)| \ge (|A|^2 + 1)/2$。

意义与范围
本文声称解决了笛卡尔积在特定范围 $p^{2/3} < |A| < p$ 内（相差一个常数因子）的下界问题，排除了退化的子域情况。

• 现有界限的细化：这项工作通过明确处理笛卡尔积结构以及 $\mathbb{F}_{p^2}$ 的特定几何性质，细化了 Fancsali、Sziklai 和 Takács 针对一般点集获得的一般下界。
• 显式重数：一个关键的技术步骤是证明，除非方向集强制形成子域结构，否则可以显式识别出一个方向，其代数重数参数 $t$ 为 1，从而允许应用锐利界限。
• 局限性：作者指出，将这一二次方下界扩展到范围 $|A| < p^{2/3}$ 仍然是一个未解决的问题。在该较低范围内，已知的最佳界限是次二次方的，并且依赖于关联几何方法（引用 [6] 和 [7]）。本文并未声称解决所有集合大小的问题，也未提供一般情形下达到 $|A| < q$ 最优界限的集合的几何刻画，并指出这目前仍属未知。