Abstract:A range counting problem is specified by a set $P$ of size $|P| = n$ of points in $\mathbb{R}^d$, an integer weight $x_p$ associated to each point $p \in P$, and a range space ${\cal R} \subseteq 2^{P}$. Given a query range $R \in {\cal R}$, the target output is $R(\vec{x}) = \sum_{p \in R}{x_p}$. Range counting for different range spaces is a central problem in Computational Geometry. We study $(\epsilon, \delta)$-differentially private algorithms for range counting. Our main results are for the range space given by hyperplanes, that is, the halfspace counting problem. We present an $(\epsilon, \delta)$-differentially private algorithm for halfspace counting in $d$ dimensions which achieves $O(n^{1-1/d})$ average squared error. This contrasts with the $\Omega(n)$ lower bound established by the classical result of Dinur and Nissim [PODS 2003] for arbitrary subset counting queries. We also show a matching lower bound on average squared error for any $(\epsilon, \delta)$-differentially private algorithm for halfspace counting. Both bounds are obtained using discrepancy theory. For the lower bound, we use a modified discrepancy measure and bound approximation of $(\epsilon, \delta)$-differentially private algorithms for range counting queries in terms of this discrepancy. We also relate the modified discrepancy measure to classical combinatorial discrepancy, which allows us to exploit known discrepancy lower bounds. This approach also yields a lower bound of $\Omega((\log n)^{d-1})$ for $(\epsilon, \delta)$-differentially private orthogonal range counting in $d$ dimensions, the first known superconstant lower bound for this problem. For the upper bound, we use an approach inspired by partial coloring methods for proving discrepancy upper bounds, and obtain $(\epsilon, \delta)$-differentially private algorithms for range counting with polynomially bounded shatter function range spaces.

Improved Bounds for Point Selections and Halving Hyperplanes in Higher Dimensions

A discretized point-hyperplane incidence bound in $\mathbb{R}^d$

Upper bounds for Heilbronn's triangle problem in higher dimensions

Bounds for Rational Points on Algebraic Curves, Optimal in the Degree, and Dimension Growth

A new lower bound on Hadwiger-Debrunner numbers in the plane

Bisection Width, Discrepancy, and Eigenvalues of Hypergraphs

Improved Algorithms for Distance Selection and Related Problems

Improved bounds on the Hadwiger-Debrunner numbers

Incidence bounds via extremal graph theory

New improvement to Falconer distance set problem in higher dimensions

Embeddings and near-neighbor searching with constant additive error for hyperbolic spaces

Optimal Private Halfspace Counting via Discrepancy

Optimization Algorithms for Faster Computational Geometry.

New bounds for the Heilbronn triangle problem

On the Erdős-Purdy problem and the Zarankiewitz problem for semialgebraic graphs

Maximum Rectilinear Crossing Number of Uniform Hypergraphs

A combinatorial higher-rank hyperbolicity condition

No-dimensional Tverberg Partitions Revisited

Distance sets bounds for polyhedral norms via effective dimension

Improved bounds for the bracketing number of orthants or revisiting an algorithm of Thiémard to compute bounds for the star discrepancy