[논문 리뷰] On Borsuk's conjecture for two-distance sets

Andriy Bondarenko|arXiv (Cornell University)|2013. 05. 12.

Digital Image Processing Techniques참고 문헌 4인용 수 4

한 줄 요약

이 논문은 G₂(4)와 Fi₂₃ 강한 정규 그래프를 이용하여, ℝ⁶⁵의 64차원 단위 구면 위에 총 416개의 점으로 이루어진 두거리 집합을 구성함으로써, 두거리 집합에 대한 Borsuk의 추측을 반증한다. 이 집합의 쌍별 각도는 내적 1/5 또는 -1/15에 해당하며, 이는 83개 이하의 더 작은 지름을 가진 부분집합으로 분할될 수 없다. 이 결과는 65차원에서 두거리 집합의 Borsuk 수가 최소 84임을 입증하며, G₂(4)와 Fi₂₃의 강한 정규 그래프를 기반으로 한 재귀적 구성법을 통해 이는 무한한 수의 차원으로 확장된다.

ABSTRACT

In this paper we answer Larman's question on Borsuk's conjecture for two-distance sets. We find a two-distance set consisting of 416 points on the unit sphere in the dimension 65 which cannot be partitioned into 83 parts of smaller diameter. This also reduces the smallest dimension in which Borsuk's conjecture is known to be false. Other examples of two-distance sets with large Borsuk's numbers will be given.

연구 동기 및 목표

• 두거리 집합에 대한 Borsuk의 추측이 성립하는지 여부를 규명하기 위해 Larman의 질문을 해결하는 것.
• 고차원 구면 위에 큰 Borsuk 수를 가진 명시적인 두거리 집합을 구성하는 것.
• 두거리 집합에 대한 Borsuk의 추측이 실패하는 최소 차원을 줄이는 것.
• 강한 정규 그래프를 기반으로 한 재귀적 구성법을 통해 결과를 무한한 수의 차원으로 확장하는 것.

제안 방법

• 강한 정규 그래프의 인접 행렬의 유클리드 표현을 통해 두거리 집합을 구성하는 것.
• 강한 정규 그래프의 인접 행렬 A의 스펙트럼 성질을 이용하여 두 가지 다른 내적을 가지는 ℝ^f 내의 벡터를 유도하는 것.
• 변환 z_i = y_i - (1/v)∑y_j를 적용하고 정규화하여 구면 S^{f-1} 위의 단위 벡터 x_i를 얻는 것.
• 구성의 지름이 그래프에서 인접하지 않은 정점 간의 최소 거리에 해당함을 활용하는 것.
• 최소한의 더 작은 지름을 가진 부분집합의 수를 추정하기 위해 그래프의 최대 클리크 크기를 추정하는 것.
• 기본 구성의 n개 복제본을 결합하고 나머지 모든 요소와 단위 거리에 있는 새로운 벡터를 추가함으로써 고차원에서의 재귀적 구성법을 적용하는 것.

실험 결과

연구 질문

• RQ1 두거리 집합에 대한 Borsuk의 추측이 저차원 유클리드 공간에서 반증될 수 있는가?
• RQ2 차원 n에서 두거리 집합의 최대 가능한 Borsuk 수 b₂(n)는 얼마인가?
• RQ3 강한 정규 그래프가 높은 Borsuk 수를 가진 두거리 집합을 체계적으로 구성하는 데 유용한가?
• RQ4 비분할성 성질을 유지하면서 구성법을 무한한 수의 차원으로 확장할 수 있는가?
• RQ5 b₂(n) > n+1가 성립하는 최소 차원 n은 얼마인가?

주요 결과

• S⁶⁴ ⊂ ℝ⁶⁵ 위에 416개의 점으로 이루어진 두거리 집합은 내적 1/5와 -1/15를 가지며, 이는 83개 이하의 더 작은 지름을 가진 부분집합으로 분할될 수 없으므로 b₂(65) ≥ 84임을 의미한다.
• 이 구성은 매개수 (416,100,36,20)를 가진 강한 정규 그래프 G₂(4)에서 유래되었으며, 그 스펙트럼 성질이 필요한 두거리 구조를 유도한다.
• S⁷⁸¹ ⊂ ℝ⁷⁸² 위에 31,671개의 점으로 이루어진 더 큰 두거리 집합은 내적 1/10과 -1/80을 가지며, 이는 1,376개 이하의 더 작은 지름을 가진 부분집합으로 분할될 수 없으므로 b₂(781) ≥ 1,377이다.
• Fi₂₃ 강한 정규 그래프 (31671,3510,693,351)를 이용한 구성은 b₂(781) ≥ 1377을 도출하며, 더 낮은 차원에 대해서는 더 견고한 추정치를 제공한다: b₂(780) ≥ 1102 및 b₂(779) ≥ 1002.
• 결과는 무한한 수의 차원으로 확장된다: 모든 n ≥ 1 및 k ≥ 0에 대해 b₂(66n + k) ≥ 84n + k + 1 이고, b₂(783n + k) ≥ 1377n + k + 1 이다.
• 이 구성은 그래프의 하위구성 요소에서 클리크 크기의 상한을 기반으로 하며, 특히 Fi₂₃ 그래프의 두 번째 하위구성 요소에서 최대 클리크 크기가 21 이하임을 보여, 전체 그래프의 최대 클리크 크기가 23 이하임을 제한한다.