[論文レビュー] Optimal Discrete Riesz Energy and Discrepancy

Johann S. Brauchart|arXiv (Cornell University)|Mar 16, 2011

Mathematical Approximation and Integration参考文献 25被引用数 3

ひとこと要約

本稿は、単位球面 $\mathbb{S}^d$ 上の最適 Riesz $s$-エネルギーの漸近的挙動と、Stolarsky の不変性原理を通じた球帽 $\mathbb{L}_2$-不均一性の関係を調査する。エネルギー展開の主要項に関する予想を提示し、それに対応する不均一性の上限を導出し、$s = -1$ の場合に最適エネルギー配置が近似的に最良の不均一性を達成することを示す。明示的な漸近展開がリーマン・ゼータ関数およびベルヌーイ関数を含んでおり、その結果が得られる。

ABSTRACT

The Riesz $s$-energy of an $N$-point configuration in the Euclidean space $\mathbb{R}^{p}$ is defined as the sum of reciprocal $s$-powers of all mutual distances in this system. In the limit $s o0$ the Riesz $s$-potential $1/r^s$ ($r$ the Euclidean distance) governing the point interaction is replaced with the logarithmic potential $\log(1/r)$. In particular, we present a conjecture for the leading term of the asymptotic expansion of the optimal $\IL_2$-discrepancy with respect to spherical caps on the unit sphere in $\mathbb{R}^{d+1}$ which follows from Stolarsky's invariance principle [Proc. Amer. Math. Soc. 41 (1973)] and the fundamental conjecture for the first two terms of the asymptotic expansion of the optimal Riesz $s$-energy of $N$ points as $N o \infty$.

研究の動機と目的

• $-2 < s < d+2$, $s \neq 0,d$ の範囲で、$\mathbb{S}^d$ 上の $N$ 点に対する最適 Riesz $s$-エネルギーの予想される漸近展開を確立すること。
• Stolarsky の不変性原理を用いて、球帽分布の $\mathbb{L}_2$-不均一性と Riesz $s$-エネルギーを結びつけること。
• 既知のエネルギー展開を用いて、$s = -1$ の場合の球帽不均一性の一次漸近的挙動を導出すること。
• 特に Korevaar の予想など既知の境界と照らし合わせて、最適エネルギー配置の不均一性特性を分析すること。

提案手法

• Stolarsky の不変性原理を用い、$s = -1$ の場合に球帽分布の $\mathbb{L}_2$-不均一性と Riesz $s$-エネルギーを関連付ける。
• $\mathcal{E}_s(\mathbb{S}^d; N)$ の漸近展開に関する基本的予想（$N^2$ および $N^{1+s/d}$ 項を含む）を適用し、不均一性の挙動を導出する。
• $\mathbb{S}^1$ 上の $N$ 乗根の単位根に対する既知の正確なエネルギー展開を用い、$s = -1$ の場合の不均一性展開を導出する。この際、ゼータ関数およびベルヌーイ数の恒等式を用いる。
• 生成関数 $\left(\frac{\sin \pi z}{\pi z}\right)^{-s} = \sum_{n=0}^\infty \alpha_n(s) z^{2n}$ を用いて、$\alpha_n(s)$ の係数を扱い、エネルギー展開の高次項を表現する。
• LeVeque 型および Erdős–Turán 型の不等式を用い、球面調和級数および Weyl 級数に基づいて不均一性を推定する。
• 一般化された転送直径および平衡測度を含む、ポテンシャル理論および幾何的測度論の結果を活用し、予想されるエネルギー漸近展開の正当化を行う。

実験結果

リサーチクエスチョン

• RQ1 $-2 < s < d+2$, $s \neq 0,d$ の範囲で、$N \to \infty$ のときの最適 Riesz $s$-エネルギー $\mathcal{E}_s(\mathbb{S}^d; N)$ の漸近展開は何か？
• RQ2 Stolarsky の不変性原理を通じて、球帽 $\mathbb{L}_2$-不均一性と Riesz $s$-エネルギーの関係は何か？
• RQ3 $s = -1$ の場合の $\mathbb{L}_2$-不均一性の一次漸近的挙動は何か？
• RQ4 最適 Riesz $s$-エネルギー配置は近似的に最良の不均一性を達成するか？また、$\mathcal{O}(N^{-1/d})$ などの既知の境界と比較するとどうなるか？
• RQ5 球面調和級数および Weyl 級数の技法に基づくエネルギーに依存する推定を用いて、不均一性を上限で抑えられるか？

主な発見

• 予想される $\mathcal{E}_s(\mathbb{S}^d; N)$ の漸近展開は、$V_s(\mathbb{S}^d)N^2 + \frac{C_{s,d}}{[\mathcal{H}_d(\mathbb{S}^d)]^{s/d}} N^{1+s/d} + \mathcal{R}_s(\mathbb{S}^d; N)$ であり、$\mathcal{R}_s(\mathbb{S}^d; N)/N^{1+s/d - \varepsilon} \to 0$ ($N \to \infty$) となる。
• $s = -1$ の場合、$\mathbb{L}_2$-不均一性は $\frac{1}{\pi} \left[ D_{\mathrm{C}}^{\mathbb{L}_2}(X_N) \right]^2 = \frac{2[-\zeta(-1)]}{(2\pi)^{-1}} N^{-2} + \mathcal{O}(N^{-4})$ を満たし、$[-\zeta(-1)] = \frac{1}{12}$ より $\left[ D_{\mathrm{C}}^{\mathbb{L}_2}(X_N) \right]^2 \sim \frac{1}{3\pi} N^{-2}$ が得られる。
• $s = -1$ の不均一性展開は、$N$ 乗根の単位根の正確なエネルギー展開から導出され、$\zeta(s)$ および $\alpha_n(s)$ を含む項を含む。$n \geq 1$ に対して $\alpha_n(-1)\zeta(-1-2n) < 0$ である。
• 球帽不均一性は、球面調和級数を含む LeVeque 型不等式により上限が得られ、係数 $a_\ell \asymp \ell^{-d-1}$ となる。
• 最適 $s$-エネルギー配置の不均一性が常に最良であるとは限らない。$s = d-1$ の場合、不均一性は $\mathcal{O}(N^{-1/d})$ であると予想されており、$d=2$ の場合にこの境界は鋭い。
• 数値的証拠から、$\mathbb{S}^2$ に持ち上げられたデジタルネットは $\mathcal{O}(N^{-1/2})$ の不均一性を達成するが、定数は $[0.50, 0.59]$ の範囲にあり、理論的境界と比較して劣っていることが示唆される。