베크 헨크 윌스 추측의 국소 안정성 및 Lₚ 구 형태 확장

초록

본 논문은 정수 격자에 정렬된 직육면체(정수 박스)에 대해 베크‑헨크‑윌스 추측이 작은 회전 변형에도 유지된다는 국소 안정성을 입증한다. 연산자 노름을 이용해 허용 가능한 회전 반경을 명시적으로 제시하고, Lₚ 구 형태에 대해 충분히 큰 p에 대해 정수 껍질이 동일해지는 임계값 p₀을 도출한다.

상세 분석

베크‑헨크‑윌스(BHW) 추측은 볼록체 K와 격자 Λ에 대해 격자점 개수 G(K,Λ)를 K의 연속 최소값 λ_i(K,Λ)와 연결시키는 불등식 G(K,Λ) ≤ ∏_{i=1}^d (2λ_i(K,Λ)+1) 를 제안한다. 기존에는 d≥5에서 일반적인 볼록체에 대해 미해결이며, 직교 평행육면체(축에 정렬된 박스)에서만 완전히 증명된 바 있다. 본 연구는 이러한 “특수 경우”가 우연이 아니라, 작은 기하학적 변형에 대해 강인함을 보이는 ‘국소 안정성(local stability)’을 탐구한다.

핵심 기술은 두 가지이다. 첫째, 연속 최소값이 선형 변환 T에 대해 Lipschitz 연속성을 가진다는 Lemma 2를 이용한다. 구체적으로 ‖T−I‖_op이 작을 때 λ_i(TK)는 (1±‖T−I‖_op)·λ_i(K) 로 제한된다. 이는 변환에 따른 최소값 변동을 정량적으로 제어할 수 있게 해준다.

둘째, 격자점 개수 G(K,ℤ^d)는 이산적 특성 때문에 연속적인 변동이 아니라 정수 단위의 ‘점프’만을 허용한다. 정수 박스 K₀가 정수 좌표의 꼭짓점을 모두 포함하고 있을 때, 작은 회전 R≠I는 대부분의 꼭짓점을 격자 밖으로 밀어내어 G(K_R,ℤ^d) 를 최소 2d−1 만큼 감소시킨다. 반면, RHS인 ∏(2λ_i+1) 은 Lemma 2에 의해 O(‖R−I‖_op) 정도만 감소한다. 따라서 충분히 작은 ‖R−I‖_op 에 대해 LHS의 이산적 감소가 RHS의 연속적 감소를 앞서게 되어 불등식이 ‘엄격히’ 만족된다.

정량적 경계는 Theorem 6에서 구체화된다. 경계와 가장 가까운 외부 격자점 사이 거리 Δ를 정의하고, 최대 반경 α₁를 이용해 ‖R−I‖_op < Δ /