On the maximum product of distances of diameter $2$ point sets

Este artículo resuelve un problema de Erdős, Herzog y Piranian sobre el producto máximo de distancias en conjuntos de puntos de diámetro 2, demostrando que basta considerar polígonos convexos, mejorando drásticamente las construcciones de los polígonos regulares y señalando las limitaciones para caracterizar los polígonos extremos en órdenes pares.

Lo esencial

Imagina que tienes un grupo de amigos y quieres organizar una fiesta en un parque circular. Tienes una regla estricta: nadie puede estar a más de 2 metros de distancia de su amigo más lejano. Es como si todos estuvieran dentro de una cuerda elástica de 2 metros de largo.

El problema que resuelve este artículo es un acertijo matemático muy antiguo: ¿Cómo debes colocar a tus $n$ amigos en ese parque para que la "fuerza" de sus conexiones sea la máxima posible?

Aquí, la "fuerza" no es física, sino matemática. Se calcula multiplicando las distancias entre todos los pares posibles de amigos.

• Si dos amigos están muy cerca, su distancia es pequeña (ej. 0.1).
• Si están lejos (casi al límite de 2 metros), su distancia es grande (ej. 1.9).
• El objetivo es que el producto de todas esas distancias sea lo más grande posible.

Los autores (Stijn, Arne, Yanni, Tao y Quanyu) han descubierto cosas fascinantes sobre cómo se deben organizar estos puntos para ganar el juego.

1. La forma perfecta: Polígonos Convexos

Primero, se dieron cuenta de que la mejor forma de organizar a la gente es en un polígono convexo (una figura sin "hoyos" ni formas de estrella, como un hexágono o un octágono). Imagina que todos los invitados están sentados alrededor de una mesa redonda; nadie está "escondido" en el medio. Si alguien estuviera en el centro, podrías moverlo hacia afuera para aumentar las distancias y ganar más puntos.

2. El mapa de los "mejores amigos" (El Grafo de Diámetro)

Para entender la estructura ganadora, los autores miran quién está exactamente a la máxima distancia permitida (2 metros) de quién. Llamamos a esto el "mapa de mejores amigos".

• Descubrimiento clave: Este mapa no puede ser caótico. Tiene que tener una forma muy específica: o bien es un caterpillar (un gusano con patas, donde hay una línea central y algunos puntos colgando) o es un ciclo con una cola.
• Analogía: Imagina que los puntos son personas en una fiesta. Si el mapa de quienes están a la máxima distancia entre sí fuera un laberinto desconectado, no sería la mejor configuración. Tiene que ser una estructura unida y ordenada, como un árbol que solo tiene un bucle o una serpiente con patas.

3. La sorpresa: ¡Los polígonos regulares no siempre ganan!

Durante mucho tiempo, los matemáticos pensaron que la mejor forma era siempre un polígono regular (como un cuadrado perfecto, un pentágono perfecto, etc.), donde todos los lados y ángulos son iguales.

• Para números impares (3, 5, 7...): ¡Sí! El polígono regular (como un pentágono perfecto) sigue siendo el campeón.
• Para números pares (4, 6, 8...): ¡Aquí viene la sorpresa! El polígono regular pierde.
  • Ejemplo con 4 puntos: Un cuadrado perfecto no es el mejor. La forma ganadora es un cometa (o "kite"), una figura que se ve como un cometa de papel, con dos puntas muy agudas y dos más redondeadas. Es una forma un poco "deforme" pero que aprovecha mejor el espacio para multiplicar las distancias.

4. El desafío de los números pares grandes

Cuando el número de invitados es par y muy grande (como 100 o 1000), la forma ganadora se vuelve increíblemente compleja.

• Los autores crearon construcciones matemáticas que son mucho mejores que los polígonos regulares.
• Imagina que tomas un círculo perfecto y le das un pequeño "empujón" en ciertos lugares, como si estuvieras estirando una goma elástica de forma asimétrica. Estas formas "deformadas" logran multiplicar las distancias mucho mejor que la forma perfecta.
• Han encontrado que, a medida que el número de puntos crece, el producto de distancias puede superar un límite que antes se creía inalcanzable. Han calculado constantes exactas que demuestran que la "fuerza" de la configuración puede ser un 26% mayor que la de un polígono regular.

5. ¿Por qué es difícil?

El problema es como intentar encontrar la cima de una montaña en medio de una niebla espesa.

• Si mueves a un solo amigo un milímetro, cambias las distancias con todos los demás.
• A veces, mover a alguien hacia adelante mejora su relación con 5 personas, pero empeora la relación con otras 10.
• Los autores usan herramientas avanzadas (como ecuaciones de optimización y simulaciones por computadora) para navegar este terreno accidentado y encontrar los "picos" locales que son, en realidad, las mejores soluciones globales.

En resumen

Este papel nos dice que, en el mundo de la geometría de puntos:

1. La perfección (regularidad) no siempre es la clave. A veces, una forma un poco "torpe" o asimétrica es la ganadora.
2. La estructura importa. Los puntos ganadores siguen reglas estrictas sobre quién está a la máxima distancia de quién (el "mapa de mejores amigos" no puede romperse).
3. Hay mucho por descubrir. Aunque han encontrado formas mucho mejores que las anteriores, todavía no sabemos la forma exacta para todos los números pares grandes, pero han dado un gran paso adelante al demostrar que las formas regulares son solo el principio, no el final.

Es como si hubieran descubierto que, para organizar la mejor fiesta posible, no basta con sentar a todos en un círculo perfecto; a veces necesitas sentar a la gente en un patrón de "cometa" o "serpiente" para que la energía de la fiesta (el producto de las distancias) sea explosiva.

Resumen técnico

1. Planteamiento del Problema

El artículo aborda un problema clásico planteado por Erdős, Herzog y Piranian (Problema #1045 de Erdős). Se considera un conjunto de $n$ puntos en el plano complejo, denotado como $z = (z_1, \dots, z_n)$, con la restricción geométrica de que su diámetro es 2 (es decir, $|z_i - z_j| \le 2$ para todo par $i, j$).

El objetivo es maximizar el producto de todas las distancias pairwise entre los puntos:
$$\Delta(z) = \prod_{1 \le i < j \le n} |z_i - z_j|^2$$
Este funcional está directamente relacionado con el discriminante absoluto de un polinomio mónico cuyas raíces son los puntos $z_k$. El problema se reescala para fijar el diámetro en 2, ya que cualquier maximizador debe saturar esta restricción.

Se introduce una versión normalizada del discriminante, $\Delta_{\text{norm}}(P) = \Delta(P) / n^n$.

• Para $n$ par, el $n$-ágono regular de diámetro 2 tiene $\Delta_{\text{norm}} = 1$.
• Para $n$ impar, el $n$-ágono regular tiene $\Delta_{\text{norm}} \sim e^{\pi^2/8}$.

La conjetura original sugería que los polígonos regulares podrían ser extremales (especialmente para $n$ impar) y que $\Delta(P) \le \exp(\pi^2/8)$ universalmente. Sin embargo, los autores demuestran que esta visión es incompleta, especialmente para $n$ par.

2. Metodología

Los autores emplean una combinación de tres enfoques principales:

1. Teoría de Grafos Combinatoria: Analizan el "grafo de diámetro" (donde las aristas conectan pares de puntos a distancia exactamente 2). Utilizan resultados sobre thrackles (grafos dibujados en el plano donde cada par de aristas se intersecta exactamente una vez) y teoremas de Hopf-Pannwitz para restringir la topología de estos grafos en configuraciones extremales.
2. Optimización No Lineal y Condiciones de Optimalidad: Formulan el problema como un programa no lineal (NLP) con restricciones de desigualdad. Utilizan los multiplicadores de Lagrange y las condiciones de Karush-Kuhn-Tucker (KKT) para derivar ecuaciones que deben satisfacer los maximizadores locales. Esto permite probar que los maximizadores deben ser polígonos convexos.
3. Construcciones Asintóticas y Perturbaciones:
   • Para $n$ pequeños, utilizan algoritmos numéricos (gradiente descendente, optimización global) para encontrar configuraciones locales y globales.
   • Para $n$ grandes (especialmente múltiplos de 6), proponen construcciones geométricas específicas basadas en la simetría dihedral $D_3$.
   • Para obtener cotas inferiores uniformes en $n$ par, utilizan una perturbación radial de un $n$-ágono regular. La perturbación se define mediante una función de onda triangular ($tri(3\theta)$) que mantiene la simetría $\pi$-antiperiódica, lo que hace que el término lineal en la expansión del logaritmo del discriminante se cancele, dejando un término cuadrático positivo que mejora el valor respecto al polígono regular.

3. Contribuciones Clave

A. Estructura del Grafo de Diámetro (Teorema 1)

Demuestran que el grafo de diámetro de cualquier configuración extremal (que maximiza $\Delta$) debe ser unicíclico (contiene exactamente un ciclo) o una caterpillar (un árbol donde todos los vértices están a distancia a lo sumo 1 de un camino central).

• Esto descarta configuraciones como el cuadrado regular para $n=4$, cuyo grafo de diámetro es desconectado (dos diagonales), violando la conectividad necesaria.
• El grafo no puede contener ciclos pares.

B. Construcciones para $n$ Pequeños

• $n=4$: El máximo no es el cuadrado, sino un "cometa" (kite) con vértices $\{0, 2, \sqrt{3}+i, \sqrt{3}-i\}$, con $\Delta_{\text{norm}} \approx 1.1487$.
• $n=5$: El pentágono regular es extremal.
• $n=6, 8, 10, 12$: Presentan configuraciones numéricas que superan significativamente a los polígonos regulares. Para $n=6$, la configuración óptima comparte vértices con el caso $n=4$ más dos puntos adicionales. Para $n=8$ y $n=10$, las configuraciones óptimas tienen simetría y grafos de diámetro específicos que no son regulares.

C. Resultados Asintóticos para $n$ Par

Los autores refutan la idea de que los polígonos regulares son óptimos para $n$ par al construir familias de polígonos que superan el límite del polígono regular:

1. **Teorema 2 (Subsucesión $6|n$):** Construyen un polígono$P$para$n$divisible por 6 tal que, cuando$n \to \infty$:
   $$\Delta_{\text{norm}}(P) \to C^* \approx 1.304457$$
   Esta constante es mayor que 1 (el valor del polígono regular), demostrando que los polígonos regulares no son extremales para $n$ par grande.

2. Teorema 3 (Cota Inferior Uniforme): Mediante la perturbación radial descrita anteriormente, prueban que para toda la sucesión de enteros pares $n \to \infty$:
   $$\liminf_{n \to \infty, n \text{ par}} \Delta_{\text{norm}}(n) \ge \exp\left( \frac{7}{24}\zeta(3) - \frac{\pi^4}{864} \right) \approx 1.26853$$
   Esto mejora las cotas anteriores y muestra que el límite inferior es estrictamente mayor que 1.

4. Resultados Numéricos y Conjeturas

La Tabla 1 del artículo proporciona valores numéricos para $\Delta_{\text{norm}}$ hasta $n=66$. Se observa que:

• Para $n$ impar, el polígono regular parece ser extremal (conforme a la conjetura original).
• Para $n$ par, las configuraciones óptimas son irregulares y superan consistentemente el valor 1.

Conjetura 4 (Propuesta por los autores):

• Si $n$ es impar, el maximizador es el $n$-ágono regular.
• Si $n$ es par, el maximizador tiene un eje de simetría. Si $6|n$, tiene simetría de rotación de$120^\circ$(simetría dihedral$D_3$).
• El grafo de diámetro para $n$ par se obtiene de un ciclo $C_{n-3}$ con tres aristas colgantes (pendientes) unidas a vértices del ciclo.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Refutación de Conjeturas Simples: Demuestra que la intuición de que los polígonos regulares son siempre extremales falla drásticamente para $n$ par. El paisaje de optimización es mucho más complejo y "áspero" de lo que se pensaba.
2. Estructura Combinatoria: Establece restricciones fuertes (uniciclicidad, conectividad) sobre la topología de los grafos de diámetro en problemas de maximización de discriminantes, conectando la geometría con la teoría de grafos.
3. Nuevas Cotas: Proporciona las primeras construcciones explícitas que mejoran sustancialmente las cotas asintóticas para $n$ par, moviendo el límite inferior de 1 a $\approx 1.268$.
4. Complejidad del Problema: Sugiere que caracterizar los polígonos extremales para $n$ par en general es un problema extremadamente difícil, posiblemente sin una solución cerrada simple, requiriendo en su lugar una combinación de restricciones estructurales y construcciones asintóticas.

En resumen, el artículo transforma la comprensión de este problema clásico, pasando de una búsqueda de simetría perfecta a una comprensión de estructuras mixtas (simetría parcial, grafos de diámetro específicos y perturbaciones asintóticas) para maximizar el producto de distancias.