[논문 리뷰] More on spherical designs of harmonic index $t$

Yan Zhu, Eiichi Bannaĭ외 3명|arXiv (Cornell University)|2015. 07. 20.

Mathematical Approximation and Integration참고 문헌 11인용 수 4

한 줄 요약

이 논문은 조화 지수 $t$ 및 $T$를 가진 구면 설계를 조사하여 피셔 유형의 하한을 확립하고, 이러한 하한에 도달하는 '긴 설계'(tight designs)를 분류한다. 선형계획법, 고전다항식 분석, 일반화된 라르만-로저스-사이델 정리, 타원 디오판틴 방정식, 그리고 준정형계획법을 사용하여, 조화 지수 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$를 가진 구면 설계의 크기에 대한 피셔 유형의 하한을 확립하는 것.
• 하한에 도달하는 '긴 설계'로 간주되는 조화 지수 $t$ 및 $T$를 가진 긴 설계를 분류하는 것.
• 특히 짝수 지수 $t = 2e$ 및 복합 집합 $T = \{t_1, t_2, \dots\}$에 대해 이러한 긴 설계의 존재 및 존재하지 않음을 조사하는 것.
• 이전에 해결된 사례들(예: $t=4$)을 초월하여 $t=6$ 및 $t=8$까지 분류를 확장하고, $T=\{8,4\}$ 및 기타 다중지수 집합을 연구하는 것.

제안 방법

• 조화 지수 $T$를 가진 구면 설계의 크기에 대한 하한을 유도하기 위해 델사르트의 선형계획법 방법을 적용하는 것.
• 고클라르 다항식의 영점과 국소 최솟값을 철저히 분석하여 설계 점들의 가능한 구성 조건을 제약하는 것.
• 내적 값이 몇 개인지에 따라 점들의 집합의 구조를 제약하기 위해 $s$-거리 집합에 대한 라르만-로저스-사이델 정리를 일반화하는 것.
• 설계 존재 문제에서 발생하는 핵심 대수 조건에 대해 유리수 해가 존재하지 않음을 제거하기 위해 타원 디오판틴 방정식을 사용하는 것.
• 후보 $2$-각도 선 시스템을 제거하고 작은 차원에서의 하한을 검증하기 위해 준정형계획법(SDP)을 활용하는 것.
• 대수적 수론과 수치적 하한을 결합하여, $b_{n,T}$가 선형계획법 또는 준정형계획법 상한과 일치하는 경우를 분석하고, 이는 긴 $T$-설계의 존재하지 않음을 암시하는 것.

실험 결과

연구 질문

• RQ1 조화 지수 6을 가진 긴 구면 설계는 존재하는가? 존재하지 않는다면 어떤 대수적 및 분석적 장애물이 그것을 방지하는가?
• RQ2 조화 지수 8을 가진 긴 구면 설계는 분류될 수 있으며, 모든 차원에서 존재하는가?
• RQ3 $e \to \infty$일 때 조화 지수 $2e$를 가진 긴 구면 설계의 渐近적 행동은 어떠한가? 큰 $e$에서 존재하지 않음을 보일 수 있는가?
• RQ4 $T = \{8,4\}$일 때 긴 구면 설계가 존재하는가? 여러 조화 차수 간의 상호작용에서 어떤 제약 조건이 발생하는가?
• RQ5 $b_{n,T}$ 하한과 선형계획법 또는 준정형계획법 상한이 일치하는 조건은 무엇이며, 이는 긴 $T$-설계의 존재하지 않음을 암시하는가?

주요 결과

• 모든 차원 $n \geq 1$에서 조화 지수 6을 가진 긴 구면 설계는 존재하지 않으며, 고클라르 다항식의 영점에 대한 기본적인 대수적 및 분석적 제약 조건을 통해 이를 입증하였다.
• 유사하게, 모든 차원에서 조화 지수 8을 가진 긴 구면 설계는 존재하지 않으며, 조화 지수 8 조건과 관련된 대수적 항등식을 철저히 분석함으로써 확인되었다.
• 일반적인 $e \geq 3$에 대해, 조화 지수 $2e$를 가진 긴 구면 설계는 渐近적으로 존재하지 않으며, 피셔 유형의 하한이 전체 $2e$-설계와 동일한 비율로 증가하기 때문에, 긴 설계의 가능성은 점점 줄어든다.
• $T = \{8,4\}$의 경우, 유도된 내적을 포함한 유리수 표현의 비정수성과 디오판틴 조건의 실패에 기반하여, 긴 구면 설계가 존재하지 않음을 입증하였다.
• $T = \{12,8,4\}$의 경우, $n = 9, 13, 16$를 제외한 모든 차원에서 긴 설계는 존재하지 않으며, 이는 선형계획법 및 준정형계획법 상한이 하한 $b_{n,T}$와 일치하기 때문이다.
• 분석 결과, 긴 조화 지수 $T$-설계는 매우 드물며, 몇 가지 가능한 예외를 제외하고는 거의 존재하지 않으며, 조화 지수 $T$-설계 이론은 전체 $2e$-설계와 조화 지수 $2e$-설계 사이의 구조적 및 渐近적 행동에서 중간 정도의 성질을 가진다.