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

Sintesi Tecnica: Ergodicità Intrinseca per gli Interi $B$-liberi nei Campi Numerici

Enunciato del Problema
Il saggio affronta il problema dell'ergodicità intrinseca per i sottosistemi $B$-liberi nel contesto dei campi numerici. Sebbene le proprietà strutturali dei sistemi $B$-liberi (genericità, entropia topologica, ammissibilità e prossimità) siano state stabilite per vari contesti — inclusi gli interi privi di quadrati classici ($K=\mathbb{Q}$), i punti di reticolo $k$-liberi e i punti di reticolo $B$-liberi — l'unicità della misura di massima entropia (ergodicità intrinseca) rimaneva una questione aperta per gli ambiti multidimensionali e dei campi numerici.

Nello specifico, sia $K$ un campo numerico con anello degli interi $\mathcal{O}_K$, e sia $\mathcal{B} = \{b_\ell\}_{\ell \ge 1}$ una famiglia di Erdős di ideali (infiniti, pairwise coprimi, con $\sum 1/N(b_\ell) < \infty$). Il sottosistema $B$-libero associato $(X_\mathcal{B}, (S_a)_{a \in \mathcal{O}_K})$ è un sistema ereditario con entropia topologica positiva. È noto che il sistema ammette una "misura di Mirsky" $\nu_\eta$ (la push-forward della misura di Haar su un gruppo compatto di rotazioni), la quale possiede un'entropia di Kolmogorov-Sinai nulla. La questione centrale è se esista un'unica misura invariante che massimizzi l'entropia e, in caso affermativo, se sia possibile identificarla esplicitamente.

Metodologia
La dimostrazione procede attraverso una serie di riduzioni seguite da due prove indipendenti di un nucleo di rigidità.

1. Riduzione a un Insieme Saturato e Mappa di Fattore:
   Basandosi sul lavoro di Araújo, Dymek e Kułaga-Przymus [1], gli autori stabiliscono che ogni misura di massima entropia è concentrata su un insieme saturato $Y \subset X_\mathcal{B}$. Questo insieme consiste di configurazioni il cui supporto omette esattamente una classe di resto modulo ciascun ideale $b_\ell$.
   Viene definita una "mappa di fase" Borel, equivariante $\theta: Y \to G$, dove $G = \prod_{\ell \ge 1} \mathcal{O}_K/b_\ell$ è un gruppo abeliano compatto. Il sistema $(G, T)$ sotto l'azione di rotazione è unicamente ergodico con entropia nulla. Per il teorema di additività di Abramov–Rokhlin per le azioni di gruppi amenabili, l'entropia di qualsiasi misura $\nu$ su $Y$ che proietta sulla misura di Haar $P$ su $G$ è uguale alla sua entropia relativa rispetto al fattore di rotazione: $h_\nu(S) = h_\nu(S \mid \mathcal{F}_\theta)$.

2. L'Enunciato di Rigidità:
   Il problema si riduce a dimostrare che, tra tutte le misure che proiettano su $P$, l'entropia relativa è limitata dalla densità delle posizioni ammesse $D = \prod (1 - 1/N(b_\ell))$, con uguaglianza che si verifica se e solo se la misura è una specifica misura $\kappa$.

3. Due Prove Indipendenti della Rigidità:
   Gli autori forniscono due distinte prove per questo enunciato di rigidità:

   • Argomento dell'Entropia Relativa (Sezione 4): Questa prova utilizza un approccio di entropia condizionale a sito singolo. Fissando un ordine lessicografico su $\mathcal{O}_K \cong \mathbb{Z}^d$, l'entropia relativa è espressa come l'entropia condizionale di un sito singolo dato il suo passato e la fase. Gli autori mostrano che massimizzare questa entropia costringe la probabilità condizionata di un sito di essere "ammesso" (1) a essere esattamente $1/2$ (una moneta equa) ogni volta che il sito non è proibito dalla fase. Ciò determina unicamente la misura come un prodotto di monete eque indipendenti sulle posizioni ammesse.
   • Induzione e Scissione tramite Tassellatura Esatta (Sezione 5): Questa prova adatta lo schema di induzione e scissione (induce-and-split) di Peckner [16] al contesto multidimensionale. Poiché $\mathcal{O}_K$ manca di una mappa di primo ritorno (a differenza di $\mathbb{Z}$), gli autori sostituiscono l'induzione con una tassellatura esatta di $\mathcal{O}_K$ mediante cubi. Definiscono un processo di "super-simbolo" sul sottoreticolo delle origini dei tasselli. La dimostrazione mostra che, alla massima entropia, l'entropia relativa del sistema è uguale all'entropia dei super-simboli, il che a sua volta costringe i super-simboli a essere condizionatamente indipendenti e uniformemente distribuiti sulle configurazioni ammesse all'interno di ogni tassello. Questa struttura implica che la misura sia un'estensione relativamente indipendente della rotazione di base con fibre di Bernoulli.

Contributi Chiave e Risultati

• Teorema 1.3 (Risultato Principale): Il sottosistema $B$-libero $(X_\mathcal{B}, S)$ è intrinsecamente ergodico. Esso possiede un'unica misura di massima entropia, denominata $\kappa$.

  • Identificazione Esplicita: $\kappa$ è costruita come la push-forward della misura di prodotto $P \otimes \beta$ (dove $P$ è la misura di Haar su $G$ e $\beta$ è la misura di Bernoulli uniforme su $\{0,1\}^{\mathcal{O}_K}$) tramite una mappa di codifica $\Phi(g, \omega) = \phi(g) \cdot \omega$.
  • Valore dell'Entropia: L'entropia topologica è $h_{top}(X_\mathcal{B}) = \prod_{\ell \ge 1} (1 - 1/N(b_\ell))$. La misura $\kappa$ raggiunge tale entropia.
  • Struttura: Condizionata a una fase di Haar casuale $g \in G$, $\kappa$ colloca monete eque indipendenti sulle posizioni ammesse $A_g$ (quelle non congrue a $-g_\ell \pmod{b_\ell}$) e zeri altrove.
  • Singolarità: $\kappa$ è mutuamente singolare con la misura di Mirsky $\nu_\eta$. Mentre $\nu_\eta$ corrisponde alla configurazione "tutti-uno" sui siti ammessi (entropia nulla), $\kappa$ corrisponde a una configurazione casuale (entropia positiva).

• Corollario 1.4 (Generalizzazioni): Come conseguenza del Teorema 1.3 e del fatto che l'ergodicità intrinseca è un invariante di coniugazione topologica, il saggio stabilisce l'ergodicità intrinseca per:

  • Sottosistemi di punti di reticolo $k$-liberi (Pleasants–Huck, Huck–Baake).
  • Sottosistemi di punti di reticolo $B$-liberi (Baake–Huck).
  • Sottosistemi di campi numerici $k$-liberi (Cellarosi–Vinogradov).

• Equidistribuzione (Corollario 6.1): Il saggio dimostra che i pattern ammissi uniformemente casuali su grandi scatole di Følner equidistribuiscono secondo la misura $\kappa$.

Significato e Rivendicazioni
Il saggio rivendica di fornire la prima prova dell'ergodicità intrinseca per i sistemi $B$-liberi oltre la dimensione uno. Esso risolve il problema aperto per gli interi $B$-liberi nei campi numerici e nei relativi contesti di reticolo.

Gli autori sottolineano la "rigidità genuina" del risultato: nonostante il sistema sia ereditario e supporti un ampio simplesso di misure invarianti, la struttura aritmetica impone una misura unica di massima entropia. Questa misura è strutturalmente distinta dalla misura di Mirsky $\nu_\eta$ (che è una rotazione), pur essendo intimamente correlata ad essa come un'estensione relativamente indipendente. Il lavoro dimostra che l'"ordine" della rotazione aritmetica e il "caos" della misura di massima entropia possono coesistere, con quest'ultima che è l'unico massimizzatore dell'entropia. Le tecniche di prova, in particolare l'adattamento dello schema di induzione e scissione ai contesti multidimensionali tramite tassellature esatte, sono presentate come significativi contributi metodologici.