Sur les ensembles à peu de distances dans le plan

Informations de base

• ID de l'article: 2510.09800
• Titre: On Few-Distance Sets in the Plane
• Auteur: Lucas Wang
• Classification: math.MG (Géométrie métrique), math.CO (Combinatoire)
• Date de soumission: Soumis à arXiv le 10 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.09800

Résumé

Cet article étudie le problème de la taille maximale d'ensembles de points dans le plan déterminant au plus k distances. Soit $g(k)$ la taille maximale d'un ensemble de points du plan déterminant au plus k distances. L'auteur démontre que : $\frac{\pi}{3}C(\Lambda_{hex}) k\sqrt{\log k} (1+o(1)) \leq g(k) \leq C k\log k$

Ceci détermine l'ordre de croissance $g(k) \asymp k\sqrt{\log k}$ et fournit des constantes explicites provenant du réseau hexagonal. Pour tout réseau arithmétique $\Lambda$, l'auteur établit également : $g_\Lambda(k) \geq \frac{\pi}{4} S^*(\Lambda) k\sqrt{\log k} (1+o(1))$

De plus, l'article fournit des résultats de stabilité quantitative : à moins que l'ensemble de points X soit lourd en lignes ou possède deux translations populaires non parallèles, soit presque toutes les paires ordonnées se situent en dessous du quantile supérieur du multiensemble de distances (localisation quasi-centrale), soit une proportion constante de X∩W se situe dans une classe résiduelle modulo 2Λ.

Contexte et motivation de la recherche

Contexte du problème

Cette recherche provient du problème inverse du problème classique des distances d'Erdős. Le problème original a été résolu par Guth-Katz, prouvant que n points du plan déterminent au moins $\Omega(n/\log n)$ distances distinctes. Cet article étudie le problème inverse : étant donné au plus k distances, combien de points un ensemble de points du plan peut-il contenir au maximum ?

Importance du problème

1. Signification théorique : C'est un problème fondamental en géométrie combinatoire, reliant la géométrie métrique, la théorie des nombres et la combinatoire additive
2. Défis techniques : Nécessite de combiner la théorie des réseaux, la géométrie d'incidence et les méthodes d'énergie additive
3. Valeur applicative : Connexions avec la théorie du codage, l'optimisation en géométrie discrète et autres domaines

Limitations des méthodes existantes

• La borne supérieure de Guth-Katz $g(k) \lesssim k\log k$ n'est pas suffisamment précise
• Les constructions de fenêtres de réseau donnent seulement une borne inférieure $g(k) \gtrsim k\sqrt{\log k}$
• Absence d'analyse des constantes explicites et de stabilité quantitative

Motivation de la recherche

Déterminer l'ordre de croissance précis de $g(k)$, fournir des constantes explicites et comprendre les caractéristiques structurelles des constructions extrémales.

Contributions principales

1. Détermination de l'ordre de croissance précis : Preuve que $g(k) \asymp k\sqrt{\log k}$, comblant l'écart logarithmique entre les bornes supérieure et inférieure
2. Fourniture de constantes explicites : Constante de Bernays explicite $C(\Lambda_{hex})$ pour le réseau hexagonal
3. Borne inférieure unifiée pour les familles de réseaux : Formule de borne inférieure unifiée établie pour tous les réseaux arithmétiques $\Lambda$
4. Théorème de stabilité quantitative : Caractérisation des traits structurels des constructions quasi-optimales
5. Innovations techniques : Développement de nouvelles techniques en analyse de fenêtres de réseau et méthodes d'énergie additive

Détails des méthodes

Définition de la tâche

Étant donné un entier positif k, résoudre : $g(k) := \max\{|X| : X \subset \mathbb{R}^2, |D(X)| \leq k\}$ où $D(X) = \{|x-y| : x \neq y \in X\}$ est l'ensemble des distances déterminées par l'ensemble de points X.

Cadre technique principal

1. Construction de borne inférieure : Méthode de fenêtre de réseau

Pour un réseau arithmétique $\Lambda = \mathbb{Z}v_1 \oplus \mathbb{Z}v_2$, considérer la fenêtre disque : $W_R = (\tau + \Lambda) \cap B(z, R)$

Par la formule asymptotique de Bernays-Landau, le nombre de distances est : $|D(W_R)| = \frac{C(\Lambda)}{s(\Lambda)} \frac{4R^2}{\sqrt{\log(4R^2/s(\Lambda))}}(1 + o(1))$

2. Borne supérieure : Méthode de géométrie d'incidence

Utilisant le résultat de Guth-Katz, tout ensemble de n points du plan détermine au moins $c n/\log n$ distances distinctes, d'où : $g(k) \leq C k \log k$

3. Lemme clé : Comptage de paires ordonnées

Définir le comptage de distances ordonnées : $Q_{ord}(X) := \sum_{t \in D(X)} m_t^2$ où $m_t = \#\{(p,q) \in X^2 : p \neq q, |p-q| = t\}$.

Par l'inégalité de Cauchy-Schwarz : $Q_{ord}(X) \geq \frac{n^2(n-1)^2}{k}$

Points d'innovation technique

1. Explicitation des paramètres de réseau

Introduction de paramètres normalisés : $S^*(\Lambda) := \frac{s(\Lambda)}{A(\Lambda)C(\Lambda)}$ où $s(\Lambda)$ est la constante de proportion, $A(\Lambda)$ est le covolume et $C(\Lambda)$ est la constante de Bernays.

2. Théorie des fenêtres régulièrement intérieures

Définition du concept de fenêtre régulièrement intérieure, établissant un contrôle précis de la réalisation des distances dans les fenêtres de réseau :

Lemme 2.11 : Pour un réseau $\Lambda$ et rayon de couverture $\mu(\Lambda)$, quand $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. Analyse d'énergie additive

Analyse de la structure de l'ensemble de points par l'énergie additive $E_+(X) = \sum_v r_X(v)^2$ : $Q_{ord}(X) \leq E_+(X) + C n^3 \log n + O(n^2)$

Configuration expérimentale

Cadre de vérification théorique

Cet article est principalement un travail théorique, vérifiant les résultats par :

1. Analyse asymptotique : Vérification de l'application de la formule de Bernays-Landau
2. Calcul de constantes : Calcul des paramètres spécifiques du réseau hexagonal
3. Vérification des cas limites : Vérification des résultats connus pour les petites valeurs de k

Paramètres clés

• Réseau hexagonal : $s(\Lambda_{hex}) = 2/\sqrt{3}$
• Calcul du rayon de couverture et des constantes de réseau
• Sélection des paramètres de stabilité

Résultats expérimentaux

Résultats des théorèmes principaux

Théorème 3.4 (Bornes précises pour les réseaux arithmétiques) : Pour un réseau arithmétique normalisé $\Lambda$ ($\lambda_1(\Lambda) = 1$), il existe $k_0(\Lambda)$ tel que pour tout $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$

Théorème 7.1 (Résultat global) : $\frac{\pi}{3} C(\Lambda_{hex}) k\sqrt{\log k} (1 + o(1)) \leq g(k) \leq C k \log k$

Résultats de stabilité

Théorème 7.3 (Stabilité quantitative) : Pour un ensemble de points $X \subset \mathbb{R}^2$, $|X| = n$, $|D(X)| \leq k$, $k \leq C n/\log n$, l'un des énoncés suivants doit être vrai :

1. Une certaine ligne contient au moins $cn$ points
2. Il existe des vecteurs non parallèles $v_1, v_2$ et un rectangle de réseau $W$ tels que le chevauchement correspondant soit important
3. Il existe $z \in X$ tel que $|X \cap B(z, t_*)|$ soit proche de $n$

Estimations clés

Par la proposition 5.1, le nombre de distances dans la fenêtre régulièrement intérieure $W_R$ satisfait : $\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))$

Travaux connexes

Historique des problèmes de distance

1. Problème des distances d'Erdős : Guth-Katz (2015) prouvent $m(n) \gtrsim n/\log n$
2. Cas petits k : Erdős-Fishburn déterminent les valeurs exactes pour $k \leq 5$
3. Constructions de réseau : Obtention de bornes inférieures via l'asymptotique de Bernays-Landau

Techniques connexes

1. Géométrie d'incidence : Réduction d'Elekes-Sharir et méthode de Guth-Katz
2. Combinatoire additive : Théorème de Balog-Szemerédi-Gowers et théorème de Freiman
3. Théorie des réseaux : Théorie de la représentation des formes quadratiques et propriétés de couverture

Avantages de cet article

• Première détermination de l'ordre de croissance précis $k\sqrt{\log k}$
• Fourniture de constantes explicites et cadre unifié
• Développement d'une nouvelle théorie de stabilité

Conclusions et discussion

Conclusions principales

1. Détermination de l'ordre de croissance précis $g(k) \asymp k\sqrt{\log k}$
2. Le réseau hexagonal fournit la construction de borne inférieure optimale
3. Les constructions quasi-optimales possèdent des caractéristiques structurelles spécifiques

Limitations

1. Les valeurs exactes des constantes pourraient être améliorées
2. Les résultats de stabilité présentent une forte dépendance paramétrique
3. L'analyse des cas non-arithmétiques est incomplète

Directions futures

1. Amélioration des constantes explicites
2. Extension aux cas de dimension supérieure
3. Étude de problèmes similaires sous d'autres contraintes géométriques

Évaluation approfondie

Points forts

1. Profondeur théorique : Résolution d'un problème ouvert de longue date, détermination de l'ordre de croissance précis
2. Innovations techniques : Combinaison ingénieuse de la théorie des réseaux, de la combinatoire additive et de la géométrie d'incidence
3. Complétude des résultats : Non seulement résultats asymptotiques, mais aussi constantes explicites et analyse de stabilité
4. Unité méthodologique : Établissement d'un cadre unifié pour tous les réseaux arithmétiques

Insuffisances

1. Complexité computationnelle : Calcul des constantes explicites relativement complexe
2. Portée d'application : Principalement limitée aux cas de réseaux arithmétiques
3. Paramètres de stabilité : Nombreuses dépendances paramétriques dans la stabilité quantitative

Impact

1. Valeur académique : Résolution d'un problème fondamental en géométrie combinatoire
2. Contribution méthodologique : Les techniques développées peuvent s'appliquer à des problèmes connexes
3. Perfectionnement théorique : Contribution importante à la théorie des problèmes de distance

Domaines d'application

1. Optimisation en géométrie discrète
2. Construction d'ensembles de distances en théorie du codage
3. Problèmes de représentation de formes quadratiques en théorie des nombres
4. Analyse structurelle en combinatoire additive

Références bibliographiques

Les références clés de l'article incluent :

1. P. Erdős et P. C. Fishburn, « Maximum planar sets that determine k distances »
2. L. Guth et N. H. Katz, « On the Erdős distinct distances problem in the plane »
3. G. Elekes et M. Sharir, « Incidences in three dimensions and distinct distances in the plane »
4. Littérature classique sur la théorie asymptotique de Bernays-Landau
5. Littérature connexe sur le théorème BSG et le théorème de Freiman en combinatoire additive

Cet article, par une analyse mathématique subtile, résout un problème extrémiste important en géométrie plane. Ses méthodes techniques et résultats théoriques possèdent une valeur importante pour le domaine de la géométrie combinatoire.