A counterexample to the complex polynomial Koebe radius conjecture

Sintesi Tecnica: Un Controesempio alla Congettura del Raggio di Koebe per i Polinomi Complessi

Enunciato del Probletma
Il documento affronta la determinazione del raggio di Koebe $\rho(\mathcal{F})$ per la classe di polinomi univalenti (olomorfi e iniettivi) $\mathcal{F}$ normalizzati come $f(z) = z + \sum_{j=2}^N a_j z^j$. Il raggio di Koebe è definito come il supremo dei raggi $r$ tali che il disco $D_r$ sia contenuto nell'immagine $f(D)$ per ogni $f \in \mathcal{F}$.

Nel 2018, Dmitrishin, Smorodin e Stokolos hanno congetturato che, sia per la classe di polinomi a coefficienti reali ($\mathcal{U}_{N,\mathbb{R}}$) che per quelli a coefficienti complessi ($\mathcal{U}_N$), il raggio di Koebe sia dato dalla formula:
$$\rho(\mathcal{U}_N) = \rho(\mathcal{U}_{N,\mathbb{R}}) = \frac{1}{4 \cos^2(\pi/(N + 2))}$$
Sebbene il caso cubico reale ($N=3$) sia stato dimostrato soddisfare tale formula con un raggio di $(3-\sqrt{5})/2 \approx 0.381966$, il caso complesso è rimasto una congettura aperta. Questo articolo mira a confutare l'uguaglianza $\rho(\mathcal{U}_3) = \rho(\mathcal{U}_{3,\mathbb{R}})$ costruendo un particolare polinomio cubico complesso che viola il raggio congetturato.

Metodologia
L'autore impiega un approccio costruttivo combinato con una verifica analitica rigorosa e una prova formale:

1. Costruzione di un Controesempio: L'autore definisce un particolare polinomio cubico normalizzato con coefficienti razionali:
   $$p(z) = z + \left( \frac{9}{10} + i\frac{1}{60} \right)z^2 + \frac{2}{7}z^3$$
2. Verifica dell'Univalenza: Per dimostrare che $p(z)$ è univalente su un disco $D_R$ con $R = 1001/1000$, il documento utilizza il classico meccanismo di Brannan. Ciò comporta:
   • La riduzione della condizione di iniettività a un problema di "esclusione degli zeri quadratici".
   • La definizione di una famiglia di polinomi quadratici $q_x(w) = 1 + 2axw + b(4x^2-1)w^2$ e la dimostrazione che essi non abbiano zeri in $|w| \le R$ per $x \in [0,1]$.
   • L'applicazione di un lemma (Lemma 2.1) il quale afferma che se $|A - cA| < 1 - c^2$, la quadratica $1 + Aw + cw^2$ non ha zeri nel disco unitario.
3. Certificazione Razionale Esatta: La verifica della condizione di esclusione degli zeri si basa sull'aritmetica esatta piuttosto che su approssimazioni a virgola mobile. L'autore esprime la condizione di disuguaglianza rilevante come un polinomio $H(y)$ e dimostra che $H(y) > 0$ su $[0,1]$ utilizzando i coefficienti di Bernstein.
   • L'intervallo $[0,1]$ viene suddiviso e vengono calcolati i limiti inferiori razionali esatti per i coefficienti di Bernstein di $H(y)$.
   • Poiché le funzioni base di Bernstein sono non negative e la loro somma è 1, i limiti inferiori positivi per i coefficienti garantiscono la positività della funzione.
4. Verifica Formale: L'intera prova, inclusa la definizione del polinomio, la normalizzazione, l'univalenza sul disco ingrandito e i limiti stretti, è verificata tramite il theorem prover Lean 4 (versione 4.34.1) con la libreria mathlib. La prova si basa solo su assiomi standard (propext, Classical.choice, Quot.sound) senza ipotesi non dimostrate.
5. Calcolo del Valore Omesso: L'autore identifica un punto specifico $\zeta = (-24 + 7i)/25$ sul bordo del disco unitario (dove $|\zeta|=1$). Calcola la sua immagine $w_0 = p(\zeta)$ e dimostra che $|w_0|$ è strettamente minore del raggio congetturato.

Risultati Chiave

• Confutazione della Congettura: Il polinomio $p(z)$ è iniettivo su $D_{1001/1000}$, il che implica che è univalente sul disco unitario chiuso. Tuttavia, l'immagine del disco unitario sotto $p$ omette il punto $w_0$, dove:
  $$|w_0| = \sqrt{\frac{641029}{4410000}} \approx 0.3812585$$
• Separazione Stretta dei Raggi: Il modulo omesso calcolato soddisfa:
  $$|w_0| < \frac{763}{2000} < \frac{3-\sqrt{5}}{2}$$
  Ciò stabilisce la stretta disuguaglianza:
  $$\rho(\mathcal{mathcal{U}}_3) \le \sqrt{\frac{641029}{4410000}} < \rho(\mathcal{U}_{3,\mathbb{R}})$$
  Questo dimostra che il raggio di Koebe complesso per il grado 3 è strettamente minore del raggio di Koebe reale, confutando la congettura che essi siano uguali.
• Grado Minimo di Fallimento: Il documento verifica che per i gradi $N=1$ e $N=2$, i raggi di Koebe reale e complesso sono identici ($\rho=1$ e $\rho=1/2$, rispettivamente). Pertanto, il grado 3 è il grado minimo in cui la congettura fallisce.

Significatività e Rivendicazioni
L'autore afferma di fornire il primo controesempio esplicito alla congettura del raggio di Koebe per i polinomi complessi per $N=3$. La sua significatività risiede nel:

1. Confutare l'Uguaglianza Complessa: Dimostra che il comportamento estremo dei polinomi a coefficienti reali non si estende al dominio complesso per i polinomi cubici.
2. Stabilire un Limite Superiore: Fornisce un limite superiore concreto e rigoroso per il raggio di Koebe cubico complesso ($\approx 0.3812585$), distinguendolo dal valore reale ($\approx 0.3819660$).
3. Rigore Metodologico: Il lavoro evidenzia l'utilità di combinare l'analisi complessa classica (criterio di Dieudonné, principio dell'argomento) con la moderna verifica formale (Lean) e l'aritmetica razionale esatta (coefficienti di Bernstein) per risolvere problemi che coinvolgono disuguaglianze strette.

L'autore dichiara esplicitamente che, pur fornendo un limite superiore, non determina il valore ottimale (esatto) del raggio di Koebe cubico complesso, né sostiene che la congettura fallisca per tutti i gradi $N > 3$. Il risultato è specifico per il caso cubico.