[論文レビュー] Arithmetic progressions in middle Nth cantor sets

Jon Chaika|arXiv (Cornell University)|Mar 27, 2017

Limits and Structures in Graph Theory被引用数 3

ひとこと要約

この論文は、$k$-良い区間を用いた再帰的帰納法により、平行移動された集合の共通部分集合が空でないことを示すことで、$N$ が十分に大きい場合に、中間 $\frac{1}{N}^\text{th}$ カントール集合が $\frac{N}{\log N}$ に比例する長さの等差数列を含むことを証明している。主な結果として、すべての十分に大きな $N$ に対してこのような配置が存在することを定量的に示している。

ABSTRACT

We show the middle Nth cantor set contains arithmetic progressions of length at least proportional to N/log_2(N).

研究の動機と目的

• 大きな $N$ に対して中間 $\frac{1}{N}^\text{th}$ カントール集合内に長い等差数列が存在することを確立すること。
• このようなカントール集合に埋め込める等差数列の最大長を特定すること。
• 区間構造と平行移動不変性に基づく再帰的メソッドを用いて、平行移動されたカントール集合の共通部分集合が空でないことを証明すること。
• 各段階で中間 $\frac{1}{N}^\text{th}$ 区間が除去されることによる幾何学的・測度論的制約を分析すること。
• 結果が双リプシッチ写像の下でどれほど頑健であるかを検討し、導出された境界のタイトネスを評価すること。

提案手法

• 各段階で $C_k$ の各区間から中央 $\frac{1}{N}^\text{th}$ を繰り返し除去することにより、$X$ を中間 $\frac{1}{N}^\text{th}$ カントール集合として定義する。
• サイズ $\frac{1}{N^k}$ の $k$-良い区間 $J$ とは、$X_{\frac{1}{N^{k+1}}} + a_i$ の $\frac{N}{2}$ 個の互いに素なサイズ $\frac{1}{N^{k+1}}$ の区間と交わることを意味する。
• $k$ に関する帰納法を用い、$J$ が $k$-良いならば、$J$ に $k+1$-良い部分区間 $J'$ が存在することを証明する。
• 補題 4 を適用して、各段階で与えられた区間 $J$ と交わる除去された区間の数を評価し、$L > k$ のとき最大で $2^{L-k-1}$ 個であることを示す。
• 系 5 を用いて、$X_{\frac{1}{N^{k+1}}}$ から $X_{\frac{1}{N^{k+2}}}$ に移行する際、サイズ $\frac{1}{N^{k+2}}$ の区間が破壊される数を推定し、$9N\log_2 N$ で抑えられることを示す。
• 鳩の巣原理を適用して、$k$-良い構造における連続する $N$ 個の区間のブロックが、移行の間に生存することを示し、$k+1$-良い性質の維持を保証する。

実験結果

リサーチクエスチョン

• RQ1 中間 $\frac{1}{N}^\text{th}$ カントール集合に埋め込める等差数列の最大長は何か？
• RQ2 このような数列の長さに関する $\frac{N}{100\log_2 N}$ の境界はタイトか、それ以上に改善可能か？
• RQ3 この結果は、等差数列を超える一般化されたパターンや双リプシッチ写像像へと拡張可能か？
• RQ4 すべての双リプシッチ写像像が中間 $\frac{1}{N}^\text{th}$ カントール集合に 3 項の等差数列を含むような $N$ が存在するか？
• RQ5 カントール集合の構造が、平行移動とスケーリングの下で長い等差数列の存在にどのように影響するか？

主な発見

• 論文は、任意の $N$ に対して中間 $\frac{1}{N}^\text{th}$ カントール集合が長さ $\frac{N}{100\log_2 N}$ の等差数列を含むことを証明しており、これは $N$ と共に増加する。
• 非空な共通部分集合の持続性を示すために $k$-良い区間に関する帰納法が用いられ、平行移動されたカントール集合の共通部分集合がすべての段階で空でないことが保証されている。
• $X_{\frac{1}{N^{k+1}}}$ から $X_{\frac{1}{N^{k+2}}}$ に移行する際、破壊される区間の数は $9N\log_2 N$ で抑えられ、$k+1$-良い性質を維持するのに十分な数の区間が生存することが保証されている。
• サイズ $\frac{1}{N^k}$ の与えられた区間 $J$ が交わる区間の数の上限は $2^{L-k-1}$ であり、これは $J$ が段階 $k$ の残渣集合内にあるときに最大値に達する。
• 構成により、カントール集合内に $\frac{N}{\log N}$ に比例するサイズの配置が存在することが示され、この手法は制御された定数をもつ双リプシッチ写像に対して頑健である。
• この結果はブロデリック、フィッシュマン、シモンズによるシュミットのゲームを用いた後続の研究と一致しており、境界の正しさと最適性（定数の意味で）が裏付けられている。