[论文解读] Right Angles in (F_q)^d

Michael A. Bennett|arXiv (Cornell University)|Nov 28, 2015

Limits and Structures in Graph Theory参考文献 9被引用 3

一句话总结

本文研究有限向量空间中的Erdos-Falconer型问题，证明在(F_q)^d中，大小为>> q^{(d+2)/3}的子集必包含三点构成直角，而大小为>> q^{(d+2)/2}的子集必包含以原点为顶点的直角。后者界限被证明在常数因子范围内是紧的，且对展开度与共线三元组问题有部分结果。

ABSTRACT

Here we examine some Erdos-Falconer-type problems in vector spaces over finite fields involving right angles. Our main goals are to show that a) a subset A of F_q^d of size >> q^[(d+2)/3] contains three points which generate a right angle, and b) a subset A of F_q^d of size >> q^[(d+2)/2] contains two points which generate a right angle with the vertex at the origin. We will also prove that b) is sharp up to constants and provide some partial results for similar problems related to spread and collinear triples.

研究动机与目标

• 确定子集A ⊆ (F_q)^d的最小大小，以保证存在三点构成直角。
• 确定子集包含以原点为顶点的直角的阈值大小。
• 证明原点为顶点情形的界限在常数因子范围内是紧的。
• 探讨有限域中与展开度和共线三元组相关的问题。

提出的方法

• 利用加性组合学与傅里叶分析方法，分析(F_q)^d中的配置。
• 应用柯西-施瓦茨不等式与指数和估计，控制直角三元组的数量。
• 采用矩法与能量估计，界定与角度相关方程的解的数量。
• 利用有限域中的对偶性与对称性，将几何问题转化为加性问题。
• 构造极值例子，证明原点为顶点的直角的q^{(d+2)/2}界限在常数因子范围内是紧的。
• 分析F_q上二次型的几何性质，通过点积为零来刻画直角。

实验结果

研究问题

• RQ1 子集A ⊆ (F_q)^d的最小大小是多少，才能保证存在三点构成直角？
• RQ2 子集包含以原点为顶点的直角的阈值大小是多少？
• RQ3 原点为顶点的直角的界限q^{(d+2)/2}在常数因子范围内是否紧致？
• RQ4 结果如何推广到涉及展开度或共线三元组的配置？
• RQ5 (F_q)^d中哪些几何与代数结构决定了直角的存在性？

主要发现

• 大小为>> q^{(d+2)/3}的子集A ⊆ (F_q)^d必包含三点构成直角。
• 大小为>> q^{(d+2)/2}的子集A ⊆ (F_q)^d必包含以原点为顶点的直角。
• 原点为顶点的直角的界限q^{(d+2)/2}在常数因子范围内是紧的，由极值构造得以证明。
• 对展开度与共线三元组相关问题获得部分结果，提示可能存在类似的阈值。
• 方法成功地将有限域中的几何问题转化为加性组合学问题，从而实现定量估计。
• 指数和与傅里叶分析的使用，有效控制了直角构型的数量。