2025-11-10T02:42:59.585822

On Few-Distance Sets in the Plane

Wang
Let $g(k)$ be the maximum size of a planar set that determines at most $k$ distances. We prove $$\fracπ{3\,C(Λ_{hex})}\ k\sqrt{\log k} (1+o(1)) \le g(k) \le C k\log k,$$ so $g(k) \asymp k\sqrt{\log k}$ with an explicit constant from the hexagonal lattice. For any arithmetic lattice $Λ$ we show $$g_Λ(k)\ge (π/4) S^*(Λ) k\sqrt{\log k} (1+o(1)).$$ We also give quantitative stability: unless $X$ is line-heavy or has two popular nonparallel shifts, either almost all ordered pairs lie below a high quantile of the distance multiset (near-center localization), or a constant fraction of $X\cap W$ lies in one residue class modulo $2Λ$.
academic

Über Mengen mit wenigen Distanzen in der Ebene

Grundinformationen

  • Papier-ID: 2510.09800
  • Titel: On Few-Distance Sets in the Plane
  • Autor: Lucas Wang
  • Klassifizierung: math.MG (Metrik-Geometrie), math.CO (Kombinatorik)
  • Einreichungszeit: 10. Oktober 2025 bei arXiv eingereicht
  • Papierlink: https://arxiv.org/abs/2510.09800

Zusammenfassung

Dieses Papier untersucht das Problem der maximalen Größe von Punktmengen in der Ebene, die höchstens k Distanzen bestimmen. Sei g(k)g(k) die maximale Größe einer ebenen Punktmenge, die höchstens k Distanzen bestimmt. Der Autor beweist: π3C(Λhex)klog⁡k(1+o(1))≤g(k)≤Cklog⁡k\frac{\pi}{3}C(\Lambda_{hex}) k\sqrt{\log k} (1+o(1)) \leq g(k) \leq C k\log k

Damit wird die Wachstumsordnung g(k)≍klog⁡kg(k) \asymp k\sqrt{\log k} bestimmt und explizite Konstanten aus dem hexagonalen Gitter gegeben. Für beliebige arithmetische Gitter Λ\Lambda beweist der Autor außerdem: gΛ(k)≥π4S∗(Λ)klog⁡k(1+o(1))g_\Lambda(k) \geq \frac{\pi}{4} S^*(\Lambda) k\sqrt{\log k} (1+o(1))

Darüber hinaus liefert das Papier quantitative Stabilitätsergebnisse: Sofern die Punktmenge X nicht linienreich ist oder zwei populäre nicht-parallele Translationen hat, liegt entweder fast jedes geordnete Paar unterhalb des hohen Perzentils der Distanzmultimenge (nahe zentrale Lokalisierung), oder ein konstanter Anteil von X∩W liegt in einer Restklasse modulo 2Λ.

Forschungshintergrund und Motivation

Problemhintergrund

Diese Forschung stammt aus dem Umkehrproblem des klassischen Erdős-Distanzproblems. Das ursprüngliche Problem wurde von Guth-Katz gelöst, die bewiesen, dass n ebene Punkte mindestens Ω(n/log⁡n)\Omega(n/\log n) verschiedene Distanzen bestimmen. Dieses Papier untersucht das Umkehrproblem: Gegeben höchstens k Distanzen, wie viele Punkte kann eine ebene Punktmenge höchstens enthalten?

Bedeutung des Problems

  1. Theoretische Bedeutung: Dies ist ein grundlegendes Problem der kombinatorischen Geometrie, das Metrik-Geometrie, Zahlentheorie und additive Kombinatorik verbindet
  2. Technische Herausforderungen: Erfordert die Kombination von Gittertheorie, Inzidenzgeometrie und additiven Energiemethoden
  3. Anwendungswert: Bezieht sich auf Kodierungstheorie, diskrete geometrische Optimierung und verwandte Bereiche

Einschränkungen bestehender Methoden

  • Die Guth-Katz-Obergrenze g(k)≲klog⁡kg(k) \lesssim k\log k ist nicht präzise genug
  • Gitterfenster-Konstruktionen geben nur die Untergrenze g(k)≳klog⁡kg(k) \gtrsim k\sqrt{\log k}
  • Mangel an expliziten Konstanten und quantitativer Stabilitätsanalyse

Forschungsmotivation

Bestimmung der exakten Wachstumsordnung von g(k)g(k), Bereitstellung expliziter Konstanten und Verständnis der Strukturmerkmale extremaler Konstruktionen.

Kernbeiträge

  1. Bestimmung der exakten Wachstumsordnung: Beweis von g(k)≍klog⁡kg(k) \asymp k\sqrt{\log k}, Schließung der logarithmischen Faktordifferenz zwischen Ober- und Untergrenze
  2. Explizite Konstanten: Angabe der expliziten Bernays-Konstante C(Λhex)C(\Lambda_{hex}) für das hexagonale Gitter
  3. Einheitliche Untergrenze für Gitterfamilien: Etablierung einer einheitlichen Untergrenzformel für alle arithmetischen Gitter Λ\Lambda
  4. Quantitatives Stabilitätstheorem: Charakterisierung der Strukturmerkmale nahezu optimaler Konstruktionen
  5. Technische Innovationen: Entwicklung neuer Techniken für Gitterfenster-Analyse und additive Energiemethoden

Methodische Details

Aufgabendefinition

Gegeben eine positive ganze Zahl k, löse: g(k):=max⁡{∣X∣:X⊂R2,∣D(X)∣≤k}g(k) := \max\{|X| : X \subset \mathbb{R}^2, |D(X)| \leq k\} wobei D(X)={∣x−y∣:x≠y∈X}D(X) = \{|x-y| : x \neq y \in X\} die Distanzmenge ist, die von der Punktmenge X bestimmt wird.

Haupttechnischer Rahmen

1. Untergrenzen-Konstruktion: Gitterfenster-Methode

Für ein arithmetisches Gitter Λ=Zv1⊕Zv2\Lambda = \mathbb{Z}v_1 \oplus \mathbb{Z}v_2 betrachte das Scheibenfenster: WR=(τ+Λ)∩B(z,R)W_R = (\tau + \Lambda) \cap B(z, R)

Durch die Bernays-Landau-Asymptotik-Formel ist die Anzahl der Distanzen: ∣D(WR)∣=C(Λ)s(Λ)4R2log⁡(4R2/s(Λ))(1+o(1))|D(W_R)| = \frac{C(\Lambda)}{s(\Lambda)} \frac{4R^2}{\sqrt{\log(4R^2/s(\Lambda))}}(1 + o(1))

2. Obergrenze: Inzidenzgeometrie-Methode

Nutze das Guth-Katz-Ergebnis, dass jede n-Punkt-Ebenen-Menge mindestens cn/log⁡nc n/\log n verschiedene Distanzen bestimmt, daher: g(k)≤Cklog⁡kg(k) \leq C k \log k

3. Schlüssel-Lemma: Geordnete Paar-Zählung

Definiere geordnete Distanz-Zählung: Qord(X):=∑t∈D(X)mt2Q_{ord}(X) := \sum_{t \in D(X)} m_t^2 wobei mt=#{(p,q)∈X2:p≠q,∣p−q∣=t}m_t = \#\{(p,q) \in X^2 : p \neq q, |p-q| = t\}.

Durch die Cauchy-Schwarz-Ungleichung: Qord(X)≥n2(n−1)2kQ_{ord}(X) \geq \frac{n^2(n-1)^2}{k}

Technische Innovationspunkte

1. Explizite Gitterparameter

Einführung normalisierter Parameter: S∗(Λ):=s(Λ)A(Λ)C(Λ)S^*(\Lambda) := \frac{s(\Lambda)}{A(\Lambda)C(\Lambda)} wobei s(Λ)s(\Lambda) die Proportionalitätskonstante ist, A(Λ)A(\Lambda) der Kovolumen und C(Λ)C(\Lambda) die Bernays-Konstante.

2. Innere reguläre Fenster-Theorie

Definition des Konzepts innerer regulärer Fenster, Etablierung präziser Kontrolle der Distanzrealisierung in Gitterfenstern:

Lemma 2.11: Für Gitter Λ\Lambda und Überdeckungsradius μ(Λ)\mu(\Lambda), wenn R>μ(Λ)R > \mu(\Lambda): {λ∈Λ:∣λ∣≤2R−2μ(Λ)}⊆{x−y:x,y∈(τ+Λ)∩B(0,R)}\{\lambda \in \Lambda : |\lambda| \leq 2R - 2\mu(\Lambda)\} \subseteq \{x-y : x,y \in (\tau + \Lambda) \cap B(0,R)\}

3. Additive Energie-Analyse

Analyse der Punktmengen-Struktur durch additive Energie E+(X)=∑vrX(v)2E_+(X) = \sum_v r_X(v)^2: Qord(X)≤E+(X)+Cn3log⁡n+O(n2)Q_{ord}(X) \leq E_+(X) + C n^3 \log n + O(n^2)

Experimentelles Setup

Theoretisches Verifikationsrahmen

Dieses Papier ist hauptsächlich theoretisch und verifiziert Ergebnisse durch:

  1. Asymptotische Analyse: Verifikation der Anwendung der Bernays-Landau-Formel
  2. Konstantenberechnung: Berechnung spezifischer Parameter für das hexagonale Gitter
  3. Grenzfall-Überprüfung: Verifikation bekannter Ergebnisse für kleine k-Werte

Schlüsselparameter

  • Hexagonales Gitter: s(Λhex)=2/3s(\Lambda_{hex}) = 2/\sqrt{3}
  • Berechnung von Überdeckungsradius und Gitterkonstanten
  • Auswahl von Stabilitätsparametern

Experimentelle Ergebnisse

Haupttheorem-Ergebnisse

Theorem 3.4 (Präzise Grenzen für arithmetische Gitter): Für normalisierte arithmetische Gitter Λ\Lambda (λ1(Λ)=1\lambda_1(\Lambda) = 1) existiert k0(Λ)k_0(\Lambda) so dass für alle k≥k0(Λ)k \geq k_0(\Lambda): π4S∗(Λ)klog⁡k(1+oΛ(1))≤gΛ(k)≤Cklog⁡k\frac{\pi}{4} S^*(\Lambda) k\sqrt{\log k} (1 + o_\Lambda(1)) \leq g_\Lambda(k) \leq C k \log k

Theorem 7.1 (Globales Ergebnis): π3C(Λhex)klog⁡k(1+o(1))≤g(k)≤Cklog⁡k\frac{\pi}{3} C(\Lambda_{hex}) k\sqrt{\log k} (1 + o(1)) \leq g(k) \leq C k \log k

Stabilitätsergebnisse

Theorem 7.3 (Quantitative Stabilität): Für Punktmenge X⊂R2X \subset \mathbb{R}^2, ∣X∣=n|X| = n, ∣D(X)∣≤k|D(X)| \leq k, k≤Cn/log⁡nk \leq C n/\log n, muss eines der folgenden gelten:

  1. Eine gerade Linie enthält mindestens cncn Punkte
  2. Es existieren nicht-parallele Vektoren v1,v2v_1, v_2 und Gitter-Rechteck WW, so dass der entsprechende Überlappungsgrad groß ist
  3. Es existiert z∈Xz \in X so dass ∣X∩B(z,t∗)∣|X \cap B(z, t_*)| nahe bei nn liegt

Schlüsselabschätzungen

Durch Proposition 5.1 erfüllt die Distanzanzahl des inneren regulären Fensters WRW_R: C(Λ)s(Λ)4(1−c)2R2log⁡(4R2/s(Λ))(1+o(1))≤∣D(WR)∣≤C(Λ)s(Λ)4R2log⁡(4R2/s(Λ))(1+o(1))\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))

Verwandte Arbeiten

Geschichte der Distanzprobleme

  1. Erdős-Distanzproblem: Guth-Katz (2015) bewiesen m(n)≳n/log⁡nm(n) \gtrsim n/\log n
  2. Kleine k-Fälle: Erdős-Fishburn bestimmten exakte Werte für k≤5k \leq 5
  3. Gitter-Konstruktionen: Untergrenzen durch Bernays-Landau-Asymptotik

Verwandte Techniken

  1. Inzidenzgeometrie: Elekes-Sharir-Reduktion und Guth-Katz-Methode
  2. Additive Kombinatorik: Balog-Szemerédi-Gowers-Theorem und Freiman-Theorem
  3. Gittertheorie: Darstellungstheorie quadratischer Formen und Überdeckungseigenschaften

Vorteile dieses Papiers

  • Erstmalige Bestimmung der exakten Wachstumsordnung klog⁡kk\sqrt{\log k}
  • Bereitstellung expliziter Konstanten und einheitlicher Rahmen
  • Entwicklung neuer Stabilitätstheorie

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Bestimmung der exakten Wachstumsordnung g(k)≍klog⁡kg(k) \asymp k\sqrt{\log k}
  2. Das hexagonale Gitter liefert optimale Untergrenzen-Konstruktion
  3. Nahezu optimale Konstruktionen haben spezifische Strukturmerkmale

Einschränkungen

  1. Die exakten Werte der Konstanten haben noch Verbesserungspotenzial
  2. Stabilitätsergebnisse zeigen starke Parameterabhängigkeit
  3. Die Analyse nicht-arithmetischer Fälle ist unvollständig

Zukünftige Richtungen

  1. Verbesserung expliziter Konstanten
  2. Erweiterung auf höhere Dimensionen
  3. Untersuchung ähnlicher Probleme unter anderen geometrischen Einschränkungen

Tiefgreifende Bewertung

Stärken

  1. Theoretische Tiefe: Lösung eines langfristig offenen Problems, Bestimmung der exakten Wachstumsordnung
  2. Technische Innovation: Geschickte Kombination von Gittertheorie, additiver Kombinatorik und Inzidenzgeometrie
  3. Vollständigkeit der Ergebnisse: Nicht nur asymptotische Ergebnisse, sondern auch explizite Konstanten und Stabilitätsanalyse
  4. Methodische Einheitlichkeit: Etablierung eines einheitlichen Rahmens für alle arithmetischen Gitter

Schwächen

  1. Rechenkomplexität: Berechnung expliziter Konstanten ist relativ komplex
  2. Anwendungsbereich: Hauptsächlich auf arithmetische Gitter beschränkt
  3. Stabilitätsparameter: Quantitative Stabilität hängt von vielen Parametern ab

Einflussfaktor

  1. Akademischer Wert: Lösung eines grundlegenden Problems der kombinatorischen Geometrie
  2. Methodischer Beitrag: Entwickelte Techniken anwendbar auf verwandte Probleme
  3. Theoretische Vervollständigung: Wichtiger Beitrag zur Theorie der Distanzprobleme

Anwendungsszenarien

  1. Diskrete geometrische Optimierung
  2. Distanzmenge-Konstruktion in der Kodierungstheorie
  3. Darstellungsprobleme quadratischer Formen in der Zahlentheorie
  4. Strukturanalyse in der additiven Kombinatorik

Literaturverzeichnis

Schlüsselreferenzen im Papier umfassen:

  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. Klassische Literatur zur Bernays-Landau-Asymptotik-Theorie
  5. Literatur zu BSG-Theorem und Freiman-Theorem in der additiven Kombinatorik

Dieses Papier löst durch raffinierte mathematische Analyse ein wichtiges Extremalproblem der ebenen Geometrie. Seine technischen Methoden und theoretischen Ergebnisse haben bedeutenden Wert für das Gebiet der kombinatorischen Geometrie.