[論文レビュー] More on spherical designs of harmonic index $t$

Yan Zhu, Eiichi Bannaĭ+3 more|arXiv (Cornell University)|Jul 20, 2015

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

ひとこと要約

本稿は、調和的インデックス $t$ および $T$ の球面デザインの研究を行い、Fisher型の下界を確立し、その下界に達する「タイト」デザインの分類を行う。線形計画法、ゲンゲナウアー多項式の分析、一般化されたLarman-Rogers-Seidel定理、楕円型ディオファントス方程式、および半正定値計画法を用いて、調和的インデックス6および8のタイト球面デザインの非存在を証明し、$e \geq 3$ の $2e$ についても漸近的に非存在を示す。また、$T = \{8,4\}$ や $T = \{12,8,4\}$ といったケースの分析も行う。

ABSTRACT

A finite subset $Y$ on the unit sphere $S^{n-1} \subseteq \mathbb{R}^n$ is called a spherical design of harmonic index $t$, if the following condition is satisfied: $\sum_{\mathbf{x}\in Y}f(\mathbf{x})=0$ for all real homogeneous harmonic polynomials $f(x_1,\ldots,x_n)$ of degree $t$. Also, for a subset $T$ of $\mathbb{N} = \{1,2,\cdots \}$, a finite subset $Y\subset S^{n-1}$ is called a spherical design of harmonic index $T,$ if $\sum_{\mathbf{x}\in Y}f(\mathbf{x})=0$ is satisfied for all real homogeneous harmonic polynomials $f(x_1,\ldots,x_n)$ of degree $k$ with $k\in T$. In the present paper we first study Fisher type lower bounds for the sizes of spherical designs of harmonic index $t$ (or for harmonic index $T$). We also study 'tight' spherical designs of harmonic index $t$ or index $T$. Here 'tight' means that the size of $Y$ attains the lower bound for this Fisher type inequality. The classification problem of tight spherical designs of harmonic index $t$ was started by Bannai-Okuda-Tagami (2015), and the case $t = 4$ was completed by Okuda-Yu (2015+). In this paper we show the classification (non-existence) of tight spherical designs of harmonic index 6 and 8, as well as the asymptotic non-existence of tight spherical designs of harmonic index $2e$ for general $e\geq 3$. We also study the existence problem for tight spherical designs of harmonic index $T$ for some $T$, in particular, including index $T = \{8,4\}$. We use (i) the linear programming method by Delsarte, (ii) the detailed information on the locations of the zeros as well as the local minimum values of Gegenbauer polynomials, (iii) the generalization by Hiroshi Nozaki of the Larman-Rogers-Seidel theorem on $2$-distance sets to $s$-distance sets, (iv) the theory of elliptic diophantine equations, and (v) the semidefinite programming method of eliminating some $2$-angular line systems for small dimensions.

研究の動機と目的

• 調和的インデックス $t$ および $T$ の球面デザインのサイズに対するFisher型の下界を確立すること。
• 下界に達する「タイト」デザイン、すなわちタイト性を満たすデザインの分類を行うこと。
• 特に偶数インデックス $t = 2e$ および複合集合 $T = \{t_1, t_2, \dots\}$ について、そのようなタイトデザインの存在・非存在を調査すること。
• これまでに解かれたケース（例：$t=4$）を越えて、$t=6$ および $t=8$ への分類を拡張し、$T=\{8,4\}$ や他の多重インデックス集合の研究を行うこと。

提案手法

• 調和的インデックス $T$ の球面デザインのサイズに対する上限を導くために、Delsarteの線形計画法の応用。
• ゲンゲナウアー多項式の零点および局所的最小値の詳細な分析により、デザイン点の配置の可能性を制約する。
• $s$-距離集合へのLarman-Rogers-Seidel定理の一般化により、内積が少ない点集合の構造を制限する。
• 設計存在問題において生じる重要な代数的条件に対して、有理数解が存在しないことを示すために、楕円型ディオファントス方程式の使用。
• 候補となる$2$-角線系を除外し、小次元数における境界の検証を行うために、半正定値計画法（SDP）の活用。
• 代数的数論と数値的境界の組み合わせにより、$b_{n,T}$ がLPまたはSDPの上界と一致する場合の解析を行い、タイト$T$-デザインの非存在を示す。

実験結果

リサーチクエスチョン

• RQ1 調和的インデックス6のタイト球面デザインは存在するか？もし存在しない場合、その背後にある代数的・解析的障害は何か？
• RQ2 調和的インデックス8のタイト球面デザインは分類可能か？また、すべての次元で存在するのか？
• RQ3 $e \to \infty$ のとき、調和的インデックス $2e$ のタイト球面デザインの漸近的挙動はどのようなものか？大規模な $e$ に対して非存在が生じるか？
• RQ4 $T = \{8,4\}$ の場合、タイト球面デザインは存在するか？複数の調和的次数の相互作用によって生じる制約は何か？
• RQ5 下界 $b_{n,T}$ とLPまたはSDPによる上界が一致するのはどのような条件下か？その一致は、タイト$T$-デザインの非存在を示唆する。

主な発見

• 任意の次元 $n \geq 1$ に対して、調和的インデックス6のタイト球面デザインは存在しない。これは、ゲンゲナウアー多項式の零点に関する初等的な代数的・解析的制約によって示された。
• 同様に、任意の次元において調和的インデックス8のタイト球面デザインは存在しない。これは、調和的インデックス8の条件と関連する代数的恒等式の詳細な分析によって確認された。
• 一般に $e \geq 3$ に対して、調和的インデックス $2e$ のタイト球面デザインは漸近的に存在しない。Fisher型の下界が完全な $2e$-デザインと同程度に成長するため、タイト性は次第に不可能になる。
• $T = \{8,4\}$ の場合、本稿ではタイト球面デザインが存在しないことを確立した。これは、内積を含む導出された有理式の非整数性と、ディオファントス条件の失敗に基づく。
• $T = \{12,8,4\}$ の場合、$n = 9, 13, 16$ を除き、すべての次元でタイトデザインは存在しない。これは、LPおよびSDPの境界が下界 $b_{n,T}$ と一致するため、非存在を示唆する。
• 解析から、タイト調和的インデックス $T$-デザインは極めてまれであり、僅か数例の例外を除いて、調和的インデックス $T$-デザインの理論は、完全な $2e$-デザインと調和的インデックス $2e$-デザインの間の構造的・漸近的挙動に位置することが示された。