2025-11-23T02:07:24.002029

A Density Condition on Point Sets with Slowly-Scaling Distinct Dot Products

Gandhi
The distinct dot products problem, a variation on the Erdős distinct distance problem, asks "Given a set $P_n$ of $n$ points in $\mathbb{R}^2$, what is the minimum number $|D(P_n)|$ of distinct dot products formed between them, asymptotically?" The best proven lower-bound is $|D(P_n)| \gtrsim n^{2/3+7/1425}$, due to work by Hanson$\unicode{x2013}$Roche-Newton$\unicode{x2013}$Senger, and a recent improvement by Kokkinos. However, the slowest-scaling known constructions have $|D(P_n)|\sim n$, leaving quite a large gap in the bound. Finding a sublinearly-scaling construction, or disproving its existence, would narrow this gap. We provide a condition that a sequence of point configurations $(P_n)_{n \in \mathbb{N}}$ must satisfy in order for $|D(P_n)|$ to scale 'slowly' i.e. $|D(P_n)| \ll n^{3/4}$. Namely, we prove that any such configuration must contain a point-rich line that gets arbitrarily 'dense' as the sequence progresses.
academic

Une Condition de Densité sur les Ensembles de Points avec Produits Scalaires Distincts à Croissance Lente

Informations Fondamentales

  • ID de l'article: 2510.14585
  • Titre: A Density Condition on Point Sets with Slowly-Scaling Distinct Dot Products
  • Auteur: Anshula Gandhi (Université de Cambridge)
  • Classification: math.CO (Mathématiques Combinatoires)
  • Date de publication: 16 octobre 2025 (prépublication arXiv)
  • Lien de l'article: https://arxiv.org/abs/2510.14585

Résumé

Cet article étudie le problème des produits scalaires distincts (distinct dot products problem), une variante du problème célèbre des distances distinctes d'Erdős. La question posée est: étant donné un ensemble PnP_n de nn points dans R2\mathbb{R}^2, quel est le comportement asymptotique du nombre minimal de produits scalaires distincts D(Pn)|D(P_n)| formés entre ces points? La meilleure minoration connue est D(Pn)n2/3+7/1425|D(P_n)| \gtrsim n^{2/3+7/1425}, tandis que la construction à croissance la plus lente connue atteint D(Pn)n|D(P_n)| \sim n, laissant un écart significatif. Cet article fournit des conditions que toute séquence de configurations de points (Pn)nN(P_n)_{n \in \mathbb{N}} doit satisfaire pour que D(Pn)|D(P_n)| croisse « lentement », c'est-à-dire D(Pn)n3/4|D(P_n)| \ll n^{3/4}. Plus précisément, il est démontré que toute configuration de ce type doit contenir une droite riche en points devenant arbitrairement « dense » au fur et à mesure de la progression de la séquence.

Contexte et Motivation de la Recherche

1. Problème Central

L'article étudie le problème des produits scalaires distincts, une variante du célèbre problème des distances distinctes d'Erdős. Étant donné nn points dans le plan, la question consiste à déterminer le nombre minimal de produits scalaires distincts qu'ils peuvent former. Il s'agit d'un problème fondamental de géométrie combinatoire possédant une importance théorique considérable.

2. Importance du Problème

  • Signification théorique: Le problème est classique en géométrie combinatoire et se relie à plusieurs branches des mathématiques, notamment la combinatoire additive et l'analyse harmonique
  • Défis techniques: Un écart significatif existe entre les meilleures minorations (environ n2/3n^{2/3}) et les constructions connues (croissance linéaire)
  • Valeur méthodologique: Les techniques développées pour ce problème pourraient s'appliquer à d'autres problèmes combinatoires connexes

3. Limitations des Méthodes Existantes

  • Techniques de minoration: Les travaux de Hanson-Roche-Newton-Senger et Kokkinos fournissent des minorations de n2/3+cn^{2/3+c}, mais demeurent éloignés de la borne linéaire supérieure
  • Méthodes de construction: Les constructions à croissance la plus lente connues (tels que les points en progression géométrique ou les points équidistants sur un cercle) atteignent toutes une croissance linéaire n\sim n
  • Lacune théorique: Absence de compréhension approfondie concernant la possibilité d'une croissance sous-linéaire

4. Motivation de la Recherche

Cet article vise à combler cette lacune théorique en identifiant les conditions structurelles que les configurations de points à croissance lente doivent satisfaire, fournissant ainsi de nouvelles perspectives pour résoudre finalement l'écart entre les bornes supérieures et inférieures.

Contributions Principales

  1. Théorème de Condition de Densité: Démonstration que toute séquence de configurations de points avec D(Pn)n3/4|D(P_n)| \ll n^{3/4} doit contenir une droite riche en points « dense »
  2. Caractérisation Structurelle: Fourniture de conditions géométriques nécessaires pour les configurations de points à croissance lente
  3. Cadre Technique: Établissement d'une méthode systématique pour analyser les configurations droite-cercle
  4. Intuitions Théoriques: Révélation des connexions profondes entre la densité des configurations de points et la quantité de produits scalaires

Explication Détaillée de la Méthode

Définition de la Tâche

Étant donné une séquence de configurations de points (Pn)nN(P_n)_{n \in \mathbb{N}}, où chaque PnP_n est un ensemble de nn points distincts dans R2\mathbb{R}^2, on définit l'ensemble des produits scalaires D(Pn):={pipjpi,pjPn}D(P_n) := \{p_i \cdot p_j | p_i, p_j \in P_n\}. L'objectif est de caractériser les conditions nécessaires pour les configurations satisfaisant D(Pn)n3/4|D(P_n)| \ll n^{3/4}.

Architecture Centrale

1. Analyse des Droites et Cercles de Support

Définition des Droites de Support: Étant donné un ensemble de points PR2P \subset \mathbb{R}^2, ses droites de support sont les droites passant par l'origine avec des pentes provenant de l'ensemble R(P):={py/px(px,py)P}R(P) := \{p_y/p_x | (p_x, p_y) \in P\}.

Définition des Cercles de Support: Les cercles de support sont les cercles centrés à l'origine avec des rayons provenant de l'ensemble R(P):={px2+py2(px,py)P}R(P) := \{\sqrt{p_x^2 + p_y^2} | (p_x, p_y) \in P\}.

2. Existence de Droites et Cercles Populaires

Lemme 3.6 (Existence de Droites Populaires): Pour une séquence de configurations avec nα\ll n^α produits scalaires, il existe une « droite populaire » contenant n22α\gg n^{2-2α} points.

Lemme 4.6 (Existence de Cercles Populaires): Pour une séquence de configurations avec nα\ll n^α produits scalaires, il existe un « cercle populaire » contenant n1α\gg n^{1-α} points.

3. Comptage des Produits Scalaires pour les Configurations Droite-Cercle

Par le concept de produit scalaire complexe pq:=pqei(argpargq)p \star q := |p||q|e^{i(\arg p - \arg q)}, on analyse le nombre de produits scalaires entre les points sur une droite et ceux sur un cercle.

Points Innovants Techniques

1. Technique de Partitionnement en Seaux

Partitionnement de l'axe réel en « seaux » BiB_i, chaque seau correspondant à un intervalle entre termes consécutifs d'une progression géométrique. L'analyse des projections des produits scalaires complexes dans chaque seau permet de calculer le nombre de produits scalaires distincts.

2. Introduction de la Condition de Densité

Définition 6.2 (bb-dense): Un ensemble LL de \ell points colinéaires est dit bb-dense s'il existe \sim \ell paires de points adjacents p,qLp, q \in L tels que p/q|p|/|q| appartient à l'intervalle (b,1)(b,1).

3. Cadre de Preuve par Contradiction

En démontrant que si toutes les droites riches en points satisfont des conditions d'espacement favorable, alors D(Pn)n3/4|D(P_n)| \gtrsim n^{3/4}, on en déduit les conditions de densité pour les configurations à croissance lente.

Résultats Principaux

Théorème Central

Théorème 6.3 (Condition de Densité pour Croissance Lente): Soit (Pn)nN(P_n)_{n \in \mathbb{N}} une séquence de configurations de points, où chaque PnP_n est un ensemble de nn points distincts dans R2\mathbb{R}^2, et D(Pn)n3/4|D(P_n)| \ll n^{3/4}. Alors pour tout b(0,1)b \in (0,1), il existe une sous-séquence telle que chaque configuration de la sous-séquence contient un ensemble bb-dense LL de points alignés sur une droite passant par l'origine avec Ln1/2|L| \gtrsim n^{1/2}.

Résultats Techniques

1. Bornes de Produits Scalaires pour Configurations Linéaires

Lemme 3.1: nn points colinéaires en progression géométrique produisent n\sim n produits scalaires distincts. Lemme 3.2: Tout ensemble de nn points colinéaires produit n\gtrsim n produits scalaires distincts.

2. Bornes de Produits Scalaires pour Configurations Circulaires

Lemme 4.1: nn points équidistants sur un cercle produisent n\sim n produits scalaires distincts. Lemme 4.2: Tout ensemble de nn points sur un cercle produit n\gtrsim n produits scalaires distincts.

3. Analyse des Configurations Composites

Proposition 5.1: Une configuration contenant N(n)N(n) points équidistants sur un cercle et M(n)M(n) points en progression géométrique sur une droite produit N(n)M(n)\gtrsim N(n)M(n) produits scalaires.

Techniques de Preuve

1. Méthode d'Analyse Complexe

Utilisation de la représentation complexe pour simplifier les calculs de produits scalaires, transformant les problèmes géométriques en problèmes algébriques.

2. Arguments de Moyennisation

Utilisation de paramètres de moyennisation pour démontrer l'existence de droites et cercles populaires.

3. Analyse Sectorielle

Partitionnement du plan en régions sectorielles, assurant une bonne séparation des projections de la partie réelle des produits scalaires complexes.

Travaux Connexes

1. Problème des Distances Distinctes d'Erdős

Cet article est une variante du problème classique d'Erdős dans le contexte des produits scalaires, héritant des techniques fondamentales de ce domaine.

2. Progrès Récents

  • Minoration de n2/3+7/1425n^{2/3+7/1425} par Hanson-Roche-Newton-Senger
  • Améliorations récentes de Kokkinos
  • Études de variantes sur les corps finis et les anneaux

3. Variantes Connexes

Incluant les chaînes de produits scalaires, les arbres de produits scalaires, le problème des produits scalaires de Falconer et plusieurs autres directions de recherche.

Conclusions et Discussion

Conclusions Principales

Cet article démontre que toute configuration de points à croissance lente doit contenir une structure de droite dense approximativement en progression arithmétique. Ceci fournit une intuition importante pour comprendre l'essence du problème des produits scalaires.

Limitations

  1. Restriction du Seuil: Les résultats ne s'appliquent qu'au seuil n3/4n^{3/4}, sans généralisation à des cas plus généraux
  2. Problèmes de Construction: Absence de constructions réelles à croissance lente
  3. Limitations Techniques: La méthode dépend d'hypothèses de structures géométriques spécifiques

Directions Futures

  1. Amélioration des Bornes: Recherche de bornes plus serrées
  2. Exploration de Constructions: Recherche ou réfutation de l'existence de constructions sous-linéaires
  3. Recherche Généralisée: Extension à des dimensions supérieures ou à d'autres espaces métriques

Évaluation Approfondie

Avantages

  1. Profondeur Théorique: Fournit des intuitions profondes sur la structure du problème
  2. Innovation Technique: Développe de nouvelles méthodes pour analyser les configurations droite-cercle
  3. Rigueur de la Preuve: Arguments mathématiques clairs et complets
  4. Importance du Problème: Résout un aspect fondamental de la géométrie combinatoire

Insuffisances

  1. Applicabilité Pratique Limitée: Résultats principalement théoriques
  2. Complexité Technique: Les techniques de preuve sont hautement spécialisées
  3. Résultats Localisés: Résout seulement un aspect du problème

Impact

Cet article fournit un nouveau cadre théorique pour le problème des produits scalaires distincts, susceptible d'inspirer des recherches ultérieures et de promouvoir le développement de ce domaine. Bien qu'il ne résolve pas complètement l'écart entre les bornes, il apporte une contribution importante à la compréhension de l'essence du problème.

Domaines d'Application

Principalement applicable à la recherche en mathématiques théoriques, notamment la géométrie combinatoire, la combinatoire additive et l'analyse harmonique.

Références Bibliographiques

L'article cite les travaux majeurs du domaine, incluant les résultats fondamentaux de Hanson-Roche-Newton-Senger et d'autres, ainsi que les progrès récents connexes, démontrant une maîtrise complète de la littérature.