Small values of Carmichael's lambda function

ポール・ポラックによる「Carmichaelの$\lambda$関数の小さな値」に関する技術的要約

問題提起
本論文は、$(\mathbb{Z}/n\mathbb{Z})^\times$ の指数を表す、カーマイケル（Carmichael）の$\lambda$関数 $\lambda(n)$ の「中間的な」値の分布を調査している。$\lambda(n)$ の最大次数は自明（素数の場合は $n-1$）であり、典型的な次数もよく理解されている（Erdős, Pomerance, および Schmutz により、ほとんどすべての $n$ に対して $\lambda(n) \approx n(\log n)^{-\log \log \log n - A}$ であることが示されている）が、典型的な大きさよりも有意に小さく、かつ最小次数よりも大きい範囲の値の分布については、これまであまり探索されてこなかった。

中心となる対象は、計数関数 $L(x, y) = \#\{n \le x : \lambda(n) \le y\}$ である。本論文の目的は、$y$ が $x$ に対して「適度に大きい」範囲において、$\log L(x, y)$ の上界を漸近的に鋭い形で確立することである。具体的には、$y$ が以下の条件を満たす場合である：
$$\exp((\log_2 x)^{1+\varepsilon}) \le y \le x / \exp((\log_2 x)^{1+\varepsilon})$$
ここで $\log_k$ は自然対数の $k$ 回反復を意味する。

手法
証明戦略は、異なる $y$ の範囲において、厳密な上界の確立と、特定の仮説（シフトされた素数に関する仮説）を仮定した条件付き下界の確立に分かれている。

1. 小さな $y$ に対する上界：
   $\exp((\log_2 x)^{1+\varepsilon}) \le y \le x^{1/\log_2 x}$ の範囲について、著者は Erdős と Pomerance の手法を適応させている。核心となる議論は、$\lambda(n) = m$ となる固定された $m$ を持つ $n \le x$ の個数を、ランキン（Rankin）のトリックを用いて抑えることである。$n$ のすべての素因数 $p$ に対して $p-1 \mid m$ であるという条件を分析することで、著者は関数 $\mathcal{L}(x, y) = \exp\left(\frac{\log x \log_3 x}{\log_2 y}\right)$ を用いた指数的な上界を導出している。

2. 下界（条件付き）：
   上界が鋭いことを示すために、本論文は仮説 U（シフトされたパワースムース素数の分布に関する予想）を仮定している。これは、最大素数冪が $y$ 以下であるような素数 $p \le x$ の個数が、$x$ までの $y$-パワースムース整数の個数と同様の挙動を示すというものである。

   • 小さな $y$ に対して、著者は $p-1$ がパワースムースである素数 $p$ の積を形成することによって、「普及している（popular）」$\lambda(n)$ の値を構成している。これは Euler のトーシェント関数に関する Erdős と Pomerance の議論を適応させたものである。
   • 大きな $y$（具体的には $y \ge \mathcal{L}(x)^2$）に対しては、小さな $\lambda(n)$ を持つ $n$ が十分に存在することを実証するために、整数 $(a, b)$ のペアを用いた異なる構成が用いられている。

3. 大きな $y$ に対する上界：
   大きな $y$（具体的には $x/\exp((\log_2 x)^{1+\varepsilon})$ まで）に対する厳密な上界の確立は、本論文の最も斬新な貢献である。このセクションでは、Euler の $\phi$ 関数の前像および因子化計数関数に関する先行研究の手法を再検討し、洗練させている。

   • 証明は、素因数分解の性質に基づく整数の層別化（stratification）を伴う。
   • また、乗法的構成（multiplicative compositions）（順序付けられた因子化）と、そのような構成の個数の上界 $g_w(n)$ を利用している。
   • 主要な補題は、密度 $x^{1-\beta}$ を持つ整数の集合 $S$ について、乗法的構成の和が $x/\mathcal{L}(x)^\beta$ で抑えられることを確立している。
   • 議論は、平方フリーな整数の計数へと還元され、さらに $\phi(n)/\lambda(n)$ が特定の双対区間（dyadic intervals）に入る $n$ の個数を抑えるために、ブルン・ティッチマルト（Brun-Titchmarsh）の不等式と整数の根基（radical）の性質が用いられる。

主要な結果
主要な結果は定理 1.1 であり、指定された領域における $L(x, y)$ の上界を与える。$\mathcal{L}(x) = \exp\left(\frac{\log x \log_3 x}{\log_2 x}\right)$ とする。$x \to \infty$ のとき：
$$\frac{L(x, y)}{x} \le \begin{cases} \mathcal{L}(x/y)^{-1+o(1)} & \text{if } y \ge \mathcal{L}(x)^2, \\ \mathcal{L}(x, y)^{-1+o(1)} & \text{otherwise.} \end{cases}$$
本論文は、仮説 U のもとで、これらの上界が漸近的に鋭い（すなわち等号が成立する）ことを主張している。

乗法的位数への応用
直接的な応用として、本論文は、$n$ を法とする $2$の乗法的位数（$l(n)$と表記）が小さい奇数$n \le x$ の個数に関する新しい上界を導出している（系 1.2）。
具体的には、任意の固定された $\delta > 0$ および $\beta \ge 0$ に対して：
$$\#\{ \text{odd } n \le x : l(n) \le x^\beta \} \le \frac{x}{\mathcal{L}(x)^{\frac{1}{2} - \beta - \delta}}$$
この結果は、以前の知識を改善するものである。以前の知見では、指数 $\beta$ が $1/2$ を大きく下回る場合には非自明な上界を確立することができなかった。著者は、上界に指数 $1/2 - \beta$ が現れているものの、「正しい」バージョンはおそらく $1 - \beta$ であると述べており、その洗練には、小さな乗法的位数を持つ素数の分布に関するさらなる研究が必要であるとしている。

意義および主張
本論文は、$\lambda(n)$ の中間的な値の分布に関する最初の精密な漸近的上界を提供していると主張している。その意義は以下の点にある：

1. ギャップの解消： $\lambda(n)$ の典型的な次数と最小次数の間のギャップを埋めるものである。この領域は、これまで文献において定量化されていなかった。
2. 鋭さ： これらの結果は、仮説的な原理や疑似素数に関する関連研究によって支持されている、妥当な仮説（仮説 U）の下で漸近的に鋭いことが示されている。
3. 手法の斬新さ： 大きな $y$ に対する上界の証明は、乗法的構成と因子化計数を用いる洗練された手法を導入しており、著者はこれが Euler の $\phi$ 関数の普及している値の分布など、他の解析的数論の問題にも応用できる可能性を示唆している。
4. 位数への応用： $l(n)$ に関する系は、小さな乗法的位数の頻度に関する最強の上界を提供しており、指数 $1/2$ が障壁となっていた長年の限界に対処している。

著者は、下界の条件付きの性質や、$l(n)$ への応用における指数の改善の可能性について、控えめなトーンを維持しており、現在の知見では、「正しい」指数を証明するにはさらなる予想が必要であることを述べている。