On the packing dimension of weighted singular matrices on fractals

Resumen Técnico: Sobre la Dimensión de Empaquetamiento de Matrices Singulares Ponderadas en Fractales

Enunciado del Problema
El artículo aborda el problema de estimar la dimensión de empaquetamiento de conjuntos de matrices singulares ponderadas, específicamente cuando estos conjuntos se intersecan con subconjuntos fractales del espacio de matrices $M_{m \times n}(\mathbb{R})$.

En el contexto de la aproximación diofántica, una matriz $\theta$ es $(a, b)$-singular si el teorema de Dirichlet puede mejorarse infinitamente para dicha matriz con respecto a los vectores de peso dados $a$ y $b$. Si bien la dimensión de Hausdorff de vectores singulares ha sido estudiada extensamente (notablemente por Cheung, Chevallier, Kadyrov, Kleinbock, Lindenstrauss y Margulis), la dimensión de empaquetamiento de estos conjuntos, particularmente en contextos ponderados y restringidos a fractales, sigue siendo menos comprendida. Los autores tienen como objetivo proporcionar las primeras cotas superiores conocidas para la dimensión de empaquetamiento de:

1. Matrices singulares ponderadas ($Sing(a, b)$).
2. Matrices $\omega$-singulares ponderadas ($Sing(a, b, \omega)$).
3. La intersección de estos conjuntos con fractales definidos por Sistemas de Funciones Iteradas (IFS).

Metodología
Los autores emplean métodos de dinámica homogénea, utilizando específicamente la correspondencia de Dani, que relaciona las matrices singulares con trayectorias divergentes en el espacio de retículos unimodulares $X_{m+n} = SL_{m+n}(\mathbb{R}) / SL_{m+n}(\mathbb{Z})$.

El marco técnico central involucra tres componentes principales:

1. Correspondencia de Dani y Divergencia: Los autores traducen las propiedades diofánticas de las matrices en propiedades dinámicas de órbitas bajo flujos diagonales $g_t$. Una matriz es singular si su órbita correspondiente diverge. También consideran trayectorias "singulares en promedio" y trayectorias que escapan al infinito a una tasa específica.

2. Funciones de Altura y la Hipótesis de Contracción: Para acotar la dimensión del conjunto de trayectorias divergentes intersecado con un fractal $K$, los autores construyen una familia de funciones de altura $\{f_\tau\}$ en el espacio de retículos. Estas funciones están diseñadas para satisfacer una "hipótesis de contracción" con respecto a la medida fractal $\mu$.

   • La construcción depende de establecer una propiedad de expansión para representaciones del grupo $SL_{m+n}(\mathbb{R})$ actuando sobre potencias exteriores del espacio vectorial.
   • Utilizan desigualdades integrales (inspiradas en trabajos sobre la conjetura de Oppenheim) para demostrar que la medida fractal satisface la hipótesis de contracción. Esto implica demostrar que, para una secuencia específica de exponentes $\eta_l$, la integral de la función de altura bajo el flujo decae exponencialmente.

3. Cotas de Dimensión Iterativas: Los autores aplican la hipótesis de contracción de manera iterativa. Al analizar la medida de los conjuntos donde la función de altura permanece grande (lo que indica divergencia), derivan cotas superiores para la dimensión de empaquetamiento. Este proceso requiere manejar pesos desiguales ($a_i \neq a_j$ y $b_i \neq b_j$), lo que introduce dificultades técnicas relacionadas con la expansión desigual bajo conjugación. Los autores abordan esto demostrando la hipótesis de contracción no solo para la medida original, sino también para medidas que surgen de pequeñas perturbaciones.

Contribuciones y Resultados Clave

• Cotas Superiores Generales: El artículo establece cotas superiores para la dimensión de empaquetamiento de $Sing(a, b) \cap K$ y $Sing(a, b, \omega) \cap K$, donde $K$ es un producto de conjuntos límite de IFS que satisfacen la condición del conjunto abierto.

  • La cota viene 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)$$
    donde $w_l$ son exponentes críticos derivados de los pesos, y $\eta_l$ son constantes que dependen de la geometría fractal (específicamente relacionadas con exponentes críticos de la medida).

• Constantes Explícitas: Los autores proporcionan fórmulas explícitas para las constantes $\eta_l$ en tres casos específicos:

  1. El espacio completo de matrices $K = M_{m \times n}([0, 1])$.
  2. El caso donde $n=1$ (vectores fila).
  3. El caso donde $m=1$ (vectores columna).
     En estos casos, las constantes se expresan en términos de las dimensiones de los componentes fractales.

• Extensión a Fractales: Los resultados generalizan hallazgos anteriores sobre vectores singulares en fractales. Mientras que trabajos previos (por ejemplo, Khalil) proporcionaron cotas superiores para la dimensión de Hausdorff en fractales autosimilares en $\mathbb{R}^n$ que satisfacen la condición del conjunto abierto, este artículo extiende el alcance a:

  • Matrices singulares ponderadas.
  • Dimensión de empaquetamiento (que es generalmente mayor o igual a la dimensión de Hausdorff).
  • Productos de fractales autosimilares en $\mathbb{R}$ con ratios de contracción iguales.
  • Nuevos ejemplos, como el producto de un conjunto de Cantor de tercios medios con un conjunto de Cantor de quintos medios.

• Exponentes Críticos: El artículo introduce y analiza "exponentes críticos" $\zeta_l(\mu)$ asociados a la medida fractal. Estos exponentes codifican información sobre el comportamiento de la medida cerca de ciertas hipersuperficies y son cruciales para determinar la magnitud de la reducción de dimensión.

Significado y Afirmaciones
Los autores afirman proporcionar las primeras cotas superiores conocidas para la dimensión de empaquetamiento de matrices singulares ponderadas y matrices $\omega$-singulares ponderadas, tanto en el contexto general como cuando se intersecan con fractales.

• Novedad en Contextos No Ponderados: Incluso en el caso no ponderado, los resultados son nuevos para matrices, expandiendo el alcance conocido del Problema 6 planteado por Bugeaud, Cheung y Chevalier respecto a pares singulares en el conjunto de Cantor de tercios medios.
• Generalización: Los resultados amplían la clase de fractales para los cuales se conocen cotas de dimensión, avanzando más allá de simples conjuntos autosimilares en $\mathbb{R}^n$ hacia productos de fractales en $\mathbb{R}$.
• Contribución Metodológica: El artículo destaca dos contribuciones clave a la metodología:
  1. La construcción de funciones de altura que satisfacen la hipótesis de contracción para medidas fractales, lo cual implica demostrar propiedades de expansión para representaciones.
  2. El manejo de pesos desiguales en el proceso iterativo de contracción, lo cual requirió un análisis cuidadoso de las medidas bajo perturbaciones para gestionar las dificultades técnicas de la expansión desigual.

El artículo concluye que estas cotas se derivan de un teorema más general concerniente a la dimensión de empaquetamiento de puntos en el espacio de retículos unimodulares cuyas órbitas bajo flujos diagonales "escapan en promedio" o divergen. Los resultados se presentan como cotas superiores, reconociendo que la dimensión de empaquetamiento es una cota superior para la dimensión de Hausdorff, proporcionando así nuevas restricciones sobre el tamaño de estos conjuntos diofánticos.