The Dirichlet spectrum with respect to $L_1$ norm is $\left[\frac12,1\right]$

Resumen Técnico: El Espectro de Dirichlet con respecto a la Norma $L^1$

Planteamiento del Problema
El artículo investiga el espectro de Dirichlet $D[F]$ asociado a una norma $F$ en $\mathbb{R}^2$. Para un número irracional $\alpha$, la constante de Dirichlet $d_F(\alpha)$ se define mediante el primer mínimo sucesivo de la red $\Lambda_\alpha(t) = \text{diag}(t^{-1}, t) \begin{pmatrix} 1 & 0 \\ -\alpha & 1 \end{pmatrix} \mathbb{Z}^2$ con respecto a la bola unitaria de $F$. La constante de Dirichlet normalizada está dada por $\delta_F(\alpha) = \Delta_F \cdot (d_F(\alpha))^2$, donde $\Delta_F$ es el determinante crítico de la bola unitaria. El espectro de Dirichlet $D[F]$ es el conjunto de todos estos valores $\delta_F(\alpha)$ para $\alpha \in \mathbb{R} \setminus \mathbb{Q}$.

Si bien la estructura del espectro de Dirichlet clásico (asociado a la norma sup, $L^\infty$) es conocida por ser compleja, conteniendo tanto puntos discretos como un "rayo de Hall" continuo, la estructura para otras normas permanece menos comprendida. Este artículo se centra específicamente en la norma $L^1$, definida por $F^{[1]}(x, y) = |x| + |y|$. El problema central es determinar el conjunto exacto $D[1] = \{ \delta_{F^{[1]}}(\alpha) : \alpha \in \mathbb{R} \setminus \mathbb{Q} \}$.

Metodología
El autor emplea una estrategia de múltiples pasos que conecta la aproximación diofántica, las fracciones continuas y la geometría fractal:

1. Conexión con el Espectro de Minkowski: El artículo establece un vínculo directo entre el espectro de Dirichlet $L^1$ y el espectro de Minkowski $M$, asociado con la fracción continua diagonal (DCF) de Minkowski. Se demuestra que $\delta_{F^{[1]}}(\alpha) = 2m(\alpha)$, donde $m(\alpha)$ es la constante de Minkowski definida mediante el limsup de $t \mu_\alpha(t)$, siendo $\mu_\alpha(t)$ la interpolación lineal de la envolvente convexa inferior del conjunto $\{(q, \|q\alpha\|)\}$. En consecuencia, $D[1] = 2M$. El problema se reduce así a caracterizar el espectro de Minkowski $M$.

2. Representación Funcional: Utilizando los resultados de Moshchevitin, la constante de Minkowski $m(\alpha)$ se expresa como el limsup de valores derivados de dos funciones, $G(x,y)$ y $F(x,y)$, que dependen de las colas de la expansión de la fracción continua regular de $\alpha$. La función $F$ corresponde a los convergentes consecutivos que satisfacen la desigualdad de Legendre, mientras que $G$ corresponde a los convergentes "saltados". Para facilitar el análisis, el autor introduce un cambio de variables que transforma $F$ en una función $K(u,v)$, definida sobre números reales positivos, lo cual simplifica la estimación de los límites.

3. Algoritmo de Descomposición de Sumas: Una herramienta crucial es un algoritmo recientemente descubierto (de [27] y [4]) que descompone cualquier irracional $s \in (0,1)$ en una suma de dos fracciones continuas, $s = \beta + \gamma$, donde los cocientes parciales de $\beta$ y $\gamma$ tienden a infinito. Esta descomposición permite la construcción explícita de números con propiedades específicas.

4. Construcción Explícita de $\alpha$: Para probar que un valor específico $m \in (1/4, 1/2)$ pertenece al espectro, el autor construye un número irracional $\alpha$ concatenando bloques derivados de la descomposición de un $s$ objetivo $= 4m-1$. La construcción involucra:

   • La creación de bloques $W_N = (b_N, \dots, b_1, 1, c_1, \dots, c_N)$ basados en los cocientes parciales de $\beta$ y $\gamma$.
   • La inserción de estos bloques con grandes cocientes parciales "separadores" $d_j$ para aislar el comportamiento del dígito central '1'.
   • El análisis de la fracción continua resultante para demostrar que el limsup de la constante de Minkowski está determinado exactamente por los términos "saltados" centrales (asociados al dígito 1), mientras que todos los otros cortes producen valores estrictamente menores.

5. Análisis de la Dimensión de Hausdorff: Para los conjuntos de nivel $\Theta_m = \{ \alpha : m(\alpha) = m \}$, el artículo utiliza los bloques construidos para embeber conjuntos de números con cocientes parciales restringidos. Aplicando argumentos de distorsión y propiedades de los cilindros de fracciones continuas, el autor estima la dimensión de Hausdorff de estos conjuntos.

Resultados Clave

• Teorema 1.1 (Resultado Principal): El espectro de Dirichlet para la norma $L^1$ es el intervalo cerrado:
  $$D[1] = \left[ \frac{1}{2}, 1 \right].$$
  Equivalentemente, el espectro de Minkowski es $M = [1/4, 1/2]$. Este resultado confirma que, para la norma $L^1$, el espectro ocupa todo el rango teóricamente posible para normas simétricas (puesto que $1/2 \le \delta_F(\alpha) \le 1$ generalmente).

• Teorema 1.3 (Dimensión de los Conjuntos de Nivel): Para cualquier $m \in (1/4, 1/2)$, el conjunto de nivel $\Theta_m$ tiene una dimensión de Hausdorff estrictamente mayor que $1/2$. Específicamente, si $s = 4m-1$ y $A$ es suficientemente grande, $\dim_H \Theta_m \ge \delta_A$, donde $\delta_A$ es la dimensión del conjunto de números con cocientes parciales $\ge A$.

• Teorema 7.3: Para cualquier $m \in (1/4, 1/2)$, $\dim_H \Theta_m < 1$. Esto distingue a estos conjuntos de nivel del caso genérico ($m=1/2$), el cual posee medida de Lebesgue completa.

• Teorema 7.6: La dimensión del conjunto de nivel del extremo es exactamente $\dim_H \Theta_{1/4} = 1/2$.

• Corolario 7.7: El límite de las dimensiones cuando $m$ tiende a $1/4$ desde arriba es $1/2$.

Significancia y Reivindicaciones
El artículo afirma proporcionar la primera descripción completa de un espectro diofántico unidimensional. Si bien se ha demostrado recientemente que los espectros de Dirichlet multidimensionales son intervalos, el caso unidimensional suele ser más complejo. Al probar que $D[1]$ es un intervalo cerrado, este trabajo resuelve la estructura para la norma $L^1$.

Además, el artículo demuestra que los conjuntos de nivel de la constante de Minkowski son "grandes" en un sentido fractal (dimensión $> 1/2$) para todos los puntos interiores del espectro, mientras que los extremos poseen propiedades dimensionales distintas. La metodología se apoya en la construcción explícita de números mediante la concatenación de fracciones continuas, cerrando la brecha entre las propiedades algebraicas de la constante de Minkowski y las propiedades geométricas de los conjuntos asociados.

El autor señala que el resultado depende de las propiedades específicas de la norma $L^1$ y de la fracción continua diagonal de Minkowski, y no pretende generalizar estos resultados estructurales a normas arbitrarias sin una investigación adicional. El trabajo se presenta como una solución a un problema planteado por Moshchevitin sobre el espectro de Minkowski.