Badly approximable points on non-linear carpets

Este artigo resolve uma questão aberta de 2019 ao identificar a primeira classe de atratores não lineares não conformes para os quais o conjunto de pontos mal aproximáveis tem interseção de dimensão cheia, fornecendo também uma fórmula para a dimensão de Hausdorff desses atratores.

O essencial

Imagine que você tem um mapa do tesouro, mas em vez de coordenadas exatas, o mapa é feito de um padrão complexo e infinito, como um tapete que se repete em escalas cada vez menores. A matemática deste artigo trata de dois conceitos principais que interagem nesse "tapete": pontos difíceis de adivinhar e a forma do tapete.

Aqui está uma explicação simples, usando analogias do dia a dia:

1. O Jogo de "Adivinhar o Número" (Aproximação Diofantina)

Imagine que você está tentando adivinhar um número secreto (um ponto no espaço) usando apenas frações simples (números racionais, como 1/2, 3/4, 22/7).

• A Regra Geral: Para a maioria dos números, você consegue adivinhar muito bem. Se você usar frações com denominadores grandes, a diferença entre o seu chute e o número real fica minúscula.
• Os "Ponto Difíceis" (Badly Approximable): Existem alguns números "teimosos". Não importa o quanto você tente, você nunca consegue adivinhá-los com uma precisão muito melhor do que um certo limite. Eles são os "campeões de resistência" contra a aproximação.
• O Problema: A matemática sabe que esses pontos "teimosos" existem e são muito numerosos (ocupam toda a dimensão possível em um espaço plano). Mas a grande pergunta era: Se olharmos para um objeto fractal estranho e curvo (não uma linha reta), esses pontos teimosos ainda estarão lá em grande quantidade?

2. O "Tapete" Não Linear (Carpetes Não Lineares)

Os autores estudam um tipo específico de fractal chamado "tapete".

• Tapetes Antigos (Lineares): Imagine um tapete feito cortando um quadrado em grade e removendo pedaços. Se você der zoom, ele parece sempre o mesmo, mas as linhas são retas e os cortes são uniformes. Isso é fácil de estudar.
• O Novo Tapete (Não Linear e Não Conformal): Os autores criaram um tapete mais complexo. Imagine que, em vez de cortar um quadrado perfeitamente, você estica e distorce o tecido de forma diferente em cada direção (horizontal vs. vertical) e, além disso, a distorção muda conforme você dá zoom. É como se o tapete fosse feito de borracha elástica que se estica de formas diferentes em cada pedaço.
• O Desafio: Até agora, ninguém sabia se os "pontos teimosos" (os difíceis de adivinhar) conseguiam sobreviver nesse tapete de borracha distorcida. A pergunta era: O tapete é tão estranho que expulsa todos os pontos teimosos?

3. A Grande Descoberta

A resposta dos autores é um SIM entusiástico.
Eles provaram que, mesmo nesses tapetes distorcidos e curvos, os pontos "teimosos" ainda estão espalhados por todo o tapete. Na verdade, eles ocupam toda a dimensão possível do tapete.

A Analogia do "Filtro de Café":
Pense no tapete como um filtro de café muito complexo.

• Os "pontos teimosos" são grãos de café.
• A pergunta era: "Se eu passar esse filtro de café por um processo de torção e esticamento (não linear), os grãos de café vão passar ou ficar presos?"
• A descoberta é: Eles passam! Mesmo com a torção, a estrutura do tapete é tão rica que os grãos de café (os pontos difíceis) continuam ocupando todo o espaço disponível.

4. Como eles fizeram isso? (A Estratégia)

Eles usaram uma ferramenta matemática chamada "Jogo de Schmidt" (que é como um jogo de tabuleiro imaginário onde dois jogadores tentam capturar pontos).

• Eles mostraram que, para provar que os pontos teimosos estão lá, não precisamos olhar para o tapete inteiro de uma vez.
• Em vez disso, eles encontraram "pedaços menores" dentro do tapete que são mais fáceis de analisar (como se fossem versões simplificadas do tapete).
• Eles provaram que, mesmo nesses pedaços menores, o tapete é "difuso" (não está colado em uma linha reta). Se o tapete não está colado em uma linha, os pontos teimosos conseguem se esconder nele.

5. Por que isso importa?

• Resolvendo um Mistério: Eles responderam a uma pergunta feita por outros matemáticos em 2019, que duvidavam se essa propriedade se mantinha em formas tão complexas.
• Nova Fórmula: Eles também criaram uma nova fórmula para calcular o "tamanho" (dimensão de Hausdorff) desses tapetes estranhos. É como ter uma nova régua para medir objetos que não são nem redondos nem quadrados, mas algo entre os dois.
• Conexão entre Áreas: O trabalho une a teoria dos números (adivinhar números) com a geometria de fractais (formas complexas), mostrando que a "teimosia" dos números resiste até mesmo nas distorções mais complexas da geometria.

Em resumo:
Os autores pegaram um tipo de forma geométrica muito estranha e distorcida (um tapete não linear) e provaram que ela é "habitável" pelos números mais difíceis de adivinhar. Eles mostraram que, não importa o quanto você distorça o espaço, a riqueza matemática desses pontos especiais permanece intacta.

Resumo técnico

Resumo Técnico: Pontos Mal Aproximáveis em Carpets Não-Lineares

1. O Problema e o Contexto

O artigo aborda um problema fundamental na Aproximação Diofantina: determinar quando o conjunto de pontos mal aproximáveis ($\text{Bad}_d$) em $\mathbb{R}^d$ intersecta um conjunto fractal dado $X$ em dimensão de Hausdorff plena.

• Definição: Um ponto $x \in \mathbb{R}^d$ é "mal aproximável" se a taxa de aproximação por vetores racionais não pode ser melhorada além de uma constante multiplicativa em relação ao teorema de Dirichlet. Formalmente, existe $c > 0$ tal que para todo $p \in \mathbb{Z}^d$ e $q \in \mathbb{N}$:
  $$\left\| x - \frac{p}{q} \right\| \geq \frac{c}{q^{1+1/d}}$$
• Conjectura: Espera-se que, para conjuntos fractais "genéricos" (que não foram projetados especificamente para evitar pontos racionais), a dimensão de Hausdorff da interseção seja igual à dimensão do próprio fractal:
  $$\dim_H(X \cap \text{Bad}_d) = \dim_H(X)$$
• O Desafio: Este resultado foi provado para várias classes de fractais, incluindo conjuntos de Cantor auto-conformes e "carpets" de Bedford-McMullen (que são lineares e auto-affines). No entanto, a pergunta de Das–Fishman–Simmons–Urbański (2019) permanecia em aberto: O método do jogo de Schmidt pode ser usado para provar essa propriedade em fractais definidos por sistemas dinâmicos que são simultaneamente não-conformes e não-lineares?

2. Metodologia

Os autores desenvolvem uma abordagem combinando teoria geométrica da medida, sistemas de funções iteradas (IFS) e teoria de dimensão fractal.

• Objeto de Estudo: Introduzem uma nova classe de fractais chamados "Carpets Não-Lineares". Estes são atratores de IFSs planares da forma $S_{i,j} = (f_i, g_j)$, onde $f_i$ e $g_j$ são IFSs auto-conformes unidimensionais (não necessariamente lineares/afins). Diferentemente dos carpets de Bedford-McMullen, estes permitem mapas não-lineares e não exigem uma estrutura de grade rígida, apenas uma condição de separação aberta coordenada (Coordinate OSC).
• Estratégia Principal:
  1. Jogo de Schmidt e Dimensão Inferior: Utilizam o resultado de que se um conjunto fechado $X$ é "hiperplano difuso" (não está concentrado em hiperplanos), então $\dim_H(X \cap \text{Bad}_d) \geq \dim_L(X)$, onde $\dim_L$ é a dimensão inferior.
  2. Dimensão Inferior Modificada: Como a dimensão inferior de um fractal pode ser menor que sua dimensão de Hausdorff, eles utilizam a dimensão inferior modificada ($\dim_{ML} X = \sup \{ \dim_L Y : Y \subseteq X \}$). O objetivo é encontrar subconjuntos dentro do carpet não-linear que tenham dimensão inferior próxima à dimensão de Hausdorff total.
  3. Espaços Simbólicos e Aproximação: Para lidar com a não-linearidade e a distorção, os autores trabalham em espaços simbólicos. Eles aproximam o sistema não-linear por subsistemas gerados por iterações profundas (sub-IFSs).
  4. Tratamento da Distorção: Um desafio técnico crucial é que a dimensão inferior não é estável sob mapas Hölder (diferente da dimensão de Hausdorff). Eles demonstram que, mesmo na ausência de "dominação" (uma condição geométrica forte), é possível construir subsistemas dominados com dimensão inferior arbitrariamente próxima da dimensão total, garantindo que a distorção exponencial não destrua a propriedade de difusão hiperplana.

3. Principais Contribuições e Resultados

O artigo apresenta três teoremas centrais:

• Teorema 2.1 (Princípio Variacional para Dimensão de Hausdorff):
  Para um carpet não-linear $X$ satisfazendo a Coordinate OSC, a dimensão de Hausdorff é dada pelo supremo das dimensões de Hausdorff de medidas ergódicas:
  $$\dim_H X = \sup \{ \dim_H \mu : \mu \text{ é ergódico} \}$$
  Além disso, fornecem uma fórmula variacional explícita para calcular essa dimensão como um limite de soluções de problemas de otimização em espaços simbólicos, generalizando resultados anteriores para sistemas não-domínados.

• Teorema 2.2 (Igualdade de Dimensões):
  Para a mesma classe de fractais, provam que a dimensão de Hausdorff é igual à dimensão inferior modificada:
  $$\dim_H X = \dim_{ML} X$$
  Isso é crucial porque implica que existem subconjuntos dentro do fractal que são "espessos" o suficiente (em termos de dimensão inferior) para suportar a interseção com pontos mal aproximáveis. A prova envolve a construção cuidadosa de subsistemas onde as direções de contração são distintas (exponencialmente separadas), evitando que a distorção não-linear anule a dimensão inferior.

• Teorema 2.3 (Resposta à Questão 1):
  Se um carpet não-linear satisfaz a Coordinate OSC e possui pelo menos dois mapas em alguma coluna e algum mapa em alguma linha (garantindo difusão hiperplana), então:
  $$\dim_H(X \cap \text{Bad}_2) = \dim_H X$$
  Significado: Este é o primeiro resultado que confirma a conjectura de dimensão plena para uma classe de atratores não-conformes e não-lineares, respondendo afirmativamente à questão levantada por Das et al. (2019).

• Proposição 5.1 (Conjuntos de Cantor Parabólicos):
  Como aplicação adicional, mostram que o método também funciona para Conjuntos de Cantor Parabólicos (IFSs com pontos fixos indiferentes), provando que $\dim_H(\text{Bad}_1 \cap X) = \dim_H X$ para essa classe.

4. Significado e Impacto

• Avanço Teórico: O trabalho rompe a barreira entre a teoria de aproximação diofantina em fractais lineares/afins e sistemas dinâmicos não-lineares gerais. Demonstra que a "não-linearidade" e a "não-conformidade" não impedem a existência de uma interseção plena com pontos mal aproximáveis, desde que certas condições de difusão geométrica sejam satisfeitas.
• Ferramentas Novas: A introdução de técnicas para lidar com a dimensão inferior em sistemas não-lineares, superando a instabilidade sob mapas Hölder, oferece novas ferramentas para a geometria fractal.
• Generalização: Os resultados generalizam a teoria dos carpets de Bedford-McMullen e dos atratores de Barański para o contexto não-linear, fornecendo também uma fórmula variacional para a dimensão de Hausdorff que é de interesse independente.
• Resolução de Problema Aberto: O artigo resolve explicitamente uma questão aberta na literatura recente (Das–Fishman–Simmons–Urbański), consolidando o entendimento sobre a distribuição de pontos mal aproximáveis em fractais complexos.

Em suma, o artigo estabelece que a propriedade de "ser mal aproximável" é ubíqua em fractais não-lineares não-conformes, desde que o fractal não esteja degenerado em uma linha, utilizando uma combinação sofisticada de dinâmica simbólica, teoria de jogos e análise de dimensão fractal.