[論文レビュー] On large deviations of additive functions

Maksym Radziwiłł|arXiv (Cornell University)|Sep 29, 2009

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

ひとこと要約

この論文は、well-behavedなクラスに属する2つの加法的関数が、類似した大偏差確率を示す場合、それらは同一でなければならないことを確立している。Kac-Kubiliusモデルは平均付近の大偏差を正確に予測するが、極端な値では大素数の挙動に起因して定数因子のずれを示し、失敗することを示しており、整数上での加法的関数の分布が、定数因子を除いてその素数上での値によって決定されることを証明している。

ABSTRACT

We prove that if two additive functions (from a certain class) take large values with roughly the same probability then they must be identical. The Kac-Kubilius model suggests that the distribution of values of a given additive function can be modeled by a sum of random variables. We show that the model is accurate (in a large deviation sense) when one is looking at values of the additive function around its mean, but fails, by a constant multiple, for large values of the additive function. We believe that this phenomenon arises, because the model breaks down for the values of the additive function on the "large" primes. In the second part of the paper, we are motivated by a question of Elliott, to understand how much the distribution of values of the additive function on primes determines, and is determined by, the distribution of values of the additive function on all of the integers. For example, our main theorem, implies that a positive, strongly additive function is roughly Poisson distributed on the integers if and only if it is $1+o(1)$ or $o(1)$ on almost all primes.

研究の動機と目的

• 加法的関数の分布が大偏差領域においてKac-Kubilius確率的モデルによって正確に予測される条件を特定すること。
• 素数上での加法的関数の分布が、整数全体におけるその分布にどの程度決定的かを調査すること。
• 特に $\Delta = o(\sigma(f;x))$ の範囲において、クラス $\mathcal{C}$ に属する加法的関数の大偏差確率の正確な漸近的挙動を確立すること。
• Elliottが提起した、素数上での加法的関数の分布と整数全体上での分布との間の相互作用に関する問題を解決すること。

提案手法

• クラス $\mathcal{C}$ に属する加法的関数に対して、素数における値に強い正則性条件を課した refined 大偏差解析を用いる。
• 鞍点法およびラプラス変換技術を用いて、素数上での和の尾確率を近似する。
• 生成関数 $\Psi(f;t)$ を通じて、整数上での加法的関数の分布とその素数上での挙動とを関連付けるための転送補題を導入する。
• 実際の $f(n)$ の分布と Kac-Kubilius モデルとの比較に構造定理を用い、極端な偏差におけるモデルの失敗モードを同定する。
• $\mathcal{D}_f(x;\Delta)$ の漸近的展開を、モーメント推定と分布収束を用いて導出する。ここで $\mathcal{D}_f(x;\Delta)$ は、$f(n)$ がその平均から $\Delta$ だけずれるような $n \leq x$ の割合を表す。
• 特性関数 $\Psi(f;t)$ の正確な解析と、それが $f(n)$ の尾挙動を決定する役割を、根拠として用いる。

実験結果

リサーチクエスチョン

• RQ1 クラス $\mathcal{C}$ に属する2つの加法的関数が、同一の大偏差確率を持つのはどのような条件下か、また、いつそれらは同一でなければならないか。
• RQ2 Kac-Kubilius モデルは加法的関数の大偏差をどの程度正確に予測できるか、そしてどこで失敗するか。
• RQ3 整数上での加法的関数の分布が、素数上でのその値によってどの程度決定されるか。
• RQ4 特に $\Delta = o(\sigma(f;x))$ の場合、$\mathcal{D}_f(x;\Delta)$ の正確な漸近的挙動は何か。
• RQ5 Kac-Kubilius モデルが大偏差で失敗するのはなぜか、その失敗の性質は何か。

主な発見

• Kac-Kubilius モデルは大偏差において定数因子 $\mathcal{A}(f;\Delta/\sigma)$ だけ失敗し、これは 1 より小さいため、尾確率を系的に過小評価していることを示している。
• 任意の $\delta > 0$ に対して、大偏差確率 $\mathcal{D}_f(x;\Delta)$ は、$1 \leq \Delta \leq \delta \sigma(f;x)$ の範囲で一様に $\sim \mathcal{A}(f;\Delta/\sigma) \cdot \mathbb{P}(\sum_p g(p)(X_p - 1/p) \geq \Delta \sigma)$ を満たす。
• 正で強く加法的な関数が整数上にほぼポisson的であるのは、その素数上での値がほとんど everywhere で $1+o(1)$ または $o(1)$ であるときかつそのときに限る。
• $\mathcal{A}(f;z)$ は、真の尾確率と正規近似との乖離を捉えており、$z > 0$ に対しては 1 より小さいため、古典的 Erd\textbackslash{}"{o}"{s}-Kac モデルが大偏差領域で失敗していることを示している。
• 本論文は、$1 \leq \Delta \leq o(\sigma(f;x))$ の範囲で一様に $\mathcal{D}_f(x;\Delta) \sim \mathbb{P}(\mathcal{Z}_\Psi(\sigma^2(f;x)) \geq \Delta \sigma(f;x))$ を証明しており、モデルが平均付近では正確であることを示している。
• Kac-Kubilius モデルが大偏差で失敗するのは、主に独立性仮定が破綻する大素数の寄与に起因する。