The normalized approximation function for multiple zeta-star values

技術要約：多重ゼータ・スター値における正規化近似関数

問題提起
本論文は、無限の可認列（admissible sequences）と実区間 $(1, +\infty)$ の間の全単射 $\eta$ である「ゼータ・スター対応」から生じる、定量的ディオファントス近似問題に取り組んでいる。有限多重ゼータ・スター値の集合 $Z_\star$ は $(1, +\infty)$ において稠密であることが知られているが、正規化されていない近似は自明である。中心となる問題は、近似する指数の複雑さを考慮した、意味のある近似計量を定義することである。著者は、連分数理論における逆ラグランジュ定数に類似した、指数の固有のバイナリ・スケールに対する漸近的な近似の質を測定するための正規化近似関数 $N(\alpha)$ を導入している。

手法と枠組み
解析は、多重ゼータ・スター値の順序構造、そのバイナリ座標表現、および計量数論の間の相互作用に基づいている。

1. ゼータ・スター対応とバイナリ座標:
   本論文は、無限可認列の集合 $T$ から $\eta: T \to (1, +\infty)$ という全単射を利用している。重要な道具は、バイナリ座標 $\beta(k) = \sum 2^{-K_j}$ （ここで $K_j$ は部分重み）であり、これは $T$ を $(0, 1/2)$ へ写像する。関数 $\Phi = \eta \circ \beta^{-1}$ は、バイナリ区間を $(1, +\infty)$ へ写す。$\Phi$ の導関数 $\Phi'$ は、バイナリ近似誤差とゼータ・スター近似誤差を関連付ける上で極めて重要な役割を果たす。

2. 正規化関数の定義:
   実数 $\alpha > 1$ と深さ $r$ に対して、$S_r$ を深さ $r$ の可認指数の集合とする。深さ方向の近似誤差は次のように定義される：
   $$\Delta_r(\alpha) := \inf_{k \in S_r} 2^{\text{wt}(k)} |\alpha - \zeta^\star(k)|$$
   ここで $\text{wt}(k)$ は指数の重みである。正規化近似関数は下限（limit inferior）として定義される：
   $$N(\alpha) := \liminf_{r \to \infty} \Delta_r(\alpha)$$
   この定義は、指数のシンボリックなシリンダーに関連するバイナリ・スケール $2^{-\text{wt}(k)}$ によって誤差を正規化している。

3. 解析的道具:

   • 上半連続性: 本論文は $\Delta_r(\alpha)$ が上半連続であることを確立しており、これにより $N(\alpha)$ がボレル可測であることを示している。
   • 導関数評価: Hirose, Murahara, および Onozuka の結果を用い、無限の多重ゼータ・スター型の項を含む $\Phi'(y)$ の明示的な公式を導出している。
   • 計量論: ボレル・カンテリの補題と発散条件を用いて、近似が「良好」である（すなわち $N(\alpha)$ が小さい）集合の測度を決定する。

主要な貢献と結果

1. 位相的および正則性の性質

• 上半連続性: 写像 $\alpha \mapsto \Delta_r(\alpha)$ は、各固定された深さ $r$ に対して上半連続である。
• 可測性: 関数 $N(\alpha)$ はボレル可測である。
• 残留零集合: 集合 $\{\alpha > 1 : N(\alpha) = 0\}$ は $(1, +\infty)$ の稠密な $G_\delta$ 部分集合である。これは、「ベールの範疇（Baire category）」の意味での「生成的（generic）」な点は、例外的に良く近似されることを意味する。

2. 計量的結果（ほとんど至る所での振る舞い）

• 収束: もし $\sum 2^{-g(r)} < \infty$ ならば、$\Delta_r(\alpha) < 2^{-g(r)}$ が無限回成立する $\alpha$ の集合のルベーグ測度はゼロである。
• 発散: 対数的に強化された発散条件（$\sum \frac{2^{-g(r)}}{r \log^2 r} = \infty$）の下では、近似集合の補集合の測度はゼロである。
• 主要な計量定理: ほとんど全ての $\alpha > 1$ に対して $N(\alpha) = 0$ である。 これは、発散定理と、ほとんど全ての $\alpha$ においてゼータ・スター展開の中に無限に多くの大きな「次の桁」が存在することを組み合わせることで証明される。

3. 特定の点における評価

• 有限多重ゼータ・スター値: 有限の可認指数 $k$ に対して、$N(\zeta^\star(k))$ は関連する基本区間の正規化された長さ $L(k)$ として明示的に計算される。
  • $k = (2, \{1\}^{s-1})$ の場合、$N(\zeta^\star(k)) = +\infty$ である。
  • それ以外の場合、$N(\zeta^\star(k))$ は有限であり、1よりも厳密に大きい。
• 整数: すべての整数 $n \ge 2$ に対して、$N(n) = n$ である。これは、$n$ のバイナリ展開の算術的性質と $\Phi$ の導関数を用いて導かれる。
• 不連続性: 余域に順序位相を設えたとき、関数 $\alpha \mapsto N(\alpha)$ は $(1, +\infty)$ 上で至る所不連続である。これは、$N(\alpha)=0$ となる点（稠密）と、$N(\alpha) > 1$ または $+\infty$ となる点（稠密）が共存しているためである。

4. 関数の像

• $N$ の像 $\text{Im}(N)$ は $[0, +\infty]$ において稠密である。
• 具体的には、有限の値の集合 $\{N(\alpha) : N(\alpha) < \infty\}$ は $[0, +\infty)$ において稠密である。本論文は、任意の目標値 $t \ge 0$ に接近する一族 $S_q / (2m-1)$ を構成している。

意義および主張
本論文は、多重ゼータ・スター値のための正規化近似関数の正則性と生成的振る舞いを確立することを目的としている。連分数における古典的なラグランジュ・スペクトラムとの類推を通じて、本研究は以下のことを行う：

1. 多重ゼータ・スター値の文脈における、自然なディオファントス近似のスケールを定義した。
2. 古典的なラグランジュ・スペクトラムが離散的な下部を持つこととは対照的に、$N(\alpha)$ の「スペクトラム」はほとんど至る所で値 0 によって支配されているが、一方で関数は稠密な集合上で幅広い値を取ることを示した。
3. 「有理数的な」点（有限のゼータ・スター値および整数）における挙動と、生成的（generic）な挙動（0）との間の鮮明な対比を明らかにしつつ、特定の点における $N(\alpha)$ の完全な特徴付けを行った。

本論文は、近似スペクトラム $L_\star = \{1/N(\alpha) : 0 < N(\alpha) < \infty\}$ の構造に関する予想を提示して締めくくられており、それが古典的なラグランジュ・スペクトラムの複雑な構造を反映するように、半直線 $(c, +\infty)$ を含み、かつ空でない補集合を持つことを示唆している。研究の課題として、正確な像の集合およびレベル集合のハウスドルフ次元の決定が残されている。