論文要約：Walsh 系に対するルベーグ定数と van der Corput 列の星型不一致度

論文情報: arXiv:2412.03164v1 [math.NT] (2024 年 12 月 4 日)
著者: Josef Dick, Friedrich Pillichshammer

1. 研究の背景と問題提起

近似論におけるWalsh 関数系のルベーグ定数（Lebesgue constants）と、一様分布論におけるvan der Corput 列の星型不一致度（star discrepancy）は、長年にわたり独立した分野として詳細に研究されてきた。

• ルベーグ定数: 関数近似における部分和の収束性を評価する重要な指標。
• 星型不一致度: 点列が区間 $[0, 1)$ 内でどれだけ均等に分布しているかを定量化する指標。

一見すると全く無関係に見えるこの 2 つの数学的定数が、実は完全に一致するという驚くべき事実（偶然の一致）がこれまで見過ごされてきた。本論文は、この 2 つの概念が同一であることを示し、両分野の研究成果を相互に転用可能にする橋渡しを行うことを目的としている。

2. 主要な定義と対象

Walsh 関数系とルベーグ定数

• $L^2([0, 1])$ における完全正規直交系である Walsh 関数 $w_k(x)$ を考える。
• $n$ 番目のルベーグ関数 $L_n(x)$ は、Dirichlet カーネル $D_n(x, u)$ の絶対値の積分として定義される：
  $$L_n(x) := \int_0^1 |D_n(x, u)| du$$
• Fine によって、この関数は $x$ に依存せず定数であることが示されており、これを $n$ 番目のルベーグ定数 $L_n$ と呼ぶ。

van der Corput 列と不一致度

• van der Corput 列 $Y^{vdC} = (y_k)_{k \ge 0}$ は、非負整数 $k$ の 2 進展開の桁を逆転させて構成される点列である。
• $n$ 個の点 $\{y_0, \dots, y_{n-1}\}$ に対する星型不一致度 $D^*_n(Y^{vdC})$ は、分布の偏りの最大値として定義される。
• 本論文では、正規化されていない不一致度 $d_n := n D^*_n(Y^{vdC})$ を用いる。

3. 主要な結果と定理

定理 2: 両者の一致

本論文の核心的な結果は以下の通りである。

定理 2: Walsh 系に対する $n$ 番目のルベーグ定数 $L_n$ は、van der Corput 列の最初の $n$ 項に対する正規化されていない星型不一致度 $d_n$ と完全に一致する。
$$d_n = L_n$$

証明の概要:

1. $n$ を 2 進展開 $n = 2^{n_1} + 2^{n_2} + \dots + 2^{n_\nu}$ （$n_1 > n_2 > \dots > n_\nu \ge 0$）の形で表す。
2. Fine の定理（定理 1）より、ルベーグ定数は以下の式で与えられることが知られている：
   $$L_n = \nu - \sum_{1 \le j < i \le \nu} 2^{n_i - n_j}$$
3. 一方、van der Corput 列の構造を利用し、不一致度関数 $\Delta_{Y^{vdC}, n}(t)$ の $L^1$ ノルムを計算することで、$d_n$ も全く同じ式で表せることを示す。
   $$d_n = 2 \int_0^1 \Delta_{Y^{vdC}, n}(t) dt = \nu - \sum_{1 \le j < i \le \nu} 2^{n_i - n_j}$$
4. 両者が一致するため、$d_n = L_n$ が成立する。

4. 相互応用と新たな知見

この一致関係により、両分野で独立に発見された定理や未解決の問題が相互に転用可能になった。

A. 既存結果の相互確認

• Fine が証明したルベーグ定数の性質（漸近挙動 $O(\log n)$、平均値の漸近式など）は、Béjian と Faure によって van der Corput 列の不一致度の文脈でも独立に証明されていたことが確認された。
• 逆に、不一致度に関する既知の精密な評価（例：$d_n \le \frac{\log n}{3 \log 2} + 1$）が、ルベーグ定数のより精密な評価として再発見された。

B. 新たな表現式の導出

• ルベーグ定数の積分表現: 不一致度の定義から、ルベーグ定数を以下のように新しい積分形で表現できることが示された。
  $$L_n = n D^*_n(Y^{vdC}) = n \int_0^1 \left| \frac{1}{n} \sum_{k=0}^{n-1} w_k(x) \right| dx$$
• 不一致度の和表現: 不一致度に関する既知の表現から、ルベーグ定数に対する新しい和の表現が得られた。
  $$L_n = \sum_{r=1}^\infty \left\| \frac{n}{2^r} \right\|$$
  （ここで $\|x\|$ は $x$ と最も近い整数との距離）。これにより、Fine の定理における再帰関係が自然に導かれる。

C. 確率論的性質の転用

• van der Corput 列の不一致度に関する中心極限定理（Central Limit Theorem）が、Walsh 系のルベーグ定数に対しても成立することが示された。
  $$\frac{1}{N} \# \left\{ n < N : L_n \le \frac{\log n}{4 \log 2} + y \frac{4}{\sqrt{3 \log 2}} \sqrt{\log n} \right\} \to \Phi(y)$$
  （$\Phi(y)$ は標準正規分布の累積分布関数）。

D. 極限挙動に関する新たな結果

• ルベーグ定数に関する既知の結果を不一致度の文脈に翻訳することで、van der Corput 列の不一致度に関するこれまで知られていなかった結果が得られた。
  • 殆ど全ての $t \in [0, 1]$ に対して、$d_{n_t(m)} / \log n_t(m)$ の極限は $1/(4 \log 2)$ になる。
  • 2 進有理数 $t$ に対しては極限が 0 になる。
  • 稠密な部分集合 $A$ に対して、下限が 0、上限が $1/(3 \log 2)$ となるような $t$ が存在する。

5. 意義と結論

本論文は、近似論と数論的解析（一様分布論）という異なる数学分野の間に、深い構造的な同一性を発見した点に大きな意義がある。

1. 概念の統合: ルベーグ定数と不一致度という、一見無関係な量が同一であることを示し、数学的対象間の意外なつながりを明らかにした。
2. 結果の転用: 一方の分野で得られた高度な結果（漸近評価、確率論的性質、極限挙動など）を、他方の分野へ即座に適用可能にした。
3. 新たな視点: 既存の定理を新しい表現式（積分形や和の形）で記述し直すことで、両分野の研究に新たな洞察を提供した。

この発見は、近似理論における収束性の問題と、数論的解析における点列の均等分布の問題が、本質的には同じ数学的構造を共有していることを示唆しており、今後の両分野の発展に寄与することが期待される。