English

Improved bounds for the expected number of $k$-sets

Metric Geometry 2022-03-23 v2 Combinatorics Probability

Abstract

Given a finite set of points SRdS\subset\mathbb{R}^d, a kk-set of SS is a subset ASA \subset S of size kk which can be strictly separated from SAS \setminus A by a hyperplane. Similarly, a kk-facet of a point set SS in general position is a subset ΔS\Delta\subset S of size dd such that the hyperplane spanned by Δ\Delta has kk points from SS on one side. For a probability distribution PP on Rd\mathbb{R}^d, we study EP(k,n)E_P(k,n), the expected number of kk-facets of a sample of nn random points from PP. When PP is a distribution on R2\mathbb{R}^2 such that the measure of every line is 0, we show that EP(k,n)=O(n(k+1)1/4)E_P(k,n) = O(n(k+1)^{1/4}). Our argument is based on a technique by B\'{a}r\'{a}ny and Steiger. We study how it may be possible to improve this bound using the continuous version of the polynomial partitioning theorem. This motivates a question concerning the points of intersection of an algebraic curve and the kk-edge graph of a set of points. We also study a variation on the kk-set problem for the set system whose set of ranges consists of all translations of some strictly convex body in the plane. The motivation is to show that the technique by B\'{a}r\'{a}ny and Steiger is tight for a natural family of set systems. For any such set system, we determine bounds for the expected number of kk-sets which are tight up to logarithmic factors.

Keywords

Cite

@article{arxiv.2106.04782,
  title  = {Improved bounds for the expected number of $k$-sets},
  author = {Brett Leroux and Luis Rademacher},
  journal= {arXiv preprint arXiv:2106.04782},
  year   = {2022}
}

Comments

Thanks to a reviewer's suggestion, we have improved the bound in one of the main theorems (Theorem 1.3). The bound is now "sensitive to k"

R2 v1 2026-06-24T02:59:14.147Z