🔢 mathématiques

A counterexample to the complex polynomial Koebe radius conjecture

Cet article infirme la conjecture de 2018 sur le rayon de Koebe pour les polynômes à coefficients complexes en construisant un polynôme cubique normalisé spécifique qui est univalent sur un voisinage du disque unité tout en omettant un point dont le module est strictement plus petit que le rayon conjecturé, établissant ainsi une séparation stricte entre les rayons de Koebe réels et complexes de degré trois et prouvant que le degré trois est le degré minimal pour un tel contreexemple.

Auteurs originaux : Aran S. Ziegler

Publié 2026-10-26

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Aran S. Ziegler

Article original sous licence CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Dans le monde des mathématiques complexes, il existe une classe spéciale de formes créées en étirant et en tordant un cercle simple. Imaginez que vous preniez un disque de caoutchouc flexible et que vous le tiriez dans diverses directions sans jamais laisser le matériau se déchirer ou se replier sur lui-même. Dans ce domaine, connu sous le nom d'analyse complexe, une telle transformation est appelée « univalente », ce qui signifie qu'elle associe chaque point du cercle d'origine à un point unique et distinct de la nouvelle forme. Les mathématiciens sont fascinés depuis longtemps par une question spécifique concernant ces formes : peu importe la façon dont vous étirez le disque de caoutchouc, tant que vous respectez les règles, quelle taille de cercle parfait et centré pouvez-vous garantir qu'il s'insérera toujours à l'intérieur de la forme résultante ? Cette zone de sécurité garantie est connue sous le nom de rayon de Koebe. Elle représente une limite fondamentale de sécurité ; si vous restez à l'intérieur de ce rayon, vous êtes certain d'être à l'intérieur de la forme, quel que soit le mode spécifique de distorsion du cercle.

Pendant des décennies, des chercheurs ont cru avoir trouvé la taille exacte de cette zone de sécurité pour un type particulier de distorsion impliquant des polynômes, qui sont des expressions mathématiques construites en additionnant des puissances d'une variable. En 2018, un groupe de mathématiciens a proposé une formule précise pour ce rayon, suggérant que la limite était la même que les règles d'étirement soient simples et réelles, ou plus compliquées et complexes. Ils pensaient que la réponse était un nombre spécifique dérivé de la trigonométrie, environ égal à 0,382. Cette idée semblait robuste, soutenue par des preuves pour des cas plus simples et une extension logique vers des cas plus complexes. La communauté mathématique a accepté cela comme une vérité probable, supposant que les règles régissant ces formes étaient uniformes à travers différents types de coefficients.

Cependant, une nouvelle étude d'Aran S. Ziegler, de l'Université technologique d'Auckland, a brisé cette supposition. Le chercheur a construit un exemple spécifique, soigneusement conçu, qui prouve que la formule proposée est incorrecte lorsqu'elle est appliquée aux nombres complexes. L'article ne se contente pas de suggérer une faille ; il fournit un contre-exemple concret et indéniable. Ziegler a créé un polynôme spécifique, une équation à trois termes avec des coefficients numériques précis, qui se comporte différemment de ce que la théorie prédisait. Ce polynôme est injectif, ce qui signifie qu'il étire avec succès le cercle sans le replier, mais il ne couvre pas toute la zone que l'ancienne théorie affirmait qu'il devait couvrir.

Le cœur de la découverte réside dans le comportement de ce polynôme spécifique. Le chercheur a démontré que cette équation est parfaitement valide et univalente sur un disque légèrement plus grand que le cercle unité standard. Pourtant, lorsque le chercheur a calculé l'image d'un point spécifique sur le bord de ce disque, le résultat était une valeur qui tombait juste en dehors de la zone de sécurité prédite par la conjecture. La distance de ce point par rapport au centre est d'environ 0,38125, ce qui est strictement inférieur à la limite conjecturée d'environ 0,38196. Comme ce point est omis de la forme créée par le polynôme, la zone de sécurité garantie pour ce cas spécifique doit être plus petite que ce que la théorie permettait. Ce seul exemple explicite suffit à infirmer la règle générale selon laquelle les limites complexes et réelles sont identiques.

Pour s'assurer que ce résultat n'était pas une erreur de calcul ou un coup de chance, l'auteur a soumis la preuve à un examen rigoureux, vérifié par machine. L'argument entier a été traduit dans un langage formel qu'un ordinateur pouvait vérifier étape par étape, vérifiant chaque inégalité et opération arithmétique sans aucune place pour l'erreur humaine. L'ordinateur a confirmé que le polynôme est effectivement univalent sur le disque requis et que le point omis existe réellement à la distance calculée. L'étude a également utilisé une méthode impliquant des nombres rationnels pour certifier que le polynôme répond à toutes les conditions nécessaires pour être un contre-exemple valide. Ce niveau de vérification confère au résultat un degré élevé de certitude, le faisant passer d'une hypothèse à un fait prouvé au sein du domaine.

Les implications de cette découverte sont claires et spécifiques. Elle établit une séparation stricte entre le comportement des polynômes à coefficients réels et ceux à coefficients complexes. Alors que l'ancienne théorie se vérifiait pour les cas plus simples de nombres réels, le monde complexe opère sous des contraintes différentes. L'étude confirme que le degré du polynôme importe ; pour les cas les plus simples d'un et deux termes, l'ancienne théorie tient toujours, mais dès que la complexité augmente à trois termes, la règle se brise. Le chercheur n'a pas prétendu trouver la nouvelle limite correcte pour le cas complexe, seulement que l'ancienne limite était trop élevée. La nouvelle frontière exacte demeure inconnue, mais le chemin à suivre est désormais clair : le paysage mathématique de ces formes est plus complexe que ce que suggérait l'élégante formule, et la zone de sécurité pour les distorsions complexes est plus petite que ce que la formule élégante laissait supposer.

Résumé Technique : Un contre-exemple à la conjecture du rayon de Koebe pour les polynômes complexes

Énoncé du problème
L'article traite de la détermination du rayon de Koebe $\rho(\mathcal{F})$ pour la classe des polynômes univoques (holomorphes et injectifs) $\mathcal{F}$ normalisés sous la forme $f(z) = z + \sum_{j=2}^N a_j z^j$ . Le rayon de Koebe est défini comme le supremum des rayons $r$ tels que le disque $D_r$ est contenu dans l'image $f(D)$ pour tout $f \in \mathcal{F}$ .

En 2018, Dmitrishin, Smorodin et Stokolos ont conjecturé que pour la classe des polynômes à coefficients réels ( $\mathcal{U}_{N,\mathbb{R}}$ ) et celle des polynômes à coefficients complexes ( $\mathcal{U}_N$ ), le rayon de Koebe est donné par la formule :
$\rho(\mathcal{U}_N) = \rho(\mathcal{U}_{N,\mathbb{R}}) = \frac{1}{4 \cos^2(\pi/(N + 2))}$
Bien que le cas cubique réel ( $N=3$ ) ait été prouvé comme satisfaisant cette formule avec un rayon de $(3-\sqrt{5})/2 \approx 0,381966$ , le cas complexe est resté une conjecture ouverte. Cet article vise à infirmer l'égalité $\rho(\mathcal{U}_3) = \rho(\mathcal{U}_{3,\mathbb{R}})$ en construisant un polynôme cubique complexe spécifique qui viole le rayon conjecturé.

Méthodologie
L'auteur emploie une approche constructive combinée à une vérification analytique rigoureuse et une preuve formelle :

Construction d'un contre-exemple : L'auteur définit un polynôme cubique normalisé spécifique à coefficients rationnels :
$p(z) = z + \left( \frac{9}{10} + i\frac{1}{60} \right)z^2 + \frac{2}{7}z^3$
Vérification de l'univalence : Pour prouver que $p(z)$ $p (z)$ est univoque sur un disque $D_R$ $D_{R}$ avec $R = 1001/1000$ $R = 1001/1000$ , l'article utilise le mécanisme classique de Brannan. Cela implique de :
- Réduire la condition d'injectivité à un problème d'« exclusion de zéro quadratique ».
- Définir une famille de polynômes quadratiques $q_x(w) = 1 + 2axw + b(4x^2-1)w^2$ et prouver qu'ils n'ont pas de zéros dans $|w| \le R$ pour $x \in [0,1]$ .
- Appliquer un lemme (Lemme 2.1) qui stipule que si $|A - cA| < 1 - c^2$ , le polynôme quadratique $1 + Aw + cw^2$ n'a pas de zéros dans le disque unité.
Certification rationnelle exacte : La vérification de la condition d'exclusion de zéro repose sur l'arithmétique exacte plutôt que sur l'approximation par virgule flottante. L'auteur exprime la condition d'inégalité pertinente sous la forme d'un polynôme $H(y)$ $H (y)$ et prouve que $H(y) > 0$ $H (y) > 0$ sur $[0,1]$ $[0, 1]$ en utilisant les coefficients de Bernstein.
- L'intervalle $[0,1]$ est subdivisé, et des bornes inférieures rationnelles exactes pour les coefficients de Bernstein de $H(y)$ sont calculées.
- Puisque les fonctions de base de Bernstein sont non négatives et dont la somme est 1, des bornes inférieures positives pour les coefficients garantissent la positivité de la fonction.
Vérification formelle : L'intégralité de la preuve, incluant la définition du polynôme, la normalisation, l'univalence sur le disque élargi et les bornes strictes, est vérifiée à l'aide du prouveur de théorèmes Lean 4 (version 4.34.1) avec la bibliothèque mathlib. La preuve repose uniquement sur des axiomes standards (propext, Classical.choice, Quot.sound) sans hypothèses non prouvées.
Calcul de la valeur omise : L'auteur identifie un point spécifique $\zeta = (-24 + 7i)/25$ sur la frontière du disque unité (où $|\zeta|=1$ ). Il calcule son image $w_0 = p(\zeta)$ et prouve que $|w_0|$ est strictement inférieur au rayon conjecturé.

Résultats clés

Réfutation de la conjecture : Le polynôme $p(z)$ est injectif sur $D_{1001/1000}$ , ce qui implique qu'il est univoque sur le disque unité fermé. Cependant, l'image du disque unité par $p$ omet le point $w_0$ , où :
$|w_0| = \sqrt{\frac{641029}{4410000}} \approx 0,3812585$
Séparation stricte des rayons : Le module omis calculé satisfait :
$|w_0| < \frac{763}{2000} < \frac{3-\sqrt{5}}{2}$
Ceci établit l'inégalité stricte :
$\rho(\mathcal{U}_3) \le \sqrt{\frac{641029}{4410000}} < \rho(\mathcal{U}_{3,\mathbb{R}})$
Ainsi, le rayon de Koebe complexe pour le degré 3 est strictement plus petit que le rayon de Koebe réel, réfutant la conjecture selon laquelle ils sont égaux.
Degré minimal d'échec : L'article vérifie que pour les degrés $N=1$ et $N=2$ , les rayons de Koebe réel et complexe sont identiques ( $\rho=1$ et $\rho=1/2$ , respectivement). Par conséquent, le degré 3 est le degré minimal auquel la conjecture échoue.

Signification et revendications
L'article affirme fournir le premier contre-exemple explicite à la conjecture du rayon de Koebe pour les polynômes complexes pour $N=3$ . Sa signification réside dans :

Réfutation de l'égalité complexe : Il démontre que le comportement extremal des polynômes à coefficients réels ne s'étend pas au domaine complexe pour les polynômes cubiques.
Établissement d'une borne supérieure : Il fournit une borne supérieure concrète et rigoureuse pour le rayon de Koebe cubique complexe ( $\approx 0,3812585$ ), se distinguant de la valeur réelle ( $\approx 0,3819660$ ).
Rigueur méthodologique : Ce travail souligne l'utilité de combiner l'analyse complexe classique (critère de Dieudonné, principe de l'argument) avec la vérification formelle moderne (Lean) et l'arithmétique rationnelle exacte (coefficients de Bernstein) pour résoudre des problèmes impliquant des inégalités strictes.

L'auteur déclare explicitement que, bien qu'il fournisse une borne supérieure, il ne détermine pas la valeur optimale (exacte) du rayon de Koebe pour les polynômes cubiques complexes, et ne prétend pas que la conjecture échoue pour tous les degrés $N > 3$ . Le résultat est spécifique au cas cubique.

Articles similaires