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

Resumo Técnico: Ergodicidade Intrínseca para Inteiros $B$-livres em Campos Numéricos

Enunciado do Problema
O artigo aborda o problema da ergodicidade intrínseca para subshifts $B$-livres no contexto de campos numéricos. Embora as propriedades estruturais dos sistemas $B$-livres (genericidade, entropia topológica, admissibilidade e proximidade) tenham sido estabelecidas para vários cenários — incluindo os inteiros livres de quadrados clássicos ($K=\mathbb{Q}$), pontos de rede $k$-livres e pontos de rede $B$-livres — a unicidade da medida de máxima entropia (ergodicidade intrínseca) permanecia como uma questão em aberto para configurações multidimensionais e de campos numéricos.

Especificamente, seja $K$ um campo numérico com anel de inteiros $\mathcal{O}_K$, e seja $\mathcal{B} = \{b_\ell\}_{\ell \ge 1}$ uma família de Érdős de ideais (infinitos, coprimos dois a dois, com $\sum 1/N(b_\ell) < \infty$). O subshift $B$-livre associado $(X_\mathcal{B}, (S_a)_{a \in \mathcal{O}_K})$ é um sistema hereditário com entropia topológica positiva. Sabe-se que o sistema carrega uma "medida de Mirsky" $\nu_\eta$ (a imagem direta da medida de Haar em um grupo compacto de rotações), que possui entropia de Kolmogorov-Sinai nula. A questão central é se existe uma medida invariante única que maximize a entropia e, se sim, identificá-la explicitamente.

Metodologia
A prova procede através de uma série de reduções seguidas por duas provas independentes de um enunciado central de rigidez.

1. Redução a um Conjunto Saturado e um Mapa de Fator:
   Baseando-se no trabalho de Araújo, Dymek e Kułaga-Przymus [1], os autores estabelecem que qualquer medida de máxima entropia está concentrada em um conjunto saturado $Y \subset X_\mathcal{B}$. Este conjunto consiste em configurações cujo suporte omite exatamente uma classe de resíduos módulo cada ideal $b_\ell$.
   Um "mapa de fase" Borel, equivariante $\theta: Y \to G$ é definido, onde $G = \prod_{\ell \ge 1} \mathcal{O}_K/b_\ell$ é um grupo abeliano compacto. O sistema $(G, T)$ sob a ação de rotação é unicamente ergódico com entropia nula. Pela fórmula de adição de Abramov–Rokhlin para ações de grupos amenáveis, a entropia de qualquer medida $\nu$ em $Y$ projetando-se para a medida de Haar $P$ em $G$ é igual à sua entropia relativa sobre o fator de rotação: $h_\nu(S) = h_\nu(S \mid \mathcal{F}_\theta)$.

2. O Enunciado de Rigidez:
   O problema reduz-se a provar que, entre todas as medidas que projetam para $P$, a entropia relativa é limitada pela densidade de posições permitidas $D = \prod (1 - 1/N(b_\ell))$, com igualdade ocorrendo se, e somente se, a medida for uma medida específica $\kappa$.

3. Duas Provas Independentes de Rigidez:
   Os autores fornecem duas provas distintas para este enunciado de rigidez:

   • Argumento de Entropia Relativa (Seção 4): Esta prova utiliza uma abordagem de entropia condicional de um único sítio. Ao fixar uma ordem lexicográfica em $\mathcal{O}_K \cong \mathbb{Z}^d$, a entropia relativa é expressa como a entropia condicional de um único sítio dado seu passado e a fase. Os autores mostram que maximizar esta entropia força a probabilidade condicional de um sítio ser "permitido" (1) a ser exatamente $1/2$ (uma moeda justa) sempre que o sítio não é proibido pela fase. Isso determina unicamente a medida como um produto de moedas justas independentes no conjunto permitido.
   • Induzir-e-Dividir via Pavimentação Exata (Seção 5): Esta prova adapta o esquema de induzir-e-dividir de Peckner [16] para o cenário multidimensional. Como $\mathcal{O}_K$ carece de um mapa de primeiro retorno (ao contrário de $\mathbb{Z}$), os autores substituem a indução por uma pavimentação exata de $\mathcal{O}_K$ por cubos. Eles definem um processo de "super-símbolo" sobre a sub-rede das origens dos blocos de pavimentação. A prova demonstra que, na máxima entropia, a entropia relativa do sistema é igual à entropia dos super-símbolos, o que, por sua vez, força os super-símbolos a serem condicionalmente independentes e uniformemente distribuídos nas configurações permitidas dentro de cada bloco. Esta estrutura implica que a medida é uma extensão relativamente independente da rotação base com fibras de Bernoulli.

Contribuições Principais e Resultados

• Teorema 1.3 (Resultado Principal): O subshift $B$-livre $(X_\mathcal{B}, S)$ é intrinsecamente ergódico. Ele possui uma medida de máxima entropia única, denominada $\kappa$.

  • Identificação Explícita: $\kappa$ é construída como a imagem direta da medida do produto $P \otimes \beta$ (onde $P$ é a medida de Haar em $G$ e $\beta$ é a medida de Bernoulli uniforme em $\{0,1\}^{\mathcal{O}_K}$) via um mapa de codificação $\Phi(g, \omega) = \phi(g) \cdot \omega$.
  • Valor da Entropia: A entropia topológica é $h_{top}(X_\mathcal{B}) = \prod_{\ell \ge 1} (1 - 1/N(b_\ell))$. A medida $\kappa$ alcança esta entropia.
  • Estrutura: Condicionada a uma fase de Haar aleatória $g \in G$, $\kappa$ coloca moedas justas independentes nas posições permitidas $A_g$ (aquelas não congruentes a $-g_\ell \pmod{b_\ell}$) e zeros em outros lugares.
  • Singularidade: $\kappa$ é mutuamente singular com a medida de Mirsky $\nu_\eta$. Enquanto $\nu_\eta$ corresponde à configuração "todos-uns" nos sítios permitidos (entropia zero), $\kappa$ corresponde a uma configuração aleatória (entropia positiva).

• Corolário 1.4 (Generalizações): Como consequência do Teorema 1.3 e do fato de que a ergodicidade intrínseca é um invariante de conjugação topológica, o artigo estabelece a ergodicidade intrínseca para:

  • Subshifts de pontos de rede $k$-livres (Pleasants–Huck, Huck–Baake).
  • Subshifts de pontos de rede $B$-livres (Baake–Huck).
  • Subshifts de números $k$-livres em campos numéricos (Cellarosi–Vinogradov).

• Equidistribuição (Corolário 6.1): O artigo prova que padrões admissíveis uniformemente aleatórios em grandes caixas de Følner equidistribuem de acordo com a medida $\kappa$.

Significância e Alegações
O artigo afirma fornecer a primeira prova de ergodicidade intrínseca para sistemas $B$-livres além da dimensão um. Ele resolve o problema em aberto para inteiros $B$-livres em campos numéricos e configurações de rede relacionadas.

Os autores destacam a "rigidez genuína" do resultado: apesar de o sistema ser hereditário e suportar um simplex amplo de medidas invariantes, a estrutura aritmética força uma medida única "mais caótica". Esta medida é estruturalmente distinta da medida de Mirsky aritmeticamente natural (que é uma rotação), embora esteja intimamente relacionada a ela como uma extensão relativamente independente. O trabalho demonstra que a "ordem" da rotação aritmética e o "caos" da medida de máxima entropia podem coexistir, sendo esta última o maximizador único da entropia. As técnicas de prova, particularmente a adaptação do esquema de induzir-e-dividir para cenários multidimensionais via pavimentações exatas, são apresentadas como contribuições metodológicas significativas.