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

Sintesi Tecnica: Lo Spettro di Dirichlet rispetto alla Norma $L^1$

Enunciato del Problema
Il saggio investiga lo spettro di Dirichlet $D[F]$ associato a una norma $F$ su $\mathbb{R}^2$. Per un numero irrazionale $\alpha$, la costante di Dirichlet $d_F(\alpha)$ è definita tramite il primo minimo successivo del reticolo $\Lambda_\alpha(t) = \text{diag}(t^{-1}, t) \begin{pmatrix} 1 & 0 \\ -\alpha & 1 \end{pmatrix} \mathbb{Z}^2$ rispetto alla palla unitaria di $F$. La costante di Dirichlet normalizzata è data da $\delta_F(\alpha) = \Delta_F \cdot (d_F(\alpha))^2$, dove $\Delta_F$ è il determinante critico della palla unitaria. Lo spettro di Dirichlet $D[F]$ è l'insieme di tutti tali valori $\delta_F(\alpha)$ per $\alpha \in \mathbb{R} \setminus \mathbb{Q}$.

Sebbene la struttura dello spettro classico di Dirichlet (associato alla norma sup, $L^\infty$) sia nota per essere complessa, contenendo sia punti discreti che un "raggio di Hall" continuo, la struttura per altre norme rimane meno compresa. Questo saggio si concentra specificamente sulla norma $L^1$, definita da $F^{[1]}(x, y) = |x| + |y|$. Il problema centrale è determinare l'insieme esatto $D[1] = \{ \delta_{F^{[1]}}(\alpha) : \alpha \in \mathbb{R} \setminus \mathbb{Q} \}$.

Metodologia
L'autore impiega una strategia multi-fase che connette l'approssimazione di Diophante, le frazioni continue e la geometria frattale:

1. Connessione allo Spettro di Minkowski: Il saggio stabilisce un legame diretto tra lo spettro di Dirichlet $L^1$ e lo spettro di Minkowski $M$, associato alla frazione continua diagonale (DCF) di Minkowski. Si dimostra che $\delta_{F^{[1]}}(\alpha) = 2m(\alpha)$, dove $m(\alpha)$ è la costante di Minkowski definita tramite il limsup di $t \mu_\alpha(t)$, con $\mu_\alpha(t)$ che è l'interpolazione lineare dell'inviluppo convesso inferiore dell'insieme $\{(q, \|q\alpha\|)\}$. Di conseguenza, $D[1] = 2M$. Il problema viene così ridotto alla caratterizzazione dello spettro di Minkowski $M$.

2. Rappresentazione Funzionale: Utilizzando i risultati di Moshchevitin, $m(\alpha)$ è espresso come il limsup di valori derivati da due funzioni, $G(x,y)$ e $F(x,y)$, che dipendono dalle code dell'espansione in frazioni continue regolari di $\alpha$. La funzione $F$ corrisponde a cogenitori consecutivi che soddisfano la disuguaglianza di Legendre, mentre $G$ corrisponde a cogenitori "saltati". Per facilitare l'analisi, l'autore introduce un cambio di variabili che trasforma $F$ in una funzione $K(u,v)$, definita su numeri reali positivi, che semplifica la stima dei limiti.

3. Algoritmo di Decomposizione di Somma: Uno strumento crucialo è un algoritmo recentemente scoperto (da [27] e [4]) che decompone ogni irrazionale $s \in (0,1)$ in una somma di due frazioni continue, $s = \beta + \gamma$, dove i quozienti parziali di $\beta$ e $\gamma$ tendono all'infinito. Questa decomposizione permette la costruzione esplicita di numeri con proprietà specifiche.

4. Costruzione Esplicita di $\alpha$: Per dimostrare che un valore specifico $m \in (1/4, 1/2)$ appartiene allo spettro, l'autore costruisce un irrazionale $\alpha$ concatenando blocchi derivati dalla decomposizione di un target $s = 4m-1$. La costruzione prevede:

   • La creazione di blocchi $W_N = (b_N, \dots, b_1, 1, c_1, \dots, c_N)$ basati sui quozienti parziali di $\beta$ e $\gamma$.
   • L'inserimento di questi blocchi con grandi quozienti "separatori" $d_j$ per isolare il comportamento della cifra centrale '1'.
   • L'analisi della frazione continua risultante per mostrare che il limsup della costante di Minkowski è esattamente determinato dai termini "saltati" centrali (associati alla cifra 1), mentre tutti gli altri tagli producono valori strettamente minori.

5. Analisi della Dimensione di Hausdorff: Per i sottoinsiemi di livello $\Theta_m = \{ \alpha : m(\alpha) = m \}$, l'autore utilizza i blocchi costruiti per incorporare insiemi di numeri con quozienti parziali ristretti. Applicando argomenti di distorsione e proprietà dei cilindri delle frazioni continue, l'autore stima la dimensione di Hausdorff di tali insiemi.

Risultati Chiave

• Teorema 1.1 (Risultato Principale): Lo spettro di Dirichlet per la norma $L^1$ è l'intervallo chiuso:
  $$D[1] = \left[ \frac{1}{2}, 1 \right].$$
  Equivalentemente, lo spettro di Minkowski è $M = [1/4, 1/2]$. Questo risultato conferma che, per la norma $L^1$, lo spettro occupa l'intero intervallo teoricamente possibile per le norme simmetriche (poiché $1/2 \le \delta_F(\alpha) \le 1$ generalmente).

• Teorema 1.3 (Dimensione dei Sottoinsiemi di Livello): Per ogni $m \in (1/4, 1/2)$, il sottoinsieme di livello $\Theta_m$ ha una dimensione di Hausdorff strettamente maggiore di $1/2$. Specificamente, se $s = 4m-1$ e $A$ è sufficientemente grande, $\dim_H \Theta_m \ge \delta_A$, dove $\delta_A$ è la dimensione dell'insieme dei numeri con quozienti parziali $\ge A$.

• Teorema 7.3: Per ogni $m \in (1/4, 1/2)$, $\dim_H \Theta_m < 1$. Ciò distingue questi sottoinsiemi di livello dal caso generico ($m=1/2$), che ha piena misura di Lebesgue.

• Teorema 7.6: La dimensione del sottoinsieme di livello del punto estremo è esattamente $\dim_H \Theta_{1/4} = 1/2$.

• Corollario 7.7: Il limite delle dimensioni quando $m$ tende a $1/4$ dall'alto è $1/2$.

Significato e Rivendicazioni
Il saggio sostiene di fornire la prima descrizione completa di uno spettro di Diophante monodimensionale. Mentre gli spettri di Dirichlet multidimensionali sono stati recentemente dimostrati essere intervalli, il caso monodimensionale è tipicamente più complesso. Dimostrando che $D[1]$ è un intervallo chiuso, il lavoro risolve la struttura per la norma $L^1$.

Inoltre, il saggio dimostra che i sottoinsiemi di livello della costante di Minkowski sono "grandi" in senso frattale (dimensione $> 1/2$) per tutti i punti interni dello spettro, mentre i punti estremi hanno proprietà dimensionali distinte. La metodologia si basa sulla costruzione esplicita di numeri tramite concatenazione di frazioni continue, colmando il divario tra le proprietà algebriche della costante di Minkowski e le proprietà geometriche degli insiemi associati.

L'autore osserva che il risultato dipende dalle proprietà specifiche della norma $L^1$ e della frazione continua diagonale di Minkowski, e non pretende di generalizzare questi risultati strutturali ad arbitrarie norme senza ulteriori indagini. Il lavoro è presentato come una soluzione a un problema posto da Moshchevitin riguardante lo spettro di Minkowski.