El conjunto no cubierto en el recubrimiento de Dvoretzky es un conjunto de multiplicidad

Información Básica

• ID del Artículo: 2511.09726
• Título: El conjunto no cubierto en el recubrimiento de Dvoretzky es un conjunto de multiplicidad
• Autor: Mingjie Tan (LAREMA, UMR 6093 CNRS, Université d'Angers)
• Clasificación: math.PR (Teoría de Probabilidad)
• Fecha de Presentación: 12 de noviembre de 2024
• Enlace del Artículo: https://arxiv.org/abs/2511.09726v1

Resumen

Este artículo demuestra que el conjunto no cubierto en el recubrimiento aleatorio de Dvoretzky es un conjunto de multiplicidad (set of multiplicity), mediante la prueba de que su medida de caos multiplicativo natural es una medida de Rajchman.

Antecedentes y Motivación de la Investigación

Problema de Investigación

Este artículo estudia las propiedades de análisis armónico del conjunto no cubierto en el problema de recubrimiento aleatorio de Dvoretzky. El problema central a resolver es: ¿es el conjunto no cubierto $E = \mathbb{T} \setminus (\bigcup_{n=1}^{\infty} I_n)$ un conjunto de multiplicidad (M-set)?

Importancia del Problema

1. Extensión del problema de recubrimiento clásico: El problema de recubrimiento aleatorio propuesto por Dvoretzky en 1956 es un problema clásico en teoría de probabilidad. Shepp proporcionó en 1972 la condición necesaria y suficiente para que el círculo sea completamente cubierto. Este artículo estudia el conjunto no cubierto desde la perspectiva del análisis armónico, abriendo una nueva línea de investigación.
2. Problema fundamental del análisis armónico: Determinar si un conjunto es un conjunto de unicidad (U-set) o un conjunto de multiplicidad (M-set) es uno de los problemas centrales del análisis armónico. Esto involucra la teoría de unicidad de series trigonométricas y tiene un profundo significado teórico.
3. Conexión con la teoría del caos multiplicativo: Este artículo vincula el problema de recubrimiento de Dvoretzky con la teoría de medidas de caos multiplicativo, proporcionando nuevas herramientas para comprender el comportamiento asintótico de los coeficientes de Fourier de estas medidas aleatorias.

Limitaciones de la Investigación Existente

1. Kahane en 1985 estudió la dimensión de Hausdorff del conjunto de recubrimiento finito, particularmente cuando $\ell_n = \alpha/n$, obteniendo $\dim_H F = 1-\alpha$
2. Las propiedades de análisis armónico del conjunto no cubierto $E$ (U-set o M-set) no habían sido estudiadas previamente
3. La investigación existente sobre los coeficientes de Fourier de medidas de caos multiplicativo se ha concentrado principalmente en el Caos Multiplicativo Gaussiano, con menos investigación sobre la medida de Dvoretzky

Motivación de la Investigación

Inspirado por el trabajo de Garban y Vargas (2024) sobre que el Caos Multiplicativo Gaussiano es una medida de Rajchman, el autor desea demostrar que la medida de Dvoretzky también posee propiedades similares, estableciendo así la multiplicidad del conjunto no cubierto.

Contribuciones Principales

1. Teorema Principal: Se demuestra que bajo condiciones apropiadas, la d-ésima convolución de la medida de Dvoretzky $\mu_D$ es casi seguramente absolutamente continua (Teorema 1.1)
2. Caracterización del Análisis Armónico: Se establece que el conjunto no cubierto $E$ es un conjunto $M_0$ (Corolario 1.2), es decir, existe una medida de Rajchman no nula soportada en $E$
3. Ejemplos Concretos: Para el caso clásico $\ell_n = \alpha/n$ ($\alpha \in (0,1)$), se demuestra que $E$ es casi seguramente un conjunto $M_0$; en particular, cuando $0 < \alpha \leq 1/2$, $\mu_D$ en sí misma es una medida de Rajchman
4. Contribución Metodológica: Se aplica exitosamente el método de convolución de Garban-Vargas para tratar el Caos Multiplicativo Gaussiano al problema de recubrimiento de Dvoretzky

Explicación Detallada del Método

Configuración del Problema

Recubrimiento Aleatorio de Dvoretzky:

• Sea $\{\omega_n\}_{n\geq 1}$ una secuencia de variables aleatorias independientes e idénticamente distribuidas, uniformemente distribuidas en el círculo $\mathbb{T} = \mathbb{R}/\mathbb{Z} \cong [0,1)$
• Sea $\{\ell_n\}_{n\geq 1}$ una secuencia de números reales positivos decrecientes a cero
• Intervalos aleatorios: $I_n := (\omega_n, \omega_n + \ell_n) \mod 1$
• Conjunto no cubierto: $E := \mathbb{T} \setminus (\bigcup_{n=1}^{\infty} I_n)$

Construcción de la Medida de Dvoretzky: Para cualquier $t \in [0,1)$ y $n \geq 1$, se define: $P_n(t) := \frac{1 - \mathbf{1}_{(0,\ell_n)}(t-\omega_n)}{1-\ell_n}, \quad M_n(t) := \prod_{k=1}^n P_k(t)$

Secuencia de medidas: $\mu_n(dt) := M_n(t)dt$

Kahane demostró que $\mu_n$ converge débilmente casi seguramente a la medida aleatoria $\mu_D$ (medida de Dvoretzky).

Hipótesis Clave

Los resultados principales de este artículo requieren las siguientes tres hipótesis:

(A) El conjunto no cubierto tiene medida cero: $\sum_{n=1}^{\infty} \ell_n = \infty$ Combinado con el lema de Borel-Cantelli, esto garantiza que $E$ tiene casi seguramente medida de Lebesgue cero.

(B) El conjunto no cubierto es no vacío: $\sum_{n=1}^{\infty} (\ell_n - \ell_{n+1}) \exp\left(\sum_{k=1}^n \ell_k\right) < \infty$ Esto viola la condición de recubrimiento completo de Shepp (1.1), garantizando que $E$ es casi seguramente no vacío.

(C) Condición de Continuidad Absoluta de la Convolución: Existe un entero $d \geq 1$ tal que $\int_{\mathbb{T}^d} K(t_1) \cdots K(t_d) K\left(-\sum_{i=1}^d t_i\right) dt_1 \cdots dt_d < \infty$ donde $K(t) := \exp(\sum_{n=1}^{\infty} (\ell_n - |t|)_+)$.

Línea Técnica Principal

Paso 1: Estrategia de Convolución La estimación directa del coeficiente de Fourier $\hat{\mu}_D(n)$ es extremadamente difícil. La idea central es considerar la d-ésima convolución de $\mu_D$: $\ast^d \mu_D(dt) = \mu_D \ast \mu_D \ast \cdots \ast \mu_D(dt)$

Si se puede demostrar que $\ast^d \mu_D$ es casi seguramente absolutamente continua, entonces por el lema de Riemann-Lebesgue, sus coeficientes de Fourier tienden a 0, por lo que $\mu_D$ es una medida de Rajchman.

Paso 2: Convergencia de la Función de Densidad Para la d-ésima convolución de $\mu_n$, su densidad es: $\ast^d M_n(t) = \int_{\mathbb{T}^d} M_n(t_1) \cdots M_n(t_d) M_n\left(t - \sum_{i=1}^d t_i\right) dt_1 \cdots dt_d$

Se introduce la notación: $F_n(\hat{t}, t) := M_n(t_1) \cdots M_n(t_d) M_n(t_{d+1}), \quad t_{d+1} = t - \sum_{i=1}^d t_i$

Paso 3: Estimación Probabilística de Convergencia $L^1$ Utilizando el Lema 2.1, solo se necesita demostrar: $\lim_{n,m\to\infty} \mathbb{E}\left[\|\ast^d M_n - \ast^d M_m\|_1^{1/2}\right] = 0$

Esto se descompone en dos proposiciones:

Proposición 2.3 (Control a Pequeña Escala): Para cualquier $\delta > 0$, se define $A_\delta(t) = \bigcup_{1\leq i \neq j \leq d+1} \{(\hat{t}) \in \mathbb{T}^d : \|t_i - t_j\| \leq \delta\}$

Se necesita demostrar: $\lim_{\delta \to 0^+} \sup_{n\geq 1} \mathbb{E}\left[\left(\int_{\mathbb{T}} \int_{A_\delta(t)} F_n(\hat{t}, t) d\hat{t} dt\right)^{1/2}\right] = 0$

Puntos Clave de la Prueba:

• Se utiliza el resultado de Fan (1995): $\mu_n(\mathbb{T})$ converge en todos los espacios $L^p$
• Se usa la estimación clave (Lema 2.2): $\frac{1}{C} K_n(t-t') \leq \mathbb{E}[M_n(t)M_n(t')] \leq C K_n(t-t')$
• Cuando $\|t_i - t_j\| \leq \delta$, la integral puede ser controlada por $K(t_i - t_j)$, que por la hipótesis (C) puede hacerse arbitrariamente pequeña

Proposición 2.4 (Convergencia $L^2$): Se demuestra $\lim_{n,m\to\infty} \mathbb{E}\left[\left(\int_{\mathbb{T}} \left|\int_{A_\delta(0)^c} [F_n(\hat{t}, 0) - F_m(\hat{t}, 0)] d\hat{t}\right| dt\right)^{1/2}\right] = 0$

Estrategia de Prueba:

1. Invariancia de Traslación (Lema 2.5): Se demuestra que la esperanza es independiente de $t$, solo se necesita considerar $t=0$
2. Acotación $L^2$ (Lema 2.7):
   • Se descompone $\mathbb{T}^d$ en a lo sumo $K = [2/\delta] + 1$ subintervalos de longitud no superior a $\delta/2$
   • Para $(t_1, \ldots, t_d) \in A_\delta(0)^c$, existen $d+1$ subintervalos disjuntos $B_{j_1}, \ldots, B_{j_{d+1}}$ tales que $t_i \in B_{j_i}$ y están mutuamente separados por al menos $\delta/2$
   • Se utiliza independencia y la estimación (2.12): $\mathbb{E}[F_n(\hat{t}, 0)F_n(\hat{t}', 0)] \leq C' K(t_1-t_1') \cdots K(t_{d+1}-t'_{d+1})$
   • Por la hipótesis (C) se obtiene acotación $L^2$
3. Convergencia $L^2$ (Lema 2.8):
   • Se define la función límite: $H(\hat{t}, \hat{t}') := \prod_{k=1}^{\infty} \mathbb{E}\left[\prod_{i=1}^{d+1} P_k(t_i)P_k(t_i')\right]$
   • Descomposición de regiones: $S_\eta := \{(\hat{t}, \hat{t}') : \|t_i - t_i'\| \leq \eta \text{ para algún } i\}$
   • En $S_\eta$: por el teorema de convergencia dominada, la integral tiende a 0
   • En $S_\eta^c$: cuando $\ell_k < \eta$, los intervalos $(t_i - \ell_k, t_i)$ y $(t_i' - \ell_k, t_i')$ son disjuntos, el valor esperado es independiente de $t, t'$, por lo que $\mathbb{E}[F_n(\hat{t}, 0)F_n(\hat{t}', 0)]$ converge uniformemente a $H(\hat{t}, \hat{t}')$

Puntos de Innovación Técnica

1. Adaptación del Método de Convolución: Se aplica exitosamente la técnica de convolución de Garban-Vargas para campos Gaussianos al recubrimiento discreto de Dvoretzky, superando las diferencias estructurales esenciales entre ambos
2. Descomposición Refinada de Regiones: Mediante la descomposición ingeniosa de $A_\delta(t)$ y $S_\eta$, se divide la integral en dos casos: "puntos cercanos" y "puntos separados", tratados por separado
3. Utilización Completa de la Independencia: En la región $S_\eta^c$, cuando $\ell_k$ es suficientemente pequeño, los diferentes intervalos aleatorios casi no se superponen, haciendo que el valor esperado tenga una estructura de producto simple
4. Establecimiento de Estimaciones Clave: El Lema 2.2 establece la estimación bilateral entre $\mathbb{E}[M_n(t)M_n(t')]$ y la función núcleo $K_n(t-t')$, que es la piedra angular de toda la prueba

Resultados Experimentales (Resultados Teóricos)

Resultados Principales

Teorema 1.1 (Teorema Principal): Supóngase que la secuencia $(\ell_n)$ satisface las condiciones (A), (B) y (C). Entonces la d-ésima convolución $\ast^d \mu_D$ de $\mu_D$ es casi seguramente absolutamente continua.

Corolario 1.2: Bajo las hipótesis del Teorema 1.1, $\mu_D$ es una medida de Rajchman y el conjunto no cubierto $E$ es un conjunto $M_0$.

Aplicaciones Concretas

Caso Clásico: $\ell_n = \alpha/n$, $\alpha \in (0,1)$

1. Verificación de Condiciones:
   • (A): $\sum_{n=1}^{\infty} \alpha/n = \infty$ ✓
   • (B): Se puede verificar que se satisface ✓
   • (C): Se satisface cuando $d \geq \alpha/(1-\alpha)$ (véase GV24, Lema 2.3)
2. Casos Especiales:
   • Cuando $0 < \alpha \leq 1/2$, se puede tomar $d=1$
   • En este caso, $\mu_D$ en sí misma (no su convolución) es una medida de Rajchman
   • Esto se debe a que cuando $d=1$, la condición (C) se convierte en: $\int_{\mathbb{T}} K(t)K(-t) dt = \int_{\mathbb{T}} K^2(t) dt < \infty$ Esta integral converge cuando $\alpha \leq 1/2$
3. Contraste con la Dimensión de Hausdorff:
   • Kahane demostró que la dimensión de Hausdorff del conjunto de recubrimiento finito $F$ es $\dim_H F = 1-\alpha$
   • El conjunto no cubierto $E \subset F$, $\dim_H E \leq 1-\alpha$
   • Este artículo demuestra que aunque $E$ puede tener dimensión muy pequeña, aún soporta una medida de Rajchman no nula

Significado Teórico

1. Perspectiva del Análisis Armónico: Por primera vez se caracteriza el conjunto no cubierto del recubrimiento de Dvoretzky desde la perspectiva del análisis armónico, complementando la investigación existente en teoría de medidas y teoría de dimensiones
2. Teoría del Caos Multiplicativo: Se proporciona una prueba completa de la propiedad de Rajchman de la medida de Dvoretzky como una clase de medida de caos multiplicativo
3. Universalidad del Método: La técnica de prueba puede ser aplicable a otros tipos de medidas de caos multiplicativo

Trabajo Relacionado

Problema de Recubrimiento de Dvoretzky

1. Dvoretzky (1956): Propone el problema de recubrimiento aleatorio
2. Shepp (1972): Proporciona la condición necesaria y suficiente para recubrimiento completo (1.1)
3. Kahane (1985): Estudia la dimensión de Hausdorff del conjunto de recubrimiento finito y la construcción de la medida de Dvoretzky
4. Fan (1989, 1991, 1995): Establece ortogonalidad de medidas, equivalencia y convergencia $L^p$

Conjuntos de Unicidad y Multiplicidad

1. Kahane & Lemarié-Rieusset (1995): Exposición sistemática de la teoría de unicidad de series trigonométricas
2. Lyons (2020): Revisión de 70 años de investigación sobre medidas de Rajchman
3. Kechris & Louveau (1985): Descripción de la teoría de conjuntos y estructura de conjuntos de unicidad

Medidas de Caos Multiplicativo

1. Kahane (1985): Introduce la teoría del caos multiplicativo
2. Berestycki (2017): Método elemental para Caos Multiplicativo Gaussiano
3. Garban & Vargas (2024): Demuestran que GMC es una medida de Rajchman; este artículo adopta directamente su método de convolución

Innovación de Este Artículo

• Establece por primera vez la conexión entre recubrimiento de Dvoretzky y análisis armónico
• Transfiere exitosamente la técnica de GMC a caos multiplicativo discreto
• Proporciona una prueba completa de que el conjunto no cubierto es casi seguramente un conjunto $M_0$

Conclusiones y Discusión

Conclusiones Principales

1. Teorema Central: Bajo hipótesis apropiadas, la d-ésima convolución de la medida de Dvoretzky $\mu_D$ es casi seguramente absolutamente continua
2. Caracterización del Análisis Armónico: El conjunto no cubierto $E$ es casi seguramente un conjunto $M_0$, es decir, existe una medida de Rajchman no nula soportada en $E$
3. Ejemplo Clásico: Para $\ell_n = \alpha/n$ ($\alpha \in (0,1)$), $E$ es casi seguramente un conjunto $M_0$; cuando $\alpha \leq 1/2$, $\mu_D$ en sí misma es una medida de Rajchman

Limitaciones

1. Restricción de las Condiciones:
   • La hipótesis (C) requiere que la d-ésima convolución de la función núcleo $K$ sea integrable, lo que limita la velocidad de decaimiento de $\ell_n$
   • Para $\ell_n = \alpha/n$ con $\alpha > 1/2$, se requiere $d \geq 2$, sin poder demostrar directamente que $\mu_D$ es una medida de Rajchman
2. Limitaciones del Método:
   • Aunque el método de convolución es efectivo, requiere condiciones de integrabilidad bastante fuertes
   • Sigue siendo una pregunta abierta si existe un método más directo para estimar los coeficientes de Fourier
3. Generalidad:
   • Los resultados se centran principalmente en secuencias $\{\ell_n\}$ que satisfacen condiciones de decaimiento específicas
   • Para secuencias más generales, la verificación de la condición (C) puede ser difícil

Direcciones Futuras

1. Generalización a Secuencias Más Generales: Investigar categorías más amplias de $\{\ell_n\}$, relajando la hipótesis (C)
2. Estimación Directa de Coeficientes de Fourier: Buscar métodos que no dependan de convoluciones para demostrar directamente que $\hat{\mu}_D(n) \to 0$
3. Comportamiento Asintótico Preciso: Investigar la velocidad de decaimiento precisa de $\hat{\mu}_D(n)$
4. Generalización a Dimensiones Superiores: Extender los resultados a recubrimientos aleatorios en espacios de dimensión superior
5. Conexión con Otros Caos Multiplicativos: Explorar las conexiones profundas entre la medida de Dvoretzky y otros caos multiplicativos como GMC

Evaluación Profunda

Fortalezas

1. Innovación Teórica:
   • Por primera vez se estudia el problema de recubrimiento de Dvoretzky desde la perspectiva del análisis armónico, abriendo una nueva dirección de investigación
   • Establece una conexión profunda entre la teoría de probabilidad (recubrimiento aleatorio) y el análisis armónico (teoría de unicidad)
   • La técnica de prueba es ingeniosa, adaptando exitosamente el método de Garban-Vargas
2. Rigor Matemático:
   • La prueba es completa y rigurosa, con lógica clara
   • Los lemas clave (como Lemas 2.2, 2.5, 2.7, 2.9) están enunciados y probados con gran detalle
   • El tratamiento de dificultades técnicas (como descomposición de regiones, convergencia uniforme) es muy cuidadoso
3. Profundidad de los Resultados:
   • Revela que aunque el conjunto no cubierto tiene medida de Lebesgue cero, posee una estructura de análisis armónico rica
   • Demuestra que $E$ es un conjunto $M_0$, lo que es más fuerte que simplemente ser un M-set
   • Proporciona una caracterización completa para el ejemplo clásico $\ell_n = \alpha/n$
4. Calidad de la Redacción:
   • La estructura del artículo es clara, con una introducción que presenta bien el contexto y la motivación
   • La explicación de la línea de razonamiento de la prueba es detallada, facilitando la comprensión del lector
   • Hay un buen equilibrio entre detalles técnicos e intuición

Debilidades

1. No Optimalidad de las Condiciones:
   • La hipótesis (C) puede no ser la condición más débil, especialmente para el caso $\alpha > 1/2$ que requiere $d \geq 2$
   • ¿Se puede demostrar que $\mu_D$ en sí misma ($d=1$) es una medida de Rajchman incluso cuando $\alpha > 1/2$?
2. Indirectez del Método:
   • Se demuestra la propiedad de Rajchman indirectamente a través de la continuidad absoluta de la convolución, sin poder proporcionar estimaciones precisas de los coeficientes de Fourier
   • Falta información sobre la velocidad de decaimiento de $\hat{\mu}_D(n)$
3. Limitación de Ejemplos:
   • El ejemplo principal es solo $\ell_n = \alpha/n$
   • Faltan discusiones concretas sobre otras secuencias que satisfacen las condiciones (A)(B)(C)
4. Comparación con Resultados Existentes:
   • Se podría discutir con más detalle la relación con los resultados de Kahane sobre conjuntos de recubrimiento finito
   • Las similitudes y diferencias con la propiedad de Rajchman de GMC podrían explorarse más profundamente

Influencia

1. Contribución Teórica:
   • Añade una dimensión de análisis armónico a la teoría del recubrimiento de Dvoretzky
   • Enriquece la teoría de medidas de caos multiplicativo
   • Proporciona nuevas construcciones probabilísticas para la teoría de conjuntos de unicidad
2. Valor Metodológico:
   • Se verifica aún más la efectividad del método de convolución al tratar medidas de caos multiplicativo
   • Las técnicas de descomposición de regiones y análisis de convergencia uniforme tienen aplicabilidad general
3. Aplicaciones Potenciales:
   • Puede inspirar investigaciones de análisis armónico en otros modelos de recubrimiento aleatorio
   • Las técnicas pueden ser aplicables a otros tipos de medidas aleatorias
4. Reproducibilidad:
   • La prueba se basa completamente en análisis teórico, sin involucrar cálculos numéricos
   • Los resultados principales pueden ser verificados independientemente por lectores especializados
   • Los resultados existentes de los que depende (como convergencia $L^p$ de Fan) tienen referencias claras

Escenarios de Aplicación

1. Investigación Teórica:
   • Problemas de recubrimiento aleatorio en teoría de probabilidad
   • Teoría de unicidad en análisis armónico
   • Teoría de medidas de caos multiplicativo
2. Campos Relacionados:
   • Geometría fractal (estructura geométrica de conjuntos no cubiertos)
   • Teoría de medidas (análisis de Fourier de medidas singulares)
   • Procesos aleatorios (teoría de convergencia de martingalas)
3. Generalizaciones Potenciales:
   • Recubrimientos aleatorios en dimensiones superiores
   • Otros tipos de conjuntos aleatorios
   • Sistemas de caos multiplicativo más generales

Referencias Clave

1. Shepp (1972): "Covering the circle with random arcs" - Proporciona la condición necesaria y suficiente para recubrimiento completo
2. Kahane (1985b): "Some random series of functions" - Estudio sistemático de la medida de Dvoretzky
3. Garban & Vargas (2024): "Harmonic analysis of Gaussian multiplicative chaos on the circle" - Metodología principal adoptada en este artículo
4. Fan (1995): "Sur la $L^p$ convergence des martingales liées au recouvrement" - Resultado clave sobre convergencia $L^p$
5. Kahane & Lemarié-Rieusset (1995): "Fourier Series and Wavelets" - Exposición sistemática de la teoría de unicidad

Evaluación General: Este es un artículo de matemática teórica de alta calidad que establece exitosamente un puente entre el recubrimiento aleatorio de Dvoretzky y el análisis armónico. Los resultados principales son novedosos y profundos, con técnicas de prueba ingeniosas y rigurosas. Aunque hay espacio para mejora en la optimalidad de las condiciones y la directez del método, el artículo proporciona una perspectiva completamente nueva sobre este problema clásico, poseyendo un importante valor teórico e influencia potencial en la investigación.