🔢 matemáticas

A counterexample to the complex polynomial Koebe radius conjecture

Este artículo refuta la conjetura del radio de Koebe para polinomios de coeficientes complejos de 2018 mediante la construcción de un polinomio cúbico normalizado específico que es univalente en un entorno del disco unitario pero que omite un punto con un módulo estrictamente menor que el radio conjeturado, estableciendo así una separación estricta entre los radios de Koebe cúbicos reales y complejos y demostrando que el grado tres es el grado mínimo para tal contraejemplo.

Autores originales: Aran S. Ziegler

Publicado 2026-10-26

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Aran S. Ziegler

Artículo original bajo licencia CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

En el mundo de las matemáticas complejas, existe una clase especial de formas creadas al estirar y retorcer un círculo simple. Imagine tomar un disco de goma flexible y tirar de él en varias direcciones sin permitir que el material se rompa o se pliegue sobre sí mismo. En este campo, conocido como análisis complejo, tal transformación se denomina "univalente", lo que significa que mapea cada punto del círculo original a un punto único y distinto en la nueva forma. Los matemáticos han estado fascinados durante mucho tiempo por una pregunta específica sobre estas formas: sin importar cómo se estire el disco de goma, siempre que se sigan las reglas, ¿qué tan grande puede ser un círculo perfecto y centrado que siempre quepa dentro de la forma resultante? Esta zona de seguridad garantizada se conoce como el radio de Koebe. Representa un límite fundamental de seguridad; si uno se mantiene dentro de este radio, tiene la certeza de estar dentro de la forma, independientemente de la manera específica en que el círculo fue distorsionado.

Durante décadas, los investigadores creyeron haber encontrado el tamaño exacto de esta zona de seguridad para un tipo particular de distorsión que involucra polinomios, que son expresiones matemáticas construidas sumando potencias de una variable. En 2018, un grupo de matemáticos propuso una fórmula precisa para este radio, sugiriendo que el límite era el mismo ya fuera que las reglas de estiramiento fueran simples y reales, o más complicadas y complejas. Creían que la respuesta era un número específico derivado de la trigonometría, aproximadamente igual a 0.382. Esta idea parecía robusta, respaldada por pruebas para casos más simples y una extensión lógica a otros más complejos. La comunidad matemática aceptó esto como una verdad probable, asumiendo que las reglas que gobiernan estas formas eran uniformes a través de diferentes tipos de coeficientes.

Sin embargo, un nuevo estudio de Aran S. Ziegler, de la Universidad Tecnológica de Auckland, ha destrozado esta suposición. El investigador ha construido un ejemplo específico, cuidadosamente diseñado, que demuestra que la fórmula propuesta es incorrecta cuando se aplica a números complejos. El artículo no se limita a sugerir una falla; proporciona un contraejemplo concreto e innegable. Ziegler creó un polinomio específico, una ecuación de tres términos con coeficientes numéricos precisos, que se comporta de manera diferente a lo que la teoría predecía. Este polinomio es inyectivo, lo que significa que estira con éxito el círculo sin plegarlo, pero no logra cubrir toda el área que la antigua teoría afirmaba que debía cubrir.

El corazón del descubrimiento reside en el comportamiento de este polinomio específico. El investigador demostró que esta ecuación es perfectamente válida y univalente en un disco ligeramente mayor que el círculo unitario estándar. Sin embargo, cuando el investigador calculó la imagen de un punto específico en el borde de este disco, el resultado fue un valor que cayó justo fuera de la zona segura predicha por la conjetura. La distancia de este punto desde el centro es aproximadamente la de 0.38125, la cual es estrictamente menor que el límite conjeturado de aproximadamente 0.38196. Debido a que este punto es omitido de la forma creada por el polinomio, la zona segura garantizada para este caso específico debe ser más pequeña de lo que la teoría permitía. Este único ejemplo explícito es suficiente para refutar la regla general de que los límites complejos y reales son idénticos.

Para asegurar que este resultado no fuera un error de cálculo o una casualidad, el autor sometió la prueba a un riguroso escrutinio verificado por máquinas. Todo el argumento fue traducido a un lenguaje formal que una computadora pudiera verificar paso a paso, validando cada desigualdad y operación aritmética sin margen para el error humano. La computadora confirmó que el polinomio es, de hecho, univalente en el disco requerido y que el punto omitido realmente existe en la distancia calculada. El estudio también utilizó un método que involucra números racionales para certificar que el polinomio cumple con todas las condiciones necesarias para ser un contraejemplo válido. Este nivel de verificación otorga al resultado un alto grado de certeza, moviéndolo de una hipótesis a un hecho probado dentro del campo.

Las implicaciones de este hallazgo son claras y específicas. Establece una separación estricta entre el comportamiento de los polinomios con coeficientes reales y aquellos con coeficientes complejos. Mientras que la teoría anterior se mantenía cierta para los casos más simples de números reales, el mundo complejo opera bajo restricciones diferentes. El estudio confirma que el grado del polinomio importa; para los casos más simples de uno y dos términos, la antigua teoría sigue siendo válida, pero en el momento en que la complejidad aumenta a tres términos, la regla se rompe. El investigador no afirmó haber encontrado el nuevo límite correcto para el caso complejo, solo que el límite antiguo era demasiado alto. El límite exacto actual sigue siendo desconocido, pero el camino a seguir ahora está claro: el paisaje matemático para estas formas es más intrincado de lo que se pensaba anteriormente, y la zona de seguridad para las distorsiones complejas es más pequeña de lo que la elegante fórmula una vez sugirió.

Resumen Técnico: Un Contraejemplo a la Conjetura del Radio de Koebe para Polinomios Complejos

Planteamiento del Problema
El artículo aborda la determinación del radio de Koebe $\rho(\mathcal{F})$ para la clase de polinomios univalentes (holomorfos e inyectivos) $\mathcal{F}$ normalizados como $f(z) = z + \sum_{j=2}^N a_j z^j$ . El radio de Koebe se define como el supremo de los radios $r$ tales que el disco $D_r$ está contenido en la imagen $f(D)$ para cada $f \in \mathcal{F}$ .

En 2018, Dmitrishin, Smorodin y Stokolos conjeturaron que para la clase de polinomios de coeficientes reales ( $\mathcal{U}_{N,\mathbb{R}}$ ) y de coeficientes complejos ( $\mathcal{U}_N$ ), el radio de Koebe viene dado por la fórmula:
$\rho(\mathcal{U}_N) = \rho(\mathcal{U}_{N,\mathbb{R}}) = \frac{1}{4 \cos^2(\pi/(N + 2))}$
Aunque el caso cúbico real ( $N=3$ ) demostró satisfacer esta fórmula con un radio de $(3-\sqrt{5})/2 \approx 0.381966$ , el caso complejo siguió siendo una conjetura abierta. Este artículo tiene como objetivo refutar la igualdad $\rho(\mathcal{U}_3) = \rho(\mathcal{U}_{3,\mathbb{R}})$ mediante la construcción de un polinomio cúbico complejo específico que viola el radio conjeturado.

Metodología
El autor emplea un enfoque constructivo combinado con verificación analítica rigurosa y prueba formal:

Construcción de un Contraejemplo: El autor define un polinomio cúbico normalizado específico con coeficientes racionales:
$p(z) = z + \left( \frac{9}{10} + i\frac{1}{60} \right)z^2 + \frac{2}{7}z^3$
Verificación de Univalencia: Para probar que $p(z)$ $p (z)$ es univalente en un disco $D_R$ $D_{R}$ con $R = 1001/1000$ $R = 1001/1000$ , el artículo utiliza el clásico mecanismo de Brannan. Esto implica:
- Reducir la condición de inyectividad a un problema de "exclusión de ceros cuadráticos".
- Definir una familia de polinomios cuadráticos $q_x(w) = 1 + 2axw + b(4x^2-1)w^2$ y probar que no tienen ceros en $|w| \le R$ para $x \in [0,1]$ .
- Aplicar un lema (Lema 2.1) que establece que si $|A - cA| < 1 - c^2$ , el cuadrático $1 + Aw + cw^2$ no tiene ceros en el disco unitario.
Certificación Racional Exacta: La verificación de la condición de exclusión de ceros se basa en aritmética exacta en lugar de aproximaciones de punto flotante. El autor expresa la condición de desigualdad relevante como un polinomio $H(y)$ $H (y)$ y demuestra que $H(y) > 0$ $H (y) > 0$ en $[0,1]$ $[0, 1]$ utilizando coeficientes de Bernstein.
- El intervalo $[0,1]$ se subdivide y se calculan cotas inferiores racionales exactas para los coeficientes de Bernstein de $H(y)$ .
- Dado que las funciones de base de Bernstein son no negativas y suman 1, las cotas inferiores positivas para los coeficientes garantizan la positividad de la función.
Verificación Formal: Toda la prueba, incluyendo la definición del polinomio, la normalización, la univalencia en el disco ampliado y las cotas estrictas, se verifica utilizando el demostrador de teoremas Lean 4 (versión 4.34.1) con la biblioteca mathlib. La prueba se basa únicamente en axiomas estándar (propext, Classical.choice, Quot.sound) sin hipótesis no probadas.
Cálculo del Valor Omitido: El autor identifica un punto específico $\zeta = (-24 + 7i)/25$ en la frontera del disco unitario (donde $|\zeta|=1$ ). Calculan su imagen $w_0 = p(\zeta)$ y demuestran que $|w_0|$ es estrictamente menor que el radio conjeturado.

Resultados Clave

Refutación de la Conjetura: El polinomio $p(z)$ es inyectivo en $D_{1001/1000}$ , lo que implica que es univalente en el disco unitario cerrado. Sin embargo, la imagen del disco unitario bajo $p$ omite el punto $w_0$ , donde:
$|w_0| = \sqrt{\frac{641029}{4410000}} \approx 0.3812585$
Separación Estricta de Radios: El módulo omitido calculado satisface:
$|w_0| < \frac{763}{2000} < \frac{3-\sqrt{5}}{2}$
Esto establece la desigualdad estricta:
$\rho(\mathcal{U}_3) \le \sqrt{\frac{641029}{4410000}} < \rho(\mathcal{U}_{3,\mathbb{R}})$
Por lo tanto, el radio de Koebe complejo para el grado 3 es estrictamente menor que el radio de Koebe real, refutando la conjetura de que son iguales.
Grado Mínimo de Falla: El artículo verifica que para los grados $N=1$ y $N=2$ , los radios de Koebe real y complejo son idénticos ( $\rho=1$ y $\rho=1/2$ , respectivamente). Por lo tanto, el grado 3 es el grado mínimo en el que la conjetura falla.

Significado y Reivindicaciones
El artículo afirma proporcionar el primer contraejemplo explícito a la conjetura del radio de Koebe para polinomios complejos para $N=3$ . Su importancia radica en:

Refutar la Igualdad Compleja: Demuestra que el comportamiento extremal de los polinomios de coeficientes reales no se extiende al dominio complejo para polinomios cúbicos.
Establecer un Límite Superior: Proporciona un límite superior concreto y riguroso para el radio de Koebe cúbico complejo ( $\approx 0.3812585$ ), distinguiéndolo del valor real ( $\approx 0.3819660$ ).
Rigor Metodológico: El trabajo destaca la utilidad de combinar el análisis complejo clásico (criterio de Dieudonné, principio del argumento) con la verificación formal moderna (Lean) y la aritmética racional exacta (coeficientes de Bernstein) para resolver problemas que involucran desigualdades estrictas.

El autor establece explícitamente que, si bien proporciona un límite superior, no determina el valor óptimo (exacto) del radio de Koebe cúbico complejo, ni afirma que la conjetura falle para todos los grados $N > 3$ . El resultado es específico para el caso cúbico.

Más como este