La conjetura de Kakeya en tres dimensiones estuvo abierta durante décadas y ya tiene una demostración. Hong Wang (Universidad de Nueva York) y Joshua Zahl (Universidad de Columbia Británica) la publicaron en arXiv en febrero de 2025. Año y medio después, sigue siendo uno de los resultados más comentados del análisis armónico. Este artículo explica qué dice la conjetura de Kakeya, cómo un acertijo sobre una aguja acabó conectado con ondas y polinomios, y qué significa que un conjunto tenga «dimensión 3». ## Un acertijo de 1917 con una aguja En 1917, el matemático japonés Sōichi Kakeya planteó una pregunta de apariencia inocente: ¿cuál es la región de menor área dentro de la cual una aguja de longitud 1 puede dar media vuelta y quedar apuntando en sentido contrario? Las primeras respuestas parecían razonables. Un disco de diámetro 1 sirve y ocupa $\pi/4 \approx 0{,}785$. Un triángulo equilátero de altura 1 baja a $1/\sqrt{3} \approx 0{,}577$, y Gyula Pál demostró en 1921 que ese es el mínimo entre las figuras convexas (sin entrantes). Si se permiten entrantes, la deltoide, una curva de tres puntas parecida a un triángulo con los lados hundidos, mejora la marca: ocupa $\pi/8 \approx 0{,}393$. Y entonces llegó Abram Besicovitch con una sorpresa incómoda. No hay mínimo. Se pueden construir regiones en las que la aguja gira por completo con un área tan pequeña como se quiera: 0,01, 0,0001, lo que pidas. De paso, Besicovitch encontró algo todavía más raro: conjuntos que contienen un segmento de longitud 1 en **cada dirección** y aun así tienen área cero. ## Si el área es cero, ¿qué queda por medir? Aquí aparece la versión moderna del problema. Un conjunto de Kakeya en $\mathbb{R}^n$ (el espacio de $n$ dimensiones) es cualquier conjunto que contiene un segmento de longitud 1 apuntando en todas las direcciones posibles. Besicovitch probó que su volumen puede valer cero. Pero el volumen es una medida tosca. Una recta tiene área cero, y un polvo fractal también, y no se parecen en nada. Hace falta una regla más fina, y esa regla es la dimensión. La conjetura de Kakeya afirma que estos conjuntos, aunque tengan volumen nulo, ocupan el espacio de forma tan completa como sea posible: su dimensión de Hausdorff es exactamente $n$. En el plano, 2. En el espacio, 3. O sea, apretar todas las direcciones en un mismo sitio no te deja nunca con algo «más delgado» que el propio espacio. ### Cómo se mide una dimensión que no es un número entero La versión más intuitiva es la dimensión por conteo de cajas, también llamada dimensión de Minkowski. Cubres el conjunto con cubitos de lado $\varepsilon$, cuentas cuántos necesitas y miras a qué ritmo crece ese número cuando los cubitos se achican. ```derivation {"title":"Dimensión por conteo de cajas","steps":[{"math":"N(\\varepsilon) \\approx C\\,\\varepsilon^{-d}","note":"Para un objeto de dimensión d, el número de cajas de lado ε que hacen falta crece como una potencia de 1/ε."},{"math":"\\log N(\\varepsilon) \\approx \\log C + d\\,\\log(1/\\varepsilon)","note":"Al tomar logaritmos, la potencia se convierte en un producto."},{"math":"d = \\lim_{\\varepsilon \\to 0} \\frac{\\log N(\\varepsilon)}{\\log(1/\\varepsilon)}","note":"Al dividir y hacer ε muy pequeño, la constante C deja de pesar. Ese cociente define la dimensión."},{"math":"\\text{Cantor: } N = 2^k,\\ \\varepsilon = 3^{-k} \\Rightarrow d = \\frac{\\log 2}{\\log 3} \\approx 0.631","note":"El conjunto de Cantor, que se obtiene quitando tercios centrales, tiene una dimensión entre la de un punto y la de una recta."},{"math":"\\text{Kakeya en } \\mathbb{R}^3:\\ d = 3","note":"Lo que probaron Wang y Zahl: un conjunto de Kakeya en el espacio necesita casi tantas cajas como un cubo sólido."}]} ``` En palabras: si un objeto tiene dimensión $d$, al dividir el lado de las cajas entre 2 necesitas unas $2^d$ veces más cajas. Un segmento pide el doble, un cuadrado el cuádruple y un cubo ocho veces más. El conjunto de Cantor queda en medio, con dimensión de aproximadamente 0,631. La conjetura de Kakeya en tres dimensiones dice que, aunque el conjunto tenga volumen cero, sus conteos crecen al ritmo de un cubo macizo, con exponente 3. ## Medio siglo de avances a cuentagotas El caso del plano se cerró pronto. El tridimensional, en cambio, avanzó con mejoras pequeñas durante décadas. ```timeline 1917 : Sōichi Kakeya plantea el problema de la aguja 1919 : Besicovitch construye conjuntos con un segmento en cada dirección y área cero 1971 : Roy Davies demuestra la conjetura en el plano (dimensión 2) 1971 : Charles Fefferman usa conjuntos de Besicovitch para refutar la conjetura del multiplicador de la bola 1991 : Jean Bourgain obtiene dimensión al menos 7/3 en tres dimensiones 1995 : Thomas Wolff sube la cota a 5/2 2000 : Katz, Łaba y Tao superan 5/2 por un margen ínfimo en la dimensión de Minkowski 2008 : Zeev Dvir resuelve la versión en cuerpos finitos con el método polinomial 2019 : Katz y Zahl superan 5/2 en la dimensión de Hausdorff 2025 : Wang y Zahl demuestran dimensión 3 en el espacio tridimensional ``` La cronología muestra el problema de fondo. Entre 1991 y 1995 la cota inferior pasó de 7/3 (unos 2,33) a 5/2 (2,5). Después, durante casi treinta años, las mejoras fueron minúsculas: el resultado de Nets Katz, Izabella Łaba y Terence Tao en 2000 superaba 5/2 por una cantidad del orden de una diez mil millonésima. La meta era 3. El salto de Wang y Zahl cubre de golpe todo ese medio punto que faltaba. ## Por qué a alguien le importa una aguja Porque detrás hay ondas. En 1971, Charles Fefferman resolvió una pregunta de análisis de Fourier que parecía no tener nada que ver: si tomas una señal en dos o más dimensiones y te quedas solo con las frecuencias dentro de una esfera, ¿la operación se mantiene bajo control? En el caso cuadrático ($p = 2$) sí. Fuera de él, Fefferman demostró que no, y su prueba usaba conjuntos de Besicovitch como pieza central. Desde entonces, Kakeya funciona como termómetro para preguntas más difíciles. La conjetura de restricción de Elias Stein, que describe cómo se concentran las ondas cuyas frecuencias viven sobre una esfera, implica la de Kakeya. O sea, Kakeya es una condición necesaria: probarla no resuelve restricción, pero quita un obstáculo que bloqueaba el camino. Algo parecido ocurre con la conjetura de Bochner-Riesz y con estimaciones para ecuaciones de onda y de Schrödinger. La versión discreta dejó otra herencia. En 2008, Zeev Dvir probó la conjetura de Kakeya sobre cuerpos finitos (aritmética con un número finito de elementos, como la de un reloj) en un artículo muy corto, con un argumento basado en polinomios. Ese «método polinomial» se extendió rápido: Larry Guth y Nets Katz lo adaptaron poco después para resolver el problema de distancias distintas de Erdős en el plano. ## Qué hicieron Wang y Zahl, a grandes rasgos En lugar de segmentos ideales, el análisis trabaja con tubos: cilindros finos de longitud 1 y grosor $\delta$. La pregunta pasa a ser cuantitativa. Si tienes muchos tubos apuntando en direcciones bien separadas, ¿cuánto volumen ocupa su unión como mínimo? Si los tubos pudieran amontonarse casi por completo unos sobre otros, la dimensión saldría menor que 3. En 2022, los dos autores ya habían resuelto un caso particular, el de los conjuntos «pegajosos», donde tubos con direcciones parecidas también están cerca en posición. El trabajo de 2025 trata el caso general. Su estrategia combina inducción en escalas (resolver el problema a una resolución gruesa y usar ese resultado para refinar) con un análisis de cómo se agrupan los tubos en piezas convexas. El título del preprint lo resume: estimaciones de volumen para uniones de conjuntos convexos. La recepción fue rápida y favorable. Especialistas del área, entre ellos Terence Tao en su blog, describieron el resultado como un avance mayor y señalaron que las técnicas podrían servir para otros problemas. Ojo con esto: un preprint de más de cien páginas necesita tiempo de revisión, y la comunidad lleva desde entonces leyéndolo con lupa. ## Lo que sigue abierto La conjetura de Kakeya en cuatro dimensiones o más continúa sin demostrar, y nadie sabe todavía si los argumentos de Wang y Zahl escalan. La conjetura de restricción tampoco está resuelta en tres dimensiones. Lo que cambió en 2025 es que el caso tridimensional, el que bloqueaba buena parte del área desde los años noventa, ya no es un obstáculo. La aguja de Kakeya, más de un siglo después, terminó de girar en el espacio. ## Fuentes 1. Wang, H. y Zahl, J. "Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions". *arXiv*, febrero de 2025. 2. Wang, H. y Zahl, J. "Sticky Kakeya sets and the sticky Kakeya conjecture". *arXiv*, 2022. 3. Fefferman, C. "The multiplier problem for the ball". *Annals of Mathematics*, 1971. 4. Wolff, T. "An improved bound for Kakeya type maximal functions". *Revista Matemática Iberoamericana*, 1995. 5. Dvir, Z. "On the size of Kakeya sets in finite fields". *Journal of the American Mathematical Society*, 2009.
Comentarios
Sé el primero en comentar este artículo.
Deja un comentario