[论文解读] Large zero-free subsets of Z/pZ

Jean‐Marc Deshouillers, Gyan Prakash|ArXiv.org|Jan 23, 2009

Limits and Structures in Graph Theory被引用 3

一句话总结

该论文确定了当大素数 p 时 ℤ/pℤ 中零自由子集的最大大小，证明最大此类子集的大小为 ⌊√(2p)⌋ − δ(p)，其中 δ(p) ∈ {0,1}。通过三角和与结构分析，作者表明任一较大的零自由集，经适当缩放后，是小的负部分与一个元素和至多为 p−1 的正部分的并集，从而渐近确认了 Erdős–Heilbronn 猜想，并改进了此类集合和集结构的先前界限。

ABSTRACT

A finite subset $A$ of an abelian group $G$ is said to be zero-free if the identity element of $G$ cannot be written as a sum of distinct elements from $A$. In this article we study the structure of zero-free subsets of $Z/pZ$ the cardinality of which is close to largest possible. In particular, we determine the cardinality of the largest zero-free subset of $Z/pZ$, when $p$ is a sufficiently large prime.

研究动机与目标

• 确定当 p 为充分大的素数时，ℤ/pℤ 中零自由子集的精确最大基数。
• 刻画 ℤ/pℤ 中大零自由子集的结构形式，特别是其分布与和集性质。
• 对 ℤ/pℤ 中零自由子集大小的上界，进一步确认并改进 Erdős–Heilbronn 猜想。
• 建立大零自由集在适当缩放下，为小负集与和至多为 p−1 的正集的并集。
• 利用先进的三角和技术，改进零自由集和集估计中误差项的界限。

提出的方法

• 应用 Deshouillers 和 Freiman 开发的三角和方法，分析 ℤ/pℤ 中的不完全集与零自由集。
• 将 ℤ/pℤ 中元素的规范提升映射到 (−p/2, p/2] 内的整数，以研究和集行为并避免 p 的倍数。
• 采用和集 𝒜♯ = {∑b∈ℬ b : ∅ ≠ ℬ ⊂ 𝒜} 的概念，将零自由性定义为 0 ∉ 𝒜♯。
• 应用 Szemerédi 和 Vu 关于和集中长等差数列的结果，推导零自由集的结构约束。
• 使用划分技术，将缩放后的零自由集拆分为可忽略的负部分与和有界的正部分。
• 应用关于和集覆盖的组合引理（例如，若 B ⊂ [1,q] 的密度 >7/8，则 [q+1,13/8q] ⊂ 2B），以证明和集中包含区间。

实验结果

研究问题

• RQ1 对于大素数 p，ℤ/pℤ 中零自由子集的最大可能大小是多少？
• RQ2 在 ℤ/pℤ 中，大零自由子集的结构是怎样的，特别是经 ℤ/pℤ 中单位元缩放后？
• RQ3 是否可以对充分大的素数确认 Erdős–Heilbronn 猜想 |𝒜| ≤ √(2p)？
• RQ4 大零自由集和集界限中的最优误差项是什么？能否将其改进为 O(p^{1/2})？
• RQ5 零自由集的和集在多大程度上能覆盖 ℤ/pℤ 中的区间？这与其结构有何关联？

主要发现

• ℤ/pℤ 中零自由子集的最大大小是满足 k(k+1)/2 ≤ p+1 的最大整数 k，其值为 ⌊√(2p)⌋ − δ(p)，其中 δ(p) ∈ {0,1}。
• 对任意大零自由集 𝒜，存在单位 d ∈ (ℤ/pℤ)×，使得 d·𝒜 是集合 𝒜′ 与 𝒜′′ 的不相交并集，其中 𝒜′ 的元素个数不超过 1+δ(p)，且其元素位于 [−2(1+δ(p)),−1]_p 内，而 𝒜′′ ⊂ [1,p/2]_p 满足 ∑|a′′| ≤ p−1。
• d·𝒜 中元素绝对值之和的上界为 p + O(p^{3/4} ln p)，负元素绝对值之和为 O(p^{3/4} ln p)，且通过 Nguyen、Szemerédi 和 Vu 的工作，误差项可进一步改进为 O(p^{1/2})。
• 正提升集合 P(0.9√(2p)) 的基数为 0.9√(2p) − O(e(𝒜))，其和集 P♯ 包含区间 [0.9√(2p)+1, ψ(p)^{1/2}p]，其中 ψ(p) 为某合适函数。
• 负提升数 N 为 O(√e(𝒜))，且存在绝对常数 c₀，使得 N ⊂ [1, c₀e(𝒜)]，表明其结构具有稀疏性。
• 正部分 𝒜′′ 的和集满足 ∑|a′′| ≤ p−1，负部分 𝒜′ 的和集包含于一个小区间内，从而确认了大零自由集的结构分解。