[논문 리뷰] New bounds for equiangular lines and spherical two-distance sets

Wei-Hsuan Yu|arXiv (Cornell University)|2016. 09. 05.

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

한 줄 요약

이 논문은 기호적 정수형 프로그래밍의 이완을 사용하여 ℝⁿ 내 등각 직선의 새로운 상한을 확립한다. 임의의 정수 a ≥ 3 및 차원 n ∈ [a²−2, 3a²−16]에 대해 각도 arccos(1/a)를 가진 등각 직선의 최대 개수는 ½(a²−2)(a²−1) 이하임을 증명한다. 이러한 상한은 무한한 수의 차원에 적용되며, 구면 두거리 집합으로까지 확장되어 n ≤ 417까지 기존 결과를 향상시킨다.

ABSTRACT

A set of lines in $\mathbb{R}^n$ is called equiangular if the angle between each pair of lines is the same. We derive new upper bounds on the cardinality of equiangular lines. Let us denote the maximum cardinality of equiangular lines in $\mathbb{R}^n$ with the common angle $\arccos α$ by $M_α(n)$. We prove that $M_{\frac 1 a} (n) \leq \frac 1 2 ( a^2-2) ( a^2-1)$ for any $n \in \mathbb{N}$ in the interval $a^2 -2 \leq n \leq 3 a^2-16$ and $a \geq 3$. Moreover, we discuss the relation between equiangular lines and spherical two-distance sets and we obtain the new results on the maximum spherical two-distance sets in $\mathbb{R}^n$ up to $n \leq 417$.

연구 동기 및 목표

• 유한한 경우에 국한되지 않고 무한한 수의 차원에 대해 ℝⁿ 내 등각 직선의 최대 개수에 대한 새로운 상한을 유도하는 것.
• 등각 직선과 구면 두거리 집합 간의 연결 고리를 설정하여, 후자의 상한을 n=417까지 확장하는 것.
• 볼록 최적화 소프트웨어에 의존하지 않고 수동 계산이 가능한 상한을 제공하기 위해 정수형 프로그래밍의 기호적 이완을 사용하는 것.
• n=14, 16, 19, 20, 42 등의 차원에서 특정 직선 집합의 존재하지 않음을 증명함으로써 등각 직선 구성에서 열려 있는 사례를 해결하는 것.
• 큰 n에 대해 ℝⁿ 내 등각 직선의 최대 크기가 가장 가까운 홀수 정수의 역수 각도에 의해 결정됨을 지지하는 추측을 뒷받침하는 것.

제안 방법

• CVX와 같은 수치적 해법기기에 의존하지 않기 위해 기호적 정수형 프로그래밍 이완을 유도하는 것.
• 등각 직선 구성과 관련된 행렬 부등식에 이완을 적용하여, 여러 차원에 걸쳐 유효한 상한을 도출하는 것.
• a ≥ 3 및 n ∈ [a²−2, 3a²−16]에 대해 정수형 프로그래밍 제약 조건의 대수적 변환을 통해 유도된 상한 M₁/ₐ(n) ≤ ½(a²−2)(a²−1)을 사용하는 것.
• 등각 직선과 구면 두거리 집합 간의 이중성 관계를 활용하여 한 문제의 상한을 다른 문제로 이전하는 것.
• 상대적 상한 공식 fₐ(n) = n(1−a²)/(1−na²)을 사용하고, n과 a에 대해 단조성을 증명하여 구간 우월성의 타당성을 제시하는 것.
• 이전 연구들(예: [7], [14])에서 알려진 상한과 수치적 검증 결과를 바탕으로 결과를 검증하는 것. (n ≤ 400까지)

실험 결과

연구 질문

• RQ1 무한한 수의 차원에 대해 ℝⁿ 내 등각 직선의 최대 개수에 대한 가장 날카로운 상한은 무엇인가?
• RQ2 기호적 정수형 프로그래밍 이완이 수치적 해법기기 없이 수동 계산이 가능한 상한을 도출할 수 있는가?
• RQ3 등각 직선의 상한은 ℝⁿ 내 구면 두거리 집합의 최대 크기와 어떻게 관련이 있는가?
• RQ4 n에서 Gerzon 상한 M(n) = n(n+1)/2 가 달성되지 않는 차원은 무엇이며, 이에 가까운 구성이 존재하지 않음을 증명할 수 있는가?
• RQ5 홀수 정수의 역수에 기반한 통합 상한 패tern이 큰 n의 구간 전반에 걸쳐 유효한가?

주요 결과

• 임의의 정수 a ≥ 3 및 n ∈ [a²−2, 3a²−16]에 대해 각도 arccos(1/a)를 가진 등각 직선의 최대 개수는 ½(a²−2)(a²−1) 이하이며, 이는 새로운 무한한 상한 패밀리를 제공한다.
• a=3일 때의 상한(각도 arccos(1/3))는 7 ≤ n ≤ 11에 대해 M₁/₃(n) ≤ 28을 도출하여 기존 지식을 향상시킨다.
• a=5일 때의 상한은 23 ≤ n ≤ 59에 대해 M₁/₅(n) ≤ 276를 제공하여 이전 한계를 초월하는 결과를 도출한다.
• 논문은 ℝⁿ 내 구면 두거리 집합의 최대 크기가 7 ≤ n ≤ 417 동안 n(n+1)/2임을 증명한다. 유일한 예외는 k=2에서 9까지의 (2k+1)²−3 형태의 n이며, 이 경우 더 날카로운 상한이 적용된다.
• 결과는 ℝ¹⁴에 30개의 등각 직선이 존재하지 않으며, ℝ¹⁶에 42개, ℝ¹⁹에 76개, ℝ²⁰에 96개가 존재하지 않음을 확인하여 열려 있던 사례를 해결한다.
• n = (2k+1)²−2 인 ℝⁿ에 타당한 구면 5-설계가 존재한다면, M(n) = ½((2k+1)²−2)((2k+1)²−1)는 [n, 3(2k+1)²−16] 내 모든 n에 대해 성립하며, 이는 동시에 200개 이상의 경우를 해결한다.