A counterexample to the complex polynomial Koebe radius conjecture

Technische Samenvatting: Een Tegenvoorbeeld voor de Complexe Polynomiale Koebe-straalvermoeden

Probleemstelling
Het artikel behandelt de bepaling van de Koebe-straal $\rho(\mathcal{F})$ voor de klasse van univalente (holomorfe en injectieve) polynomen $\mathcal{F}$ die genormaliseerd zijn als $f(z) = z + \sum_{j=2}^N a_j z^j$. De Koebe-straal wordt gedefinieerd als het supremum van de radii $r$ waarvoor de schijf $D_r$ deel uitmaakt van de afbeelding $f(D)$ voor elke $f \in \mathcal{F}$.

In 2018 vermoedden Dmitrishin, Smorodin en Stokolos dat voor zowel de klasse van polynomen met reële coëfficiënten ($\mathcal{U}_{N,\mathbb{R}}$) als complexe coëfficiënten ($\mathcal{U}_N$) de Koebe-straal gegeven wordt door de formule:
$$\rho(\mathcal{U}_N) = \rho(\mathcal{U}_{N,\mathbb{R}}) = \frac{1}{4 \cos^2(\pi/(N + 2))}$$
Hoewel het reële kubische geval ($N=3$) bewezen is aan deze formule te voldoen met een straal van $(3-\sqrt{5})/2 \approx 0.381966$, bleef het complexe geval een openstaand vermoeden. Dit artikel beoogt de gelijkheid $\rho(\mathcal{U}_3) = \rho(\mathcal{U}_{3,\mathbb{R}})$ te weerleggen door een specifieke complexe kubische polynoom te construeren die de vermoedde straal schendt.

Methodologie
De auteur hanteert een constructieve benadering gecombineerd met rigoureuze analytische verificatie en formeel bewijs:

1. Constructie van een Tegenvoorbeeld: De auteur definieert een specifieke genormaliseerde kubische polynoom met rationale coëfficiënten:
   $$p(z) = z + \left( \frac{9}{10} + i\frac{1}{60} \right)z^2 + \frac{2}{7}z^3$$
2. Verificatie van Univalentie: Om te bewijzen dat $p(z)$ univalent is op een schijf $D_R$ met $R = 1001/1000$, maakt het artikel gebruik van het klassieke Brannan-mechanisme. Dit omvat:
   • Het reduceren van de injectiviteitsvoorwaarde tot een "kwadratisch nul-uitsluitingsprobleem".
   • Het definiëren van een familie van kwadratische polynomen $q_x(w) = 1 + 2axw + b(4x^2-1)w^2$ en het bewijzen dat deze geen nulpunten hebben in $|w| \le R$ voor $x \in [0,1]$.
   • Het toepassen van een lemma (Lemma 2.1) dat stelt dat als $|A - cA| < 1 - c^2$, de kwadratische $1 + Aw + cw^2$ geen nulpunten heeft in de eenheidsschijf.
3. Exacte Rationele Certificering: De verificatie van de nul-uitsluitingsvoorwaarde berust op exacte rekenkunde in plaats van drijvende-kommagetalbenaderingen. De auteur drukt de relevante ongelijkheidsvoorwaarde uit als een polynoom $H(y)$ en bewijst dat $H(y) > 0$ op $[0,1]$ met behulp van Bernstein-coëfficiënten.
   • Het interval $[0,1]$ wordt onderverdeeld en exacte rationale ondergrenzen voor de Bernstein-coëfficiënten van $H(y)$ worden berekend.
   • Aangezien Bernstein-basisfuncties niet-negatief zijn en samen 1 vormen, garanderen positieve ondergrenzen voor de coëfficiënten de positiviteit van de functie.
4. Formele Verificatie: Het volledige bewijs, inclus_e de definitie van de polynoom, de normalisatie, de univalentie op de vergrote schijf en de strikte grenzen, wordt geverifieerd met de Lean 4 theorem prover (versie 4.34.1) met de mathlib bibliotheek. Het bewijs berust uitsluitend op standaardaxioma's (propext, Classical.choice, Quot.sound) zonder onbewezen hypothesen.
5. Berekening van de Uitgesloten Waarde: De auteur identificeert een specifiek punt $\zeta = (-24 + 7i)/25$ op de rand van de eenheidsschijf (waar $|\zeta|=1$). Zij berekenen de afbeelding $w_0 = p(\zeta)$ en bewijzen dat $|w_0|$ strikt kleiner is dan de vermoedde straal.

Kernresultaten

• Weerlegging van het Vermoeden: De polynoom $p(z)$ is injectief op $D_{1001/1000}$, wat impliceert dat zij univalent is op de gesloten eenheidsschijf. Echter, de afbeelding van de eenheidsschijf onder $p$ laat het punt $w_0$ uit, waarbij:
  $$|w_0| = \sqrt{\frac{641029}{4410000}} \approx 0.3812585$$
• Strikte Scheiding van Radii: De berekende uitgesloten modulus voldoet aan:
  $$|w_0| < \frac{763}{2000} < \frac{3-\sqrt{5}}{2}$$
  Dit vestigt de strikte ongelijkheid:
  $$\rho(\mathcal{U}_3) \le \sqrt{\frac{641029}{4410000}} < \rho(\mathcal{U}_{3,\mathbb{R}})$$
  Hiermee wordt aangetoond dat de complexe Koebe-straal voor graad 3 strikt kleiner is dan de reële Koebe-straal, waarmee het vermoeden dat zij gelijk zijn, wordt weerlegd.
• Minimale Graad van Falen: Het artikel verifieert dat voor graden $N=1$ en $N=2$, de reële en complexe Koebe-radii identiek zijn ($\rho=1$ en $\rho=1/2$, respectievelijk). Daarom is graad 3 de minimale graad waarbij het vermoeden niet langer standhoudt.

Betekenis en Claims
Het artikel claimt het eerste expliciete tegenvoorbeeld te leveren voor het complexe polynomiale Koebe-straalvermoeden voor $N=3$. De betekenis ligt in:

1. Weerlegging van de Complexe Gelijkheid: Het toont aan dat het extreme gedrag van polynomen met reële coëfficiënten zich niet uitbreidt naar het complexe domein voor kubische polynomen.
2. Vaststellen van een Bovengrens: Het levert een concrete, rigoureuze bovengrens voor de complexe kubische Koebe-straal ($\approx 0.3812585$), die verschilt van de reële waarde ($\approx 0.3819660$).
3. Methodologische Rigor: Het werk benadrukt het nut van het combineren van klassieke complexe analyse (Dieudonné-criterium, argumentprincipe) met moderne formele verificatie (Lean) en exacte rationale rekenkunde (Bernstein-coëfficiënten) om problemen met betrekking tot strikte ongelijkheden te beslechten.

De auteur stelt expliciet dat hoewel zij een bovengrens leveren, zij niet de optimale (exacte) waarde van de complexe kubische Koebe-straal bepalen, noch zij beweren dat het vermoeden voor alle graden $N > 3$ niet meer geldt. Het resultaat is specifiek voor de kubische casus.