[논문 리뷰] Universal optimality of the $E_8$ and Leech lattices and interpolation formulas

Henry Cohn, Abhinav Kumar외 3명|arXiv (Cornell University)|2019. 02. 13.

Point processes and geometric inequalities인용 수 9

한 줄 요약

이 논문은 반경 방향 스미스 함수에 대한 새로운 보간 공식을 확립하여, 각각 8차원과 24차원에서 $E_8$ 및 리치 격자($\mathrm{Leech}$)의 보편 최적성(universal optimality)을 증명한다. 날카운 선형 프ogram밍 경계와 쌍곡형 모듈러 형식의 적분 변환을 통한 보조 함수 구축을 통해, 역거듭제곱 및 가우시안을 포함한 모든 완전 단조 감소 잠재 에너지 함수에 대해 이러한 격게가 에너지를 최소화함을 보여주며, 이는 이전까지 알려지지 않았던 고차원에서의 강력하고 다기능적인 최적성임을 입증한다.

ABSTRACT

We prove that the $E_8$ root lattice and the Leech lattice are universally optimal among point configurations in Euclidean spaces of dimensions $8$ and $24$, respectively. In other words, they minimize energy for every potential function that is a completely monotonic function of squared distance (for example, inverse power laws or Gaussians), which is a strong form of robustness not previously known for any configuration in more than one dimension. This theorem implies their recently shown optimality as sphere packings, and broadly generalizes it to allow for long-range interactions. The proof uses sharp linear programming bounds for energy. To construct the optimal auxiliary functions used to attain these bounds, we prove a new interpolation theorem, which is of independent interest. It reconstructs a radial Schwartz function $f$ from the values and radial derivatives of $f$ and its Fourier transform $\widehat{f}$ at the radii $\sqrt{2n}$ for integers $n\ge1$ in $\mathbb{R}^8$ and $n \ge 2$ in $\mathbb{R}^{24}$. To prove this theorem, we construct an interpolation basis using integral transforms of quasimodular forms, generalizing Viazovska's work on sphere packing and placing it in the context of a more conceptual theory.

연구 동기 및 목표

• 반경 방향 점 배열에서 $\mathbb{R}^8$ 및 $\mathbb{R}^{24}$에서 $E_8$ 및 리치 격자가 모든 완전 단조 감소 잠재 에너지 함수에 대해 에너지를 최소화하는 보편 최적성(\textit{universal optimality})을 갖는다는 것을 입증하는 것.
• 반경 방향 스미스 함수에 대한 새로운 보간 정리를 개발하여, $\mathbb{R}^8$ 및 $\mathbb{R}^{24}$에서 특정 반경 $\sqrt{2n}$에서 함수 $f$ 및 그 푸리에 변환 $\widehat{f}$의 값과 반경 미분값으로부터 함수를 재구성하는 것.
• 쌍곡형 모듈러 형식의 적분 변환을 이용해 선형 프로그래밍 경계에 필요한 최적의 보조 함수를 구축하여, 비아조브스카의 구체 포장 방법을 일반화하는 것.
• 모든 장거리 상호작용이 완전 단조 감소 잠재 에너지 함수에 의해 지배될 때 $E_8$ 및 리치 격게가 구체 포장 이외의 경우에도 최적임을 보여주는 것.
• 모듈러 형식, 함수 방정식, 고차원 구체 포장 및 부호 이론에서의 에너지 최소화 간의 개념적 연결 고리를 제공하는 프레임워크를 마련하는 것.

제안 방법

• 반경 방향 스미스 함수 $f$를 $\mathbb{R}^8$에서 $n \geq 1$ 및 $\mathbb{R}^{24}$에서 $n \geq 2$에 대해 반경 $\sqrt{2n}$에서 $f$ 및 그 푸리에 변환 $\widehat{f}$의 값과 반경 미분값으로 재구성하는 새로운 보간 공식을 개발한다.
• 선형 프로그래밍 경계의 날카운 경계를 확보하기 위해 필요한 보조 함수를 쌍곡형 모듈러 형식의 적분 변환을 통해 구축한다.
• 군 대수 $\mathbb{C}[\mathrm{PSL}_2(\mathbb{Z})]$ 내의 함수 방정식을 적용하여 보간 및 쌍대성 추론에 필요한 커널 구조를 도출한다.
• 모듈러 형식 이론을 통해 구축된 커널의 양성(positivity)을 증명하여 선형 프로그래밍 경계가 날카롭고 최적성이 보편적임을 보장한다.
• 모든 완전 단조 감소 잠재 에너지 함수에 대해 $E_8$ 및 리치 격게가 에너지를 최소화함을 보여주는 보편 최적성 개념을 적용한다.
• 무한한 점 배열에 대해 정규화된 에너지 정의와 하한 극한을 사용하여 $p$-에너지 개념을 정의함으로써, 고정된 밀도에서 서로 다른 점 배열 간의 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 모든 완전 단조 감소 잠재 에너지 함수에 대해 $E_8$ 및 리치 격게가 역거듭제곱 또는 가우시안 이외의 경우에도 에너지를 최소화함을 입증할 수 있는가?
• RQ2 반경 방향 스미스 함수를 $\mathbb{R}^8$ 및 $\mathbb{R}^{24}$에서 특정 반경에서의 값과 도함수로부터 재구성할 수 있는 보편 보간 공식이 존재하는가?
• RQ3 모듈러 형식을 활용하여 구체 포장 이외의 영역으로도 선형 프로그래밍 경계의 최적 보조 함수를 일반화할 수 있는가?
• RQ4 $E_8$ 및 리치 격게가 다양한 에너지 함수에 대해 어떻게 이례적인 강건성을 보이며, 이러한 성질을 뒷받기는 구조적 특성은 무엇인가?
• RQ5 쌍곡형 모듈러 형식과 그 적분 변환은 고차원에서 에너지 최소화의 날카운 경계를 구축하는 데 어떤 역할을 하는가?

주요 결과

• 모든 완전 단조 감소 잠재 에너지 함수, 즉 역거듭제곱 법칙과 가우시안을 포함하여, $E_8$ 및 리치 격게는 $\mathbb{R}^8$ 및 $\mathbb{R}^{24}$에서 보편 최적임이 입증된다.
• 새로운 보간 정리에 따라 반경 방향 스미스 함수는 $\mathbb{R}^8$에서 $n \geq 1$ 및 $\mathbb{R}^{24}$에서 $n \geq 2$에 대해 반경 $\sqrt{2n}$에서 $f$ 및 $\widehat{f}$의 값과 반경 도함수로부터 재구성된다.
• 선형 프로그래밍 경계에 필요한 최적의 보조 함수는 쌍곡형 모듈러 형식의 적분 변환을 통해 구축되며, 이는 비아조브스카의 구체 포장 방법을 일반화한다.
• 구축된 커널의 양성은 모듈러 형식 이론을 통해 증명되어 경계가 날카롭고 최적성이 보편적임을 보장한다.
• 이전의 구체 포장 최적성 정리들을 일반화하고 강화하여, $E_8$ 및 리치 격게가 포장 이외의 모든 장거리 상호작용에 대해서도 최적임을 입증한다.
• 수치적 증거와 추측에 따르면, 이러한 보편 최적성은 $\mathbb{R}^2$로는 확장되지 않으며, 거리 집합의 흐물러짐으로 인해 보간 성질이 실패하기 때문이다. 다만 2차원 경우는 여전히 열려있는 문제이다.