Completely Additive Height Functions: Profile Laws, Matula Bounds, and Inverse Growth

技術要約：完全加法的な高さ関数

問題提起
本論文は、「高さ関数」と呼ばれる、完全加法的であり、$H(1)=0$、$H(p) \ge 1$（すべての素数 $p$ に対して）、および任意の固定された高さ $n$ における素数の集合が有限であるという性質を持つ関数 $H: \mathbb{N} \to \mathbb{N}_0$ のクラスを調査するものである。通常の分割（$\pi_k \equiv 1$）や平面分割（$\pi_k = k$）のような古典的な例はよく理解されているが、本論文は、これらの関係を再帰的な構成（マトラ数やシャピロ型のトーシェント高さなど）へと一般化し、$\pi_k$ の漸近的挙動に基づいた $N_n$ の成長を支配する解析的な法則を確立することを目的としている。

手法
本論文は、組合せ論的数論と解析的漸近論を組み合わせた二重のアプローチを採用している。

1. 組合せ論的枠組み: 著者は、整数と多重分割（multipartitions）の間の全単射を確立する。完全加法性により、高さ乗数の母関数は、重み付き多重分割オイラー積として特定される：
   $$\sum_{n \ge 0} N_n q^n = \prod_{k \ge 1} (1 - q^k)^{-\pi_k}$$
   この恒等式により、高さ関数 $H$ の数論的性質を分割論の問題へと翻訳することが可能になる。

2. 再帰的構成: 本論文では、$p_i$ を第 $i$ 素数としたとき、$H(p_i) = H(f(i)) + 1$ と定義される高さを分析する。この枠組みは、マトラ高さ（$f(i)=i$）や、オイラーのトーシェント関数の反復から導かれるシャピロ型の高さを包含する。

3. 解析的漸近論: $N_n$ の成長則を導出するために、本論文は**マイナードゥスの定理（Meinardus' Theorem）**を利用する。これには、プロファイルに関連するディリクレ級数 $B_H(s) = \sum \pi_k k^{-s}$ の解析が必要となる。この解析は、プロファイルが定理の仮定（格子障害、例えばプロファイルが偶数のみに支持されている場合などを排除する「マイナーアーク」条件）を満たすことを条件とする。

4. 平均次数の簡約化: $H(n)$ の平均次数については、標準的な加法的関数の手法を用いて、和 $F(x) = \sum_{n \le x} H(n)$ を素数値の和へと簡約化する。

主要な貢献と結果

• 標準的な対応関係: 本論文は、有限の素数ファイバーを持つ完全加法的高さ関数と、重み付き多重分割との間の同値性を定式化する。また、無限和を持つ任意の非負整数の列 $(\pi_k)$ が、ある高さ関数の素数高さプロファイルとして実現可能であることを証明する。

• マトラ数の境界に関する数論的証明:

  • 本論文は、マトラ数（一定の高さにあるマトラ構造内の整数）の極値境界に関する純粋に数論的な証明を提供する。
  • 最大境界: 再帰的な素数インデックス（$P(n) = p_{P(n-1)}$）によって定義される $P(n)$ を用いて、高さ $n$ における最大の整数を証明する。これは、これらの境界が根付き木グラフ理論を用いずに導出できるかという、グットマンとイヴィッチによる問いを解決するものである。
  • 最小境界: 完全加法性と第 $k$ 素数の明示的な境界のみを用いて、高さ $n$ における唯一の最小整数を導出する。これもまた、木論理的な議論を回避している。

• 条件付き逆成長則:

  • プロファイルの累積関数 $\Pi(x) = \sum_{k \le x} \pi_k$ が $C x^\alpha$ として成長し、かつプロファイルがマイナードゥスの定理の完全な仮定（マイナーアーク条件を含む）を満たす場合、以下の条件付き漸近的成長則を確立する：
    $$\log N_n \sim C_2 n^{\alpha/(\alpha+1)}$$
    ここで、$C_2$ は $C, \alpha,$ およびリーマン・ゼータ関数に依存する明示的な定数である。
    この結果は、通常の分割（$\alpha=1$）と平面分割（$\alpha=2$）を統一された解析的枠組みの中に位置づけるものである。

• 多項式領域における平均次数:

  • プロファイルが多項式的成長（$\Pi(x) \sim C x^\alpha$）を持つ場合、本論文は「標準的な逐次的実現（canonical sequential realization）」を定義し、素数の高さが素数インデックスに対して非減少であると仮定する。
  • この標準的な高さの平均次数のオーダーを $F(x) \asymp x^{1+1/\alpha} / (\log x)^{1+1/\alpha}$ として導出する。

• 平方フリー変種: 理論は、平方フリー高さ関数（ラジカル・クラス）へと拡張される。ここでは、オイラー積が異なる部分を持つ積 $\prod (1+q^k)^{\pi_k}$ に変化する。本論文は、平方フリーの代表元に対する再帰的な規則が、有限の素数集合（シャピロ・エルデシュ型）または疎な継続列（デデキント型）をもたらす例を提示する。

• シャピロ高さに関する計算的観察:

  • 本論文は、修正されたシャピロ・トーシェント高さに関する計算データを報告している。
  • $N_h$ と高さ $h$ における素数の数（$P_h$）が指数関数的に成長すること（$N_h \sim B^h$）を観察している。
  • また、「高さごとの中心極限定理」を推測しており、高さ $h$ における素数の $\log p$ が、平均 $\mu h$、分散 $\sigma^2 h$ を持つガウス分布に従うことを示唆している。
  • これらの観察は、再帰的な高さが「普遍的な多項式像」の外側にある挙動（指数的成長）を生み出し、標準的な分割の漸近論が直接適用できない領域に入り込む可能性があることを示唆している。

意義と主張
本論文は、高さ関数の研究を多重分割の理論と統一し、再帰的な構成のための「標準的な」整理原理を提供すると主張している。その主な意義は以下の通りである：

1. 特定の未解決問題への回答: 木論理的な解釈に依存せず、マトラ数のグットマン–イヴィッチ極値境界を、初の純粋な数論的導出によって提供したこと。
2. 条件付き逆成長原理の確立: 素数高さプロファイルの多項式的成長を、マイナードゥスの定理を介して、高さ乗数の伸長指数関数的成長に直接結びつけたこと。
3. 限界の提示: プロファイルは乗数を決定するものの、算術的構造（合同式、相関）は「忘却」してしまうことを示した。本論文は、再帰的な定義（シャピロのものなど）が、単純な多項式プロファイルモデルでは捉えきれない強い算術的制約（指数的成長、非格子プロファイル）をもたらし得ることを指摘している。

本論文は、シャピロ高さの結果については控えめな姿勢を保ち、それらを証明された定理ではなく、経験的な証拠と推測として提示しており、そのような高さの「微細構造」は、メインの解析セクションで扱った設計されたプロファイル設定を超えた領域にあると述べている。