축축한 박스도 놓치지 않는 정밀 격자: 정렬‑Danzer 집합의 새로운 구성

초록

저자들은 부피 1인 축에 평행한 직육면체를 모두 만나도록 하는 이산 집합, 즉 정렬‑Danzer 집합을 차원 d≥2에서 O(T^d) 성장률을 갖는 구체적인 두 가지 방법으로 구축한다. 2차원에서는 이진 수열을 이용한 명시적 구성을, 고차원에서는 대각군의 전이궤도가 컴팩트한 ‘허용 가능한’ 격자를 이용한다. 또한 이 결과를 ε‑넷의 최적 크기와 연결한다.

상세 분석

이 논문은 전통적인 Danzer 문제(볼륨 s인 모든 볼록 집합을 만나야 하는 이산 집합 존재 여부)를 완화하여, “정렬‑Danzer”라는 개념을 도입한다. 여기서는 축에 평행한 직육면체(‘aligned box’)만을 고려한다는 점이 핵심이다. 저자들은 두 가지 서로 다른 차원별 전략을 제시한다.

첫 번째는 d=2인 경우이다. {0,1}^ℤ_F 라는 ‘유한 1만을 포함하는 양방향 이진 수열’ 집합을 이용해 점 (∑ a_n 2^n, ∑ a_n 2^{−n}) 를 만든다. 이는 van der Corput 수열의 이진 버전이며, 각 좌표는 서로 독립적인 이진 확장으로 표현된다. 저자는 이 집합이 부피 64(스케일링 전 16) 이상의 축정렬 박스를 반드시 포함함을, 박스의 가로·세로 길이를 2^k ≤ t < 2^{k+1} 형태로 잡고 적절히 a_n을 선택해 좌표가 박스 안에 들어가게 함으로써 증명한다. 또한, 이 집합의 점 개수는 원점에서 거리 ≤T인 원판 안에 O(T^2)개만 존재함을 보이며, 성장률이 최적임을 확인한다.

두 번째는 일반 차원 d≥2에 대한 구성이다. 여기서는 ‘허용 가능한(admissible) 격자’를 활용한다. 격자 Λ⊂ℝ^d가 대각군 A={diag(e^{t_1},…,e^{t_d}) | Σ t_i=0}의 궤도에 대해 Ω(격자공간)에서 전이궤도가 전역적으로 컴팩트하면 Λ는 허용 가능하다고 정의한다. Skriganov의 결과에 따르면, 전수체(real) 수체 K의 정수환 O_K를 모든 실 임베딩 φ_i를 통해 ℝ^d에 매핑한 Λ=Φ(O_K)는 이러한 허용 가능성을 가진다. Mahler의 콤팩트니스 기준을 이용해, Λ의 모든 비영점 x에 대해 어느 좌표 i에 대해 |e^{t_i}x_i|≥1이 되므로, 대각 변환 후 격자의 코지름이 일정 상수 이하임을 보인다.

이제 임의의 정렬 박스 R가 Λ와 전혀 겹치지 않는다고 가정하면, 적절한 t∈V(Σ t_i=0) 를 선택해 g_t R를 정육면체로 만들 수 있다. 하지만 g_t Λ는 코지름이 제한된 집합이므로, 충분히 큰 정육면체는 격자와 겹치게 된다. 따라서 원래의 R도 Λ와 교차한다. 이 논증은 부피 s가 충분히 큰 정렬 박스에 대해 성립하며, s가 고정된 상수이면 모든 정렬 박스가 격자와 교차한다는 것을 의미한다.

두 구성 모두 성장률 O(T^d)를 달성한다는 점에서 최적이며, 기존에 알려진 확률적 혹은 복합적인 방법과는 달리 비교적 직관적인 구조를 제공한다. 특히, 첫 번째 구성은 명시적이며 구현이 쉬운 반면, 차원 확장은 수체 이론에 의존한다는 점이 특징이다.

마지막으로, 정렬‑Danzer 집합을