[논문 리뷰] New Upper Bounds for Equiangular Lines by Pillar Decomposition

Emily J. King, Xiaoxian Tang|arXiv (Cornell University)|2016. 06. 10.

graph theory and CDMA systems인용 수 3

한 줄 요약

이 논문은 ℝʳ 내에서 등각 직선의 최대 개수에 대한 더 날카운 상계를 도출하기 위해 새로운 피라미드 분해 방법을 제안한다. 이는 기존의 Gerzon 상계와 세미정적계획형식(SDP) 상계를 모두 개선한다. 음성 클리크와의 내적을 분석하고 조합론적 및 선형대수 기법을 활용함으로써, 특히 arccos(1/5) 및 arccos(1/7) 각도에서 더 큰 차원에서 기존의 SDP 결과보다 훨씬 작은 비트리비얼 상계를 명시적으로 확립한다.

ABSTRACT

We derive a procedure for computing an upper bound on the number of equiangular lines in various Euclidean vector spaces by generalizing the classical pillar decomposition developed by (Lemmens and Seidel, 1973); namely, we use linear algebra and combinatorial arguments to bound the number of vectors within an equiangular set which have inner products of certain signs with a negative clique. After projection and rescaling, such sets are also certain spherical two-distance sets, and semidefinite programming techniques may be used to bound the size. Applying our method, we prove new relative bounds for the angle arccos(1/5). Experiments show that our relative bounds for all possible angles are considerably less than the known SDP bounds for a range of larger dimension r. Our computational results also show an explicit bound on the size of a set of equiangular lines regardless of angle, which is strictly less than the well-known Gerzon's bound if r+2 is not a square of an odd number.

연구 동기 및 목표

• ℝʳ 내에서 등각 직선의 최대 개수에 대한 더 날카운 상계를 도출하기 위해 일반화된 피라미드 분해 방법을 개발한다.
• 등각 직선 집합에 대해 고전적인 Gerzon 상계와 기존의 세미정적계획형식(SDP) 상계를 개선한다.
• r+2가 홀수의 제곱이 아닐 때, Gerzon 상계보다 엄밀히 작은 명시적이고 계산 가능한 sₐ(r) 상계를 제공한다.
• 새로운 상계가 더 큰 차원에서 특히 α = 1/5 및 α = 1/7일 때 항상 SDP 상계보다 날카롭게 작아짐을 보여준다.
• 등각 직선에서 유도된 구면 이거리 집합을 유 bounds하기 위해 선형대수, 조합론, 세미정적계획형식을 융합한 프레임워크를 구축한다.

제안 방법

• Lemmens와 Seidel의 고전적 피라미드 분해를 일반화하여, 음성 클리크에 대해 특정 내적 부호를 갖는 벡터를 분석한다.
• 투영과 스케일링을 통해 등각 직선 집합을 구면 이거리 집합과 연결함으로써, 세미정적계획형식 기법의 적용을 가능하게 한다.
• 내적 구조와 클리크 성질에 기반한 조합론적 추론을 통해 등각 집합의 크기를 제한한다.
• m가 (2m+1)² ≤ r+2를 만족하는 최대 정수일 때, m을 포함한 대수적 표현을 통해 명시적 상계를 유도한다.
• SDP 솔버(SDPT3, CVX 3.0를 통해)를 활용해 상계를 계산하고 비교하며, 결과는 가장 가까운 정수로 반올림한다.
• 44 ≤ r ≤ 400 범위의 실험을 통해 결과를 검증하고, 새로운 상계를 표준 SDP 상계 및 Gerzon 상계와 비교한다.

실험 결과

연구 질문

• RQ1 기존의 세미정적계획형식 방법보다 더 날카운 상계를 도출하기 위해 피라미드 분해를 일반화할 수 있는가?
• RQ2 r+2가 홀수의 제곱이 아닐 때, 어떤 차원 r 에서 새로운 상계가 Gerzon 상계보다 엄밀히 작아지며, 이러한 조건은 무엇인가?
• RQ3 큰 r(예: r ≥ 44)에서 α = 1/5 및 α = 1/7일 때 새로운 상계는 SDP 상계와 어떻게 비교되는가?
• RQ4 이 방법은 계산 가능하고 SDP보다 뛰어난 성능을 보이는 sₐ(r)에 대해 비트리비얼이고 명시적인 상계를 생성할 수 있는가?
• RQ5 SDP 솔버가 실패할 경우(예: r > 250), 새로운 방법의 성능은 어떠한가?

주요 결과

• r = 137일 때, 새로운 상계는 2015이며, SDP 상계는 9528로, 상당한 향상이 이루어졌다.
• r+2가 홀수의 제곱이 아닐 때, 44에서 400 사이의 모든 r에 대해 새로운 상계는 Gerzon 상계보다 엄밀히 작다.
• r = 44~46, 76~78, 117~118, 166, 222, 286, 358일 때, 상계는 4r(m+1)(m+2)/((2m+3)²−r)로 주어지며, 여기서 m는 (2m+1)² ≤ r+2를 만족하는 최대 정수이다.
• 44에서 400 사이의 다른 r에 대해서는 상계가 ((2m+1)²−2)((2m+1)²−1)/2로 주어지며, 동일한 방식으로 m를 정의한다.
• α = 1/5일 경우 r ≥ 94, α = 1/7일 경우 r ≥ 235일 때 새로운 상계는 항상 SDP 상계보다 작으며, 고차원에서 격차가 점점 커진다.
• α < 1/7일 경우, 테스트 범위(r ≤ 400) 내에서 SDP 상계는 여전히 Gerzon 상계 이하에 머물러 있어, 새로운 방법의 우월성이 더 큰 각도에서 두각한다.