The Divisor Function along a Deterministic Orbit and the Emergence of Ladders

Marco Mantovanelli による論文「The Divisor Function along a Deterministic Orbit and the Emergence of Ladders（決定論的軌道に沿った約数関数と階段の出現）」の詳細な技術的要約を以下に示す。

1. 問題の定義

本論文は、約数関数 $\tau(n)$（$n$ の約数の個数）を含む決定論的再帰式によって生成される軌道長さ $a(x)$ の漸近挙動を調査する。

• 再帰式: 整数 $x$ から開始し、数列は以下のように定義される:
  $$n_0 = x, \quad n_{j+1} = n_j - \tau(n_j)$$
  軌道長さは、項が非正になる最初のインデックス $k$ として定義される:
  $$a(x) := \min\{k \ge 0 : n_k \le 0\}$$
• ヒューリスティック: 約数関数の平均次数（$\sum_{n \le x} \tau(n) \sim x \log x$）に基づき、典型的なステップサイズは $\log n$ であると予想される。これは、軌道長さが以下のようにスケーリングすることを示唆する:
  $$a(x) \asymp \frac{x}{\log x}$$
• 課題: 標準的な解析的数論の手法は、外生的サンプリング（区間や算術級数全体での平均）に依存している。しかし、この問題におけるサンプリングは内生的である: $\tau(n_j)$ の値が次のサンプリング位置 $n_{j+1}$ を決定する。これにより強い依存関係が生じ、標準的な独立性のヒューリスティックが破綻し、既存の手法では解決が困難な問題となっている。

2. 手法

著者は、エネルギー恒等式、双対分解、および「構造対ランダム性」の二項対立を組み合わせた新しい決定論的枠組みを開発した。

A. エネルギー恒等式と双対分解

分析の核心は、再帰式から導出された厳密な恒等式にある:

• 大域的エネルギー: ステップの和は初期値に等しい: $\sum_{j=0}^{a(x)-1} \tau(n_j) = x + O(\tau(n_{a(x)-1}))$。
• 局所的エネルギー: 軌道は双対スケール $I_N = (N, 2N]$ に分解される。$I_N$ を横断するために費やされるステップ数 $V(N)$ は、以下の式を満たす:
  $$\sum_{j \in \text{steps in } I_N} \tau(n_j) = N + O(\Delta_N)$$
  これは、サイズ $N$ のスケールを横断するには、軌道が $N$ に比例するエネルギーを消費しなければならないことを意味する。

B. 有界領域への還元

著者は、$\tau(n)$ の大きな値（具体的には $\tau(n) \gg (\log N)^A$）が、任意の双対スケールにおける総エネルギーにほとんど寄与しないことを証明した。これにより、分析を $\tau(n)$ が $\log N$ のべき乗によって一様に有界となる領域に制限することが可能となった。

C. 位相剛性と逆定理

論文は、$\tau(n_j)$ の分布を分析するために位相剛性メカニズムを採用している:

1. 約数の混合: 軌道が「ランダム」に振る舞う場合、$\tau(n_j)$ は小さな整数法で等分布し、期待される平均ステップサイズに至るはずである。
2. 非混合 $\implies$ 剛性: 軌道が混合しない場合（すなわち、フーリエ偏倚を示す場合）、位相増分 $e(-h\tau(n_j)/q)$ はほぼ一定となる。
3. 剰余集中: 複数の互いに素な法にわたる持続的な偏倚は、$\tau(n_j)$ が単一の算術スケール（法の大なる積に対する特定の剰余類）に集中することを強制する。
4. 分散の減少: この集中は、軌道に沿った $\tau(n_j)$ の分散が限りなく小さくなることを意味する。

3. 主要な貢献

1. 「約数階段」の概念

論文は、期待される漸近挙動に対する唯一の潜在的な障害として約数階段（Divisor Ladder）の概念を導入する。約数階段とは、ある双対スケール内の数列 $m_1 > m_2 > \dots > m_r$ であり、以下の条件を満たす:

• ステップサイズがほぼ一定である: $m_{i+1} = m_i - T + o(T)$。
• 約数関数がほぼ一定である: $\tau(m_i) = T + o(T)$。
• 数列が長く（$r \asymp N/T$）、かつ「エネルギー飽和的」である（スケールを横断するために必要なエネルギー $N$ のほとんどを説明する）。

2. 構造対ランダム性の二項対立

著者は厳密な二項対立を確立した:

• ランダムな場合: 軌道はよく混合する $\implies$ 平均ステップサイズは $\log N$ $\implies$ $a(x) \asymp x/\log x$。
• 構造化された場合: 軌道は混合しない $\implies$ 位相剛性が $\tau(n_j)$ を一定に強制する $\implies$ 約数階段が形成される。

3. 単一の仮説への還元

複雑な力学系の問題は、約数関数に関する静的な反集中（anti-concentration）の命題に還元された。論文は、約数階段が存在しない場合、主要な漸近式が成り立つことを証明した。

4. 主要な結果

無条件の結果

• 基準となる評価: 仮定なしに、論文は $a(x) \gg_\epsilon x^{1-\epsilon}$ を証明し、軌道長さが多項式的であることを確認したが、対数スケールを確立するに至っていない。
• 大きな値の無視: 大きな約数値は軌道長さに有意な影響を与えない。

条件付き主要定理

定理 3: 2 つの仮説の下で、漸近挙動が確認される:

1. 仮説 1（反階段）: 約数関数 $\tau(n)$ は、長い準算術級数に沿って質量を単一のレベル $T \asymp \log N$ に集中しない。
2. 仮説 2（位相剛性）: 約数の混合が失敗する場合、軌道は強い位相剛性を示し（単一スケールへの集中を強制する）。

結論: これらの仮説が成り立てば、次が成り立つ:
$$a(x) \asymp \frac{x}{\log x}$$

5. 数値的観察

論文には $x \le 10^9$ に対する数値実験が含まれている:

• 比 $a(x) / (x/\log x)$ は一貫して 1 未満（約 0.9）であり、一次のヒューリスティックが長さをわずかに過大評価していることを示唆している。
• 改良されたヒューリスティック $x / (\log x + \log \log x)$ はわずかに良く適合するが、依然として乖離を示す。
• 決定的なことに、ランダムな準算術級数に対する数値的テストは、エネルギー飽和的な約数階段（集中比は 1 から遠く離れている）の証拠を一切示さず、反階段仮説を支持している。

6. 意義と展望

• 方法論的革新: 本論文は、解析的数論、力学系、付加的組合せ論を橋渡ししている。特に内生的サンプリングに特化した「位相剛性」の枠組みを導入しており、この手法は他の乗法的関数（メビウス関数、リウヴィル関数など）にも適用可能な可能性がある。
• 問題の還元: 困難な力学系の問題を、算術級数上の $\tau(n)$ の分布に関する静的な問いに成功裏に還元した。
• 未解決問題: 中心的な未解決問題は、反階段仮説（$\tau(n)$ が長い級数に沿って単一のレベルに集中できないこと）の証明である。これを証明すれば、$a(x)$ の漸近挙動が完全に解決される。
• 二次の挙動: 論文は、一次項が $x/\log x$ である可能性が高い一方で、数値データは $x/(\log x + \log \log x)$ という微妙な二次の補正を示唆しており、これは理論的にはまだ説明されていないと指摘している。

要約すると、Mantovanelli は、軌道が期待される $x/\log x$ の成長から逸脱する唯一の方法は、約数関数が非常に剛性で一定ステップの「階段」を形成する場合に限られることを示す厳密な構造的枠組みを提供しており、著者はそのような現象は起こらないと予想している。