[論文レビュー] On sets of integers not containing long arithmetic progressions

Izabella Łaba, Michael T. Lacey|ArXiv.org|Aug 22, 2001

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

ひとこと要約

本稿は、1 + 2^k 項の等差数列を避ける {1, ..., N} の部分集合のサイズに対する新しい下界を、ベレンドの構成の高次元版を用いて確立する。整数集合を基数 n 展開と ℤ^d 内の球面的レベル集合を用いて分析することで、このような集合は少なくとも N exp(−C(log N)^{1/(k+1)}) のサイズを持つことができると示され、より長い等差数列に対してベレンドの下界を顕著に改善する。

ABSTRACT

We construct subsets of {1,...,N} of cardinality at least N exp(-C(log N)^{1/(k+1)}) which do not contain arithmetic progressions of length 2^k+1. This extends a result of Behrend (1946) concerning sets which do not contain aritmetic progressions of length 3.

研究の動機と目的

• 3項の等差数列を含まない {1,…,N} の部分集合のサイズに対するベレンドの1946年における下界を、より長い等差数列にまで拡張して改善すること。
• 特に k = 1 + 2^k の場合に、{1,…,N} の中で等差数列を長さ k で避ける最大の部分集合のサイズ r(k,N) を調査すること。
• ℤ^d 内の桁展開とノルムに基づくレベル集合を用いた構成的手法を開発し、大きな進歩自由集合を生成すること。
• k が増加するに従い、r(k,N) の下界における対数因子の指数に定量的な改善をもたらすこと。

提案手法

• 整数 {1,…,N} を、[−q, q] 内の対称的桁を持つ基数 n 展開で表現し、d ≈ √log N となる ℤ^d 内のベクトルに写像する。
• 各 x に対してノルム ‖x‖² = ∑x_i² を定義し、等高面 S_r = {x ∈ Q : ‖x‖² = r} を考察して等差数列を避ける。
• 非定数の多項式が次数 2m に対しては高々 2m 個の根しか持てないという事実を用い、S_r が多項式の等差数列の 2m+1 項を含むことはないことを示す。
• 可能なノルムの範囲にわたるピーコンホールドの議論を適用し、大きな基数を持つ等高面 S_r を特定し、それによって長い等差数列を避ける。
• 帰納的構成を用いる：より大きな進歩自由集合を、レベル集合の和集合と、2m 次の多項式の進歩を避ける集合 R による平行移動をとることで構築する。
• rQ 内のベクトルの線形結合の構造を活用し、スケーリングと平行移動の下で等差数列の性質が保たれることを活用する。

実験結果

リサーチクエスチョン

• RQ1 ベレンドの3項進歩自由集合に対する構成を、より長い等差数列に一般化できるか？
• RQ2 r(k,N)、つまり {1,…,N} の中で長さ k の等差数列を含まない最大部分集合のサイズの最適な下界は何か？
• RQ3 特に k = 1 + 2^m の場合に、下界における対数因子の指数は k とともにどのように変化するか？
• RQ4 高次元幾何的構造（例：ℤ^d 内の球面）を用いて、元のベレンド法よりも大きな進歩自由集合を構成できるか？
• RQ5 k が N とともに増加する際、r(k,N) の漸近的挙動は何か、特に k が m に関して指数関数的に増加する場合に注目する。

主な発見

• 本稿は、ある絶対定数 C > 0 に対して、r(1 + 2^k, N) ≥ N exp(−C(log N)^{1/(k+1)}) という新しい下界を確立した。
• この下界は、より長い等差数列に対して、ベレンドの元の推定 r(3,N) ≥ N exp(−C√log N) より顕著に改善している。
• 構成法は、対称的桁を持つ基数 n 展開を用い、ℤ^d 内の ℓ² ノルムのレベル集合を選択することで、多項式の進歩を避ける。
• この方法は、非定数の多項式が次数 2m に対して高々 2m 個の根しか持てないという事実に依拠しており、ノルムレベル集合に長い等差数列が含まれないことを保証する。
• 入れ子になったレベル集合と、進歩自由集合 R の平行移動コピーに対するピーコンホールドの帰納的議論により、大きな進歩自由部分集合の存在が保証される。
• 最終的な下界は、d ≈ (log N)^{1/(k+1)} とし、N = n^d とすることで得られ、提示された指数対数的トレードオフが実現される。