Density of large holes among power-free lattice points

기술 요약: 거듭제곱 자유 격자점들 사이의 거대 구멍(Large Holes)의 밀도

문제 정의
본 논문은 $\mathbb{Z}^d$ 내의 $r$-자유(r-free) 격자점 집합 내에서 발생하는 "거대 구멍"의 통계적 분포를 조사한다. $r$-자유 격자점은 좌표의 최대공약수가 어떤 소수의 $r$제곱으로 나누어떨어지지 않는 벡터로 정의된다. 이들의 여집합인 $W_{d,r}$은 비($r$-free) 점들로 구성된다. 연구의 핵심 대상은 "깊은" 내부(deep interior)를 포함하는 $W_{d,r}$의 유한 연결 성분(finite connected components)의 밀도이다.

특정 반지름 $R$과 $\ell_q$-노름(norm)에 대하여, 점 $t \in \mathbb{Z}^d$는 $t$를 중심으로 하는 반지름 $R$인 폐(closed) $\ell_q$-구(ball)가 전체적으로 $W_{d,r}$ 내에 완전히 포함될 때 $R$-deep하다고 한다. 본 논문은 $R \to \infty$일 때, 이러한 $R$-deep 점들의 밀도($\eta_{d,r,q}(R)$)와, 이러한 점들을 포함하는 유한 성분의 대표자들의 밀도($\lambda_{d,r,q}(R)$ 및 $\kappa_{d,r,q}(R)$)의 점근적 거동을 분석한다. 연구 범위는 고정된 차원 $d$와 지수 $r$ ($dr \ge 2$)뿐만 아니라, 차원 $d$가 $R$에 따라 증가하는 체제까지 다룬다.

방법론
저자는 확률적 정수론, 해석적 정수론, 그리고 기하학적 조합론의 결합된 방법론을 사용한다. 핵심 방법론은 다음과 같다:

1. 무작위 피복 모델 (Random Covering Model): 결정론적인 비($r$-free) 점의 집합을, 각 소수 $p$에 대해 $p^r$에 대한 잉여류(residue class)가 균등하고 독립적으로 선택되는 무작위 모델과 비교한다. 이 무작위 모델에서 특정 유한 패턴이 나타날 확률은 포함-배제 원리(inclusion-exclusion)와 중국인의 나머지 정리(Chinese Remainder Theorem)를 통해 결정론적 집합 내 해당 패턴의 밀도와 일치한다.
2. 2단계 소수 분석 (Two-Stage Prime Analysis): "윈도우"(반지름 $R$인 $\ell_q$-구)를 덮는 과정을 "작은" 소수와 "큰" 소수의 두 범주로 나누어 분석한다:
   • 작은 소수 ($p^r \le 2R$): 작은 소수들에 의해 덮이지 않은 윈도우 내의 점의 수를 절단된 포함-배제 원리와 코셋(coset)의 용량(capacity)에 대한 상한을 사용하여 추정한다. 이를 통해 덮이지 않은 점의 수가 윈도우의 부피 $N$에 대해 $N/\zeta(dr)$로 점근적으로 수렴함을 입증한다.
   • 큰 소수 ($p^r > 2R$): 남은 미피복 점들은 서로 다른 큰 소수들에 의해 덮여야 한다. 이 사건의 확률은 점들을 소수에 인젝티브하게 할당하는 합인 $Z_{s,K}(L)$을 사용하여 추정된다. $Z_{s,K}(L)$의 점근적 전개는 베르누이 확률 변수, 안장점 방법(saddle-point methods), 그리고 소수 합에 대한 정밀한 추정을 포함한 기법들을 사용하여 유도된다.
3. 기하학적 가둠 (Geometric Confinement): 거대 구멍이 (무한 성분이 아닌) 유한 연결 성분에 해당하도록 보장하기 위해, 저자는 주변을 둘러싼 "$r$-free 껍질(shell)"을 구축한다. 이 껍질은 구멍으로부터 무한대로 향하는 경로를 차단하여 성분을 유한하게 만들며, 따라서 대표자를 갖도록 보장한다. 이 껍질 조건을 강제하는 데 드는 비용은 로그 밀도 척도에서 무시할 수 있는 수준임이 증명되었다.
4. 오차 제어 (Error Control): 노름 파라미터 $q$ ($1 \le q \le \infty$)에 대한 균일성을 보장하는 $\log R$ 및 $\log \log R$의 거듭제곱을 포함하는 엄격한 오차항을 제공한다.

주요 기여 및 결과

• 구멍 밀도에 대한 점근 공식: 주요 결과(정리 1.7)는 고정된 $d, r$에 대해, 밀도 $\xi \in \{\lambda, \kappa, \eta\}$의 음의 로그가 $R \to \infty$일 때 다음과 같은 점근 전개를 가짐을 확립한다:
  $$-\log \xi_{d,r,q}(R) = a_{d,r,q} R^d \left[ d(dr-1)\log R + dr \log \log R - \Upsilon_{d,r,q} + \frac{r \log \log R - \Lambda_{d,r,q}}{\log R} + O\left(\frac{(\log \log R)^2}{(\log R)^2}\right) \right]$$
  여기서 $a_{d,r,q}$는 부피 인자이며, $\Upsilon_{d,r,q}, \Lambda_{d,r,q}$는 $d, r, q$에 의존하는 명시적인 상수이다. 이는 기존의 상한 및 양의 밀도 구축 사례들을 정교화한다.

• 1차원 케이스 ($r$-자유 정수 사이의 간격): $d=1$인 경우로 특수화하여, 비($r$-free) 정수들의 연속된 구간(runs)의 밀도를 도출한다. 간격의 길이가 $g$일 때, $r$-자유 정수 다음에 정확히 $g-1$개의 비($r$-free) 정수가 오고(그 후 다시 $r$-자유 정수가 오는) 패턴의 밀도는 날카로운 점근 공식(정리 1.11)으로 주어진다. 이는 Grimmett의 주항(leading term)을 개선하고, 명시적인 저차 항과 오차 범위를 제공함으로써 Jiang의 최근 프리프린트(preprint)를 정교화한다.

• 고차원 체제 (High-Dimensional Regime): 차원 $d$가 $R$과 함께 증가하는 경우($d = O((\log R)^r)$)로 분석을 확장한다. 이를 통해 음의 로그의 주항이 $\Phi_{dr}(N/\zeta(dr))$ (여기서 $\Phi_s(K) \approx (s-1)K \log K$)임을 보여준다.

• 독립 모델과의 비교: 고차원에서, 격자점들이 확률 $1 - \zeta(dr)^{-1}$로 독립적으로 비($r$-free)인 모델과 실제 밀도를 비교한다. 실제 거대 구멍의 확률이 독립 모델이 예측하는 것보다 현저히 작다는 것을 발견했다. 구체적으로, 두 모델의 음의 로그 비율은 $\log N / \log 2$로 성장한다. 이는 $r$-자유 정수의 산술적 구조에 내재된 강력한 상관관계를 강조한다.

의의 및 주장
본 논문은 정밀한 저차 항과 오차 항을 포함하여, 거듭제곱 자유 격자점들 사이의 거대 구한 밀도에 대한 최초의 날카로운 점근 공식을 제공한다고 주장한다.

• Baake, Moody, Pleasants 및 Pleasants와 Huck의 양의 밀도 구멍 구축을 정교화하며, 구멍의 크기가 증가함에 따라 밀도가 감소하는 속도를 정량화한다.
• $r$-자유 정수의 간격 통계에 대한 이해를 개선하여, 기존의 확률적 표현(Grimmett)보다 더 상세한 전개를 제공하고, "적어도"와 "정확히" 간격 밀도의 구분에 관한 최근 프리프린트(Jiang)를 수정 및 개선한다.
• 체(sieve)의 산술적 제약(거듭제곱 자유 조건)이 "척력(repulsion)" 효과를 생성하여, 순수하게 무작위적인(독립적인) 설정보다 거대 구멍을 훨씬 더 희귀하게 만든다는 것을 입증하며, 이 현상은 고차원에서 더욱 두드러진다.

이 연구는 유도된 점근적 범위의 수학적 범위를 넘어 새로운 실험적 응용이나 미래의 방향을 제안하기보다는, 확립된 도구들(중국인의 나머지 정리, 포함-배제 원리, 소수 정리 추정치)을 특정 기하학적 체 문제에 적용한 엄격한 해석적 정수론 결과로 제시된다.