1. Introduction
Cellular automata (CA) are symbolic dynamical systems that act on either
$\Sigma ^{\mathbb {N}}$
(one-sided CA) or
$\Sigma ^{\mathbb {Z}}$
(two-sided CA) for some finite symbol set
$\Sigma $
and that are defined by using a local rule. The CA appearing in this paper are multiplication automata
$\Pi _{\alpha ,N}$
that simulate multiplication by some
$\alpha>0$
on base-N representations of numbers. These are not defined for all pairs of
$\alpha $
and N. In [Reference Blanchard, Host and Maass1], possibly the first paper featuring such CA, it is shown that in the case of one-sided multiplication automata (meaning that multiplication is performed only on the fractional part of a number),
$\Pi _{\alpha ,N}$
is defined precisely when
$\alpha $
is an integer all of whose prime factors divide N. The paper [Reference Blanchard and Maass2] shows for
$\alpha $
dividing N that
$\Pi _{\alpha ,N}$
is topologically conjugate to the left shift map on
$\Sigma _\alpha ^{\mathbb {N}}$
with
$\Sigma _\alpha =\{0,1,\ldots ,\alpha -1\}$
if and only if
$\alpha $
and N are divisible by the same prime numbers. This left shift map is in fact equal to
$\Pi _{\alpha ,\alpha }$
, which is the simplest way to represent the operation of multiplying by
$\alpha $
. Considering two-sided multiplication automata makes it possible to also talk about automata multiplying by proper fractions, as was done in [Reference Kari, Yen and Ibarra5] in the special case
$\alpha =3/2$
,
$N=6$
. From [Reference Blanchard, Host and Maass1], one can infer that in the two-sided case,
$\Pi _{\alpha ,N}$
is defined precisely when
$\alpha $
is a rational number whose numerator and denominator are products of factors of N.
In this paper, we consider explicitly only the case of two-sided multiplication automata and look further into topological conjugacies of multiplication automata with other multiplication automata that are not necessarily shift maps as was the case in [Reference Blanchard and Maass2]. We show in Corollary 5.10 that multiplication automata
$\Pi _{\alpha ,N_1}$
and
$\Pi _{\alpha ,N_2}$
are conjugate when
$N_1$
and
$N_2$
are divisible by the same prime numbers. Even when this condition is not satisfied, we can consider topological factors. We show in Corollary 5.13 that
$\Pi _{\alpha ,N_1}$
has
$\Pi _{\alpha ,N_2}$
as a factor if every prime factor of
$N_2$
is a prime factor of
$N_1$
. The conjugacies and factor maps we present for connecting these multiplication automata essentially transform base-
$N_1$
representations of any non-negative real number to base-
$N_2$
representations of the same real number.
To prove the results mentioned in the previous paragraph, this paper takes the approach of considering so-called multiplication tessellations formed by multiplication cubes. These turn out to be interesting mathematical objects in their own right as a family of multidimensional subshifts with good structural properties. In [Reference Rudolph11], multiplication by p and q is essentially implemented by tilings of the plane with the tiles being base-
$pq$
digits and multiplication by p and q corresponding to shifting the tiling either horizontally or vertically. The tiling terminology appears explicitly in [Reference Cook, Stérin, Woods, Lakin and Sulc3] in the special case
$p=2$
,
$q=3$
. Instead of restricting to two-dimensional tilings, we will introduce multiplication tessellation systems using multiplication (hyper)cubes of arbitrary dimension.
Our construction of multiplication cubes is based on mixed base representations of natural numbers, the basics of which we cover in §3. Section 4 is all about multiplication cubes, and mixed base representations of numbers are used to define multiplication cubes and their tessellations in §4.1. Briefly put, associated to any vector of positive integers
$(n_1,n_2,\ldots ,n_d)$
, there will be
$N=n_1n_2\cdots n_d$
different d-dimensional hypercubes corresponding to the base-N digits and having various labels on their lower dimensional hyperfaces, and in valid d-dimensional tessellations, neighboring cubes have to have matching labels on adjacent
$(d-1)$
-dimensional hyperfaces. The underlying idea is that then one can associate any real number
$\xi \geq 0$
with a valid tessellation containing a base-N representation of
$\xi $
along the main diagonal (Corollary 4.39), and moving along the direction of the ith coordinate axis in a tessellation corresponds to multiplication by
$n_i$
(Proposition 4.26).
We proceed to investigate various structures appearing in multiplication tilings in later subsections of §4. In Theorem 4.6 of §4.2, it turns out that the matching condition of
$(d-1)$
-dimensional hyperfaces in valid tessellations automatically implies that also the labels of lower dimensional hyperfaces in adjacent cubes match. In §4.3, we define the notion of a path integral over a path in a tessellation. This terminology is justified by Theorem 4.11, according to which the path integral over a cycle in a valid tessellation is always equal to zero. This is then used as a technical tool to define labels between directed line segments connecting any two points in a tessellation. These labels are used in §4.4, which introduces the macrotile operation. The macrotile operation groups multiplication cubes into larger cubes that can also be viewed as multiplication cubes. More generally, with some restrictions, it is possible to draw a grid of parallelepipeds within a tessellation and interpret each individual parallelelepiped as a new multiplication cube. The way this works is that the labels of the edges of the parallelepipeds in the original tessellation yield the labels of the edges of the new multiplication cubes. The grid of parallelepipeds may be of a lower dimension than the original tessellation, which in particular means that a lower dimensional cut along the
$i_1$
th,
$i_2$
th,
$\ldots ,i_k$
th coordinate axes in a d-dimensional tessellation is a k-dimensional tessellation over the multiplication cube set associated to the vector
$(n_{i_1},n_{i_2},\ldots ,n_{i_k})$
. By Theorem 4.38, the macrotile operation has in some cases an inverse map, the microtile operation. Even when the macrotile operation is not invertible, by Theorem 4.40, it is always a surjection between sets of valid tessellations.
In §5, we turn to multiplication automata, which are defined in §5.1. In §5.2, multiplication automata are connected to multiplication tessellations: by Theorem 5.7, multiplication automata are topologically conjugate to shift maps on sets of valid tessellations by multiplication cubes. Due to this connection, conjugacy and factor relations between various shift dynamics on multiplication tessellations imply the conjugacy and factor relations between multiplication automata mentioned earlier in this introduction. As a minor application, we use these conjugacy and factor relations in §5.3, together with some earlier results, to completely classify multiplication automata according to their regularity status in the sense of [Reference Kůrka8].
2. Preliminaries
We denote the set of positive integers by
$\mathbb {Z}_+$
and define the set of natural numbers by
$\mathbb {N}=\mathbb {Z}_+\cup \{0\}$
. For
$n\in \mathbb {Z}_+$
, we denote
$\Sigma _n=\{0,1,\ldots ,n-1\}$
. Whenever A and B are sets,
$A^B$
denotes the collection of functions from B to A. We often denote the value of a function
$f\in A^B$
at
$b\in B$
by
$f[b]$
instead of
$f(b)$
. When B is countable and A is finite, the set
$A^B$
is a compact metrizable space with respect to the prodiscrete topology, and every closed subset of
$A^B$
is also compact and metrizable with respect to the subspace topology.
We interpret the notation
$A^n$
for a set A and
$n\in \mathbb {N}$
as a shorthand for
$A^{\{1,2,\ldots ,n\}}$
, the set of sequences of length n over A indexed by
$1,2,\ldots ,n$
. The elements of this set can be represented by
$(a_1,\ldots ,a_n)$
, by
$(a_i)_{i=1}^n$
, or for short, just by
$(a_i)$
when the index i and the length of the sequence n are clear from the context. As in the previous paragraph, given
$a=(a_1,\ldots ,a_n)\in A^n$
, we may denote
$a[i]=a_i$
for
$1\leq i\leq n$
. We also denote
$a[i,j]=(a_i,a_{i+1}\ldots ,a_j)$
for
$i,j\in \{1,2,\ldots ,n\}$
: this is the empty sequence when
$i>j$
.
By substituting
$\mathbb {R}$
for A in the previous paragraph, we get the set of n-dimensional real vectors. We define a partial order for
$v,w\in \mathbb {R}^n$
by
$v\leq w$
if
$v[i]\leq w[i]$
for all
$1\leq i\leq n$
. A stronger inequality is
$v\ll w$
, which means that
$v[i]<w[i]$
for all
$1\leq i\leq n$
. For any
$x\in \mathbb {R}$
, we define the constant vector
${\mathbf {x}}=(x,\ldots ,x)$
, so in particular,
${\mathbf {0}}=(0,\ldots ,0)$
and
${\mathbf {1}}=(1,\ldots ,1)$
. The Kronecker delta is defined by
$\delta _{ij}=0$
when
$i\neq j$
and
$\delta _{ij}=1$
when
$i=j$
. Using this, the standard basis vectors
$e_k\in \mathbb {R}^n$
for
$1\leq k\leq n$
are defined by
$e_k[i]\hspace{-1pt}=\hspace{-1pt}\delta _{ki}$
for
$1\hspace{-1pt}\leq\hspace{-1pt} i\hspace{-1pt}\leq\hspace{-1pt} n$
. In matrix multiplications, we interpret vectors as column vectors.
To present some of the main results of this paper, we will use the terminology of topological dynamical systems, one reference for these is [Reference Kůrka9].
Definition 2.1. If X is a compact metrizable topological space and
$T:X\to X$
is a continuous map, we say that
$(X,T)$
is a (topological) dynamical system.
As a particular example, for a finite set
$\Sigma $
(an alphabet),
$d\in \mathbb {Z}_+$
and
$z\in \mathbb {Z}^d$
, we define the shift maps
$\sigma _{z}:\Sigma ^{\mathbb {Z}^d}\to \Sigma ^{\mathbb {Z}^d}$
by
$\sigma _{z}(f)[z']=f[z'+z]$
for all
$f\in \Sigma ^{\mathbb {Z}^d}$
and
$z'\in \mathbb {Z}^d$
. Then
$(\Sigma ^{\mathbb {Z}^d},\sigma _z)$
is a dynamical system. Whenever
$X\subseteq \Sigma ^{\mathbb {Z}^d}$
is closed and
$\sigma _z(X)=X$
, then
$(X,\sigma _z)$
is also a dynamical system. Note that we used the same notation for both
$\sigma _z$
and its restriction to X: in practice, this will not cause confusion. Let us also mention that if
$\sigma _z(X)=X$
for all
$z\in \mathbb {Z}^d$
, then X in fact becomes a system with multidimensional dynamics called a d-dimensional subshift. Throughout the text, we let
$d,d',d"\in \mathbb {Z}_+$
and use
$d, d'$
, and
$d"$
to indicate dimension. In the one-dimensional case, we define
$\sigma :\Sigma ^{\mathbb {Z}}\to \Sigma ^{\mathbb {Z}}$
by
$\sigma =\sigma _1$
and for a closed subset
$X\subseteq \Sigma ^{\mathbb {Z}}$
satisfying
$\sigma (X)=X$
, we call
$(X,\sigma )$
a (one-dimensional) subshift. One can also define
$\sigma :\Sigma ^{\mathbb {N}}\to \Sigma ^{\mathbb {N}}$
by
$\sigma (x)[i]=x[i+1]$
for
$i\in \mathbb {N}$
, and then
$(X,\sigma )$
for a closed
$X\subseteq \Sigma ^{\mathbb {N}}$
satisfying
$\sigma (X)\subseteq \Sigma ^{\mathbb {N}}$
is called a one-sided subshift.
The structure preserving transformations between topological dynamical systems are known as morphisms.
Definition 2.2. We write
$\psi :(X,T)\to (Y,S)$
whenever
$(X,T)$
and
$(Y,S)$
are dynamical systems and
$\psi :X\to Y$
is a continuous map such that
$\psi \circ T=S\circ \psi $
(this equality is known as the equivariance condition). Then we say that
$\psi $
is a morphism. If
$\psi $
is surjective, we say that
$\psi $
is a factor map and that
$(Y,S)$
is a factor of
$(X,T)$
(via
$\psi $
). If
$\psi $
is bijective, we say that
$\psi $
is a conjugacy and that
$(X,T)$
and
$(Y,S)$
are conjugate (via
$\psi $
).
The particular dynamical systems under consideration in this paper will be shift maps on tilings (which are special kinds of d-dimensional subshifts) and cellular automata (which are self-maps of subshifs, particularly of
$\Sigma ^{\mathbb {Z}}$
, that are continuous and satisfy the equivariance condition).
3. Mixed base representations of numbers
A vector
$m\in \mathbb {Z}_+^k$
such that
$m[i]$
divides
$m[i+1]$
for
$1\leq i<k$
is called a mixed base. Given a mixed base
$m\in \mathbb {Z}_+^k$
, any
$a\in \mathbb {N}$
has a base-m representation
$a=\sum _{i=0}^k a_i m[i]$
(with the convention
$m[0]=1$
), where
$a_i$
are the unique integers satisfying this equation such that
$0\leq a_i<m[i+1]/m[i]$
for
$0\leq i<k$
and
$a_k\geq 0$
. For expressing such a representation, we also define the shorthand
${\mathrm {base}}(a,m)=(a_0,a_1,\ldots , a_k)$
, so in particular,
${\mathrm {base}}(a,m)[i]=a_{i-1}$
for
$1\leq i\leq k+1$
. For example, the base-10 representation (in the usual sense) for
$a\in \mathbb {N}$
arises by choosing
$m=(10,10^2,\ldots ,10^k)$
for a sufficiently large k.
We may also use a single vector
$n\in \mathbb {Z}_+^d$
as a starting point for forming many different mixed bases as various products of
$n[i]$
. For
$v\in \mathbb {Z}^d$
, we let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu1.png?pub-status=live)
(this is a positive integer in the special case
$v\leq {\mathbf {0}}$
). For a d-directive sequence, that is, a decreasing sequence of vectors
$(v_i)_{i=1}^k$
satisfying
${\mathbf {0}}\geq v_1\geq v_2\geq \cdots \geq v_k\in \mathbb {Z}^d$
(a binary d-directive sequence in the case
$v_i\in \{-1,0\}^d$
), we define a mixed base
$m(n,(v_{i}))\in \mathbb {Z}_+^k$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu2.png?pub-status=live)
We also define
${\mathrm {base}}_{n}(a,(v_1,\ldots ,v_k))={\mathrm {base}}(a,m(n,(v_i)))$
for
$a\in \mathbb {N}$
.
Remark 3.1. Our definition of
$m(n,v)$
where a negative coordinate
$v[j]$
corresponds to raising
$n[j]$
to a positive power may seem strange. Throughout this paper, negative numbers will appear at points where positive numbers could be expected. Our conventions are ultimately motivated by the peculiarity that the usual method of writing down the digits of a number causes the more significant digits to appear to the left (that is, toward the negative direction of the x-axis) instead of to the right.
We also mention some telescoping properties for the base representations. For
$x\in A^n$
and
$y\in A^m$
with any set A, define the insertion
$x{\mathrm {\vee }}_i y\in A^{n+m}$
for
$0\leq i\leq n$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu3.png?pub-status=live)
and the overwrite
$x{\mathrm {\not \vee }}_i y\in A^{n+m-1}$
for
$1\leq i\leq n$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu4.png?pub-status=live)
Lemma 3.2. Let
$m\in \mathbb {Z}_+^k$
,
$m'\in \mathbb {Z}_+^{k'}$
, and
$m{\mathrm {\vee }}_i m'\in \mathbb {Z}_+^{k+k'}$
be mixed bases with
$0\leq i\leq k$
. If
$a\in \mathbb {N}$
and
${\mathrm {base}}(a,m)=(a_0,\ldots ,a_{k})$
, then (with the convention that
$m[0]=1$
)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu5.png?pub-status=live)
Proof. Let
$(b_0,\ldots ,b_{k'})={\mathrm {base}}(a_i,m'/m[i])$
. By assumption,
$a=\sum _{j=0}^k a_j m[j]$
(
$0\leq a_j<m[j+1]/m[j]$
for
$0\leq j<k$
,
$a_k\geq 0$
) and
$a_i=b_0+\sum _{j=1}^{k'} b_j(m'[j]/m[i])$
(
$0\leq b_0<m'[1]/m[i]$
,
$0\leq b_j<m'[j+1]/m'[j]$
for
$1\leq j<k'$
,
$b_{k'}\geq 0$
). By substituting the base-
$m'$
representation of
$a_i$
into the base-m representation of a, we find that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu6.png?pub-status=live)
This is equivalent to the claim of the lemma,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu7.png?pub-status=live)
assuming that we can verify the inequalities
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu8.png?pub-status=live)
but everything except the last inequality follows directly from the definition of
$a_j$
and
$b_j$
. Because
$a_i<m[i+1]/m[i]$
, it follows that
$b_{k'}\leq a_i m[i]/m'[k']<m[i+1]/m'[k']$
, and we are done.
Lemma 3.3. Let
$n\in \mathbb {Z}_+^d$
, and let
$(v_j)_{j=1}^{k}$
,
$(w_j)_{j=1}^{k'}$
and
$(v_j)_{j=1}^{k}{\mathrm {\vee }}_i (w_j)_{j=1}^{k'}$
be d-directive sequences with
$0\leq i\leq k$
. If
$a\in \mathbb {N}$
and
${\mathrm {base}}_{n}(a,(v_j)_{j=1}^k)=(a_0,\ldots ,a_k)$
, then (with the convention that
$v_0={\mathbf {0}}$
)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu9.png?pub-status=live)
Proof. Let
$M=m(n,v_i)$
. We note that for
$1\leq j'\leq k'$
,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu10.png?pub-status=live)
By assumption,
${\mathrm {base}}(a,m(n,(v_j)_{j=1}^{k}))={\mathrm {base}}_{n}(a,(v_j)_{j=1}^k)=(a_0,\ldots ,a_k)$
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu11.png?pub-status=live)
Lemma 3.4. Let
$n\in \mathbb {Z}_+^d$
, let
$(v_j)_{j=1}^k$
and
$(w_j)_{j=1}^{k'}$
be d-directive sequences, and let
$0\leq i\hspace{-1pt}<\hspace{-1pt}k$
,
$0\hspace{-1pt}\leq\hspace{-1pt} i'\hspace{-1pt}<\hspace{-1pt}k'$
be such that
$v_i\hspace{-1pt}=\hspace{-1pt}w_{i'}$
and
$v_{i+1}\hspace{-1pt}=\hspace{-1pt}w_{i'+1}$
(with the convention
$v_0\hspace{-1pt}=\hspace{-1pt}w_0\hspace{-1pt}=\hspace{-1pt}{\mathbf {0}}$
). For any
$a\in \mathbb {N}$
, it holds that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu12.png?pub-status=live)
If
$v_k=w_{k'}$
, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu13.png?pub-status=live)
Proof. For the first claim of the lemma concerning
$0\leq i<k$
,
$0\leq i'<k'$
, it suffices to show that
${\mathrm {base}}_{n}(a,(v_i,v_{i+1}))[2]={\mathrm {base}}_{n}(a,(v_j))[i+1]$
, because from this, it follows that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu14.png?pub-status=live)
Let
$(a_0,a_1,a_2)={\mathrm {base}}_{n}(a,(v_i,v_{i+1}))$
. By one application of Lemma 3.3,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu15.png?pub-status=live)
for some
$b_j\in \mathbb {N}$
. By another application of the same lemma,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu16.png?pub-status=live)
for some
$c_j\in \mathbb {N}$
. Therefore,
${\mathrm {base}}_{n}(a,(v_i,v_{i+1}))[2]=a_1={\mathrm {base}}_{n}(a,(v_j))[i+1]$
.
In a similar manner, for the last claim of the lemma, it suffices to show that
${\mathrm {base}}_{n}(a,(v_k))[2]={\mathrm {base}}_{n}(a,(v_j))[k+1]$
. Let
$(a_0,a_1)={\mathrm {base}}_n(a,(v_k))$
. By Lemma 3.3,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu17.png?pub-status=live)
for some
$b_j\in \mathbb {N}$
. Therefore,
${\mathrm {base}}_{n}(a,(v_k))[2]=a_1={\mathrm {base}}_{n}(a,(v_j))[k+1]$
.
Lemma 3.5. Let
$n\in \mathbb {Z}_+^d$
, let
$a\in \mathbb {N}$
, and let
$p_1,p_2,q_1,q_2\in \mathbb {Z}^d$
be such that
$q_1\geq q_2$
and
$p_1\geq p_1+q_1\geq p_1+q_2\geq p_2$
are d-directive sequences. If
${\mathrm {base}}_{n}(a,(p_1,p_2))=(a_0,a_1,a_2)$
, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu18.png?pub-status=live)
Proof. By applying Lemma 3.3,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu19.png?pub-status=live)
and therefore by Lemma 3.4,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu20.png?pub-status=live)
For a map
${\mathrm {{\iota }}}:\{1,\ldots ,d'\}\to \{1,\ldots ,d\}$
and
$p\in \mathbb {Z}^d$
, there is an affine map
${\mathrm {I}}_{p,{\mathrm {{\iota }}}}: \mathbb {R}^{d'}\to \mathbb {R}^d$
defined by
${\mathrm {I}}_{p,{\mathrm {{\iota }}}}({\mathbf {0}})=p$
and
${\mathrm {I}}_{p,{\mathrm {{\iota }}}}(e_i)=p+e_{{\mathrm {{\iota }}}(i)}$
for
$1\leq i\leq d'$
.
Lemma 3.6. Let
${\mathrm {{\iota }}}:\{1,\ldots ,d'\}\to \{1,\ldots ,d\}$
be injective and let
$n\in \mathbb {Z}_+^d$
,
$n'\in \mathbb {Z}_+^{d'}$
satisfy
$n'[i]=n[{\mathrm {{\iota }}}(i)]$
for
$1\leq i\leq d'$
. For a
$d'$
-directive sequence
$v_1\geq \cdots \geq v_k$
, for
$w_i={\mathrm {I}}_{{\mathbf {0}},{\mathrm {{\iota }}}}(v_i)$
and
$a\in \mathbb {N}$
, it holds that
${\mathrm {base}}_{n'}(a,(v_1,\ldots ,v_k))={\mathrm {base}}_{n}(a,(w_1,\ldots ,w_k))$
.
Proof. Observe that for any
$v\in \mathbb {Z}^{d'}$
,
$1\leq j'\leq d'$
, and
$j={\mathrm {{\iota }}}(j')$
, it holds that
${\mathrm {I}}_{{\mathbf {0}},{\mathrm {{\iota }}}}(v)[j]=v[j']$
. If j is not in the image of
${\mathrm {{\iota }}}$
, then
${\mathrm {I}}_{{\mathbf {0}},{\mathrm {{\iota }}}}(v)[j]=0$
. Using the substitution
$j={\mathrm {{\iota }}}(j')$
for
$0\leq j'\leq d'$
below, we can compute for
$1\leq i\leq k$
that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu21.png?pub-status=live)
and therefore
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu22.png?pub-status=live)
4. Multiplication cubes
4.1. Preliminaries on multiplication cubes
Our model for the d-dimensional hypercube is the set
$[-1,0]^d$
. The bottom and top
$(d-1)$
-dimensional hyperfaces orthogonal to
$e_i$
are
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu23.png?pub-status=live)
respectively.
One can take a collection of hypercubes, color their
$(d-1)$
-dimensional hyperfaces
${\mathrm {\beta }}_i$
and
${\mathrm {\tau }}_i$
with various colors, and form tessellations of the space with these cubes in such a way that the adjacent hyperfaces of neighboring hypercubes have matching colors. An example of such a colored set of two-dimensional cubes and a part of a two-dimensional tessellation is presented in Figure 1. More precisely (and more abstractly), this is done as in the following definition.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_fig1.png?pub-status=live)
Figure 1 The multiplication cube set
$T_{(2,5)}$
and a part of a tiling from
$X_{(2,5)}=X_{T_{(2,5)}}$
(with the upper right corner of the cube at the origin marked by a black dot). Consecutive powers of two (starting with
$4,8,16,\ldots $
) can be found in the tiling along diagonals that go from bottom left to top right: for an explanation of this, see Example 4.21 or Proposition 4.26.
Definition 4.1. Let T and C be finite sets (the set of hypercubes and the set of colors) and for some
$d\in \mathbb {Z}_+$
, let
${\mathrm {\beta }}_i:T\to C$
and
${\mathrm {\tau }}_i: T\to C$
be functions for
$1\leq i\leq d$
(the labeling functions). The set T (with associated, implicit C,
${\mathrm {\beta }}_i$
, and
${\mathrm {\tau }}_i$
) is then called a Wang hypercube set. A valid tiling or tessellation over T is a map
$f:\mathbb {Z}^d\to T$
satisfying
${\mathrm {\tau }}_i(f[z])={\mathrm {\beta }}_i(f[z+e_i])$
for all
$z\in \mathbb {Z}^d$
and
$1\leq i\leq d$
. The set of all valid tilings over T is denoted by
$X_T$
.
The pair
$(X_T,\sigma _z)$
is a dynamical system for all
$z\in \mathbb {Z}^d$
, and as a d-dimensional subshift,
$X_T$
is in fact an example of a so-called subshift of finite type. Wang hypercubes and their tessellations are the most commonly studied in the case
$d=2$
, and particularly, then the elements of T are called Wang tiles. These originate from Wang’s paper [Reference Wang13].
We will proceed to define a particular class of Wang hypercubes which could be called multiplication hypercubes, but which we will call multiplication cubes for simplicity. Two-dimensional multiplication cubes have previously appeared in [Reference Cook, Stérin, Woods, Lakin and Sulc3] as elements of the so-called Collatz tile set. Higher dimensional such cubes will in fact have labels on all of their lower-dimensional hyperfaces, not just the
$(d-1)$
-dimensional ones. The set of k-dimensional hyperfaces within the d-dimensional hypercube is denoted by
$S_{d,k}$
and the set of all hyperfaces is denoted by
$S_d$
. Given
$s\in S_d$
, the set of all hyperfaces that are subsets of s is denoted by
$S_d(s)$
.
We develop two different sets of notation to refer to individual hyperfaces. For the first notation, whenever
$p,u\in \{-1,0\}^d$
are orthogonal (in other words,
$p[i]=u[i]=-1$
cannot happen for any
$1\leq i\leq d$
), we say that the hyperface at p along u is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu24.png?pub-status=live)
For the second notation, let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu25.png?pub-status=live)
For any
$(v_1,v_2)\in V_d$
, the minimal k-dimensional hyperface of
$[-1,0]^d$
containing both
$v_1$
and
$v_2$
is
${\mathrm {faceAt}}(v_1,v_2-v_1)$
, where k is the number of ones in
$v_1-v_2$
. This gives a one-to-one correspondence between
$V_d$
and
$S_d$
.
Let
$n\in \mathbb {Z}_+^d$
. To any
$a\in \Sigma _N$
with
$N=\prod _{i=1}^d n[i]$
, we will associate a d-dimensional Wang hypercube, a so-called multiplication cube
${\mathrm {cube}}_{n}(a)$
, whose underlying structure is that of a function:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu26.png?pub-status=live)
The interpretation is that
${\mathrm {cube}}_{n}(a)[v_1,v_2]$
is the label of the hyperface spanned by the vectors
$v_1$
and
$v_2$
: this way, we get labels on all lower-dimensional hyperfaces. If
$s\in S_d$
is the hyperface spanned by
$v_1$
and
$v_2$
, we may also define
$s({\mathrm {cube}}_{n}(a))=s\ {\mathrm {cube}}_n(a)={\mathrm {cube}}_{n}(a)[v_1,v_2]$
. In particular, the labels of the bottom and top hyperfaces of
${\mathrm {cube}}_{n}(a)$
orthogonal to
$e_i$
are
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu27.png?pub-status=live)
respectively. To write this out more explicitly, let
$a=a_1n[i]+a_0$
be such that
${\mathrm {base}}(a,(N,n[i]))=(0,a_1,a_0)$
and let
$a=a_2'\prod _{j\neq i}n[j]+a_1'$
be such that
${\mathrm {base}}(a, (\prod _{j\neq i}n[i],1))=(a_2',a_1',0)$
. Then we see that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu28.png?pub-status=live)
An example of a three-dimensional multiplication cube together with (some of) the labels of faces and edges is presented in Figure 2.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_fig2.png?pub-status=live)
Figure 2 The multiplication cube
${\mathrm {cube}}_{(2,3,5)}(10)$
with the faces
${\mathrm {\tau }}_1$
(right),
${\mathrm {\beta }}_2$
(front), and
${\mathrm {\tau }}_3$
(top) visible. One can also verify that these faces and their adjacent edges yield the lower-dimensional multiplication cubes
${\mathrm {cube}}_{(3,5)}(10)$
,
${\mathrm {cube}}_{(2,5)}(3)$
, and
${\mathrm {cube}}_{(2,3)}(4)$
.
For
$n\in \mathbb {Z}_+^d$
and
$N=\prod _{i=1}^d n[i]$
, the set of base-n multiplication cubes and the valuations of cubes are defined as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu29.png?pub-status=live)
In other words,
${\mathrm {val}}_{n}(t)$
is the label of the unique d-dimensional hyperface of t. More importantly, this also equals the original value that was used to form the hypercube and the maps
${\mathrm {val}}_{n}$
,
${\mathrm {cube}}_{n}$
are inverses of each other, because
$a=0\cdot N+a\cdot 1+0\cdot 1$
and
${\mathrm {base}}(a,(N,1))=(0,a,0)$
for any
$a\in \Sigma _N$
, and therefore
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu30.png?pub-status=live)
The set of valid tilings over
$T_n$
is denoted by
$X_n=X_{T_n}$
.
Later we will see that calling the elements of
$T_n$
multiplication cubes is justified. If a tiling contains a base-N representation of a real number on its main diagonal, then shifting the tiling by
$\sigma _{e_i}$
corresponds to multiplying this real number by
$n[i]$
as will be seen in Proposition 4.26. The tilings will also be connected to so-called multiplication automata in §5.2.
We observe that in the one-dimensional case
$n=(N)$
, the labels of top and bottom hyperfaces satisfy
${\mathrm {\beta }}_1({\mathrm {cube}}_{(N)}(a))={\mathrm {\tau }}_1({\mathrm {cube}}_{(N)}(a))=0$
for all
$a\in \Sigma _N$
and therefore
$X_{(N)}=T_{(N)}^{\mathbb {Z}}$
. For a higher dimensional example, Figure 1 shows the tile set
$T_{(2,5)}$
and a part of a tiling from
$X_{(2,5)}$
. In the higher dimensional cases, it is not necessarily obvious that there exist any valid tilings except the trivial one consisting only of copies of
${\mathrm {cube}}_n(0)$
, but in Corollary 4.39, we will see that any arrangement of multiplication cubes on the main diagonal of the d-dimensional space can be extended to a valid tessellation of the whole space.
Lemma 4.2. Let
$n\in \mathbb {Z}_+^d$
. For a d-directive sequence
$(v_j)_{j=1}^k$
and
$a\in \mathbb {N}$
, it holds that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu31.png?pub-status=live)
Proof. The cases
$k\leq 2$
are trivial. If
$k\geq 3$
, let
$(a_0',a_1',a_k')={\mathrm {base}}_{n}(a,(v_1,v_k))$
and
$(a_j)_{j=0}^k={\mathrm {base}}_{n}(a,(v_j)_{j=1}^k)$
. It follows that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu32.png?pub-status=live)
(with the convention that
$v_0={\mathbf {0}}$
). From Lemma 3.4, we see that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu33.png?pub-status=live)
The first part of Lemma 3.4 shows that
$a_0=a_0'$
and the last part of Lemma 3.4 shows that
$a_k=a_k'$
, so
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu34.png?pub-status=live)
Lemma 4.3. Let
$n\in \mathbb {Z}_+^d$
. For a binary d-directive sequence
$(v_i)_{i=1}^k$
and
$t\in T_{n}$
, it holds that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu35.png?pub-status=live)
Proof. Let
$t={\mathrm {cube}}_{n}(a)$
. We rewrite the statement of the lemma
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu36.png?pub-status=live)
and the last equality holds by Lemma 4.2.
4.2. Lower dimensional matchings in tilings by multiplication cubes
Throughout this subsection, let
$n\in \mathbb {Z}_+^d$
. The
$(d-1)$
-dimensional hyperfaces match in a tessellation of
$X_{n}$
by definition, but there are also lower dimensional matchings as we will see in Theorem 4.6.
Recall that any
$s\in S_d$
can be represented in the form
$s={\mathrm {faceAt}}(p,u)$
for some orthogonal
$p,u\in \{-1,0\}^d$
. If u contains
$d'$
non-zeroes and
${\mathrm {{\iota }}}:\{1,\ldots ,d'\}\to \{1,\ldots ,d\}$
is an injection with the image set
$\{i\mid u[i]=-1\}$
, then the injective affine map
${\mathrm {I}}_{p,{\mathrm {{\iota }}}}:\mathbb {R}^{d'}\to \mathbb {R}^d$
defined by
${\mathrm {I}}_{p,{\mathrm {{\iota }}}}({\mathbf {0}})=p$
and
${\mathrm {I}}_{p,{\mathrm {{\iota }}}}(e_i)=p+e_{{\mathrm {{\iota }}}(i)}$
for
$1\leq i\leq d'$
satisfies
${\mathrm {I}}_{p,{\mathrm {{\iota }}}}([-1,0]^{d'})=s$
.
Lemma 4.4. Let
$s={\mathrm {faceAt}}(p,u)\in S_{d,d'}$
, let
$s'\in S_{d'}$
, and let
$t\in T_{n}$
. Let
${\mathrm {{\iota }}}:\{1,\ldots ,d'\} \to \{1,\ldots ,d\}$
be an injection with the image set
$D=\{i\mid u[i]=-1\}$
and let
$n'\in \mathbb {Z}_+^{d'}$
be defined by
$n'[i]=n[{\mathrm {{\iota }}}(i)]$
for
$1\leq i\leq d'$
. Then
$({\mathrm {I}}_{p,{\mathrm {{\iota }}}}(s'))(t)=s'({\mathrm {cube}}_{n'}(s(t)))$
.
Proof. Let
$p',u'\in \{-1,0\}^{d'}$
and let
$a\in \mathbb {N}$
be such that
$s'={\mathrm {faceAt}}(p',u')$
and
$t={\mathrm {cube}}_{n}(a)$
(it follows that
${\mathrm {I}}_{p,{\mathrm {{\iota }}}}(p')\leq {\mathrm {I}}_{p,{\mathrm {{\iota }}}}({\mathbf {0}})$
and
${\mathrm {I}}_{p,{\mathrm {{\iota }}}}(p'+u')\geq {\mathrm {I}}_{p,{\mathrm {{\iota }}}}(-{\mathbf {1}})$
). Let
$(a_0,a_1,a_2)\hspace{-1pt}=\hspace{-1pt}{\mathrm {base}}_{n}(a,({\mathrm {I}}_{p,{\mathrm {{\iota }}}}({\mathbf {0}}),{\mathrm {I}}_{p,{\mathrm {{\iota }}}}(-{\mathbf {1}})))$
and
$(b_0,b_1,b_2)\hspace{-1pt}=\hspace{-1pt}{\mathrm {base}}_{n}(a_1,({\mathrm {I}}_{p,{\mathrm {{\iota }}}}(p')- {\mathrm {I}}_{p,{\mathrm {{\iota }}}}({\mathbf {0}}), {\mathrm {I}}_{p,{\mathrm {{\iota }}}}(p'+u')-{\mathrm {I}}_{p,{\mathrm {{\iota }}}}({\mathbf {0}}))$
. Then by Lemma 3.3,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu37.png?pub-status=live)
From this, we can see that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu38.png?pub-status=live)
On the other hand,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu39.png?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu40.png?pub-status=live)
We conclude that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu41.png?pub-status=live)
Lemma 4.5. Let
$s_1,s_2\in S_d$
, let
$u\in \mathbb {Z}^d$
be such that
$s_2=s_1+u$
, and let
$t_1,t_2\in T_{n}$
be such that
$s_1(t_1)=s_2(t_2)$
. Then for any
$s_1'\in S_d(s_1)$
and
$s_2'=s_1'+u\in S_d(s_2)$
, it holds that
$s_1'(t_1)=s_2'(t_2)$
.
Proof. Let
$p,v\in \{-1,0\}^{d}$
be such that
$s_1={\mathrm {faceAt}}(p,v)$
, which means that
$s_2={\mathrm {faceAt}}(p+u,v)$
. Assume that the cardinality of
$D=\{i\mid v[i]=-1\}$
is
$d'$
and let
$\iota :\{1,\ldots ,d'\}\to \{1,\ldots ,d\}$
be an injection with image D. Let
$n'\in \mathbb {Z}_+^{d'}$
be defined by
$n'[i]=n[{\mathrm {{\iota }}}(i)]$
for
$1\leq i\leq d'$
. Let
$s'\in S_{d'}$
be such that
${\mathrm {I}}_{p,{\mathrm {{\iota }}}}(s')=s_1'$
, which means that
${\mathrm {I}}_{p+u,{\mathrm {{\iota }}}}(s')=s_2'$
. By Lemma 4.4,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu42.png?pub-status=live)
Theorem 4.6. Let
$f\in X_{n}$
and let
$s,s+v\in S_d$
for some
$v\in \mathbb {Z}^d$
. For any
$z\in \mathbb {Z}^d$
, it holds that
$(s+v)(f[z])=s(f[z+v])$
.
Proof. Since v is a sum of vectors in the standard basis, the claim follows by induction if we show that
$(s+e_i)(f[z])=s(f[z+e_i])$
for
$1\leq i\leq d$
such that
$s,s+e_i\in S_d$
. We know that
$s+e_i\in S_d({\mathrm {\tau }}_i)$
and
$s\in S_d({\mathrm {\beta }}_i)$
. From
$f\in X_{n}$
, it follows that
${\mathrm {\tau }}_i(f[z])={\mathrm {\beta }}_i(f[z+e_i])$
and Lemma 4.5 implies that
$(s+e_i)(f[z])=s(f[z+e_i])$
.
The results of this section allow us to speak of values on edges in a tiling without referring to individual cubes. To be more precise, we imagine
$\mathbb {Z}^d$
to be the vertex set of an infinite directed graph, the d-dimensional grid, having an edge
$(z-e_i,z)$
(the edge from
$z-e_i$
to z) for every
$z\in \mathbb {Z}^d$
and
$1\leq i\leq d$
. When we consider a tiling
$f\in X_{n}$
and say that the cube
$f[z]$
is at position
$z\in \mathbb {Z}^d$
, we visualize this as the unit cube
$[-1,0]^d$
whose ‘top-right’ corner, the point
${\mathbf {0}}$
, is positioned at z. Then the edges of the cube
$f[z]$
overlap with some of the edges of the d-dimensional grid: an edge of the form
$s={\mathrm {faceAt}}(p,-e_i)$
overlaps the directed edge
${D}_z(s)=(z+p-e_i,z+p)$
in the grid. We also define the undirected edge
${E}_z(s)=\{z+p-e_i,z+p\}$
and the (undirected) label of the undirected edge
${E}_z(s)$
in the tessellation by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu43.png?pub-status=live)
To see that this is well defined, let
$z_1,z_2\in \mathbb {Z}^d$
and
$s_1={\mathrm {faceAt}}(p_1,-e_i)$
,
$s_2={\mathrm {faceAt}}(p_2,-e_i)$
be such that
${E}_{z_1}(s_1)={E}_{z_2}(s_2)$
. Then in particular,
$z_1+p_1=z_2+p_2$
and
$s_1=s_2+(p_1-p_2)$
. Because of this,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu44.png?pub-status=live)
We note that each edge
$\{z-e_i,z\}$
has a label, because
${E}_z({\mathrm {faceAt}}({\mathbf {0}},-e_i))= \{z-e_i,z\}$
. For an example of how a tessellation yields labels on the directed edges, see the left and middle parts of Figure 3 (for the drawn part of the grid, the definition can be applied in the form
$\unicode{x3bb} (f,{E}_{{\mathbf {0}}}(s))=sf[{\mathbf {0}}]$
).
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_fig3.png?pub-status=live)
Figure 3 Left: A tessellation with
${\mathrm {cube}}_{(2,3,5)}(10)$
positioned at the origin in
$\mathbb {Z}^3$
. Middle:
$\mathbb {Z}^3$
as a directed graph together with labels given by
${\mathrm {cube}}_{(2,3,5)}(10)$
. Right: The weights
${\mathrm {wgt}}_{(2,3,5)}(v)$
of the points
$v\in \mathbb {Z}^3$
have been added to the grid, the point
${\mathbf {0}}$
is at the upper right with
${\mathrm {wgt}}_{(2,3,5)}({\mathbf {0}})=1$
.
4.3. Path integrals over tilings
Throughout this subsection, let
$n\in \mathbb {Z}_+^d$
. We assign to every point
$v\in \mathbb {Z}^d$
a weight by
${\mathrm {wgt}}_{n}(v)=m(n,v)$
. A path (of length
$k-1$
) is a sequence
$P=(P_i)_{i=1}^k\in (\mathbb {Z}^d)^k$
, where for
$1\leq i< k$
, we have
$P_{i+1}-P_i=ae_j$
for some
$a\in \{-1,1\}$
,
$1\leq j\leq d$
. For
$1\leq i\leq k-1$
, let
$E_P(i)=P_{i+1}-P_i$
. Given a valid tiling
$f\in X_{n}$
and a pair of vectors
$p,p'\in \mathbb {Z}^d$
satisfying
$p'-p=ae_j$
for some
$a\in \{-1,1\}$
,
$1\leq j\leq d$
, we denote
${\mathrm {sign}}(p'-p)=a$
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu45.png?pub-status=live)
Then the path integral of f over P is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu46.png?pub-status=live)
See the right part of Figure 3 containing labels given by a tessellation together with the weights of the points. Computing the path integral over a path of length
$1$
consists of looking at the corresponding edge, multiplying its (undirected) label with the weight at its end point (now considered as a directed edge), and possibly multiplying the result by
$-1$
in the case when the direction of the path opposes the direction of the edge.
For
$v\in \mathbb {Z}^d$
, we denote
$P+v=(P_i+v)_{i=1}^k$
. We prove an equality connecting the integral of a tessellation f over a shifted path
$P+v$
to the integral of a shifted tessellation
$\sigma _v(f)$
over a path P.
Lemma 4.7. For a path P,
$f\kern1.2pt{\in}\kern1.2pt X_{n}$
, and
$v\in \mathbb {Z}^d$
, it holds that
$(P+v)f={\mathrm {wgt}}_{n}(v)P\sigma _v(f)$
.
Proof. We denote
$a_i={\mathrm {sign}}((P_{i+1}+v)-(P_i+v))={\mathrm {sign}}(P_{i+1}-P_i)$
and directly compute that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu47.png?pub-status=live)
Next we note a simple cancellation property.
Lemma 4.8. Let
$f\in X_{n}$
and let
$p,p'\in \mathbb {Z}^d$
satisfy
$p'-p=ae_i$
for some
$a\in \{-1,1\}$
,
$1\leq i\leq d$
. Then
$(p,p')f+(p',p)f=0$
.
Proof. We may compute
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu48.png?pub-status=live)
In the following lemma, we will show that the path integral over two consecutive edges around a square is equal to the path integral over the other two consecutive edges of the same square, see Figure 4. This may also be tested on the concrete examples of labels and weights in Figure 3.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_fig4.png?pub-status=live)
Figure 4 Let P,
$P'$
be the two paths between two opposite corners of a square. The path integrals of a tessellation f over P and
$P'$
are equal.
Lemma 4.9. Let
$f\in X_{n}$
and let
$p_0,p_1,p_2\in \mathbb {Z}^d$
satisfy
$p_1-p_0=a_1e_{i_1}$
and
$p_2-p_1=a_2e_{i_2}$
for some
$a_1,a_2\in \{-1,1\}$
and
$1\leq i_1\neq i_2\leq d$
. If
$p_1'=p_0+(p_2-p_1)$
, then
$(p_0,p_1')f$
and
$(p_1',p_2)f$
are defined, and
$(p_0,p_1)f+(p_1,p_2)f=(p_0,p_1')f+(p_1',p_2)f$
.
Proof. We first note that
$p_1'-p_0=p_2-p_1=a_2e_{i_2}$
and
$p_2-p_1'=p_1-p_0=a_1e_{i_1}$
. Therefore,
$(p_0,p_1')f$
and
$(p_1'+p_2)f$
are defined. To prove the lemma, it is sufficient to consider the case
$a_1=a_2=1$
(the case in Figure 4). To see this, we show how to reduce the other cases to this one.
Case 1:
$a_1=1, a_2=-1$
. Let
$q_0=p_1'$
,
$q_1=p_2$
,
$q_2=p_1$
, and
$q_1'=q_0+(q_2-q_1)= p_1'+(p_1-p_2)=p_0$
. Then
$q_1-q_0=p_2-p_1'=a_1e_{i_1}$
,
$q_2-q_1=p_1-p_2=(-a_2)e_{i_2}$
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu49.png?pub-status=live)
Case 2:
$a_1=-1,a_2=1$
. Let
$q_0=p_1$
,
$q_1=p_0$
,
$q_2=p_1'$
, and
$q_1'=q_0+(q_2-q_1)= p_1+(p_1'-p_0)=p_2$
. Then
$q_1-q_0=p_0-p_1=(-a_1)e_{i_1}$
,
$q_2-q_1=p_1'-p_0=a_2e_{i_2}$
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu50.png?pub-status=live)
Case 3:
$a_1\hspace{-1pt}=\hspace{-1pt}a_2\hspace{-1pt}=\hspace{-1pt}-1$
. Let
$q_0\hspace{-1pt}=\hspace{-1pt}p_2$
,
$q_1\hspace{-1pt}=\hspace{-1pt}p_1'$
,
$q_2\hspace{-1pt}=\hspace{-1pt}p_0$
, and
$q_1'=q_0+(q_2-q_1)= p_2+ (p_0-p_1')=p_1$
. Then
$q_1-q_0=p_1'-p_2=(-a_1)e_{i_1}$
,
$q_2-q_1=p_0-p_1'=(-a_2)e_{i_2}$
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu51.png?pub-status=live)
We will therefore assume that
$a_1=a_2=1$
and thus
$p_0<p_1<p_2$
. We will now represent all terms in the claimed equality in terms of a single cube
$t=f[p_2]$
in the tessellation f as follows:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu52.png?pub-status=live)
From this, we see that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu53.png?pub-status=live)
For a path
$P=(P_i)_{i=1}^k$
and for
$1\leq i<k$
, let
$a_i\in \{-1,1\}$
and let
$1\leq m(i)\leq d$
be such that
$a_i e_{m(i)}=E_P(i)$
. We say that an integer i with
$1\leq i<k-1$
is a return if
$m(i)=m(i+1)$
and
$a_i\neq a_{i+1}$
. We say that i is an inversion if
$m(i)>m(i+i)$
. The abelianization of P is the unique path
${\mathrm {Ab}}(P)=(P_i')_{i=1}^{k'}$
with
$a_i' e_{m'(i)}=E_{P'}(i)$
for
$1\leq i<k'$
that satisfies:
-
•
$P_1'=P_1$ and
$P_k'=P_k$ (
$P'$ and P have the same start and end points);
-
• if
$1\leq i<k'-1$ , then
$m'(i)\leq m'(i+1)$ (
$P'$ has no inversions);
-
• if
$1\leq i<k'-1$ and
$m'(i)=m'(i+1)$ , then
$a_{i}'=a_{i+1}'$ (
$P'$ has no returns).
We will use the abelianization to show that the integral of a tiling over a path depends only on the choice of the start and end points of the path. For the proof of the following lemma, let
$\ell (P)$
be the natural number whose base-d expansion is
$m(1)\cdots m(k)$
.
Lemma 4.10. For any path P and any valid tiling
$f\in X_{n}$
, it holds that
$Pf={\mathrm {Ab}}(P)f$
.
Proof. We will manipulate any given path
$P\neq {\mathrm {Ab}}(P)$
into another path
$P'$
which satisfies
$\ell (P')<\ell (P)$
. We also make sure that
$P'$
has the same start and end points as P (so
${\mathrm {Ab}}(P')={\mathrm {Ab}}(P)$
) and that
$P'f=Pf$
. Since
$\ell (P)$
is a natural number, this argument can be repeated only finitely many times and it will eventually yield the path
${\mathrm {Ab}}(P)$
. Assume therefore that
$P\neq {\mathrm {Ab}}(P)$
and let
$a_i e_{m(i)}=E_P(i)$
for
$1\leq i<k$
. There are two possibilities.
Case 1, a return:
$m(i)=m(i+1)$
and
$a_i\neq a_{i+1}$
for some
$1\leq i<k-1$
. Let
${P'=(P_1,\ldots ,P_i,P_{i+3},\ldots ,P_k)}$
. Then, using the fact that
$P_{i+2}=P_i$
, we see from Lemma 4.8 that
$(P_i,P_{i+1})f+(P_{i+1},P_{i+2})f=0$
and therefore
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu54.png?pub-status=live)
The path
$P'$
has the same start and end points as P, and it is shorter than P, so
$\ell (P')<\ell (P)$
.
Case 2, an inversion:
$m(i)>m(i+1)$
for some
$1\leq i<k-1$
. Let
$P_{i+1}'=P_i +(P_{i+2} -P_{i+1})$
and let
$P'=(P_1,\ldots ,P_{i},P_{i+1}',P_{i+2},\ldots ,P_k)$
. It follows from Lemma 4.9 that
$(P_i,P_{i+1})f+(P_{i+1},P_{i+2})f=(P_i,P_{i+1}')f=(P_{i+1}',P_{i+2})f$
and therefore
$Pf=P'f$
. Letting
$b_j e_{m'(i)}=E_{P'}(j)$
for
$1\leq j<k$
, we check that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu55.png?pub-status=live)
and thus
$m'(i)=m(i+1)<m(i)$
, so
$\ell (P')<\ell (P)$
.
Theorem 4.11. If two paths P,
$P'$
have the same start and end points, and
$f\in X_{n}$
, then
$Pf=P'f$
. In particular, if P is a cycle, then
$Pf=0$
.
Proof. This follows from the previous lemma, because
${\mathrm {Ab}}(P)={\mathrm {Ab}}(P')$
.
Remark 4.12. The inspiration for the terminology of ‘path integral’ comes from line integrals of holomorphic functions, and Theorem 4.11 is analogous to the fact that the line integral of a holomorphic function over a closed curve is equal to zero. In the case of meromorphic functions, if the line integral over a closed curve is not zero, its interior necessarily contains a non-removable singularity. Similarly, if we are given only a partial tiling of the plane and the path integral around a non-tiled part is not zero, then the interior of the path cannot be completed into a valid tiling: see Figure 5 for an example.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_fig5.png?pub-status=live)
Figure 5 A partial valid tiling f using
$T_{(2,5)}$
. There is no way to complete the tiling, because the path integral around the non-tiled part is not zero.
The situation here is reminiscent of the tiling group approach of [Reference Thurston12] for determining whether a collection of polygonal tiles can tile a finite region of the plane. In that approach, the tiles can be interpreted as describing relators in a group, and if the group element describing the boundary of the region is not the identity element, then tiling the region is not possible.
Now, given a tessellation
$f\in X_{n}$
and a pair of vectors
$p,p'\in \mathbb {Z}^d$
, define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu56.png?pub-status=live)
for any path P going from p to
$p'$
: by Theorem 4.11, the choice of the path P does not matter. For the directed pair
$(p,p')$
, we also define the (directed) label
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu57.png?pub-status=live)
The directed and undirected labels agree in the sense that
$\unicode{x3bb} (f,(z-e_i,z))=\unicode{x3bb} (f, \{z-e_i,z\})$
for
$z\in \mathbb {Z}^d$
and
$1\leq i\leq d$
. As one would hope, the labels do not change when the tessellation is shifted.
Lemma 4.13. Let
$f\in X_{n}$
and let
$p,p'\in \mathbb {Z}^d$
. For any
$v\in \mathbb {Z}^d$
, it holds that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu58.png?pub-status=live)
Proof. We have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu59.png?pub-status=live)
The labeling map inherits a summation property from the summation property of paths. The next lemma associates to any label in a tiling a mixed base representation of sorts, where the digits also come from labels in the tiling. In a special case, the base consists of powers of a single number
$m(n,v)\in \mathbb {Q}$
, which is however not necessarily an integer.
Lemma 4.14. Let
$p_0,p_1,\ldots ,p_k\in \mathbb {Z}^d$
and let
$f\in X_{n}$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu60.png?pub-status=live)
In particular, for
$v\in \mathbb {Z}^d$
and
$k\in \mathbb {N}$
, it holds that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu61.png?pub-status=live)
Proof. We have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu62.png?pub-status=live)
For the latter part, choose
$p_i=iv+p_0$
and note that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu63.png?pub-status=live)
The base
$m(n,v)$
of Lemma 4.14 is a natural number at least when
$v\leq {\mathbf {0}}$
. In that case, the ‘digits’
$\unicode{x3bb} (f,((i+1)v+p_0,iv+p_0))$
are actually just usual base-
$m(n,v)$
digits, which follows from the next lemma.
Lemma 4.15. If
$p\leq p'\in \mathbb {Z}^d$
and
$f\in X_{n}$
, then
$\unicode{x3bb} (f,(p,p'))\in \mathbb {N}$
and
$0\leq \unicode{x3bb} (f,(p,p'))<m(n,p-p')$
.
Proof. By Lemma 4.13, it is sufficient to show that if
$p\leq {\mathbf {0}}$
, then
$\unicode{x3bb} (f,(p,{\mathbf {0}}))\in \mathbb {N}$
and
$\unicode{x3bb} (f,(p,{\mathbf {0}}))<m(n,p)$
. The proof is by induction on the distance of p from the origin, the base case
$p={\mathbf {0}}$
is simple. Assume then that the claim holds for some
$p\leq {\mathbf {0}}$
and consider the vector
$p-e_i$
for some
$1\leq i\leq d$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu64.png?pub-status=live)
where we use the fact that
${\mathrm {base}}_{n}(f[p],({\mathbf {0}},-e_i))[2]<m(n,-e_i)/m(n,{\mathbf {0}})=n[i]$
.
Lemma 4.16. Let
$p_k\leq \cdots \leq p_0$
and let
$f\in X_{n}$
. Then for
$1\leq i\leq k'\leq k$
,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu65.png?pub-status=live)
Proof. By Lemma 4.14,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu66.png?pub-status=live)
From this, the claim follows for
$k'=k$
by the definition of a mixed base representation, because by Lemma 4.15,
$0\leq \unicode{x3bb} (f,(p_{i+1},p_{i}))<m(n,p_{i+1}-p_{i})= m(n,p_{i+1}-p_0)/m(n,p_{i}-p_0)$
for
$1\leq i\leq k$
. The claim for general
$k'$
follows from the case
$k'=k$
by Lemma 3.4.
Lemma 4.17. Let
$f\in X_{n}$
and let
$z\in \mathbb {Z}^d$
. Then
${\mathrm {val}}_{n}(f[z])=\unicode{x3bb} (f,(z-{\mathbf {1}},z))$
.
Proof. Up to shifting f, we may assume that
$z={\mathbf {0}}$
. Let
$t=f[{\mathbf {0}}]$
. For
$0\leq i\leq d$
, let
$e_i'=\sum _{j=1}^i e_j$
. Then
$e_i'$
form a binary d-directive sequence. Using the definition of the undirected label of a single edge, we see that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu67.png?pub-status=live)
Using this, we compute that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu68.png?pub-status=live)
For a face
$s={\mathrm {faceAt}}(p,v)$
and
$z\in \mathbb {Z}^d$
, denote
${D}_z(s)=(z+p+v,z+p)$
(this generalizes an earlier definition where s was an edge). We generalize the defining formula for the label of an edge in the following lemma.
Lemma 4.18. Let
$f\in X_{n}$
. For
$s={\mathrm {faceAt}}(p,v)$
and
$z\in \mathbb {Z}^d$
, it holds that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu69.png?pub-status=live)
Proof. Up to shifting f, we may assume that
$z={\mathbf {0}}$
. Let
$a\in \mathbb {N}$
be such that
${\mathrm {cube}}_{n}(a)=f[{\mathbf {0}}]$
. Then, by applying Lemma 4.16 with the choice
$(p_0,p_1,p_2,p_3)=({\mathbf {0}},p,p+v,{\mathbf {1}})$
,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu70.png?pub-status=live)
As we shall see, by Lemma 4.17, labels along the direction of
${\mathbf {1}}$
can be found by reading the values of a sequence of cubes and interpreting this sequence of values as the representation of a number in base
$N=\prod _{i=1}^d n[i]$
. We actually prove a more general statement by using Lemma 4.18.
Lemma 4.19. Let
$p_k\leq \cdots \leq p_0$
with
$p_{i+1}-p_i\geq -{\mathbf {1}}$
for
$0\leq i<k$
and let
$f\in X_{n}$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu71.png?pub-status=live)
In particular, for any
$k\in \mathbb {N}$
and
$v\in \mathbb {Z}^d$
,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu72.png?pub-status=live)
Proof. The first claim follows from Lemmas 4.14 and 4.18. The second claim follows from the first with the choice
$p_i=v-{\mathbf {i}}$
for
$0\leq i\leq k$
.
We conclude this subsection with some justification for why the elements of
$T_n$
are called multiplication cubes.
Proposition 4.20. Let
$p, p'\in \mathbb {Z}^d$
,
$v\in \mathbb {Z}^d$
, and let
$f\in X_n$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu73.png?pub-status=live)
Proof. By Theorem 4.11,
$(p+v,p'+v)f=(p+v,p)f+(p,p')f+(p',p'+v)f$
, and by replacing path integrals with labels, we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu74.png?pub-status=live)
The claim follows by dividing both sides of the equation with
$m(n,p'+v)$
.
The message of this proposition is that moving in
$\mathbb {Z}^d$
by a vector v changes the values of the labeling map by the factor of
$m(n,-v)$
, possibly up to an error term. In particular, moving to the direction of a basis vector
$e_i$
corresponds to multiplication by
$n[i]$
in this sense. Sometimes, the error term can be made equal to zero. We also remark that another type of tile set performing multiplication in a similar sense has appeared in [Reference Kari4].
Example 4.21. We may now explain the powers of two in Figure 1. Observe that in the figure,
$(-{\mathbf {3}}+e_1,-{\mathbf {3}})f=({\mathbf {0}},e_1)f=0$
. Then by applying the previous proposition for
$p=-{\mathbf {3}}$
,
$p'={\mathbf {0}}$
, and
$v=e_1$
, it follows that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu75.png?pub-status=live)
Alternatively, by using the latter part of Lemma 4.19, the values
$\unicode{x3bb} (f,(-{\mathbf {3}},{\mathbf {0}}))=64$
and
$\unicode{x3bb} (f,(-{\mathbf {3}}+e_1,e_1))=128$
can be read directly from the figure. Similar arguments connect the other powers of two appearing in the figure with each other.
Next we show that Proposition 4.20 can be extended to path integrals over some infinite paths so that the error terms vanish under very natural assumptions, thus connecting multiplication operations to moving around tessellations in an even more satisfactory sense. Given vectors
$p,v\in \mathbb {Z}^d$
with
$v\leq {\mathbf {0}}$
, we consider the infinite path going through p along v, and given
$f\in X_n$
, we denote
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu76.png?pub-status=live)
Alternatively, we can rewrite
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu77.png?pub-status=live)
where
$\unicode{x3bb} (f,(p-i v,p-(i+1)v))$
and
$\unicode{x3bb} (f,(p+(i+1)v,p+iv))$
are natural numbers less than
${\mathrm {wgt}}_n(v)$
by Lemma 4.15. The names of these quantities come from the fact that these are essentially (up to ignoring the factor
${\mathrm {wgt}}_n(p)$
) the fractional parts and integral parts of some quantity represented in base
${\mathrm {wgt}}_n(v)$
:
${\mathrm {frac}}_{p,v}(f)/{\mathrm {wgt}}_n(p)\in [0,1]$
and
${\mathrm {int}}_{p,v}(f)/{\mathrm {wgt}}_n(p)\in \mathbb {N}$
if it is finite.
We write
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu78.png?pub-status=live)
In the special case
$p={\mathbf {0}}$
, we may omit the subscript p, and in this case, the sum above yields a base-
${\mathrm {wgt}}_n(v)$
representation for
${\mathrm {real}}_v(f)$
. If additionally
$v=-{\mathbf {1}}$
, we may also omit the subscript v and say that the tessellation f represents the number
${\mathrm {real}}(f)$
, but in Proposition 4.25, it will turn out that the choices of p and v do not matter much. By Lemma 4.17, the number
${\mathrm {real}}(f)$
can be read directly from the cubes on the main diagonal of the tessellation f:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu79.png?pub-status=live)
If
${\mathrm {wgt}}_n(v)>1$
, then in the sum defining
${\mathrm {int}}_{p,v}(f)$
, the part
${\mathrm {wgt}}_n(v)^{i}$
tends to infinity and so the finiteness of the sum is equivalent to the equality
$\unicode{x3bb} (f,(p+(i+1)v,p+iv))=0$
(or equivalently
$(p+(i+1)v,p+i v)f=0$
) holding for all sufficiently large i. In fact, finiteness of
${\mathrm {int}}_{p,v}(f)$
also implies that many other labels are equal to zero.
Lemma 4.22. Let
$f\in X_n$
. The implications (1)
$\implies $
(2)
$\implies $
(3) hold for the statements:
-
(1)
${\mathrm {int}}_{p,v}(f)$ is finite for some
$p,v\in \mathbb {Z}^d$ with
$v\ll {\mathbf {0}}$ and
${\mathrm {wgt}}_n(v)>1$ ;
-
(2)
$\unicode{x3bb} (f,(p_2,p_1))=(p_2,p_1)f=0$ whenever
$p_2\leq p_1$ and
${\mathrm {wgt}}_n(p_1)$ is sufficiently large;
-
(3)
${\mathrm {int}}_{p,v}(f)$ is finite for all
$p,v\in \mathbb {Z}^d$ with
$v\leq {\mathbf {0}}$ and
${\mathrm {wgt}}_n(v)>1$ .
In particular, finiteness of
${\mathrm {int}}_{p,v}(f)$
does not depend on the choice of p and v among vectors such that
$v\ll {\mathbf {0}}$
and
${\mathrm {wgt}}_n(v)>1$
.
Proof. To show the implication (1)
$\implies $
(2), assume that
${\mathrm {int}}_{p,v}(f)$
is finite for some
$v\ll {\mathbf {0}}$
and
${\mathrm {wgt}}_n(v)>1$
, and consider any
$p_2\leq p_1$
such that
${\mathrm {wgt}}_n(p_1)>{\mathrm {real}}_{p,v}(f)$
. Since
${v\ll {\mathbf {0}}}$
, we may fix some
$I\in \mathbb {N}$
such that
$p_1\leq p-I v$
and
$p+I v\leq p_2$
. If it were the case that
$\unicode{x3bb} (f,(p_2,p_1))>0$
, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu80.png?pub-status=live)
and
$\unicode{x3bb} (f,(p_2,p_1))>0$
implies that
${\mathrm {real}}_{p,v}(f)>0$
, but dividing by
${\mathrm {real}}_{p,v}(f)$
in the inequalities yields
$1>\unicode{x3bb} (f,(p_2,p_1))$
, which is a contradiction.
To show the implication (2)
$\implies $
(3), assume that
$\unicode{x3bb} (f,(p_2,p_1))=0$
whenever
$p_2\leq p_1$
and
${\mathrm {wgt}}_n(p_1)$
is sufficiently large. The number
${\mathrm {wgt}}_n(p+i v)$
tends to infinity as i tends to infinity, so by the assumption,
$\unicode{x3bb} (f,(p+(i+1)v,p+iv))=0$
for sufficiently large i and thus
${\mathrm {int}}_v(f)$
is finite.
Lemma 4.23. For
$p,q,v,w\in \mathbb {Z}^d$
satisfying
$v,w\leq {\mathbf {0}}$
and
${\mathrm {wgt}}_n(v),{\mathrm {wgt}}_n(w)>1$
, and for
$f\in X_n$
, it holds that
${\mathrm {frac}}_{p,v}(f)=(p,q)f+{\mathrm {frac}}_{q,w}(f)$
.
Proof. It suffices to prove that
${\mathrm {frac}}_{-{\mathbf {k}}}(f)=({\mathbf {0}},p)f+{\mathrm {frac}}_{p,v}(f)$
for sufficiently large
$k\in \mathbb {N}$
, because then,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu81.png?pub-status=live)
Let therefore
$k\in \mathbb {N}$
be so large that
$-{\mathbf {k}}=v+v'$
for some
$v'\ll {\mathbf {0}}$
. For sufficiently large
${i\in \mathbb {N}}$
, it holds that
$p-iv\leq -iv-iv'$
, and so an application of Lemma 4.15 at the position indicated below shows that the following expression is non-negative and simultaneously bounds it from above:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu82.png?pub-status=live)
Lemma 4.24. Let
$p,q,v,w\in \mathbb {Z}^d$
satisfy
$v\ll {\mathbf {0}}$
,
$w\leq {\mathbf {0}}$
and
${\mathrm {wgt}}_n(v),{\mathrm {wgt}}_n(w)>1$
, and let
$f\in X_n$
. If
${\mathrm {int}}_{p,v}(f)$
is finite, it holds that
${\mathrm {int}}_{p,v}(f)+(p,q)f={\mathrm {int}}_{q,w}(f)$
.
Proof. From Lemma 4.22, it follows that
${\mathrm {int}}_{q,w}(f)$
is also finite. By using Lemma 4.22, choose a sufficiently large
$I\in \mathbb {N}$
so that
$(p',p+Iv)f=0$
and
$(q',q+Iw)f=0$
whenever
$p'\leq p+Iv$
and
$q'\leq q+Iw$
. In particular,
${\mathrm {int}}_{p,v}(f)=(p+Iv,p)f$
and
${\mathrm {int}}_{q,w}(f)= (q+Iw,q)f$
. Fix some
$r\in \mathbb {Z}^d$
such that
$r\leq p+Iv$
and
$r\leq p+Iw$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu83.png?pub-status=live)
Proposition 4.25. Let
$p,q,v,w\in \mathbb {Z}^d$
be such that
$v\ll {\mathbf {0}}$
,
$w\leq {\mathbf {0}}$
, and
${\mathrm {wgt}}_n(v),{\mathrm {wgt}}_n (w)>1$
, and let
$f\in X_n$
. If
${\mathrm {real}}_{p,v}(f)$
is finite, it holds that
${\mathrm {real}}_{p,v}(f)={\mathrm {real}}_{q,w}(f)$
.
Proof. Combine the two previous lemmas to see that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu84.png?pub-status=live)
and subtract
$(p,q)f$
from both sides of the equality.
We are now ready to present the analogue of Proposition 4.20 for infinite paths. The following proposition shows that shifting a tessellation by
$\sigma _v$
multiplies the real number it represents by
${\mathrm {wgt}}_n(-v)$
without additional error terms.
Proposition 4.26. For
$f\in X_n$
such that
${\mathrm {real}}(f)$
is finite and
$v\in \mathbb {Z}^d$
, it holds that
${\mathrm {real}}(\sigma _v(f))={\mathrm {wgt}}_n(-v){\mathrm {real}}(f)$
.
Proof. We compute
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu85.png?pub-status=live)
4.4. Macrotiles and microtiles
In Figure 6, tiles of
$T_{(2,5)}$
(left) are grouped into
$2\times 2$
squares (middle), values in the centers of the new squares are given by computing the labels from the bottom left to the top right in the original
$2\times 2$
squares, and labels for the edges of the new squares are given by computing the labels of the boundaries of the original
$2\times 2$
squares. For example, assuming that the top right corner of the top right square is at the origin of a tiling f, the value in the center of the new top right square comes from computing
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu86.png?pub-status=live)
and the label for the right edge of the new top right square comes from computing (with the choices
$p_0={\mathbf {0}}$
,
$p_1=-e_2$
, and
$p_2=-2e_2$
in Lemma 4.19)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu87.png?pub-status=live)
It turns out that the resulting squares are tiles of
$T_{(4,25)}$
. Grouping these new tiles again into
$2\times 2$
squares yields tiles of
$T_{(16,625)}$
. In this subsection, we show how partitioning a valid tessellation into larger squares, and even into more general (multidimensional) parallelepipeds, yields new multiplication cubes.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_fig6.png?pub-status=live)
Figure 6 Tiles from
$T_{(2,5)}$
(left) grouped into larger macrotiles of
$T_{(4,25)}$
(middle) and
$T_{(16,625)}$
(right).
Throughout this subsection, let
$n\in \mathbb {Z}_+^d$
and let A be a
$d\times d'$
natural number matrix. We interpret the columns
$Ae_i$
of A as the generating vectors of the parallelepiped which will yield the new multiplication cubes, e.g., in the case of Figure 6, we would choose
$A={\mathrm {diag}}(2,2)$
. We denote
$n^A=m(n,(-Ae_i)_{i=1}^{d'})$
, in particular,
$n^I=n$
for the identity matrix I. We define the A-macrotile map
${\mathrm {M}}_{A,n}:X_{n}\to X_{n^{A}}$
(usually written just as
${\mathrm {M}}_A$
) by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu88.png?pub-status=live)
for
$f\in X_{n}$
,
$v\in \mathbb {Z}^{d'}$
. One needs to check that
${\mathrm {M}}_A(f)$
really belongs to
$X_{n^A}$
. It is simple to verify that
$\unicode{x3bb} (f,(A(v-{\mathbf {1}}),Av))\in \Sigma _{N'}$
with
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu89.png?pub-status=live)
because
$\unicode{x3bb} (f,(A(v-{\mathbf {1}}),Av))<m(n,-A{\mathbf {1}})=N'$
by Lemma 4.15.
In Theorem 4.27, it will turn out that labels in the original tiling correspond to the labels of faces in the macrotiling. From this, it follows that the hyperfaces of neighboring cubes match in
${\mathrm {M}}_A(f)$
and that
${\mathrm {M}}_A(f)\in X_{n^A}$
.
Let us observe that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu90.png?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu91.png?pub-status=live)
Theorem 4.27. Let
$f\in X_{n}$
, let
$z\in \mathbb {Z}^{d'}$
, and let
$t={\mathrm {M}}_A(f)[z]$
. For
$s={\mathrm {faceAt}}(p,u)$
with
$p,u\in \mathbb {Z}^{d'}$
, it holds that
$st=\unicode{x3bb} (f,(A(z+p+u),A(z+p)))$
. In particular,
${\mathrm {\tau }}_i({\mathrm {M}}_A(f)[z])={\mathrm {\beta }}_i({\mathrm {M}}_A(f)[z+e_i])$
for any
$1\leq i\leq d'$
.
Proof. By applying Lemma 4.16 with the choice
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu92.png?pub-status=live)
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu93.png?pub-status=live)
which proves the first claim. To prove the second claim, we apply the first claim twice:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu94.png?pub-status=live)
Remark 4.28. Consider the special case where the columns of A are the first
$d'$
elementary basis vectors of
$\mathbb {Z}^d$
. Then for every
$z'\in \mathbb {Z}^{d'}$
, we have
$Az'=z'{\mathrm {\vee }}_{d'}{\mathbf {0}}$
, where
${\mathbf {0}}\in \mathbb {Z}^{d-d'}$
. Fix
$z'\in \mathbb {Z}^{d'}$
and let
$z=Az'$
. Let
$s'={\mathrm {faceAt}}(p',u')$
for
$p',u'\in \mathbb {Z}^{d'}$
and let
$p=Ap'$
,
$u=Au'$
. Then
$p,u\in \{-1,0\}^d$
are orthogonal, so we may define
$s={\mathrm {faceAt}}(p,u)$
and it follows that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu95.png?pub-status=live)
The meaning of this equality is that the tessellation
${\mathrm {M}}_A(f)$
is formed by looking at a cut of the tessellation f along the first
$d'$
coordinate axes.
As a more concrete example, consider
$f\in X_{(2,3,5)}$
, and let the columns of A be the basis vectors
$e_1=(1,0,0)$
and
$e_2=(0,1,0)$
. For any
$z'=(z_1,z_2)\in \mathbb {Z}^2$
and any face of the two-dimensional cube
$s={\mathrm {faceAt}}((p_1,p_2),(u_1,u_2))$
, one finds that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu96.png?pub-status=live)
Assuming that the cube in Figure 2 is equal to
$f[(z_1,z_2,0)]$
, then the values of all the hyperfaces of
${\mathrm {M}}_A(f)[(z_1,z_2)]$
are equal to the values on the corresponding hyperfaces of
$f[(z_1,z_2,0)]$
on the plane
$z=0$
. This explains why the top face and its adjacent edges in Figure 2 yield a multiplication cube from
$T_{(2,3)}$
.
Lemma 4.29. Let
$f\in X_{n}$
and let
$p,p'\in \mathbb {Z}^{d'}$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu97.png?pub-status=live)
Proof. The two equalities are equivalent, so it suffices to prove the first one. We first show for
$z,v\in \mathbb {Z}^d$
,
$v\geq {\mathbf {0}}$
, that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu98.png?pub-status=live)
In the special case
$v=e_i$
for some
$1\leq i\leq d'$
, let
$t={\mathrm {M}}_A(f)[z]$
and
$s={\mathrm {faceAt}}({\mathbf {0}},-e_i)$
. Then by Theorem 4.27,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu99.png?pub-status=live)
In general,
$v=\sum _{k=1}^m e_{i_k}$
for some
$m\in \mathbb {N}$
. Denote
$v_j=\sum _{k=1}^j e_{i_k}$
for
$0\leq j\leq m$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu100.png?pub-status=live)
To prove the statement of the lemma, let
$p"\in \mathbb {Z}^d$
such that
$p"\geq p$
and
$p"\geq p'$
. The previous part is applied in the following with the choices
$z=p"$
and
$v=p"-p$
or
$v=p"-p'$
, thus yielding
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu101.png?pub-status=live)
Now we can show that the real number represented by a tessellation is preserved by the macrotile map
${\mathrm {M}}_A$
.
Proposition 4.30. Let A be a
$d\times d'$
natural number matrix such that
$N'={\mathrm {wgt}}_n(-A{\mathbf {1}})>1$
. For any
$f\in X_n$
such that
${\mathrm {real}}(f)$
is finite, it holds that
${\mathrm {real}}({\mathrm {M}}_A(f))={\mathrm {real}}(f)$
.
Proof. Finiteness of
${\mathrm {real}}(f)$
will be required for applying Lemma 4.25. We compute
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu102.png?pub-status=live)
In the following lemmas, we show that the composition of macrotile maps corresponds to matrix multiplication.
Lemma 4.31. Let A be a
$d\times d'$
and let B be a
$d'\times d"$
natural number matrix. Then
$(n^A)^B=n^{AB}$
.
Proof.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu103.png?pub-status=live)
Lemma 4.32. Let A be a
$d\times d'$
and let B be a
$d'\times d"$
natural number matrix. Then
${\mathrm {M}}_{B,n^A}\circ {\mathrm {M}}_{A,n}={\mathrm {M}}_{AB,n}$
.
Proof. For
$f\in X_{n}$
and
$v\in \mathbb {Z}^{d"}$
, we compute
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu104.png?pub-status=live)
Now let A be a
$d\times d'$
natural number matrix all of whose rows contain a positive integer. Then the A-macrotile map is going to have an inverse, the A-microtile map
${{\mathrm {\mu }}_{A,n}:X_{n^{A}}\to X_{n}}$
. By the assumption on A for every element
$x\in \mathbb {Z}^d$
, there is a
$z_1\in \mathbb {Z}^{d'}$
such that
$Az_1\geq x$
and thus x can be written in the form
$x=Az_1-v$
with
$v\in \mathbb {Z}^d$
,
$v\geq {\mathbf {0}}$
. Let
$z_2\in \mathbb {Z}^{d'}$
satisfy
$z_1\geq z_2$
,
$x-{\mathbf {1}}\geq Az_2$
, let
$a=\unicode{x3bb} (f,(z_2,z_1))$
for
$f\in X_{n^A}$
and define the map
${\mathrm {\mu }}_{A,n}$
(usually written just as
${\mathrm {\mu }}_A$
) by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu105.png?pub-status=live)
We need to verify that
${\mathrm {\mu }}_A(f)[x]$
is well defined (which we will do in Lemma 4.33) and that
${\mathrm {\mu }}_A(f)$
is indeed in
$X_{n}$
(which we will do in Theorem 4.35). It is simple that
${\mathrm {base}}_{n}(a,(-v,-v-{\mathbf {1}}))[2])\in \Sigma _N$
with
$N=\prod _{i=1}^d n[i]$
, since
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu106.png?pub-status=live)
The assumption that all the rows of A contain a positive integer will hold until Theorem 4.40. Frequent appearances of the map
$\mu _A$
(which is not defined for other kinds of matrices) are also reminders of this.
Lemma 4.33. Let
$f\in X_{n^A}$
and let
$x\in \mathbb {Z}^d$
. Let
$z_1,z_1'\in \mathbb {Z}^d$
,
$v,v'\in \mathbb {Z}^{d}$
,
$v,v'\geq {\mathbf {0}}$
be such that
$x=Az_1-v=Az_1'-v'$
. Let
$z_2,z_2'\in \mathbb {Z}^{d'}$
satisfy
$z_1\geq z_2$
,
$z_1'\geq z_2'$
,
$x-{\mathbf {1}}\geq Az_2, Az_2'$
. Denote
$a=\unicode{x3bb} (f,(z_2,z_1))$
and
$a'=\unicode{x3bb} (f,(z_2',z_1'))$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu107.png?pub-status=live)
Proof. It is possible to choose
$z_1",z_2"\in \mathbb {Z}^{d'}$
and
$v"\in \mathbb {Z}^d$
,
$v"\geq {\mathbf {0}}$
so that
$x=Az_1"-v"$
,
$z_1"\geq z_2"$
,
$x-{\mathbf {1}}\geq Az_2"$
, and furthermore,
$z_1"\geq z_1,z_1'$
and
$z_2"\leq z_2,z_2'$
, that is,
$z_1"$
and
$z_2"$
are common upper and lower bounds for
$z_1,z_1'$
and
$z_2,z_2'$
. Therefore, to prove the lemma, it is sufficient to consider the case of
$z_1'\geq z_1$
and
$z_2'\leq z_2$
.
Observe that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu108.png?pub-status=live)
By Lemma 4.15,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu109.png?pub-status=live)
and therefore,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu110.png?pub-status=live)
Let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu111.png?pub-status=live)
To see that the mixed base expression after this paragraph contains a valid d-directive sequence, we need to check that
$A(z_1-z_1')\geq -v'$
and
$-v'-{\mathbf {1}}\geq A(z_2-z_1')$
. By definition,
$Az_1-v=Az_1'-v'$
and thus
$-v'=A(z_1-z_1')-v\leq A(z_1-z_1')$
. The other inequality is shown by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu112.png?pub-status=live)
By Lemma 3.3,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu113.png?pub-status=live)
We conclude by computing
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu114.png?pub-status=live)
Lemma 4.34. Let
$f\in X_{n^A}$
and let
$x\in \mathbb {Z}^d$
. Let
$z_1\in \mathbb {Z}^{d'}$
,
$v\in \mathbb {Z}^{d}$
,
$v\geq {\mathbf {0}}$
be such that
$x=Az_1-v$
. Let
$z_2\in \mathbb {Z}^{d'}$
satisfy
$z_1\geq z_2$
and
$x-{\mathbf {1}}\geq Az_2$
. Denote
$a=\unicode{x3bb} (f,(z_2,z_1))$
. For any face
$s={\mathrm {faceAt}}(p,u)$
, it holds that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu115.png?pub-status=live)
Proof. Let
$(a_0,a_1,a_2)={\mathrm {base}}_{n}(a,(-v,-v-{\mathbf {1}}))$
. By Lemma 3.5,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu116.png?pub-status=live)
so we can compute
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu117.png?pub-status=live)
Theorem 4.35. Let
$f\in X_{n^A}$
. Then
${\mathrm {\mu }}_A(f)\in X_{n}$
.
Proof. We need to show that
${\mathrm {\tau }}_i({\mathrm {\mu }}_A(f)[w])={\mathrm {\beta }}_i({\mathrm {\mu }}_A(f)[w+e_i])$
for any
$w\in \mathbb {Z}^d$
and
$1\leq i\leq d$
. Let
$z_1,z_2\in \mathbb {Z}^{d'}$
be such that Lemma 4.34 can be applied at coordinates w and
$w+e_i$
. Let
$w=Az_1-v$
and
$w+e_i=Az_1-u$
, from which it follows that
${-v+e_i=-u}$
. Denote
$a=\unicode{x3bb} (f,(z_2,z_1))$
. By applying Lemma 4.34 two times, we see that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu118.png?pub-status=live)
Lemma 4.36. Let
$f\in X_{n^A}$
and let
$p,p'\in \mathbb {Z}^{d'}$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu119.png?pub-status=live)
Proof. The two equalities are equivalent, so it suffices to prove the first one. We first show for
$z_1\in \mathbb {Z}^{d'},v\in \mathbb {Z}^d$
,
$v\geq {\mathbf {0}}$
that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu120.png?pub-status=live)
We can represent
$Av=\sum _{k=1}^m e_{i_k}$
for some
$m\in \mathbb {N}$
. Denote
$v^{\prime }_j=\sum _{k=1}^j e_{i_k}$
for
$0\leq j\leq m$
, so in particular,
$Av=v^{\prime }_m$
. Denote
$s_i={\mathrm {faceAt}}({\mathbf {0}},-e_i)$
for any
$1\leq i\leq m$
. Choose
${z_2\in \mathbb {Z}^{d'}}$
so that Lemma 4.34 can be applied to faces
$s_{i_{j+1}}$
of the microtiles at coordinates of the form
$Az_1-v^{\prime }_j$
. Let
$a=\unicode{x3bb} (f,(z_2,z_1))$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu121.png?pub-status=live)
On the last line, we need that
$(z_1,z_1-v,z_2)$
is a
$d'$
-directive sequence, but this can be achieved by choosing
$z_2$
suitably.
For the general case, let
$p"\in \mathbb {Z}^d$
such that
$p"\geq p$
and
$p"\geq p'$
. The previous part is applied in the following with the choices
$z=p"$
and
$v=p"-p$
or
$v=p"-p'$
, thus yielding
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu122.png?pub-status=live)
Now we can show that the real number represented by a tessellation is preserved also by the microtile map
${\mathrm {\mu }}_A$
.
Proposition 4.37. Let A be a
$d\times d'$
natural number matrix all of whose rows contain a positive integer. For any
$f\in X_{n^A}$
, it holds that
${\mathrm {real}}({\mathrm {\mu }}_A(f))={\mathrm {real}}(f)$
.
Proof. We observe that
${\mathrm {wgt}}_n(-{\mathbf {1}})>1$
if and only if
${\mathrm {wgt}}_n(-A{\mathbf {1}})>1$
. The case
${\mathrm {wgt}}_n(-{\mathbf {1}})={\mathrm {wgt}}_n(-A{\mathbf {1}})=1$
is simple because then
${\mathrm {real}}({\mathrm {\mu }}_A(f))={\mathrm {real}}(f)=0$
.
Assume then that
${\mathrm {wgt}}_n(-{\mathbf {1}})>1$
and
${\mathrm {wgt}}_n(-A{\mathbf {1}})>1$
. Because
$-{\mathbf {1}}\ll {\mathbf {0}}$
and
$-A{\mathbf {1}}\ll {\mathbf {0}}$
, it follows from Proposition 4.25 that the equality
${\mathrm {real}}({\mathrm {\mu }}_A(f))={\mathrm {real}}_{-A{\mathbf {1}}}({\mathrm {\mu }}_A(f))$
holds if one these quantities is finite (and it trivially holds if both of them are infinite). Therefore,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu123.png?pub-status=live)
Theorem 4.38. Let A be a natural number matrix all of whose rows contain a positive integer. Then
${\mathrm {M}}_{A,n}$
and
${\mathrm {\mu }}_{A,n}$
are inverse maps of each other.
Proof. Let
$f\in X_{n}$
and consider
$x=Az_1-v$
with
$z_1\in \mathbb {Z}^{d'}$
,
$v\in \mathbb {Z}^{d}$
,
$v\geq {\mathbf {0}}$
. Let
$z_2\in \mathbb {Z}^{d'}$
satisfy
$z_1\geq z_2$
and
$x-{\mathbf {1}}\geq Az_2$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu124.png?pub-status=live)
For the other direction, let
$f\in X_{n^A}$
and
$z\in \mathbb {Z}^{d'}$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu125.png?pub-status=live)
As a corollary, we can show that any bi-infinite sequence of cubes occurs on the main diagonal of precisely one valid tessellation.
Corollary 4.39. For every
$x\in \Sigma _N^{\mathbb {Z}}$
with
$N={\mathrm {wgt}}_n(-{\mathbf {1}})$
, there is a unique
$f\in X_n$
such that
${\mathrm {val}}_n(f[{\mathbf {i}}])=x[i]$
for all
$i\in \mathbb {Z}$
.
Proof. Let A be the
$d\times 1$
matrix with all entries equal to
$1$
, so
$n^A=(N)$
and there is a
$g\in X_{n^A}=X_{(N)}=T_{(N)}^{\mathbb {Z}}$
such that
${\mathrm {val}}_{(N)}(g[i])=x[i]$
for all
$i\in \mathbb {Z}$
. For
$f\in X_n$
, the equality
${\mathrm {M}}_A(f)=g$
holds if and only if
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu126.png?pub-status=live)
so we need to show that there is a unique
$f\in X_n$
such that
${\mathrm {M}}_A(f)=g$
. This follows because by Theorem 4.38, the map
${\mathrm {M}}_A$
is bijective.
We will show that
${\mathrm {M}}_A$
is surjective for a
$d\times d'$
natural number matrix A even without the assumption that all its rows contain a positive integer.
Theorem 4.40. Let A be a
$d\times d'$
natural number matrix. Then
${\mathrm {M}}_A$
is surjective.
Proof. We have
${\mathrm {M}}_A={\mathrm {M}}_{A,n}$
with
$n\in \mathbb {Z}_+^d$
. Let B be a
$d'\times 1$
matrix with all entries equal to
$1$
. By Theorem 4.38, the map
${\mathrm {M}}_{B,n^A}$
is bijective, so
${\mathrm {M}}_{A,n}$
is surjective if and only if
${\mathrm {M}}_{AB,n}={\mathrm {M}}_{B,n^A}\circ {\mathrm {M}}_{A,n}$
is surjective. Since
$AB$
is a
$d\times 1$
matrix, by rewriting
$AB$
as A, we may assume without loss of generality that A is a
$d\times 1$
matrix. Then
$n^A=(N')$
for some
$N'\in \mathbb {Z}_+$
and
$X_{n^A}=T_{(N')}^{\mathbb {Z}}$
.
The case
$N'=1$
is simple because then
$X_{n^A}$
contains only one point, so we may assume that
$N'>1$
. By continuity of
${\mathrm {M}}_A$
, it is sufficient to show that the image of
${\mathrm {M}}_A$
contains a dense subset of
$X_{n^A}$
. One dense subset is given by
$g\in X_{n^A}$
such that
${\mathrm {real}}(g)=\xi $
for some
$\xi \in \mathbb {R}\setminus \mathbb {Q}$
, and for any other
$g'\in X_{n^A}$
with
${\mathrm {real}}(g')=\xi $
, it follows that
$g'=g$
, because irrational numbers have a unique representation in any integer base. Thus, for any fixed
$\xi \in \mathbb {R}\setminus \mathbb {Q}$
and
$g\in X_{n^A}$
with
${\mathrm {real}}(g)=\xi $
, we will present an
$f\in X_n$
such that
${{\mathrm {M}}_{A}(f)=g}$
. We choose
$f\in X_n$
with the property that
${\mathrm {real}}(f)={\mathrm {real}}(g)$
. This is possible, because
${\mathrm {real}}(f)$
depends only on the choice of cubes on the main diagonal of f, and these can be chosen freely by Corollary 4.39. By Proposition 4.30, we have
${\mathrm {real}}({\mathrm {M}}_{A}(f))={\mathrm {real}}(f)={\mathrm {real}}(g)=\xi $
. But because for any
$g'\in X_{n^A}$
the equality
${\mathrm {real}}(g')=\xi $
implies
$g'=g$
, it follows that
${\mathrm {M}}_A(f)=g$
.
Corollary 4.41. Let A be a
$d\times d'$
natural number matrix. Then
$(X_n,\sigma _{Az})$
has
$(X_{n^A},\sigma _z)$
as a factor for every
$z\in \mathbb {Z}^{d'}$
via
${\mathrm {M}}_A$
. If every row of A contains a positive number, the map
${\mathrm {M}}_A$
is a conjugacy.
Proof. By Theorem 4.40, the map
${\mathrm {M}}_A$
is surjective, so it remains to show that
$\sigma _z\circ {\mathrm {M}}_A={\mathrm {M}}_A \circ \sigma _{Az}$
. Let
$f\in X_{n}$
and
$v\in \mathbb {Z}^{d'}$
be arbitrary. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu127.png?pub-status=live)
In the case when every row of A contains a positive number, the map
${\mathrm {M}}_A$
is bijective by Theorem 4.38.
5. Multiplication automata
5.1. Preliminaries on multiplication automata
Let
$\Sigma $
be an alphabet. Concatenations of symbols from
$\Sigma $
are called words, and for
$k\in \mathbb {Z}_+$
, the set of words of length k is denoted by
$\Sigma ^k$
. Elements of the one-dimensional subshift
$\Sigma ^{\mathbb {Z}}$
are bi-infinite sequences that are called configurations. As previously in this paper, the value of
$x\in \Sigma ^{\mathbb {Z}}$
at a coordinate
$i\in \mathbb {Z}$
is denoted by
$x[i]$
. More generally, given an interval
$I=[i,j]$
with
$i\leq j\in \mathbb {Z}$
, x has a finite subword denoted by
$x[I]=x[i,j]=x[i]x[i+1]\cdots x[j]\in \Sigma ^{j-i+1}$
.
Definition 5.1. Let
$\Sigma $
be an alphabet. We say that a map
$F:\Sigma ^{\mathbb {Z}}\to \Sigma ^{\mathbb {Z}}$
is a cellular automaton if for some
$m\leq n\in \mathbb {N}$
, there exists a map
$f:\Sigma ^{m-n+1}\to \Sigma $
(a so-called
$(m,n)$
local rule for F) such that
$F(x)[i]=f(x[i+m,i+n])$
for
$i\in \mathbb {Z}$
.
If
$F:\Sigma ^{\mathbb {Z}}\to \Sigma ^{\mathbb {Z}}$
is a cellular automaton, then
$(\Sigma ^{\mathbb {Z}},F)$
is a dynamical system. Bijective cellular automata are often called reversible, because their inverse maps are also cellular automata (see e.g., [Reference Kari6, Theorem 2]).
For a CA
$F:\Sigma ^{\mathbb {Z}}\to \Sigma ^{\mathbb {Z}}$
, a configuration
$x\in X$
, and an interval
$I=[i,j]$
with
${i\leq j\in \mathbb {Z}}$
, the I-trace of x (with respect to F) is the sequence
${\mathrm {Tr}}_{F,I}(x)$
over the alphabet
$\Sigma ^{j-i+1}$
(that is, the symbols of the alphabet are words over
$\Sigma $
) defined by
${\mathrm {Tr}}_{F,I}(x)[t]=F^t(x)[I]$
for
$t\in \mathbb {N}$
. If
$I=\{i\}$
is the degenerate interval, we may write
${\mathrm {Tr}}_{F,i}(x)$
and if
$i=0$
, we may write
${\mathrm {Tr}}_F(x)$
. If the CA F is clear from the context, we may write
${\mathrm {Tr}}_I(x)$
. The I-trace subshift of F is
$(\Xi _I(F),\sigma )$
, where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu128.png?pub-status=live)
It is easy to see that
$\Xi _{[i,j]}(F)=\Xi _{[i-j,0]}(F)$
and, therefore, the set of all trace subshifts satisfies
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu129.png?pub-status=live)
We call
$(\Xi _{[-(k-1),0]},\sigma )$
the width k trace subshift of F.
For examining multiplication CA, it is convenient to define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu130.png?pub-status=live)
The elements of
${\mathcal {N}(\Sigma _N)}$
are analogous to the usual base-N representations of positive numbers, where there may be infinitely many digits to the right of the decimal point but always a finite number of digits to the left of the decimal point (and then the representation can be extended to a bi-infinite sequence by adding an infinite sequence of zeroes to the left end). The elements of
${\mathcal {F}(\Sigma _N)}$
correspond to numbers whose representations are finite to both directions.
Definition 5.2. Let
$N>1$
be an integer. If
$\xi \geq 0$
is a real number and
$\xi =\sum _{i=-\infty }^{\infty }{\xi _i N^{i}}$
is the unique base-N expansion of
$\xi $
such that
$\xi _i\neq N-1$
for infinitely many
$i<0$
, we define
${\mathrm {config}}_N(\xi )\in {\mathcal {N}(\Sigma _N)}$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu131.png?pub-status=live)
for all
$i\in \mathbb {Z}$
. In reverse, for
$x\in \Sigma _N^{\mathbb {Z}}$
, we define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu132.png?pub-status=live)
Clearly,
${\mathrm {real}}_N({\mathrm {config}}_N(\xi ))=\xi $
and
${\mathrm {config}}_N({\mathrm {real}}_N(x))=x$
for every
$\xi \geq 0$
and every
${x\in {\mathcal {N}(\Sigma _N)}}$
such that
$x[i]\neq N-1$
for infinitely many
$i>0$
.
Additionally, in the special case
$N=1$
, we define
${\mathrm {config}}_1:\{0\}\to \Sigma _1^{\mathbb {Z}}$
and
${\mathrm {real}}_1:\Sigma _1^{\mathbb {Z}}\to \{0\}$
in the only possible way.
Definition 5.3. (Multiplication CA)
Let
$N\in \mathbb {Z}_+$
. For
$p\in \mathbb {Z}_+$
dividing N, we define a
$(0,1)$
local rule
$g_{p,N}:\Sigma _{N}\times \Sigma _{N}\to \Sigma _{N}$
for a CA
$\Pi _{p,N}$
as follows. Let
$q\in \mathbb {Z}_+$
be such that
$N=pq$
. The numbers
$a,b\in \Sigma _{N}$
are represented as
$a=a_1q+a_0$
and
$b=b_1q+b_0$
, where
$a_0,b_0\in \Sigma _q$
and
$a_1,b_1\in \Sigma _p$
: such representations always exist and they are unique. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu133.png?pub-status=live)
It can be shown that the map
$g_{p,N}$
performs multiplication by p in base N in the sense that
$\Pi _{p,n}({\mathcal {F}(\Sigma _N)})\subseteq {\mathcal {F}(\Sigma _N)}$
,
$\Pi _{p,N}({\mathcal {N}(\Sigma _N)})\subseteq {\mathcal {N}(\Sigma _N)}$
, and
${\mathrm {real}}_N(\Pi _{p,N}(x))=p{\mathrm {real}}_N(x)$
for
$x\in {\mathcal {N}(\Sigma _N)}$
. To put it shortly, this is because
$g_{p,N}$
encodes the usual algorithm for long multiplication by p in base N (for more details, see e.g., [Reference Kari, Yen and Ibarra5, Reference Kopra7]). All these maps commute because
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu134.png?pub-status=live)
for
$p_1,p_2$
dividing N and for x in the dense set
${\mathcal {F}(\Sigma _N)}$
. They are reversible, because for
$pq=N$
,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu135.png?pub-status=live)
for x in the dense set
${\mathcal {F}(\Sigma _N)}$
and
$\sigma $
is reversible. Whenever
$\alpha =p/q$
, where p and q are products of factors
$p_i$
and
$q_i$
of N, we may define
$\Pi _{\alpha ,N}$
as the composition of corresponding
$\Pi _{p_i,N}$
and
$\Pi _{q_i,N}^{-1}$
. The map
$\Pi _{\alpha ,N}$
does not depend on the choice of the composition into
$p_i$
and
$q_i$
by arguments similar to those above.
5.2. The connection between multiplication cube tessellations and multiplication automata
Throughout this subsection, let
$n\in \mathbb {Z}_+^d$
and let
$N=\prod _{i=1}^d n[i]$
. From any configuration
$x\in \Sigma _N^{\mathbb {Z}}$
, one can form a tessellation
${\mathrm {tess}}_{n}(x)\in X_{n}$
as follows: for any
$z\in \mathbb {Z}^d$
, we define
$\alpha (z,n)=\prod _{i=1}^d n[i]^{z[i]}$
and define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu136.png?pub-status=live)
(one still has to verify that this is indeed a valid tiling, which we will do in Lemma 5.4). On the other hand, from any tessellation
$f\in X_{n}$
, one can extract a configuration
${{\mathrm {diag}}_{n}(f)\in \Sigma _N^{\mathbb {Z}}}$
by looking at the tiles on the main diagonal: let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu137.png?pub-status=live)
Lemma 5.4. For every
$x\in \Sigma _N^{\mathbb {Z}}$
, it holds that
${\mathrm {tess}}_{n}(x)\in X_{n}$
.
Proof. Let
$z\in \mathbb {Z}^d$
and
$1\leq i\leq d$
be arbitrary. We need to show that
${\mathrm {\tau }}_i({\mathrm {tess}}_{n}(x)[z])={\mathrm {\beta }}_i({\mathrm {tess}}_{n}(x)[z+e_i])$
. Let
$y=\Pi _{\alpha (z,n),N}(x)$
. By writing
$y[0]=a_1\prod _{j\neq i}n[j]+a_0$
for
${0\leq a_0<\prod _{j\neq i}n[i]}$
and
$0\leq a_1<n[i]$
, we see that
$\Pi _{n[i],N}(y)[0]=a_0n[i]+a_1'$
for some
$0\leq a_1'<n[i]$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu138.png?pub-status=live)
Theorem 5.5. For any
$z\in \mathbb {Z}^d$
, it holds that
$\sigma _z{\circ }\ {\mathrm {tess}}_{n}={\mathrm {tess}}_{n}\; {\circ }\;\Pi _{\alpha (z,n),N}$
.
Proof. Let
$x\in \Sigma _N^{\mathbb {Z}}$
and
$z'\in \mathbb {Z}^d$
be arbitrary. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu139.png?pub-status=live)
We define ‘partial’ shifts on macrotilings by conjugating to a microtiling. For the rest of this subsection (unless specified otherwise), let A be a
$d\times d'$
natural number matrix and let
$N'=\prod _{i=1}^{d'} n^A[i]$
. If additionally all the rows of A contain a positive integer, we define
$\sigma _{A,z}:X_{n^A}\to X_{n^A}$
by
$\sigma _{A,z}={\mathrm {M}}_A\circ \;\sigma _z\circ {\mathrm {\mu }}_A$
for any
$z\in \mathbb {Z}^d$
. The assumption that all the rows of A contain a positive integer will hold until Theorem 5.12. Appearances of the maps
$\sigma _{A,z}$
and
$\mu _A$
(which are not defined for other kinds of matrices) are also reminders of this.
Lemma 5.6. For any
$z\in \mathbb {Z}^d$
, it holds that
$\Pi _{\alpha (z,n),N'}{\circ }{\mathrm {diag}}_{n^A}={\mathrm {diag}}_{n^A}\;{\circ }\;\sigma _{A,z}$
. In the special case
$A=I$
, it holds that
$\Pi _{\alpha (z,n),N}{\circ }{\mathrm {diag}}_{n}={\mathrm {diag}}_{n}\;{\circ }\;\sigma _z$
.
Proof. First observe that
$\Pi _{\alpha (z,n),N'}$
always exists, because every factor of N is a factor of
$N'$
. It is sufficient to show for any
$1\leq k\leq d$
that
$\Pi _{n[k],N'}\circ {\mathrm {diag}}_{n^A}={\mathrm {diag}}_{n^A}\circ \;\sigma _{A,e_k}$
. After composing by
${\mathrm {M}}_A$
on the right, we need to show for all
$f\in X_{n}$
and
$i\in \mathbb {Z}$
that
$\Pi _{n[k],N'}({\mathrm {diag}}_{n^A}({\mathrm {M}}_A(f)))[i]={\mathrm {diag}}_{n^A}({\mathrm {M}}_A(\sigma _{e_k}(f)))[i]$
. We compute
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu140.png?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu141.png?pub-status=live)
where
$a,b,c<N'=m(n,-A{\mathbf {1}})$
. We need to show that
$g_{n[k],N'}(a,b)=c$
. After defining
$a_0,a_1,b_0,b_1$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu142.png?pub-status=live)
it amounts to showing that
$c=a_0n[k]+b_1$
. By Lemma 4.16, we see that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu143.png?pub-status=live)
By Lemma 4.14, we see that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu144.png?pub-status=live)
From this, one can solve
$c=(a-a_1N'/n[k])n[k]+b_1=a_0n[k]+b_1$
, and we are done.
Theorem 5.7. The maps
${\mathrm {tess}}_{n}$
and
${\mathrm {diag}}_{n}$
are inverse maps of each other. For any
$z\in \mathbb {Z}^d$
, the system
$(\Sigma _{N'}^{\mathbb {Z}},\Pi _{\alpha (z,n),N'})$
is conjugate to
$(X_{n^A},\sigma _{A,z})$
via
${\mathrm {tess}}_{n^A}$
and
$(\Sigma _N^{\mathbb {Z}},\Pi _{\alpha (z,n),N})$
is conjugate to
$(X_n,\sigma _{z})$
via
${\mathrm {tess}}_{n}$
.
Proof. First, let
$x\in \Sigma _N^{\mathbb {Z}}$
and
$i\in \mathbb {Z}$
be arbitrary. It holds that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu145.png?pub-status=live)
and therefore
${\mathrm {diag}}_{n}({\mathrm {tess}}_{n}(x))[i]={\mathrm {val}}_{n}({\mathrm {cube}}_{n}(x[i]))=x[i]$
.
Next let
$f\in X_{n}$
and
$z\in \mathbb {Z}^d$
be arbitrary, and denote
$f'=\sigma _z(f)$
. It holds that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu146.png?pub-status=live)
Since
${\mathrm {tess}}_{n}$
is the inverse of
${\mathrm {diag}}_n$
, the last claim follows from Lemma 5.6.
It is a simple observation that the maps we have defined for mapping between tessellations and configurations are such that the represented real numbers are preserved.
Proposition 5.8. It holds that
${\mathrm {real}}_N\circ {\mathrm {diag}}_n={\mathrm {real}}_{{\mathbf {0}},-{\mathbf {1}}}$
and
${\mathrm {real}}_{{\mathbf {0}},-{\mathbf {1}}}\circ {\mathrm {tess}}_n={\mathrm {real}}_N$
.
Proof. The first equality follows directly from definitions. The second equality follows from the first one because
${\mathrm {tess}}_{n}$
is the inverse of
${\mathrm {diag}}_{n}$
by Theorem 5.7.
Theorem 5.9. The system
$(\Sigma _{N'}^{\mathbb {Z}},\Pi _{\alpha (z,n),N'})$
is conjugate to
$(\Sigma _N^{\mathbb {Z}},\Pi _{\alpha (z,n),N})$
via
$\phi ={\mathrm {diag}}_{n}\circ {\mathrm {\mu }}_{A,n}\circ {\mathrm {tess}}_{n^A}$
. Additionally,
${\mathrm {real}}_{N}\circ \;\phi ={\mathrm {real}}_{N'}$
.
Proof. The system
$(\Sigma _{N'}^{\mathbb {Z}},\Pi _{\alpha (z,n),N'})$
is conjugate to
$(X_{n^A},\sigma _{A,z})$
via
${\mathrm {tess}}_{n^A}$
by Theorem 5.7. The system
$(X_{n^A},\sigma _{A,z})$
is conjugate to
$(X_n,\sigma _z)$
via
${\mathrm {\mu }}_A$
by definition. The system
$(X_n,\sigma _z)$
is conjugate to
$(\Sigma _N^{\mathbb {Z}},\Pi _{\alpha (z,n),N})$
via
${\mathrm {diag}}_{n}$
by Theorem 5.7. The last claim follows by Propositions 4.37 and 5.8.
Let us specify one particular type of conjugacy. For any
$N>1$
, let
$N=\prod _{i=1}^d p_i^{k_i}$
be its prime decomposition (with
$k_i\in \mathbb {Z}_+$
and with the
$p_i$
in rising order) and let
${n=(p_1^{k_i},\ldots ,p_d^{k_d})}$
. Then, let
$m=(p_1,\ldots ,p_d)$
and
$M=\prod _{i=1}^d p_i$
. If
$A_{N}$
is the diagonal matrix
${\mathrm {diag}}(k_1,\ldots ,k_d)$
, it is easy to see that
$n=m^{A_N}$
. Then we define
${\mathrm {Conj}}_{N,M}={\mathrm {diag}}_{m}\circ {\mathrm {\mu }}_{A_{N},m}\circ {\mathrm {tess}}_{n}$
.
If
$N'>1$
is divisible by the same prime numbers as N, we extend the definition to
${\mathrm {Conj}}_{N,N'}={\mathrm {Conj}}_{N',M}^{-1}\circ {\mathrm {Conj}}_{N,M}$
. This agrees with the previous definition in the case
$N'=M$
, because
${\mathrm {Conj}}_{M,M}$
is the identity map.
Corollary 5.10. Assume that
$N_1,N_2>1$
are divisible by the same prime numbers. Then
$(\Sigma _{N_1}^{\mathbb {Z}},\Pi _{\alpha ,N_1})$
is conjugate to
$(\Sigma _{N_2}^{\mathbb {Z}},\Pi _{\alpha ,N_2})$
via
${\mathrm {Conj}}_{N_1,N_2}$
for any
$\alpha>0$
such that these maps are defined. Additionally,
${\mathrm {real}}_{N_2}\circ {\mathrm {Conj}}_{N_1,N_2}={\mathrm {real}}_{N_1}$
.
Proof. Let
$N=\prod _{i=1}^d p_i$
, where
$p_i$
is the rising sequence of prime numbers that divide
$N_1$
and
$N_2$
. Then also
$\Pi _{\alpha ,N}$
is defined. By the previous theorem,
$(\Sigma _{N_1}^{\mathbb {Z}},\Pi _{\alpha ,N_1})$
is conjugate to
$(\Sigma _N^{\mathbb {Z}},\Pi _{\alpha ,N})$
via
${\mathrm {Conj}}_{N_1,N}$
and
$(\Sigma _N^{\mathbb {Z}},\Pi _{\alpha ,N})$
is conjugate to
$(\Sigma _{N_2}^{\mathbb {Z}},\Pi _{\alpha ,N_2})$
via
$({\mathrm {Conj}}_{N_2,N})^{-1}$
, so
$\Pi _{\alpha ,N_1}$
is conjugate to
$\Pi _{\alpha ,N_2}$
via
${\mathrm {Conj}}_{N_1,N_2}$
. The last claim also follows from the previous theorem.
We highlight that, as it turns out, the conjugacy of the particular form
${\mathrm {Conj}}_{N,N^k}$
works in a very transparent way: cells in a configuration
$x\in \Sigma _N^{\mathbb {Z}}$
are grouped into blocks of k cells, and the k symbols of
$\Sigma _N$
in each block are interpreted as a base-N representation of a number in
$\Sigma _{N^k}$
. We define the block map
${\mathrm {B}}_{N,k}:\Sigma _N^k\to \Sigma _{N^k}$
by
${\mathrm {B}}_{N,k}(a_{k-1}\cdots a_1a_0)=\sum _{i=0}^{k-1}a_i N^i$
for
$N>1$
,
$k\geq 1$
, and
$a_i\in \Sigma _N$
.
Theorem 5.11. Let
$N>1$
, let
$k\geq 1$
, let
$x\in \Sigma _N^{\mathbb {Z}}$
, and let
$i\in \mathbb {Z}$
. Then
${\mathrm {Conj}}_{N,N^k}(x)[i]={\mathrm {B}}_{N,k}(x[ik-(k-1),ik])$
.
Proof. As in the definition of
${\mathrm {Conj}}_{N,M}$
, let
$N=\prod _{i=1}^d p_i^{k_i}$
be the prime decomposition of N, and thus
$N^k=\prod _{i=1}^d p_i^{kk_i}$
. Define vectors
$n=(p_1^{k_1},\ldots ,p_d^{k_d})$
,
$n'=(p^{kk_1},\ldots ,p^{kk_d})$
, and
$m=(p_1,\ldots ,p_d)$
. Define the diagonal matrix
$K={\mathrm {diag}}(k,\ldots ,k)$
. We note that
$A_{N^k}=A_N K$
, so by Lemma 4.32,
${\mathrm {M}}_{A_{N^k},m}={\mathrm {M}}_{K,n}\circ {\mathrm {M}}_{A_{N},m}$
. We simplify the defining formula of
${\mathrm {Conj}}_{N,N^k}$
as follows:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu147.png?pub-status=live)
We apply this to compute
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu148.png?pub-status=live)
We conclude by presenting some factor maps between multiplication automata. Now A may be a general
$d\times d'$
natural number matrix.
Theorem 5.12. The system
$(\Sigma _N^{\mathbb {Z}},\Pi _{\alpha (z,n^A),N})$
has
$(\Sigma _{N'}^{\mathbb {Z}},\Pi _{\alpha (z,n^A),N'})$
as a factor via
$\phi ={\mathrm {diag}}_{n^A}\circ {\mathrm {M}}_{A,n}\circ {\mathrm {tess}}_{n}$
. Additionally, if
$N'>1$
and
$x\in \Sigma _N^{\mathbb {Z}}$
is such that
${\mathrm {real}}_N(x)$
is finite, then
${\mathrm {real}}_{N'}(\phi (x))={\mathrm {real}}_N(x)$
.
Proof. We note that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu149.png?pub-status=live)
so
$\Pi _{\alpha (z,n^A),N}=\Pi _{\alpha (Az,n),N}$
and it is defined.
The system
$(\Sigma _N^{\mathbb {Z}},\Pi _{\alpha (Az,n),N})$
has
$(X_n,\sigma _{Az})$
as a factor via
${\mathrm {tess}}_{n}$
by Theorem 5.7. The system
$(X_n,\sigma _{Az})$
has
$(X_{n^A},\sigma _{z})$
as a factor via
${\mathrm {M}}_A$
by Corollary 4.41. The system
$(X_{n^A},\sigma _{z})$
has
$(\Sigma _{N'}^{\mathbb {Z}},\Pi _{\alpha (z,n^A),N'})$
as a factor via
${\mathrm {diag}}_{n^A}$
by Theorem 5.7. The last claim follows from Propositions 4.30 and 5.8.
Let us specify one particular type of factor map. Consider any
$M>1$
with a prime decomposition of the form
$M=\prod _{i=1}^d p_i$
(with the
$p_i$
distinct and in rising order) and let
$m=(p_1,\ldots ,p_d)$
. If
$M'$
divides M, there is a subsequence
$(k_i)_{i=1}^{d'}$
of
$(1,2,\ldots ,d)$
such that
$M=\prod _{i=1}^{d'} p_{k_i}$
. Let
$m'=(p_{k_1},\ldots ,p_{k_{d'}})$
. If
$A_{M,M'}$
is the
$d\times d'$
matrix having
$e_{k_i}\in \mathbb {Z}^d$
as the ith column for
$1\leq i\leq d'$
, it is easy to see that
$m'=m^{A_{M,M'}}$
. Then we define
${\mathrm {Fact}}_{M,M'}={\mathrm {diag}}_{m'}\circ {\mathrm {M}}_{A_{M,M'},m}\circ {\mathrm {tess}}_{m}$
.
If
$N,N'>1$
are divisible by the same prime numbers as
$M,M'$
, respectively, we extend the definition to
${\mathrm {Fact}}_{N,N'}={\mathrm {Conj}}_{M',N'}\circ {\mathrm {Fact}}_{M,M'}\circ {\mathrm {Conj}}_{N,M}$
. This agrees with the previous definition in the case when
$N=M$
and
$N'=M'$
, because
${\mathrm {Conj}}_{M,M}$
and
${\mathrm {Conj}}_{M',M'}$
are identity maps.
Corollary 5.13. Let
$N_1,N_2>1$
be such that every prime factor of
$N_2$
is a prime factor of
$N_1$
. Then
$(\Sigma _{N_1}^{\mathbb {Z}},\Pi _{\alpha ,N_1})$
has
$(\Sigma _{N_2}^{\mathbb {Z}},\Pi _{\alpha ,N_2})$
as a factor via
${\mathrm {Fact}}_{N_1,N_2}$
for any
$\alpha>0$
such that these maps are defined. Additionally, if
$x\in \Sigma _{N_1}^{\mathbb {Z}}$
is such that
${\mathrm {real}}_{N_1}(x)$
is finite, then
${\mathrm {real}}_{N_2}({\mathrm {Fact}}_{N_1,N_2}(x))={\mathrm {real}}_{N_1}(x)$
.
Proof. Let
$M_1=\prod _{i=1}^{d} p_i$
where
$p_i$
are the prime numbers that divide
$N_1$
(in rising order), and let
$M_2=\prod _{i=1}^{d} q_i$
where
$q_i$
are the prime numbers that divide
$N_2$
. Then
$M_2$
divides
$M_1$
.
The system
$(\Sigma _{N_1}^{\mathbb {Z}},\Pi _{\alpha ,N_1})$
has
$(\Sigma _{M_1}^{\mathbb {Z}},\Pi _{\alpha ,M_1})$
as a factor via
${\mathrm {Conj}}_{N_1,M_1}$
by Corollary 5.10. The system
$(\Sigma _{M_1}^{\mathbb {Z}},\Pi _{\alpha ,M_1})$
has
$(\Sigma _{M_2}^{\mathbb {Z}},\Pi _{\alpha ,M_2})$
as a factor via
${\mathrm {Fact}}_{M_1,M_2}$
by the previous theorem. The system
$(\Sigma _{M_2}^{\mathbb {Z}},\Pi _{\alpha ,M_2})$
has
$(\Sigma _{N_2}^{\mathbb {Z}},\Pi _{\alpha ,N_2})$
as a factor via
${\mathrm {Conj}}_{M_2,N_2}$
. Therefore,
$(\Sigma _{N_1}^{\mathbb {Z}},\Pi _{\alpha ,N_1})$
has
$(\Sigma _{N_2},\Pi _{\alpha ,N_2})$
as a factor via
${\mathrm {Fact}}_{N_1,N_2}$
. The last claim follows from Corollary 5.10 and Theorem 5.12.
We conclude this subsection by highlighting an alternative characterization for the maps
${\mathrm {Conj}}_{N_1,N_2}$
and
${\mathrm {Fact}}_{N_1,N_2}$
which may be used to ignore the details of their construction: they are fully determined by the requirement of continuity and the fact that they change representations of real numbers in base
$N_1$
to representations of the same real numbers in base
$N_2$
.
Theorem 5.14. Let
$N_1,N_2>1$
be such that every prime factor of
$N_2$
is a prime factor of
$N_1$
. If
$\phi :\Sigma _{N_1}^{\mathbb {Z}}\to \Sigma _{N_2}^{\mathbb {Z}}$
is a continuous map and for any
$x\in \Sigma _{N_1}^{\mathbb {Z}}$
such that
${\mathrm {real}}_{N_1}(x)$
is finite, it holds that
${\mathrm {real}}_{N_2}(\phi (x))={\mathrm {real}}_{N_1}(x)$
, then
$\phi ={\mathrm {Fact}}_{N_1,N_2}$
. Additionally, if
$N_1$
and
$N_2$
have the same prime factors, then
$\phi ={\mathrm {Conj}}_{N_1,N_2}$
, and
$\phi $
is injective only in this case. If on the other hand
$N_2$
has a prime factor that does not divide
$N_1$
, then a map
$\phi $
satisfying the conditions does not exist.
Proof. The claims that
$\phi ={\mathrm {Fact}}_{N_1,N_2}$
or
$\phi ={\mathrm {Conj}}_{N_1,N_2}$
follow from Corollaries 5.10 and 5.13 if we show that the map
$\phi $
satisfying the conditions in the statement of the theorem is unique, that is, if
$\phi '$
is another such map then
$\phi =\phi '$
. Since
$\phi $
and
$\phi '$
are continuous, it is sufficient to show that
$\phi (x)=\phi '(x)$
in a dense subset of
$\Sigma _{N_1}^{\mathbb {Z}}$
, so let
$x\in \Sigma _{N_1}^{\mathbb {Z}}$
be such that
${\mathrm {real}}_{N_1}(x)\in \mathbb {R}\setminus \mathbb {Q}$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu150.png?pub-status=live)
Next we show that if
$N_1$
has some prime factor p not dividing
$N_2$
, then
$\phi $
is not injective. The number
$p^{-1}$
has a finite base-
$N_1$
representation
$0.(N_1/p)$
, so
$p^{-1}$
has two different representations in base
$N_1$
. On the other hand,
$p^{-1}$
does not have a finite base-
$N_2$
representation, because otherwise,
$N_2^ip^{-1}$
would be an integer for a sufficiently large
$i\in \mathbb {N}$
even though p does not divide
$N_2$
. Therefore,
$p^{-1}$
has only one representation in base
$N_2$
. Let
$x,y\in \Sigma _{N_1}^{\mathbb {Z}}$
be distinct configurations such that
${\mathrm {real}}_{N_1}(x)={\mathrm {real}}_{N_1}(y)=p^{-1}$
. Then it also holds that
${\mathrm {real}}_{N_2}(\phi (x))={\mathrm {real}}_{N_2}(\phi (y))=p^{-1}$
. Because
$p^{-1}$
has only one representation in base
$N_2$
, from this, it follows that
$\phi (x)=\phi (y)$
and
$\phi $
is not injective.
To show the last claim, assume to the contrary that
$N_2$
has a prime factor not dividing
$N_1$
and that a map
$\phi $
satisfying the conditions exists. For
$i\in \mathbb {N}$
, let
$x_i={\mathrm {config}}_{N_1}(N_1^i)$
, meaning that
$\lim _{i\to \infty }x_i=0^{\mathbb {Z}}$
. For all
$i\in \mathbb {N}$
, it holds that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu151.png?pub-status=live)
and therefore
$\phi (x_i)[0]\neq 0$
or
$\phi (x_i)[1]\neq 0$
. But then it follows that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu152.png?pub-status=live)
which contradicts the assumption of continuity of
$\phi $
.
5.3. The regularity status of multiplication automata
In this subsection, we consider the question of which multiplication automata are regular. Regularity is presented in [Reference Kůrka8] as one way to classify dynamical systems according to the complexity of their time evolution: non-regular systems are in some sense more complex than regular systems. We will use the notions of sofic subshifts and subshifts of finite type (SFT) (for definitions, see e.g., [Reference Lind and Marcus10]), but for our purposes, it is for the most part sufficient to know that sofic subshifts are precisely the subshift factors of SFTs. From this, it also follows that all subshift factors of sofic subshifts are sofic. The following definition was given in [Reference Kůrka8].
Definition 5.15. A dynamical system
$(X,T)$
with X a zero-dimensional compact metrizable space is called regular if all its one-sided subshift factors are sofic shifts.
In [Reference Kůrka8, §3], it is also observed that to check the regularity of
$(X,F)$
for a CA F, it is sufficient to check whether all of its trace subshifts are sofic shifts, that is, whether the trace subshifts of all widths are sofic. Lower width trace subshifts are factors of higher width trace subshifts, so it is sufficient to check whether trace subshifts of arbitrarily large width are sofic.
We will give in Theorems 5.17 and 5.19 a complete characterization of regular multiplication automata based on earlier results [Reference Blanchard and Maass2, Reference Kopra7].
Theorem 5.16. [Reference Kopra7, Corollary 4.19]
The system
$(\Sigma _{pq}^{\mathbb {Z}},\Pi _{p/q,pq})$
is not regular for coprime
$p,q>2$
.
Theorem 5.17. The system
$(\Sigma _N^{\mathbb {Z}},\Pi _{p/q,N})$
is not regular for any coprime
$p,q>2$
such that this map is defined.
Proof. Since
$\Pi _{p/q,N}$
is defined, all the prime factors of p and q divide N, so by Corollary 5.13, the system
$(\Sigma _N^{\mathbb {Z}},\Pi _{p/q,N})$
has
$(\Sigma _{pq}^{\mathbb {Z}},\Pi _{p/q,pq})$
as a factor. By the previous theorem,
$(\Sigma _{pq}^{\mathbb {Z}},\Pi _{p/q,pq})$
has a non-sofic subshift
$(X,\sigma )$
as a factor. Therefore,
$(\Sigma _N^{\mathbb {Z}},\Pi _{p/q,N})$
has the non-sofic subshift
$(X,\sigma )$
as a factor and
$(\Sigma _N^{\mathbb {Z}},\Pi _{p/q,N})$
is not regular.
Theorem 5.18. [Reference Blanchard and Maass2, §4]
The width
$1$
trace subshift of the CA
$\Pi _{p,pq}$
for
$p,q\geq 1$
is an SFT.
Theorem 5.19. The systems
$(\Sigma _N^{\mathbb {Z}},\Pi _{p,N})$
and
$(\Sigma _N^{\mathbb {Z}},\Pi _{1/p,N})$
are regular for any
${p,N\in \mathbb {Z}_+}$
such that these maps are defined.
Proof. The maps
$\Pi _{p,N}$
and
$\Pi _{1/p,N}$
are inverses of each other, so it is sufficient to show that
$(\Sigma _N^{\mathbb {Z}},\Pi _{p,N})$
is regular. For
$N=1$
, the CA
$\Pi _{p,N}$
is the identity map on the set with a single point, so we may assume that
$N>1$
. Regularity is equivalent to showing that for some
$M\geq 1$
, the trace subshift of arbitrary width
$k\geq M$
is sofic. Let M be such that p divides
$N^M$
and fix any
$k\geq M$
. Let
$I=[-(k-1),0]$
. We need to show that
$(X,\sigma )$
with
$X=\Xi _I(F)$
is sofic. Let
${\mathrm {B}}_{N,k}$
be the map defined before Theorem 5.11 and for
$z\in ((\Sigma _N)^k)^{\mathbb {N}}$
, denote by
${\mathrm {B}}_{N,k}(z)$
the coordinatewise application of
${\mathrm {B}}_{N,k}$
to the symbols of z. We need to show that the subshift
$({\mathrm {B}}_{N,k}(X),\sigma )$
conjugate to
$(X,\sigma )$
is sofic. Its configurations
${\mathrm {B}}_{N,k}({\mathrm {Tr}}_{\Pi _{p,N},I}(x))$
for
$x\in \Sigma _N^{\mathbb {Z}}$
are precisely of the form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240909151344779-0829:S0143385724000440:S0143385724000440_eqnu153.png?pub-status=live)
where
$x'={\mathrm {Conj}}_{N,N^k}(x)\in (\Sigma _{N^k})^{\mathbb {Z}}$
, so
${\mathrm {B}}_{N,k}({\mathrm {Tr}}_{\Pi _{p,N},I}(x))\in \Xi _{[0,0]}(\Pi _{p,N^k})$
. Since
${\mathrm {Conj}}_{N,N^k}$
is a bijection, in fact,
${\mathrm {B}}_{N,k}(X)=\Xi _{[0,0]}(\Pi _{p,N^k})$
. Therefore,
$({\mathrm {B}}_{N,k}(X),\sigma )$
is the trace subshift of width
$1$
of the CA
$\Pi _{p,N^k}$
, and it is sofic by the previous theorem.
Acknowledgements
I thank Tristan Stérin for helpful discussions on representing multiplication by Wang tiles. The work was supported by the Finnish Cultural Foundation (grant number 00220510).