Kolountzakis–Papageorgiou Question 1 on common tiling functions

For a fixed dimension d≥2d\ge 2, do there exist arbitrarily large integers NN and lattices Λ1,…,ΛN⊂Rd\Lambda_1,\ldots,\Lambda_N\subset\mathbb{R}^d such that vol⁡(Rd/Λi)=1\operatorname{vol}(\mathbb{R}^d/\Lambda_i)=1 for every ii, Λi∩Λj={0}\Lambda_i\cap\Lambda_j=\{0\} whenever i≠ji\ne j, and a nonzero common tiling function ff whose support satisfies diam⁡(supp⁡f)=o(N)\operatorname{diam}(\operatorname{supp} f)=o(N); that is, ∑λ∈Λif(x+λ)\sum_{\lambda\in\Lambda_i}f(x+\lambda) is constant almost everywhere for every ii?

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed progress

A new unrefereed preprint reaches the conjectured support-size scale for selected lattice families, but it does not settle the full question.

The question asks whether some pairwise trivially intersecting lattice families admit common tiling functions whose support grows sublinearly in the number of lattices. It was recorded in the 2021 paper Functions tiling with several lattices.

Known results

  • Every common tiling function satisfies the lower bound diam⁡supp⁡f≥CdN1/d\operatorname{diam}\operatorname{supp} f\ge C_dN^{1/d}.
  • For round lattices, convolution gives an O(N)O(N) upper bound.
  • Special families can force the linear lower bound diam⁡supp⁡f≥CdN\operatorname{diam}\operatorname{supp} f\ge C_dN.
  • Families with algebraic relations admit smaller common tiles, but they do not satisfy Λi∩Λj={0}\Lambda_i\cap\Lambda_j=\{0\} for i≠ji\ne j.

August 25, 2026 construction claim

A report dated August 25, 2026 describes an unrefereed preprint, Common tiling functions with small support, claiming pairwise trivially intersecting lattice families with nonnegative common tiling functions of support diameter O(N1/d)O(N^{1/d}) for all sufficiently large NN. This matches the lower-bound scale for selected families, not the full admissible-family question, and remains unverified.

Current status (as of August 2026): the general question remains open; the selected-family O(N1/d)O(N^{1/d}) construction is claimed but unverified.

Sources

Solutions 0

No solutions have been posted yet.