On the distribution of $\phi(\psi(n))$ and $\psi(\psi(n))$

技術要約：$\phi(\psi(n))$ および $\psi(\psi(n))$ の分布について

問題提起
本論文は、デデキントの算術関数 $\psi(n)$ とオイラーのトーシェント関数 $\phi(n)$ の合成関数の分布的性質を調査するものである。具体的には、合成関数 $\phi(\psi(n))$ および $\psi(\psi(n))$ が期待される線形成長から逸脱する整数 $n \le x$ の頻度を分析している。

$\phi(n)$ と $\psi(n)$ は乗法的であるが、それらの合成関数は一般にこの性質を失うため、古典的な乗法的関数論を適用することはできない。先行研究において Sándor [8, 9] は、定数 $c > 0$ に対して集合 $\{n \le x : \phi(\psi(n)) \ge cn\}$ および $\{n \le x : \psi(\psi(n)) \le cn\}$ の漸近密度がゼロであることを示す定性的な密度結果を確立した。しかし、これらの結果は定性的であった。これらの「例外集合」の大きさに関する定量的な評価は限定的なままであった。本論文の目的は、これらの集合に対して明示的な上界を提供し、Sándor の密度結果を精緻化することにある。

手法
著者は、Dixit と Bhattacharjee [2] が $\phi(\sigma(n))$ の研究において用いた篩（ふるい）理論の手法を応用している。核心となる戦略は、内側の関数（具体的には $\psi(n)$）が特定の小さな素因数を除外する場合の整数 $n$ を分析することである。

主な技術的構成要素は以下の通りである：

1. 篩の評価: 証明は、特定の素数 $p$ が $\psi(n)$ を割り切らないような整数 $n \le x$ の個数を抑えることに依拠している。これを $T_p(x) = \#\{n \le x : p \nmid \psi(n)\}$ と表記する。
2. 補題 2.4: この重要な補題は、任意の素数 $p$ と十分に大きな $x$ に対して、$T_p(x) \ll x \left(\frac{\log_2 x}{\log x}\right)^{\frac{1}{p-1}}$ であることを確立している。この境界は、$q \equiv -1 \pmod p$ かつ $q \mid n$ であれば $p \mid \psi(n)$ となるという観察から導かれる。したがって、$p \nmid \psi(n)$ であるならば、$n$ は素因子 $q \equiv -1 \pmod p$ を持たない必要がある。このような素数の密度を推定するために、Siegel-Walfisz の定理が用いられている。
3. 素数の積: 著者は $P(z) = \prod_{p \le z} p$ を定義する。$P(z) \mid \psi(n)$ であれば、$\phi(\psi(n))$ は $\psi(n)$ よりも著しく小さくなり（$(1-1/p)$ の項の積による）、一方で $\psi(\psi(n))$ は $\psi(n)$ よりも著しく大きくなる（$(1+1/p)$ の項の積による）という事実を利用する。
4. 部分和: $\sum_{n \le x} \psi(n)/n$ の評価には、$\sum \psi(n)$ の既知の漸近挙動を用いて、$\psi(n)$ が「大きい」または「小さい」となる割合を抑える。

主要な貢献と結果

• $\phi(\psi(n))$ に対する定量的境界 (定理 1.1):
  本論文は、$\phi(\psi(n)) \ge cn$ となる例外集合に対して明示的な上界を与える。任意の $c > 0$ に対して：
  $$\#\{n \le x : \phi(\psi(n)) \ge cn\} \le \frac{15x}{\pi^2 c \log_4 x} + O\left(\frac{x \log_3 x}{(\log x)^{1/(\log_3 x \log_4 x)}}\right)$$
  これは、例外集合が単に $o(x)$ であるだけでなく、$x/\log_4 x$ に比例して減衰することを示すことで、Sándor の定性的結果を精緻化するものである。

• 緩やかに変化する閾値による精緻化 (定理 1.2):
  著者は、非減少関数 $g(x)$ へと結果を拡張する。もし $g(x) = o(\log_4 x)$ ならば、集合 $G_g(x) = \{n \le x : \phi(\psi(n)) \ge n/g(n)\}$ は次を満たす：
  $$|G_g(x)| = O\left(\frac{xg(x)}{\log_4 x} + \frac{x \log_3 x}{(\log x)^{1/(\log_3 x \log_4 x)}}\right) = o(x)$$

• $\psi(\psi(n))$ の分布 (定理 1.3):
  本論文は、任意の固定された $c > 0$ に対して、$\psi(\psi(n)) \le cn$ となる整数の集合の漸近密度がゼロであることを証明する。証明は、$\psi(\psi(n)) \le cn$ であれば、$\psi(n)$ が小さな素数の積 $P(z)$ （ここで $z$ は $c$ に依存する）を除外していなければならないことを示す。篩の評価を用いることで、この集合の大きさは $o(x)$ であることが示される。

• 高次反復への一般化 (系 1.1):
  任意の固定された $k \ge 2$ に対して、集合 $\{n \le x : \psi^{(k)}(n) \le cn\}$ も漸近密度ゼロであることが示されている。これは $\psi^{(k)}(n) \ge \psi(\psi(n))$ であるためである。

意義と主張
本論文は、合成関数 $\phi(\psi(n))$ および $\psi(\psi(n))$ に関連する例外集合に対して定量的な評価を提供し、従来の定性的な密度結果を精緻化している。定性的な密度（$o(x)$）から、反復対数を含む明示的な上界へと移行することで、これらの算術関数の分布に関するより精密な理解を提示している。

著者は、定量的な境界が $T_p(x)$ の篩の評価に本質的に依存していると述べている。この特定の篩の評価において大幅な改善があれば、例外集合に対するより鋭い境界が直接得られることを示唆している。また、備考において $\psi(\sigma(n))$ の合成関数についても同様の密度ゼロの結果が導かれ得ることに触れているが、主要な定量的分析および範囲については、明確に $\phi(\psi(n))$ と $\psi(\psi(n))$ に限定している。著者は、これらの合成関数の正規次数を決定すること、および例外集合に対してさらに鋭い評価を得ることが、依然として興味深い未解決問題であると結論づけている。