하이퍼볼릭 구체 포장 상한: 코언·자오 추측의 증명

초록

본 논문은 하이퍼볼릭 공간(및 일반적인 비콤팩트형 대칭공간)에서 구체 포장 밀도에 대한 새로운 상한을 제시한다. 저자는 Bowen‑Radin의 “nice packing” 개념을 활용하고, 유클리드 경우에 사용된 푸아송 합성공식 대신 수학적 준결정체 이론에서 유도된 약한 주기적 합성공식을 적용한다. 결과적으로 Cohn‑Zhao가 제시한 상한 추측을 일반 대칭공간까지 확장해 증명한다.

상세 분석

이 논문은 하이퍼볼릭 공간 ( \mathbb H^n )과 더 일반적인 비콤팩트형 대칭공간 ( S=G/K )에서 구체 포장의 최적 밀도 ( \Delta_S(r) )에 대한 상한을 제공한다는 점에서 의미가 크다. 기존의 유클리드 경우(Cohn‑Elkies)에서는 푸아송 합성공식과 라티스 구조를 이용해 선형계획법(LP) 상한을 얻었으며, 이는 주기적 포장에 한정되지 않고 일반 포장에도 적용될 수 있었다. 그러나 하이퍼볼릭 공간에서는 주기적 포장이 최적을 근사한다는 것이 아직 증명되지 않아, 푸아송 합성공식의 직접적인 전이도 불가능했다.

저자는 Bowen‑Radin이 제안한 “nice packing” 개념을 채택한다. 여기서는 구체 중심들의 집합을 (r)-uniformly discrete 한 집합으로 보고, 그 집합들의 Chabauty‑Fell 위상 위에서의 G‑불변 확률측도(즉, ergodic random packing, r‑IRP)를 도입한다. 이러한 확률적 모델을 통해 평균 밀도 (D(\Lambda_\mu)=i_\mu , \operatorname{vol}(B_r(o))) 를 정의하고, 여기서 (i_\mu)는 “intensity”라 불리는 비음수 상수이다.

핵심 기술은 두 종류의 상관측도, 즉 자동상관측도 (\eta_\mu^+)와 축소 자동상관측도 (\eta_\mu) 를 정의하고, 이들이 모두 양정(positive‑definite)임을 보이는 것이다. 양정성은 구형 변환(spherical transform)으로 옮겨졌을 때 양의 측도로 변환된다는 사실에 기반한다. 구형 변환은 비콤팩트형 대칭공간의 스펙트럼 이론에서 Harish‑Chandra의 (\mathbf{c})-함수와 연관된데, 여기서 “spherical transform of (f)”를 (\widehat f)라 하면 (\widehat f(1))은 원점에서의 값과 직접 연결된다.

저자는 임의의 급속 감소하는 방사형 함수 (f) (정확히는 Harish‑Chandra (L^1)-Schwartz 함수) 를 선택하고, 이를 (G) 위의 함수 (F) 로 끌어올린다. 양정성으로부터
\