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

Technische Samenvatting: Intrinsieke Ergodiciteit voor B-vrije Hele Talen in Getallenvelden

Probleemstelling
Het artikel behandelt het probleem van intrinsieke ergodiciteit voor $B$-vrije subshifts in de context van getallenvelden. Hoewel de structurele eigenschappen van $B$-vrije systemen (genericiteit, topologische entropie, admissible, en proximale eigenschappen) zijn vastgesteld voor diverse instellingen — waaronder de klassieke vierkantvrije gehele getallen ($K=\mathbb{Q}$), $k$-vrije roosterpunten en $B$-vrije roosterpunten — bleef de uniciteit van de maat van maximale entropie (intrinsieke ergodiciteit) een open vraag voor meerdimensionale en getallenveld-instellingen.

Specifiek, laat $K$ een getallenveld zijn met ring van gehele getallen $\mathcal{O}_K$, en laat $\mathcal{B} = \{b_\ell\}_{\ell \ge 1}$ een Erdős-familie van idealen zijn (oneindig, onderling priem, met $\sum 1/N(b_\ell) < \infty$). De geassocieerde $B$-vrije subshift $(X_\mathcal{B}, (S_a)_{a \in \mathcal{O}_K})$ is een hereditaire system met positieve topologische entropie. Het is bekend dat het systeem een "Mirsky-maat" $\nu_\eta$ draagt (de push-forward van de Haar-maat op een compacte groep van rotaties), die een Kolmogorov-Sinai entropie van nul heeft. De centrale vraag is of er een unieke invariante maat bestaat die de entropie maximaliseert, en zo ja, deze expliciet te identificeren.

Methodologie
Het bewijs verloopt via een reeks reducties gevolgd door twee onafhankelijke bewijzen van een kernstelling betreffende rigiditeit.

1. Reductie naar een verzadigde verzameling en factor-afbeelding:
   Gebruikmakend van het werk van Araújo, Dymek en Kułaga-Przymus [1], stellen de auteurs vast dat elke maat van maximale entropie geconcentreerd is op een verzadigde verzameling $Y \subset X_\mathcal{B}$. Deze verzameling bestaat uit configuraties waarvan de ondersteuning precies één restklasse modulo elk ideaal $b_\ell$ weglaat.
   Een Borel, equivariante "fase-afbeelding" $\theta: Y \to G$ wordt gedefinieerd, waarbij $G = \prod_{\ell \ge 1} \mathcal{O}_K/b_\ell$ een compacte abelse groep is. Het systeem $(G, T)$ onder de rotatie-actie is uniek ergodisch met een entropie van nul. Door de Abramov–Rokhlin additieve formule voor amenabele groep-acties, is de entropie van elke invariante maat $\nu$ op $Y$ gelijk aan de relatieve entropie over de rotatie-factor: $h_\nu(S) = h_\nu(S \mid \mathcal{F}_\theta)$.

2. De Rigiditeitsstelling:
   Het probleem reduceert tot het bewijzen dat, onder alle maten die projecteren naar $P$, de relatieve entropie begrensd wordt door de dichtheid van toegestane posities $D = \prod (1 - 1/N(b_\ell))$, met gelijkheid als en slechts als de maat een specifieke maat $\kappa$ is.

3. Twee Onafhankelijke Bewijzen van Rigiditeit:
   De auteurs leveren twee verschillende bewijzen voor deze rigiditeitsstelling:

   • Relatieve Entropie Argument (Sectie 4): Dit bewijs maakt gebruik van een single-site conditionele entropie-benadering. Door een lexicografische ordening op $\mathcal{O}_K \cong \mathbb{Z}^d vast te leggen, kan de relatieve entropie worden uitgedrukt als de conditionele entropie van een enkele site gegeven zijn verleden en de fase. De auteurs tonen aan dat het maximaliseren van deze entropie dwingt dat de conditionele waarschijnlijkheid van een site die "toegestaan" is (1) exact$1/2$ is (een eerlijke munt) wanneer de site niet verboden is door de fase. Dit bepaalt de maat uniek als een product van onafhankelijke eerlijke munten op de toegestane verzameling.
   • Induce-and-Split via Exacte Tiling (Sectie 5): Dit bewijs past het induce-and-split schema van Peckner [16] aan voor de meerdimensionale setting. Omdat $\mathcal{O}_K$ geen first-return map mist (in tegenstelling tot $\mathbb{Z}$), vervangen de auteurs inductie door een exacte tiling van $\mathcal{O}_K$ door kubussen. Ze definiëren een "super-symbool" proces op de rooster-sublattice van de oorsprong van de tegels. Het bewijs toont aan dat bij maximale entropie de relatieve entropie van het systeem gelijk is aan de entropie van de super-symbolen, wat op zijn beurt dwingt dat de super-symbolen conditioneel onafhankelijk zijn en uniform verdeeld over de toegestane configuraties binnen elke tegel. Deze structuur impliceert dat de maat een relatief onafhankelijke extensie is van de basisrotatie met Bernoulli-vezels.

Kernbijdragen en Resultaten

• Stelling 1.3 (Hoofdbestelling): De $B$-vrije subshift $(X_\mathcal{B}, S)$ is intrinsiek ergodisch. Zij bezit een unieke maat van maximale entropie, aangeduid als $\kappa$.

  • Expliciete Identificatie: $\kappa$ wordt geconstrueerd als de push-forward van de productmaat $P \otimes \beta$ (waarbij $P$ de Haar-maat is op $G$ en $\beta$ de uniforme Bernoulli-maat op $\{0,1\}^{\mathcal{O}_K}$) via een codering-afbeelding $\Phi(g, \omega) = \phi(g) \cdot \omega$.
  • Entropiewaarde: De topologische entropie is $h_{top}(X_\mathcal{B}) = \prod_{\ell \ge 1} (1 - 1/N(b_\ell))$. De maat $\kappa$ bereikt deze entropie.
  • Structuur: Gegeven een Haar-willekeurige fase $g \in G$, plaatst $\kappa$ onafhankelijke eerlijke munten op de toegestane posities $A_g$ (die niet congruent zijn aan $-g_\ell \pmod{b_\ell}$) en nullen elders.
  • Singulariteit: $\kappa$ is wederzijds singulier met de Mirsky-maat $\nu_\eta$. Terwijl $\nu_\eta$ overeenkomt met de "alle-één" configuratie op toegestane sites (nul entropie), komt $\kappa$ overeen met een willekeurige configuratie (positieve entropie).

• Corollary 1.4 (Generalisaties): Als gevolg van Stelling 1.3 en het feit dat intrinsieke ergodiciteit een topologische conjunctie-invariant is, vestigt het artikel intrinsieke ergodiciteit voor:

  • $k$-vrije roosterpunt-subshifts (Pleasants–Huck, Huck–Baake).
  • $B$-vrije roosterpunt-subshifts (Baake–Huck).
  • $k$-vrije getallenveld-subshifts (Cellarosi–Vinogradov).

• Equidistributie (Corollary 6.1): Het artikel bewijst dat uniform willekeurige admissible patronen op grote Følner-boxen equidistribueren volgens de maat $\kappa$.

Betekenis en Claims
Het artikel claimt het eerste bewijs van intrinsieke ergodiciteit voor $B$-vrije systemen buiten dimensie één te leveren. Het lost het openstaande probleem op voor $B$-vrije gehele getallen in getallenvelden en gerelateerde rooster-instellingen.

De auteurs benadrukken de "echte rigiditeit" van het resultaat: ondanks dat het systeem hereditair is en een grote simplex van invariante maten ondersteunt, dwingt de arithmetische structuur een unieke "meest chaotische" maat af. Deze maat is structureel verschillend van de arithmetisch natuurlijke Mirsky-maat (die een rotatie is), maar is er nauw mee verbonden als een relatief onafhankelijke extensie. Het werk toont aan dat de "orde" van de arithmetische rotatie en de "chaos" van de maat van maximale entropie samen kunnen bestaan, waarbij de laatste de unieke maximalisator van de entropie is. De bewijstechnieken, met name de aanpassing van het induce-and-split schema naar meerdimensionale instellingen via exacte tilings, worden gepresenteerd als significante methodologische bijdragen.