Pointwise ergodic averages along the Omega function in number fields

기술 요약: 수체(Number Fields) 내 오메가 함수를 따른 점별 에르고딕 평균

문제 정의
본 논문은 수체 내에서 오메가 함수($\Omega$) 및 서로 다른 소인수 함수($\omega$)로 정의된 산술 수열을 따른 에르고딕 평균의 수렴 특성을 조사한다. 중심 문제는 동역학계의 두 가지 대조적인 행동을 다룬다:

1. 점별 수렴의 실패: 일반적인 에르고딕 시스템(구체적으로 비원자적이고 가역적인 측도 보존 시스템)에서, 이러한 산술 수열을 따른 평균이 점별로 수렴하지 않는가? 즉, 이들이 특성 함수의 평균의 상한(limsup)은 1이고 하한(liminf)은 0이 되는 "강한 쓸어내기 성질(strong sweeping-out property)"을 보이는가?
2. 유일 에르고딕 시스템에서의 수렴: 기저 동역학계가 유일 에르고딕(uniquely ergodic)할 때, 이러한 평균이 공간 평균으로 점별 수렴하는가?

저자들은 Bergelson과 Richter( $\mathbb{Q}$에 대하여) 및 Donoso 등(가우스 정수에 대하여)의 이전 결과들을 임의의 수체와 $m^2+n^2$과 같은 더 복잡한 평균 방식(averaging schemes)으로 확장한다.

방법론
본 논문은 에르고딕 이론과 해석적 정수론의 합성을 활용한다. 방법론은 두 가지 주요 흐름으로 나뉜다:

1. 강한 쓸어내기 성립 (수렴의 실패):

   • 저자들은 평균 연산자에 대한 극대 부등식(maximal inequality)을 검증하는 데 의존하는 del Junco와 Rosenblatt의 기준을 활용한다.
   • 임의의 시스템에 대해 직접 계산하지 않고 이 부등식을 검증하기 위해, 문제를 정수의 유한 구간에서의 평균 방식의 거동을 확인하는 것으로 환원하는 전이 원리(transfer principle, Proposition 2.11)를 사용한다.
   • 결정적으로, 저자들은 강한 쓸어내기 성질을 Erdős–Kac 정리와 연결한다. 만약 평균 방식이 Erdős–Kac 유형의 정리(즉, $\log_2 N$에 의해 정규화된 산술 함수의 분포가 표준 가우시안 분포로 수렴함)를 만족한다면, 해당 방식이 강한 쓸어내기 성질을 보인다는 것을 증명한다.
   • 저자들은 Hardy–Ramanujan, Sathé–Selberg, 그리고 Liu와 Wu에 의한 특정 확장을 사용하여 $\Omega_K$와 $\omega_K$가 수체의 이데알(ideals) 위에서, 그리고 $\Omega(m^2+n^2)$이 이러한 분포 조건을 만족함을 입증한다.

2. 점별 수렴 성립:

   • 유일 에르고딕 시스템에 대해, 저자들은 **점근적 시프트 불변성(asymptotic shift-invariance)**을 포함하는 접근 방식을 채택한다.
   • 유계 수열에 대하여, $f(T^{c(a)+1}x)$의 평균은 $f(T^{c(a)}x)$의 평균과 점근적으로 동등함을 증명한다. 이는 $\Omega_K$와 $\omega_K$의 통계적 성질(구체적으로 Hardy–Ramanujan 정리와 Sathé–Selberg 점근 공식)을 이용하여, $N \to \infty$임에 따라 함수의 가중치 분포가 무시할 수 있을 정도로 이동함을 보여줌으로써 가능하다.
   • 이 시프트 불변성은 시스템의 유일 에르고딕성과 결합되어, 에르고딕 평균이 불변 측도에 대한 함수의 적분으로 수렴함을 의미한다.
   • 노름 수렴(norm convergence)은 스펙트럼 이론(Bochner–Herglotz 정리)과 평균이 무리수 회전(irrational rotations)에 대해 0으로 수렴한다는 사실을 사용하여 도출된다.

주요 기여 및 결과

• 강한 쓸어내기에 대한 일반적 기준 (Theorem 3.5): 본 논문은 Erdős–Kac 유형의 정리를 만족하는 모든 평균 방식이 강한 쓸어내기 성질을 보인다는 것을 확립한다. 이는 Loyd와 Mondal의 결과를 일반화한 것이다.
• 임의의 수체로의 확장 (Theorem 1.4): 저자들은 임의의 수체 $K$에 대하여, 이데알에 대한 $\Omega_K$(전체 소인수)와 $\omega_K$(서로 다른 소인수)를 따른 평균이 비원자적 에르고딕 시스템에서 강한 쓸어내기 성질을 만족함을 증명한다. 이는 $\mathbb{Q}$에서 모든 수체로 Loyd의 결과를 일반화한다.
• 질문 1의 해결 (Theorem 3.10): 본 논문은 Le, Moreira, Sun 및 제2저자가 제기한 평균 $\frac{1}{N^2} \sum_{1 \le m,n \le N} f(T^{\Omega(m^2+n^2)}x)$에 관한 질문에 긍정적으로 답한다. 저자들은 $\Omega(m^2+n^2)$가 Erdős–Kac 유형의 정리를 만족함을 보임으로써(Lemma 3.8 및 3.9), 이 평균들이 강한 쓸어내기 성질을 보임을 증명한다.
• 유일 에르고딕 시스템에서의 점별 수렴 (Theorem 1.5): 저자들은 임의의 유일 에르고딕 시스템 $(X, T)$와 연속 함수 $f$에 대하여, $\Omega_K$와 $\omega_K$를 따른 평균이 $\int f d\mu$로 점별 수렴함을 증명한다. 이는 Bergelson–Richter의 $\mathbb{Q}$에 대한 결과를 회복하고 가우스 정수 및 일반적인 수체로 확장한다.
• 노름 수렴 (Theorem 4.6): 본 논문은 일반적인 측도 보존 시스템에서 이러한 평균들의 $L^2$ 노름 수렴을 확립한다.
• 정수론적 따름정리: 동역학적 수렴 결과를 사용하여, 저자들은 $\Omega_K$와 $\omega_K$의 modulo $m$에 대한 균등 분포(Pillai–Selberg 일반화) 및 분수 부분 $\{\alpha \Omega_K(a)\}$에 대한 균등 분포(Erdős–Delange 일반화)를 도출한다.

의의 및 주장
본 논문은 수체 내 산술 함수에 따른 에르고딕 평균의 발산과 수렴을 이해하기 위한 통합된 프레임워크를 제공한다고 주장한다.

• 발산에 관하여: 저자들은 강한 쓸어내기 성질이 산술 함수가 Erdős–Kac 분포를 만족하기만 하면 나타나는 견고한 현상이라고 단언한다. 이는 $\Omega(m^2+n^2)$의 구체적인 사례에 대한 열린 문제를 해결하며, 알려진 발산 결과의 범위를 모든 수체로 확장한다.
• 수렴에 관하여: 저자들은 점별 수렴이 일반적인 에르고딕 시스템에서는 실패하지만, 유일 에르고딕 시스템에서는 복원됨을 보여준다. 저자들은 Theorem 1.5의 증명이 Landau의 소 이데알 정리(prime ideal theorem)의 강화를 기반으로 하며, 이 정리 자체에 대한 새로운 증명을 제공하는 것은 아님을 명시한다.
• 한계 및 미해결 문제: 저자들은 자신들의 방법론이 $\Omega(N(a))$(즉, 인수가 이데알 자체가 아니라 그 노름인 경우)를 포함하는 다른 유형의 에르고딕 평균의 수렴을 증명하기에는 불충분하다고 겸허히 언급한다. 이 경우들을 해결하기 위해서는 소 이데알에 의해 정의된 곱셈적 작용(multiplicative actions)에 관한 "동역학적 진술"이 필요할 것이라고 제언하며, 이것이 여전히 미해결 과제로 남아 있음을 밝힌다.

요약하자면, 이 연구는 수체의 소인수 통계적 분포와 동역학계의 에르고딕 거동 사이의 간극을 메우며, 비원자적 시스템에서 이러한 평균들에 대해 "강한 쓸어내기" 행동이 일반적인 결과임을 확인하고, 유일 에르고딕 설정에서는 점별 수렴이 유지됨을 입증한다.