Tiling by translates of a function: results and open problems
- Mathematics and Applied Mathematics, University of Crete
- More about Mihail N. Kolountzakis
- Mathematics, Bar-Ilan University
- More about Nir Lev
Tiling by translates of a function: results and open problems, Discrete Analysis 2021:12, 24 pp.
Let f be a function from R to R, and for each λ∈R, let Tλ be the translate of f by λ, that is, the function given by the formula
We say that f tiles R at level w if there is a set Λ⊂R such that the function ∑λ∈ΛTλf is equal (or equal almost everywhere) to the constant function that takes value w. (The convergence in the sum is required to be absolute.) The word “tiles” is used because if f is the characteristic function of some set S and w=1, then a tiling of R by f is (up to sets of measure zero) a partition of R into translates of S.
This article is concerned with the general problem of understanding what such tilings can look like, with a particular emphasis on what the sets Λ can look like. One can of course consider tilings of other groups such as Rd with d>1, but the one-dimensional case turns out to be particularly interesting. (There are also important open problems such as Fuglede’s conjecture that concern tilings of finite groups.) The paper provides both new results and a useful survey of the area – useful because the existing results were scattered amongst several papers and not always easy to find.
Since one can always multiply f by a scalar, the precise value of w is not important – what matters is merely whether it is zero or non-zero. A simple example of a tiling at level 1 is to take f to be the characteristic function of the interval [0,1) and Λ to be Z. A slightly more complicated one is to take f to be the characteristic function of [0,1)∪[2,3) and to take Λ to be 4Z∪(4Z+1).
Note that the value taken by the function ∑λ∈ΛTλf at x is ∑λ∈Λf(x−λ), which we can write as ∑y+z=xf(y)1Λ(z). That is, we have a kind of convolution of f with the characteristic function of Λ. This thought leads naturally to the observation that if we have n disjoint arithmetic progressions aiZ+bi, then there is a compactly supported function f such that ∑λ∈ΛTλf tiles R, where Λ is the union of the arithmetic progressions. Indeed, we can take
Writing Λi for the progression aiZ+bi, we see that f∗Λi is equal to the convolution that defines f, but with 1[0,ai) replaced by the constant function 1. Thus, f∗Λi is itself a constant function, and summing over i we again obtain a constant function.
This one can think of as the basic class of examples of translation sets Λ for tilings of R. (It is tempting to try to switch round the roles of f and Λ, letting f be a sum of two functions that tile R using sets Λ1 and Λ2 and letting Λ=Λ1∗Λ2 for some suitable definition of the convolution. Unfortunately this doesn’t work, as the set of numbers λ1+λ2 is typically much too dense.)
The interesting questions begin as soon as one moves beyond this class. Indeed, virtually every sensible question one might wish to ask turns out to be a non-trivial problem. Must Λ have a “uniform density” in the sense that there is some δ such that |Λ∩[x,x+r]|=(δ+o(1))r for all x (where the convergence implicit in the o(1) notation is uniform in x)? Does the integral of f have to be zero if w=0 and non-zero if w≠0? If f∈L1(R) and w=1, it is easy to see that Λ cannot have density zero, but what if w=0? These (to which the answers are known) and many other questions are discussed in the paper. A particular highlight of the results proved is the construction of a tiling of R for any given level w such that Λ is a set of unbounded density (meaning that for every C there is an interval [a,b] such that |Λ∩[a,b]|≥C(b−a)). The function f in this case belongs to the Schwartz class.
The paper concludes with some very nice open problems. To mention just one, it is not known whether there is a tiling of R such that Λ has bounded density but not uniform density. Such a tiling does not exist if w≠0 (this is a result of Kolountzakis and Lagarias from 1996) but the question remains open if w=0.