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

Technische Zusammenfassung: Intrinsische Ergodizität für B-freie Zahlen in Zahlkörpern

Problemstellung
Die Arbeit befasst sich mit dem Problem der intrinsischen Ergodizität von $B$-freien Subschiebern im Kontext von Zahlkörpern. Während die strukturellen Eigenschaften von $B$-freien Systemen (Generizität, topologische Entropie, Admissibilität und Proximität) für verschiedene Settings – einschließlich der klassischen quadratfreien Zahlen ($K=\mathbb{Q}$), $k$-freier Gitterpunkte und $B$-freier Gitterpunkte – etabliert wurden, blieb die Frage nach der Eindeutigkeit des Maßes maximaler Entropie (intrinsische Ergodizität) für mehrdimensionale und Zahlenkörper-Settings eine offene Frage.

Konkret sei $K$ ein Zahlenkörper mit dem Ring der ganzen Zahlen $\mathcal{O}_K$, und $\mathcal{B} = \{b_\ell\}_{\ell \ge 1}$ sei eine Erdős-Familie von Idealen (unendlich, paarweise teilerfremd, mit $\sum 1/N(b_\ell) < \infty$). Der assoziierte $B$-freie Subschieber $(X_\mathcal{B}, (S_a)_{a \in \mathcal{O}_K})$ ist ein hereditäres System mit positiver topologischer Entropie. Es ist bekannt, dass das System das „Mirsky-Maß“ $\nu_\eta$ trägt (der Vorwärtsbild des Haar-Maßes auf einer kompakten Rotationsgruppe), welches eine Kolmogorov-Sinai-Entropie von Null besitzt. Die zentrale Frage ist, ob es ein eindeutiges invariantes Maß gibt, das die Entropie maximiert, und falls ja, dieses explizit zu identifizieren.

Methodik
Der Beweis erfolgt durch eine Serie von Reduktionen, gefolgt von zwei unabhängigen Beweisen einer zentralen Starrigkeitsaussage.

1. Reduktion auf eine gesättigte Menge und Faktormap:
   Unter Rückgriff auf die Arbeit von Araújo, Dymek und Kułaga-Przymus [1] stellen die Autoren fest, dass jedes Maß maximaler Entropie auf einer gesättigten Menge $Y \subset X_\mathcal{B}$ konzentriert ist. Diese Menge besteht aus Konfigurationen, deren Träger genau eine Residuenklasse modulo jedes Ideals $b_\ell$ auslässt.
   Eine borel-äquivariante „Phasenabbildung“ $\theta: Y \to G$ wird definiert, wobei $G = \prod_{\ell \ge 1} \mathcal{O}_K/b_\ell$ eine kompakte abelsche Gruppe ist. Das System $(G, T)$ unter der Rotationswirkung ist eindeutig ergodisch mit der Entropie Null. Unter Verwendung der Abramov–Rokhlin-Additionsformel für amenabel Gruppenaktionen ist die Entropie eines beliebigen invarianten Maßs $\nu$ auf $Y$ gleich seiner relativen Entropie über dem Rotationsfaktor: $h_\nu(S) = h_\nu(S \mid \mathcal{F}_\theta)$.

2. Die Starrigkeitsaussage:
   Das Problem reduziert sich darauf zu beweisen, dass unter allen auf $P$ projizierenden Maßen die relative Entropie durch die Dichte der erlaubten Positionen $D = \prod (1 - 1/N(b_\ell))$ beschränkt ist, wobei die Gleichheit genau dann gilt, wenn das Maß ein spezifisches Maß $\kappa$ ist.

3. Zwei unabhängige Beweise der Starrigkeit:
   Die Autoren liefern zwei unterschiedliche Beweise für diese Starrigkeitsaussage:

   • Relativer Entropie-Argument (Abschnitt 4): Dieser Beweis nutzt einen Single-Site-bedingten Entropieansatz. Durch Festlegung einer lexikographischen Ordnung auf $\mathcal{O}_K \cong \mathbb{Z}^d$ wird die relative Entropie als die bedingte Entropie einer einzelnen Stelle gegeben ihrem Vergangenheitswert und der Phase ausgedrückt. Die Autoren zeigen, dass die Maximierung dieser Entropie erzwingt, dass die bedingte Wahrscheinlichkeit einer Stelle, „erlaubt“ (1) zu sein, exakt $1/2$ (ein fairer Münzwurf) beträgt, wann immer die Stelle nicht durch die Phase verboten ist. Dies bestimmt das Maß eindeutig als ein Produkt unabhängiger fairer Münzwürfe auf der erlaubten Menge.
   • Induzieren-und-Splitten via exakter Kachelung (Abschnitt 5): Dieser Beweis adaptiert das Induce-and-Split-Schema von Peckner [16] an das mehrdimensionale Setting. Da $\mathcal{O}_K$ keine First-Return-Map besitzt (im Gegensatz zu $\mathbb{Z}$), ersetzen die Autoren die Induktion durch eine exakte Kachelung von $\mathcal{O}_K$ durch Würfel. Sie definen einen „Super-Symbol“-Prozess auf dem Untergitter der Kachel-Ursprünge. Der Beweis zeigt, dass im Fall maximaler Entropie die relative Entropie des Systems gleich der Entropie der Super-Symbole ist, was wiederum erzwingt, dass die Super-Symbole bedingt unabhängig und gleichverteilt auf den erlaubten Konfigurationen innerhalb jeder Kachel sind. Diese Struktur impliziert, dass das Maß eine relativ unabhängige Erweiterung der Basiskonstruktion mit Bernoulli-Fasern ist.

Wesentliche Beiträge und Ergebnisse

• Theorem 1.3 (Hauptresultat): Der $B$-freie Subschieber $(X_\mathcal{B}, S)$ ist intrinsisch ergodisch. Er besitzt ein eindeutiges Maß maximaler Entropie, bezeichnet als $\kappa$.

  • Explizite Identifikation: $\kappa$ wird als das Vorwärtsbild des Produktmaßes $P \otimes \beta$ (wobei $P$ das Haar-Maß auf $G$ und $\beta$ das uniforme Bernoulli-Maß auf $\{0,1\}^{\mathcal{O}_K}$ ist) via einer Kodierungskarte $\Phi(g, \omega) = \phi(g) \cdot \omega$ konstruiert.
  • Entropiewert: Die topologische Entropie ist $h_{top}(X_\mathcal{B}) = \prod_{\ell \ge 1} (1 - 1/N(b_\ell))$. Das Maß $\kappa$ erreicht diese Entropie.
  • Struktur: Bedingt auf eine Haar-zufällige Phase $g \in G$ platziert $\kappa$ unabhängige faire Münzwürfe auf den erlaubten Positionen $A_g$ (jene, die nicht kongruent zu $-g_\ell \pmod{b_\ell}$ sind) und Nullen andernorts.
  • Singularität: $\kappa$ ist bezüglich des Mirsky-Maß $\nu_\eta$ singulär. Während $\nu_\eta$ der „All-Eins“-Konfiguration auf erlaubten Stellen entspricht (Null-Entropie), entspricht $\kappa$ einer zufälligen Konfiguration (positive Entropie).

• Korollar 1.4 (Verallgemeinerungen): Als Konsequenz aus Theorem 1.3 und der Tatsache, dass intrinsische Ergodizität eine topologische Konjugationsinvariante ist, etabliert die Arbeit die intrinsische Ergodizität für:

  • $k$-freie Gitterpunkt-Subschieber (Pleasants–Huck, Huck–Baake).
  • $B$-freie Gitterpunkt-Subschieber (Baake–Huck).
  • $k$-freie Zahlenkörper-Subschieber (Cellarosi–Vinogradov).

• Äquidistribution (Korollar 6.1): Die Arbeit beweist, dass gleichmäßig zufällige admissible Muster auf großen Følner-Boxen gemäß dem Maß $\kappa$ äquidistribuieren.

Bedeutung und Behauptungen
Die Arbeit beansprucht, den ersten Beweis der intrinsischen Ergodizität für $B$-freie Systeme jenseits der Dimension eins geliefert zu haben. Sie löst das offene Problem für $B$-freie ganze Zahlen in Zahlkörpern und verwandten Gitter-Settings.

Die Autoren betonen die „echte Starrigkeit“ des Ergebnisses: Trotz der Tatsache, dass das System hereditär ist und ein großes Simplizium invarianter Maße unterstützt, erzwingt die arithmetische Struktur ein eindeutiges „chaotischstes“ Maß. Dieses Maß ist strukturell verschieden vom arithmetisch natürlichen Mirsky-Maß (welches eine Rotation ist), steht aber dennoch in engem Zusammenhang mit ihm als eine relativ unabhängige Erweiterung. Die Arbeit zeigt, dass die „Ordnung“ der arithmetischen Rotation und das „Chaos“ des Maßes maximaler Entropie koexistieren können, wobei letzteres der eindeutige Maximierer der Entropie ist. Die Beweistechniken, insbesondere die Adaption des Induce-and-Split-Schemas an mehrdimensionale Settings mittels exakter Kachelung, werden als signifikante methodische Beiträge präsentiert.