English

The smallest sets of points not determined by their X-rays

Metric Geometry 2015-06-12 v3 Combinatorics

Abstract

Let FF be an nn-point set in Kd\mathbb{K}^d with K{R,Z}\mathbb{K}\in\{\mathbb{R},\mathbb{Z}\} and d2d\geq 2. A (discrete) X-ray of FF in direction ss gives the number of points of FF on each line parallel to ss. We define ψKd(m)\psi_{\mathbb{K}^d}(m) as the minimum number nn for which there exist mm directions s1,...,sms_1,...,s_m (pairwise linearly independent and spanning Rd\mathbb{R}^d) such that two nn-point sets in Kd\mathbb{K}^d exist that have the same X-rays in these directions. The bound ψZd(m)2m1\psi_{\mathbb{Z}^d}(m)\leq 2^{m-1} has been observed many times in the literature. In this note we show ψKd(m)=O(md+1+ε)\psi_{\mathbb{K}^d}(m)=O(m^{d+1+\varepsilon}) for ε>0\varepsilon>0. For the cases Kd=Zd\mathbb{K}^d=\mathbb{Z}^d and Kd=Rd\mathbb{K}^d=\mathbb{R}^d, d>2d>2, this represents the first upper bound on ψKd(m)\psi_{\mathbb{K}^d}(m) that is polynomial in mm. As a corollary we derive bounds on the sizes of solutions to both the classical and two-dimensional Prouhet-Tarry-Escott problem. Additionally, we establish lower bounds on ψKd\psi_{\mathbb{K}^d} that enable us to prove a strengthened version of R\'enyi's theorem for points in Z2\mathbb{Z}^2.

Keywords

Cite

@article{arxiv.1406.0781,
  title  = {The smallest sets of points not determined by their X-rays},
  author = {Andreas Alpers and David G. Larman},
  journal= {arXiv preprint arXiv:1406.0781},
  year   = {2015}
}