English

Double-normal pairs in space

Metric Geometry 2019-02-20 v1 Combinatorics

Abstract

A double-normal pair of a finite set SS of points from RdR^d is a pair of points {p,q}\{p,q\} from SS such that SS lies in the closed strip bounded by the hyperplanes through pp and qq perpendicular to pqpq. A double-normal pair pqpq is strict if S{p,q}S\setminus\{p,q\} lies in the open strip. The problem of estimating the maximum number Nd(n)N_d(n) of double-normal pairs in a set of nn points in RdR^d, was initiated by Martini and Soltan (2006). It was shown in a companion paper that in the plane, this maximum is 3n/23\lfloor n/2\rfloor, for every n>2n>2. For d3d\geq 3, it follows from the Erd\H{o}s-Stone theorem in extremal graph theory that Nd(n)=12(11/k)n2+o(n2)N_d(n)=\frac12(1-1/k)n^2 + o(n^2) for a suitable positive integer k=k(d)k=k(d). Here we prove that k(3)=2k(3)=2 and, in general, d/2k(d)d1\lceil d/2\rceil \leq k(d)\leq d-1. Moreover, asymptotically we have limnk(d)/d=1\lim_{n\rightarrow\infty}k(d)/d=1. The same bounds hold for the maximum number of strict double-normal pairs.

Keywords

Cite

@article{arxiv.1404.0419,
  title  = {Double-normal pairs in space},
  author = {János Pach and Konrad Swanepoel},
  journal= {arXiv preprint arXiv:1404.0419},
  year   = {2019}
}

Comments

15 pages, 1 figure

R2 v1 2026-06-22T03:40:46.932Z