Intrinsic ergodicity for $\mathfrak{B}$-free integers in number fields

기술 요약: 수체(Number Field) 내 B-free 정수에 대한 내적 에르고로디시티(Intrinsic Ergodicity)

문제 정의
본 논문은 수체의 맥락에서 $B$-free 서브쉬프트(subshift)의 내적 에르고로디시티 문제를 다룬다. $B$-free 시스템의 구조적 성질(생성성, 위상 엔트로피, 허용성, 근접성)은 다양한 설정—고전적인 제곱 자유 정수($K=\mathbb{Q}$), $k$-free 격자점, 그리고 $B$-free 격자점—에 대해 이미 확립되어 있으나, 최대 엔트로피 측도의 유일성(내적 에르고로디시티)은 다차원 및 수체 설정에서 미해결 문제로 남아 있었다.

구체적으로, $K$를 정수 환 $\mathcal{O}_K$를 갖는 수체라 하고, $\mathcal{B} = \{b_\ell\}_{\ell \ge 1}$를 에르되시 가족(Erdős family)의 아이디얼(무한하며, 서로 소이고, $\sum 1/N(b_\ell) < \infty$를 만족하는)이라 하자. 이와 관련된 $B$-free 서브쉬프트 $(X_\mathcal{B}, (S_a)_{a \in \mathcal{O}_K})$는 양의 위상 엔트로피를 갖는 헤레디터리(hereditary) 시스템이다. 이 시스템은 미르스키 측도(Mirsky measure) $\nu_\eta$(컴팩트 회전 군 위의 하르 측도의 푸시포워드)를 가진다는 것이 알려져 있으며, 이 측도는 0의 콜모고로프-시나이(Kolmogorov-Sinai) 엔트로피를 갖는다. 핵심 질문은 최대 엔트로피를 갖는 불변 측도가 유일하게 존재하는지, 존재한다면 이를 명시적으로 식별할 수 있는지 여부이다.

방법론
증명은 일련의 축소 과정을 거친 후, 핵심적인 강성(rigidity) 명제에 대한 두 가지 독립적인 증명으로 진행된다.

1. 포화 집합(Saturated Set) 및 팩터 맵으로의 축소:
   Araújo, Dymek, Kułaga-Przymus [1]의 연구를 인용하여, 저자들은 모든 최대 엔트로피 측도가 $X_\mathcal{B}$의 포화 집합 $Y \subset X_\mathcal{B}$에 집중됨을 확립한다. 이 집합은 각 아이디얼 $b_\ell$에 대해 정확히 하나의 유치류(residue class)를 제외하는 구성들로 이루어져 있다.
   보렐(Borel) 가측이며 동변적인(equivariant) "위상 맵(phase map)" $\theta: Y \to G$가 정의된다. 여기서 $G = \prod_{\ell \ge 1} \mathcal{O}_K/b_\ell$는 컴팩트 아벨 군이다. 회전 작용 하의 시스템 $(G, T)$는 0의 엔트로피를 갖는 유일 에르고딕(uniquely ergodic) 시스템이다. 아메나블 군 작용에 대한 Abramov–Rokhlin 덧셈 공식에 의해, $G$ 상의 하르 측도 $P$로 투영되는 $Y$ 상의 임의의 측도 $\nu$의 엔트로피는 회전 팩터에 대한 상대적 엔트로피와 같다: $h_\nu(S) = h_\nu(S \mid \mathcal{F}_\theta)$.

2. 강성 명제:
   문제는 모든 $P$로 투영되는 측도들 중에서, 상대적 엔트로피가 허용된 위치의 밀도 $D = \prod (1 - 1/N(b_\ell))$와 같아지는 경우를 증명하는 것으로 귀결된다. 이때 등호는 오직 특정 측도 $\kappa$인 경우에만 성립한다.

3. 두 가지 독립적인 강성 증명:
   저자들은 이 강성 명제에 대해 두 가지 구별되는 증명을 제공한다:

• 상대적 엔트로피 논증 (섹션 4): 이 증명은 단일 사이트 조건부 엔트로피 접근법을 활용한다. $\mathcal{O}_K \cong \mathbb{Z}^d$에 대한 렉시코그래픽 순서를 고정함으로써, 상대적 엔트로피는 과거(past)와 위상(phase)이 주어졌을 때의 단일 사이트의 조건부 엔트로피로 표현된다. 저자들은 이 엔트로피를 최대화하는 것이, 사이트가 위상에 의해 금지되지 않았을 때 해당 사이트가 "허용"될 조건부 확률을 정확히 $1/2$(공정한 동전 던지기)로 강제함을 보여준다. 이는 측도를 허용된 집합 위에서의 독립적인 공정한 동전들의 곱으로 유일하게 결정한다.
• 정확한 타일링을 통한 유도 및 분할 (섹션 5): 이 증명은 Peckner의 유도 및 분할(induce-and-split) 기법 [16]을 다차원 설정으로 적응시킨 것이다. $\mathcal{O}_K$는 $\mathbb{Z}$와 달리 첫 번째 귀환 맵(first-return map)이 없으므로, 저자들은 유도 대신 $\mathcal{O}_K$를 큐브(cube)들로 정확하게 타일링하는 방식을 사용한다. 그들은 타일 기점들의 부격자(sublattice) 상에서 "슈퍼-심볼(super-symbol)" 프로세스를 정의한다. 이 증명은 최대 엔트로피 상태에서 시스템의 상대적 엔트로피가 슈퍼-심볼의 엔트로피와 같음을 보여주며, 이는 다시 슈퍼-심볼들이 조건부 독립이며 각 타일 내의 허용된 구성들에 대해 균등 분포되어야 함을 강제한다. 이 구조는 측도가 베르누이 파이버(Bernoulli fibers)를 갖는 기저 회전의 상대적 독립 확장임을 시사한다.

주요 기여 및 결과

• 정리 1.3 (주요 결과): $B$-free 서브쉬프트 $(X_\mathcal{B}, S)$는 내적 에르고로디티를 갖는다. 이는 $\kappa$로 표기되는 유일한 최대 엔트로피 측도를 가진다.

  • 명시적 식별: $\kappa$는 코딩 맵 $\Phi(g, \omega) = \phi(g) \cdot \omega$를 통해 곱 측도 $P \otimes \beta$ (여기서 $P$는 $G$ 상의 하르 측도이고 $\beta$는 $\{0,1\}^{\mathcal{O}_K}$ 상의 균등 베르누이 측도임)를 푸시포워드하여 구성된다.
  • 엔트로피 값: 위상 엔트로피는 $h_{top}(X_\mathcal{B}) = \prod_{\ell \ge 1} (1 - 1/N(b_\ell))$이다. 측도 $\kappa$는 이 엔트로피를 달성한다.
  • 구조: 하르-무작위 위상 $g \in G$가 주어졌을 때, $\kappa$는 허용된 위치 $A_g$ ($-g_\ell \pmod{b_\ell}$와 합동이 아닌 위치들) 위에 독립적인 공정한 동전을 배치하고, 그 외의 곳에는 0을 배치한다.
  • 특이성(Singularity): $\kappa$는 미르스키 측도 $\nu_\eta$와 상호 특이(mutually singular)하다. $\nu_\eta$가 허용된 사이트 상의 "모든 1" 구성을 나타낸다면(제로 엔트로피), $\kappa$는 무작위 구성(양의 엔트로피)을 나타낸다.

• 따름정리 1.4 (일반화): 정리 1.3과 내적 에르고로디시티가 위상 공형 불변(topological conjugacy invariant)이라는 사실에 따라, 본 논문은 다음의 내적 에르고로디시티를 확립한다:

  • $k$-free 격자점 서브쉬프트 (Pleasants–Huck, Huck–Baake).
  • $B$-free 격자점 서브쉬프트 (Baake–Huck).
  • $k$-free 수체 서브쉬프트 (Cellarosi–Vinogradov).

• 등분포성 (따름정리 6.1): 본 논문은 큰 푀너 박스(Følner box) 상에서 균등하게 무작위적인 허용된 패턴들이 측도 $\kappa$에 따라 등분포함을 증명한다.

의의 및 주장
본 논문은 1차원을 넘어선 $B$-free 시스템에 대한 내적 에르고로디시티의 첫 번째 증명을 제공한다고 주장한다. 이는 수체 내 $B$-free 정수 및 관련 격자 설정에 대한 미해결 문제를 해결한다.

저자들은 이 결과의 "진정한 강성(genuine rigidity)"을 강조한다. 이 시스템은 헤레디터리(hereditary)하며 거대한 불변 측도의 심플렉스(simplex)를 지원함에도 불구하고, 산술적 구조가 유일한 "가장 혼돈스러운" 측도를 강제한다는 점이다. 이 측도는 산술적으로 자연스러운 회전인 미르스키 측도와 구조적으로 구별되지만, 상대적 독립 확장으로서 미르스키 측도와 밀접하게 연관되어 있다. 이 연구는 산술적 회전의 "질서"와 최대 엔트로피 측도의 "혼돈"이 공존할 수 있음을 보여주며, 후자가 유일한 엔트로피 극대화자임을 입증한다. 특히, 타일링을 통해 다차원 설정으로 유도 및 분할 기법을 적응시킨 증명 방식은 중요한 방법론적 기여로 제시된다.