A few remarks on the Baez-Duarte Criterion

技術的要約：Báez-Duarte 基準に関するいくつかの考察

問題設定

本論文は、Nyman-Beurling 基準およびそのより強力な変種である Báez-Duarte 基準の観点から、リーマン予想（RH）を扱うものである。核心となる問題は、平方可積分関数のヒルベルト空間における特定の部分空間の密度を通じて、リーマン予想を特徴付けることである。

具体的には、$H$ を、関数 $f: [1, +\infty[ \to \mathbb{C}$ であり、$\int_1^\infty |f(t)|^2 t^{-2} dt < \infty$ を満たす関数の集合からなるヒルベルト空間とし、スカラー積を $\langle f|g \rangle = \int_1^\infty f(t)\overline{g(t)}t^{-2} dt$ とする。ここで、$B_{nat}$ を、自然数 $n \in \mathbb{N} \setminus \{0\}$ に対して $\gamma_n(t) = [\frac{t}{n}] - \frac{[t]}{n}$ で定義される関数の族によって生成される部分空間とする。Báez-Duarte 基準は、リーマン予想が、定数関数 $1$が$B_{nat}$の閉包（$\overline{B_{nat}}$ と表記）に属するという条件と同値であることを述べている。

本論文の目的は、基底要素 $\gamma_n$ を用いた定数関数 $1$の近似に関するレマを導出することであり、特にメビウス関数$\mu(n)$ を含む数列の収束性を調査することにある。

方法論

著者は、解析的数論、関数解析、および漸近解析を組み合わせて用いている。手法は以下のステップで進行する：

1. 関数的セットアップと積分表示： 本論文は、ヒルベルト空間におけるスカラー積とリーマン・ゼータ関数 $\zeta(z)$ との関係を確立する。$\text{Re}(z) > 1/2$ において、恒等式 $\langle t^{1-z} | \gamma_n \rangle = (\frac{1}{nz} - \frac{1}{n})\frac{\zeta(z)}{z}$ を導出する。これにより、ヒルベルト空間の幾何学と $\zeta(z)$ の零点が結び付けられる。
2. メビウス反転と近似： 著者は、メビウス関数を用いた関数 $f_N = \sum_{n=1}^N \mu(n)\gamma_n$ による $1$ の自然な近似を調査する。Báez-Duarte を引用し、本論文は、この特定の数列が $H$ において発散することを指摘する。したがって、著者は、この発散を正則化するために、パラメータ化された近似族を導入する。
3. 指数関数的補正： パラメータ $u > 0$ に対して、関数の族 $f(u)$ を次のように定義する：
   $$f(u)(t) = \sum_{n=1}^\infty \mu(n)e^{-nu}\gamma_n(t)$$
   本論文は、$u \to 0$ におけるノルム $\|f(u)\|_2$ およびスカラー積 $\langle 1 | f(u) \rangle$ の連続性を分析する。
4. 級数の漸近分析： 著者は、余剰項を含むコタンジェント和（Vasyunin による先行研究を参照）を用いた、$\langle \gamma_n | \gamma_m \rangle$ の明示的な公式を導出し、これらを用いて $\|f(u)\|_2^2$ を $\mu(n), \log(n)$ および算術関数を含む冪級数へと展開する。
5. 多項式近似と誤差評価： 本論文は、メビウス関数の部分和に関連する多項式 $Q_k(x)$ を導入し、関数 $g(x) = \sum \frac{\mu(n)}{n}x^n$ と比較する。ゼータ関数の Vinogradov-Korobov 零点領域を用いることで、著者はこれらの多項式近似の誤差に関する無条件の境界を確立する。

主要な貢献と結果

1. 修正された基準と矛盾による議論

本論文は、もし $1 \in \overline{B_{nat}}$ ならば $\zeta(z) \neq 0$ （ただし $\text{Re}(z) > 1/2$）であることを再確認する。この議論は、もし $1$が閉包に含まれるならば、ある数列$s_n \in B_{nat}$が$1$に収束するという事実に依拠している。もし$\text{Re}(z_0) > 1/2$を満たす零点$z_0$が存在すれば、スカラー積$\langle t^{1-z_0} | s_n \rangle$は消失し、$1/z_0 = 0$ という矛盾を導く。

2. 指数補正の分析

本論文は、$u > 0$ に対して関数 $f(u)$ が $B_{nat}$ に属することを証明する。

• 連続性： $u \mapsto \langle 1 | f(u) \rangle = -\sum_{n=1}^\infty \frac{\mu(n)}{n} \log(n) e^{-nu}$ が $[0, +\infty[$ 上で一様収束し、$u=0$ で連続であり、$\lim_{u \to 0} \langle 1 | f(u) \rangle = 1$ であることが示される。
• ノルム収束条件： リーマン予想が成立するための必要十分条件は $\lim_{u \to 0} \|f(u)\|_2^2 = 1$ であることを本論文は確立する。困難は、ノルムがメビウス関数の複雑な相互作用を含むため、この極限を証明することにある。

3. ノルムの冪級数展開

著者は、$x \in (0, 1)$ に対して $F(x) = \|f(-\log x)\|_2^2$ の詳細な展開を導出する。この展開には、$\sum \mu(n)x^n, \sum \frac{\mu(n)}{n}x^n, \sum \frac{\mu(n)\log n}{n}x^n$ という形の冪級数の積と、コタンジェント項が含まれる。

• 漸近的相殺： コタンジェント和（$\log n$ とオイラー定数 $\gamma$ を含む）の漸近公式を代入することで、著者は発散項が相殺され、$G(1) = -1$ を満たす連続関数 $G(x)$ が残ることを示す。
• 下界： もし極限 $L = \lim_{x \to 1} F(x)$ が存在するならば、$L \ge 1$ であるというレマが証明される。

4. 多項式近似と誤差評価

本論文は、$Q_k(x)$ をメビウス関数に関連する部分和の平均として定義する。

• 収束： $Q_k$ が $[0, 1)$ のコンパクト部分集合上で $g(x)$ に一様に収束することが証明される。
• 無条件の誤差評価： Vinogradov-Korobov 零点領域を活用して、本論文は以下の無条件の誤差評価を導出する：
  $$\|Q_k - g\|_\infty \ll \exp\left(-c (\log k)^{3/5} (\log \log k)^{-1/5}\right)$$
  この結果は、リーマン予想を仮定せずに、これらの多項式がいかに良く限定関数を近似するかについての定量的な尺度を提供する。

5. 極限関数の連続性

本論文は、最後に $\sum_{k \ge 1} \frac{\|h_k\|}{k(k+1)}$ が収束すること（ここで $h_k$ は近似の成分である）を証明することで締めくくる。これは、この級数によって定義される関数が連続であることを意味し、基準で使用される近似の解析的性質を補強するものである。

意義と主張

本論文は、リーマン予想の証明というよりも、Báez-Duarte 基準に関連する「興味深いレマ」の集まりとして自らを位置づけている。その意義は以下の点にある：

• 近似戦略の洗練： 指数補正を導入し、その収束性を分析することで、自然な近似（$\sum \mu(n)\gamma_n$）の限界を超えたアプローチをとっている。
• 幾何学と算術の結合： ヒルベルト空間におけるノルムの収束と、メビウス関数およびリーマン・ゼータ関数を含む級数の漸近的挙動を明示的に結びつけている。
• 無条件の境界： メビウス関連関数 $g(x)$ の多項式近似に対して、既知の最良のゼータ零点領域を用いて、厳密な無条件の誤差評価を提供している。
• 極限条件の明確化： 判別条件（$\lim_{u \to 0} \|f(u)\|_2^2 = 1$）を孤立させることで、これが証明されればリーマン予想を確定させるものであることを示し、この手法における正確な解析的障壁を明らかにしている。

著者は、自然な近似は発散し、指数補正はノルムの極限に関するさらなる分析を必要とするものの、導出されたレマと境界は、この基準を調査するための構造化された枠組みを提供するものであると述べ、謙虚な姿勢を保っている。