🔢 mathematics

Distribution of integers with digit restrictions via Markov chains

Este artigo apresenta uma nova técnica baseada em cadeias de Markov para estudar a distribuição de conjuntos de inteiros com restrições de dígitos em progressões aritméticas, estendendo resultados anteriores e aplicando o método a classes de conjuntos multiplicativamente invariantes.

Autores originais: Vicente Saavedra-Araya

Publicado 2026-02-11

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Vicente Saavedra-Araya

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você está tentando organizar uma festa gigantesca, mas com uma regra muito maluca: você só pode convidar pessoas cujos nomes tenham certas letras, ou cujos números de telefone terminem de um jeito específico.

O artigo do matemático Vicente Saavedra-Araya trata exatamente disso, mas com números em vez de convidados. Ele estuda como conjuntos de números que seguem "regras de dígitos" (como "só números que não usam o algarismo 7") se espalham pelos números naturais.

Aqui está uma explicação simplificada usando analogias:

1. O Problema: O "Filtro de Dígitos"

Imagine que você tem uma caixa cheia de todos os números do mundo. Agora, você passa essa caixa por um filtro: "Só passam números que não tenham o dígito 5". O que sobra é um conjunto de números muito "esparso", como se fossem buracos em uma rede.

A pergunta que o autor faz é: Esses números que sobraram estão distribuídos de forma justa ou eles preferem certos grupos?

Por exemplo, se eu pegar todos os números que não têm o dígito 5, eles tendem a cair mais em números pares ou ímpares? Eles preferem números que terminam em 1, 2 ou 3? Ou eles se espalham de forma tão equilibrada que, se você olhar de longe, parece que não há preferência nenhuma?

2. A Ferramenta: A "Corrente de Eventos" (Cadeias de Markov)

Para resolver isso, o autor não usa as ferramentas tradicionais de análise (que seriam como tentar medir a densidade de uma nuvem com uma régua). Em vez disso, ele usa algo chamado Cadeias de Markov.

A Analogia: Imagine um jogo de tabuleiro onde você move um peão. A regra do jogo é: "O próximo passo do peão depende de onde ele está agora e de qual dígito você vai jogar no dado".

Se você está no número 12, o próximo número depende do dígito que você adicionar.
O autor transforma a construção desses números em um "jogo de passos". Se o jogo for "bem comportado" (o que ele chama de irreducível e aperiódico), o peão vai acabar visitando todos os lugares do tabuleiro com a mesma frequência.

Se o peão visita todos os lugares de forma equilibrada, isso prova matematicamente que os números estão uniformemente distribuídos.

3. A Grande Descoberta: O "Fractal de Números"

O artigo também toca em um conceito chamado dimensão de massa.

A Analogia: Imagine uma floresta. Uma floresta densa tem muitos árvores por metro quadrado. Uma floresta rala tem poucas. Um conjunto de números com restrição de dígitos é como uma "floresta fractal": ele não é nem um deserto vazio, nem uma selva densa; ele tem uma estrutura complexa e repetitiva.

O autor investiga uma pergunta aberta: se você pegar essa "floresta de números" e tentar olhar apenas através de uma "fresta" (uma progressão aritmética, como "apenas números que pulam de 10 em 10"), a densidade dessa floresta muda ou ela continua parecendo a mesma?

Ele descobriu que, para certos tipos de conjuntos (os chamados sofic e transitivos), a floresta mantém sua "densidade" original, não importa por qual fresta você olhe. Mas, para outros conjuntos mais bagunçados, a densidade pode mudar drasticamente.

Resumo da Ópera

O trabalho do Saavedra-Araya é como um mapa de tráfego para números exóticos. Ele criou um novo método (usando o "jogo do peão" das Cadeias de Markov) para provar que, mesmo quando restringimos os números de forma severa (proibindo dígitos), eles ainda conseguem manter uma ordem e uma distribuição justa dentro de certas regras.

Em termos simples: Ele provou que, mesmo em mundos com regras de construção muito estranhas, a matemática consegue encontrar um equilíbrio e uma previsibilidade escondida.

Resumo Técnico: Distribuição de Inteiros com Restrições de Dígitos via Cadeias de Markov

Autor: Vicente Saavedra-Araya

1. O Problema

O artigo investiga a distribuição de conjuntos de inteiros que possuem restrições em seus dígitos (em uma base $g \geq 2$ ) ou em sua soma de dígitos. O foco central é entender como esses conjuntos se distribuem em progressões aritméticas (classes de resíduos).

O autor busca responder quando um conjunto de inteiros é uniformemente distribuído módulo $a$ (ou seja, quando ele visita cada classe de resíduo com a mesma frequência assintótica). O problema é estendido para uma classe mais ampla de conjuntos chamados multiplicativamente invariantes (ou $\times g$ -invariantes), que são análogos a conjuntos fractais no domínio dos inteiros. O trabalho também aborda uma questão aberta de Glasscock, Moreira e Richter sobre a interação entre esses conjuntos e progressões aritméticas, utilizando o conceito de dimensão de massa.

2. Metodologia

A principal inovação metodológica deste trabalho é a introdução de uma abordagem baseada em Cadeias de Markov, em contraste com a maioria dos resultados anteriores na área, que dependem fortemente de análise de Fourier.

A estratégia consiste em:

Construção de Cadeias de Markov: Para um conjunto de inteiros definido por restrições de dígitos, o autor constrói cadeias de Markov onde o espaço de estados é o produto do grupo de resíduos ( $\mathbb{Z}_a$ ) pelo conjunto de "estados de memória" do sistema dinâmico (os follower sets da teoria de subshifts).
Dinâmica Simbólica: O autor utiliza a teoria de subshifts (deslocamentos simbólicos) para caracterizar os conjuntos de inteiros. Ele utiliza o Cobertor de Fischer (Fischer cover) para representar subshifts sóficos transitivos de forma irreduzível.
Convergência de Medidas: A distribuição dos inteiros é modelada pela evolução de uma medida de probabilidade através de uma matriz de transição estocástica dupla. A convergência da cadeia de Markov para uma distribuição invariante (uniforme) é usada para provar a distribuição uniforme dos inteiros.

3. Principais Contribuições e Resultados

Generalização de Gelfond e Erdős: O autor fornece condições necessárias e suficientes para a distribuição uniforme de conjuntos com dígitos ausentes e para a independência entre a soma de dígitos e o valor do número em progressões aritméticas. Isso estende e refina resultados clássicos de Gelfond (1968) e Erdős, Mauduit e Sárközy (1990).
Teoremas de Distribuição (Teoremas A e B):
- Teorema A: Estabelece a condição exata ( $\text{mdc}(aa', d_2-d_1, \dots, d_t-d_1) = 1$ ) para que conjuntos com dígitos ausentes sejam uniformemente distribuídos em relação ao valor e à soma de dígitos.
- Teorema B: Fornece uma condição equivalente para a distribuição uniforme da soma de dígitos em progressões aritméticas, eliminando restrições de $\text{mdc}$ anteriormente necessárias.
Resposta à Questão Aberta (Transversalidade): O autor investiga se a dimensão de massa da interseção de um conjunto multiplicativamente invariante $A$ $A$ com uma progressão aritmética $P$ $P$ deve ser ou $0$ ou a dimensão de $A$ $A$ ( $\text{dim}_M(A)$ $dim_{M} (A)$ ).
- Resposta Negativa (Geral): Ele constrói contraexemplos mostrando que, para subshifts apenas transitivos ou apenas sóficos, a dimensão pode ser um valor intermediário.
- Resposta Positiva (Parcial): Ele prova que a afirmação é verdadeira se o conjunto for representado por um subshift sófico transitivo.
Conjectura de Minimalidade de Entropia: O autor propõe que a propriedade de transversalidade (a dimensão ser $0$ ou $\text{dim}_M(A)$ ) é caracterizada por subshifts que são minimalistas em termos de entropia.

4. Significância

Este trabalho é significativo por três razões principais:

Mudança de Paradigma: Substitui a análise de Fourier (tradicional em problemas de soma de dígitos) por uma abordagem de sistemas dinâmicos e cadeias de Markov, que se revela mais poderosa para lidar com restrições de dígitos mais complexas (como a proibição de certas combinações de dígitos).
Unificação: Conecta a teoria dos números (progressões aritméticas) com a dinâmica simbólica (subshifts) e a geometria fractal (dimensão de massa).
Extensão de Fronteiras: Ao tratar de conjuntos multiplicativamente invariantes, o autor move o campo além dos simples "conjuntos de dígitos ausentes", permitindo o estudo de estruturas muito mais ricas e complexas, como as descritas por subshifts de tipo finito (SFT) e subshifts sóficos.