Sobre Conjuntos de Pocas Distancias en el Plano

Información Básica

• ID del Artículo: 2510.09800
• Título: On Few-Distance Sets in the Plane
• Autor: Lucas Wang
• Clasificación: math.MG (Geometría Métrica), math.CO (Combinatoria)
• Fecha de Presentación: Enviado a arXiv el 10 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.09800

Resumen

Este artículo estudia el problema del tamaño máximo de conjuntos de puntos en el plano que determinan a lo sumo k distancias. Sea $g(k)$ el tamaño máximo de un conjunto de puntos en el plano que determina a lo sumo k distancias. El autor demuestra que: $\frac{\pi}{3}C(\Lambda_{hex}) k\sqrt{\log k} (1+o(1)) \leq g(k) \leq C k\log k$

Así se determina el orden de crecimiento $g(k) \asymp k\sqrt{\log k}$ y se proporcionan constantes explícitas derivadas de la red hexagonal. Para cualquier red aritmética $\Lambda$, el autor también demuestra: $g_\Lambda(k) \geq \frac{\pi}{4} S^*(\Lambda) k\sqrt{\log k} (1+o(1))$

Además, el artículo proporciona resultados cuantitativos de estabilidad: a menos que el conjunto de puntos X sea pesado en líneas o tenga dos traslaciones populares no paralelas, entonces o bien casi todos los pares ordenados se encuentran por debajo del cuantil superior del multiconjunto de distancias (localización central cercana), o bien una proporción constante de $X \cap W$ se encuentra en una clase residual módulo $2\Lambda$.

Antecedentes de Investigación y Motivación

Contexto del Problema

Esta investigación surge del problema inverso del clásico problema de distancias de Erdős. El problema original fue resuelto por Guth-Katz, demostrando que n puntos en el plano determinan al menos $\Omega(n/\log n)$ distancias distintas. Este artículo estudia el problema inverso: dado un máximo de k distancias, ¿cuántos puntos puede contener un conjunto de puntos en el plano?

Importancia del Problema

1. Significado Teórico: Este es un problema fundamental en geometría combinatoria que conecta geometría métrica, teoría de números y combinatoria aditiva
2. Desafíos Técnicos: Requiere combinar teoría de redes, geometría de incidencias y métodos de energía aditiva
3. Valor Aplicado: Está relacionado con teoría de códigos, optimización de geometría discreta y otros campos

Limitaciones de Métodos Existentes

• La cota superior de Guth-Katz $g(k) \lesssim k\log k$ no es suficientemente precisa
• Las construcciones de ventanas de redes solo proporcionan la cota inferior $g(k) \gtrsim k\sqrt{\log k}$
• Falta análisis de constantes explícitas y estabilidad cuantitativa

Motivación de la Investigación

Determinar el orden de crecimiento preciso de $g(k)$, proporcionar constantes explícitas y comprender las características estructurales de las construcciones extremales.

Contribuciones Principales

1. Determinación del Orden de Crecimiento Preciso: Se demuestra que $g(k) \asymp k\sqrt{\log k}$, cerrando la brecha de factor logarítmico entre cotas superior e inferior
2. Constantes Explícitas: Se proporciona la constante de Bernays explícita $C(\Lambda_{hex})$ para la red hexagonal
3. Cota Inferior Unificada para Familias de Redes: Se establece una fórmula de cota inferior unificada para todas las redes aritméticas $\Lambda$
4. Teorema de Estabilidad Cuantitativa: Se caracterizan las propiedades estructurales de construcciones casi óptimas
5. Innovaciones Técnicas: Se desarrollan nuevas técnicas en análisis de ventanas de redes y métodos de energía aditiva

Explicación Detallada de Métodos

Definición de la Tarea

Dado un entero positivo k, resolver: $g(k) := \max\{|X| : X \subset \mathbb{R}^2, |D(X)| \leq k\}$ donde $D(X) = \{|x-y| : x \neq y \in X\}$ es el conjunto de distancias determinadas por el conjunto de puntos X.

Marco Técnico Principal

1. Construcción de Cota Inferior: Método de Ventana de Red

Para una red aritmética $\Lambda = \mathbb{Z}v_1 \oplus \mathbb{Z}v_2$, considérese la ventana de disco: $W_R = (\tau + \Lambda) \cap B(z, R)$

Mediante la fórmula asintótica de Bernays-Landau, la cantidad de distancias es: $|D(W_R)| = \frac{C(\Lambda)}{s(\Lambda)} \frac{4R^2}{\sqrt{\log(4R^2/s(\Lambda))}}(1 + o(1))$

2. Cota Superior: Método de Geometría de Incidencias

Utilizando el resultado de Guth-Katz, cualquier conjunto de n puntos en el plano determina al menos $c n/\log n$ distancias distintas, por lo tanto: $g(k) \leq C k \log k$

3. Lema Clave: Conteo de Pares Ordenados

Se define el conteo de distancias ordenadas: $Q_{ord}(X) := \sum_{t \in D(X)} m_t^2$ donde $m_t = \#\{(p,q) \in X^2 : p \neq q, |p-q| = t\}$.

Mediante la desigualdad de Cauchy-Schwarz: $Q_{ord}(X) \geq \frac{n^2(n-1)^2}{k}$

Puntos de Innovación Técnica

1. Explicitación de Parámetros de Red

Se introduce el parámetro normalizado: $S^*(\Lambda) := \frac{s(\Lambda)}{A(\Lambda)C(\Lambda)}$ donde $s(\Lambda)$ es la constante de proporción, $A(\Lambda)$ es el covolumen y $C(\Lambda)$ es la constante de Bernays.

2. Teoría de Ventanas Internamente Regulares

Se define el concepto de ventana internamente regular, estableciendo control preciso de la realización de distancias en ventanas de redes:

Lema 2.11: Para una red $\Lambda$ y radio de cobertura $\mu(\Lambda)$, cuando $R > \mu(\Lambda)$: $\{\lambda \in \Lambda : |\lambda| \leq 2R - 2\mu(\Lambda)\} \subseteq \{x-y : x,y \in (\tau + \Lambda) \cap B(0,R)\}$

3. Análisis de Energía Aditiva

Se analiza la estructura del conjunto de puntos mediante energía aditiva $E_+(X) = \sum_v r_X(v)^2$: $Q_{ord}(X) \leq E_+(X) + C n^3 \log n + O(n^2)$

Configuración Experimental

Marco de Verificación Teórica

Este trabajo es principalmente teórico, verificando resultados mediante:

1. Análisis Asintótico: Verificación de la aplicación de la fórmula de Bernays-Landau
2. Cálculo de Constantes: Cálculo de parámetros específicos para la red hexagonal
3. Verificación de Casos Límite: Validación de resultados conocidos para valores pequeños de k

Parámetros Clave

• Red hexagonal: $s(\Lambda_{hex}) = 2/\sqrt{3}$
• Cálculo del radio de cobertura y constantes de red
• Selección de parámetros de estabilidad

Resultados Experimentales

Resultados de Teoremas Principales

Teorema 3.4 (Cotas Precisas para Redes Aritméticas): Para una red aritmética normalizada $\Lambda$ ($\lambda_1(\Lambda) = 1$), existe $k_0(\Lambda)$ tal que para todo $k \geq k_0(\Lambda)$: $\frac{\pi}{4} S^*(\Lambda) k\sqrt{\log k} (1 + o_\Lambda(1)) \leq g_\Lambda(k) \leq C k \log k$

Teorema 7.1 (Resultado Global): $\frac{\pi}{3} C(\Lambda_{hex}) k\sqrt{\log k} (1 + o(1)) \leq g(k) \leq C k \log k$

Resultados de Estabilidad

Teorema 7.3 (Estabilidad Cuantitativa): Para un conjunto de puntos $X \subset \mathbb{R}^2$, $|X| = n$, $|D(X)| \leq k$, $k \leq C n/\log n$, debe cumplirse una de las siguientes:

1. Alguna línea contiene al menos $cn$ puntos
2. Existen vectores no paralelos $v_1, v_2$ y un rectángulo de red $W$ tal que el grado de superposición correspondiente es grande
3. Existe $z \in X$ tal que $|X \cap B(z, t_*)|$ es cercano a $n$

Estimaciones Clave

Mediante la Proposición 5.1, la cantidad de distancias en la ventana internamente regular $W_R$ satisface: $\frac{C(\Lambda)}{s(\Lambda)} \frac{4(1-c)^2R^2}{\sqrt{\log(4R^2/s(\Lambda))}}(1 + o(1)) \leq |D(W_R)| \leq \frac{C(\Lambda)}{s(\Lambda)} \frac{4R^2}{\sqrt{\log(4R^2/s(\Lambda))}}(1 + o(1))$

Trabajo Relacionado

Historia de Problemas de Distancias

1. Problema de Distancias de Erdős: Guth-Katz (2015) demuestran $m(n) \gtrsim n/\log n$
2. Casos Pequeños de k: Erdős-Fishburn determinan valores exactos para $k \leq 5$
3. Construcciones de Redes: Obtención de cotas inferiores mediante asintótica de Bernays-Landau

Técnicas Relacionadas

1. Geometría de Incidencias: Reducción de Elekes-Sharir y método de Guth-Katz
2. Combinatoria Aditiva: Teorema de Balog-Szemerédi-Gowers y teorema de Freiman
3. Teoría de Redes: Teoría de representación de formas cuadráticas y propiedades de cobertura

Ventajas de Este Artículo

• Primera determinación del orden de crecimiento preciso $k\sqrt{\log k}$
• Proporciona constantes explícitas y marco unificado
• Desarrolla nueva teoría de estabilidad

Conclusiones y Discusión

Conclusiones Principales

1. Se determina el orden de crecimiento preciso $g(k) \asymp k\sqrt{\log k}$
2. La red hexagonal proporciona la construcción de cota inferior óptima
3. Las construcciones casi óptimas poseen características estructurales específicas

Limitaciones

1. Los valores exactos de las constantes aún tienen espacio para mejora
2. Los resultados de estabilidad tienen fuerte dependencia de parámetros
3. El análisis de casos no aritméticos no es suficientemente completo

Direcciones Futuras

1. Mejora de constantes explícitas
2. Extensión a casos de dimensiones superiores
3. Investigación de problemas similares bajo otras restricciones geométricas

Evaluación Profunda

Fortalezas

1. Profundidad Teórica: Resuelve un problema abierto de larga data, determinando el orden de crecimiento preciso
2. Innovación Técnica: Combina ingeniosamente teoría de redes, combinatoria aditiva y geometría de incidencias
3. Completitud de Resultados: No solo proporciona resultados asintóticos, sino también constantes explícitas y análisis de estabilidad
4. Unificación de Métodos: Establece marco unificado para todas las redes aritméticas

Deficiencias

1. Complejidad Computacional: El cálculo de constantes explícitas es bastante complejo
2. Rango de Aplicabilidad: Se limita principalmente a casos de redes aritméticas
3. Parámetros de Estabilidad: La estabilidad cuantitativa depende de muchos parámetros

Impacto

1. Valor Académico: Resuelve un problema fundamental en geometría combinatoria
2. Contribución Metodológica: Las técnicas desarrolladas pueden aplicarse a problemas relacionados
3. Perfeccionamiento Teórico: Proporciona complemento importante a la teoría de problemas de distancias

Escenarios de Aplicación

1. Optimización de geometría discreta
2. Construcción de conjuntos de distancias en teoría de códigos
3. Problemas de representación de formas cuadráticas en teoría de números
4. Análisis estructural en combinatoria aditiva

Referencias Bibliográficas

Las referencias clave en el artículo incluyen:

1. P. Erdős and P. C. Fishburn, "Maximum planar sets that determine k distances"
2. L. Guth and N. H. Katz, "On the Erdős distinct distances problem in the plane"
3. G. Elekes and M. Sharir, "Incidences in three dimensions and distinct distances in the plane"
4. Literatura clásica de la teoría asintótica de Bernays-Landau
5. Literatura relacionada con el teorema BSG y teorema de Freiman en combinatoria aditiva

Este artículo, mediante análisis matemático ingenioso, resuelve un problema extremal importante en geometría plana, cuyos métodos técnicos y resultados teóricos poseen valor significativo para el campo de la geometría combinatoria.