[論文レビュー] Stolarsky principle and energy optimization on the sphere

Dmitriy Bilyk, Feng Dai+1 more|arXiv (Cornell University)|Nov 14, 2016

Mathematical Approximation and Integration参考文献 23被引用数 11

ひとこと要約

本稿は、球面上の幾何学的不一致と離散的エネルギーの新しい関係を確立することで、Stolarskyの不変性原理を拡張している。半球不一致は測地線距離エネルギーと関連づけられ、測地線距離エネルギーの最大化者（maximizer）は指数δに強く依存しており、δ = 1で鋭い遷移を示す。これは、ユークリッド空間におけるδ = 2が臨界値であるのとは対照的である。

ABSTRACT

The classical Stolarsky invariance principle connects the spherical cap $L^2$ discrepancy of a finite point set on the sphere to the pairwise sum of Euclidean distances between the points. In this paper we further explore and extend this phenomenon. In addition to a new elementary proof of this fact, we establish several new analogs, which relate various notions of discrepancy to different discrete energies. In particular, we find that the hemisphere discrepancy is related to the sum of geodesic distances. We also extend these results to arbitrary measures on the sphere and arbitrary notions of discrepancy and apply them to problems of energy optimization and combinatorial geometry and find that, surprisingly, the geodesic distance energy behaves differently than its Euclidean counterpart.

研究の動機と目的

• 古典的なStolarskyの不変性原理を、特に半球と測地線距離に関する新しい不一致およびエネルギーの概念へ一般化すること。
• すべての次元d ≥ 1において、球面上の有限点集合が測地線距離の和を最大化する条件を同定すること。
• S^d 上の確率測度μに対するエネルギー積分 Ig(μ) = ∫∫ d(x,y)^δ dμ(x)dμ(y) を考察し、δ > 0 の異なる値に対してその最大化者を特定すること。
• 測地線距離エネルギーとそのユークリッド版の挙動を比較し、臨界指数における根本的な違いを明らかにすること。
• 楔型およびスライス型不一致に対するStolarsky型恒等式を確立し、特定のポテンシャルと離散的エネルギーを結びつけること。

提案手法

• 回転不変性と幾何的平均化を用いた、古典的Stolarsky不変性原理の新しい初等的証明を提示する。
• 球面キャップを半球に置き換えることで、半球に対するStolarsky原理を導出。L2不一致が測地線距離の和と関係することを示す。
• S^d 上の任意の確率測度μに対して原理を一般化し、連続的測度に対しても不一致-エネルギー恒等式が成り立つことを証明する。
• 超球多項式展開と正定値関数を用いて、エネルギー積分 Ig(μ) 及びその最大化者を分析する。
• 回転不変性と対称性の手法を用いて、S^d × S^d 上の d(x,y)^2 を含む積分を計算し、V_d に対する再帰的公式を導出する。
• スライスおよび楔型不一致に対するStolarsky原理を確立する。二重積分を計算し、それらを測地線距離と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 L2不一致（半球に対する）と球面上の点間の測地線距離の和との関係は何か？
• RQ2 S^d 上の確率測度μに対して、エネルギー積分 ∫∫ d(x,y)^δ dμ(x)dμ(y) の最大化者が指数δにどのように依存するか？
• RQ3 なぜ測地線距離エネルギーの最大化者の臨界指数がユークリッドエネルギーとは異なり、δ = 1（ユークリッドではδ = 2）なのか？
• RQ4 楔型およびスライス型不一致のような他の不一致タイプに対しても、Stolarsky型恒等式を拡張できるか？
• RQ5 高次元球面上の平均二乗測地線距離の漸近的挙動は何か？

主な発見

• L2半球不一致は、すべてのd ≥ 1に対してStolarsky型恒等式により測地線距離の和と関連づけられ、恒等式が成り立つ。
• δ ∈ (0,1) の場合、均一測度σがエネルギー積分 Ig(μ) の唯一の最大化者である。δ = 1 の場合、すべての中心対称測度が最大化者である。δ > 1 の場合、最大化者は 1/2(δ_p + δ_{-p}) の形をとる。
• 測地線距離エネルギーの最大化者の臨界指数はδ = 1であるが、これはユークリッド空間における臨界値δ = 2とは対照的であり、両者の設定における根本的な違いを示している。
• 平均二乗測地線距離 V_d = ∫∫ d(x,y)^2 dσ(x)dσ(y) は再帰的関係式 V_d = V_{d-2} - 2/(π²(d-1)²) を満たし、V_1 = 1/3 および V_2 = 1/2 - 2/π² である。
• d → ∞ のとき、V_d → 1/4 となる。これは測度の集中現象に一致しており、高次元球面上のほとんどの点はほぼ直交している。
• スライス不一致に対するStolarsky原理が証明された：4[DL2,slice(Z)]² = (1/N²)∑_{i,j} (1 - d(zi,zj))² - ∫∫ (1 - d(x,y))² dσ(x)dσ(y)。この恒等式により、スライス不一致は二乗測地線距離エネルギーと結びつけられる。