APPLICATION OF SIGNAL ANALYSIS TO THE EMBEDDING
PROBLEM OF Zk -ACTIONS

arXiv:1709.00125v1 [math.DS] 1 Sep 2017

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

Abstract. We study the problem of embedding arbitrary Zk -actions into the shift
Zk
action on the infinite dimensional cube [0, 1]D . We prove that if a Zk -action X
satisfies the marker property (in particular if X is a minimal system without periodic
points) and if its mean dimension is smaller than D/2 then we can embed it in the
Zk
shift on [0, 1]D . The value D/2 here is optimal. The proof goes through signal
analysis. We develop the theory of encoding Zk -actions into band-limited signals and
apply it to proving the above statement. Main technical difficulties come from higher
dimensional phenomena in signal analysis. We overcome them by exploring analytic
techniques tailored to our dynamical settings. The most important new idea is to encode
the information of a tiling of Rk into a band-limited function which is constructed from
another tiling.

1. Introduction
1.1. Background. The main purpose of this paper is to deepen interactions between
signal analysis and dynamical systems. (This subsection is just a motivation. So readers
can skip unfamiliar/undefined terminologies.) If we think of signal analysis in a broad
sense (like signal analysis ≈ Fourier analysis), then applications of signal analysis are
ubiquitous in ergodic theory. For example, Fourier analysis proof of the unique ergodicity
of the irrational rotation (due to Weyl) is a milestone of such applications. But here
we would like to think of signal analysis in a narrower sense, say signal analysis is a
part of communication theory. From this viewpoint, a masterpiece is Shannon’s work on
communications over band-limited channels with Gaussian noise ([Sha48], [CT06, Chapter
9]): Suppose that we try to send information by using signals (say, of telephone line) whose
frequencies are limited in [−W/2, W/2]. If the averaged power of signal is P and if the
noise is additive white Gaussian noise of spectral density N, then the capacity of the
channel (i.e. the amount of information we can send by using this channel) is given by
Date: February 14, 2018.
2010 Mathematics Subject Classification. 37B05, 54F45, 94A12.
Key words and phrases. Band-limited signal, dynamical system, Zk -action, mean dimension, embedding, tiling of Rk .
Y.G. was partially supported by the Marie Curie grant PCIG12-GA-2012-334564 and the National
Science Center (Poland) grant 2016/22/E/ST1/00448. Y.Q. was partially supported by NNSF of China
(11371339 and 11571335). M.T. was supported by John Mung Program of Kyoto University.
1

2

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

the formula



W
P
Capacity =
bits per second.
log2 1 +
2
NW
The details of this formula are not important here. We just would like to emphasize
that the band-width W is a crucial parameter in the communications over band-limited
channels.
Recently the first and third named authors [GT] found an analogous theory in the
context of topological dynamics. They started the theory of encoding arbitrary dynamical
systems into band-limited signals and applied it to solving an open problem posed by
Lindenstrauss [Lin99] in 1999. The purpose of the present paper is to expand this theory
to multi-dimensional case.
1.2. Encoding into discrete signals. We start from a problem seemingly unrelated to
signal analysis. Let k be a natural number. A triple (X, Zk , T ) (often abbreviated to X)
is called a dynamical system if X is a compact metric space and
T : Zk × X → X,

(n, x) 7→ T n x

is a continuous action. A fundamental example of dynamical systems is the shift action
on the infinite dimensional cube. Let D be a natural number. Consider the infinite
Zk
Zk
Zk
be the shift:
→ [0, 1]D
product [0, 1]D . Let σ : Zk × [0, 1]D

σ m ((xn )n∈Zk ) = (xn+m )n∈Zk .

Zk k 
Zk
The triple [0, 1]D
, Z , σ is a dynamical system and called the shift on [0, 1]D .
We study the old problem of embedding arbitrary dynamical systems in the shift on
Zk
Zk
is called
[0, 1]D . Let (X, Zk , T ) be a dynamical system. A map f : X → [0, 1]D
k
an embedding of a dynamical system if f is a Z -equivariant continuous injection. We
Zk
would like to understand when X can be embedded in the shift on [0, 1]D . Notice that
Zk
every compact metric space can be topologically embedded in [0, 1]D . So the problem
is a genuinely dynamical question.
It will be convenient later to see the problem from a slightly different viewpoint: A point
Zk
can be seen as a discrete signal 1 valued in [0, 1]D . Then the
x = (xn )n∈Zk in [0, 1]D
embedding problem asks when we can encode a given dynamical system X into discrete
signals.
We review the history of the problem before explaining our main result (Main Theorem
1 below). The embedding problem was first studied by Jaworski [Jaw74] in 1974. For
understanding his result, notice that periodic points form an obvious obstruction to the
Zk
embedding. For example, the shift on ([0, 1]2 ) cannot be embedded in the shift on
k
k
Zk
[0, 1]Z because the fixed points sets of ([0, 1]2 ) and [0, 1]Z are homeomorphic to the
1When

k = 2, it might be better to call x a discrete image.

EMBEDDING PROBLEM OF Zk -ACTIONS

3

square [0, 1]2 and the line segment [0, 1] respectively and the square cannot be topologically
embedded in the line segment.
A dynamical system (X, Zk , T ) is said to be aperiodic if T n x 6= x for all x ∈ X and
nonzero n ∈ Zk . Jaworski [Jaw74] proved that periodic points are the only obstruction if
X is a finite dimensional system:
Theorem 1.1 (Jaworski, 1974). Let (X, Z, T ) be an aperiodic finite dimensional dynamical system. Then we can embed it in the shift on [0, 1]Z .
Although this theorem is stated only for Z-actions, it can be easily generalized to Zk actions. (Indeed the Zk -case can be deduced from the Z-case.)
After Jaworski, people were interested in whether the assumption of finite dimensionality is essential or not. Auslander [Aus88, p. 193] asked whether we can embed every
minimal system (X, Z, T ) in the shift on [0, 1]Z . A system (X, Zk , T ) is said to be minimal if the orbit {T n x}n∈Zk is dense in X for every x ∈ X. When k = 1, minimal systems
X have no periodic points unless X is a finite set. (If X is finite, then it can be obviously
embedded in the shift on [0, 1]Z .) Therefore the question essentially asks whether there is
another obstruction different from periodic points.
Lindenstrauss–Weiss [LW00] found that mean dimension provides a new obstruction to
the embedding. Mean dimension (first introduced by Gromov [Gro99]) is a topological
invariant of dynamical systems which counts the average number of parameters of a
given system. The mean dimension of (X, Zk , T ) is denoted by mdim(X). We review its
definition in Subsection 2.1. Finite dimensional systems and finite topological entropy
systems are known to have zero mean dimension.
Zk
is equal to D, which means that
The mean dimension of the shift on [0, 1]D
k

Z
has D parameters in average. If (X, Zk , T ) can be embedded in the shift
[0, 1]D
Zk
on [0, 1]D
then mdim(X) ≤ D. Lindenstrauss–Weiss [LW00, Proposition 3.5] constructed a minimal system (X, Z, T ) of mean dimension strictly greater than one. This
system cannot be embedded in the shift on [0, 1]Z although it is minimal. Thus it solved
Auslander’s question.
Lindenstrauss went further; he proved a partial converse [Lin99, Theorem 5.1].
Theorem 1.2 (Lindenstrauss, 1999). If a minimal system (X, Z, T ) satisfies mdim(X) <
Z
D/36 then we can embed it in the shift on [0, 1]D .

Lindenstrauss [Lin99, p. 229] asked the problem of improving the condition mdim(X) <
D/36. This problem was solved by the first and third named authors [GT, Theorem 1.4]:

Theorem 1.3 (Gutman–Tsukamoto). If a minimal system (X, Z, T ) satisfies mdim(X) <
Z
D/2 then we can embed it in the shift on [0, 1]D .
The condition mdim(X) < D/2 is optimal because there exists a minimal system
Z
(X, Z, T ) of mean dimension D/2 which cannot be embedded in the shift on [0, 1]D

4

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

([LT14]). Theorem 1.3 can be seen as a dynamical analogue of the classical theorem in
dimension theory [HW41, Thm. V2]: A compact metric space X can be topologically
embedded in [0, 1]D if dim X < D/2. We review the proof of this classical result in
Subsection 2.3.
A motivation of the present paper is to generalize Theorem 1.3 to Zk -actions. It is
convenient to introduce the following notion. A dynamical system (X, Zk , T ) is said to
satisfy the marker property if for every natural number N there exists an open set
U ⊂ X satisfying
[
U ∩ T −n U = ∅ (0 < |n| < N), X =
T −n U.
n∈Zk

This property obviously implies the aperiodicity. The following dynamical systems are
known to satisfy the marker property:
• Aperiodic minimal systems. (This is an immediate fact from the definition.)
• Aperiodic finite dimensional systems ([Gut12, Theorem 6.1])2.
• If X satisfies the marker property and if π : Y → X is an extension (i.e. Zk equivariant continuous surjection) then Y also satisfies the marker property.
The authors do not know an example of aperiodic actions which do not satisfy the marker
property.
Lindenstrauss and the first and third named authors [GLT16, Theorem 1.5] proved:
Theorem 1.4 (Gutman–Lindenstrauss–Tsukamoto, 2016). If a dynamical system (X, Zk , T )
satisfies the marker property and
D

mdim(X) <
then we can embed it in the shift on [0, 1]2D

Zk

2k+1
.

After stating this theorem, the paper [GLT16] posed the problem of improving the
condition mdim(X) < D/2k+1. Quoting [GLT16, p. 782]:
Note also that in our condition mdim(X) < D/2k+1, the constant involved is likely far from optimal. Presumably for an aperiodic Zk -system
k
if mdim(X) < D2 then X can be embedded in ([0, 1]D )Z .
The first main theorem of the present paper confirms this conjecture under the assumption of the marker property:
2More

generally, we can prove that if an aperiodic dynamical system satisfies the small boundary
property then it satisfies the marker property. The small boundary property is a notion introduced
by Lindenstrauss–Weiss [LW00, Definition 5.2], which is satisfied by every aperiodic finite dimensional
system. We do not use these facts. So we omit the detailed explanation.

EMBEDDING PROBLEM OF Zk -ACTIONS

5

Main Theorem 1. If a dynamical system (X, Zk , T ) satisfies the marker property and
mdim(X) <
then we can embed it in the shift on [0, 1]D

Zk

D
,
2

.

As in the case of Theorem 1.3, the condition mdim(X) < D/2 is optimal because
the paper [LT14]3 provides an example of aperiodic minimal system (X, Zk , T ) of mean
Zk
dimension D/2 which cannot be embedded in the shift on [0, 1]D . Main Theorem
1 has some novelty even in the case of k = 1: Since both aperiodic finite dimensional
systems and aperiodic minimal systems satisfy the marker property, Main Theorem 1
unifies Jaworski’s theorem (Theorem 1.1) and Theorem 1.3 into a single statement.
1.3. Encoding into band-limited signals. A discovery of the paper [GT] is that we
can approach to the embedding problem in Subsection 1.2 via signal analysis. We need
to prepare some terminologies. For a rapidly decreasing function ϕ : Rk → C we define
its Fourier transforms by
Z
√
F (ϕ)(ξ) = ϕ̂(ξ) =
ϕ(t) e−2π −1t·ξ dt1 . . . dtk ,
k
ZR
√
F(ϕ)(t) = ϕ̌(t) =
ϕ(ξ) e2π −1t·ξ dξ1 . . . dξk .
Rk



It follows that F F (ϕ) = F (F (ϕ)) = ϕ. We extend F and F to tempered distributions
ψ by the dualities hF (ψ), ϕi = hψ, F(ϕ)i and hF(ψ), ϕi = hψ, F (ϕ)i where ϕ are rapidly
√
decreasing functions (Schwartz [Sch66, Chapter 7]). For example, if ψ(t) = e2π −1a·t
(a ∈ Rk ) then F (ψ) = δa is the delta probability measure at a.
Let a1 , . . . , ak be positive numbers. A bounded continuous function ϕ : Rk → R is
said to be band-limited in [−a1 /2, a1 /2] × · · · × [−ak /2, ak /2] if the Fourier transform ϕ̂
satisfies
h a a i
h a a i
1
k
1
k
supp ϕ̂ ⊂ − ,
×···× − ,
,
2 2
2 2
which means that hϕ̂, φi = hϕ, φ̌i = 0 for all rapidly decreasing functions φ satisfying
h a a i
h a a i
k
1
k
1
×···× − ,
= ∅.
supp φ ∩ − ,
2 2
2 2
For example, when k = 1, the functions
sin(πt1 ),

cos(πt1 ),

sin(πt1 )
πt1

are band-limited in [−1/2, 1/2].
We define B(a1 , . . . , ak ) as the Banach space of all bounded continuous functions ϕ :
Rk → R band-limited in [−a1 /2, a1 /2] × · · · × [−ak /2, ak /2]. Its norm is the L∞ -norm.
3Strictly

speaking, the paper [LT14] considered only the case of k = 1. But their construction can be
generalized to Zk -actions without any changes.

6

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

We define B1 (a1 , . . . , ak ) as the set of ϕ ∈ B(a1 , . . . , ak ) satisfying ||ϕ||L∞ (Rk ) ≤ 1. In this
paper we promise that the space B1 (a1 , . . . , ak ) is always endowed with the topology of
uniform convergence over compact subsets. Namely B1 (a1 , . . . , ak ) is endowed with
the topology given by the distance
∞
X

d(ϕ, ψ) =
2−n ||ϕ − ψ||L∞ (Bn ) ,
Bn = {t ∈ Rk | |t| ≤ n} .
n=1

B1 (a1 , . . . , ak ) is compact (see Corollary 2.3 below) and endowed with a natural continuous
action of Zk defined by
σ : Zk × B1 (a1 , . . . , ak ) → B1 (a1 , . . . , ak ),

σ n (ϕ)(t) = ϕ(t + n).

We call the dynamical system (B1 (a1 , . . . , ak ), Zk , σ) the shift on B1 (a1 , . . . , ak ). Its mean
dimension is equal to the product4
a1 . . . ak ,
which is a multi-dimensional version of band-width W introduced in Subsection 1.1. As
band-width W plays a crucial role in Shannon’s theory, the quantity a1 . . . ak becomes a
key parameter below.
We consider the problem of embedding arbitrary dynamical systems in the shift on
B1 (a1 , . . . , ak ). In other words we ask when we can encode a given dynamical system into
band-limited signals. When k = 1, the first and third named authors [GT, Theorem 1.7]
proved:
Theorem 1.5 (Gutman–Tsukamoto). If an aperiodic minimal system (X, Z, T ) satisfies
mdim(X) < a1 /2 then we can embed it in the shift on B1 (a1 ).
The second main theorem of the present paper generalizes this theorem to the higher
dimensional case:
Main Theorem 2. If a dynamical system (X, Zk , T ) satisfies the marker property and
a1 . . . ak
,
mdim(X) <
2
then we can embed it in the shift on B1 (a1 , . . . , ak ).
As in the case of Main Theorem 1, the condition mdim(X) < a1 . . . ak /2 is optimal
because a modification of [LT14] provides an aperiodic minimal system (X, Zk , T ) of
mean dimension a1 . . . ak /2 which cannot be embedded in the shift on B1 (a1 , . . . , ak ).
We can prove Main Theorem 1 by using Main Theorem 2.
Proof: Main Theorem 2 implies Main Theorem 1. From mdim(X) < D/2 we can choose
positive numbers a1 , . . . , ak satisfying
a1 . . . ak
.
a1 < D, a2 < 1, . . . , ak < 1, mdim(X) <
2
4This

fact is not used in the paper. So we omit the proof.

EMBEDDING PROBLEM OF Zk -ACTIONS

7

Main Theorem 2 implies that we can embed X in the shift on B1 (a1 , . . . , ak ). We define
a lattice Λ ⊂ Rk by

o
n n
1
, n2 , . . . , nk n1 , n2 . . . , nk ∈ Z .
Λ=
D
It follows from a sampling theorem (see Lemma 2.4 below) that the map
B1 (a1 , . . . , ak ) → [−1, 1]Λ ,

ϕ 7→ ϕ|Λ

is injective. Set e = (1/D, 0, . . . , 0) ∈ Rk . The above injectivity means that the Zk equivariant map
B1 (a1 , . . . , ak ) → [−1, 1]D

Zk

,

ϕ 7→ (ϕ(n), ϕ(n + e), . . . , ϕ (n + (D − 1)e))n∈Zk

is an embedding. Since the system X can be embedded in the shift on B1 (a1 , . . . , ak ), it
Zk
can be also embedded in the shift on [−1, 1]D , which is obviously isomorphic to the
Zk
shift on [0, 1]D .


1.4. One dimension versus multi-dimension; what are the main difficulties?
This subsection explains what are the main difficulties in the proof of Main Theorem 2.
When the authors started the research of this paper, they optimistically thought that the
proof of Main Theorem 2 is probably more or less a direct generalization of the proof
of Theorem 1.5 in [GT]. This expectation turned out to be wrong. Completely new
difficulties arose in the context of signal analysis. The paper [GT] used the technique of
one dimensional signal analysis. The proof of Main Theorem 2 uses mutli-dimensional
signal analysis. The difference of one dimension/multi-dimension is fundamental and
causes big changes of the approaches significantly.
We review some basic signal analysis in Subsection 2.2 below. The main results there
are Paley–Wiener’s theorem (Lemma 2.2) and a sampling theorem (Lemma 2.4) for functions in B(a1 , . . . , ak ), whose proofs are a simple generalization of (or a reduction to) the
corresponding theorems in one-variable case. They might give readers an impression that
multi-dimensional signal analysis is just a simple generalization of one-dimensional signal
analysis. This is far from being true. It is well-known in classical analysis community
(cf. [OU12]) that multi-dimensional signal analysis is inherently more difficult than onedimensional signal analysis. Some important theorems in one-dimensional case cannot be
generalized to higher dimension.
For explaining further, we need to recall the statement of Paley–Wiener’s theorem
(Lemma 2.2): A bounded continuous function f : Rk → R belongs to B(a1 , . . . , ak ) if and
only if it can be extended to a holomorphic function in Ck satisfying
√ 
√
f x1 + y1 −1, . . . , xk + yk −1 ≤ const · eπ(a1 |y1 |+···+ak |yk |) .

8

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

Roughly speaking, band-limited functions are the same as holomorphic functions of exponential type. Therefore we can say that signal analysis is a part of complex analysis5. Then
it is easy to see why multi-dimensional case is more difficult than one-dimensional case:
Zero points of holomorphic functions in C are isolated, whereas zero points of holomorphic functions in Ck (k ≥ 2) form positive dimensional complex varieties whose geometry
are highly nontrivial in general. This causes a fundamental difference in the nature of
one-dimensional/multi-dimensional signal analysis.
More concretely speaking, we face difficulties of higher dimension in the following two
issues. (The second issue is more serious than the first one.)
(1) Interpolation: Sampling and interpolation are the most basic themes of signal
analysis. We recall a sampling theorem stated in Lemma 2.4 with a bit simplifidef
cation6: Let f ∈ B(1, . . . , 1) and 0 < c < 1. If f vanishes over Λ = cZk then f
is identically zero. This theorem is valid for all dimensions. The crucial point of
the statement is that we consider only regular sampling, which means that the
fundamental domain [0, c]k of the sampling set Λ = cZk is similar to the frequency
domain [−1/2, 1/2]k . It is also easy to prove the following regular interpolation
theorem: If c > 1 then the map
B(1, . . . , 1) → ℓ∞ (cZk ),

f 7→ (f (λ))λ∈cZk

is surjective.
When k = 1, Beurling [Beu89] proved that essentially the same results also hold
for irregular sampling/interpolation: Let Λ ⊂ R be a uniformly discrete set, i.e.
the infimum of |λ1 − λ2 | over distinct λ1 , λ2 ∈ Λ is positive. Suppose the lower
density
#(Λ ∩ [t, t + R])
lim inf inf
R→∞ t∈R
R
is larger than 1. Under this setting, Beurling proved that if f ∈ B(1) vanishes over
Λ then f is identically zero. Similarly, he also proved that if Λ ⊂ R is a uniformly
discrete set and its upper density
lim sup sup
R→∞

t∈R

#(Λ ∩ [t, t + R])
R

is smaller than 1, then the map
B(1) → ℓ∞ (Λ),
5Of

f 7→ (f (λ))λ∈Λ

course this is over-simplified. Signal analysis is a mutli-faceted discipline and cannot be classified
as a sub-area of complex analysis. For example, we emphasized its communication theory aspect in
Subsection 1.1. But the complex analysis viewpoint is convenient here.
6
Here we state a (seemingly) simpler version of the theorem for clarifying the argument, but indeed
this statement is equivalent to Lemma 2.4.

EMBEDDING PROBLEM OF Zk -ACTIONS

9

is surjective. Therefore only the lower/upper density of Λ determines its sampling/interpolation property.
When k ≥ 2, the situation is much more messy. We have no clear theorems
valid for irregular sampling and interpolation (see [OU12] for the details). For
example, consider






t2
t2
2
Λ1 =
ε t1 ,
t1 , t2 ∈ Z , Λ2 =
ε t1 , 2 t1 , t2 ∈ Z
(ε > 0).
ε
ε
Suppose ε is very small. The density of Λ1 is equal to 1/ε (very large) and the
density of Λ2 is equal to ε (very small). The function f (z1 , z2 ) = sin(πεz2 ) ∈
B(1, 1) vanishes over Λ1 but is not identically zero. Thus Λ1 is not a sampling set
for functions in B(1, 1) although its density is very large. Similarly, it is also easy
to prove that Λ2 is not an interpolation set for B(1, 1), namely the map
B(1, 1) → ℓ∞ (Λ2 ),

f 7→ (f (λ))λ∈Λ2

is not surjective, although its density is very small.
In the proof of Main Theorem 2 we need to construct interpolating functions
for some irregular sets Λ ⊂ Rk . The paper [GT] addressed the same problem (in
dimension one) by employing Beurling’s interpolation theorem mentioned above.
But this theorem is not valid in higher dimension.
(2) Zero points of band-limited maps f : Ck → Ck : One crucial ingredient of
the proof of Main Theorem 2 is the study of (isolated) zero points7 of some holomorphic maps f = (f1 , . . . , fk ) : Ck → Ck all of whose entries fi are band-limited
functions. We call such a map f a band-limited map. It becomes important to
know the growth of
(1.1)

{z ∈ Ck | z is an isolated zero point of f with |z| < R}
as R goes to infinity. If k = 1, then this is a very easy problem. It follows
from Jensen’s formula or Nevanlinna’s first main theorem ([Hay64, Section 1.3],
[NW14, Section 1.1]) that if f ∈ B(a) then
Z R
dr
#{z ∈ C| f (x) = 0, |z| < r} ≤ 2aR + constf .
r
1
In particular (1.1) grows at most linearly in R. Moreover if f ∈ B(a) has no zero
points, then it must be of the form
f (z) = eαz+β
for some constants α and β.

7A

point p ∈ Ck is a zero point of f : Ck → Ck if f (p) = 0. Notice that the domain and target of f
have the same dimension. Therefore generically zero points of f are expected to be isolated.

10

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

When k ≥ 2, the situation is radically different. First, we have no simple
description of f : Ck → Ck having no zero points. For example, the map of the
form
f (z1 , z2 ) = (eαz1 +β , f2 (z1 , z2 )),

(f2 (z1 , z2 ): arbitrary band-limited function),

have no zero points. Second (and more importantly), the set (1.1) may have arbitrarily fast growth. This inconvenient phenomena was first observed by Cornalba–
Shiffman [CS72] and known as the failure of the transcendental Bezout theorem.
Here we briefly review their construction (with minor modification). Let {αn }∞
n=1
2n
be an arbitrary sequence of positive integers (say, αn = 2 ). We choose a polynomial pn (w) (of one-variable) having αn zeros in |w| < 1. Let ϕ : R → R be a
(nonzero) rapidly decreasing function satisfying supp ϕ̂ ⊂ [−1/2, 1/2]. We choose
βn > 0 so that the function
def

gn (w) = βn ϕ(w)pn (w)
is bounded by 2−n over R. We define f = (f1 , f2 ) : C2 → C2 as follows:
f1 (z1 , z2 ) = sin(πz1 ),

f2 (z1 , z2 ) =

∞
X
n=1

gn (z2 )

sin π(z1 − n)
.
π(z1 − n)

Both f1 and f2 belong to B(1, 1). The map f has αn zero points of the form (n, w)
(|w| < 1). Therefore
#{z ∈ C2 | z is an isolated zero point of f and |z| < n + 1} ≥ αn .
As a conclusion, it is hard (and sometimes impossible) to control the set (1.1)
in higher dimension.
The above two issues show that general theory of multi-dimensional signal analysis is
not strong enough for the proof of Main Theorem 2. Thus we have to develop tailored
methods specific for the situation of the theorem. This becomes the main technical task
of the paper. We address the issues (1) and (2) in Sections 4 and 5 respectively. The
techniques developed there seem to have some independent interests, and possibly further
applications will be found in a future.
The key ideas are as follows. (Here we ignore many details for simplicity. The real
arguments are different.)
(1)’ Almost regular interpolation: As we mentioned above, we need to construct interpolation for some irregular sets Λ ⊂ Rk . But our sets Λ are not
completely general uniformly discrete sets. They are “almost” regular sets in the
sense that we have a decomposition
Λ=

∞
[

n=1

Λn

EMBEDDING PROBLEM OF Zk -ACTIONS

11

Figure 1.1. Almost regular interpolation set Λ. Different pieces Λm and
Λn are sufficiently far from each other.
such that each Λn is a part of a regular interpolation set and that the distances
between different pieces Λm and Λn are sufficiently large. See Figure 1.1. We
develop a technique of constructing interpolation for such almost regular sets. As
a conclusion, we can prove that they have (essentially) all the nice properties which
regular interpolation sets possess.
(2)’ Good/bad decomposition of the space: It is very difficult in general to
control the zero points of holomorphic maps f : Ck → Ck . The maps f used
in the proof of Main Theorem 2 are very special, but still we cannot control all
their (isolated) zero points. Therefore we simply give up to control all the zero
points of f . Instead we decompose the space Ck into two disjoint regions:
Ck = G ∪ B.
In the “good region”G, the zero points of f are very sparsely distributed and we
can control them as we like. In the “bad region” B, the zero points of f may have
extremely high density, but the region B itself is very tiny. See Figure 1.2. We
consider a Voronoi diagram with respect to the zero points of f . Then most of
the space Ck is cover by very large (and hence well organized) tiles whose Voronoi
centers are zero points in G. We don’t have any control of tiles whose centers
are located in B. They may have very complicated structure. But every messy
phenomena is confined in the tiny region B and does not affect much the whole
picture.
In Subsection 3.1 we state a key proposition (Proposition 3.1) and prove Main Theorem
2 assuming it. The rest of the paper is devoted to the proof of Proposition 3.1. The
strategy of the proof is explained in Subsection 3.2. It might be better for some readers
to go to Subsections 3.1 and 3.2 before reading Section 2.

12

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

Figure 1.2. Schematic picture of the good/bad decomposition. Zero
points of f are sparsely and almost regularly distributed inside the good
region G. The bad region B may contain plenty of zero points but it is tiny.
1.5. Organization of the paper. In Section 2 we review mean dimension, band-limited
functions, simplicial complexes and convex sets. In Section 3 we state the main proposition
and prove Main Theorem 2 assuming it. In particular, we give an overview of the proof
of the main theorem. In Section 4 we construct interpolating functions. In Section 5 we
construct certain “tiling-like maps” and study their properties. In Section 6 we prove the
main proposition by using the results in Sections 2, 4 and 5. In Section 7 we explain some
open problems.
Acknowledgement. This paper was written when the third named author stayed in
the Einstein Institute of Mathematics in the Hebrew University of Jerusalem. He would
like to thank the institute for its hospitality.

2. Preliminaries
2.1. Review of mean dimension. Here we review the definition of mean dimension
[Gro99, LW00]. Throughout this paper we promise that every simplicial complex is finite
(i.e. it has only finitely many simplicies) and that for a natural number N
[N] = {0, 1, 2, . . . , N − 1}k .
Let (X, d) be a compact metric space and Y a topological space. Let ε be a positive number and f : X → Y a continuous map. f is said to be an ε-embedding if
diamf −1 (y) < ε for all y ∈ Y . We define the ε-width dimension Widimε (X, d) as the
minimum integer n such that there exist an n-dimensional simplicial complex P and an
ε-embedding f : X → P . This is a macroscopic dimension of X in the scale of ε. The

EMBEDDING PROBLEM OF Zk -ACTIONS

13

topological dimension dim X can be obtained by8
dim X = lim Widimε (X, d).
ε→0

k

Let (X, Z , T ) be a dynamical system, namely X is a compact metric space (with a
distance d) and T : Zk × X → X is a continuous action. For a finite subset Ω ⊂ Zk we
define a distance dΩ on X by
dΩ (x, y) = max d(T n x, T n y).
n∈Ω

It is easy to check the following subadditivity and invariance:
Widimε (X, dΩ1 ∪Ω2 ) ≤ Widimε (X, dΩ1 ) + Widimε (X, dΩ2 ),

Widimε (X, da+Ω ) = Widimε (X, dΩ ) (a ∈ Zk , a + Ω = {a + x| x ∈ Ω}).

Then by the standard division argument we can show the existence of the limit

Widimε X, d[N ]
lim
.
N →∞
Nk
We define the mean dimension of (X, Zk , T ) by
!
Widim
X,
d
ε
[N ]
.
mdim(X, Zk , T ) = lim lim
ε→0 N →∞
Nk
This is a topological invariant, namely it is independent of the choice of the distance d.
We usually abbreviate this to mdim(X).
2.2. Review of band-limited functions. Here we review some basic theorems on
band-limited functions. Throughout this subsection we assume that a1 , . . . , ak are pos√
itive numbers. We denote by z = x + y −1 the standard coordinate of Ck with
x = (x1 , . . . , xk ), y = (y1 , . . . , yk ) ∈ Rk .
Lemma 2.1. Let f : Ck → C be a holomorphic function such that there exists C > 0
√ 
satisfying f x + y −1 ≤ Ceπ(a1 |y1 |+···+ak |yk |) . Then it follows that
√ 
f x + y −1 ≤ ||f ||L∞ (Rk ) eπ(a1 |y1 |+···+ak |yk |) .

Proof. The paper [GT, Lemma 2.1] proves this for f : C → C. So we consider the
√
√ 
√
case of k > 1. Fix x + y −1 ∈ Ck . For s + t −1 ∈ C we set g s + t −1 =
√ 
f x + y s + t −1 . g is a holomorphic function satisfying
√ 
g s + t −1 ≤ Ceπ|t|(a1 |y1 |+···+ak |yk |) .
√ 
By the statement of the one variable case, g s + t −1 is bounded by
||g||L∞ (R) eπ|t|(a1 |y1 |+···+ak |yk |) ≤ ||f ||L∞ (Rk ) eπ|t|(a1 |y1 |+···+ak |yk |) .

8If

readers do not know the definition of topological dimension, then they may think that this is the
definition of topological dimension. Only one nontrivial point is that dim X is a topological invariant
whereas Widimε (X, d) depends on the distance d.

14

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

Letting s = 0 and t = 1, we get the statement.



Lemma 2.2 (Paley–Wiener’s theorem). Let f : Rk → C be a bounded continuous function. Then the following two conditions are equivalent.
Q
(1) The Fourier transform fˆ is supported in k [−ai /2, ai /2].
i=1

(2) f can be extended to a holomorphic function in Ck such that there exists C > 0
√ 
satisfying f x + y −1 ≤ Ceπ(a1 |y1 |+···+ak |yk |) .

Proof. This is a special case of a distribution version of Paley–Wiener’s theorem ([Sch66,
Chapter 7, Section 8]). Here we prove it directly only by using the standard version of
Paley–Wiener’s theorem ([DM72, Section 3.3]): For a (one-variable) L2 -function f : R →
Q
C, the above two Conditions (1) and (2) are equivalent. Set Ω = ki=1 [−ai /2, ai /2].
First we assume that f : Rk → C is a L2 -function and prove (1) ⇔ (2). Suppose f
satisfies (1). Then
Z
Z
√
√
2π −1x·ξ
ˆ
f (x) =
f (ξ)e
dξ1 . . . dξk =
fˆ(ξ)e2π −1x·ξ dξ1 . . . dξk .
Rk

Ω

We extend f to a holomorphic function in Ck by
Z
√
√
√ 
f x + y −1 =
fˆ(ξ)e2π −1(x+y −1)·ξ dξ1 . . . dξk .
Ω

Then we can check Condition (2):
Z
√ 
f x + y −1 ≤
|fˆ(ξ)|e−2πy·ξ dξ1 . . . dξk ≤ const · eπ(a1 |y1 |+···+ak |yk |) .
Ω

Next suppose f satisfies (2). Fix ξ ∈ Rk and suppose |ξ1 | > a1 /2. We will show
fˆ(ξ) = 0. We fix x2 , . . . , xk and consider f (x1 , . . . , xk ) as a one-variable function of
variable x1 . This is a L2 -function (of variable x1 ) for almost every choice of (x2 , . . . , xk ).

√
It follows from f x1 + y1 −1, x2 , . . . , xk ≤ const · eπa1 |y1 | and the standard Paley–
Wiener’s theorem that
Z ∞
√
f (x1 , x2 , . . . , xk )e−2π −1x1 ξ1 dx1 = 0 for a.e. (x2 , . . . , xk ).
−∞

Therefore
Z
fˆ(ξ) =

Rk−1

Z

∞

−∞

√
−2π −1x1 ξ1

f (x1 , x2 , . . . , xk )e



dx1 e−2π

√

−1(x2 ξ2 +···+xk ξk )

dx2 . . . dxk = 0.

Thus the proof has been completed under the assumption f ∈ L2 .
Next we only assume that f : Rk → C is a bounded continuous function. We choose
a rapidly decreasing function ϕ : Rk → R such that maxx∈Rk |ϕ(x)| = ϕ(0) = 1 and
supp ϕ̂ ⊂ (−1/2, 1/2)k . We set ϕε (x) = ϕ(εx) for ε > 0. It satisfies ϕ̂ε (ξ) = ε−k ϕ̂(ξ/ε)
and hence supp ϕ̂ε ⊂ (−ε/2, ε/2)k . ϕε converges to 1 uniformly over every compact subset

EMBEDDING PROBLEM OF Zk -ACTIONS

15

of Rk as ε → 0. Since ϕε is rapidly decreasing (and hence in L2 ), we can extend it to a
holomorphic function satisfying
√ 
ϕε x + y −1 ≤ eπε(|y1 |+···+|yk |) (here we used Lemma 2.1).
(2.1)
We set fε (x) = ϕε (x)f (x). Then fε is a L2 -function and satisfies |fε (x)| ≤ |f (x)|.
Q
Suppose f satisfies (1). Then fˆε is supported in ki=1 [−(ai + ε)/2, (ai + ε)/2]. Thus by
the previous argument for L2 -functions and Lemma 2.1, we can extend fε to a holomorphic
function satisfying
√ 
fε x + y −1 ≤ ||fε ||L∞ (Rk ) eπ{(a1 +ε)|y1 |+···+(ak +ε)|yk |}
(2.2)
≤ ||f ||L∞ (Rk ) eπ{(a1 +ε)|y1 |+···+(ak +ε)|yk |} .
Then we can extend f to a meromorphic function in Ck by
√ 
√  fε x + y −1
√ .
f x + y −1 =
ϕε x + y −1

This is independent of ε > 0 because of the unique continuation. Since ϕε converges to
√ 
1 uniformly over every compact subset, f x + y −1 is actually a holomorphic function
(namely it does not have neither poles nor indeterminacy points). By taking the limit in
(2.2) we get
√ 
f x + y −1 ≤ ||f ||L∞ (Rk ) eπ(a1 |y1 |+···+ak |yk |) .

Next suppose f satisfies (2). By (2.1) and Lemma 2.1, we get (2.2) again. Since fε ∈ L2 ,
Q
the Fourier transform fˆε is supported in ki=1 [−(ai + ε)/2, (ai + ε)/2]. The functions fˆε
Q
converge to fˆ in the topology of distribution. Thus fˆ is supported in ki=1 [−ai /2, ai /2].

Corollary 2.3. The space B1 (a1 , . . . , ak ) of continuous functions f : Rk → [−1, 1] bandQ
limited in ki=1 [−ai /2, ai /2] is compact with respect to the topology of uniform convergence
over compact subsets of Rk .
Proof. Let {fn }∞
n=1 be a sequence in B1 (a1 , . . . , ak ). By Lemmas 2.1 and 2.2 the functions
fn can be holomorphically extended over Ck satisfying |fn (z)| ≤ eπ(a1 |y1 |+···+ak |yk |) . In
particular {fn } is bounded over every compact subset of Ck . By the Cauchy integration
formula, it becomes an equicontinuous family over every compact subset (i.e. normal
family). So we can choose a converging subsequence by the Arzela–Ascoli theorem.

Lemma 2.4 (Sampling theorem). Let f : Rk → R be a bounded continuous function
Q
band-limited in ki=1 [−ai /2, ai /2]. Suppose that there exist positive numbers b1 , . . . , bk
such that ai bi < 1 for all 1 ≤ i ≤ k and that f vanishes over
{(b1 n1 , . . . , bk nk )| n1, . . . , nk ∈ Z}.
Then f is identically zero.

16

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

Proof. As in the proof of Lemma 2.2, it is enough to prove the statement under the assumption that f is a L2 -function. Then the proof is standard as follows. Set g(x1 , . . . , xk ) =
f (b1 x1 , . . . , bk xk ). This vanishes on Zk .


1
ξk
ξ1
ˆ
ĝ(ξ) =
,...,
.
f
b1 . . . bk
b1
bk
Then ĝ is supported in

 
k
k 
Y
ai bi ai bi
1 1
−
⊂ − ,
,
.
2
2
2
2
i=1

Consider the Fourier series of ĝ(ξ) for ξ ∈ (−1/2, 1/2)k :
X
√
ĝ(ξ) =
an e−2π −1n·ξ .
n∈Zk

The coefficients an are given by
Z
√
an =
e2π −1n·ξ ĝ(ξ)dξ1 . . . dξk = F (F (g)) (n) = g(n) = 0.
[−1/2,1/2]k

Thus ĝ = 0. This implies g = 0 and f = 0.



2.3. Technical results on simplicial complexes. The results of this subsection are
used only in Section 6. So readers can postpone reading this subsection until they come
to Section 6. Recall that we promised that every simplicial complex is finite. (This is
mainly for the simplicity of the exposition.) Let P be a simplicial complex. A map
f : P → Rn is said to be simplicial if it has the form
!
!
m
m
m
X
X
X
f
λk vk =
λk f (vk ),
λk ≥ 0,
λk = 1 ,
k=0

k=0

k=0

on every simplex ∆ ⊂ P , where v0 , . . . , vm are the vertices of ∆. We define ||x||∞ =
max1≤i≤n |xi | for x = (x1 , . . . , xn ) ∈ Rn .
Lemma 2.5 (Approximation lemma). Let ε and δ be positive numbers. Let (X, d) be a
compact metric space and P a simplicial complex. Let π : X → P be an ε-embedding and
f : X → Rn a continuous map satisfying
d(x, y) < ε =⇒ ||f (x) − f (y)||∞ < δ.

Then, after taking a sufficiently fine subdivision of P , we can find a simplicial map g :
P → Rn satisfying
||f (x) − g(π(x))||∞ < δ (∀x ∈ X).
Proof. We reproduce the proofs in [GLT16, GT] for the completeness. By subdividing P
we can assume that for every vertex v ∈ P the diameter of π −1 (O(v)) is smaller than ε,
where O(v) is the open star of v, i.e. the union of the relative interiors of all simplices
containing v. For each vertex v ∈ P we choose g(v) ∈ f (π −1 (O(v))). (If this is empty,

EMBEDDING PROBLEM OF Zk -ACTIONS

17

then we choose arbitrary g(v).) We linearly extend g all over P . Take x ∈ X and let
∆ ⊂ P be the simplex containing π(x) in its relative interior. Every vertex v ∈ ∆ satisfies
π(x) ∈ O(v) and hence ||f (x) − g(v)||∞ < δ because the diameter of f (π −1 (O(v))) (which
contains both f (x) and g(v)) is smaller than δ. g(π(x)) is a convex combination of such
g(v). Hence ||f (x) − g(π(x))||∞ < δ.

Let P be a simplicial complex. We denote by V the set of all vertices of P . The
set Hom(P, Rn ) of simplicial maps f : P → Rn can be identified with (Rn )V , which is
endowed with the natural topology.
Lemma 2.6 (Embedding lemma).
(1) If dim P < n/2 then the set of simplicial embeddings (i.e. injective simplicial maps) f : P → Rn is an open dense subset of
Hom(P, Rn ).
(2) Let U be the set of simplicial maps f : P → Rn such that, for every subcomplex
Q ⊂ P and every subset A ⊂ {1, 2, . . . , n} with #A > 2 dim Q, the map
Q → RA ,

x 7→ f (x)|A

is an embedding. Then U is open and dense in Hom(P, Rn ).
Proof. The statement (2) follows from (1) because the natural map (restriction)
Hom(P, Rn ) → Hom(Q, RA )
is an open map and thus the preimage of an open and dense set under this map is also open
and dense. (Notice that it corresponds to the natural projection (Rn )V (P ) → (RA )V (Q)
where V (P ) and V (Q) are the sets of vertices of P and Q.) Thus it is enough to prove (1).
First we show that simplicial embeddings f : P → Rn form an open set. Let f : P → Rn
be a simplicial embedding. We would like to show that “injectiveness” is preserved under
a small perturbation of f .
• Let ∆ ⊂ P be a simplex with the vertices v0 , . . . , vm . Then f |∆ : ∆ → Rn is an
injection, which means that f (v0 ), . . . , f (vm ) are affinely independent. If g : P →
Rn is sufficiently close to f then g(v0), . . . , g(vm ) are also affinely independent.
• Let ∆1 , ∆2 ⊂ P be two disjoint simplices. Then the distance between f (∆1 ) and
f (∆2 ) is positive. This condition is certainly preserved under a small perturbation.
• Let ∆1 , ∆2 ⊂ P be two simplices which share a nonempty simplex ∆1 ∩ ∆2 . We
assume ∆1 6= ∆1 ∩ ∆2 and ∆2 6= ∆1 ∩ ∆2 . Consider V (∆1 ) \ V (∆1 ∩ ∆2 ) and
V (∆2 ) \ V (∆1 ∩ ∆2 ), and denote their convex hulls by ∆′1 and ∆′2 respectively.
Fix v ∈ V (∆1 ∩ ∆2 ). The map f |∆1 ∪∆2 : ∆1 ∪ ∆2 → Rn is injective, which means
the positivity of
−→) and f (−
−→)| w ∈ ∆′ , w ∈ ∆′ } .
min {Angle between the vectors f (−
vw
vw
1
2
1
2
1
2
This condition is preserved under a small perturbation.

18

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

The above proves that sufficiently small perturbations of f are also injective.
Next we prove that simplicial embeddings f : P → Rn form a dense set. Let f : P → Rn
be an arbitrary simplicial map and U ⊂ Hom(P, Rn ) an open neighborhood of f . By
simple linear algebra we can choose g ∈ U such that for any subset {v1 , . . . , vm } ⊂ V (P )
with m ≤ n + 1 the points g(v1 ), . . . , g(vm ) are affinely independent. As 2 dim P + 1 ≤ n,
g|∆1∪∆2 is an embedding for any two simplices ∆1 , ∆2 ⊂ P and thus g is an embedding. 
How to use Lemmas 2.5 and 2.6: We would like to illustrate the above two lemmas by
a simple application. (This is a prototype of the later argument but logically independent
of the proof of the main theorems. So experienced readers can skip it.) Let (X, d) be a
compact metric space. We prove a classical result in the dimension theory: If dim X < n/2
then X can be topologically embedded into Rn . The set of all embeddings f : X → Rn is
equal to
∞
\
(2.3)
{f : X → Rn | (1/m)-embedding}.
m=1

So it is a Gδ -subset of the space of all continuous maps f : X → Rn since “(1/m)embedding” is an open condition. Fix a natural number m and a positive number δ. Let
f : X → Rn be an arbitrary continuous map. Choose 0 < ε < 1/m so that
d(x, y) < ε =⇒ ||f (x) − f (y)||∞ < δ.

By dim X = limε→0 Widimε (X, d), we can find a simplicial complex P of dim P ≤ dim X <
n/2 and an ε-embedding π : X → P . By Lemma 2.5 there exists a simplicial map
g : P → Rn satisfying ||f (x) − g(π(x))||∞ < δ for all x ∈ X. By dim P < n/2 and Lemma
2.6 (1) we can find a simplicial embedding h : P → Rn satisfying ||g(p) − h(p)||∞ < δ for
all p ∈ P . Then the map h ◦ π : X → Rn is an ε-embedding (and hence (1/m)-embedding
by ε < 1/m) and satisfies ||f (x) − h ◦ π(x)||∞ < 2δ for all x ∈ X. Since δ is arbitrary, this
shows that
{f : X → Rn | (1/m)-embedding}

is dense in the space of all continuous maps from X to Rn . Thus, by the Baire Category
Theorem, the set (2.3) is dense Gδ . In particular there exists a topological embedding of
X into Rn .
2.4. A lemma on convex sets. The result of this subsection is used only in Section 6.
Let r > 0 and W ⊂ Rk . We define ∂r W as the set of all t ∈ Rk such that the closed
r-ball Br (t) around t have non-empty intersections both with W and Rk \ W . We set
Intr W = W \ ∂r W .

Lemma 2.7. For any c > 1 and r > 0 there exists R > 0 such that if a bounded closed
convex subset W ⊂ Rk satisfies IntR W 6= ∅ then
|W ∪ ∂r W | < c |Intr W | .

EMBEDDING PROBLEM OF Zk -ACTIONS

19

Here | · | denotes the k-dimensional volume (Lebesgue measure).
Proof. We can assume 0 ∈ IntR W . For a > 0 we set aW = {at| t ∈ W }.

Claim 2.8. ∂r W ⊂ 1 + Rr W .

Proof. Take u ∈ Rk outside of 1 + Rr W . There exists a hyperplane H = {a1 x1 + · · · +

ak xk = 1} ⊂ Rk separating u and 1 + Rr W . Namely

r
u ∈ {a1 x1 + · · · + ak xk > 1},
1+
W ⊂ {a1 x1 + · · · + ak xk < 1}.
R
Then

W ⊂




r −1
a1 x1 + · · · + ak xk < 1 +
.
R


It follows that the distance between u and W is greater than the distance between H and
−1
−1
H. Let h be the distance between 1 + Rr
H and the origin. h > R since
1 + Rr

r −1
0 ∈ IntR W . Then the distance between H and 1 + R
H is


1+

rh
r
h−h=
> r.
R
R

This implies that u does not belong to ∂r W .


Claim 2.9. ∂r W ∩ 1 − Rr W = ∅ and hence Intr W ⊃ 1 − Rr W .



Proof. Almost the same argument shows that if we take a point u outside of W then

the distance between u and 1 − Rr W is greater than r. This implies that every point

v ∈ 1 − Rr W satisfies Br (v) ⊂ W and hence does not belong to ∂r W .

It follows from these two claims that


r k
r
W = 1+
|W ∪ ∂r W | ≤ 1 +
|W |,
R
R


r
r k
|Intr W | ≥ 1 −
W = 1−
|W |.
R
R

Thus

|W ∪ ∂r W | ≤



1+
1−

r k
R
r
R

|Intr W | .

Since c > 1, if r/R is sufficiently small then the right-hand side is smaller than c |Intr W |.

3. Main proposition
3.1. Statement of the main proposition. Main Theorem 2 in Subsection 1.3 follows
from the next proposition whose proof occupies the rest of the paper.

20

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

Proposition 3.1 (Main Proposition). Let a1 , . . . , ak and δ be positive numbers. Let
(X, Zk , T ) be a dynamical system and d a distance on X. Let f : X → B1 (a1 , . . . , ak ) be
a Zk -equivariant continuous map. If X has the marker property and satisfies
mdim(X) <

a1 . . . ak
2

then there exists a Zk -equivariant continuous map g : X → B1 (a1 + δ, . . . , ak + δ) such
that
• ||f (x) − g(x)||L∞ (Rk ) < δ for all x ∈ X.
• g is a δ-embedding with respect to the distance d.
It is important to note that the map g takes values in B1 (a1 + δ, . . . , ak + δ) which is
slightly larger than the target B1 (a1 , . . . , ak ) of the original map f . Here we prove that
Proposition 3.1 implies Main Theorem 2.
Proof of Main Theorem 2, assuming Proposition 3.1. The proof is very close to the standard proof of the Baire Category Theorem. We assume diam(X, d) < 1 by rescaling the
distance (just for simplicity of the notation). For 1 ≤ i ≤ k we choose sequences {ain }∞
n=1
such that
0 < ai1 < ai2 < ai3 < · · · < ai ,

mdim(X) <

a1n a2n . . . akn
2

(∀n ≥ 1).

For n ≥ 1 we inductively define a positive number δn and a Zk -equivariant (1/n)embedding (with respect to d) fn : X → B1 (a1n , . . . , akn ). First we set
δ1 = 1,

f1 (x) = 0 (∀x ∈ X).

Notice that f1 is a 1-embedding because diam(X, d) < 1. Suppose we have defined δn
and fn . Since fn is a (1/n)-embedding, we can choose 0 < δn+1 < δn /2 such that if a
Zk -equivariant continuous map g : X → B1 (a1 , . . . , ak ) satisfies
sup ||fn (x) − g(x)||L∞ (Rk ) ≤ δn+1

x∈X

then g is also a (1/n)-embedding. By applying Proposition 3.1 to fn , we can find a
Zk -equivariant continuous map fn+1 : X → B1 (a1,n+1 , . . . , ak,n+1) such that
• supx∈X ||fn (x) − fn+1 (x)||L∞ (Rk ) < δn+1 /2.
1
-embedding with respect to d.
• fn+1 is a n+1

EMBEDDING PROBLEM OF Zk -ACTIONS

For n > m ≥ 1
sup ||fn (x) − fm (x)||L∞ (Rk ) ≤

x∈X

<
<

n−1
X
l=m

21

sup ||fl (x) − fl+1 (x)||L∞ (Rk )

x∈X

n−1
X
δl+1
l=m
∞
X
l=1

2

2−l δm+1 = δm+1 → 0 (m → ∞).

Here we used δl+1 < δl /2. By taking a limit, we find a Zk -equivariant continuous map
f : X → B1 (a1 , . . . , ak ) satisfying
sup ||f (x) − fn (x)||L∞ (Rk ) ≤ δn+1

x∈X

for all n ≥ 1. It follows from the definition of δn+1 that f is a (1/n)-embedding. Since n
is arbitrary, f is an embedding.

The above proof used a flexibility exhibited by band-limited signals and not by discrete
signals. At each step of the induction, the target B1 (a1,n+1 , . . . , ak,n+1) of the map fn+1
is slightly bigger than the previous target B1 (a1n , . . . , akn ). The differences ai,n+1 − ain
converge to zero as n goes to infinity. Such an argument is possible because a1 , . . . , ak
Zk
are continuous parameters. We cannot apply the same argument to [0, 1]D
because
it depends on a discrete parameter D.
3.2. Strategy of the proof. Most known theorems about embedding (e.g. the Whitney
embedding theorem for manifolds) are proved by perturbation. The proof of Proposition
3.1 also uses this idea but with a twist. The map g in the statement of Proposition 3.1
will have the form
g(x) = g1 (x) + g2 (x), (x ∈ X).

The first term g1 (x) is a band-limited function in B1 (a1 , . . . , ak ), which is constructed by
perturbing the function f (x) ∈ B1 (a1 , . . . , ak ). The second term g2 (x) is also a bandlimited function whose frequencies are restricted in a compact subset of
 Y
k h
k 
Y
ai ai i
ai + δ ai + δ
− ,
\
.
,
−
2
2
2
2
i=1
i=1

The construction of g2 (x) is (essentially) independent of f (x). The function g2 (x) encodes
how to perturb f (x). In other words, the function g1 (x) is constructed by perturbing
the function f (x), and the perturbation method is determined by the function g2 (x).
Probably this explanation is not very clear. So let us try a more naive explanation.
Consider cooking. Each point x ∈ X is a cook. The function f (x) is an ingredient of
cooking (e.g. a raw salmon) that the cook x chooses. The function g2 (x) is a cookware
(e.g. kitchen knife and oven) that the cook x possesses. The function g1 (x) is the result

22

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

of cooking (e.g. grilled salmon). The grilled salmon g1 (x) is made from the raw salmon
f (x) by using the knife and oven g2 (x). The knife and oven g2 (x) are independent of the
raw salmon f (x).
The Fourier transforms F (g1 (x)) and F (g2 (x)) have disjoint supports. Hence if we
have the equation g(x) = g(y) for some x and y in X, then it follows that
g1 (x) = g1 (y),

g2 (x) = g2 (y).

We would like to deduce d(x, y) < δ from these equations. In other words we try to
determine who is the cook (up to some small error) by knowing the result of cooking
(g1 (x) = g1 (y)) and what cookware was used (g2 (x) = g2 (y)).
More precisely, the proof goes as follows. Take x ∈ X. The function f (x) is defined
over Rk . It is difficult to control functions over unbounded domains. So we introduce a
tiling (indexed by Zk )
[
Rk =
W (x, n),
n∈Zk

such that

(1) Each tile W (x, n) is a bounded convex set, and different tiles W (x, n) and W (x, m)
are disjoint except for their boundaries.
(2) W (x, n) depends continuously on x ∈ X in the Hausdorff topology.
(3) The tiles are equivariant in the sense that
W (T n x, m) = −n + W (x, n + m) = {−n + t| t ∈ W (x, n + m)}.
(4) “Most” part of the space Rk is covered by “sufficiently large” tiles.
We try to perturb the function f (x) over each tile W (x, n). We can construct a good
perturbation over sufficiently large tiles. So if every tile is sufficiently large, then we
can construct a good perturbation of f (x) over the whole space Rk . Unfortunately some
tiles may be small in general. We cannot construct a good perturbation over such tiny
tiles. Condition (4) helps us here. We will construct a “social welfare system” of the
tiles W (x, n). (This idea was first introduced in [GT].) Large tiles help small tiles and
bear “additional” perturbations which are originally “duties” of small tiles. By using this
social welfare system we construct the perturbation g1 (x) of the function f (x).
The map g1 will have the following property: If x and y in X satisfy g1 (x) = g1 (y) and
(3.1)

∀n ∈ Zk :

W (x, n) = W (y, n)

then it follows that d(x, y) < δ. Namely if we know g1 (x) and the tiling {W (x, n)} then
we can recover the point x up to error δ. So the next problem is how to encode the
information of the tiles. The function g2 (x) is introduced for solving this problem. We
encode all the information of the tiles W (x, n) to a band-limited function g2 (x). (Indeed
the real argument below goes in a reverse way. First we construct the function g2 (x), and
then the tiles W (x, n) are constructed from g2 (x). So g2 (x) knows everything about the

EMBEDDING PROBLEM OF Zk -ACTIONS

23

tiles W (x, n).) In particular the equation g2 (x) = g2 (y) implies (3.1). As a conclusion,
the function g(x) = g1 (x) + g2 (x) satisfies the requirements of Proposition 3.1. This is
the outline of the proof.
We would like to emphasize that the most important new idea introduced in this paper
is the technique to encode the information of the tiling {W (x, n)} into the band-limited
function g2 (x). This idea is new even in the one dimensional case. This is the main reason
why Main Theorems 1 and 2 have some novelty even in the case of k = 1.
Section 4 introduces interpolating functions which will be used in the perturbation
process. In Section 5 we construct the tiling W (x, n) and their social welfare system and
explain how to encode them into a band-limited function. The proof of Proposition 3.1
is finished in Section 6.
3.3. Fixing some notations. The proof of Proposition 3.1 is notationally messy. So
here we gather some of the notations for the convenience of readers. Throughout the rest
of the paper (except for Section 7 where we discuss open problems) we fix the following.
• a1 , . . . , ak and δ are positive numbers. We additionally assume
(3.2)

δ < min(1, a1 , . . . , ak ).
• (X, Zk , T ) is a dynamical system satisfying the marker property and
a1 . . . ak
.
mdim(X) <
2

• We fix positive rational numbers ρ1 , . . . , ρk satisfying
ρ1 . . . ρk
(3.3)
ρi < ai (∀1 ≤ i ≤ k), mdim(X) <
.
2
• We define a lattice Γ ⊂ Rk by



t1
tk
(3.4)
Γ=
t1 , . . . , tk ∈ Z .
,...,
ρ1
ρk
(3.5)

Moreover we define Γ1 ⊂ Rk by
[
Γ1 =
(n + Γ),
n∈Zk

(n + Γ = {n + γ| γ ∈ Γ}).

Since ρi are rational numbers, Γ1 is also a lattice.
4. Interpolating functions
Recall that we fixed positive numbers a1 , . . . , ak , positive rational numbers ρ1 , . . . , ρk
with ρi < ai and lattices Γ ⊂ Γ1 ⊂ Rk in Subsection 3.3. We fix a positive number τ
satisfying
(4.1)

∀1 ≤ i ≤ k :

ρi + τ < ai .

24

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

For r > 0 and a ∈ Rk we denote by Br (a) the closed r-ball around a, and we set
Br = Br (0). We choose a rapidly decreasing function χ0 : Rk → R satisfying χ0 (0) = 1
and supp F (χ0 ) ⊂ Bτ /2 .
Notation 4.1.

(1) We set

(4.2)

K0 = sup

X

t∈Rk λ∈Γ
1

|χ0 (t − λ)|.

This is finite because χ0 is rapidly decreasing and Γ1 is a lattice.
(2) We fix r0 > 0 satisfying
X
1
|χ0 (λ)| < .
(4.3)
2
λ∈Γ1 \Br0

Definition 4.2.
(1) A subset Λ ⊂ Γ1 is called an admissible set if any two points
λ1 , λ2 ∈ Λ satisfy at least one of the following two conditions:
• λ1 − λ2 ∈ Γ.
• |λ1 − λ2 | > r0 .
This notion is an elaborated formulation of “almost regular interpolation set”
introduced in Subsection 1.4. We denote by Ads the set of all admissible sets
Λ ⊂ Γ1 .
(2) A function p : Γ1 → [0, 1] is called an admissible function if the set
{λ ∈ Γ1 | p(λ) > 0}
is an admissible set. We denote by Adf the set of all admissible functions.
We define the function sinc : R → R by
sinc(t) =

sin(πt)
,
πt

sinc(0) = 1.

This is one of the most famous functions in signal analysis. The function sinc(t) vanishes
on Z \ {0} and its Fourier transform is supported in [−1/2, 1/2]. It satisfies |sinc(t)| ≤ 1
for all t ∈ R.
Let Λ ⊂ Γ1 be an admissible set. We denote by ℓ∞ (Λ) the Banach space of all bounded
functions u : Λ → R endowed with the supremum norm ||·||∞ . For u ∈ ℓ∞ (Λ) we define a
band-limited function ϕΛ (u) ∈ B(ρ1 + τ, . . . , ρk + τ ) by
ϕΛ (u)(t) =

X

λ=(λ1 ,...,λk )∈Λ

u(λ)χ0 (t − λ)

k
Y
i=1

sinc (ρi (ti − λi )) ,

(t = (t1 , . . . , tk ) ∈ Rk ).

Here ρi are rational numbers introduced in Subsection 3.3. It follows from the definition
of K0 that
||ϕΛ (u)||L∞ (Rk ) ≤ K0 ||u||∞ .

EMBEDDING PROBLEM OF Zk -ACTIONS

25

Since we promised ρi + τ < ai in (4.1), the function ϕΛ (u) belongs to B(a1 , . . . , ak ). We
define a bounded linear operator SΛ : ℓ∞ (Λ) → ℓ∞ (Λ) by

SΛ (u) = ϕΛ (u)|Λ = (ϕΛ (u)(λ))λ∈Λ .

Remark 4.3. When Λ is the empty set, we define ℓ∞ (Λ) to be the trivial vector space
consisting only of zero and ϕΛ (0) = 0, the operator SΛ the identity operator of the trivial
vector space.
Lemma 4.4. ||SΛ − id|| ≤ 1/2, where the left-hand side is the operator norm of SΛ − id.
Proof. For λ = (λ1 , . . . , λk ) ∈ Λ the function
χ0 (t − λ)

k
Y
i=1

sinc (ρi (ti − λi ))

vanishes on (λ + Γ) \ {λ} and its value at t = λ is 1. Then by the admissibility of Λ
ϕΛ (u)(λ) − u(λ) =

X

′

λ′ ∈Λ\Br0 (λ)

By the choice of r0 in (4.3),



|ϕΛ (u)(λ) − u(λ)| ≤ 

′

u(λ )χ0 (λ − λ)

X

λ′ ∈Λ\Br0 (λ)

k
Y
i=1

sinc (ρi (λ′i − λi )) .



|χ0 (λ′ − λ)| ||u||∞ ≤

1
||u||∞ .
2


Therefore the operator SΛ has the inverse
SΛ−1

=

∞
X
n=0

(id − SΛ )n with SΛ−1 ≤ 2.

For u ∈ ℓ∞ (Λ) we define a band-limited function ψΛ (u) ∈ B(a1 , . . . , ak ) by
ψΛ (u) = ϕΛ (SΛ−1 (u)).
This function satisfies
ψΛ (u)(λ) = u(λ) (∀λ ∈ Λ),

||ψΛ (u)||L∞ (Rk ) ≤ 2K0 ||u||∞ .

The former property means that ψΛ (u) interpolates the sequence u. The construction
of ψΛ (u) is “Zk -equivariant”: For n ∈ Zk and u ∈ ℓ∞ (Λ) we define v ∈ ℓ∞ (n + Λ) by
v(n + λ) = u(λ). Then
ψn+Λ (v)(t + n) = ψΛ (u)(t).
If Λ is the empty set, then ψΛ (0) = 0.
We denote by B1 (ℓ∞ (Λ)) the closed unit ball of ℓ∞ (Λ) around the origin with respect
to the supremum norm. The function ψΛ (u) depends continuously on Λ and u as follows:

26

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

Lemma 4.5 (Continuity of the construction of ψΛ (u)). For any r > 0 and ε > 0 there
exist r ′ > 0 and ε′ > 0 so that if Λ1 , Λ2 ∈ Ads, u1 ∈ B1 (ℓ∞ (Λ1 )) and u2 ∈ B1 (ℓ∞ (Λ2 ))
satisfy
(4.4)

Λ1 ∩ Br′ = Λ2 ∩ Br′ ,

then for all t ∈ Br

|u1 (λ) − u2 (λ)| < ε′

(∀λ ∈ Λ1 ∩ Br′ )

|ψΛ1 (u1 )(t) − ψΛ2 (u2 )(t)| < ε.

Proof. By the linearity of ϕΛ ,
ψΛ (u) =

ϕΛ (SΛ−1 (u))

=

∞
X
n=0

By Lemma 4.4

ϕΛ ((id − SΛ )n u) .

||ϕΛ ((id − SΛ )n u)||L∞ (Rk ) ≤ K0 ||(id − SΛ )n u||∞ ≤

K0
||u||∞ .
2n

Therefore the statement follows from the next claim.
Claim 4.6.
(1) For any r > 0 and ε > 0 there exist r ′ > 0 and ε′ > 0 so that if
Λ1 , Λ2 ∈ Ads, u1 ∈ B1 (ℓ∞ (Λ1 )) and u2 ∈ B1 (ℓ∞ (Λ2 )) satisfy (4.4) then for all
t ∈ Br
|ϕΛ1 (u1 )(t) − ϕΛ2 (u2 )(t)| < ε.

(2) For any r > 0, ε > 0 and a natural number n there exist r ′ > r and ε′ > 0 so that
if Λ1 , Λ2 ∈ Ads, u1 ∈ B1 (ℓ∞ (Λ1 )) and u2 ∈ B1 (ℓ∞ (Λ2 )) satisfy (4.4) then for all
λ ∈ Λ1 ∩ Br
|(id − SΛ1 )n (u1 )(λ) − (id − SΛ2 )n (u2 )(λ)| < ε.
Proof. (1) We choose r ′ > r so large that for all t ∈ Br
X
ε
|χ0 (t − λ)| < .
4
λ∈Γ1 \Br ′

Then Condition (4.4) implies that for t ∈ Br
X
ε
|ϕΛ1 (u1 )(t) − ϕΛ2 (u2 )(t)| < +
|u1(λ) − u2 (λ)| · |χ0 (t − λ)|
2
λ∈Λ1 ∩Br ′
X
ε
≤ + ε′
|χ0 (t − λ)|.
2
λ∈Γ1 ∩Br ′

We can choose ε′ > 0 so small that the right-hand side is smaller than ε.
(2) The statement can be reduced to the case of n = 1 by induction. The case of n = 1
immediately follows from the statement (1).



EMBEDDING PROBLEM OF Zk -ACTIONS

27

ψΛ (u) is a nice interpolating function. But we need one more twist. We naturally
identify the set {0, 1}Γ1 with the set of all subsets of Γ1 . Namely, Λ ⊂ Γ1 is identified with
the characteristic function 1Λ ∈ {0, 1}Γ1 . Then in particular Ads (the set of admissible
sets) is a Borel subset of {0, 1}Γ1 . Let p : Γ1 → [0, 1] be an admissible function, namely
{λ ∈ Γ1 | p(λ) > 0} belongs to Ads. We define a probability measure µp on {0, 1}Γ1 by
Y
((1 − p(λ)) δ0 + p(λ)δ1 ) ,
µp =
λ∈Γ1

where δ0 and δ1 are the delta probability measures at 0 and 1 on {0, 1} respectively. Since
p is admissible, the set Ads has full measure: µp (Ads) = 1.
Let ℓ∞ (Γ1 ) be the Banach space of bound functions u : Γ1 → R. For u ∈ ℓ∞ (Γ1 ) we
define a band-limited function Ψ(p, u) ∈ B(a1 , . . . , ak ) by
Z
(4.5)
Ψ(p, u) =
ψΛ (u|Λ ) dµp(Λ).
Λ∈Ads

This function is the main product of this section.
Lemma 4.7 (Basic properties of Ψ). Ψ satisfies:
(1) Interpolation: If λ ∈ Γ1 satisfies p(λ) = 1 then Ψ(p, u)(λ) = u(λ).
(2) Boundedness: ||Ψ(p, u)||L∞ (Rk ) ≤ 2K0 ||u||∞ .
(3) Equivariance: For n ∈ Zk we define q ∈ Adf and v ∈ ℓ∞ (Γ1 ) by q(λ+n) = p(λ)
and v(λ + n) = u(λ) for λ ∈ Γ1 . Then Ψ(q, v)(t + n) = Ψ(p, u)(t).
Proof. These three properties immediately follow from the corresponding properties of
ψΛ (u).

We would like to show that the map Ψ depends continuously on p and u (Proposition
4.9 below). But we need a preparation before that. For r > 0 and p ∈ Adf we define
probability measures µp,r and νp,r on {0, 1}Γ1 ∩Br and {0, 1}Γ1 \Br respectively by
Y
Y
((1 − p(λ)) δ0 + p(λ)δ1 ) .
((1 − p(λ)) δ0 + p(λ)δ1 ) , νp,r =
µp,r =
λ∈Γ1 ∩Br

λ∈Γ1 \Br

It follows µp = µp,r ⊗ νp,r .
Lemma 4.8 (Truncation of the integral). For any r > 0 and ε > 0 if we choose r ′ > 0
sufficiently large then for any p ∈ Adf, u ∈ B1 (ℓ∞ (Γ1 )) and t ∈ Br
Z
(4.6)
Ψ(p, u)(t) −
ψΛ (u|Λ )(t) dµp,r′ (Λ) < ε.
Λ∈Ads∩{0,1}Γ1 ∩Br ′

Proof. For an admissible set Λ1 ⊂ Γ1 ∩ Br′ we define Ads(Λ1 , r ′) ⊂ Ads as the set of
Λ2 ⊂ Γ1 \ Br′ satisfying Λ1 ∪ Λ2 ∈ Ads. If µp,r′ ({Λ1 }) > 0 then Ads(Λ1 , r ′) has full
measure with respect to νp,r′ because µp (Ads) = 1.

28

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

By µp = µp,r′ ⊗ νp,r′
Ψ(p, u) =

Z

Λ1 ∈Ads∩{0,1}Γ1 ∩Br ′

Z

Λ2 ∈Ads(Λ1 ,r ′ )

ψΛ1 ∪Λ2 (u|Λ1∪Λ2 ) dνp,r′ (Λ2 )



dµp,r′ (Λ1 ).

If r ′ is sufficiently large, then it follows from Lemma 4.5 that
|ψΛ1 ∪Λ2 (u|Λ1∪Λ2 ) − ψΛ1 (u|Λ1 )| < ε on Br .
Then (4.6) follows.



Proposition 4.9 (Continuity of Ψ). For any r > 0 and ε > 0 there exist r ′ > 0 and
ε′ > 0 so that if p, q ∈ Adf and u, v ∈ B1 (ℓ∞ (Γ1 )) satisfy
∀λ ∈ Γ1 ∩ Br′ :

(4.7)

|p(λ) − q(λ)| < ε′ ,

|u(λ) − v(λ)| < ε′

then for all t ∈ Br
|Ψ(p, u)(t) − Ψ(q, v)(t)| < ε.
Proof. From Lemma 4.8 it is enough to show that if Condition (4.7) holds for sufficiently
large r ′ > 0 and sufficiently small ε′ > 0 then for all t ∈ Br
Z

Λ∈Ads∩{0,1}Γ1 ∩Br ′

ψΛ (u|Λ )(t) dµ

The left-hand side is bounded by
Z

p,r ′

Λ∈Ads∩{0,1}Γ1 ∩Br ′

+

Z

(Λ) −

Z

Λ∈Ads∩{0,1}Γ1 ∩Br ′

ψΛ (v|Λ )(t) dµq,r′ (Λ) < ε.

|ψΛ (u|Λ )(t) − ψΛ (v|Λ )(t)| dµp,r′ (Λ)

Λ∈Ads∩{0,1}Γ1 ∩Br ′

|ψΛ (v|Λ )(t)| d|µp,r′ − µq,r′ |(Λ).

The first term can be made arbitrarily small by Lemma 4.5. The second term is bounded
by
Z
2K0
d|µp,r′ − µq,r′ |.
{0,1}Γ1 ∩Br ′

The integral here is the total variation of the signed measure µp,r′ − µq,r′ , which is equal
to the sum
X
|µp,r′ ({Λ}) − µq,r′ ({Λ})| .
Λ∈{0,1}Γ1 ∩Br ′

This can be made arbitrarily small by choosing ε′ > 0 in (4.7) sufficiently small.



EMBEDDING PROBLEM OF Zk -ACTIONS

29

5. Dynamical construction of tiling-like band-limited maps
This section is the longest section of the paper. As we described in Subsection 3.2, the
S
proof of Proposition 3.1 uses a tiling Rk = n∈Zk W (x, n) and a social welfare system
among tiles, which should be encoded into a certain band-limited function g2 (x). The
purpose of this section is to construct these ingredients. The following diagram outlines
the construction.
A point x in a dynamical system (X, Zk , T ) satisfying the marker property.


y
S
A tiling Rk = n∈Zk W0 (x, n).


y
A tiling-like band-limited map Φ(x) : Ck → Ck ,

which is equivalent to a band-limited function g2 (x).


y
S
A tiling Rk = n∈Zk W (x, n).


y
k

Weight functions w(x, n) ∈ [0, 1]Z for n ∈ Zk ,

which form a social welfare system among tiles W (x, n).
S
Take x ∈ X. First we construct a tiling Rk = n∈Zk W0 (x, n) from the point x.
We use the marker property assumption only here. This tiling is not used directly in
the proof of Proposition 3.1. Instead we construct a certain holomorphic map Φ(x) :
Ck → Ck called a “tiling-like band-limited map” from the tiles W0 (x, n). Write Φ(x) =
(Φ(x)1 , . . . , Φ(x)k ). The Fourier transforms of Φ(x)1 |Rk , . . . , Φ(x)k |Rk and their complex
conjugates are adjusted to have disjoint supports. Then the band-limited function
def

g2 (x) =

k
X

Re (Φ(x)i )

i=1

becomes “equivalent” to Φ(x). Namely if g2 (x) = g2 (y) for some x, y ∈ X then Φ(x) =
Φ(y). (Indeed we will define g2 (x) in Section 6 by multiplying a small constant to the
above function so that the norm of g2 (x) becomes sufficiently small.)
Let us give some more heuristics concerning the construction of Φ(x). Consider the
function
πzk
πz1
, · · · , sin
) : Rk → Rk
Θ̃L = (sin
L
L
for some positive integer L thought to be very big. Every entry sin(πzi /L) of the map
Θ̃L vanishes on LZk ⊂ Rk and belongs to B( L1 , · · · , L1 ). Suppose we are given a family of

30

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

tilings W0 (x) = {W0 (x, n)}n∈Zk of Rk depending continuously9 and Zk -equivariantly (i.e.
W0 (T n x, m) = −n + W0 (x, n + m)) on x ∈ X. We would like to replace this family of
tilings by a family of Voronoi tilings10 generated by the zeros of a continuous function
F : X × Rk → Rk , where F has the following properties:
(1) Band-limited: Every entry of F (x, ·) belongs to B( L1 , · · · , L1 ).
(2) Equivariance: F (T n x, z) = F (x, z + n) for any x ∈ X, z ∈ Rk and n ∈ Zk .

A candidate for F is the following function
X × Rk → Rk ,

(x, t) 7→

X

n∈Zk

e L (t − n) 1W0 (x,n) (t).
Θ

This function is equivariant but unfortunately not continuous. However a small change
(for details see Subsection 5.2) makes it band-limited (and continuous).

Figure 5.1. The original tiling W0 (x, n): ——; The zeros of F in the
“deep” interior of “big” tiles: •; “Regular” part of the new tiling W (x, n):
- - - - -.
The most simple way of generating Voronoi tilings would be to use the zeros of F (x, ·)

as generating sets for the Voronoi tiling, i.e. W (x) = Voronoi zeros of F (x, ·) . However,
the zeros of band-limited maps behave rather wildly in general, e.g. they are not isolated
and form a positive dimensional variety in general. We will thus instead adopt a more
9More

precisely, for ε > 0 and for each x ∈ X and n ∈ Zk with Int W0 (x, n) 6= ∅, if y ∈ X is sufficiently
close to x, then the Hausdorff distance between W0 (x, n) and W0 (y, n) is smaller than ε.
10A Voronoi tiling generated by a discrete set A ⊂ Rk is a partitioning of Rk into regions based on the
closest distance to points in A. For more details, see Subsection 5.3.

EMBEDDING PROBLEM OF Zk -ACTIONS

31

elaborate scheme. We give a weight v(x, n) ∈ [0, 1] to every x ∈ X and n ∈ Zk , which
is constructed from (some appropriate) zeros of F (x, ·) in a neighborhood of n. We
use these weights to generate a family of indexed Voronoi tilings {W (x, n)}n∈Zk . The
exact procedure is described in Subsection 5.4. For big tiles and big L > 0 the picture
schematically looks like Figure 5.1.
The new tiling is used in the proof of Proposition 3.1 in Section 6. We construct a
certain “weight function” (not to be confused with v(x, n) of the previous paragraph)
 k

k Z
w(x) = (w(x, n))n∈Zk ∈ [0, 1]Z

from the tiles W (x, n). This will play a role of a social welfare system among the tiles
W (x, n). The tiles W (x, n) and functions w(x, n) are constructed from Φ(x). So all their
informations are encoded into Φ(x), which is equivalent to the band-limited function
g2 (x).
Subsection 5.1 is a function-theoretic preparation for the construction of tiling-like
band-limited maps. Subsection 5.2 constructs a tiling-like band-limited map from a tiling
of Rk (not necessarily coming from a dynamical system). Subsection 5.3 describes a
S
construction of the first tiling Rk = n∈Zk W0 (x, n). Subsection 5.4 uses the preparations
in Subsections 5.1, 5.2 and 5.3 and constructs Φ(x), W (x, n) and w(x, n).

5.1. Quantitative persistence of zero points. We start from the following elementary
observation: Let f : Ck → Ck be a holomorphic map such that f (0) = 0 and the derivative
df0 at the origin is an invertible matrix. For any neighborhood U of the origin in Ck , if
g : Ck → Ck is a holomorphic map such that |f (z) − g(z)| is sufficiently small over the
unit ball B1 , then there exists z ∈ U such that g(z) = 0 and the derivative dgz at z
is also invertible. The purpose of this subsection is to develop a quantitative version of
this observation for some very special f (i.e. the function ΘL introduced below). Here
“quantitative” means that we would like to specify how small |g(x) − f (x)| should be and
how much non-degenerate dgz is.
Let r > 0. For u ∈ C we define Dr (u) as the closed disk of radius r around u in C.
We set Dr = Dr (0). For u = (u1 , . . . , uk ) ∈ Ck we define the polydisc Drk (u) in Ck by
Drk (u) = Dr (u1 ) × · · · × Dr (uk ). We set Drk = Drk (0).
First we study the sine function sin z in the complex domain. Consider the image
sin(∂Dπ/2 ) of the circle ∂Dπ/2 of radius π/2 under the map sin : C → C. This curve does
not contain the origin and its rotation number around the origin is one:
Z
Z
dz
1
cos z
1
√
= √
dz = 1.
2π −1 sin(∂Dπ/2 ) z
2π −1 ∂Dπ/2 sin z
This implies that the map

sin∗ : H1 Dπ/2 \ {0} → H1 (C \ {0})

32

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

is an isomorphism. Here H1 (·) is the standard homology group of Z-coefficients. (Both
sides of the above are isomorphic to Z.) The map sin∗ is the homomorphism induced by
the map sin : Dπ/2 \ {0} → C \ {0}. The natural maps


H2 Dπ/2 , Dπ/2 \ {0} → H1 Dπ/2 \ {0} , H2 (C, C \ {0}) → H1 (C \ {0})
are isomorphic by the canonical long exact sequence ([Hat02, Theorem 2.16]). It follows
by composition that

sin∗ : H2 Dπ/2 , Dπ/2 \ {0} → H2 (C, C \ {0})

is also an isomorphism. In the same way, for any n ∈ Z, the map

sin∗ : H2 Dπ/2 (πn), Dπ/2 (πn) \ {πn} → H2 (C, C \ {0})
is an isomorphism.

Definition 5.1.
(1) Recall that we introduced positive numbers a1 , . . . , ak and δ in
Subsection 3.3. We set bi = ai + δ/2. For L > 1 we define ΘL : Ck → Ck by

 √
√
ΘL (z1 , . . . , zk ) = eπ −1 b1 z1 sin(πz1 /L), . . . , eπ −1 bk zk sin(πzk /L) .
This map vanishes on LZk . The Fourier transform of the i-th entry
eπ

√

−1 bi ti

sin(πti /L),

(t = (t1 , . . . , tk ) ∈ Rk )

of ΘL |Rk (the restriction of ΘL to Rk ) is supported in


1 bi
1
bi
i−1
× {0}k−i , (1 ≤ i ≤ k).
−
, +
{0} ×
2
2L 2
2L
We will choose a very large L later. So this line segment will be very small.
(2) Let A be a k × k matrix. We set
ν(A) =

min

z∈Ck ,|z|=1

|Az|.

The matrix A is invertible if and only if ν(A) > 0. So ν(A) quantifies the amount
of non-degeneracy of A. For another k × k matrix B we have
(5.1)

|ν(A) − ν(B)| ≤ |A − B| (the operator norm of A − B).
In particular ν(A) depends continuously on A.

Lemma 5.2. For every n = (n1 , . . . , nk ) ∈ Zk the homomorphism


k
k
(ΘL )∗ : H2k DL/2
(Ln), DL/2
(Ln) \ {Ln} → H2k Ck , Ck \ {0}
is isomorphic. (Notice that the both sides are isomorphic to Z.)

EMBEDDING PROBLEM OF Zk -ACTIONS

33




k
k
Proof. We define a homotopy ft : DL/2
(Ln), DL/2
(Ln) \ {Ln} → Ck , Ck \ {0} for
0 ≤ t ≤ 1 by
 √

√
ft (z1 , . . . , zk ) = eπ −1 t b1 z1 sin(πz1 /L), . . . , eπ −1 t bk zk sin(πzk /L) .
f1 = ΘL . So it is enough to show that f0 induces an isomorphism on the 2k-th homology
groups (see [Hat02, Theorem 2.10]). The map f0 is given by
f0 (z1 , . . . , zk ) = (sin(πz1 /L), . . . , sin(πzk /L)) .
Set ϕ(z) = sin(πz/L) for z ∈ C. We have natural isomorphisms by the Künneth theorem
(Spanier [Spa66, p. 235, 10 Theorem]):
H2k

k
k
DL/2
(Ln), DL/2
(Ln)

H2k



\ {Ln} ∼
=


C , C \ {0} ∼
=
k

k

k
O
i=1

k
O
i=1

H2 DL/2 (Lni ), DL/2 (Lni ) \ {Lni }



H2 (C, C \ {0}) .

Under these isomorphisms, the homomorphism (f0 )∗ is identified with
⊗ki=1 ϕ∗

:

k
O
i=1



H2 DL/2 (Lni ), DL/2 (Lni ) \ {Lni } →

k
O
i=1

H2 (C, C \ {0}) .

By the argument in the beginning of this subsection, each factor

ϕ∗ : H2 DL/2 (Lni ), DL/2 (Lni ) \ {Lni } → H2 (C, C \ {0})
is isomorphic. Thus (f0 )∗ is an isomorphism.



The derivative (dΘL )z at z = (z1 , . . . , zk ) is a diagonal matrix whose (i, i)-th entry is
given by


√
√
cos(πzi /L)
π −1 bi zi
−1 bi sin(πzi /L) +
πe
, (1 ≤ i ≤ k).
L
Notation 5.3. We choose 0 < r1 < 1/4 so small that for all 1 ≤ i ≤ k and z ∈ Dr1


√
√
cos(πz/L)
3
π −1 bi z
−1 bi sin(πz/L) +
π e
> .
L
L
Since for small z

cos(πz/L)
1
πz
,
≈ ,
L
L
L
we can choose r1 independent of L > 1. (This independence is a plausible fact but it is
not really needed in the argument below.)
sin(πz/L) ≈

It immediately follows from the definition that for all n ∈ Zk and z ∈ Drk1 (Ln)
(5.2)

ν ((dΘL )z ) >

3
.
L

34

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

Notation 5.4 (The threshold θL ). We define Ω ⊂ Ck as the set of z = (z1 , . . . , zk )
satisfying |Im(zi )| ≤ 1 for all 1 ≤ i ≤ k. We define θL > 0 as the minimum of the
following two quantities:
(
)
[
1
k −1/2 (3/4)k+1 , inf |ΘL (z)| z ∈ Ω \
Drk1 (Ln) .
L
k
n∈Z

The next lemma is the main result of this subsection.
Lemma 5.5 (Persistence of zero points of ΘL ). Let f : Ck → Ck be a holomorphic map.
Let W ⊂ Ck be a subset and suppose |f (z) − ΘL (z)| < θL for all z ∈ W . Then the
following (1) and (2) hold.
(1)
{z ∈ W ∩ Ω| f (z) = 0} ⊂
k

(2) For every n ∈ Z with

D1k (Ln)

[

Drk1 (Ln).

n∈Zk

⊂ W there exists z ∈ Drk1 (Ln) satisfying

f (z) = 0,

ν(dfz ) >

2
.
L

Proof. (1) is a direct consequence of the definition of θL . So we consider (2). For the
notational simplicity, assume n = 0. It follows from the definition of θL that
max |f (z) − ΘL (z)| < min |ΘL (z)|,

z∈∂Drk1

z∈∂Drk1

where ∂Drk1 is the boundary of Drk1 . (So in particular its (2k − 1)-th homology group is
isomorphic to Z.) Then we can define a homotopy ft : ∂Drk1 → Ck \ {0} between ΘL and
f by
ft (z) = (1 − t)ΘL (z) + tf (z), (0 ≤ t ≤ 1).

Here the point is that ft has no zero on ∂Drk1 . It follows from Lemma 5.2 that f∗ =

(ΘL )∗ : H2k−1 (∂Drk1 ) → H2k−1 Ck \ {0} is isomorphic. Then f must attain zero at some


(interior) point of Drk1 . Otherwise the map f∗ : H2k−1 ∂Drk1 → H2k−1 Ck \ {0} is equal
to the composition of the maps

 f∗

H2k−1 ∂Drk1 → H2k−1 Drk1 → H2k−1 Ck \ {0} .



But H2k−1 Drk1 = 0 implies that the map f∗ : H2k−1 ∂Drk1 → H2k−1 Ck \ {0} is zero.
This is a contradiction.
The rest of the work is to prove the statement about the derivative of f at zero points.
By (5.1) and (5.2) it is enough to prove that for all z ∈ Drk1 the operator norm of
dfz − (dΘL )z is smaller than 1/L. Let z = (z1 , . . . , zk ) ∈ Drk1 . By the Cauchy integration
formula,
Z
Z
1
f (w) − ΘL (w)
√
f (z) − ΘL (z) =
dw1 . . . dwk .
···
k
(2π −1) ∂D1
∂D1 (w1 − z1 ) . . . (wk − zk )

EMBEDDING PROBLEM OF Zk -ACTIONS

35

For u = (u1 , . . . , uk ) ∈ Ck with |u| = 1, the vector dfz (u) − (dΘL )z (u) is given by
Z
Z
k
X
f (w) − ΘL (w)
1
√
···
ui
dw1 . . . dwk .
2
k
(2π −1) i=1
∂D1 (w1 − z1 ) . . . (wi − zi ) . . . (wk − zk )
∂D1

For zi ∈ Dr1 and wi ∈ ∂D1 we have |wi − zi | > 3/4 because r1 < 1/4. Hence
|dfz (u) − (dΘL )z (u)| <
≤

k
X
i=1

√

|ui |(4/3)k+1θL

k(4/3)

k+1

1
θL ≤ ,
L



by θL ≤ k

−1/2

(3/4)

k+1

1
L



.

This proves |dfz − (dΘL )| < 1/L.



5.2. Tiling-like band-limited maps. We choose a rapidly decreasing function χ1 :
Rk → R satisfying supp F (χ1 ) ⊂ Bδ/8 and
Z
(5.3)
F (χ1 )(0) =
χ1 (t) dt1 . . . dtk = 1.
Rk

Notation 5.6. We set
K1 =

Z

Rk

|χ1 (t)| dt1 . . . dtk .

The function χ1 can be extended holomorphically over Ck (see Lemma 2.2) by
Z
√
F (χ1 )(ξ) e2π −1ξ·z dξ1 . . . dξk , (z = (z1 , . . . , zk ) ∈ Ck ).
χ1 (z) =
Bδ/8

For any polynomial P (z1 , . . . , zk ), by the integration by parts,
√
 √

 √
Z
−1 ∂
−1 ∂
P
P (z1 , . . . , zk )χ1 (z) =
,...,
F (χ1 )(ξ) e2π −1ξ·z dξ1 . . . dξk .
2π ∂ξ1
2π ∂ξk
Bδ/8
Hence there exists a positive constant constP depending on P and satisfying
v


u k
uX
|Im(zi )|2  .
|P (z1 , . . . , zk )χ1 (z)| ≤ constP · e(πδ/4)|Im(z)| , |Im(z)| = t
i=1

In particular for each l ≥ 0 there exists a constant constl satisfying
(5.4)

|χ1 (z)| ≤ constl · (1 + |z|)−l · e(πδ/4)|Im(z)| .

It follows that the integral

Z

Rk

χ1 (z − t) dt1 . . . dtk

converges and becomes a holomorphic function in z ∈ Ck . It is constantly equal to one
for z ∈ Rk by (5.3). Therefore indeed it is identically equal to one:
Z
(5.5)
χ1 (z − t) dt1 . . . dtk = 1, (z ∈ Ck ).
Rk

36

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

Let W = {Wn }n∈Zk be a set of bounded convex sets of Rk (indexed by Zk ) such that it
tiles the whole space Rk , namely
S
• Rk = n∈Zk Wn .
• For any two distinct m and n in Zk the sets Wm and Wn intersect at most on their
boundaries ∂Wm and ∂Wn : Wm ∩ Wn = ∂Wm ∩ ∂Wn .

Notice that some Wn may be empty. For L > 1 we define a tiling-like band-limited
map ΦL (W) : Ck → Ck by
Z
X
χ1 (z − t) dt1 . . . dtk .
ΦL (W) (z) =
ΘL (z − n)
Wn

n∈Zk

As was already explained before, intuitively we would like to consider
X
ΘL (t − n) 1Wn (t), (t ∈ Rk ).
n∈Zk

Namely we would like to “paint” the map ΘL (t − n) over each tile Wn . But this is not
even continuous in t. So instead we defined ΦL (W) as in the above.
√
It follows from ||ΘL ||L∞ (Rk ) = k and Notation 5.6 that the map ΦL (W) (t) is bounded
over t ∈ Rk :
Z
X
|ΦL (W) (t)| ≤
||ΘL ||L∞ (Rk )
|χ1 (t − x)| dx1 . . . dxk
n∈Zk

= ||ΘL ||L∞ (Rk )
√
= kK1 .

Wn

Z

Rk

|χ1 (t − x)| dx1 . . . dxk

The Fourier transform of the i-th entry of ΦL (W)|Rk is supported in
i−1 
 
k−i

δ δ
1
δ bi
1
δ
bi
δ δ
× − ,
×
−
− , +
+
, (1 ≤ i ≤ k).
− ,
8 8
2
2L 8 2
2L 8
8 8
Since bi = ai + δ/2, if L > 4/δ then this is contained in

i−1 
 
k−i
δ δ
δ δ
ai ai δ
− ,
× − ,
, +
×
4 4
2 2
2
4 4
Since we assumed δ < min(a1 , . . . , ak ) in (3.2) in Subsection 3.3, these k sets are disjoint
with each other.
Notation 5.7. Recall that Ω ⊂ Ck is the set of z = (z1 , . . . , zk ) satisfying |Im(zi )| ≤ 1
for all 1 ≤ i ≤ k. By (5.4) we can choose E = E(L) > 0 such that for all z ∈ Ω
Z
θL
|χ1 (z − t)| dt1 . . . dtk < ,
||ΘL ||L∞ (Ω)
2
Rk \BE (Re(z))
where θL is the constant introduced in Notation 5.4.

EMBEDDING PROBLEM OF Zk -ACTIONS

37

We recall the notations introduced in Subsection 2.4: For r > 0 and A ⊂ Rk , we define

∂r A as the set of all t ∈ Rk satisfying Br (t) ∩ A 6= ∅ and Br (t) ∩ Rk \ A 6= ∅. We set
Intr A = A \ ∂r A, namely Intr A is the set of t ∈ A satisfying Br (t) ⊂ A.
Lemma 5.8. Let n ∈ Zk and z ∈ Ω. If Re(z) ∈ IntE Wn then
|ΦL (W) (z) − ΘL (z − n)| < θL .
Proof. For simplicity of the notation we assume n = 0. By (5.5)
ΦL (W) (z) − ΘL (z) =

X

m6=0

ΘL (z − m)

− ΘL (z)

Z

Z

Rk \W0

Hence
|ΦL (W) (z) − ΘL (z)| ≤ 2 ||ΘL ||L∞ (Ω)

Wm

χ1 (z − t) dt1 . . . dtk

χ1 (z − t) dt1 . . . dtk .

Z

Rk \W0

|χ1 (z − t)| dt1 . . . dtk .

This is smaller than θL by the definition of E.



The next lemma is the summary of this subsection.
Lemma 5.9 (Main properties of ΦL (W)).
(1) The restriction of ΦL (W) to Rk is a
√
bounded continuous map such that ||ΦL (W)||L∞ (Rk ) ≤ kK1 and that if L > 4/δ
then the Fourier transform of the i-th entry of ΦL (W) |Rk is supported in


δ δ
− ,
4 4

i−1

×



ai ai δ
, +
2 2
2





δ δ
× − ,
4 4

k−i

,

(1 ≤ i ≤ k),

which are disjoint with each other.
(2) Let n ∈ Zk and z ∈ Ω. If Re(z) ∈ IntE Wn and ΦL (W) (z) = 0 then there exists
m ∈ Zk satisfying z ∈ Drk1 (n + Lm).
(3) Let n, m ∈ Zk with n + Lm ∈ IntE+√k Wn . Then there exists z ∈ Drk1 (n + Lm)
satisfying
ΦL (W) (z) = 0,

ν ((dΦL (W))z ) >

2
.
L

Proof. (1) was already proved. (2) follows from Lemmas 5.5 (1) and 5.8. For (3), notice
that n + Lm ∈ IntE+√k Wn implies B√k (n + Lm) ⊂ IntE (Wn ) and that every point
z ∈ D1k (n + Lm) satisfies Re(z) ∈ IntE (Wn ). Then (3) follows from Lemmas 5.5 (2) and
5.8.


38

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

Conditions (2) and (3) in Lemma 5.9 are the rigorous formulation of “good/bad decomposition” explained in Subsection 1.4. The domain Ω is decomposed into two regions:
(
)
[
Good region = z ∈ Ω Rez ∈
IntE+√k Wn ,
Bad region =

n∈Zk

(

z ∈ Ω Rez ∈

[

∂E+√k Wn

n∈Zk

)

.

The above (2) and (3) mean that we have a good control (for our purpose here) of zero
points of ΦL (W) over the good region. As we explained in Subsection 1.4, the bad
region should be “tiny”. This means that we need to introduce a tiling W such that the
“boundary region”
[
∂E+√k Wn
n∈Zk

is sufficiently small. (Indeed we will need a bit more involved condition later; see (5.9)
below). The purpose of the next subsection is to construct such tilings.

5.3. Dynamical Voronoi diagram. This subsection is largely a reproduction of [GLT16,
Section 4]. Here we introduce a dynamically generated Voronoi diagram. Our use of
Voronoi diagram is conceptually influenced by the works of Lightwood [Lig03, Lig04].
Let (X, Zk , T ) be a dynamical system having the marker property as we promised in
Subsection 3.3. Let M be a natural number. It follows from the marker property that
there exists an open set U ⊂ X satisfying
[
U ∩ T n U = ∅ (0 < |n| < M), X =
T n U.
n∈Zk

We can find a natural number M1 ≥ M and a compact set F ⊂ U satisfying X =
S
n
|n|<M1 T F . Choose a continuous function h : X → [0, 1] satisfying supp h ⊂ U and
h = 1 on F . Then it satisfies
[
T n ({x ∈ X| h(x) = 1}) .
(5.6) (supp h) ∩ T n (supp h) = ∅ (0 < |n| < M), X =
|n|<M1

For x ∈ X consider the following discrete set in Rk+1 :



1
k
n
n ∈ Z , h(T x) > 0 .
n,
h(T n x)
We consider the Voronoi diagram determined by this set. Namely we define a convex
set V0 (x, n) for n ∈ Zk as follows: If h(T n x) = 0 then we set V0 (x, n) = ∅. If h(T n x) > 0
then we define it as the set of all u ∈ Rk+1 satisfying




1
1
k
m
≤ u − m,
.
u − n,
∀m ∈ Z with h(T x) > 0 :
h(T n x)
h(T m x)

EMBEDDING PROBLEM OF Zk -ACTIONS

39

Figure 5.2. Voronoi tiling. The Voronoi center (n, 1/h(T n x)) is located
inside V0 (x, n). The shadowed region is W0 (x, n).
The sets V0 (x, n) form a tiling of Rk+1 :
Rk+1 =

[

V0 (x, n).

n∈Zk

Let πRk : Rk+1 → Rk be the projection to the first k coordinates (i.e. forgetting the last

√ 2
coordinate). Set H = M1 + k and

W0 (x, n) = πRk V0 (x, n) ∩ Rk × {−H} .
See Figure 5.2. These form a tiling of Rk :
[
Rk =
W0 (x, n).
n∈Zk

This tiling is Zk -equivariant in the sense that

W0 (T n x, m) = −n + W0 (x, n + m) = {−n + u| u ∈ W0 (x, n + m)}.
The tiles W0 (x, n) depend continuously on x ∈ X in the Hausdorff topology. More
precisely, for ε > 0 and for each x ∈ X and n ∈ Zk with Int W0 (x, n) 6= ∅, if y ∈ X
is sufficiently close to x, then the Hausdorff distance between W0 (x, n) and W0 (y, n) is
smaller than ε. Here Int W0 (x, n) denotes the interior of W0 (x, n). (When the tile W0 (x, n)
has no interior point, it may vanish after x moves slightly. But this does not cause any
problem.)
The set W0 (x, n) depends on the choice of the parameter M. So we sometimes write
W0M (x, n) = W0 (x, n) for clarifying that M is the parameter11. In the next subsection
we consider the tiling-like band-limited map for this tiling. The following property of
11It

might look that M1 and h are also parameters. But we can choose them to be functions of M .
Namely for each natural number M we fix a natural number M1 = M1 (M ) and a continuous function
h = hM : X → [0, 1] satisfying (5.6). Then only M remains to be a parameter.

40

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

W0M (x, n) becomes crucial there, which means that the “bad region” is negligible as we
explained at the end of the last section.
Lemma 5.10. For any r > 0
(
lim

M →∞

lim sup sup
R→∞

BR ∩

x∈X

S

∂r W0M (x, n)
|BR |

n∈Zk

!)

= 0.

Here | · | is the k-dimensional volume (Lebesgue measure).
Proof. We need some auxiliary claims.
Claim 5.11. Let x ∈ X and n ∈ Zk with h(T n x) > 0.
(1) V0 (x, n) contains the ball BM/2 (n, 1/h(T n x)).
(2) W0 (x, n) ⊂ BM1 +√k (n).
(3) If W0 (x, n) 6= ∅ then h(T n x) > 1/2.

Proof. It follows from the first property of h in (5.6) that if m ∈ Zk also satisfies h(T m x) >
0 then |n − m| ≥ M. Property (1) easily follows from this. For the proof of (2) and (3),
take u ∈ W0 (x, n). Let v ∈ Zk be the integer point closest to u. By the second property
of h in (5.6) there exists m ∈ Zk satisfying |m| < M1 and h(T v+m x) = 1. It follows from
the definition of the Voronoi tiling that


1
(u, −H) − n,
(5.7)
≤ |(u, −H) − (v + m, 1)| .
h(T n x)

Since |H + 1/h(T n x)| ≥ H + 1,

|u − n| ≤ |u − v − m| < |u − v| + M1 <

√

k + M1 .

This proves (2). It follows from (5.7) that

2
2
√
1
2
2
k + M1 + (H + 1)2 .
H+
≤ |u − v − m| + (H + 1) <
h (T n x)
Then Property (3) follows:

√

k + M1

1
<
h(T n x)
2H


2
√
where we used H = M1 + k > 1.

2

+1+

1
1
1
< + 1 + = 2,
2H
2
2


Let ε > 0. We take c > 1 satisfying

c−k > 1 − ε.
We choose M so large that
(5.8)

(c − 1)M
> r,
2(c + 1)



2
c+
M

−k

> 1 − ε.

EMBEDDING PROBLEM OF Zk -ACTIONS

41

Figure 5.3. Configurations of V0 (x, n), W0 (x, n) and W1 (x, n).

For x ∈ X and n ∈ Zk we set W1M (x, n) = W1 (x, n) = πRk V (x, n) ∩ Rk × {−cH} ,
where πRk : Rk+1 → Rk is the projection to the first k coordinates. It follows from the
same proof of Claim 5.11 (2) that
W1 (x, n) ⊂ BM1 +√k (n).
For u ∈ W1 (x, n) we denote by (f (u), −H) the intersection point of the hyperplane
Rk × {−H} and the line segment between (u, −cH) and the Voronoi center (n, 1/h(T n x)).
It follows from the convexity of V0 (x, n) that f (u) ∈ W0 (x, n). See Figure 5.3.
Claim 5.12.
(1) For any u ∈ W1 (x, n) the point f (u) belongs to Intr W0 (x, n).
(2) |Intr W0 (x, n)| ≥ (1 − ε) |W1 (x, n)|.
Proof. (1) From BM/2 (n, 1/h(T n x)) ⊂ V0 (x, n), the set W0 (x, n) × {−H} contains the
intersection point of the hyperplane Rk × {−H} and the line segment between (u, −cH)
and (v, 1/h(T nx)) for v ∈ BM/2 (n). Then W0 (x, n) contains the ball of radius
cH − H
M
·
1
cH + h(T n x) 2

around the point f (u). See Figure 5.3 again. From h(T n x) > 1/2 (Claim 5.11 (3)),
cH − H
(c − 1)H M
(c − 1)M
M
.
>
·
=
·
1
cH + 2
2
cH + h(T n x) 2
2 c + H2


√ 2
By H = M1 + k > 2, this is larger than
(c − 1)M
>r
2(c + 1)

(by the first condition of (5.8)).

42

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

This shows f (u) ∈ Intr W0 (x, n).
(2) We can assume W1 (x, n) 6= ∅. (Otherwise the statement is trivial.) From (1)
!k
H + h(T1n x)
|W1 (x, n)| .
|Intr W0 (x, n)| ≥ |{f (u)| u ∈ W1 (x, n)}| =
cH + h(T1n x)
From h(T n x) > 1/2 (Claim 5.11 (3)),

k
k

H
1
|Intr W0 (x, n)| ≥
|W1 (x, n)| .
|W1 (x, n)| =
cH + 2
c + H2

√ 2
Since H = M1 + k > M
|Intr W0 (x, n)| ≥



1
c + M2

k

|W1 (x, n)| .

By the second condition of (5.8) this proves (2).
√
Let x ∈ X and R > 2M1 + 2 k.
BR ∩

[

n∈Zk

∂r W0 (x, n) ≤ |BR | −

[

√
|n|≤R−M1 − k

≤ |BR | − (1 − ε)



(by W0 (x, n) ⊂ BM1 +√k (n))

Intr W0 (x, n)
[

√

(by Claim 5.12 (2)).

W1 (x, n)

|n|≤R−M1 − k

S

Since W1 (x, n) ⊂ BM1 +√k (n) and Rk = n∈Zk W1 (x, n),
[
W1 (x, n) ⊃ BR−2M1 −2√k .
√
|n|≤R−M1 − k

Hence
BR ∩
Thus

[

n∈Zk

∂r W0 (x, n) ≤ |BR | − (1 − ε) BR−2M1 −2√k .

lim sup sup
R→∞

This proves the statement.

x∈X

BR ∩

S

∂r W0 (x, n)
|BR |

n∈Zk

!

≤ ε.


5.4. Tiling and weight functions from tiling-like band-limited maps. Let A, L0
and L be positive numbers. These three parameters control the construction of this
subsection. We assume:
Condition 5.13 (L is much larger than AL0 ). L is an integer satisfying

√ 
L > 1000k (A + 1) L0 + 1 + k .

EMBEDDING PROBLEM OF Zk -ACTIONS

43

Let E = E(L) be the positive constant introduced in Notation 5.7. By Lemma 5.10 we
can choose M = M(A, L0 , L) > 0 so that the sets W0 (x, n) = W0M (x, n) in Subsection 5.3
satisfy


S
B3R ∩ n∈Zk ∂E+2(L+1)√k+L0 +1 W0 (x, n)
1
<
.
(5.9)
lim sup sup
6A + 2
BR/2
R→∞
x∈X

Let x ∈ X. We define ΦA,L0 ,L (x) = ΦL ({W0 (x, n)}n∈Zk ) : Ck → Ck as the tiling-like
band-limited map with respect to the tiling {W0 (x, n)}n∈Zk , namely for z ∈ Ck
Z
X
ΦA,L0 ,L (x)(z) =
ΘL (z − n)
χ1 (z − t) dt1 . . . dtk .
W0 (x,n)

n∈Zk

We often abbreviate ΦA,L0 ,L (x) to Φ(x).

Lemma 5.14 (Basic properties of Φ(x)). Φ satisfies
√
(1) Boundedness: ||Φ(x)||L∞ (Rk ) ≤ kK1 .
(2) Frequencies: If L > 4/δ then the Fourier transform of the i-th entry of Φ(x)|Rk
(1 ≤ i ≤ k) is supported in
i−1 
 
k−i

δ δ
ai ai δ
δ δ
× − ,
, +
×
,
− ,
4 4
2 2
2
4 4

which are disjoint with each other.
(3) Equivariance: Φ(T n x)(z) = Φ(x)(z + n) for all x ∈ X, n ∈ Zk and z ∈ Ck .
(4) Continuity: If a sequence xn in X converges to x then Φ(xn ) converges to Φ(x)
uniformly over every compact subset of Ck .

Proof. (1) and (2) immediately follow from Lemma 5.9 (1). (3) and (4) follow from the
equivariance and continuity of the tiles W0 (x, n).

Let 0 < r1 < 1/4 be the positive number introduced in Notation 5.3. Let α1 : Ck →
[0, 1] and α2 : R → [0, 1] be continuous functions satisfying


k
,
z∈
/ D2r
α1 (z) = 1
z ∈ Drk1 , α1 (z) = 0
1




2
1
, α2 (t) = 1
t≥
.
α2 (t) = 0
t≤
L
L

For each x ∈ X and n ∈ Zk we define a non-negative number νA,L0 ,L (x, n) = ν(x, n) by




X
ν(x, n) = min 1,
α1 (z − n) α2 (ν (dΦ(x)z )) .


Φ(x)(z)=0

k
Here the sum is taken over all z ∈ Ck satisfying Φ(x)(z) = 0, z ∈ D2r
(n) and ν (dΦ(x)z ) ≥
1
1/L. The set of such z is a finite set because non-degenerate zero points are isolated. So
k
this is a finite sum. (Notice that the polydisk D2r
(n) may contain infinitely many zeros of
1
Φ(x). The above definition of ν(x, n) addresses this problem. The number 1/L is chosen

44

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

so that the zero points found in Lemma 5.9 (3) contribute to the above sum.) For each
n ∈ Zk the number ν(x, n) depends continuously on x ∈ X.
We again consider a Voronoi tiling. Let x ∈ X. Consider the following discrete set in
k+1
R :



1
k
n ∈ Z , ν(x, n) > 0 .
n,
ν(x, n)
This set is not empty. (See the proof of Lemma 5.15 (1) below.) So this determines a
Voronoi diagram. Namely for n ∈ Zk we define V (x, n) as the set of u ∈ Rk+1 satisfying




1
1
k
u − n,
∀m ∈ Z with ν(x, m) > 0 :
≤ u − m,
.
ν(x, n)
ν(x, m)
If ν(x, n) = 0 then V (x, n) = ∅. These form a tiling of Rk+1 :
[
Rk+1 =
V (x, n).
n∈Zk


We set W (x, n) = πRk V (x, n) ∩ Rk × {0} , where πRk : Rk+1 → Rk is the projection
to the first k coordinates as before. The sets W (x, n) form a tiling of Rk :
[
Rk =
W (x, n).
n∈Zk

This is also Zk -equivariant, namely W (T n x, m) = −n + W (x, n + m). Each W (x, n) is
a bounded convex set of Rk (see Lemma 5.15 (1) below) and depends continuously on
x ∈ X in the Hausdorff topology as in the case of W0 (x, n). We sometimes denote W (x, n)
by W A,L0 ,L (x, n) for clarifying the dependence on the parameters A, L0 , L. For x ∈ X we
S
define ∂(x) = ∂ A,L0 ,L (x) as n∈Zk ∂W (x, n).
Lemma 5.15 (Basic properties of W (x, n)).
(1) The diameter of W (x, n) is bounded
k
uniformly in x ∈ X and n ∈ Z . Moreover
sup sup

sup

x∈X n∈Zk u∈W (x,n)

|n − u| < ∞.

(2) Let α3 : R → [0, 3] be a continuous function satisfying
α3 (t) = 3 (t ≤ L0 ),

α3 (t) = 0

(t ≥ L0 + 1).

There exists R0 = R0 (A, L0 , L) > 0 such that for all x ∈ X and all u ∈ Zk
X
X
|IntL0 W (x, n)| ,
α3 (d (n, ∂(x))) <
A
|n−u|≤2R0

|n−u|≤R0

where d (n, ∂(x)) = inf t∈∂(x) |n−t| and the sums are taken over all n ∈ Zk satisfying
|n−u| ≤ 2R0 and |n−u| ≤ R0 in the left-hand side and right-hand side respectively.
Proof. Let x ∈ X and n ∈ Zk . It follows from Lemma 5.9 (2) and (3) that

∀ integer point m ∈ IntE+2r1 √k W0 (x, n) \ n + LZk : ν(x, m) = 0,
(5.10)

∀ m ∈ n + LZk ∩ IntE+√k W0 (x, n) : ν(x, m) = 1.

EMBEDDING PROBLEM OF Zk -ACTIONS

45

(1) By (5.9) if we choose R sufficiently large then for all x ∈ X
[
BR ∩
∂E+(L+1)√k W0 (x, n) 6= BR .
n∈Zk

Then there exists n ∈ Zk satisfying BR ∩ IntE+(L+1)√k W0 (x, n) 6= ∅. Then we can find

a point m ∈ n + LZk ∩ BR+L√k ∩ IntE+√k W0 (x, n). It follows from the second line of
(5.10) that ν(x, m) = 1. By the Zk -equivariance we conclude that for any p ∈ Zk there
exists an integer point q ∈ BR+L√k (p) satisfying ν(x, q) = 1.
Take u ∈ W (x, n). Let p be the integer point closest to u. Then we can find an integer
point q ∈ BR+L√k (p) satisfying ν(x, q) = 1. It follows form the definition of the Voronoi
tiling that


1
≤ |(u, 0) − (q, 1)| .
(u, 0) − n,
ν(x, n)
From ν(x, n) ≤ 1,

|u − n| ≤ |u − q| ≤ |u − p| + |p − q| ≤
This proves
sup sup

sup

x∈X n∈Zk u∈W (x,n)

√

√
k + R + L k.

√
|n − u| ≤ R + (L + 1) k.

(2) The above (5.10) implies
k

∀m ∈ n + LZ
because for such m



∩

IntE+(L+1)√k W0 (x, n)



L L
: W (x, m) = m + − ,
2 2

∀ integer point l ∈ m + L (−1, 1)k with l 6= m :
∀ l ∈ m + L {−1, 0, 1}k :

k

,

ν(x, l) = 0,

ν(x, l) = 1.

We introduce a dichotomy: For x ∈ X we define a “good set” Gx as the set of m ∈ Zk
satisfying W (x, m) = m + [−L/2, L/2]k . We define a “bad set” Bx as the complement of
Gx in Zk . Then it follows that
[
IntE+(2L+1)√k W0 (x, n) ⊂
W (x, m),

(5.11)

[

m∈Bx

W (x, m) ⊂

[

m∈Gx

∂E+(2L+1)√k W0 (x, n).

n∈Zk

√
For simplicity of the notation, we set E ′ = E +(2L+1) k. We define D as the supremum
of |n − u| over all x ∈ X, n ∈ Zk and u ∈ W (x, n). This is finite by (1).
P
Let r and R be positive numbers and u ∈ Zk . We estimate
n∈BR (u) |∂r W (x, n)|.
Noting
[
BR−D (u) ⊂
W (x, n) ⊂ BR+D (u),
n∈BR (u)

46

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

we can estimate
(5.12)
X

n∈BR (u)

|∂r W (x, n)| =

X

n∈BR (u)∩Gx

|∂r W (x, n)| +

≤ 2k+1 r(L + 2r)k−1
=

X

n∈BR (u)∩Bx

|∂r W (x, n)|

[
|BR+D |
B
(u)
∩
+
∂E ′ +r W0 (x, n)
R+D+r
Lk
k
n∈Z

[
2k+1 r(L + 2r)k−1
|B
|
+
B
∩
∂E ′ +r W0 (T u x, n) .
R+D
R+D+r
Lk
k
n∈Z

We would like to prove that for sufficiently large R (uniformly in x ∈ X and u ∈ Zk )
(5.13)

A

X

X

α3 (d (n, ∂(x))) <

n∈B2R (u)

n∈BR (u)

|IntL0 W (x, n)| .

It follows from (5.12) that
X

n∈BR (u)

|IntL0 W (x, n)| ≥

X

n∈BR (u)

(|W (x, n)| − |∂L0 W (x, n)|)

2k+1L0 (L + 2L0 )k−1
|BR+D |
Lk
[
∂E ′ +L0 W0 (T u x, n) .
− BR+D+L0 ∩

≥ |BR−D | −

n∈Zk

If R is sufficiently larger than D + L0 then (noting L > 2L0 by Condition 5.13)

(5.14)

X

n∈BR (u)

|IntL0 W (x, n)| ≥ BR/2 −
=



1−

[
4k L0
|B2R | − B2R ∩
∂E ′ +L0 W0 (T u x, n)
L
k
n∈Z

16k L0
L



BR/2 − B2R ∩

[

n∈Zk

The left-hand side of (5.13) is bounded by
3A# Zk ∩ B2R (u) ∩
≤ 3A B2R+√k (u) ∩
≤ 3A

X

[

n∈Zk

[

∂L0 +1 W (x, n)

!

∂L0 +1+√k W (x, n)

n∈Zk

∂L0 +1+√k W (x, n) .

n∈B2R+2√k+D+L

0 +1

(u)

∂E ′ +L0 W0 (T u x, n) .

EMBEDDING PROBLEM OF Zk -ACTIONS

47

As in the case of (5.14) if R is sufficiently large then this is bounded by (noting L >
√
2L0 + 2 + 2 k by Condition 5.13)

 
√ 
4k L0 + 1 + k
[
|B3R | + B3R ∩
∂E ′ +L0 +1+√k W0 (T u x, n) 
3A 
L
n∈Zk
(5.15)




√
24k L0 + 1 + k
[
= 3A 
BR/2 + B3R ∩
∂E ′ +L0 +1+√k W0 (T u x, n)  .
L
k
n∈Z

By combining (5.14), (5.15) with Condition 5.13 and (5.9), we can conclude that (5.13)
holds for sufficiently large R.


As we explained in Subsection 3.2 we need a social welfare system among the tiles
W (x, n). The next proposition provides it.
Proposition 5.16 (Construction of weight functions). We can construct a continuous
map
 k

k
k Z
, x 7→ (w(x, n))n∈Zk , where w(x, n) = (wm (x, n))m∈Zk ∈ [0, 1]Z
(5.16) X → [0, 1]Z
satisfying the following.

(1) The map is equivariant in the sense that for all m, n ∈ Zk and x ∈ X
w(T mx, n) = w(x, n + m).
(2) If x, y ∈ X satisfy Φ(x) = Φ(y) then w(x, n) = w(y, n) for all n ∈ Zk .
(3) For all x ∈ X and n ∈ Zk
#{m ∈ Zk | wm (x, n) > 0} < 1 +

1
|IntL0 W (x, n)| .
A

In particular if IntL0 W (x, n) = ∅ then wm (x, n) = 0 for all m ∈ Zk .
(4) Let x ∈ X and p ∈ Zk with d (p, ∂(x)) ≤ L0 . There exists n ∈ Zk ∩ BR0 (p) satisfying wp−n (x, n) = 1. Here R0 = R0 (A, L0 , L) is the positive number introduced in
Lemma 5.15 (2).
We call w(x, n) weight functions and sometimes write w A,L0,L (x, n) = w(x, n) for
clarifying the dependence on parameters.
Probably the intuitive meaning of the statement is not clear at all. So we explain it
before the proof. (The idea of the social welfare system was first introduced in [GT]. The
explanation below is more or less a reproduction of the argument around [GT, Lemma
6.4].) In the proof of Proposition 3.1 we construct a perturbation g1 (x) of a given bandlimited function f (x) for each x ∈ X. It is difficult to construct a perturbation over
the whole space Rk at once. So we will perturb f (x) over each tile W (x, n) separately.
The difficulty arises near the boundary ∂W (x, n). The parameter L0 will be chosen so

48

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

that we can construct a good perturbation in IntL0 W (x, n). But we cannot control the
perturbation over ∂L0 W (x, n). (Note that if the tile W (x, n) is tiny, it may be contained
in ∂L0 W (x, n). So the problem is approximately equivalent to “how to help small tiles”.)
The function g1 (x) should encode the information of the orbit of x ∈ X. The above
argument means that it becomes difficult to encode the information of T p x for p ∈ Zk with
d (p, ∂(x)) ≤ L0 . The weight functions wm (x, n) help with this situation. Roughly (and
very inaccurately) speaking, we will encode the (100 × wm (x, n)) % of the information of
T n+m x to g1 (x)|W (x,n). So wm (x, n) is the “amount of help” that the tile W (x, n) gives to
the point n + m. In particular, if wm (x, n) = 1 then the information of T n+m x is perfectly
encoded into g1 (x)|W (x,n).
Now we can explain the intuitive meaning of the above (1)–(4). Condition (1) is an obvious requirement. Condition (2)12 means that the weight function w(x, n) is determined
by the tiling-like band-limited map Φ(x). Condition (3) means that the amount of “additional encoding” which W (x, n) has to bear is controlled by the volume of IntL0 W (x, n).
Condition (4) means that every point near the boundary ∂(x) is “successfully rescued” by
some large tile. Namely we can solve all the difficulties coming from the boundary effect.
Proof of Proposition 5.16. We fix a bijection between Zk and N = {1, 2, 3, . . . }
N ∋ l 7→ ml ∈ Zk
such that if l1 < l2 then |ml1 | ≤ |ml2 |. (Then in particular m1 = 0.)
Fix x ∈ X. For n ∈ Zk we set
u0 (n) =

|IntL0 W (x, n)|
,
A

v0 (n) = α3 (d (n, ∂(x))) .

Here α3 : R → [0, 3] is the continuous function introduced in Lemma 5.15 (2). We define
ωl (n), ul (n), vl (n) inductively with respect to l ≥ 1 by
ωl (n) = min (ul−1 (n), vl−1 (n + ml )) ,
ul (n) = ul−1 (n) − ωl (n),
vl (n) = vl−1 (n) − ωl (n − ml ).
This process can be explained in “social welfare” terms:
• The tiles W (x, n) should pay tax. Tax is used for helping integer points p ∈ Zk .
The tile W (x, n) can pay at most u0 (n) and the point p needs v0 (p).
• At the l-th step of the induction, the tile W (x, n) gives the money ωl (n) to the
point n + ml . After the step, W (x, n) still can pay ul (n) and points p still need
vl (p).
12The

above explanation does not feature Condition (2). But indeed this is a very important condition.
It did not appear in the paper [GT]. A substantial amount of the argument in this section has been
developed for establishing this condition.

EMBEDDING PROBLEM OF Zk -ACTIONS

49

Figure 5.4. At the l-th step of the induction, the tile W (x, n) gives the
amount of money ωl (n) to the point n + ml . Before this step, W (x, n) has
the amount of money ul−1 (n) and the point n + ml needs vl−1 (n + ml ).
After this step, either W (x, n) loses all its money (i.e. ul (n) = 0) or n + ml
becomes satisfied (i.e. vl (n+ml ) = 0). Namely, min (ul (n), vl (n + ml )) = 0.
• At each step, W (x, n) pays as much as possible. Namely, after the l-th step, at
least one of ul (n) and vl (n + ml ) is zero. This is a key property of the process.
Figure 5.4 schematically explains the process.

Set l0 = # Zk ∩ BR0 . Then Zk ∩ BR0 = {m1 , . . . , ml0 }. It follows from Lemma 5.15
(2) that this process terminates: For all l ≥ l0 and n ∈ Zk
vl (n) = 0,

ωl+1 (n) = 0,

because if vl0 (n0 ) > 0 for some n0 then ul0 (n) = 0 for all n ∈ BR0 (n0 ) and hence
X

u0 (n) =

X

l0
X

ωl (n) <

n∈BR0 (n0 ) l=1

n∈BR0 (n0 )

X

v0 (n),

n∈B2R0 (n0 )

which contradicts Lemma 5.15 (2).
It follows from the construction that for n, p ∈ Zk
l0
X

(5.17)

l=1

l0
X

(5.18)

l=1

ωl (n) ≤ u0 (n) =

|IntL0 W (x, n)|
,
A

ωl (p − ml ) = v0 (p) = α3 (d (n, ∂(x))) .

We define continuous functions α4 : R → [1, 2l0 ] and α5 : R → [0, 1] such that
α4 (0) = 2l0 ,

α4 (t) = 1 (t ≥ 1),

α5 (t) = 0 (t ≤ 1),

α5 (t) = 1 (t ≥ 2).

We define F : Rl0 → Rl0 by F (x1 , . . . , xl0 ) = (y1 , . . . , yl0 ) where
yl0 = 2l0 xl0 ,

yl0 −1 = α4 (yl0 )xl0 −1 ,

y1 = α4 (max(yl0 , . . . , y2 )) x1 .

yl0 −2 = α4 (max(yl0 , yl0 −1 )) xl0 −2 ,

...

50

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

This satisfies
(5.19)

#{1 ≤ l ≤ l0 | yl > 1} ≤ 1 + #{1 ≤ l ≤ l0 | xl > 1}.

We define G : Rl0 → [0, 1]l0 by G(y1 , . . . , yl0 ) = (α5 (y1 ), . . . , α5 (yl0 )). Then it follows from
the above (5.19) that if we set GF (x1 , . . . , xl0 ) = (z1 , . . . , zl0 ) then
(5.20)

#{1 ≤ l ≤ l0 | zl > 0} ≤ 1 + #{1 ≤ l ≤ l0 | xl > 1}.

We define wm (x, n) for |m| ≤ R0 and n ∈ Zk by


wm1 (x, n), wm2 (x, n), . . . , wml0 (x, n) = GF (ω1 (n), . . . , ωl0 (n)) .

We set wm (x, n) = 0 for |m| > R0 .
Now we have defined the map (5.16) in the statement. We need to check its properties.
It is continuous and equivariant (i.e. Property (1)) because the tiles W (x, n) depend
continuously on x ∈ X and W (T mx, n) = −m + W (x, n + m). Property (2) is obvious
because the tiles W (x, n) are constructed from the function Φ(x).
Fix x ∈ X again. From (5.17)
#{1 ≤ l ≤ l0 | ωl (n) > 1} <

|IntL0 W (x, n)|
.
A

Then Property (3) follows from (5.20):
#{m| wm (x, n) > 0} ≤ 1 + #{1 ≤ l ≤ l0 | ωl (n) > 1} < 1 +

|IntL0 W (x, n)|
.
A

Finally we check Property (4). Let p ∈ Zk with d (p, ∂(x)) ≤ L0 . Then v0 (p) = 3. From
(5.18)
l0
X
ωl (p − ml ) = 3.
l=1

We define l1 as the maximum of 1 ≤ l ≤ l0 satisfying ωl (p − ml ) > 0. If ωl1 (p − ml1 ) ≥ 2
then wml1 (p − ml1 ) = 1. Otherwise
lX
1 −1
l=1

Then there exists l2 < l1 satisfying

ωl (p − ml ) > 1.

ωl2 (p − ml2 ) >

1
1
≥ .
l1
l0

The condition l2 < l1 implies ul2 (p − ml2 ) = 0 (otherwise vl2 (p) = 0 and ωl1 (p − ml1 ) = 0)
and hence ωl (p − ml2 ) = 0 for all l > l2 . It follows from the definition of the maps F and
G that
wl2 (p − ml2 ) = 1.
This proves Property (4).



EMBEDDING PROBLEM OF Zk -ACTIONS

51

6. Proof of Main Proposition
We prove Proposition 3.1 in this section. We recommend readers to review the notations
introduced in Subsection 3.3. We repeat the statement of the proposition (assuming the
notations in Subsection 3.3):
Proposition 6.1 (= Proposition 3.1). Let d be a distance on X and f : X → B1 (a1 , . . . , ak )
a Zk -equivariant continuous map. Then there exists a Zk -equivariant continuous map
g : X → B1 (a1 + δ, . . . , ak + δ) such that
• ||g(x) − f (x)||L∞ (Rk ) < δ for all x ∈ X.
• g is a δ-embedding with respect to the distance d.

We can assume ||f (x)||L∞ (Rk ) ≤ 1 − δ for all x ∈ X by replacing f with (1 − δ)f if
necessary. We fix 0 < δ ′ < δ satisfying
4K0 δ ′ < δ

(6.1)

where K0 is the positive number introduced in Notation 4.1 (1). We choose 0 < ε < δ
such that for any x, y ∈ X
(6.2)

d(x, y) < ε =⇒ ||f (x) − f (y)||L∞ ([0,1]k ) < δ ′ .

From mdim(X) < ρ1 . . . ρk /2 we can find c0 > 1 and a natural number N such that
• ρi N are integers for all 1 ≤ i ≤ k. (Recall ρi ∈ Q.)
•

Widimε X, d[N ] + 1
ρ1 . . . ρk
<
.
c0 ·
k
N
2
From the second condition, we can find a simplicial complex P and an ε-embedding

Π : X, d[N ] → P satisfying

dim P + 1
ρ1 . . . ρk
<
.
k
N
2
We take a simplicial complex Q and an ε-embedding π : (X, d) → Q.
We define the cone CP as [0, 1] × P/ ∼, where (0, p) ∼ (0, q) for all p, q ∈ P . We
denote by tp the equivalence class of (t, p) ∈ [0, 1] × P . We set ∗ = 0p and call it the
vertex of the cone. We define CQ in the same way. It follows from (6.3) that
(6.3)

c0

(6.4)

c0

ρ1 . . . ρk
dim CP
<
.
k
N
2

We set
ρ1 . . . ρk
dim CP
− c0
> 0.
2
Nk
Recall that we introduced the positive number r0 in Notation 4.1 (2). We set
v
u k
uX
(6.6)
r2 = r0 + t (1/ρi )2 .
(6.5)

c1 =

i=1

52

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

Notation 6.2 (Fixing the parameters A, L0 , L). We take positive numbers A, L0 and L
satisfying the following conditions.
(1) c1 A > 2 dim CQ.
√
(2) L0 is sufficiently larger than r2 + N k such that if a bounded closed convex set
W ⊂ Rk satisfies IntL0 W 6= ∅ then
(6.7)

2 dim CQ < c1 Intr2 +N √k W ,

(6.8)

W ∪ ∂N √k W < c0 Intr2 +N √k W .

The second condition is satisfied for sufficiently large L0 by Lemma 2.7.
(3) L > 4/δ (see Lemma 5.14 (2)) and Condition 5.13 holds.
For these A, L0 and L we construct the tiles W (x, n) = W A,L0,L (x, n) and the weight
functions w(x, n) = w A,L0 ,L (x, n) as in Subsection 5.4.
Lemma 6.3. Let x ∈ X and n ∈ Zk . We define
#(x, n) = #{m ∈ Zk | wm(x, n) > 0}.
If IntL0 W (x, n) 6= ∅ then
(6.9)

W (x, n) ∪ ∂N √k W (x, n)
dim CP + #(x, n) · dim CQ
Nk
ρ1 . . . ρk
Intr2 +N √k W (x, n) .
<
2

Proof. By (6.8) and Proposition 5.16 (3), the left-hand side of (6.9) is smaller than


Intr2 +N √k W (x, n)
|IntL0 W (x, n)|
dim CQ.
dim CP + 1 +
(6.10)
c0
Nk
A
By Notation 6.2 (1) and (2), the second term is smaller than
1
1
c1 Intr2 +N √k W (x, n) + c1 |IntL0 W (x, n)|
2
2
≤ c1 Intr2 +N √k W (x, n)

√
(by L0 > r2 + N k).

Then it follows from the definition of c1 in (6.5) that the above (6.10) is smaller than


ρ1 . . . ρk
dim CP
Intr2 +N √k W (x, n) .
+ c1 Intr2 +N √k W (x, n) =
c0
k
N
2

Notation 6.4 (Choice of R). We take a positive number R such that
• R ∈ NZ.
• R > R0 (A, L0 , L) where R0 (A, L0 , L) is the positive number introduced in Lemma
5.15 (2).

EMBEDDING PROBLEM OF Zk -ACTIONS

53

• For all x ∈ X and n ∈ Rk , the tile W (x, n) satisfies −n + W (x, n) ⊂ [−R, R)k ,
where −n + W (x, n) = {−n + t| t ∈ W (x, n)}. This condition is satisfied for
sufficiently large R by Lemma 5.15 (1).
We set
k ∩N Zk

P = (CP )[−R,R)

,

k ∩Zk

Q = (CQ)[−R,R)

.

For i ≥ 0 we define Q(i) ⊂ Q as the set of (qn )n∈[−R,R)k ∩Zk satisfying qn = ∗ except
for at most i entries. In particular Q(0) = {(∗, . . . , ∗)} and dim Q(i) ≤ i dim CQ. Let
W ⊂ [−R, R)k be a convex set. We define P(W ) ⊂ P as the set of (pn )n∈[−R,R)k ∩N Zk

such that if W ∩ n + [0, N)k = ∅ then pn = ∗. Its dimension is estimated by
W ∪ ∂N √k W
dim CP.
Nk

dim P(W ) ≤

We define a map ΠW : X → P(W ) by
ΠW (x) =

W ∩ n + [0, N)k
Nk



· Π(T n x)

!

.
n∈[−R,R)k ∩N Zk

ΠW is an ε-embedding with respect to the distance dIntW ∩Zk , where IntW is the interior
of W . It follows from Lemma 6.3 that for any x ∈ X and n ∈ Zk with IntL0 W (x, n) 6= ∅
ρ1 . . . ρk
Intr2 +N √k W (x, n) .
(6.11)
dim (P (−n + W (x, n)) × Q (#(x, n))) <
2
Recall that we introduced lattices Γ and Γ1 of Rk in Subsection 3.3. Applying Lemma
2.5 to the ε-embedding Π : (X, d[N ] ) → P and a map
k

X → RΓ∩[0,N ) ,

x 7→ (f (x)(λ))λ∈Γ∩[0,N )k ,
k

we can find a simplicial map F : P → RΓ∩[0,N ) satisfying
∀x ∈ X, λ ∈ Γ ∩ [0, N)k :

|F (Π(x)) (λ) − f (x)(λ)| < δ ′ .

We extend F over CP by F (tp) = tF (p). We define a simplicial map G : P × Q →
k
RΓ∩[−R,R) as follows: For p = (pn )n∈[−R,R)k ∩N Zk ∈ P, q ∈ Q, n ∈ [−R, R)k ∩ NZk and
λ ∈ Γ ∩ [0, N)k
G(p, q)(n + λ) = F (pn )(λ).
Using Lemma 2.6 (2), we perturb G and construct a simplicial map G : P × Q →
k
RΓ∩[−R,R) satisfying the following.
Property 6.5 (Properties on G).
(1) G is sufficiently close to G in the sense that for
all (p, q) ∈ P × Q and λ ∈ Γ ∩ [−R, R)k
|G(p, q)(λ) − G(p, q)(λ)| < δ ′ −

sup
x∈X,λ∈Γ∩[0,N )k

|F (Π(x)) (λ) − f (x)(λ)| .

This implies that for all convex sets W ⊂ [−R, R)k , x ∈ X and q ∈ Q
∀λ ∈ Γ ∩ IntN √k W :

|G (ΠW (x), q) (λ) − f (x)(λ)| < δ ′ .

54

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

(2) If a convex set W ⊂ [−R, R)k , i ≥ 0 and a subset Λ ⊂ Γ ∩ [−R, R)k satisfy
dim (P(W ) × Q(i)) <

|Λ|
,
2

then the map
P(W ) × Q(i) → RΛ ,

(p, q) 7→ G(p, q)|Λ

is an embedding.
Now we are ready to prove the main proposition.
Proof of Proposition 3.1. We choose continuous functions β1 , β2 : R → [0, 1] satisfying
β1 (t) = 0 (t ≤ r0 ), β1 (t) = 1 (t ≥ r0 + 1),


√ 
√ 
β2 (t) = 0
t ≤ N k , β2 (t) = 1
t ≥ r0 + N k .
S
Let x ∈ X. Recall that we introduced ∂(x) = n∈Zk ∂W (x, n). We define px : Γ1 → [0, 1]
and ux = (ux (λ))λ∈Γ1 ∈ ℓ∞ (Γ1 ) as follows: For λ ∈ Γ1
• If there exists n ∈ Zk satisfying λ ∈ (n + Γ) ∩ W (x, n) then
px (λ) =β1 (d(λ, ∂(x))) ,
ux (λ) =β2 (d(λ, ∂(x))) {−f (x)(λ)



+ G Π−n+W (x,n)(T n x), wm (x, n) · π(T n+m x) m∈[−R,R)k ∩Zk (λ − n)}.

• Otherwise we set px (λ) = 0 and ux (λ) = 0.

px is an admissible function in the sense of Definition 4.2 (2). It follows from Property
6.5 (1) with f (x)(λ) = f (T n x)(λ − n) that
(6.12)

||ux ||∞ < δ ′ .

Since the tiles W (x, n) and the weight functions w(x, n) depend continuously on x ∈ X,
the numbers px (λ) and ux (λ) depend continuously on x for each fixed λ ∈ Γ1 . We set
g1 (x) = f (x) + Ψ(px , ux ) ∈ B(a1 , . . . , ak )
where Ψ is the interpolating function introduced in Section 4. By the continuity of Ψ
(Proposition 4.9), g1 (x) depends continuously on x ∈ X. Since the tiles W (x, n) and
the weight functions w(x, n) satisfy the natural Zk -equivariance, px (λ) and ux (λ) also
satisfy the Zk -equivariance (i.e. pT n x (λ) = px (λ + n) and uT n x (λ) = ux (λ + n)). The
interpolating function Ψ also satisfies it (Lemma 4.7 (3)). Therefore the map X ∋ x 7→
g1 (x) ∈ B1 (a1 , . . . , ak ) is Zk -equivariant. By Lemma 4.7 (2) and (6.12)
(6.13)

||g1 (x) − f (x)||L∞ (Rk ) = ||Ψ(px , ux )||L∞ (Rk )
< 2K0 δ ′ <

δ
2

(we assumed 4K0 δ ′ < δ in (6.1)) .

EMBEDDING PROBLEM OF Zk -ACTIONS

55

Let ΦA,L0 ,L (x) = (Φ(x)1 , . . . , Φ(x)k ) : Ck → Ck be the tiling-like band-limited map
introduced in Subsection 5.4 for the parameters A, L0 , L in Notation 6.2. We define
g2 (x) : Rk → R by
!
k
X
δ
Re
Φ(x)i .
g2 (x) =
2kK1
i=1
√
It follows from ||Φ(x)||L∞ (Rk ) ≤ kK1 (Lemma 5.14 (1)) that
δ
||g2 (x)||L∞ (Rk ) ≤ .
2
By Lemma 5.14 (2) with L > 4/δ, the Fourier transform of each Φ(x)i |Rk is supported in
i−1 
 
k−i

δ δ
δ δ
ai ai δ
def
× − ,
∆i = − ,
×
, (1 ≤ i ≤ k).
, +
4 4
2 2
2
4 4
(6.14)

Then the Fourier transform of g2 (x) is supported in
(6.15)

k
[

i=1

∆i ∪ (−∆i ),

(−∆i = {−ξ| ξ ∈ ∆i }).

Q
This is contained in ki=1 [−(ai + δ)/2, (ai + δ)/2]. So g2 (x) ∈ B(a1 + δ, . . . , ak + δ). The
map X ∋ x 7→ g2 (x) ∈ B(a1 + δ, . . . , ak + δ) is continuous and Zk -equivariant by the
corresponding properties of Φ(x) in Lemma 5.14 (3) and (4).
Finally we set g(x) = g1 (x) + g2 (x). By (6.13) and (6.14)
||f (x) − g(x)||L∞ (Rk ) < δ.
In particular ||g(x)||L∞ (Rk ) < 1 by the assumption ||f (x)||L∞ (Rk ) ≤ 1 − δ in the beginning
of the section. The map
X ∋ x 7→ g(x) ∈ B1 (a1 + δ, . . . , ak + δ)
is continuous and Zk -equivariant.
We need to prove that g : X → B1 (a1 + δ, . . . , ak + δ) is a δ-embedding with respect to
d. Suppose g(x) = g(y) for some x, y ∈ X. We would like to show d(x, y) < δ. It follows
from g(x) = g(y) that g1 (x) = g1 (y) and g2 (x) = g2 (y) because the Fourier transforms
Q
of g1 (x) and g1 (y) are supported in ki=1 [−ai /2, ai /2], which is disjoint with (6.15). The
equation g2 (x) = g2 (y) implies Φ(x)i = Φ(y)i for all 1 ≤ i ≤ k because 2k sets ∆i and −∆i
are disjoint with each other. So Φ(x) = Φ(y). Then it follows that W (x, n) = W (y, n)
and w(x, n) = w(y, n) for all n ∈ Zk because the tiles W (x, n) and the weight functions
w(x, n) are constructed from the tiling-like band-limited map Φ(x).
Case 1: Suppose d (0, ∂(x)) > L0 . Then there exists n ∈ Zk satisfying 0 ∈ IntL0 W (x, n).
For all λ ∈ (n + Γ) ∩ Intr0 +N √k W (x, n)
px (λ) = 1,




ux (λ) = −f (x)(λ) + G Π−n+W (x,n)(T n x), wm (x, n) · π(T n+m x) m∈[−R,R)k ∩Zk (λ − n).

56

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

It follows from the interpolation property of Ψ in Lemma 4.7 (1) that for all λ ∈ (n +
Γ) ∩ Intr0 +N √k W (x, n)



g1 (x)(λ) = G Π−n+W (x,n)(T n x), wm (x, n) · π(T n+m x) m∈[−R,R)k ∩Zk (λ − n),
(6.16)



g1 (y)(λ) = G Π−n+W (y,n) (T n y), wm (y, n) · π(T n+m y) m∈[−R,R)k ∩Zk (λ − n).
From IntL0 W (x, n) 6= ∅ (because 0 ∈ IntL0 W (x, n)) and (6.11)
ρ1 . . . ρk
dim (P (−n + W (x, n)) × Q (#(x, n))) <
Intr2 +N √k W (x, n)
2

1
≤ # Γ ∩ −n + Intr0 +N √k W (x, n) ,
2

s
X
by r2 = r0 +
(1/ρi )2 in (6.6) .
i

Therefore by Property 6.5 (2) the map
(6.17)

P (−n + W (x, n)) × Q (#(x, n)) → R


Γ∩ −n+Intr

(p, q) 7→ G(p, q)|Γ∩−n+Int

r0 +N

0 +N

√

√

k


W (x,n)


k W (x,n)

is an embedding. Thus g1 (x) = g1 (y) implies that Π−n+W (x,n)(T n x) = Π−n+W (y,n) (T n y).
Recall that the map Π−n+W (x,n) is an ε-embedding with respect to the distance d−n+IntW (x,n) .
It follows from 0 ∈ IntL0 W (x, n) that −n ∈ −n + IntW (x, n). Thus we get
d(x, y) ≤ d−n+IntW (x,n) (T n x, T n y) < ε < δ.
Case 2: Suppose d (0, ∂(x)) ≤ L0 . It follows from Proposition 5.16 (3) and (4) that
there exists n ∈ BR0 ∩ Zk satisfying IntL0 W (x, n) 6= ∅ and w−n (x, n) = w−n (y, n) = 1. As
in Case 1, we have the same formula (6.16) for all λ ∈ (n + Γ) ∩ Intr0 +N √k W (x, n). The
map (6.17) is also an embedding. Then the equation g1 (x) = g1 (y) implies that


wm (x, n) · π(T n+m x) m∈[−R,R)k ∩Zk = wm (y, n) · π(T n+m y) m∈[−R,R)k ∩Zk .

Since w−n (x, n) = w−n (y, n) = 1, we get π(x) = π(y). Thus d(x, y) < ε < δ because
π : X → Q is an ε-embedding with respect to d.

Now we have completed the proof of Main Theorem 2 (and hence the proof of Main
Theorem 1).
7. Open problems
Here we explain major open problems in the direction of the paper.

(1) From Main Theorem 1, we have a good understanding of when dynamical systems
Zk
under the assumption of the marker property. So
can be embedded in [0, 1]D
the next step is how to remove the assumption. We would like to propose

EMBEDDING PROBLEM OF Zk -ACTIONS

57

Conjecture 7.1. Let (X, Zk , T ) be a dynamical system. For a subgroup A ⊂ Zk
we define XA ⊂ X as the space of x ∈ X satisfying T a x = x for all a ∈ A. The
quotient group Zk /A naturally acts on XA . Then X can be embedded in the shift
Zk
if for every subgroup A ⊂ Zk the mean dimension of XA with respect
on [0, 1]D
to the (Zk /A)-action is smaller than D/2.
If Zk /A is a finite group, then the mean dimension of XA is just
dim XA
.
#(Zk /A)
When k = 1, Conjecture 7.1 is equivalent to [LT14, Conjecture 1.2]. Notice that
Zk
then for any subgroup A ⊂ Zk the system YA is naturally
if we set Y = [0, 1]D
k

Z /A
identified with [0, 1]D
, whose mean dimension is D. So Conjecture 7.1 can
k
be rephrased; if (X, Z , T ) satisfies
∀ subgroup A ⊂ Zk :

mdim(XA ) <

mdim(YA )
,
2

Zk
then it can be embedded in Y = [0, 1]D .
(2) Let Ω ⊂ Rk be a compact subset. We define B1 (Ω) as the space of continuous
functions f : Rk → C satisfying suppfˆ ⊂ Ω and ||f ||L∞ (Rk ) ≤ 1. The mean
dimension of the natural Zk -action on B1 (Ω) is equal to 2|Ω|. (Here notice that
f are complex-valued functions. The factor 2 comes from dim C = 2.) We would
like to ask when a dynamical system (X, Zk , T ) can be embedded in the shift on
B1 (Ω). By almost the same argument as the proof of Main Theorem 2, we can
prove
Theorem 7.2. Suppose Ω is a rectangle (i.e. congruent to a set [a1 , b1 ] × · · · ×
[ak , bk ]). If a dynamical system (X, Zk , T ) satisfies the marker property and
mdim(X) < |Ω| = (b1 − a1 ) × · · · × (bk − ak ),
then we can embed it in the shift on B1 (Ω).
The proof of this theorem is notationally more messy than the proof of Main
Theorem 2. So we concentrate on Main Theorem 2 in this paper.
If Ω is not a rectangle, then the method of this paper does not work directly.
Nevertheless, it seems reasonable to conjecture that if Ω is a “nice” set (e.g. a semialgebraic set) and if a dynamical system (X, Zk , T ) satisfies the marker property
and
mdim(X) < |Ω|
then X can be embedded in the shift on B1 (Ω). We hope to return to this problem
in a future.

58

YONATAN GUTMAN, YIXIAO QIAO, MASAKI TSUKAMOTO

(3) An ambitious question is how to generalize Main Theorems 1 and 2 to the actions
of noncommutative groups. In particular it is very interesting to see what kind
of signal analysis should be involved. We don’t have an answer even for nilpotent
groups.

References
[Aus88] J. Auslander, Minimal flows and their extensions, North-Holland, Amsterdam, 1988.
[Beu89] Collected works of Arne Beurling, Vol. 2, Harmonic Analysis, Edited by L. Carleson, P. Malliavan,
J. Neuberger, and J. Wermer, Birkhäuser, Boston-Basel-Berlin, 1989.
[CS72] M. Cornalba, B. Shiffman, A couterexample to the “Transcendental Bezout Problem”. Ann. of
Math. 96 (1972) 402-406.
[CT06] T.M. Cover, J.A. Thomas, Elements of information theory, second edition, Wiley, New York,
2006.
[DM72] H. Dym, H.P. McKean, Fourier series and integrals, Academic Press, New York-London, 1972.
[Gro99] M. Gromov, Topological invariants of dynamical systems and spaces of holomorphic maps: I,
Math. Phys. Anal. Geom. 2 (1999) 323-415.
[Gut12] Y. Gutman, Mean dimension and Jaworski-type theorems, Proceedings of the London Mathematical Society 111(4) (2015) 831-850.
[GLT16] Y. Gutman, E. Lindenstrauss, M. Tsukamoto, Mean dimension of Zk -actions, Geom. Funct.
Anal. 26 Issue 3 (2016) 778-817.
[GT] Y. Gutman , M. Tsukamoto, Embedding minimal dynamical systems into Hilbert cubes, preprint,
arXiv:1511.01802.
[Hay64] W.K. Hayman, Meromorphic functions, Clarendon Press, Oxford, 1964.
[HW41] W. Hurewicz, H. Wallman, Dimension theory, Princeton University Press, 1941.
[Hat02] A. Hatcher, Algebraic topology, Cambridge University Press, 2002.
[Jaw74] A. Jaworski, Ph.D. Thesis, University of Maryland (1974).
[Lig03] S.J. Lightwood, Morphisms from non-periodic Z2 -subshifts. I. Constructing embeddings from
homomorphisms, Ergodic Theory Dynam. Systems 23 (2003) 587–609.
[Lig04] S.J. Lightwood, Morphisms from non-periodic Z2 subshifts. II. Constructing homomorphisms to
square-filling mixing shifts of finite type. Ergodic Theory Dynam. Systems 24 (2004) 1227–1260.
[Lin99] E. Lindenstrauss, Mean dimension, small entropy factors and an embedding theorem, Inst. Hautes
Études Sci. Publ. Math. 89 (1999) 227-262.
[LT14] E. Lindenstrauss, M. Tsukamoto, Mean dimension and an embedding problem: an example, Israel
J. Math. 199 (2014) 573-584.
[LW00] E. Lindenstrauss, B. Weiss, Mean topological dimension, Israel J. Math. 115 (2000) 1-24.
[NW14] J. Noguchi, J. Winkelmann, Nevanlinna theory in several complex variables and Diophantine
approximation, Springer, Tokyo, 2014.
[OU12] A. Olevskii, A. Ulanovskii, On multi-dimensional sampling and interpolation, Anal. Math. Phys.
2 (2012) 149-180
[Sch66] L. Schwartz, Théorie des distributions, Hermann, Paris, 1966.
[Sha48] C.E. Shannon, A mathematical theory of communication, Bell Syst. Tech. J. 27 (1948) 379-423,
623-656.
[Spa66] E.H. Spanier, Algebraic topology, Springer-Verlag, New York, 1966.

EMBEDDING PROBLEM OF Zk -ACTIONS

Yonatan Gutman
Institute of Mathematics, Polish Academy of Sciences, ul.
Warszawa, Poland
E-mail address: y.gutman@impan.pl

59

Śniadeckich 8, 00-656

Yixiao Qiao
Institute of Mathematics, Polish Academy of Sciences, ul. Śniadeckich 8, 00-656
Warszawa, Poland – and – Department of Mathematics, University of Science and Technology of China, Hefei, Anhui 230026, P.R. China
E-mail address: yxqiao@mail.ustc.edu.cn
Masaki Tsukamoto
Department of Mathematics, Kyoto University, Kyoto 606-8502, Japan
E-mail address: tukamoto@math.kyoto-u.ac.jp

