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

Resumen Técnico: Ergodicidad Intrínseca para Enteros Libres de $B$ en Campos Numéricos

Planteamiento del Problema
El artículo aborda el problema de la ergodicidad intrínseca para subshifts libres de $B$ en el contexto de los campos numéricos. Si bien las propiedades estructurales de los sistemas libres de $B$ (genericidad, entropía topológica, admisibilidad y proximidad) se han establecido para diversos entornos —incluyendo los enteros de la libre de cuadrados clásicos ($K=\mathbb{Q}$), puntos de red $k$-libres y puntos de red libres de $B$—, la unicidad de la medida de máxima entropía (ergodicidad intrínseca) seguía siendo una cuestión abierta para configuraciones multidimensionales y de campos numéricos.

Específicamente, sea $K$ un campo numérico con anillo de enteros $\mathcal{O}_K$, y sea $\mathcal{B} = \{b_\ell\}_{\ell \ge 1}$ una familia de Erdős de ideales (infinitos, coprimos por pares con $\sum 1/N(b_\ell) < \infty$). El subshift libre de $B$ asociado $(X_\mathcal{B}, (S_a)_{a \in \mathcal{O}_K})$ es un sistema hereditario con entropía topológica positiva. Se sabe que el sistema posee una "medida de Mirsky" $\nu_\eta$ (la imagen directa de la medida de Haar en un grupo compacto de rotaciones), la cual tiene entropía de Kolmogorov-Sinai cero. La cuestión central es si existe una única medida que maximice la entropía y, de ser así, identificarla explícitamente.

Metodología
La demostración procede a través de una serie de reducciones seguidas de dos pruebas independientes de un enunciado central de rigidez.

1. Reducción a un Conjunto Saturado y Mapa de Factor:
   Basándose en el trabajo de Araújo, Dymek y Kułaga-Przymus [1], los autores establecen que cualquier medida de máxima entropía está concentrada en un conjunto saturado $Y \subset X_\mathcal{B}$. Este conjunto consiste en configuraciones cuyo soporte omite exactamente una clase de residuos módulo cada ideal $b_\ell$.
   Se define un "mapa de fase" Borel y equivariante $\theta: Y \to G$, donde $G = \prod_{\ell \ge 1} \mathcal{O}_K/b_\ell$ es un grupo abeliano compacto. El sistema $(G, T)$ bajo la acción de rotación es unicamente ergódico con entropía cero. Por la fórmula de adición de Abramov–Rokhlin para acciones de grupos amenables, la entropía de cualquier medida $\nu$ en $Y$ que proyecte a la medida de Haar $P$ sobre $G$ es igual a su entropía relativa sobre el factor de rotación: $h_\nu(S) = h_\nu(S \mid \mathcal{F}_\theta)$.

2. El Enunciado de Rigidez:
   El problema se reduce a demostrar que, entre todas las medidas que proyectan a $P$, la entropía relativa está acotada por la densidad de posiciones permitidas $D = \prod (1 - 1/N(b_\ell))$, con igualdad si y solo si la medida es una medida específica $\kappa$.

3. Dos Pruebas Independientes de Rigidez:
   Los autores proporcionan dos pruebas distintas para este enunciado de rigidez:

   • Argumento de Entropía Relativa (Sección 4): Esta prueba utiliza un enfoque de entropía condicional de un solo sitio. Al fijar un orden lexicográfico en $\mathcal{O}_K \cong \mathbb{Z}^d$, la entropía relativa se expresa como la entropía condicional de un sitio dado su pasado y la fase. Los autores muestran que maximizar esta entropía obliga a la probabilidad condicional de que un sitio sea "permitido" (1) sea exactamente $1/2$ (una moneda justa) siempre que el sitio no esté prohibido por la fase. Esto determina unívocamente la medida como un producto de monedas justas independientes en el conjunto permitido.
   • Inducción y División mediante Teselado Exacto (Sección 5): Esta prueba adapta el esquema de inducción y división (induce-and-split) de Peckner [16] al entorno multidimensional. Dado que $\mathcal{O}_K$ carece de un mapa de primer retorno (a diferencia de $\mathbb{Z}$), los autores reemplazan la inducción con un teselado exacto de $\mathcal{O}_K$ mediante cubos. Definen un proceso de "super-símbolos" en la subred de orígenes de los teselas. La prueba demuestra que, en máxima entropía, la entropia relativa del sistema es igual a la entropía de los super-símbolos, lo que a su vez obliga a que los super-símbolos sean condicionalmente independientes y estén distribuidos uniformemente en las configuraciones permitidas dentro de cada tesela. Esta estructura implica que la medida es una extensión relativamente independiente de la rotación base con fibras de Bernoulli.

Contribuciones Principales y Resultados

• Teorema 1.3 (Resultado Principal): El subshift libre de $B$ $(X_\mathcal{B}, S)$ es intrínsecamente ergódico. Posee una única medida de máxima entropía, denominada $\kappa$.

  • Identificación Explícita: $\kappa$ se construye como la imagen directa de la medida de producto $P \otimes \beta$ (donde $P$ es la medida de Haar en $G$ y $\beta$ es la medida de Bernoulli uniforme en $\{0,1\}^{\mathcal{O}_K}$) mediante un mapa de codificación $\Phi(g, \omega) = \phi(g) \cdot \omega$.
  • Valor de la Entropía: La entropía topológica es $h_{top}(X_\mathcal{B}) = \prod_{\ell \ge 1} (1 - 1/N(b_\ell))$. La medida $\kappa$ alcanza esta entropía.
  • Estructura: Condicionada a una fase de Haar aleatoria $g \in G$, $\kappa$ coloca monedas justas independientes en las posiciones permitidas $A_g$ (aquellas que no son congruentes a $-g_\ell \pmod{b_\ell}$) y ceros en otras partes.
  • Singularidad: $\kappa$ es mutuamente singular con la medida de Mirsky $\nu_\eta$. Mientras que $\nu_\eta$ corresponde a la configuración de "todos unos" en los sitios permitidos (entropía cero), $\kappa$ corresponde a una configuración aleatoria (entropía positiva).

• Corolario 1.4 (Generalizaciones): Como consecuencia del Teorema 1.3 y del hecho de que la ergodicidad intrínseca es un invariante de conjugación topológica, el artículo establece la ergodicidad intrínseca para:

  • Subshifts de puntos de red $k$-libres (Pleasants–Huck, Huck–Baake).
  • Subshifts de puntos de red libres de $B$ (Baake–Huck).
  • Subshifts de campos numéricos $k$-libres (Cellarosi–Vinogradov).

• Equidistribución (Corolario 6.1): El artículo demuestra que los patrones admisibles uniformemente aleatorios en cajas de Følner grandes equidistribuyen según la medida $\kappa$.

Significado y Reivindicaciones
El artículo afirma proporcionar la primera prueba de la ergodicidad intrínseca para sistemas libres de $B$ más allá de la dimensión uno. Resuelve el problema abierto para los enteros libres de $B$ en campos numéricos y entornos de red relacionados.

Los autores destacan la "rigidez genuina" del resultado: a pesar de que el sistema es hereditario y soporta un gran simplex de medidas invariantes, la estructura aritmética fuerza una única medida "más caótica". Esta medida es estructuralmente distinta de la medida de Mirsky (que es una rotación) de naturaleza aritmética, aunque está íntimamente relacionada con ella como una extensión relativamente independiente. El trabajo demuestra que el "orden" de la rotación aritmética y el "caos" de la medida de máxima entropía pueden coexistir, siendo esta última el único maximizador de la entropía. Las técnicas de prueba, particularmente la adaptación del esquema de inducción y división a entornos multidimensionales mediante teselados exactos, se presentan como contribuciones metodológicas significativas.