[논문 리뷰] New Provisional Lower Bounds on the Optimal Density of Sphere Packings

Salvatore Torquato, Frank H. Stillinger|arXiv (Cornell University)|2005. 08. 19.

Optimization and Packing Problems참고 문헌 17인용 수 2

한 줄 요약

이 논문은 고차원 유클리드 공간 ℝ^d에서 구 포장의 최적 밀도에 대한 새로운 일시적 하한을 제안한다. 이는 최적화 절차와 비정질 구 포장에 대한 추측을 활용하여 도출되었으며, 100년 전의 믹스키의 하한보다 지수적 개선을 이루었고, 渐近 밀도는 2^{-0.7786...d}로 스케일링된다. 이와 동시에 평균 씹는 수의 하한도 2^{0.2213...d}로 스케일링된다.

ABSTRACT

Sphere packings in high dimensions interest mathematicians and physicists and have direct applications in communications theory. Remarkably, no one has been able to provide exponential improvement on a 100-year-old lower bound on the maximal packing density due to Minkowski in d-dimensional Euclidean space ℜd. The asymptotic behavior of this bound is controlled by 2−d in high dimensions. Using an optimization procedure that we introduced earlier [TS02] and a conjecture concerning the existence of disordered sphere packings in ℜd, we obtain a provisional lower bound on the density whose asymptotic behavior is controlled by 2−0.7786...d, thus providing the putative exponential improvement of Minkowski’s bound. The conjecture states that a hard-core nonnegative tempered distribution is a pair correlation function of a translationally invariant disordered sphere packing in ℜd for asymptotically large d if and only if the Fourier transform of the autocovariance function is nonnegative. The conjecture is supported by two explicit analytically characterized disordered packings, numerical simulations in low dimensions, and known necessary conditions that only have relevance in very low dimensions. A byproduct of our approach is an asymptotic lower bound on the average kissing number whose behavior is controlled by 20.2213...d, which is to be compared to the best known asymptotic lower bound on the individual kissing number of 20.2075...d. Interestingly, our optimization procedure is precisely the dual of a primal linear program devised by Cohn and Elkies [CE03] to obtain upper bounds on the density, and hence has implications for linear programming bounds. 1 1

연구 동기 및 목표

• 고차원에서 구 포장 밀도에 대한 100년 전의 믹스키 하한을 향상시키는 오랜 동안 열려 있는 문제를 다루는 것.
• 최적화와 통계역학에 영향을 받은 추측을 사용하여 구 포장 밀도에 대한 하한을 유도하는 새로운 방법을 개발하는 것.
• 코언-엘크스 선형계획법 하한의 이중성과 비정질 구 포장 구성 간의 연결 고리를 설정하는 것.
• 고차원에서의 평균 씹는 수에 대한 새로운 渐近 하한을 도출하는 것.

제안 방법

• 이전에 [TS02]에서 소개된 최적화 절차를 사용하여 구 포장 밀도에 대한 하한을 도출한다.
• 강한 핵심 비음성 온화한 분포가 ℝ^d에서 이동 불변 비정질 구 포장의 쌍상관 함수일 조건으로, 그 자동공분산의 푸리에 변환값이 음이 아닌 경우에만 성립한다는 추측을 제시한다.
• 코언과 엘크스 [CE03]가 제안한 선형계획법의 원래 문제에 대한 상한을 제공하는 최적화 프레임워크와의 이중성 관계를 적용한다.
• 낮은 차원에서의 해석적 구성과 수치 시뮬레이션을 활용하여 추측의 타당성을 뒷받침한다.
• 추측과 최적화 프레임워크로부터 밀도와 평균 씹는 수에 대한 渐近 하한을 도출한다.
• 매우 낮은 차원에서만 관련이 있는 쌍상관 함수에 대한 알려진 필수 조건을 활용하여 추측을 추가로 검증한다.

실험 결과

연구 질문

• RQ1 비정질 포장에 대한 새로운 추측과 최적화 기반의 새로운 접근법을 통해 고차원에서 믹스키의 하한에 대한 지수적 개선을 달성할 수 있는가?
• RQ2 특정 쌍상관 함수로 특징지어지는 고차원 비정질 구 포장의 존재가 밀도 하한 향상에 기여하는가?
• RQ3 제안된 최적화 방법과 코언-엘크스 선형계획법 하한 간의 이중성은 구 포장 밀도에 대한 더 탴정한 하한을 찾는 데 어떻게 기여하는가?
• RQ4 제안된 추측 하에 고차원 비정질 구 포장에서의 평균 씹는 수의 渐近 행동은 어떠한가?
• RQ5 낮은 차원에서의 해석적 구성과 수치 시뮬레이션은 비정질 구 포장의 쌍상관 함수에 대한 추측의 타당성을 어느 정도 뒷받침하는가?

주요 결과

• 제안된 방법은 渐近 스케일링이 2^{-0.7786...d}인 구 포장 밀도에 대한 일시적 하한을 도출하며, 이는 믹스키의 하한(2^{-d}로 스케일링됨)보다 근본적인 지수적 개선을 나타낸다.
• 이 방법은 평균 씹는 수에 대한 渐近 하한도 2^{0.2213...d}로 스케일링하며, 개별 씹는 수에 대한 기존 최고의 渐近 하한 2^{0.2075...d}를 초월한다.
• 최적화 프레임워크는 코언과 엘크스 [CE03]가 제안한 선형계획법의 원래 문제에 대한 이중 문제와 수학적으로 동일하다.
• 자기공분산 함수의 음이 아닌 푸리에 변환과 비정질 구 포장의 유효한 쌍상관 함수 간의 추측은 두 개의 해석적 구성 사례와 낮은 차원에서의 수치 시뮬레이션에 의해 지지된다.
• 이 추측은 쌍상관 함수에 대한 알려진 필수 조건과 일치하지만, 이러한 조건들은 매우 낮은 차원에서만 관련이 있다.
• 결과는 고차원 구 포장 이론에서 비정질 구 포장 구조와 선형계획법 하한 간의 깊은 연결 고리를 시사한다.