작은 높이 점들의 가일스 궤도, 약한 정규성 테스트 함수에 대한 효과적 균등분포

초록

본 논문은 Bilu의 균등분포 정리를 다변량 대수 토러스에서 효과적으로 정량화한다. 테스트 함수의 정규성을 Fourier 변환 측면 혹은 각도‑반경 분리 측면에서 약하게 가정하고, 일반화된 차수 D(ξ)와 수정 높이 h_D(ξ)를 이용해 수렴 속도를 h_D(ξ)^γ 형태로 제시한다. 주요 결과는 정규성 조건에 따라 γ≤½인 경우 최적의 지수와 상수를 얻으며, 기존 결과보다 정규성 요구가 완화되고 차원에 독립적인 추정식을 제공한다.

상세 분석

논문은 Bilu 정리의 “연속·유계” 가정을 넘어서, 테스트 함수 F가 어느 정도의 Fourier 적분가능성 혹은 Hölder 연속성을 만족하면 수렴 속도를 정량화할 수 있음을 보인다. 먼저 ξ∈(ℚ^×)^N의 Galois 궤도를 S라 두고, E(F,ξ)=∫F dμ_S−∫F dμ_{(S^1)^N} 로 정의한다. 일반화 차수 D(ξ)=min_{n≠0}‖n‖_1·deg χ_n(ξ) 를 도입해, h_D(ξ)=h(ξ)+log(2D(ξ))/D(ξ) 라는 수정 높이를 사용한다.

주요 정리 2에서는 클래스 A={F 연속, L^2, Fourier 변환 bF∈L^1} 를 잡고, 비감소 함수 G, H가 √x 이하로 감소하도록 하면
E(F,ξ) ≤ 2C₁(F,G)·G(8πh(ξ))^{-1}+C₂(F,H)·H(24h_D(ξ))^{-1}
가 성립한다. 여기서 C₁은 bF에 대한 가중 적분, C₂는 angular Fourier 계수 cF₀에 대한 가중 합이다. G(x)=H(x)=x^γ (0<γ≤½) 를 선택하면 Corollary 3이 도출되어
E(F,ξ) ≤ C(F)·h_D(ξ)^γ
이며, γ=½가 가능한 최댓값임을 (5절)에서 예시와 로그 보정으로 증명한다. 이는 Petsche(2005)의 1차원 결과(지수 1/3)보다 강력하고, 정규성 가정도 bF∈L^1보다 약한 L^1 가중 적분을 요구한다.

정규성을 Fourier 공간이 아닌 물리 공간에 두는 접근법도 제시한다. Theorem 5는 F가 log‑radial 부분에서 ω-연속성을 갖고, angular 부분의 Fourier 계수가 H‑가중 L^1에 속하면
E(F,ξ) ≤ ω(2h(ξ)) + C₂(F,H)·H(24h_D(ξ))^{-1}
를 얻는다. ω(x)=L_γ(F)·x^γ 로 두면 Corollary 6이 나오며, 동일한 지수 γ≤½와 상수를 제공한다. 여기서 angular 정규성은 cF₀의 L^1 가중 합으로 측정된다.

Theorem 4와 7은 bF∈L^1만으로도 수렴 속도를 제어할 수 있음을 보여준다. tail 함수 ν_{bF}(y)=∫_{‖n‖1+‖t‖1>y}|bF(n,t)| dt를 이용해, 임의의 느린 증가 함수 W(x) (W(x)/x→0) 에 대해
E(F,ξ) ≤ 2(√{8π}+√6)·h_D(ξ)·W(h_D(ξ))^{-1}·‖bF‖{L^1}+3·ν{bF}(W(h_D(ξ))^{-1})
를 얻는다. 이는 정규성 없이도 수렴을 보장하지만, 수렴 속도는 W에 의존한다.

결과들을 기존 문헌과 비교하면, D’Andrea‑Narváez‑Clauss‑Sombra(2017)의 Lipschitz 가정 대비 Hölder(½) 가정만으로 동일한 h_D(ξ)^{1/2} 속도를 얻으며, 차원 N에 대한 의존성이 사라진다. 또한, Fourier‑analytic 프레임워크를 도입해 다변량 상황에서도 동일한 구조의 추정식을 얻는 점이 새롭다. 부록에서는 다각도 불일치(angular discrepancy)와 Bilu 정리의 완전 증명을 제공해, 본 방법이 실제 응용에도 충분히 활용 가능함을 보여준다.