[論文レビュー] 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ℤ におけるゼロを含まない部分集合の最大サイズを決定し、最大の such 部分集合のサイズが ⌊√(2p)⌋ − δ(p) であることを証明する。ここで δ(p) ∈ {0,1} である。三角関数和と構造的解析を用いて、任意の大きなゼロを含まない集合は、スケーリングを除いて、小さな負の部分集合と、その和が p−1 未満である正の部分集合の和集合であることが示され、エドーシュ–ヘイルブルン予想が漸近的に確認され、このような集合の和集合構造に関する以前の境界が改善された。

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ℤ におけるゼロを含まない部分集合のサイズに対する上界に関するエドーシュ–ヘイルブルン予想を精緻化し、確認すること。
• 大きなゼロを含まない集合は、スケーリングを除いて、小さな負の集合と、その和が p−1 未満である正の集合の和集合であることを確立すること。
• 高度な三角関数和技術を用いて、ゼロを含まない集合の和集合推定における誤差項の境界を改善すること。

提案手法

• デシュアエイエールとフライマンが開発した三角関数和の手法を応用し、ℤ/pℤ における不完全かつゼロを含まない部分集合を分析する。
• ℤ/pℤ の要素を (−p/2, p/2] 内の整数に標準的リフトすることで、p の倍数を避ける和集合の挙動を研究する。
• ゼロを含まない性質を定義するため、集合 𝒜 の和集合 𝒜♯ = {∑b∈ℬ b : ∅ ≠ ℬ ⊂ 𝒜} を用いる。ゼロを含まないとは 0 ∉ 𝒜♯ を意味する。
• シュメレディとヴゥの長距離等差数列に関する和集合への結果を応用し、ゼロを含まない集合に構造的制約を導く。
• スケーリングされたゼロを含まない集合を、無視できるほどの小さな負の部分集合と、和が有界な正の部分集合に分割する分割技術を用いる。
• 和集合カバーに関する組合せ的補題（例：集合 B ⊂ [1,q] が密度 >7/8 を満たすならば [q+1,13/8q] ⊂ 2B）を用いて、和集合内に区間が含まれることを証明する。

実験結果

リサーチクエスチョン

• RQ1 大きな素数 p に対して、ℤ/pℤ におけるゼロを含まない部分集合の最大サイズは何か？
• RQ2 ℤ/pℤ における大きなゼロを含まない部分集合は、ℤ/pℤ の単元によるスケーリングを除いてどのように構造化されているか？
• RQ3 エドーシュ–ヘイルブルン予想 |𝒜| ≤ √(2p) が十分に大きな素数において確認可能か？
• RQ4 大きなゼロを含まない集合の和集合境界における最適な誤差項は何か？O(p^{1/2}) に改善可能か？
• RQ5 ゼロを含まない集合の和集合が ℤ/pℤ のどの程度の区間をカバーできるか？これはその構造とどのように関係するか？

主な発見

• ℤ/pℤ におけるゼロを含まない部分集合の最大サイズは、k(k+1)/2 ≤ p+1 を満たす最大の整数 k に等しく、⌊√(2p)⌋ − δ(p) に等しく、δ(p) ∈ {0,1} である。
• 任意の大きなゼロを含まない集合 𝒜 に対して、ℤ/pℤ の単元 d ∈ (ℤ/pℤ)× が存在し、d·𝒜 は、[−2(1+δ(p)),−1]_p 内に高々 1+δ(p) 個の要素を持つ集合 𝒜′ と、[1,p/2]_p 内に含まれる集合 𝒜′′ に直積和である。
• 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♯ は適切な関数 ψ(p) に対して区間 [0.9√(2p)+1, ψ(p)^{1/2}p] を含む。
• 負のリフトの数 N は O(√e(𝒜)) であり、ある絶対定数 c₀ に対して N は [1, c₀e(𝒜)] に含まれる。これは構造の疎らかさを示唆する。
• 正の部分集合 𝒜′′ の和集合は ∑|a′′| ≤ p−1 を満たし、負の部分集合 𝒜′ の和集合は小さな区間に含まれる。これにより、大きなゼロを含まない集合の構造的分解が確認された。