Abstract
This paper deals with the dynamics of discretizations of isometries of \(\mathbf {R}^n\), and more precisely the density of the successive images of \(\mathbf {Z}^n\) by the discretizations of a generic sequence of isometries. We show that this density tends to 0 as the time goes to infinity. Thus, in general, all the information of a numerical image will be lost by applying many times a naive algorithm of rotation.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
1 Introduction
In this paper, we consider the dynamical behaviour of the discretizations of (linear) isometries of a real and finite dimensional vector space \(\mathbf {R}^n\). The goal is to understand how it is possible to rotate a numerical image (made of pixels) with the smallest loss of quality as possible. For example, in Fig. 1, we have applied 10 successive random rotations to a \(220\times 282\) pixels picture, using the software Gimp (linear interpolation algorithm). These discretized rotations induce a very strong blur in the resulting image.
Here, we consider the simplest algorithm that can be used to perform a discrete rotation: discretizing the rotation. More precisely, if \(x\in \mathbf {Z}^2\) is a integer point (representing a pixel), then the image of x by the discretization of a rotation R will be the integer point which is the closest of R(x). More precisely, in the general case of isometries we will use the following definition of a discretization.
Definition 1
We define the projection \(p : \mathbf {R}\rightarrow \mathbf {Z}\) such that for every \(x\in \mathbf {R}\), p(x) is the unique integer \(k\in \mathbf {Z}\) such that \(k-1/2 < x \le k + 1/2\) (in other words, \(p(x) = \left\lfloor x+11/2 \right\rfloor \)). This projection induces the map
which is an Euclidean projection on the lattice \(\mathbf {Z}^n\). For \(P\in O_n(\mathbf {R})\) (the set of linear isometries of \(\mathbf {R}^n\)), we denote by \(\widehat{P}\) the discretization of P, defined by
We will measure the loss of information induced by the action of discretizing by the density of the image set. More precisely, given a sequence \((P_k)_{k\ge 1}\) of linear isometries of \(\mathbf {R}^n\), we will look for the density of the set \(\varGamma _k = (\widehat{P_k}\circ \cdots \circ \widehat{P_1})(\mathbf {Z}^n)\).
Definition 2
For \(A_1,\cdots ,A_k \in O_n(\mathbf {R})\), the rate of injectivity in time k of this sequence is the quantity
where \(B_R\) denotes the infinite ball of radius R centered at 0 and \([B_R]\) the set of integral points (i.e. with integer coordinates) inside \(B_R\). For an infinite sequence \((P_k)_{k\ge 1}\) of isometries, as the previous quantity is decreasing, we can define the asymptotic rate of injectivity
An example of the sets \(\varGamma _k\) for a random draw of isometries \(P_m\) is presented on Fig. 2. In particular, we observe that the density of these sets seems to decrease when k goes to infinity: the images get whiter and whiter.
This phenomenon is confirmed when we plot the density of the intersection between these image sets \(\varGamma _k\) and a big ball of \(\mathbf {R}^n\) (see Fig. 3): this density seems to tend to 0 as the time k goes to infinity.
We would like to explain theoretically this phenomenon. Of course, if we take \(P_m = {\text {Id}}\), then we will have \(\varGamma _k = \mathbf {Z}^n\) and the rates of injectivity will be equal to 0. To avoid this kind of “exceptional cases”, we will study the asymptotic rate of injectivity of a generic sequence of matrices of \(O_n(\mathbf {R})\), in the following sense.
Definition 3
We fix once for all a norm \(\Vert \cdot \Vert \) on \(M_n(\mathbf {R})\). For any sequence \((P_k)_{k\ge 1}\) of matrices of \(O_n(\mathbf {R})\), we set
In other words, we consider the space \(\ell ^\infty (O_n(\mathbf {R}))\) of uniformly bounded sequences of linear isometries endowed with this natural metric.
This metric is complete, thus there is a good notion of genericity on the set of linear isometries: a set \(\mathcal U\subset (O_n(\mathbf {R}))^\mathbf {N}\) is generic if it is a countable intersection of open and dense subsets of \(\ell ^\infty (O_n(\mathbf {R}))\). The main theorem of this paper studies the asymptotic rate of injectivity in this context.
Theorem 1
Let \((P_k)_{k\ge 1}\) be a generic sequence of matrices of \(O_n(\mathbf {R})\). Then \(\tau ^\infty ((P_k)_k) = 0\).
The proof of this theorem will even show that for every \(\varepsilon >0\), there exists an open and dense subset of \(\ell ^\infty (O_n(\mathbf {R}))\) on which \(\tau ^\infty \) is smaller than \(\varepsilon \). This theorem expresses that for “most of” the sequences of isometries, the loss of information is total. Thus, for a generic sequence of rotations, with the naive algorithm of discretization, we will not be able to avoid the blur observed in Fig. 1.
Note that we do not know what is the rate of injectivity of a sequence of isometries made of independent identically distributed random draws (for example with respect to the Haar measure on \(O_n(\mathbf {R})\)).
The proof of Theorem 1 will be the occasion to study the structure of the image sets \(\varGamma _k = (\widehat{P_k}\circ \cdots \circ \widehat{P_1})(\mathbf {Z}^n)\). It appears that there is a kind of “regularity at infinity” in \(\varGamma _k\). More precisely, this set is an almost periodic pattern: roughly speaking, for R large enough, the set \(\varGamma _k \cap B_R\) determines the whole set \(\varGamma _k\) up to an error of density smaller than \(\varepsilon \) (see Definition 6). We prove that the image of an almost periodic pattern by the discretization of a linear map is still an almost periodic pattern (Theorem 2); thus, the sets \(\varGamma _k\) are almost periodic patterns.
The idea of the proof of Theorem 1 is to take advantage of the fact that for a generic sequence of isometries, we have a kind of independence of the coefficients of the matrices. Thus, for a generic isometry \(P\in O_n(\mathbf {R})\), the set \(P(\mathbf {Z}^n)\) is uniformly distributed modulo \(\mathbf {Z}^n\). We then remark that the local pattern of the image set \(\widehat{P}(\mathbf {Z}^n)\) around \(\widehat{P}(x)\) is only determined by P and the remainder of Px modulo \(\mathbf {Z}^n\): the global behaviour of \(\widehat{P}(\mathbf {Z}^n)\) is coded by the quotient \(\mathbf {R}^n/\mathbf {Z}^n\). This somehow reduces the study to a local problem.
As a first application of this remark, we state that the rate of injectivity in time 1 can be seen as the area of an intersection of cubes (Proposition 2). This observation is one of the two keys of the proof of Theorem 1, the second one being the study of the action of the discretizations \(\widehat{P}\) on the frequencies of differences \(\rho _{\varGamma _k}(v) = D\big (({\varGamma _k}-v)\cap {\varGamma _k}\big )\). Indeed, if there exists a set \(\varGamma '\subset \varGamma \) of positive density, together with a vector v such that for every \(x\in \varGamma '\), we have \(\widehat{P}(x) = \widehat{P}(x+v)\), then we will have \(D(\widehat{P}(\varGamma )) \le D(\widehat{P})-D(\varGamma ')\). This study of the frequencies of differences will include a Minkowski-type theorem for almost-periodic patterns (Theorem 4).
The particular problem of the discretization of linear maps has been quite little studied. To our knowledge, what has been made in this direction has been initiated by image processing. One wants to avoid phenomenons like loss of information (due to the fact that discretizations of linear maps are not injective) or aliasing (the apparition of undesirable periodic patterns in the image, due for example to a resonance between a periodic pattern in the image and the discretized map). To our knowledge, the existing studies are mostly interested in the linear maps with rational coefficients (see for example [8, 11] or [9]), including the specific case of rotations (see for example [1, 2, 12–14]). These works mainly focus on the local behaviour of the images of \(\mathbf {Z}^2\) by discretizations of linear maps: given a radius R, what pattern can follow the intersection of this set with any ball of radius R? What is the number of such patterns, what are their frequencies? Are they complex (in a sense to define) or not? Are these maps bijections? In particular, the thesis [12] of B. Nouvel gives a characterization of the angles for which the discrete rotation is a bijection (such angles are countable and accumulate only on 0). Our result complements that of B. Nouvel: on the one hand it expresses that a generic sequence of discretizations is far from being a bijection, and on the other hand this remains true in any dimension.
Note that Theorem 1 will be generalized to the case of matrices of determinant 1 in [5], with more sophisticated techniques (see also [6]).
2 Almost Periodic Sets
In this section, we introduce the basic notions that we will use during the study of discretizations of isometries of \(\mathbf {R}^n\).
We fix once for all an integer \(n\ge 1\). We will denote by \(\llbracket a, b \rrbracket \) the integer segment \([a,b]\cap \mathbf {Z}\). In this part, every ball will be taken with respect to the infinite norm; in particular, for \(x = (x_1,\cdots ,x_n)\), we will have
We will also denote \(B_R = B(0,R)\). Finally, we will denote by \(\lfloor x \rfloor \) the biggest integer that is smaller than x and \(\lceil x \rceil \) the smallest integer that is bigger than x. For a set \(B\subset \mathbf {R}^n\), we will denote \([B] = B\cap \mathbf {Z}^n\).
2.1 Almost Periodic Patterns: Definitions and First Properties
In this subsection, we define the notion of almost periodic pattern and prove that these sets possess a uniform density.
Definition 4
Let \(\varGamma \) be a subset of \(\mathbf {R}^n\).
-
We say that \(\varGamma \) is relatively dense if there exists \(R_\varGamma >0\) such that each ball with radius at least \(R_\varGamma \) contains at least one point of \(\varGamma \).
-
We say that \(\varGamma \) is a uniformly discrete if there exists \(r_\varGamma >0\) such that each ball with radius at most \(r_\varGamma \) contains at most one point of \(\varGamma \).
The set \(\varGamma \) is called a Delone set (see for instance [10]) if it is both relatively dense and uniformly discrete.
Definition 5
For a discrete set \(\varGamma \subset \mathbf {R}^n\) and \(R\ge 1\), we define the uniform R-density:
and the uniform upper density:
Remark that if \(\varGamma \subset \mathbf {R}^n\) is Delone for the parameters \(r_\varGamma \) and \(R_\varGamma \), then its upper density satisfies:
We can now define the notion of almost periodic pattern that we will use throughout this paper. Roughly speaking, an almost periodic pattern \(\varGamma \) is a set for which there exists a relatively dense set of translations of \(\varGamma \), where a vector v is a translation of \(\varGamma \) if \(\varGamma -v\) is equal to \(\varGamma \) up to a set of upper density smaller than \(\varepsilon \). More precisely, we state the following definition.
Definition 6
A Delone set \(\varGamma \subset \mathbf {Z}^n\) is an almost periodic pattern if for every \(\varepsilon >0\), there exists \(R_\varepsilon >0\) and a relatively dense set \(\mathcal N_\varepsilon \), called the set of \(\varepsilon \) -translations of \(\varGamma \), such that
Of course, every lattice, or every finite union of translates of a given lattice, is an almost periodic pattern. We will see in next subsection a large class of examples of almost periodic patterns: images of \(\mathbf {Z}^n\) by discretizations of linear maps.
We end this introduction to almost periodic patterns by stating that the notion of almost periodic pattern is invariant under discretizations of linear isometries: the image of an almost periodic pattern by the discretization of a linear isometry is still an almost periodic pattern.
Theorem 2
Let \(\varGamma \subset \mathbf {Z}^n\) be an almost periodic pattern and \(P\in O_n(\mathbf {R})\). Then the set \(\widehat{P}(\varGamma )\) is an almost periodic pattern.
This implies that, given a sequence \((P_k)_{k\ge 1}\) of isometries of \(\mathbf {R}^n\), the successive images \((\widehat{P_k}\circ \cdots \circ \widehat{P_1})(\mathbf {Z}^n)\) are almost periodic patterns. See Fig. 2 for an example of the successive images of \(\mathbf {Z}^2\) by a random sequence of bounded matrices of \(O_2(\mathbf {R})\). The proof of Theorem 2 will be done in Appendix B. Examples of sets \(\widehat{P}(\mathbf {Z}^2)\) for various rotations P can be found in Fig. 4, where the almost periodicity is patent. Remark that Theorem 2 implies that the limsup in Eq. (2) is in fact a limit, which remains the same if in Eq. (1) we consider an inf instead of a sup (see [7]).
2.2 Differences in Almost Periodic Patterns
We will need to understand how behave the differences in an almost periodic pattern \(\varGamma \), i.e. the vectors \(x-y\) with \(x,y\in \varGamma \). In fact, we will study the frequency of appearance of these differences.
Definition 7
For \(v\in \mathbf {Z}^n\), we set
the frequency of the difference v in the almost periodic pattern \(\varGamma \).
Studying frequencies of differences allows to focus on the global behaviour of an almost periodic set. The function \(\rho _\varGamma \) is itself almost periodic in the sense given by H. Bohr (see [3]).
Definition 8
Let \(f : \mathbf {Z}^n\rightarrow \mathbf {R}\). Denoting by \(T_v\) the translation of vector v, we say that f is Bohr almost periodic (also called uniformly almost periodic) if for every \(\varepsilon >0\), the set
is relatively dense.
If \(f: \mathbf {Z}^n\rightarrow \mathbf {R}\) is a Bohr almost periodic function, then it possesses a mean \(\mathcal M(f)\) (see for example the historical paper of H. Bohr [3, Satz VIII]), which satisfies: for every \(\varepsilon >0\), there exists \(R_0>0\) such that for every \(R\ge R_0\) and every \(x\in \mathbf {R}^n\), we have
The fact that \(\rho _\varGamma \) is Bohr almost periodic is straightforward.
Lemma 1
If \(\varGamma \) is an almost periodic pattern, then the function \(\rho _\varGamma \) is Bohr almost periodic.
In fact, we can compute precisely the mean of \(\rho (\varGamma )\).
Proposition 1
If \(\varGamma \) is an almost periodic pattern, then we have
The proof of this proposition will be done in Appendix A.
We now state a Minkowski-type theorem for the map \(\rho _\varGamma \). To begin with, we recall the classical Minkowski theorem (see for example the book [4]).
Theorem 3
(Minkowski). Let \(\varLambda \) be a lattice of \(\mathbf {R}^n\), \(k\in \mathbf {N}\) and \(S\subset \mathbf {R}^n\) be a centrally symmetric convex body. If \({\text {Leb}}(S/2) > k\, {\text {covol}}(\varLambda )\), then S contains at least 2k distinct points of \(\varLambda {\setminus }\{0\}\).
Theorem 4
Let \(\varGamma \subset \mathbf {Z}^n\) be an almost periodic pattern of density \(D(\varGamma )\). Let S be a centrally symmetric body, with \({\text {Leb}}(S)> 4^nk\). If for every \(v\in S\cap \mathbf {Z}^n\), we have \(\rho _\varGamma (v)<\rho _0\), then
In particular, if \(k\ge \frac{1}{D(\varGamma )}\), then there exists \(x\in C\cap \mathbf {Z}^n\) such that \(\rho _\varGamma (x)\ge \frac{D(\varGamma )}{2}\).
Proof
(of Theorem 4 ). Minkowski theorem (Theorem 3) asserts that S / 2 contains at least \(2k+1\) distinct points of \(\mathbf {Z}^n\), denoted by \(u^i\). By the hypothesis on the value of \(\rho _\varGamma \) on S, and because the set of differences of S / 2 is included in S, we know that the density of \((\varGamma + u^i)\cap (\varGamma +u^j)\) is smaller than \(\rho _0 D(\varGamma )\). Thus,
The theorem then follows from the fact that the left member of this inequality is smaller than 1. \(\square \)
3 Rate of Injectivity of Isometries
We now focus in more detail on the rate of injectivity of a sequence of isometries (see Definition 2).
3.1 A Geometric Viewpoint on the Rate of Injectivity
In this subsection, we present a geometric construction to compute the rate of injectivity of a generic matrix, and some applications of it.
Let \(P\in O_n(\mathbf {R})\) and \(\varLambda = P(\mathbf {Z}^n)\). The density of \(\pi (\varLambda )\) is the proportion of \(x\in \mathbf {Z}^n\) belonging to \(\pi (\varLambda )\); in other words the proportion of \(x\in \mathbf {Z}^n\) such that there exists \(\lambda \in \varLambda \) whose distance to x (for \(\Vert \cdot \Vert _\infty \)) is smaller than 1 / 2. remark that this property only depends on the value of x modulo \(\varLambda \). If we consider the union
of balls of radius 1 / 2 centred on the points of \(\varLambda \) (see Fig. 5), then \(x\in \pi (\varLambda )\) if and only if \(x\in U\cap \mathbf {Z}^n\). So, if we set \(\nu \) the measure of repartition of the \(x\in \mathbf {Z}^n\) modulo \(\varLambda \), that is
then we obtain the following formula.
Proposition 2
For every \(P\in O_n(\mathbf {R})\) (we identify U with its projection of \(\mathbf {R}^n/\varLambda \)),
An even more simple formula holds when the matrix P is totally irrational.
Definition 9
We say that a matrix \(P\in O_n(\mathbf {R})\) is totally irrational if the image \(P(\mathbf {Z}^n)\) is equidistributedFootnote 1 modulo \(\mathbf {Z}^n\); in particular, this is true when the coefficients of P form a \(\mathbf {Q}\)-free family.
If the matrix P is totally irrational, then the measure \(\nu \) is the uniform measure. Thus, if \(\mathcal D\) is a fundamental domain of \(\mathbf {R}^n/\varLambda \), then \(\tau (P)\) is the area of \(\mathcal D \cap U\). We call the area of \(\mathcal D \cap U\) the mean rate of injectivity of P and denote it by \(\overline{\tau }(P)\).
With the same kind of arguments, we easily obtain a formula for \(\rho _{\widehat{P}(\mathbf {Z}^n)}(v)\) (the frequency of the difference v in \(\widehat{P}(\mathbf {Z}^n)\), see Definition 7).
Proposition 3
If \(P\in GL_n(\mathbf {R})\) is totally irrational, then for every \(v\in \mathbf {Z}^n\),
Proof
(Sketch of proof of Proposition 3 ). We want to know which proportion of points \(x\in \varGamma = \widehat{P}(\mathbf {Z}^n)\) are such that \(x+v\) also belongs to \(\varGamma \). But modulo \(\varLambda = P(\mathbf {Z}^n)\), x belongs to \(\varGamma \) if and only if \(x\in B(0,1/2)\). Similarly, \(x+v\) belongs to \(\varGamma \) if and only if \(x\in B(-v,1/2)\). Thus, by equirepartition, \(\rho _{\widehat{P}(\mathbf {Z}^n)}(v)\) is equal to the area of \(B(v,1/2) \cap U\). \(\square \)
From Proposition 2, we deduce the continuity of \(\overline{\tau }\). More precisely, \(\overline{\tau }\) is continuous and piecewise polynomial of degree smaller than n; moreover \(\tau \) coincides with a continuous function on a generic subset of \(O_n(\mathbf {R})\).
It also allows to compute simply the mean rate of injectivity of some examples of matrices: for \(\theta \in [0,\pi /2]\), the mean rate of injectivity of a rotation of \(\mathbf {R}^2\) of angle \(\theta \) is (see Figs. 5 and 6).
In particular, in the neighbourhoods of all the nontrivial angles on which the discrete rotation is bijective (see [12, 13]), most of the rotations have a rate of injectivity bounded away from 1.
3.2 Diffusion Process
In this paragraph, we study the action of a discretization of a matrix on the set of differences of an almost periodic pattern \(\varGamma \); more precisely, we study the link between the functions \(\rho _\varGamma \) and \(\rho _{\widehat{P}(\varGamma )}\).
For \(u\in \mathbf {R}^n\), we define the function \(\varphi _u\), which is a “weighted projection” of u on \(\mathbf {Z}^n\).
Definition 10
Given \(u\in \mathbf {R}^n\), the function \(\varphi _u = \mathbf {Z}^n\rightarrow [0,1]\) is defined by
In particular, the function \(\varphi _u\) satisfies \(\sum _{v\in \mathbf {Z}^n} \varphi _u(v) = 1\), and is supported by the vertices of the integral unit cubeFootnote 2 that containsFootnote 3 u. Figure 7 gives a geometric interpretation of this function \(\varphi _u\).
The following property asserts that the discretization \(\widehat{P}\) acts “smoothly” on the frequency of differences. In particular, when \(D(\varGamma ) = D(\widehat{P} \varGamma )\), the function \(\rho _{\widehat{P} \varGamma }\) is obtained from the function \(\rho _\varGamma \) by applying a linear operator \(\mathcal A\), acting on each Dirac function \(\delta _v\) such that \(\mathcal A \delta _u(v) = \varphi _{P(u)}(v)\). Roughly speaking, to compute \(\mathcal A \delta _v\), we take \(\delta _{Pv}\) and apply a diffusion process. In the other case where \(D(\widehat{P} \varGamma ) < D(\varGamma )\), we only have inequalities involving the operator \(\mathcal A\) to compute the function \(\rho _{\widehat{P}\varGamma }\).
Proposition 4
Let \(\varGamma \subset \mathbf {Z}^n\) be an almost periodic pattern and \(P\in O_n(\mathbf {R})\) be a generic matrix.
-
(i)
If \(D(\widehat{P}(\varGamma )) = D(\varGamma )\), then for every \(u\in \mathbf {Z}^n\),
$$ \rho _{\widehat{P}(\varGamma )}(u) = \sum _{v\in \mathbf {Z}^n} \varphi _{P(v)} (u) \rho _\varGamma (v). $$ -
(ii)
In the general case, for every \(u\in \mathbf {Z}^n\), we have
$$ \frac{D(\varGamma )}{D(\widehat{P}(\varGamma ))}\sup _{v\in \mathbf {Z}^n} \varphi _{P(v)} (u) \rho _\varGamma (v) \le \rho _{\widehat{P}(\varGamma )}(u) \le \frac{D(\varGamma )}{D(\widehat{P}(\varGamma ))}\sum _{v\in \mathbf {Z}^n} \varphi _{P(v)} (u) \rho _\varGamma (v). $$
Proof
(of Proposition 4 ). We begin by proving the first point of the proposition. Suppose that \(P\in O_n(\mathbf {R})\) is generic and that \(D(\widehat{P}(\varGamma )) = D(\varGamma )\). Let \(x\in \varGamma \cap (\varGamma -v)\). We consider the projection \(y'\) of \(y=Px\), and the projection \(u'\) of \(u=Pv\), on the fundamental domain \(]-1/2,1/2]^n\) of \(\mathbf {R}^n/\mathbf {Z}^n\). We have
Suppose that \(y'\) belongs to the parallelepiped whose vertices are \((-1/2,\cdots ,-1/2)\) and \(u'\) (in bold in Fig. 8), then \(y'+u'\in [-1/2,1/2[^n\). Thus, \(\pi (P(x+v)) = \pi (Px) + \pi (Pv)\). The same kind of results holds for the other parallelepipeds whose vertices are \(u'\) and one vertex of \([-1/2,1/2[^n\).
We set \(\varGamma = \widehat{P}(\mathbf {Z}^n)\). The genericity of P ensures that for every \(v\in \mathbf {Z}^n\), the set \(\varGamma \cap (\varGamma -v)\), which has density \(D(\varGamma )\rho _\varGamma (v)\) (by definition of \(\rho _\varGamma \)), is equidistributed modulo \(\mathbf {Z}^n\) (by Lemma 4). Thus, the points \(x'\) are equidistributed modulo \(\mathbf {Z}^n\). In particular, the difference v will spread into the differences which are the support of the function \(\varphi _{Pv}\), and each of them will occur with a frequency given by \(\varphi _{Pv} (x) \rho _\varGamma (v)\). The hypothesis about the fact that the density of the sets does not decrease imply that the contributions of each difference of \(\varGamma \) to the differences of \(\widehat{P} (\varGamma )\) add.
In the general case, the contributions to each difference of \(\varGamma \) may overlap. However, applying the argument of the previous case, we can easily prove the second part of the proposition. \(\square \)
Remark 1
We also remark that:
-
(i)
the density strictly decreases (that is, \(D(\widehat{P}(\varGamma )) < D(\varGamma )\)) if and only if there exists \(v_0\in \mathbf {Z}^n\) such that \(\rho _\varGamma (v_0)>0\) and \(\Vert Pv_0\Vert _\infty <1\);
-
(ii)
if there exists \(v_0\in \mathbf {Z}^n\) such that
$$ \sum _{v\in \mathbf {Z}^n} \varphi _{P(v)} (v_0) \rho _\varGamma (v_0)>1, $$then the density strictly decreases by at least \(\sum _{v\in \mathbf {Z}^n} \varphi _{P(v)} (v_0) \rho _\varGamma (v_0)- 1\).
3.3 Rate of Injectivity of a Generic Sequence of Isometries
We now come to the proof of the main theorem of this paper (Theorem 1). We will begin by applying the Minkowski theorem for almost periodic patterns (Theorem 4), which gives one nonzero difference whose frequency is positive. The rest of the proof of Theorem 1 consists in using again an argument of equidistribution. More precisely, we apply successively the following lemma, which asserts that given an almost periodic pattern \(\varGamma \) of density \(D_0\), a sequence of isometries and \(\delta >0\), then, perturbing each isometry of at most \(\delta \) if necessary, we can make the density of the \(k_0\)-th image of \(\varGamma \) smaller than \(\lambda _0 D_0\), with \(k_0\) and \(\lambda _0\) depending only on \(D_0\) and \(\delta \). The proof of this lemma involves the study of the action of the discretizations on differences made in Proposition 4
Lemma 2
Let \((P_k)_{k\ge 1}\) be a sequence of matrices of \(O_n(\mathbf {R})\) and \(\varGamma \subset \mathbf {Z}^n\) an almost periodic pattern. Given \(\delta >0\) and \(D>0\) such that \(D(\varGamma )\ge D\), there exists \(k_0 = k_0(D)\) (decreasing in D), \(\lambda _0 = \lambda _0(D,\delta )<1\) (decreasing in D and in \(\delta \)), and a sequence \((Q_k)_{k\ge 1}\) of totally irrational matrices of \(O_n(\mathbf {R})\), such that \(\Vert P_k - Q_k\Vert \le \delta \) for every \(k\ge 1\) and
We begin by proving that this lemma implies Theorem 1.
Proof
(of Theorem 1 ). Suppose that Lemma 2 is true. Let \(\tau _0\in ]0,1[\) and \(\delta >0\). We want to prove that we can perturb the sequence \((P_k)_k\) into a sequence \((Q_k)_k\) of isometries, which is \(\delta \)-close to \((P_k)_k\) and is such that its asymptotic rate is smaller than \(\tau _0\) (and that this remains true on a whole neighbourhood of these matrices).
Thus, we can suppose that \(\tau ^\infty ((P_k)_k)>\tau _0\). We apply Lemma 2 to obtain the parameters \(k_0 = k_0(\tau _0/2)\) (because \(k_0(D)\) is decreasing in D) and \(\lambda _0 = \lambda _0(\tau _0/2,\delta )\) (because \(\lambda _0(D,\delta )\) is decreasing in D). Applying the lemma \(\ell \) times, this gives a sequence \((Q_k)_k\) of isometries, which is \(\delta \)-close to \((P_k)_k\), such that, as long as \(\tau ^{\ell k_0}(Q_0,\cdots ,Q_{\ell k_0})> \tau _0/2\), we have \(\tau ^{\ell k_0}(Q_1,\cdots ,Q_{\ell k_0})<\lambda _0^\ell D(\mathbf {Z}^n)\). But for \(\ell \) large enough, \(\lambda _0^\ell <\tau _0\), which proves the theorem. \(\square \)
Proof
(of Lemma 2 ). The idea of the proof is the following. Firstly, we apply the Minkowski-type theorem for almost periodic patterns (Theorem 4) to find a uniform constant \(C>0\) and a point \(u_0\in \mathbf {Z}^n{\setminus }\{0\}\) whose norm is “not too big”, such that \(\rho _\varGamma (u_0) > C D(\varGamma )\). Then, we apply Proposition 4 to prove that the difference \(u_0\) in \(\varGamma \) eventually goes to 0; that is, that there exists \(k_0\in \mathbf {N}^*\) and an almost periodic pattern \(\widetilde{\varGamma }\) of positive density (that can be computed) such that there exists a sequence \((Q_k)_k\) of isometries, with \(\Vert Q_i-P_i\Vert \le \delta \), such that for every \(x\in \widetilde{\varGamma }\),
This makes the density of the \(k_0\)-th image of \(\varGamma \) decrease:
a precise estimation of the density of \(\widetilde{\varGamma }\) will then prove the lemma.
We begin by applying the Minkowski-like theorem for almost periodic patterns (Theorem 4) to a Euclidean ball \(B'_R\) such that (recall that [B] denotes the set of integer points inside B)
where \(V_n\) denotes the measure of the unit ball on \(\mathbf {R}^n\). Then, Theorem 4 says that there exists \(u_0\in B'_R\cap \mathbf {Z}^n{\setminus }\{0\}\) such that
We now perturb each matrix \(P_k\) into a totally irrational matrix \(Q_k\) such that for every point \(x\in [B'_R]{\setminus }\{0\}\), the point \(Q_k (x)\) is far away from the lattice \(\mathbf {Z}^n\). More precisely, as the set of matrices \(Q\in O_n(\mathbf {R})\) such that \(Q([B'_R]) \cap \mathbf {Z}^n \ne \{0\}\) is finite, there exists a constant \(d_0(R,\delta )\) such that for every \(P\in O_n(\mathbf {R})\), there exists \(Q\in O_n(\mathbf {R})\) such that \(\Vert P-Q\Vert \le \delta \) and for every \(x\in [B'_R]{\setminus }\{0\}\), we have \(d_\infty (Q(x),\mathbf {Z}^n)> d_0(R,\delta )\). Applying Lemma 4 (which states that if the sequence \((Q_k)_k\) is generic, then the matrices \(Q_k\) are “non resonant”), we build a sequence \((Q_k)_{k\ge 1}\) of totally irrationalFootnote 4 matrices of \(O_n(\mathbf {R})\) such that for every \(k\in \mathbf {N}^*\), we have:
-
\(\Vert P_k-Q_k\Vert \le \delta \);
-
for every \(x\in [B'_R]{\setminus }\{0\}\), we have \(d_\infty (Q_k(x),\mathbf {Z}^n)> d_0(R,\delta )\);
-
the set \((Q_k\circ \widehat{Q_{k-1}} \circ \cdots \circ \widehat{Q_1})(\varGamma )\) is equidistributed modulo \(\mathbf {Z}^n\).
We then consider the difference \(u_0\) (given by Eq. (5)). We denote by \(\lfloor P \rfloor (u)\) the point of the smallest integer cube of dimension \(n'\le n\) that contains P(u) which has the smallest Euclidean norm (that is, the point of the support of \(\varphi _{P(u)}\) with the smallest Euclidean norm). In particular, if \(P(u)\notin \mathbf {Z}^n\), then \(\Vert \lfloor P\rfloor (u)\Vert _2 < \Vert P(u)\Vert _2\) (where \(\Vert \cdot \Vert _2\) is the Euclidean norm). Then, the point (ii) of Proposition 4 shows that
(applying Eq. (5)) and so on, for every \(k\in \mathbf {N}^*\),
We then remark that the sequence of norms \(\big \Vert (\lfloor Q_{k} \rfloor \circ \cdots \circ \lfloor Q_1 \rfloor )(u_0)\big \Vert _2\) is decreasing and can only take a finite number of values (it lies in \(\sqrt{{\mathbf {Z}}}\)). Then, there exists \(k_0\le R^2\) such that \(\big (\lfloor Q_{k_0} \rfloor \circ \cdots \circ \lfloor Q_1 \rfloor \big ) (u_0) = 0\); in particular, by Eq. (4), we have
Then, point (ii) of Remark 1 applied to \(v_0 = 0\) implies that the density of the image set satisfies
The conclusions of the lemma are obtained by setting \(\lambda _0{\,=\,} 1{\,-\,}\left( \frac{(d_0(R,\delta ))^n}{2}\right) ^{k_0}\). \(\square \)
4 Conclusion
By mean of Theorem 1, we have shown why it is illusory to hope that the naive algorithm of rotation of a numerical image gives good results: applying successively the discretizations of a generic sequence of rotations leads to a complete loss of information.
Notes
- 1.
It is equivalent to require that it is dense instead of equidistributed.
- 2.
An integral cube has vertices with integer coordinates and its faces parallel to the canonical hyperplanes of \(\mathbf {R}^n\).
- 3.
More precisely, the support of \(\varphi _u\) is the smallest integral unit cube of dimension \(n'\le n\) which contains u.
- 4.
See Definition 9.
References
Andres, E.: The quasi-shear rotation. In: Miguet, S., Ubéda, S., Montanvert, A. (eds.) DGCI 1996. LNCS, vol. 1176, pp. 307–314. Springer, Heidelberg (1996)
Berthé, V., Vuillon, L.: Tilings and rotations on the torus: a two-dimensional generalization of Sturmian sequences. Discrete Math. 223(1–3), 27–53 (2000). http://dx.doi.org/10.1016/S0012-365X(00)00039-X
Bohr, H.: Zur theorie der fast periodischen funktionen. Acta Math. 45(1), 29–127 (1924). I. Eine Verallgemeinerung der Theorie der Fourierreihen. http://dx.doi.org/10.1007/BF02395468
Gruber, P., Lekkerkerker, C.G.: Geometry of numbers, North-Holland Mathematical Library, vol. 37, 2nd edn. North-Holland Publishing Co., Amsterdam (1987)
Guihéneuf, P.A.: Degree of recurrence of generic diffeomorphisms (2015). arxiv:1510.00723
Guihéneuf, P.A.: Discrétisations spatiales de systèmes dynamiques génériques. Ph.D. thesis, Université Paris-Sud (2015)
Guihéneuf, P.A.: Model sets, almost periodic patterns, uniform density and linear maps, soumis (2015). arxiv:1512.00650
Jacob-Da Col, M.A.: Transformation of digital images by discrete affine applications. Comput. Graph. 19(3), 373–389 (1995)
Jacob-Da Col, M.A.: Applications quasi-affines et pavages du plan discret. Theoret. Comput. Sci. 259(1–2), 245–269 (2001). http://dx.doi.org/10.1016/S0304-3975(00)00006-2
Moody, R.V.: Meyer sets and their duals. In: Moody, R.V. (ed.) The Mathematics of Long-Range Aperiodic Order, Waterloo, ON (1995). NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 489, pp. 403–441. Kluwer Academic Publishing, Dordrecht (1997)
Nehlig, P.: Applications quasi affines: pavages par images réciproques. Theoret. Comput. Sci. 156(1–2), 1–38 (1996). http://dx.doi.org/10.1016/0304-3975(95)00040-2
Nouvel, B.: Rotations discretes et automates cellulaires. Ph.D. thesis, Ecole normale supérieure de lyon - ENS LYON. https://tel.archives-ouvertes.fr/tel-00444088
Nouvel, B., Rémila, É.: Characterization of bijective discretized rotations. In: Klette, R., Žunić, J. (eds.) IWCIA 2004. LNCS, vol. 3322, pp. 248–259. Springer, Heidelberg (2004). http://dx.doi.org/10.1007/978-3-540-30503-3_19
Thibault, Y.: Rotations in 2D and 3D discrete spaces. Ph.D. thesis, Université Paris-Est. https://tel.archives-ouvertes.fr/tel-00596947
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendices
A Technical Lemmas
Let us begin by the proof of Proposition 1.
Proof
(of Proposition 1 ). This proof lies primarily in an inversion of limits.
Let \(\varepsilon >0\). As \(\varGamma \) is an almost periodic pattern, there exists \(R_0>0\) such that for every \(R\ge R_0\) and every \(x\in \mathbf {R}^n\), we have
So, we choose \(R\ge R_0\), \(x\in \mathbf {Z}^n\) and compute
By Eq. (6), the second term is \(\varepsilon \)-close to \(D(\varGamma )\). Considered independently, the first term is equal to \(D(\varGamma )\) (still by Eq. (6)). Thus, we have
that we wanted to prove. \(\square \)
We now state an easy lemma which asserts that for \(\varepsilon \) small enough, the set of translations \(\mathcal N_\varepsilon \) is “stable under additions with a small number of terms”.
Lemma 3
Let \(\varGamma \) be an almost periodic pattern, \(\varepsilon >0\) and \(\ell \in \mathbf {N}\). Then if we set \(\varepsilon '=\varepsilon /\ell \) and denote by \(\mathcal N_{\varepsilon '}\) the set of translations of \(\varGamma \) and \(R_{\varepsilon '}>0\) the corresponding radius for the parameter \(\varepsilon '\), then for every \(k\in \llbracket 1,\ell \rrbracket \) and every \(v_1,\cdots ,v_\ell \in \mathcal N_{\varepsilon '}\), we have
Proof
(of Lemma 3 ). Let \(\varGamma \) be an almost periodic pattern, \(\varepsilon >0\), \(\ell \in \mathbf {N}\), \(R_0>0\) and \(\varepsilon '=\varepsilon /\ell \). Then there exists \(R_{\varepsilon '}>0\) such that
We then take \(1\le k\le \ell \), \(v_1,\cdots ,v_k\in \mathcal N_{\varepsilon '}\) and compute
By the invariance under translation of \(D_R^+\), we deduce that
As \(k\le \ell \), this ends the proof. \(\square \)
Remark 2
In particular, this lemma implies that the set \(\mathcal N_\varepsilon \) contains arbitrarily large patches of lattices of \(\mathbf {R}^n\): for every almost periodic pattern \(\varGamma \), \(\varepsilon >0\) and \(\ell \in \mathbf {N}\), there exists \(\varepsilon '>0\) such that for every \(k_i \in \llbracket -\ell ,\ell \rrbracket \) and every \(v_1,\cdots ,v_n\in \mathcal N_{\varepsilon '}\), we have
The second lemma is more technical. It expresses that given an almost periodic pattern \(\varGamma \), a generic matrix \(A\in O_n(\mathbf {R})\) is non resonant with respect to \(\varGamma \).
Lemma 4
Let \(\varGamma \subset \mathbf {Z}^n\) be an almost periodic pattern with positive uniform density. Then the set of \(A\in O_n(\mathbf {R})\) such that \(A(\varGamma )\) is equidistributed modulo \(\mathbf {Z}^n\) is generic. More precisely, for every \(\varepsilon >0\), there exists an open and dense set of \(A\in O_n(\mathbf {R})\) such that there exists \(R_0>0\) such that for every \(R>R_0\), the projection on \(\mathbf {R}^n/\mathbf {Z}^n\) of the uniform measure on \(A(\varGamma \cap B_R)\) is \(\varepsilon \)-close to Lebesgue measure on \(\mathbf {R}^n/\mathbf {Z}^n\).
Proof
(of Lemma 4 ). During this proof, we consider a distance \({\text {dist}}\) on \(\mathcal {P}(\mathbf {R}^n/\mathbf {Z}^n)\) which is invariant under translations, where \(\mathcal {P}(\mathbf {R}^n/\mathbf {Z}^n)\) denotes the space of probability Borel measures on \(\mathbf {R}^n/\mathbf {Z}^n\) endowed with weak-* topology. We also suppose that this distance satisfies the following convexity inequality: if \(\mu , \nu _1,\cdots ,\nu _d\in \mathcal {P}(\mathbf {R}^n/\mathbf {Z}^n)\), then
For the simplicity of the notations, when \(\mu \) and \(\nu \) have not total mass 1, we will denote by \({\text {dist}}(\mu ,\nu )\) the distance between the normalizations of \(\mu \) and \(\nu \).
We consider the set \(\mathcal U_\varepsilon \) of matrices \(A\in GL_n(\mathbf {R})\) satisfying: there exists \(R_0>0\) such that for all \(R\ge R_0\),
where \(\bar{\delta }_x\) is the Dirac measure of the projection of x on \(\mathbf {R}^n/\mathbf {Z}^n\). We show that for every \(\varepsilon >0\), \(\mathcal U_\varepsilon \) contains an open dense set. Then, the set \(\bigcap _{\varepsilon >0}\mathcal U_\varepsilon \) will be a \(G_\delta \) dense set made of matrices \(A\in GL_n(\mathbf {R})\) such that \(A(\varGamma )\) is well distributed.
Let \(\varepsilon >0\), \(\delta >0\), \(\ell >0\) and \(A\in GL_n(\mathbf {R})\). We apply Remark 2 to obtain a parameter \(R_0>0\) and a family \(v_1,\cdots ,v_n\) of \(\varepsilon \)-translations of \(\varGamma \) such that the family of cubes \(\big (B(\sum _{i=1}^n k_i v_i, R_0)\big )_{-\ell \le k_i\le \ell }\) is an “almost tiling” of \(B_{\ell R_0}\) (in particular, each \(v_i\) is close to the vector having \(2R_0\) in the i-th coordinate and 0 in the others, see Fig. 9):
-
(1)
this collection of cubes fills almost all \(B_{\ell R_0}\):
$$ \frac{{\text {Card}}\Big (\varGamma \cap \big (\bigcup _{-\ell \le k_i\le \ell }B(\sum _{i=1}^n k_i v_i, R_0) \varDelta B_{\ell R_0}\big )\Big )}{{\text {Card}}(\varGamma \cap B_{\ell R_0})} \le \varepsilon ; $$ -
(2)
the overlaps of the cubes are not too big: for all collections \((k_i)\) and \((k'_i)\) such that \(-\ell \le k_i,k'_i \le \ell \),
$$ \frac{{\text {Card}}\Big (\varGamma \cap \big (B(\sum _{i=1}^n k_i v_i, R_0)\varDelta B(\sum _{i=1}^n k'_i v_i, R_0)\big )\Big )}{{\text {Card}}(\varGamma \cap B_{\ell R_0})} \le \varepsilon ; $$ -
(3)
the vectors \(\sum _{i=1}^n k_i v_i\) are translations for \(\varGamma \): for every collection \((k_i)\) such that \(-\ell \le k_i \le \ell \),
$$ \frac{{\text {Card}}\Big (\big (\varGamma \varDelta (\varGamma -\sum _{i=1}^n k_i v_i)\big )\cap B_{R_0}\Big )}{{\text {Card}}(\varGamma \cap B_{R_0})} \le \varepsilon . $$
Increasing \(R_0\) and \(\ell \) if necessary, there exists \(A'\in GL_n(\mathbf {R})\) (respectively \(SL_n(\mathbf {R})\), \(O_n(\mathbf {R})\)) such that \(\Vert A-A'\Vert \le \delta \) and that we have
Indeed, if we denote by \(\varLambda \) the lattice spanned by the vectors \(v_1,\cdots ,v_n\), then the set of matrices \(A'\) such that \(A'\varLambda \) is equidistributed modulo \(\mathbf {Z}^n\) is dense in \(GL_n(\mathbf {R})\) (respectively \(SL_n(\mathbf {R})\) and \(O_n(\mathbf {R})\)).
Then, we have,
By the property of convexity of \({\text {dist}}\), the first term is smaller than
by Eq. (7) and the fact that \({\text {dist}}\) is invariant under translation, this term is smaller than \(\varepsilon \). As by hypothesis, the vectors \(\sum _{i=1}^n k_i v_i\) are \(\varepsilon \)-translations of \(\varGamma \) (Hypothesis (3)), the second term is also smaller than \(\varepsilon \). Thus, we get
By the fact that the family of cubes \(\big (B(\sum _{i=1}^n k_i v_i, R_0)\big )_{-\ell \le k_i\le \ell }\) is an almost tiling of \(B_{\ell R_0}\) (Hypotheses (1) and (2)), we get, for every \(v\in \mathbf {R}^n\),
Remark that we can suppose that this remains true on a whole neighbourhood of \(A'\). We use the fact that \(\varGamma \) is an almost periodic pattern to deduce that \(A'\) belongs to the interior of \(\mathcal U_\varepsilon \). \(\square \)
B Proof of Theorem 2
Definition 11
For \(A\in GL_n(\mathbf {R})\), we denote \(A=(a_{i,j})_{i,j}\). We denote by \(I_\mathbf {Q}(A)\) the set of indices i such that \(a_{i,j}\in \mathbf {Q}\) for every \(j\in \llbracket 1,n\rrbracket \).
The proof of Theorem 2 relies on the following remark:
Remark 3
If \(a\in \mathbf {Q}\), then there exists \(q\in \mathbf {N}^*\) such that \(\{ax\mid x\in \mathbf {Z}\}\subset \frac{1}{q}\mathbf {Z}\). On the contrary, if \(a\in \mathbf {R}{\setminus }\mathbf {Q}\), then the set \(\{ax\mid x\in \mathbf {Z}\}\) is equidistributed in \(\mathbf {R}/\mathbf {Z}\).
Thus, in the rational case, the proof will lie in an argument of periodicity. On the contrary, in the irrational case, the image \(A(\mathbf {Z}^n)\) is equidistributed modulo \(\mathbf {Z}^n\): on every large enough domain, the density does not move a lot when we perturb the image set \(A(\mathbf {Z}^n)\) by small translations. This reasoning is formalized by Lemmas 5 and 6.
More precisely, for R large enough, we would like to find vectors w such that \(D^+_R\big ((\pi (A\varGamma ) +w)\varDelta \pi (A\varGamma )\big )\) is small. We know that there exists vectors v such that \(D^+_R\big ((\varGamma +v)\varDelta \varGamma \big )\) is small; this implies that \(D^+_R\big ((A\varGamma +Av)\varDelta A\varGamma \big )\) is small, thus that \(D^+_R\big (\pi (A\varGamma +Av)\varDelta \pi (A\varGamma )\big )\) is small. The problem is that in general, we do not have \(\pi (A\varGamma +Av) = \pi (A\varGamma )+\pi (Av)\). However, this is true if we have \(Av\in \mathbf {Z}^n\). Lemma 5 shows that in fact, it is possible to suppose that Av “almost” belongs to \(\mathbf {Z}^n\), and Lemma 6 asserts that this property is sufficient to conclude.
The first lemma is a consequence of the pigeonhole principle.
Lemma 5
Let \(\varGamma \subset \mathbf {Z}^n\) be an almost periodic pattern, \(\varepsilon >0\), \(\delta >0\) and \(A\in GL_n(\mathbf {R})\). Then we can suppose that the elements of \(A(\mathcal N_\varepsilon )\) are \(\delta \)-close to \(\mathbf {Z}^n\). More precisely, there exists \(R_{\varepsilon ,\delta }>0\) and a relatively dense set \(\widetilde{\mathcal N}_{\varepsilon ,\delta }\) such that
and that for every \(v\in \widetilde{\mathcal N}_{\varepsilon ,\delta }\), we have \(d_\infty (Av,\mathbf {Z}^n)<\delta \). Moreover, we can suppose that for every \(i\in I_\mathbf {Q}(A)\) and every \(v\in \widetilde{\mathcal N}_{\varepsilon ,\delta }\), we have \((Av)_i\in \mathbf {Z}\).
The second lemma states that in the irrational case, we have continuity of the density under perturbations by translations.
Lemma 6
Let \(\varepsilon >0\) and \(A\in GL_n(\mathbf {R})\). Then there exists \(\delta >0\) and \(R_0>0\) such that for all \(w\in B_\infty (0,\delta )\) (such that for every \(i\in I_\mathbf {Q}(A)\), \(w_i=0\)), and for all \(R\ge R_0\), we have
Remark 4
When \(I_\mathbf {Q}(A) = \emptyset \), and in particular when A is totally irrational (see Definition 9), the map \(v\mapsto \tau (A+v)\) is continuous in 0; the same proof as that of this lemma implies that this function is globally continuous.
We begin by the proofs of both lemmas, and prove Theorem 2 thereafter.
Proof
(of Lemma 5 ). Let us begin by giving the main ideas of the proof of this lemma. For \(R_0\) large enough, the set of remainders modulo \(\mathbf {Z}^n\) of vectors Av, where v is a \(\varepsilon \)-translation of \(\varGamma \) belonging to \(B_{R_0}\), is close to the set of remainders modulo \(\mathbf {Z}^n\) of vectors Av, where v is any \(\varepsilon \)-translation of \(\varGamma \). Moreover (by the pigeonhole principle), there exists an integer \(k_0\) such that for each \(\varepsilon \)-translation \(v\in B_{R_0}\), there exists \(k\le k_0\) such that A(kv) is close to \(\mathbf {Z}^n\). Thus, for every \(\varepsilon \)-translation v of \(\varGamma \), there exists a \((k_0-1)\varepsilon \)-translation \(v' = (k-1)v\), belonging to \(B_{k_0 R_0}\), such that \(A(v+v')\) is close to \(\mathbf {Z}^n\). The vector \(v+v'\) is then a \(k_0\varepsilon \)-translation of \(\varGamma \) (by additivity of the translations) whose distance to v is smaller than \(k_0 R_0\).
We now formalize these remarks. Let \(\varGamma \) be an almost periodic pattern, \(\varepsilon >0\) and \(A\in GL_n(\mathbf {R})\). First of all, we apply the pigeonhole principle. We partition the torus \(\mathbf {R}^n/\mathbf {Z}^n\) into squares whose sides are smaller than \(\delta \); we can suppose that there are at most \(\lceil 1/\delta \rceil ^n\) such squares. For \(v\in \mathbf {R}^n\), we consider the family of vectors \(\{A(kv)\}_{0\le k\le \lceil 1/\delta \rceil ^n}\) modulo \(\mathbf {Z}^n\). By the pigeonhole principle, at least two of these vectors, say \(A(k_1v)\) and \(A(k_2v)\), with \(k_1<k_2\), lie in the same small square of \(\mathbf {R}^n/\mathbf {Z}^n\). Thus, if we set \(k_v = k_2-k_1\) and \(\ell = \lceil 1/\delta \rceil ^n\), we have
To obtain the conclusion in the rational case, we suppose in addition that \(v\in q\mathbf {Z}^n\), where \(q\in \mathbf {N}^*\) is such that for every \(i\in I_\mathbf {Q}(A)\) and every \(1\le j\le n\), we have \(q\, a_{i,j}\in \mathbf {Z}\) (which is possible by Remark 2).
We set \(\varepsilon '=\varepsilon /\ell \). By the definition of an almost periodic pattern, there exists \(R_{\varepsilon '}>0\) and a relatively dense set \({\mathcal N}_{\varepsilon '}\) such that Eq. (3) holds for the parameter \(\varepsilon '\):
We now set
We have \(\bigcup _{R>0} P_R = P\), so there exists \(R_0>R_{\varepsilon '}\) such that \(d_H(P,P_{R_0})<\delta \) (where \(d_H\) denotes Hausdorff distance). Thus, for every \(v\in \mathcal N_{\varepsilon '}\), there exists \(v'\in \mathcal N_{\varepsilon '}\cap B_{R_0}\) such that
We then remark that for every \(v'\in {\mathcal N}_{\varepsilon '}\cap B_{R_0}\), if we set \(v'' = (k_{v'}-1)v'\), then by Eq. (8), we have
Combining this with Eq. (9), we get
with \(v''\in B_{\ell R_0}\).
On the other hand, \(k_{v'}\le \ell \) and Eq. 3’ holds, so Lemma 3 (more precisely, Remark 2) implies that \(v''\in \mathcal N_\varepsilon \), that is
In other words, for every \(v\in \mathcal N_{\varepsilon '}\), there exists \(v''\in \mathcal N_\varepsilon \cap B_{\ell R_0}\) (with \(\ell \) and \(R_0\) independent from v) such that \(d_\infty \big (A(v+v''),\mathbf {Z}^n\big )<2\delta \). The set \(\widetilde{\mathcal N}_{2\varepsilon ,2\delta }\) we look for is then the set of such sums \(v+v''\). \(\square \)
Proof
(of Lemma 6 ). Under the hypothesis of the lemma, for every \(i\notin I_\mathbf {Q}(A)\), the sets
are equidistributed modulo \(\mathbf {Z}\). Thus, for all \(\varepsilon >0\), there exists \(R_0>0\) such that for every \(R\ge R_0\),
As a consequence, for all \(w\in \mathbf {R}^n\) such that \(\Vert w\Vert _\infty \le \varepsilon /(2(n+1))\) and that \(w_i=0\) for every \(i\in I_\mathbf {Q}(A)\), we have
Then, the lemma follows from the fact that there exists \(\delta >0\) such that \(\Vert A(w)\Vert _\infty \le \varepsilon /(2(n+1))\) as soon as \(\Vert w\Vert \le \delta \). \(\square \)
Proof
(of Theorem 2 ). Let \(\varepsilon >0\). Lemma 6 gives us a corresponding \(\delta >0\), that we use to apply Lemma 5 and get a set of translations \(\widetilde{\mathcal N}_{\varepsilon ,\delta }\). Then, for every \(v\in \widetilde{\mathcal N}_{\varepsilon ,\delta }\), we write \(\pi (Av) = Av + \big (\pi (Av)-Av\big ) = Av + w\). The conclusions of Lemma 5 imply that \(\Vert w\Vert _\infty <\delta \), and that \(w_i=0\) for every \(i\in I_\mathbf {Q}(A)\).
We now explain why \(\hat{A}v = \pi (Av)\) is a \(\varepsilon \)-translation for the set \(\widehat{A}(\varGamma )\). Indeed, for every \(R\ge \max (R_{\varepsilon ,\delta },MR_0)\), where M is the maximum of the greatest modulus of the eigenvalues of A and of the greatest modulus of the eigenvalues of \(A^{-1}\), we have
(where \(w=\pi (Av)-Av\)). By Lemma 6, the first term is smaller than \(\varepsilon \). For its part, the second term is smaller than
which is smaller than \(\varepsilon \) because \(v\in \mathcal N_\varepsilon \). \(\square \)
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Guihéneuf, PA. (2016). Discretizations of Isometries. In: Normand, N., Guédon, J., Autrusseau, F. (eds) Discrete Geometry for Computer Imagery. DGCI 2016. Lecture Notes in Computer Science(), vol 9647. Springer, Cham. https://doi.org/10.1007/978-3-319-32360-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-32360-2_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-32359-6
Online ISBN: 978-3-319-32360-2
eBook Packages: Computer ScienceComputer Science (R0)