対数平均した2点Chowla予想の明示的な評価
Effective logarithmic two-point Chowla bounds in every window
この論文をやさしく読む
ひとことで言うと
Liouville関数などの2点相関について、対数平均での打ち消しが成り立つ範囲を具体的に評価した。
何に役立つ？
整数論の相関予想の定量的な研究や、既存の定性的な定理との比較に役立つ。自然密度での2点Chowla予想を証明した結果ではない。
この研究の面白いところ
平均区間やアフィン形式に一様な評価を与え、平行移動の扱いを改善し、非擬似性水準にも明示的な上下界を示した。
どこまで分かった？
相関の結果は対数平均についてで、区間の下限には4重の指数関数が現れる。非擬似性水準の改善された下界は一般化リーマン予想を仮定する。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
対数平均した2点Chowla定理のエントロピー減少を用いる証明を、アフィン形式と平均を取る区間に関して一様な形で定量化する。正の整数の傾きを持つL_i(n)＝a_i n＋b_iと、ゼロでない行列式Δ＝a₁b₂−a₂b₁に対し、h＝max(a₁,a₂,|b₁|,|b₂|,|Δ|,2)と置く。それぞれの位置にLiouville関数またはMöbius関数のいずれを使っても、0＜ε≤1/10で、x≥ω≥exp₄(C h ε⁻²)なら、x/ω＜n≤xについて1/nで重み付けした相関和の絶対値はε log ω以下となる。ここでexp₄は指数関数を4回重ねたものを表す。 平行移動に関する補題によって、共通の平行移動の大きさをこの巨大な下限から切り離す。λ(n＋b)λ(n＋b＋k)について、kがゼロでなく、|k|＝o(log₄ ω)、|b|＝ω^{o(1)}なら、打ち消しが一様に成り立つ。log₄は対数を4回重ねたものを表す。同じしきい値の下で、Liouville関数の4種類の符号の組も対数的な意味で一様に分布する。定数Cは計算可能だが、解析的な2つの入力に含まれる未計算の定数に依存する。 別にℓ＝log log xと置き、Taoの仮説に現れるLiouville関数の非擬似性水準N_λ(x)について、ℓ≥64ならℓ/3−(4/3)log ℓ−7≤N_λ(x)≤ℓ−log ℓ＋2.53/ℓという完全に明示的な上・下界を証明する。一般化リーマン予想の下では下界がℓ−log ℓ−log 2−2/ℓへ改善され、したがってN_λ(x)＝ℓ−log ℓ＋O(1)となる。議論には明示的な零点のない領域、Harnackの不等式、有限の共鳴器、平滑化したEuler積の比較を使う。これらは対数平均についての結果であり、自然密度に関する2点Chowla相関の結果ではない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We quantify the entropy-decrement proof of the logarithmically averaged two-point Chowla theorem, uniformly in the affine forms and the averaging window. For L_i(n)=a_i n+b_i with positive integral slopes and nonzero determinant Delta=a_1 b_2-a_2 b_1, put h=max(a_1,a_2,|b_1|,|b_2|,|Delta|,2). For either the Liouville or Mobius function in each position and 0<epsilon<=1/10, the correlation sum over x/omega<n<=x, weighted by 1/n, has absolute value at most epsilon log omega whenever x>=omega>=exp_4(C h epsilon^(-2)), where exp_4 denotes four iterated exponentials. A translation lemma separates the common translation from the tower: for lambda(n+b)lambda(n+b+k), with k nonzero, cancellation is uniform when |k|=o(log_4 omega) and |b|=omega^(o(1)), where log_4 is the fourth iterated logarithm. The same thresholds give logarithmic equidistribution of the four Liouville sign pairs. The constant C is effective but depends on uncomputed constants in two analytic inputs. Separately, writing ell=log log x, we prove fully explicit bounds ell/3-(4/3)log ell-7 <= N_lambda(x) <= ell-log ell+2.53/ell for ell>=64, where N_lambda is the non-pretentiousness level in Tao's hypothesis. Under GRH the lower bound improves to ell-log ell-log 2-2/ell; hence N_lambda(x)=ell-log ell+O(1). The arguments use an explicit zero-free region, Harnack's inequality, a finite resonator, and a comparison of smoothed Euler products. These results concern logarithmic averages, not natural-density two-point Chowla correlations.
著者のコメント
29 pages, no figures
arXiv ID: 2609.28526 ／ 要約の誤りについて