[论文解读] On the directions determined by Cartesian products and the clique number of generalized Paley graphs

Chi Hoi Yip|arXiv (Cornell University)|Oct 5, 2020

Limits and Structures in Graph Theory参考文献 21被引用 16

一句话总结

该论文将关于仿射伽罗瓦平面上有限域（素数幂阶）的笛卡尔积所形成方向的结果进行扩展，证明了新的方向数下界，改进了广义 Paley 图中平凡团数上界 √q。对于立方 Paley 图，该界被降低至 0.769√q + 1；对于几乎所有非平方 q，该界被改进为 √q − h(q)，其中 h(x) = o(x)，方法包括等分布性与 Rédei 型多项式方法。

ABSTRACT

It is known that the number of directions formed by a Cartesian product $A imes B \subset AG(2,p)$ is at least $|A||B| - \min\{|A|,|B|\} + 2$, provided $p$ is prime and $|A||B|

研究动机与目标

• 将 AG(2,p) 中笛卡尔积所确定的方向数的已知下界推广至素数幂阶的 AG(2,q)。
• 改进广义 Paley 图在 F_q 上的团数的平凡上界 √q。
• 为立方 Paley 图建立更紧的界，将上界从 √q 降低至 0.769√q + 1。
• 证明对于任意 h(x) = o(x)，几乎所有非平方 q 的团数至多为 √q − h(q)。
• 通过 Rédei 多项式与等分布性论证，建立笛卡尔积中方向数与团数之间的联系。

提出的方法

• 将文献 [3] 中的引理 1.5 推广至素数幂阶有限域，使用多项式因式分解与互素条件。
• 应用 Rédei 多项式与 Szőnyi 的推广，分析 A×B ⊂ AG(2,q) 中方向集的结构。
• 利用广义 Paley 图中团的各方向必须为 d 次幂或 ∞ 的事实，限制可能方向的数量。
• 利用特定算术级数中素数的 {p^{r−1/2}} 模 1 的等分布性，控制异常情况的密度。
• 结合定理 1.6 的方向界与定理 6.5，通过 p 的整除性推导出团大小的约束。
• 使用渐近分析与 o(x) 条件，证明违反改进界之素数集合的密度为零。

实验结果

研究问题

• RQ1 当 q 为素数幂时，笛卡尔积 A×B 在 AG(2,q) 中确定的最小方向数是多少？
• RQ2 如何利用方向界改进广义 Paley 图团数的上界？
• RQ3 广义 Paley 图在 F_q 上的团数的平凡 √q 上界能否在立方情形下得到改进？
• RQ4 对于哪些密度的 q（特别是非平方数），可使团数下界为 √q − h(q)，其中 h(x) = o(x)？
• RQ5 p^{r−1/2} 的分数部分的等分布性在建立团数的“几乎所有”界中起什么作用？

主要发现

• 当 |A||B| < q 时，AG(2,q) 中子集 A×B 确定的方向数至少为 |A||B| − min{|A|,|B|} + 2，该结果将 AG(2,p) 中的结果推广至 AG(2,q)。
• 对于立方 Paley 图（d=3），团数至多为 0.769√q + 1，优于平凡的 √q 上界。
• 对于任意满足 h(x) = o(x) 的函数 h，广义 Paley 图在 F_q 上的团数至多为 √q − h(q)，对几乎所有非平方 q 成立。
• 使得改进界失效的素数 p 的集合，在满足 p ≡ 1 mod 2d 且 p^{2r+1} ≡ 1 mod 2d 的素数中具有相对密度为零。
• 证明的关键在于：若团数超过 √q − h(p)，则某个连续整数区间必须包含一个 p 的倍数，而由于等分布性，这种情况极为罕见。
• 关键技术洞见是：{p^{r−1/2}} 的分数部分在模 1 意义下等分布，这限制了使界失效的异常素数的测度。