Sarnak's Program for Erdős Sieves. Part I: Topological Dynamics and Light Tails

1. 문제 제기 (Problem Statement)

• 배경: Sarnak 의 프로그램은 제로 엔트로피를 가진 위상 동역학계 $(X, T)$와 무리 함수 (Möbius function) $\mu$ 사이의 상관관계가 0 임을 주장합니다 ($\sum \mu(n)f(T^n x) = o(N)$). 이는 소수 정리 등을 일반화하는 것으로, 제곱인수 없는 정수 (squarefree integers) 와 같은 특정 집합에 대한 동역학적 성질을 연구하는 데서 시작되었습니다.
• 한계: 기존 연구는 주로 $\mathbb{Z}$나 수체 (Number Field) 의 정수환 $O_K$에서, 특정 아이디얼 $b$에 대해 $0$인 합동류만 제거하는$B$-free 시스템 (예: $k$-free numbers) 에 집중되었습니다.
• 연구 목표: 이 논문은 **Erdős 체 (Erdős Sieves)**라고 불리는 더 일반적인 설정을 다룹니다. 여기서 $B$는 에탈 $\mathbb{Q}$-대수 (étale $\mathbb{Q}$-algebra, 유한 개 수체의 곱) $K$의 아이디얼들의 집합이며, 각 아이디얼 $b \in B$에 대해 $0$이 아닌 임의의 유한 합동류 집합$R_b$를 제거하는 체 (Sieve) $R$을 정의합니다.
• 핵심 질문: 이러한 일반화된 체 $R$에 대해 생성된 $R$-free 수들의 집합 $F_R$이 동역학계 $(\Omega_R, S)$ (여기서 $\Omega_R$은 $R$-적응 가능한 집합들의 공간) 에서 어떤 성질을 가지는지, 그리고 Sarnak 의 프로그램의 주요 명제들이 이 일반화된 설정에서 성립하는지 규명하는 것입니다.

2. 방법론 (Methodology)

• 수학적 구조:
  • 에탈 $\mathbb{Q}$-대수: $K = K_1 \times \dots \times K_m$ 형태의 대수적 구조를 사용하여 정수환 $O_K$와 그 아이디얼을 다룹니다.
  • 동역학계: $O_K$의 부분집합을 $\{0, 1\}^{O_K}$로 식별하고, 시프트 작용 $S_a(A) = A - a$를 정의합니다.
  • 미르스키 측도 (Mirsky Measure): $F_R$의 빈도 (frequency) 를 나타내는 확률 측도 $\nu_R$을 정의하기 위해, $O_K/b$의 곱공간인 odometer $G_R$과 그 위의 Haar 측도 $P$를 이용합니다. 사상 $\phi_R: G_R \to \Omega_R$을 통해 $\nu_R$을 유도합니다.
• 새로운 개념 도입:
  • 경량 꼬리 (Light Tails): 체의 성질을 분류하기 위해 **약한 경량 꼬리 (Weak Light Tails)**와 **강한 경량 꼬리 (Strong Light Tails)**를 정의합니다. 이는 체의 제거 조건들이 충분히 빠르게 감소하여 집합의 밀도가 잘 정의되도록 하는 조건입니다.
  • Erdős 체: $\sum_{b \in B} \frac{|R_b|}{N(b)} < \infty$를 만족하는 체를 Erdős 체라고 정의합니다.

3. 주요 기여 및 결과 (Key Contributions and Results)

이 논문은 Sarnak 의 프로그램 중 5 가지 핵심 명제 중 (3) 을 제외한 4 가지를 Erdős 체에 대해 일반화했습니다.

3.1. 일반화된 Sarnak 프로그램의 명제들

1. 생성점 (Generic Point) 과 밀도:

   • 주요 정리 (Theorem 3.21): Erdős 체 $R$에 대해, $F_R$이 동역학계 $(\Omega_R, S, \nu_R)$의 생성점 (generic point) 인 것과 $R$이 약한 경량 꼬리를 가지는 것은 동치입니다.
   • 또한, $F_R$이 Følner 수열 $I_N$에 대해 밀도 $d_I(F_R)$을 가지며, 그 값이 $\prod_{b \in B} (1 - \frac{|R_b|}{N(b)})$와 같음도 동치임을 증명했습니다.
   • 이는 $F_R$의 점들이 미르스키 측도 $\nu_R$에 따라 균일하게 분포함을 의미합니다.

2. 위상 엔트로피 (Topological Entropy):

   • Theorem 4.1: 시스템 $(\Omega_R, S)$의 위상 엔트로피는 $h_{top}(\Omega_R, S) = \log(2) \prod_{i} (1 - \frac{|R_i|}{N(b_i)})$로 주어집니다. 이는 $B$-free 시스템의 결과를 일반화한 것입니다.

3. 근접성 (Proximality) 과 최소 부분계:

   • Theorem 4.2: 시스템 $(\Omega_R, S)$는 **근접적 (proximal)**이며, 유일한 최소 부분계는 공집합 $\{\emptyset\}$입니다. 이는 $F_R$의 궤도 폐포가 공집합을 포함함을 의미합니다.
   • 또한, $F_R$은 어떤 격자 (lattice) $\Gamma$도 완전히 포함하지 않습니다 ($a + \Gamma \not\subset F_R$).

4. 비자명한 결합 (Non-trivial Joining):

   • Theorem 4.6: 시스템 $(\Omega_R, S)$와 odometer $(G_R, T)$ 사이에 비자명한 결합 (non-trivial joining) 이 존재합니다. 이는 시스템이 위상적으로 약혼합 (topologically weakly mixing) 이 아님을 의미합니다.

3.2. 경량 꼬리 (Light Tails) 의 분석

• 강한 경량 꼬리의 존재성:
  • Theorem 5.7: 에탈 $\mathbb{Q}$-대수 $K$ 위의 모든 Erdős $B$-free 시스템 (즉, $R_b = b$인 경우) 은 Følner 수열 $B_N$에 대해 강한 경량 꼬리를 가집니다. 이는 $F_R$이 항상 잘 정의된 밀도를 가진다는 것을 보장합니다.
• 약한 vs 강한 경량 꼬리:
  • 약한 경량 꼬리는 강한 경량 꼬리보다 약한 조건이지만, 역은 성립하지 않습니다 (Example 5.14).
  • Theorem 5.25: 체 $R$이 강한 경량 꼬리를 가질 필요충분조건은, $R$에서 임의의 유한 개 아이디얼을 제거한 모든 부분 체가 약한 경량 꼬리를 가지는 것입니다.
  • Theorem 5.29: 만약 $R$이 약한 경량 꼬리를 가지며, 유한 개의 합동류를 이동 (translation) 시켜도 약한 경량 꼬리 성질이 유지된다면, $R$은 강한 경량 꼬리를 가집니다.

3.3. 반례 및 경계 조건

• Theorem 3.24: 일반적인 체 $R$에 대해서는 로그 밀도 (logarithmic density) 가 존재하지 않을 수 있음을 보여주는 반례를 제시했습니다. 이는 Davenport-Erdős 정리가 일반 체에는 적용되지 않음을 보여줍니다.
• Theorem 4.3: Erdős 체라도 모든 Følner 수열에 대해 약한 경량 꼬리를 가지는 것은 아님을 보였습니다. 즉, 밀도가 존재하지 않는 Følner 수열이 항상 존재합니다.

4. 의의 (Significance)

• 이론적 확장: Sarnak 의 프로그램을 정수 $\mathbb{Z}$나 수체 $K$를 넘어, 에탈 $\mathbb{Q}$-대수 (수체의 곱) 전체로 확장했습니다. 이는 다차원 격자 (lattice points) 와 같은 다양한 수론적 집합을 통일된 프레임워크로 다룰 수 있게 합니다.
• 동역학적 통찰: $R$-free 수들의 집합이 단순한 수론적 객체가 아니라, 특정 동역학계 (미르스키 측도를 가진 근접적 시스템) 의 생성점임을 rigorously 증명했습니다.
• 새로운 조건 제시: "경량 꼬리 (Light Tails)"라는 새로운 조건을 도입하여, 체의 구조가 동역학적 성질 (생성점 여부, 밀도 존재 여부) 에 어떻게 영향을 미치는지 정량화했습니다.
• 향후 연구의 기초: 이 논문 (1 부) 은 동역학적 성질과 밀도 이론을 다뤘으며, 2 부에서는 Sarnak 프로그램의 3 번 명제 ($X_B = \Omega_B$) 의 일반화와 구체적인 수론적 응용 (예: 다항식의 제곱인수 없는 값들) 을 다룰 예정입니다.

요약

이 논문은 Sarnak 의 프로그램을 "Erdős 체"라는 광범위한 클래스로 확장하여, $R$-free 수들의 집합이 특정 동역학적 성질 (생성점, 엔트로피, 근접성 등) 을 만족하기 위한 필요충분조건을 약한 경량 꼬리와 강한 경량 꼬리 개념을 통해 정립했습니다. 특히, 모든 Erdős $B$-free 시스템이 강한 경량 꼬리를 가지며 잘 정의된 밀도를 가진다는 것을 증명함으로써, 수론적 집합의 동역학적 분석에 강력한 도구를 제공했습니다.