[論文レビュー] Gaps in sumsets of $s$ pseudo s-th power sequences

Javier Cilleruelo, Jean‐Marc Deshouillers|arXiv (Cornell University)|Apr 21, 2014

Analytic Number Theory Research参考文献 3被引用数 3

ひとこと要約

本稿は、$ s \geq 2 $ におけるランダムな擬似 $ s $ 乗数列 $ A $ の和集合 $ sA $ におけるギャップの分布を研究する。確率的手法と相関不等式を用いて、ほとんど確実に、正規化されたギャップサイズ $ (b_{n+1} - b_n)/\log b_n $ の上極限が $ s^s s! / \Gamma^s(1/s) $ に収束することを確立し、このような和集合における最大ギャップ長に対する明確な漸近的推定値を提供する。

ABSTRACT

We study the length of the gaps between consecutive members in the sumset sA when A is a pseudo s-th power sequence, with s>1. We show that, almost surely, limsup (b_{n+1}-b_{n})/log (b_n) = s^s s!/Γ^s(1/s), where b_n are the elements of sA.

研究の動機と目的

• 和集合 $ sA $ の連続する要素間のギャップの分布を分析すること。
• ランダムな擬似 $ s $ 乗数列 $ A $ における最大ギャップサイズの、$ \log b_n $ による正規化されたほとんど確実な漸近的挙動を特定すること。
• ランダム表現における依存構造を厳密に分析することで、確率的加法的整数論の結果を高次元和集合へと拡張すること。
• 正規化ギャップサイズの上極限に対する鋭い上界を確立し、ポアソン近似に基づくヒューリスティック予測を確認すること。

提案手法

• 各整数 $ n $ が独立に確率 $ \frac{1}{s} n^{-1 + 1/s} $ で $ A $ に含まれる確率空間を構築し、擬似 $ s $ 乗数をモデル化する。
• ギャップの可能性を表すために、$ F_i = \{ sA \cap [i, i + \alpha \log i] = \emptyset \} $ という事象を定義する。
• 一般化されたボレル＝カンテリの補題を用いて、無限に多くのこのようなギャップ事象がほとんど確実に発生するかを判定する。
• Jansonの相関不等式を用いて、$ \omega $ をある目標区間を被覆する $ s $ 重和を持つ整数集合とするときの事象 $ E_\omega $ 間の依存関係を制御する。
• 多変数線形和推定（補題1）を用いて、和表現の確率と重複する集合間の依存関係を抑え込む。
• 分散に類似した和 $ \sum_{i<j} (P(F_i \cap F_j) - P(F_i)P(F_j)) $ を三重に分解し、ボレル＝カンテリ条件の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 擬似 $ s $ 乗数列 $ A $ に対して、和集合 $ sA $ における最大ギャップサイズのほとんど確実な漸近的挙動は何か？
• RQ2 $ n \to \infty $ のとき、正規化ギャップサイズ $ (b_{n+1} - b_n)/\log b_n $ はどのように振る舞うか？
• RQ3 和集合 $ sA $ におけるギャップ分布に関して、表現数のポアソン分布近似に基づくヒューリスティック予測を、厳密に確認できるか？
• RQ4 和表現同士の依存関係は、ランダム和集合における極値ギャップサイズを決定づける上で、どのような役割を果たすか？

主な発見

• 正規化ギャップサイズ $ (b_{n+1} - b_n)/\log b_n $ の上極限は、ほとんど確実に $ \frac{s^s s!}{\Gamma^s(1/s)} $ に収束する。
• この結果は、$ sA $ における表現数がパラメータ $ \lambda_s = \Gamma^s(1/s)/(s^s s!) $ のポアソン分布に従うというヒューリスティック予測を裏付ける。
• 証明により、$ \alpha < \lambda_s^{-1} $ のとき、サイズ $ \sim \alpha \log n $ の大きなギャップが無限に発生する確率は正であり、そうでない場合はゼロであることが示された。
• Jansonの不等式と多変数線形和推定を用いて、重複する和表現間の依存関係を厳密に扱った。
• この上限は鋭い：より大きな正規化では上極限が有限にならず、定数はポアソンパラメータ $ \lambda_s $ の逆数と一致する。