Right edge rates of the zeros of $\widetilde{\Xi}_n$ and $\widetilde{\Lambda}_n$

ルック・ラムセス・タラ・ワッフォによる論文「$\tilde{\Xi}_n$ および $\tilde{\Lambda}_n$ の零点の右端レート」の詳細な技術的要旨を以下に示す。

1. 問題提起

本論文は、$n \geq 2$ に対して定義された 2 つの特定の再スケーリングされた偶関数多項式族 $\tilde{\Xi}_n(x)$ および $\tilde{\Lambda}_n(x)$ の最大零点（「右端」）の漸近挙動を調査する。

これらの多項式は、先行研究 [1] で導入された族 $\Xi_n$ および $\Lambda_n$ から導出されたものであり、ディリクレベータ関数 $\beta(2n)$ およびリーマンゼータ関数 $\zeta(2n+1)$ の正規化された値の積分表示と関連している。

• 定義:
  • $\tilde{\Xi}_n(x) := \Xi_n(\sqrt{x})$
  • $\tilde{\Lambda}_n(x) := \Lambda_n(\sqrt{x})$
• 性質: 両族とも次数 $n-1$ の多項式であり、すべての零点は実数で、単純であり、かつ区間 $(0, 1)$ 内に厳密に含まれる。
• ギャップ: 両族の零点の大域的分布が同じ極限分布関数 $F(x)$ に収束することは既知であるが、極右の零点（1 に最も近い零点）の挙動は完全に特徴づけられていなかった。具体的には、本論文は以下の問いを提起する：これら 2 つの族の最大零点は、同じ指数レートで端点 1 に近づくか？

2. 手法

著者は、オイラー多項式を用いた明示的な表現と、区間 $(0, 1)$ を負の実軸に写す変換に基づいた、初等的ながら厳密なアプローチを採用している。

A. 負の零点への変換

手法の核心は、零点 $x \in (0, 1)$ を、関連するオイラー多項式の負の零点 $z = -a$（ここで $a \in (0, 1)$）に写す変数変換（補題 1.1）にある：
$$z = -\frac{1-\sqrt{x}}{1+\sqrt{x}} \implies x = \left(\frac{1-a}{1+a}\right)^2$$
重要なのは、$a \to 0^+$ において、右端までの距離が以下のように振る舞うことである：
$$1 - x \sim 4a$$
したがって、$x \to 1$ となるレートを決定することは、オイラー多項式の最小絶対値を持つ負の零点 $a$ が 0 に近づくレートを決定することと同等である。

B. オイラー多項式との関連

多項式 $\Xi_n$ および $\Lambda_n$ は、タイプ B のオイラー多項式 ($B_m$) およびタイプ A のオイラー多項式 ($A_m$) を用いて明示的に表現される：

• $\Xi_n$ は $B_{2n-1}$ に関連する。
• $\Lambda_n$ は $A_{2n}$ に関連する。
  $\tilde{\Xi}_n$ の最大零点は、原点に最も近い負の零点を持つ $B_{2n-1}$ に対応し、同様に $\tilde{\Lambda}_n$ と A_{2n についても同様である。

C. 係数の評価（補題 1.2）

著者は、正の係数を持ち実負の零点を持つ多項式 $P(z) = 1 + c_1 z + \dots + c_d z^d$ の最小の正の根 $a_1$ に対する評価を利用する：
$$\frac{1}{c_1} \leq a_1 \leq \frac{d}{c_1}$$
これは、$\log a_1 = -\log c_1 + O(\log d)$ を意味する。したがって、根の指数レートは多項式の最初の非定数係数（$c_1$）によって完全に決定される。

D. 主要係数の計算

論文は、関連するオイラー多項式の最初の非定数係数を計算する：

• タイプ A ($A_{2n}$): $z$ の係数は $c^{(A)}_{n,1} = 2^{2n} - 2n - 1 \sim 4^n$ である。
• タイプ B ($B_{2n-1}$): $z$ の係数は $c^{(B)}_{n,1} = 3^{2n-1} - 2n \sim 9^n$ である（具体的には $3^{2n-1}$）。

3. 主要な貢献と結果

主要定理（定理 2.1）

本論文は、これら 2 つの族が 1 への最大零点の収束において異なる指数レートを示すことを証明する。

1. $\tilde{\Lambda}_n$ (タイプ A) の場合:
   $$\lim_{n \to \infty} \frac{1}{n-1} \log\left(1 - x^{(\Lambda)}_{n-1,n}\right) = -\log 4$$
   これは $1 - x^{(\Lambda)}_{n-1,n} \approx 4^{-(n-1)}$ を意味する。

2. $\tilde{\Xi}_n$ (タイプ B) の場合:
   $$\lim_{n \to \infty} \frac{1}{n-1} \log\left(1 - x^{(\Xi)}_{n-1,n}\right) = -\log 9$$
   これは $1 - x^{(\Xi)}_{n-1,n} \approx 9^{-(n-1)}$ を意味する。

数値的検証

第 4 節は、これらの極限を確認する数値表を提供している。

• $\tilde{\Lambda}_n$ の正規化された対数ギャップは、$-\log 4 \approx -1.386$ に急速に収束する。
• $\tilde{\Xi}_n$ の正規化された対数ギャップは、$-\log 9 \approx -2.197$ に収束する。
  データは、大域的分布が同一である一方で、「端点」の挙動は本質的に異なることを示している。

4. 意義と解釈

• 微視的挙動 vs 巨視的挙動: 結果は、巨視的な極限分布（零点の大部分を記述するもの）が、極端な零点の微視的挙動を捉えられないという現象を浮き彫りにしている。2 つの数列は同じ大域的極限法則を共有しつつも、境界において異なる局所スケーリング法則を持つことができる。
• オイラー係数の役割: 本論文は、極端な零点の漸近レートと、基礎となるオイラー多項式の最初の非定数係数の成長率との間の直接的なリンクを確立する。
  • タイプ A における $4^n$ という因子は、$4^{-n}$ というレートをもたらす。
  • タイプ B における $9^n$ という因子は、$9^{-n}$ というレートをもたらす。
• 手法の簡素さ: 証明は「初等的」であることで注目される。これは複素解析や重厚な漸近解析を用いるのではなく、代数的変換と多項式根に関する基本的な評価に依存している。これにより結果がアクセスしやすくなり、根の分布問題における係数解析の力が浮き彫りになっている。

要約すると、本論文はこれら特定の多項式族の右端零点の漸近挙動を解決し、大域的極限を共有しているにもかかわらず、その境界挙動がそれぞれ固有のオイラー多項式構造に由来する異なる指数スケール（$4^{-n}$ 対 $9^{-n}$）によって支配されていることを示している。