[論文レビュー] Squares and Difference Sets in Finite Fields

Christine Bachoc, Imre Z. Ruzsa+1 more|arXiv (Cornell University)|Nov 27, 2013

graph theory and CDMA systems参考文献 5被引用数 2

ひとこと要約

この論文は、差集合 B−B が平方剰余のみを含む部分集合 B ⊂ 𝔽_p のサイズに対する上界を改善する。文字和推定と差の性質が制御された集合 D ⊂ NQ の新しい構成を用いて、無限個の素数 p ≡ 1 (mod 4) に対して、最大サイズ s(p) が s(p) ≤ √p − 1 を満たすことを示している。これは、およそ 75% のこのような素数に対して成り立つ、やや弱い条件下での結果である。この結果は、古典的な自明な上界 s(p) ≤ √p を強化するものである。

ABSTRACT

See the abstract in the attached pdf.

研究の動機と目的

• 差集合 B−B が平方剰余の集合 Q に含まれる部分集合 B ⊂ 𝔽_p のサイズに対する古典的上界 s(p) ≤ √p の改善を図ること。
• 長年の未解決問題である、この上界の改善を、ヒューリスティックな証拠が真の値が c log² p に近い可能性を示唆しているにもかかわらず、進展が困難であった問題に取り組むこと。
• 文字和技術と有限体における差集合の構造的性質を活用して、非自明な改善を確立すること。
• 素数 p ≡ 1 (mod 4) のうち、改善された上界 s(p) ≤ √p − 1 が成り立つものとされる条件を特定し、その密度を定量化すること。

提案手法

• 平方乗法χと関数ϕ(t) = ∑_{b∈B} χ(b−t) を定義し、これは B−t における平方剰余と非剰余の符号付き差の数を追跡する。
• 文字の準正規性を用いて、∑_t ϕ(t)² = s(q − s) を計算し、ϕ の L² ノルムに対する境界を得る。
• t ∉ B のとき、D = (B−t) ∩ NQ を構成し、D ⊂ NQ かつ D−D ⊂ Q ∪ {0} となるように保証し、|D| = r を s と関係付ける不等式 s(s−1)r ≤ s(q−1)/2 を導出する。
• ∑_{t∉B} ϕ(t) および ∑_{t∉B} ϕ(t)² を、補助関数 ϕ₁(t) = ϕ(t)+1 を用いて分析し、r に対する境界を s の偶奇に応じて導出する。
• s が偶数の場合、ϕ(t) ≤ −2 を満たす t が存在することを示し、r ≥ (s+2)/2 を得る。s が奇数の場合、ϕ(t) ≤ −3 を満たす t が存在することを示し、r ≥ (s+3)/2 を得る。
• これらの r の下界を、鍵となる不等式 s(s−1)r ≤ s(q−1)/2 に代入し、s² + s −1 ≤ q（[√q] が偶数の場合）および s² + 2s −2 ≤ q（[√q] が奇数の場合）の改善された境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 無限個の素数 p ≡ 1 (mod 4) に対して、差集合が平方剰余に含まれる部分集合 B ⊂ 𝔽_p のサイズに対する古典的上界 s(p) ≤ √p を改善できるか？
• RQ2 素数 p ≡ 1 (mod 4) のうち、改善された上界 s(p) ≤ √p − 1 が成り立つのはどのような場合か？ その条件を満たす素数の割合はどの程度か？
• RQ3 集合 B 及びその平行移動 B−t のどのような構造的性質が、D ⊂ NQ かつ D−D ⊂ Q ∪ {0} を満たす大きな部分集合 D の構成を可能にするか？
• RQ4 文字和推定と s の偶奇に関する考察が、s(p) の上界の強度にどのように影響を与えるか？
• RQ5 文字和 ϕ(t) の高次モーメント、例えば ∑ ϕ³(t) を用いることで、この手法をより強い上界を得るために拡張可能か？

主な発見

• 無限個の素数 p ≡ 1 (mod 4) に対して、差集合 B−B が平方剰余に含まれる部分集合 B ⊂ 𝔽_p の最大サイズ s(p) は、適切な条件下で s(p) ≤ √p − 1 を満たす。
• 改善された上界 s(p) ≤ √p − 1 は、p = 4k + 1 の約 75% の素数に対して成り立つ。具体的には、[√p] が奇数で、かつ p ≠ (n+1)² − 3（n = [√p]）である場合、または [√p] が偶数で n² + n − 1 > p である場合に成り立つ。
• 上界 s(p) ≤ √p − 1 は、文字和手法を用いて、|D| = r であるような D ⊂ NQ の構成を通じて得られ、s が偶数のときは r ≥ (s+2)/2、s が奇数のときは r ≥ (s+3)/2 が成り立つ。
• 鍵となる不等式 s(s−1)r ≤ s(q−1)/2 を用いて r と s を関係づけ、s の偶奇が最小の r を決定づけ、2つの異なる境界を導出する。
• この手法は、p が素数で s ≠ 0 mod p のとき、ϕ₁(t) の多項式表現の先頭係数が 0 でないことに依存しており、これは偶数 k の場合に失敗する。
• この結果により、古典的上界 s(p) ≤ √p は、正の密度を占める素数に対してタイトではないことが示され、また、パレイグラフ P_p の真のクリーク数は、正の割合の素数に対して √p よりも厳密に小さいことが判明する。