[논문 리뷰] Equiangular lines, Incoherent sets and Quasi-symmetric designs

Neil I. Gillespie|arXiv (Cornell University)|2018. 09. 15.

Mathematical Approximation and Integration참고 문헌 27인용 수 5

한 줄 요약

이 논문은 $\mathbb{R}^d$에서 등각 선들 중 절대 경계 $d(d+1)/2$와 비일관성 경계 $d$를 동시에 도달하는 경우가 존재하는 것은 $d = 2, 3, 7,$ 또는 $23$일 때에만이며, 이는 오랫동안 남아있던 분류 문제를 해결한다. 이러한 집합들은 조밀한 구면 5-설계와 준대칭 설계와 연결되며, 오직 이러한 차원들만이 둘 다 도달하는 구성요소를 지닌다는 것을 증명한다. 추가로, $\mathbb{R}^6$에서의 최대 16선 집합이 추가적인 가정 하에 유일한 예외적인 사례임을 놀랍게 밝혀낸다.

ABSTRACT

The absolute upper bound on the number of equiangular lines that can be found in $\mathbf{R}^d$ is $d(d+1)/2$. Examples of sets of lines that saturate this bound are only known to exist in dimensions $d=2,3,7$ or $23$. By considering the additional property of incoherence, we prove that there exists a set of equiangular lines that saturates the absolute bound and the incoherence bound if and only if $d=2,3,7$ or $23$. This allows us classify all tight spherical $5$-designs $X$ in $\mathbf{S}^{d-1}$, the unit sphere, with the property that there exists a set of $d$ points in $X$ whose pairwise inner products are positive. For a given angle $κ$, there exists a relative upper bound on the number of equiangular lines in $\mathbf{R}^d$ with common angle $κ$. We prove that classifying sets of lines that saturate this bound along with the incoherence bound is equivalent to classifying certain quasi-symmetric designs, which are combinatorial designs with two block intersection numbers. Given a further natural assumption, we classify the known sets of lines that saturate these two bounds. This family comprises of the lines mentioned above and the maximal set of $16$ equiangular lines found in $\mathbf{R}^6$. There are infinitely many known sets of lines that saturate the relative bound, so this result is surprising. To shed some light on this, we identify the $E_8$ lattice with the projection onto an $8$-dimensional subspace of a sublattice of the Leech lattice defined by $276$ equiangular lines in $\mathbf{R}^{23}$. This identification leads us to observe a correspondence between sets of equiangular lines in small dimensions and the exceptional curves of del Pezzo surfaces.

연구 동기 및 목표

• 등각 선들의 집합이 동시에 절대 상한 $d(d+1)/2$와 비일관성 상한 $d$를 도달하는 $\mathbb{R}^d$에서의 모든 경우를 분류하는 것.
• 구면 5-설계가 $d$개의 점을 가지며, 그 점들 간의 양의 상호 내적을 가진 조밀한 구면 5-설계가 존재하는 차원 $d$를 결정하는 것.
• 상대 경계를 도달하는 등각 선 집합과 특정한 두 블록 교차 수를 가진 준대칭 설계 사이의 대응 관계를 확립하는 것.
• 특히 $d=839$와 같은 고차원에서 이러한 구성요소의 존재성을 조사하고, 이전의 추측의 타당성을 평가하는 것.

제안 방법

• 스펙트럼 그래프 이론과 실 내적 공간 위에서의 선형대수학을 사용하여, 절대 경계와 비일관성 경계를 동시에 도달하는 등각 선 집합이 존재하는 차원이 오직 $d=2,3,7,23$일 때뿐임을 증명한다.
• 조밀한 구면 5-설계와 절대 경계를 도달하는 등각 선 집합 사이의 등가성을 이용하여, $d$개의 점 간에 양의 내적을 가지는 조건 하에서 이러한 설계를 분류한다.
• 상대 경계를 도달하는 등각 선 집합과 두 블록 교차 수를 가진 특정 준대칭 2-설계 사이의 전단사 관계를 수립한다.
• Calderbank, Blokhuis, 및 Frankl의 수론적 및 조합론적 제약 조건을 적용하여, 특히 $i \equiv 4 \mod 8$ 또는 $i \equiv 2 \mod 4$인 경우에 대해 준대칭 설계의 일부 매개변수 가족을 제거한다.
• 23차원에서 276개의 등각 선으로 정의된 Leech 격자의 부분격자의 사영을 통해 $E_8$ 격자를 식별하며, 예외적인 격자와 등각 선 체계 사이의 깊은 기하학적 연결 고리를 드러낸다.
• 정수 $i$에 대한 다항식 매개변수화를 통해 준대칭 설계와 등각 선의 후보 가족을 생성하고, 합동 조건과 코드 이론적 차단 조건을 통해 그 존재성을 분석한다.

실험 결과

연구 질문

• RQ1 어느 차원 $d$에서 $\mathbb{R}^d$에 등각 선들의 집합이 존재하여 절대 경계 $d(d+1)/2$와 비일관성 경계 $d$를 동시에 도달하는가?
• RQ2 구면 $\mathbb{S}^{d-1}$에서 조밀한 구면 5-설계 중에서 $d$개의 점이 모두 양의 상호 내적을 가지는 것은 언제인가?
• RQ3 기존의 $d=2,3,7,23$ 사례 외에 상대 경계와 비일관성 경계를 동시에 도달하는 등각 선 집합이 존재하는가?
• RQ4 이러한 구성요소의 존재성이 두 개의 블록 교차 수를 가진 조합 설계와 연결될 수 있는가? 만약 그렇다면, 가능한 매개변수 가족은 무엇인가?
• RQ5 $\mathbb{R}^{839}$에 절대 경계를 도달하는 등각 선 집합이 존재하는가? 이는 추측 8.4에 어떤 함의를 갖는가?

주요 결과

• 등각 선들이 $\mathbb{R}^d$에서 절대 경계 $d(d+1)/2$와 비일관성 경계 $d$를 동시에 도달하는 것은 $d = 2, 3, 7,$ 또는 $23$일 때에만 존재하며, 이 외의 차원에서는 두 조건을 동시에 만족하는 경우가 없다.
• 기존의 $d=2,3,7,23$ 사례 외에 상대 경계와 비일관성 경계를 동시에 도달하는 등각 선 집합으로서 알려진 유일한 사례는 $\mathbb{R}^6$에서의 최대 16선 집합이며, 이는 고유한 매개변수 가족에 해당한다.
• 구면 $\mathbb{S}^{d-1}$에서 조밀한 구면 5-설계 중에서 $d$개의 점이 모두 양의 상호 내적을 가지는 것은 $d=2,3,7,23$일 때에만 존재하며, 이는 해당 등각 선 집합과 등장하는 것이다.
• 정수 $i$로 매개변수화된 준대칭 설계 가족의 경우, Calderbank와 Blokhuis의 필요 조건은 충족되나, [14]의 합동 차단 조건에 의해 $i \equiv 4 \mod 8$ (가족 1) 및 $i \equiv 2 \mod 4$ (가족 2)인 경우 존재는 배제된다.
• $E_8$ 격자는 $\mathbb{R}^{23}$에서 276개의 등각 선으로 정의된 Leech 격자의 부분격자의 사영으로 식별되며, 이는 예외적인 격자와 등각 선 체계 사이의 깊은 연결 고리를 드러낸다.
• 상대 경계와 비일관성 경계를 만족하는 매개변수 집합은 무한히 많지만, 실제로 선 구성요소를 만드는 것은 오직 유한한 경우들(특히 $d=2,3,7,23$와 $\mathbb{R}^6$ 사례)뿐이며, 이는 무한한 가정 가정 속에서 놀라운 유한성의 특성을 보여준다.