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

Basic Information

• Paper ID: 2510.14585
• Title: A Density Condition on Point Sets with Slowly-Scaling Distinct Dot Products
• Author: Anshula Gandhi (University of Cambridge)
• Classification: math.CO (Combinatorics)
• Publication Date: October 16, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.14585

Abstract

This paper investigates the distinct dot products problem, a variant of the classical Erdős distinct distances problem. The problem asks: given a set $P_n$ of $n$ points in $\mathbb{R}^2$, what is the asymptotic behavior of the minimum number of distinct dot products $|D(P_n)|$ formed between them? The current best lower bound is $|D(P_n)| \gtrsim n^{2/3+7/1425}$, while the slowest-growing known construction achieves $|D(P_n)|\sim n$, leaving a significant gap. This paper provides conditions that point configuration sequences $(P_n)_{n \in \mathbb{N}}$ must satisfy for $|D(P_n)|$ to grow "slowly," i.e., $|D(P_n)| \ll n^{3/4}$. Specifically, it is proven that any such configuration must contain a point-rich line that becomes arbitrarily "dense" as the sequence progresses.

Research Background and Motivation

1. Core Problem

This paper studies the distinct dot products problem, a variant of the famous Erdős distinct distances problem. Given $n$ points in the plane, the problem determines the minimum number of distinct dot products that can be formed between them. This is a fundamental problem in combinatorial geometry with significant theoretical importance.

2. Problem Significance

• Theoretical Importance: The problem is classical in combinatorial geometry, connecting to multiple mathematical branches including additive combinatorics and harmonic analysis
• Technical Challenge: There exists a significant gap between upper and lower bounds, with the current best lower bound approximately $n^{2/3}$, while known constructions only achieve linear growth $n$
• Methodological Value: Techniques developed for this problem may apply to other related combinatorial problems

3. Limitations of Existing Methods

• Lower Bound Techniques: Work by Hanson-Roche-Newton-Senger and Kokkinos provides bounds of $n^{2/3+c}$, but still falls short of the linear upper bound
• Construction Methods: Known slowest-growing constructions (such as geometrically spaced collinear points or equally-spaced points on circles) all achieve linear growth $\sim n$
• Theoretical Gap: Lack of deep understanding regarding the possibility of sublinear growth

4. Research Motivation

This paper aims to fill the theoretical gap by identifying structural conditions that slowly-growing point configurations must satisfy, providing new insights toward ultimately resolving the upper-lower bound gap.

Core Contributions

1. Density Condition Theorem: Proves that any point configuration sequence with $|D(P_n)| \ll n^{3/4}$ must contain a "dense" point-rich line
2. Structural Characterization: Provides necessary geometric structure conditions for slowly-growing point configurations
3. Technical Framework: Establishes a systematic method for analyzing line-circle configurations
4. Theoretical Insight: Reveals deep connections between point configuration density and the number of dot products

Methodology Details

Task Definition

Given a point configuration sequence $(P_n)_{n \in \mathbb{N}}$, where each $P_n$ is a set of $n$ distinct points in $\mathbb{R}^2$, define the dot product set $D(P_n) := \{p_i \cdot p_j | p_i, p_j \in P_n\}$. The goal is to characterize necessary conditions on configurations satisfying $|D(P_n)| \ll n^{3/4}$.

Core Architecture

1. Analysis of Supporting Lines and Circles

Supporting Line Definition: For a point set $P \subset \mathbb{R}^2$, a supporting line is a line through the origin with slope from the set $R(P) := \{p_y/p_x | (p_x, p_y) \in P\}$.

Supporting Circle Definition: A supporting circle is a circle centered at the origin with radius from the set $R(P) := \{\sqrt{p_x^2 + p_y^2} | (p_x, p_y) \in P\}$.

2. Existence of Popular Lines and Circles

Lemma 3.6 (Existence of Popular Lines): For configuration sequences with $\ll n^α$ dot products, there must exist a "popular line" containing $\gg n^{2-2α}$ points.

Lemma 4.6 (Existence of Popular Circles): For configuration sequences with $\ll n^α$ dot products, there must exist a "popular circle" containing $\gg n^{1-α}$ points.

3. Dot Product Counting for Line-Circle Configurations

Through the concept of complex dot products $p \star q := |p||q|e^{i(\arg p - \arg q)}$, analyze the number of dot products between points on lines and circles.

Technical Innovations

1. Bucket Partitioning Technique

Partition the real axis into "buckets" $B_i$, each corresponding to intervals between consecutive terms in a geometric series. Analyze the projections of complex dot products across buckets to count distinct dot products.

2. Introduction of Density Conditions

Definition 6.2 ($b$-dense): A set $L$ of $\ell$ collinear points is called $b$-dense if there exist $\sim \ell$ pairs of adjacent points $p, q \in L$ such that $|p|/|q|$ falls in the interval $(b,1)$.

3. Proof by Contradiction Framework

By proving that if all point-rich lines satisfy good spacing conditions, then $|D(P_n)| \gtrsim n^{3/4}$, derive the density conditions for slowly-growing configurations.

Main Results

Core Theorem

Theorem 6.3 (Density Condition for Slow Growth): Let $(P_n)_{n \in \mathbb{N}}$ be a sequence of point configurations, where each $P_n$ is a set of $n$ distinct points in $\mathbb{R}^2$ with $|D(P_n)| \ll n^{3/4}$. Then for all $b \in (0,1)$, there exists a subsequence such that each configuration in the subsequence contains a $b$-dense point set $L$ arranged along a line through the origin with $|L| \gtrsim n^{1/2}$.

Technical Results

1. Dot Product Bounds for Line Configurations

Lemma 3.1: $n$ collinear points in geometric progression produce $\sim n$ distinct dot products. Lemma 3.2: Any $n$ collinear points produce $\gtrsim n$ distinct dot products.

2. Dot Product Bounds for Circle Configurations

Lemma 4.1: $n$ equally-spaced points on a circle produce $\sim n$ distinct dot products. Lemma 4.2: Any $n$ points on a circle produce $\gtrsim n$ distinct dot products.

3. Analysis of Combined Configurations

Proposition 5.1: A configuration containing $N(n)$ equally-spaced points on a circle and $M(n)$ geometrically-spaced collinear points produces $\gtrsim N(n)M(n)$ dot products.

Proof Techniques

1. Complex Analysis Methods

Utilize complex number representation to simplify dot product calculations, transforming geometric problems into algebraic ones.

2. Averaging Arguments

Employ averaging parameters to prove the existence of popular lines and popular circles.

3. Sector Analysis

Partition the plane into sector regions, ensuring good separation properties for the real part projections of complex dot products.

Related Work

1. Erdős Distinct Distances Problem

This paper is a variant of the classical Erdős problem in the dot product setting, inheriting core techniques from that field.

2. Recent Progress

• Hanson-Roche-Newton-Senger's lower bound of $n^{2/3+7/1425}$
• Recent improvements by Kokkinos
• Variants over finite fields and rings

3. Related Variants

Including dot product chains, dot product trees, Falconer dot product problems, and multiple other research directions.

Conclusions and Discussion

Main Conclusions

This paper proves that any slowly-growing point configuration must contain a dense line structure approximating arithmetic progressions. This provides important insight into understanding the essence of the dot products problem.

Limitations

1. Threshold Restriction: Results apply only to the $n^{3/4}$ threshold, not generalizable to broader cases
2. Construction Issues: Does not provide actual slowly-growing constructions
3. Technical Limitations: Methods depend on specific geometric structure assumptions

Future Directions

1. Bound Improvements: Seek tighter upper and lower bounds
2. Construction Exploration: Find or refute the existence of sublinear constructions
3. Generalization Research: Extend to higher dimensions or other metric spaces

In-Depth Evaluation

Strengths

1. Theoretical Depth: Provides profound insight into problem structure
2. Technical Innovation: Develops new methods for analyzing line-circle configurations
3. Proof Rigor: Mathematical arguments are clear and complete
4. Problem Importance: Addresses fundamental questions in combinatorial geometry

Weaknesses

1. Limited Practicality: Primarily a pure theoretical result
2. Technical Complexity: Proof techniques are highly specialized
3. Localized Results: Addresses only one aspect of the problem

Impact

This paper provides a new theoretical framework for the distinct dot products problem, potentially inspiring subsequent research and advancing the field. While not completely resolving the upper-lower bound gap, it makes important contributions to understanding the problem's essence.

Applicable Domains

Primarily applicable to theoretical mathematics research in combinatorial geometry, additive combinatorics, and harmonic analysis.

References

The paper cites major works in the field, including foundational results by Hanson-Roche-Newton-Senger and recent related progress, demonstrating comprehensive command of the literature.