Planar Regions Avoiding Prescribed Interior Lattice Point Counts
Status Open · unsolvedmath.comLLM status Open unverified
Top Open Problems Not reported cataloguedOpenOpenStatement
Definitions and mathematical statement
Let $\mathcal R$ denote the intended class of planar regions; the supplied record does not define this class. Write $\operatorname{Area}(R)$ for planar area, $\operatorname{int}(R)$ for the topological interior of $R\subseteq{\mathbb{R}}^2$, and ${\mathbb{Z}}^2=\{(a,b):a,b\in{\mathbb{Z}}\}$ for the standard integer lattice. For any set $S$, let $\#S$ denote its cardinality, which may be infinite. Boundary lattice points are excluded from the count.Under the usual interpretation of congruence as an arbitrary Euclidean isometry, a congruent copy of $R$ has the form $QR+t$, where $Q\in O(2)=\{Q\in{\mathbb{R}}^{2\times2}:Q^{\mathsf T}Q=I_2\}$ and $t\in{\mathbb{R}}^2$. Thus reflections as well as rotations and translations are included.
The supplied question asks whether \[ \forall n\in{\mathbb{N}}\quad \exists R\in\mathcal R\quad \left[\operatorname{Area}(R)=n\ \land\ \forall Q\in O(2)\ \forall t\in{\mathbb{R}}^2,\quad \#\left(\operatorname{int}(QR+t)\cap{\mathbb{Z}}^2\right)\ne n\right]. \] Here each region may depend on $n$. The source does not specify whether $0\in{\mathbb{N}}$, or whether regions must be measurable, bounded, connected, open, closed, or satisfy boundary regularity conditions. Consequently, $\mathcal R$ and the meaning of area remain unresolved qualifications of this statement. If area is interpreted as Lebesgue measure, measurability must be specified. The standard lattice and the full Euclidean congruence group are conventional interpretations rather than explicitly supplied definitions.
Short English statement
For every natural number $n$, can one find a planar region of area $n$ such that every congruent placement has an interior lattice-point count different from $n$? Points on the boundary do not count. The admissible meaning of planar region and the convention concerning $n=0$ require clarification.Sources
- Local UnsolvedMath registry, supplied record with permanent ID $30002664$, title Planar Regions Avoiding Prescribed Interior Lattice Point Counts, exact source problem code
catalogue entry. The record labels the statement exact and describes it as retained byte-for-byte; these are supplied registry annotations, not independent source verification. - Supplied source citation: Discrete Geometry (2015), Oberwolfach Reports, pp. 2235--2296, DOI
10.4171/owr/2014/40. https://doi.org/10.4171/owr/2014/40. The record gives proposed year 2014 and supplies no named proposer. Its background describes Oberwolfach Reports as documenting mathematical workshops and their open-problem discussions. - Supplied literature source: Oberwolfach report on the Steinhaus lattice-point problem. https://ems.press/content/serial-article-files/46530.
- Supplied literature source: Maehara, lattice points on polyhedra. https://doi.org/10.1007/s00454-017-9869-8.
- Literature assessment dated exactly
2026-08-21: the supplied curation labels the problem open and reports positive results for compact, strictly convex, algebraic, and polygonal regions, while describing the arbitrary-region question as unresolved. This is supplied dated curation derived from the OWR material, not an independently verified assessment. Its status and cited claims require independent verification.
Statement licence: CC-BY-SA-4.0 · Source file
Contributions 0
No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.