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

Resumo Técnico: O Espectro de Dirichlet com Relação à Norma $L^1$

Enunciado do Problema
O artigo investiga o espectro de Dirichlet $D[F]$ associado a uma norma $F$ em $\mathbb{R}^2$. Para um número irracional $\alpha$, a constante de Dirichlet $d_F(\alpha)$ é definida via o primeiro mínimo sucessivo da rede $\Lambda_\alpha(t) = \text{diag}(t^{-1}, t) \begin{pmatrix} 1 & 0 \\ -\alpha & 1 \end{pmatrix} \mathbb{Z}^2$ em relação à bola unitária de $F$. A constante de Dirichlet normalizada é dada por $\delta_F(\alpha) = \Delta_F \cdot (d_F(\alpha))^2$, onde $\Delta_F$ é o determinante crítico da bola unitária. O espectro de Dirichlet é o conjunto de todos esses valores $\delta_F(\alpha)$ para $\alpha \in \mathbb{R} \setminus \mathbb{Q}$.

Embora a estrutura do clássico espectro de Dirichlet (associado à norma sup, $L^\infty$) seja conhecida por ser complexa, contendo tanto pontos discretos quanto um "raio de Hall" contínuo, a estrutura para outras normas permanece menos compreendida. Este artigo foca especificamente na norma $L^1$, definida por $F^{[1]}(x, y) = |x| + |y|$. O problema central é determinar o conjunto exato $D[1] = \{ \delta_{F^{[1]}}(\alpha) : \alpha \in \mathbb{R} \setminus \mathbb{Q} \}$.

Metodologia
O autor emprega uma estratégia de múltiplas etapas conectando aproximação diofantina, frações contínuas e geometria fractal:

1. Conexão com o Espectro de Minkowski: O artigo estabelece uma ligação direta entre o espectro de Dirichlet $L^1$ e o espectro de Minkowski $M$, associado à fração contínua diagonal (DCF) de Minkowski. Mostra-se que $\delta_{F^{[1]}}(\alpha) = 2m(\alpha)$, onde $m(\alpha)$ é a constante de Minkowski definida via o limsup de $t \mu_\alpha(t)$, sendo $\mu_\alpha(t)$ a interpolação linear do invólucro convexo inferior do conjunto $\{(q, \|q\alpha\|)\}$. Consequentemente, $D[1] = 2M$. O problema é assim reduzido ao caráter da caracterização do espectro de Minkowski $M$.

2. Representação Funcional: Utilizando os resultados de Moshchevitin, a constante de Minkowski $m(\alpha)$ é expressa como o limsup de valores derivados de duas funções, $G(x,y)$ e $F(x,y)$, que dependem das caudas da expansão de fração contínua regular de $\alpha$. A função $F$ corresponde a convergentes consecutivas que satisfazem a desigualdade de Legendre, enquanto $G$ corresponde a convergentes "puladas". Para facilitar a análise, o autor introduz uma mudança de variáveis transformando $F$ em uma função $K(u,v)$, definida em números reais positivos, o que simplifica a estimativa de limites.

3. Algoritmo de Decomposição de Soma: Uma ferramenta crucial é um algoritmo recentemente descoberto (de [27] e [4]) que decompõe qualquer irracional $s \in (0,1)$ em uma soma de duas frações contínuas, $s = \beta + \gamma$, onde os quocientes parciais de $\beta$ e $\gamma$ tendem ao infinito. Essa decomposição permite a construção explícita de números com propriedades específicas.

4. Construção Explícita de $\alpha$: Para provar que um valor específico $m \in (1/4, 1/2)$ pertence ao espectro, o autor constrói um número irracional $\alpha$ concatenando blocos derivados da decomposição do alvo $s = 4m-1$. A construção envolve:

   • Criar blocos $W_N = (b_N, \dots, b_1, 1, c_1, \dots, c_N)$ baseados nos quocientes parciais de $\beta$ e $\gamma$.
   • Inserir esses blocos com grandes quocientes "separadores" $d_j$ para isolar o comportamento do dígito central '1'.
   • Analisar a fração contínua resultante para mostrar que o limsup da constante de Minkowski é exatamente determinado pelos termos "pulados" centrais (associados ao dígito 1), enquanto todos os outros cortes produzem valores estritamente menores.

5. Análise da Dimensão de Hausdorff: Para os conjuntos de nível $\Theta_m = \{ \alpha : m(\alpha) = m \}$, o artigo utiliza os blocos construídos para incorporar conjuntos de números com quocientes parciais restritos. Ao aplicar argumentos de distorção e propriedades de cilindros de frações contínuas, o autor estima a dimensão de Hausdorff desses conjuntos.

Resultados Principais

• Teorema 1.1 (Resultado Principal): O espectro de Dirichlet para a norma $L^1$ é o intervalo fechado:
  $$D[1] = \left[ \frac{1}{2}, 1 \right].$$
  Equivalentemente, o espectro de Minkowski é $M = [1/4, 1/2]$. Este resultado confirma que, para a norma $L^1$, o espectro ocupa toda a faixa teoricamente possível para normas simétricas (visto que $1/2 \le \delta_F(\alpha) \le 1$ geralmente).

• Teorema 1.3 (Dimensão dos Conjuntos de Nível): Para qualquer $m \in (1/4, 1/2)$, o conjunto de nível $\Theta_m$ possui dimensão de Hausdorff estritamente maior que $1/2$. Especificamente, se $s = 4m-1$ e $A$ é suficientemente grande, $\dim_H \Theta_m \ge \delta_A$, onde $\delta_A$ é a dimensão do conjunto de números com quocientes parciais $\ge A$.

• Teorema 7.3: Para qualquer $m \in (1/4, 1/2)$, $\dim_H \Theta_m < 1$. Isso distingue esses conjuntos de nível do caso genérico ($m=1/2$), que possui medida de Lebesgue total.

• Teorema 7.6: A dimensão do conjunto de nível da extremidade é exatamente $\dim_H \Theta_{1/4} = 1/2$.

• Corolário 7.7: O limite das dimensões conforme $m$ se aproxima de $1/4$ por cima é $1/2$.

Significância e Alegações
O artigo alega fornecer a primeira descrição completa de um espectro diofantino unidimensional. Embora espectros de Dirichlet multidimensionais tenham sido recentemente demonstrados como intervalos, o caso unidimensional é tipicamente mais complexo. Ao provar que $D[1]$ é um intervalo fechado, o trabalho resolve a estrutura para a norma $L^1$.

Além disso, o trabalho demonstra que os conjuntos de nível da constante de Minkowski são "grandes" em um sentido fractal (dimensão $> 1/2$) para todos os pontos interiores do espectro, enquanto as extremidades possuem propriedades dimensionais distintas. A metodologia baseia-se na construção explícita de números via concatenação de frações contínuas, unindo as propriedades algébricas da constante de Minkowski às propriedades geométricas dos conjuntos associados.

O autor observa que o resultado depende das propriedades específicas da norma $L^1$ e da fração contínua diagonal de Minkowski, e não afirma que esses resultados estruturais se generalizam para normas arbitrárias sem investigação adicional. O trabalho é apresentado como uma solução para um problema proposto por Moshchevitin sobre o espectro de Minkowski.