Bounds for sets with few distances distinct modulo a prime ideal (Q6042826)

For each subset \(X\subset \mathbb{R}^d\), let \(D(X)\) be the set of distinct squared distances between any two points in \(X\). Also, let \(\mathfrak{p}\) be a prime ideal of the ring of integers, \(A = \mathcal{O}_K\), of an algebraic number field~\(K\) embedded into~\(\mathbb{C}\). The author of paper under review proves that, if \(D(X)\subset \mathcal{O}_K\) and there exist \(s\) values \(a_1,\ldots,a_s\in\mathcal{O}_K\) that are distinct and non-zero modulo \(\mathfrak{p}\) such that each element of \(D(X)\) is congruent to some \(a_i\), then \[ |X| \leq \binom{d+s}{s} + \binom{d+s-1}{s-1}. \] This result strongly generalises a similar bound by \textit{A. Blokhuis} [Few-distance sets. Amsterdam: Mathematisch Centrum (1984; Zbl 0548.51014)]. The paper under review is well-written and is a very nice addition to the literature on \(s\)-distance sets.