On the packing dimension of weighted singular matrices on fractals

Resumo Técnico: Sobre a Dimensão de Empacotamento de Matrizes Singulares Ponderadas em Fractais

Enunciado do Problema
O artigo aborda o problema de estimar a dimensão de empacotamento de conjuntos de matrizes singulares ponderadas, especificamente quando esses conjuntos são intersectados com subconjuntos fractais do espaço de matrizes $M_{m \times n}(\mathbb{R})$.

No contexto da aproximação diofantina, uma matriz $\theta$ é $(a, b)$-singular se o teorema de Dirichlet puder ser infinitamente melhorado para essa matriz em relação a vetores de peso dados $a$ e $b$. Embora a dimensão de Hausdorff de vetores singulares tenha sido extensivamente estudada (notavelmente por Cheung, Chevallier, Kadyrov, Kleinbock, Lindenstrauss e Margulis), a dimensão de empacotamento desses conjuntos, particularmente em contextos ponderados e restritos a fractais, permanece menos compreendida. Os autores visam fornecer as primeiras cotas superiores conhecidas para a dimensão de empacotamento de:

1. Matrizes singulares ponderadas ($Sing(a, b)$).
2. Matrizes $\omega$-singulares ponderadas ($Sing(a, b, \omega)$).
3. A interseção desses conjuntos com fractais definidos por Sistemas de Funções Iteradas (IFS).

Metodologia
Os autores empregam métodos de dinâmica homogênea, utilizando especificamente a correspondência de Dani, que relaciona matrizes singulares a trajetórias divergentes no espaço de reticulados unimodulares $X_{m+n} = SL_{m+n}(\mathbb{R}) / SL_{m+n}(\mathbb{Z})$.

O quadro técnico central envolve três componentes principais:

1. Correspondência de Dani e Divergência: Os autores traduzem as propriedades diofantinas das matrizes em propriedades dinâmicas de órbitas sob fluxos diagonais $g_t$. Uma matriz é singular se sua órbita correspondente diverge. Eles também consideram trajetórias "singulares em média" e trajetórias que escapam para o infinito a uma taxa específica.

2. Funções de Altura e a Hipótese de Contração: Para limitar a dimensão do conjunto de trajetórias divergentes intersectado com um fractal $K$, os autores constroem uma família de funções de altura $\{f_\tau\}$ no espaço de reticulados. Essas funções são adaptadas para satisfazer uma "hipótese de contração" em relação à medida fractal $\mu$.

   • A construção depende de estabelecer uma propriedade de expansão para representações do grupo $SL_{m+n}(\mathbb{R})$ atuando em potências exteriores do espaço vetorial.
   • Eles utilizam desigualdades integrais (inspiradas em trabalhos sobre a conjectura de Oppenheim) para provar que a medida fractal satisfaz a hipótese de contração. Isso envolve provar que, para uma sequência específica de expoentes $\eta_l$, a integral da função de altura sob o fluxo decai exponencialmente.

3. Limites Iterativos de Dimensão: Os autores aplicam a hipótese de contração iterativamente. Ao analisar a medida dos conjuntos onde a função de altura permanece grande (indicando divergência), eles derivam cotas superiores para a dimensão de empacotamento. Esse processo exige lidar com pesos desiguais ($a_i \neq a_j$ e $b_i \neq b_j$), o que introduz dificuldades técnicas relacionadas à expansão desigual sob conjugação. Os autores abordam isso provando a hipótese de contração não apenas para a medida original, mas também para medidas decorrentes de pequenas perturbações.

Contribuições e Resultados Principais

• Cotas Superiores Gerais: O artigo estabelece cotas superiores para a dimensão de empacotamento de $Sing(a, b) \cap K$ e $Sing(a, b, \omega) \cap K$, onde $K$ é um produto de conjuntos limites de IFSs que satisfazem a condição do conjunto aberto.

  • A cota é dada por:
    $$\dim_P(Sing(a, b) \cap K) \le \dim_P(K) - \frac{1}{a_1 + b_1} \left( \min_{1 \le l \le d-1} \eta_l w_l \right)$$
    onde $w_l$ são expoentes críticos derivados dos pesos, e $\eta_l$ são constantes que dependem da geometria fractal (especificamente relacionadas a expoentes críticos da medida).

• Constantes Explícitas: Os autores fornecem fórmulas explícitas para as constantes $\eta_l$ em três casos específicos:

  1. O espaço de matrizes completo $K = M_{m \times n}([0, 1])$.
  2. O caso onde $n=1$ (vetores linha).
  3. O caso onde $m=1$ (vetores coluna).
     Nesses casos, as constantes são expressas em termos das dimensões dos componentes fractais.

• Extensão a Fractais: Os resultados generalizam descobertas anteriores sobre vetores singulares em fractais. Enquanto trabalhos anteriores (por exemplo, Khalil) forneceram cotas superiores para a dimensão de Hausdorff em fractais auto-similares em $\mathbb{R}^n$ satisfazendo a condição do conjunto aberto, este artigo expande o escopo para:

  • Matrizes singulares ponderadas.
  • Dimensão de empacotamento (que é geralmente maior ou igual à dimensão de Hausdorff).
  • Produtos de fractais auto-similares em $\mathbb{R}$ com razões de contração iguais.
  • Novos exemplos, como o produto de um conjunto de Cantor de terço médio com um conjunto de Cantor de quinto médio.

• Expoentes Críticos: O artigo introduz e analisa "expoentes críticos" $\zeta_l(\mu)$ associados à medida fractal. Esses expoentes codificam informações sobre o comportamento da medida perto de certas hipersuperfícies e são cruciais para determinar a magnitude da redução de dimensão.

Significado e Afirmações
Os autores afirmam fornecer as primeiras cotas superiores conhecidas para a dimensão de empacotamento de matrizes singulares ponderadas e matrizes $\omega$-singulares ponderadas, tanto no cenário geral quanto quando intersectadas com fractais.

• Novidade em Cenários Não Ponderados: Mesmo no caso não ponderado, os resultados são novos para matrizes, expandindo o escopo conhecido do Problema 6 proposto por Bugeaud, Cheung e Chevalier sobre pares singulares no conjunto de Cantor de terço médio.
• Generalização: Os resultados ampliam a classe de fractais para os quais limites de dimensão são conhecidos, indo além de conjuntos auto-similares simples em $\mathbb{R}^n$ para produtos de fractais em $\mathbb{R}$.
• Contribuição Metodológica: O artigo destaca duas contribuições chave para a metodologia:
  1. A construção de funções de altura que satisfazem a hipótese de contração para medidas fractais, o que envolve provar propriedades de expansão para representações.
  2. O tratamento de pesos desiguais no processo de contração iterativa, o que exigiu uma análise cuidadosa de medidas sob perturbações para gerenciar as dificuldades técnicas da expansão desigual.

O artigo conclui que essas cotas são derivadas de um teorema mais geral concernente à dimensão de empacotamento de pontos no espaço de reticulados unimodulares cujas órbitas sob fluxos diagonais "escapam em média" ou divergem. Os resultados são apresentados como cotas superiores, reconhecendo que a dimensão de empacotamento é uma cota superior para a dimensão de Hausdorff, fornecendo assim novas restrições sobre o tamanho desses conjuntos diofantinos.