Problem session held in MFO (Germany) 08 October 2015
Abstract
This list of problems arose as a collaborative effort among the participants of the Arbeitsgemeinschaft on Mathematical Quasicrystals, which was held at the Mathematisches Forschungsinstitut Oberwolfach in October 2015. The purpose of our meeting was to bring together researchers from a variety of disciplines, with a common goal of understanding different viewpoints and approaches surrounding the theory of mathematical quasicrystals. The problems below reflect this goal and this diversity and we hope that they will motivate further crossdisciplinary research and lead to new advances in our overall vision of this rapidly developing field.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This list of problems arose as a collaborative effort among the participants of the Arbeitsgemeinschaft on Mathematical Quasicrystals, which was held at the Mathematisches Forschungsinstitut Oberwolfach in October 2015. The purpose of our meeting was to bring together researchers from a variety of disciplines, with a common goal of understanding different viewpoints and approaches surrounding the theory of mathematical quasicrystals. The problems below reflect this goal and this diversity and we hope that they will motivate further crossdisciplinary research and lead to new advances in our overall vision of this rapidly developing field.
Most of the technical terms used herein are fairly common in the literature surrounding this subject. When in doubt concerning definitions, the reader may wish to consult Baake and Grimm (2013) or Sadun (2008), as well as the references provided with the relevant problem. Here we list some less common terms and abbreviations used below:

(i)
Two point sets in \(\mathbb {R}^d\) are bounded displacement equivalent (abbreviated BD) if there is a bijection between them which moves every point by at most some finite amount.

(ii)
Two point sets in \(\mathbb {R}^d\) are biLipschitz equivalent (abbreviated BL) if there is a biLipschitz bijection between them.

(iii)
A pattern \(Y\subseteq \mathbb {R}^d\) is linearly repetitive (abbreviated LR) if there exists a constant \(C>0\) such that, for every \(r\ge 1\), every patch of size r which occurs anywhere in Y, occurs in every ball or radius Cr in \(\mathbb {R}^d\).

(iv)
The abbreviation MLD stands for mutually locally derivable, as defined in Baake and Grimm (2013, Section 5.2).
2 Problems
2.1 D. Damanik: Quantum Mechanics and Quasicrystals
A Schrödinger equation associated with a Schrödinger operator H can be used to model how well quantum wave packets travel in a quasicrystal—see Damanik and Tcheremchantsev (2010) for details. A key step in the determination of the large time behaviour of solutions to this equation is the understanding of the properties of the spectrum of H and of the corresponding spectrum measures. Theorem 2.1.1 below illustrates the kind of properties that are of interest. Before stating it, we introduce some notation and some definitions.
Given a finite alphabet \(\mathcal {A}\), let \(\varvec{x}\in \mathcal {A}^\mathbb {N}\) (resp. \(\varvec{x}\in \mathcal {A}^\mathbb {Z}\)) be a single sided (resp. a double sided) recurrent sequence over \(\mathcal {A}\). The complexity of \(\varvec{x}\) is defined for each integer \(n\ge 1\) as
if the sequence is double sided. If it is single sided, the complexity is defined in the same way upon restricting m to the set of positive integers. When \(\varvec{x}\) is aperiodic (i.e. not ultimately periodic), it is easily seen that \(p(n)\ge n+1\) for all \(n\ge 1\). The sequence \(\varvec{x}\) is Sturmian if it is aperiodic and if it has minimal complexity; that is, if \(p(n)= n+1\) for all \(n\ge 1\). This definition implies that the alphabet defining a Sturmian sequence contains exactly two letters which may be denoted without loss of generality by 0 and 1. One can then show (Lothaire 2002) that a double sided (resp. single sided) Sturmian sequence is exactly of one of the following forms: for all \(m\in \mathbb {Z}\) (resp. for all \(m\in \mathbb {N}\)),
Here, \(\{x\}\) denotes the fractional part of \(x\in \mathbb {R}\), \(\chi _E\) the characteristic function of a set \(E\subset \mathbb {R}\) and \(\alpha \) and \(\theta \) are two real numbers such that \(\alpha \in \mathbb {R}\backslash \mathbb {Q}\) and \(\theta \not \in \alpha \mathbb {Z}+\mathbb {Z}\).
The following result is established in Bellissard et al. (1989) and Damanik et al. (2000).
Theorem 2.1.1
Let \(\lambda \in \mathbb {C}\) and let \(\varvec{x}\in \left\{ 0,1\right\} ^\mathbb {Z}\) be a Sturmian sequence. Denote by H the Schrödinger operator defined in the space \(l^2(\mathbb {Z})\) as follows : given \(\psi \in l^2(\mathbb {Z})\) and \(m\in \mathbb {Z},\) let
Then, the spectrum \(\sigma (H)\) of the operator H is a zero Lebesgue measure Cantor set. Furthermore, all spectral measures are singular continuous.
Another measure of the complexity of a sequence has been introduced by Kamae and Zamboni (2002a, (2002b). It is defined as follows (with the natural modification if the sequence is single sided): for \(n\ge 1\),
where \(\tau (0), \ldots , \tau (n1)\) are integers. It is not difficult to see that if \(\varvec{x}\) is an aperiodic sequence, then \(p^*(n)\ge 2n\) for all \(n\ge 1\). The sequence \(\varvec{x}\) is pattern Sturmian if \(p^*(n)=2n\) for all \(n\ge 1\). Note that a Sturmian sequence is necessarily pattern Sturmian. The converse inclusion, however, does not hold.
Problem 2.1.1
Determine all single sided (resp. double sided) sequences that are pattern Sturmian.
With respect to the properties of the Schrödinger operator introduced in Theorem 2.1.1 above, one can expect the following:
Conjecture 2.1.1
Theorem 2.1.1 holds if \(\varvec{x}\) is a pattern Sturmian sequence.
The spectrum of Schrödinger operators associated with quasicrystal models in higher dimensions is not well understood. Consider for example the Penrose tiling and the corresponding graph (V, E), where V is the vertex set and E the set of edges. Define the operator H in the space \(l^2(V)\) as follows: for any \(\psi \in l^2(V)\) and any \(v\in V\), let
Problem 2.1.2
Determine the spectrum \(\sigma (H)\) of the operator defined above.
Another example of a two dimensional problem arises when considering a two dimensional potential V that can be written as a sum of two one dimensional potentials \(s_1^{\lambda _1}\) and \(s_2^{\lambda _2}\). Here, \(\lambda _1, \lambda _2\in \mathbb {C}\) and, for \(j\in \{1,2\}\) and \(k\in \mathbb {Z}\),
with \(\gamma = \frac{\sqrt{5}1}{2}\). Thus, for any \(m, n\in \mathbb {Z}\),
The corresponding Schrödinger operator H in the space \(l^2(\mathbb {Z}^2)\) is defined as follows: for \(\psi \in l^2(\mathbb {Z})\) and \((m,n)\in \mathbb {Z}^2\),
The spectrum of this operator is expected to exhibit a very particular structure for some values of the parameters \(\lambda _1\) and \(\lambda _2\):
Conjecture 2.1.2
There exist values of \(\lambda _1\) and \(\lambda _2\) such that the spectrum \(\sigma (H)\) of H is a Cantorval; that is, the spectrum is the closure of its interior and no connected component is isolated.
For more details on the concept of Cantorval, see Mendes and Oliveira (1994). With obvious modifications, Conjecture 2.1.2 is expected to be true in higher dimensions as well.
2.2 F. Gähler: The Pisot Substitution Conjecture
One of the longstanding open problems in the field of mathematical quasicrystals is to determine which tiling dynamical systems (or Delone dynamical systems) have a pure point dynamical spectrum and thus a pure point diffraction pattern. For cutandproject sets and tilings, this is the case by construction, but for inflation tilings the situation is not as clear. It is known (Solomyak 1997) that a selfsimilar inflation tiling has a nontrivial pure point component in its spectrum if, and only if, the scaling factor of the inflation is a Pisot number \(\lambda \); that is, a real algebraic integer \(\lambda >1\) all of whose conjugates are strictly smaller than one in modulus. This does not mean, however, that the spectrum is pure point. There is an algorithm (Sirvent and Solomyak 2002; Solomyak 1997) that enables one to check whether a given tiling has pure point spectrum. Nevertheless, simple criteria that are easy to check or known to be true for whole classes of tilings are missing.
The Pisot Substitution Conjecture (see also the recent review Akiyama et al. 2015) states the following:
Conjecture 2.2.1
(Pisot substitution conjecture) A onedimensional selfsimilar inflation tiling with Pisot scaling factor \(\lambda \) has pure point spectrum if its abelianisation matrix (i.e. its substitution matrix) M has an irreducible characteristic polynomial; that is, if the algebraic degree of \(\lambda \) equals the dimension of M (or the number of tile types).
Often, the additional assumption that M is unimodular is made so that \(\lambda \) is a unit in the ring \(\mathbb {Z}[\lambda ]\). So far, this has not really helped to prove the conjecture.
Extensive computer search (Akiyama et al. 2014) has failed to produce a counterexample but a general proof is also missing. There are some partial results. The conjecture is known to be true in the two tile case (\(\lambda \) a quadratic irrational) (Hollander and Solomyak 2003). Also, it has been recently been proved for the class of inflation rules which are injective on the first tile and constant on the last tile (Barge 2016) and also for \(\beta \)substitutions (Barge 2015b) (which do not generally satisfy the conditions of the Pisot Substitution Conjecture).
One problem with the Pisot Substitution Conjecture is that the irreducibility of the characteristic polynomial of M is not invariant under topological conjugacies, whereas the spectral type of the dynamical system is. This has led to the statement of Pisot type conjectures with additional assumptions of a topological nature. The Homological Pisot Conjecture (Barge et al. 2012) is in this vein:
Conjecture 2.2.2
(Homological Pisot Conjecture) A onedimensional, unimodular Pisot inflation tiling has pure point spectrum if its first rational Čech cohomology group has rank equal to the algebraic degree of \(\lambda \).
This was later extended to the nonunimodular case in the form of the Coincidence Rank Conjecture (Barge 2015a):
Conjecture 2.2.3
(Coincidence Rank Conjecture) The coincidence rank of a onedimensional Pisot inflation tiling must divide the algebraic norm of \(\lambda \).
The coincidence rank is the multiplicity (almost everywhere) of the factor map to the maximal equicontinuous factor of the tiling dynamical system. It must be one for pure point spectrum.
2.3 U. Grimm: Diffraction of a Pinwheel Tiling
We first briefly describe the construction of a Pinwheel Tiling following Conway and Radin—see Conway and Radin (1998) and Radin (1994) for further details and Moustafa (2010) for some of its properties.
Let \(\mathcal {T}\) be a right triangle with side lengths 1, 2 and \(\sqrt{5}\). As noticed by Conway, \(\mathcal {T}\) can be divided into five isometric copies of its image by a dilation of factor \(1/\sqrt{5}\)—see Fig. 1.^{Footnote 1} A Pinwheel Tiling is then defined as a tiling of the plane whose tiles are isometric copies of \(\mathcal {T}\), in which a tile may intersect another tile only either on a whole side or on half the length 2 side, and such that the following property holds: the tiles of any Pinwheel Tiling can be grouped in sets of five into homothetic tiles, so that these homothetic tiles form (up to rescaling) a new Pinwheel Tiling.
There are uncountably many Pinwheel Tilings. See Fig. 2 below for an example.
All Pinwheel Tilings are locally indistinguishable (i.e. any cluster which occurs in one Pinwheel Tiling, occurs in all such tilings) and share the property that tiles appear in infinitely many orientations. Choose a reference point (a natural choice is the point at coordinates \((1/2,\, 1/2)\) with respect to the vertex point at the rightangled corner of the triangular tile) and consider a uniform Dirac comb obtained by placing a point measure at each reference point. The diffraction measure is the Fourier transform of the autocorrelation and is a welldefined positive measure. It is known that this measure has circular symmetry (Moody et al. 2006) and, as a consequence, the only pure point part of it is the trivial point measure at the origin, which is related to the density (equal to one in this case). Apart from this point measure, the diffraction measure is continuous. However, note that a measure concentrated on ‘sharp rings’ (so that the measure is ‘pure point in the radial direction’) is a singular continuous measure in the plane as well.
There are arguments that support the existence of such ‘sharp rings’ in the diffraction measure of the pinwheel tiling (Baake et al. 2007) similarly to what one would observe for a rotationaveraged square lattice arrangement of point masses. Numerical investigations also indicate the presence of additional components which might be absolutely continuous (Baake et al. 2007; Grimm and Deng 2011). However, none of these properties has yet been proved.
Problem 2.3.1
Determine the position of sharp rings in the diffraction measure of a Pinwheel Tiling and their intensity.
Problem 2.3.2
Does the diffraction measure of the Pinwheel Tiling contain an absolutely continuous component?
2.4 A. Haynes: Gaps Problems
Let \(\alpha , \beta \in \mathbb {R}\) be such that \(1, \alpha \) and \(\beta \) are \(\mathbb {Q}\)linearly independent. Let \(Y(\alpha , \beta )\) be a canonical cutandproject set (this concept is defined in Haynes et al. 2016a) formed using the subspace
Given a shape \(\Omega \subset E(\alpha , \beta )\), let \(\xi _{(\alpha , \beta )}(\Omega )\) denote the set of different frequencies of patches of shape \(\Omega \) in \(Y(\alpha , \beta )\) which occur in \(E(\alpha , \beta )\). Precise definitions of these terms are given in Haynes et al. (2016c) and here we are considering “type 2 patches”.
Let \(M,N\in \mathbb {N}\) and
where \(\{x\}\) denotes the fractional part of \(x\in \mathbb {R}\). Depending on the choice of the shape \(\Omega \), the cardinality of \(\xi _{(\alpha , \beta )}(\Omega )\) is closely related to the number \(G_{(\alpha , \beta )}(M,N)\) of distinct lengths of the component intervals of \(\mathbb {T}\backslash S_{(\alpha , \beta )}(M,N)\) for specific choices of M and N (here, \(\mathbb {T}=\mathbb {R}/\mathbb {Z}\) denotes the onedimensional torus). For instance, the number of different frequencies for a twotoone cutandproject set when the window is an interval is at most 3. This is just another formulation of the Three Distance (or Steinhaus) Theorem and amounts to saying that \(G_{(\alpha , \beta )}(1, N)\le 3\) for any \(N\ge 1\).
Problem 2.4.1
Is there a choice of \(\alpha \) and \(\beta \) as above such that
where \(\mathcal {S}\) denotes the collection of all aligned squares?
The precise definition of an aligned square (resp. of an aligned rectangle) can be found in Haynes et al. (2016b).
It can be shown (Haynes et al. 2016c) that (1) implies that \(\sup _{N\in \mathbb {N}}G_{(\alpha , \beta )}(N, N)=+\infty \). It was conjectured by Erdös (Geelen and Simpson 1993) that the latter equation should hold whenever \(1, \alpha \) and \(\beta \) are \(\mathbb {Q}\)linearly independent. This conjecture was disproved in Bleher et al. (2012), where it was established that the set of \((\alpha , \beta )\) for which \(\sup _{N\in \mathbb {N}}G_{(\alpha , \beta )}(N, N)\, < \, +\infty \), although of zero Lebesgue measure, has full Hausdorff dimension. It is an open problem to determine whether there exists a pair \((\alpha , \beta )\) such that \(\sup _{N\in \mathbb {N}}G_{(\alpha , \beta )}(N, N)\, = \, +\infty \).
The following is a seemingly easier version of the previous problem.
Problem 2.4.2
Is there a choice of \(\alpha \) and \(\beta \) as above such that
where \(\mathcal {R}\) denotes the collection of aligned rectangles?
There is currently no known example of a pair \((\alpha , \beta )\) for which (2) holds. Using the arguments in Haynes et al. (2016b, (2016c), it can be shown that any such pair satisfies the equation
that is, any such pair satisfies the Littlewood Conjecture (here, \(\left\ x\right\ \) denotes the distance from \(x\in \mathbb {R}\) to a nearest integer). Whether the converse holds is an open problem:
Problem 2.4.3
Given \((\alpha , \beta )\in \mathbb {R}^2\) such that \(1, \alpha \) and \(\beta \) are \(\mathbb {Q}\)linearly independent, does (3) imply (2)?
2.5 A. Julien: Relationship Between Complexity and Cohomology
Consider a tiling and the corresponding tiling space \(\Omega \) in dimension \(d\ge 1\). In the case of a word w over a finite alphabet (the tiling is then onedimensional), the complexity function \(n\mapsto p(n)\) corresponding to w counts the number of subwords of w of length n. In higher dimensions, the complexity function of a tiling counts in an analogous way the number of patches of radius n (up to translation)—see Lagarias and Pleasants (2003) for details.
In the case of a canonical (in particular, irrational and aperiodic) cutandproject tiling, it is known (Julien 2010, Theorem 5.1) that the complexity function grows like \(O(n^d)\) if, and only if, the groups of cohomology over \(\mathbb {Q}\) of the tiling space are finitely generated. In other words, with usual notation,
The situation is not as well understood in the noncutandproject setup. For instance, there exist tilings in any dimension \(d\ge 1\) such that the corresponding tiling spaces have finitely generated groups of cohomology over the rationals whereas their complexity function grows faster than any polynomial—see, e.g., Julien (2010, Proposition 6.20). In dimension \(d=1\) however, the converse can be settled in the affirmative (Julien 2010, Proposition 6.7): if \(p(n)=O(n)\), then \(\text {rk}(H^1(\Omega , \mathbb {Q}))<\infty \). The following problem is concerned with a generalization of this result in higher dimensions:
Problem 2.5.1
With the same notation, is it the case that for an aperiodic, repetitive tiling of dimension d, if \(p(n)=O(n^d)\), then \(\text {rk}(H^*(\Omega , \mathbb {Q}))<\infty \)?
Note that the result fails already in dimension one if one considers cohomologies over \(\mathbb {Z}\) rather than over \(\mathbb {Q}\). Indeed, the substitution defining the Thue–Morse sequence is primitive and therefore (Queffélec 2010) the corresponding complexity function is bounded above by a linear function. Besides, one can show (Anderson and Putnam 1998) that
In particular, \(H^1(\Omega _{TM}, \mathbb {Z})\) is not finitely generated over \(\mathbb {Z}\).
2.6 A. Navas: A Conjecture on Delone Sets BL to Lattices (After P. Alestalo, D. A. Trotsenko and J. Väisälä)
Burago and Kleiner (2002) on the one hand and McMullen (1998) on the other proved independently that there exist Delone sets in any dimension which are not BL to any lattice. The following problem, raised in Alestalo et al. (1993), is concerned with the case when a Delone set is BL to a lattice in the plane. As any two lattices are BL, it is enough to consider the case of \(\mathbb {Z}^2\).
Problem 2.6.1
Let \(\mathcal {D}\subset \mathbb {R}^2\) be a Delone set BL to \(\mathbb {Z}^2\). Does there exist a biLipschitz map \(L~:\mathbb {R}^2\mapsto \mathbb {R}^2\) such that \(L(\mathcal {D})=\mathbb {Z}^2\)?
In this direction, it has been shown (Navas 2016) that the conclusion of Problem 2.6.1 is valid under the assumption of linear repetitivity (LR) or under the assumption of Burago–Kleiner (BK). Both of the these conditions imply that a Delone set is BL to a lattice. The reader is referred to Burago and Kleiner (1998) for an actual definition of the BK condition, which is technical. It is concerned with the speed of convergence of the number of points of a Delone set inside larger and larger balls.
2.7 L. Sadun
2.7.1 Properties of Patterns and Properties of Tiling Spaces
There are two very different approaches to tiling theory. A first approach focuses on questions about specific patterns such as: are they BD or BL to a lattice? Are they LR? Do they have a pure point diffraction spectrum? Do they have the Meyer property?
A second approach focuses on properties of tiling spaces such as: what is the cohomology? What is the maximal equicontinuous torus? What is the dynamical spectrum? From a dynamical perspective, tilings that are MLD or that give topologically conjugate tiling spaces are essentially the same. In some settings, even homeomorphic tilings are considered “the same”.
Unfortunately, the answers to the first set of questions are not generally preserved inside classes of equivalence of tiling spaces. A natural question is thus to ask whether one can reconcile the two approaches. One strategy to answer this question is to consider a strong version of the BD or BL or LR or \(\ldots \) properties.
Problem 2.7.1
Classify tilings with such a property that any other tiling MLD (or topologically conjugate, or homeomorphic) to it also has that property.
A more ambitious (and openended) challenge is the following:
Problem 2.7.2
Develop and study new geometric properties, analogous but not identical to BD, BL, etc., that are invariant under MLD, topological conjugacy, or homeomorphism.
2.7.2 Modelling Physical Phenomena with Quasicrystals (After J. Miękisz)
Many physical phenomena are characterized by short range properties. Examples include thermal stability (temperature is stable under local perturbation), the interactions between two atoms close to each other or else the short range interaction when studying chemical potential. Any quasicrystal model used to describe such phenomena should take into account these local properties.
With this in view, Miękisz (1998) labelled two properties that should be satisfied by a local matching rule used to define a tiling:

(A)
Given a tile \(\mathfrak {t}\) and a region \(\mathcal {R}\) of the tiling space made of a finite union of tiles, define the discrepancy \(D_\mathfrak {t}(\mathcal {R})\) of the tile \(\mathfrak {t}\) in \(\mathcal {R}\) as
$$\begin{aligned} D_\mathfrak {t}(\mathcal {R}):= \left N_\mathfrak {t}(\mathcal {R})  d(\mathfrak {t})\cdot \mathrm {vol}(\mathcal {R}) \right . \end{aligned}$$Here, \(N_\mathfrak {t}(\mathcal {R})\) stands for the cardinality of the number of tiles \(\mathfrak {t}\) in the region \(\mathcal {R}\) and \(d(\mathfrak {t})\) for the density of the tile \(\mathfrak {t}\). The first condition imposed on the tiling is that of “low fluctuation”; that is, that there exists a constant \(c_\mathfrak {t}\) depending only on the tile \(\mathfrak {t}\) such that
$$\begin{aligned} D_\mathfrak {t}(\mathcal {R})\le c_\mathfrak {t}\cdot \left \partial \mathcal {R}\right , \end{aligned}$$(4)where \(\left \partial \mathcal {R}\right \) is the measure of the boundary \(\partial \mathcal {R}\) of \(\mathcal {R}\). It should be noted that, up to the constant \(c_\mathfrak {t}\), one cannot expect a bound better than the righthand side of (4) for the discrepancy \(D_\mathfrak {t}(\mathcal {R})\)—see Miękisz (1999) for details.

(B)
The second condition is that property (A) should also hold for any pattern or patch satisfying the given matching rule.
Problem 2.7.3
Find a set of matching rules in dimension 2 and/or 3 that meet both condition (A) and condition (B).
Regarding condition (A), if the system is not uniquely ergodic, then the fluctuations grow like volume (rather than perimeter) and there is no hope to solving the problem. In particular, whenever the problem is relevant, density is welldefined. Another approach, which does not involve defining density at all, is to look at the difference in population between two different patches of approximately the same volume and to ask whether that difference is bounded by the perimeter(s) and the difference in the volumes. Regarding condition (B), if a patch violates the matching rules at a small set of tiles, one can get another patch that does not violate the rules by simply deleting that small set. This is the main difficulty underlying Problem 2.7.3.
The following statement can be seen as a first step to the solution of Problem 2.7.3.
Problem 2.7.4
Find a set of matching rules in dimension 2 satisfying condition (A) only.
The contributor is able to produce an example based on the ideas developed in Miękisz (1999) solving the analogue of Problem 2.7.4 in dimension 3. In dimension 2 however, all known examples of matching rules (e.g., that corresponding to the Penrose tiling) have a discrepancy growing like \(O\left( \left \partial \mathcal {R}\right \cdot \log \left \partial \mathcal {R}\right \right) \).
2.8 B. Weiss
2.8.1 On a Problem of J. Marklof
Let \(d\ge 1\) be an integer. Denote by \(\mathbf {Cl}(\mathbb {R}^d)\) the set of all closed subsets of \(\mathbb {R}^d\) with respect to the Chabauty–Fell topology (de la Harpe 2016). Thus, \(\mathbf {Cl}(\mathbb {R}^d)\) is a compact metric space and any group acting on \(\mathbb {R}^d\) acts on it by transporting closed sets.
Let \(SL_d(\mathbb {R})\) denote the group of matrices in dimension d with determinant one, viz. the group of all volume and orientation preserving linear transformations in \(\mathbb {R}^d\). Let \(ASL_d(\mathbb {R})\) denote the affine group in \(\mathbb {R}^d\), viz. the group of all orientation and volume preserving affine maps in \(\mathbb {R}^d\).
Problem 2.8.1
(J. Marklof) Determine all \(SL_d(\mathbb {R})\)invariant Borel probability measures on \(\mathbf {Cl}(\mathbb {R}^d)\) and similarly for the \(ASL_d(\mathbb {R})\) action.
Examples of such measures include the Dirac masses at \(\emptyset \) and at \(\mathbb {R}^d\), the measures derived from a Poisson process, those naturally equipping the space of grids and translated lattices and also those equipping the space of cutandproject sets.
This problem is motivated by questions in mathematical physics—see Marklof and Strömbergsson (2014) for some recent work and Marklof (2015) for a survey. A topological analogue of this problem was resolved in Solan et al. (2015): it was proved that the only \(ASL_d(\mathbb {R})\)minimal sets are the fixed points \(\emptyset , \mathbb {R}^d\) (recall that a minimal set is a closed invariant set with no proper closed invariant subsets).
2.8.2 A “Folklore” Problem Concerning the Properties of CutandProject Sets
In relation with Problem 2.6.1 above, there is a wellknown open problem in the theory of aperiodic tilings which essentially asks whether there exists a cutandproject set which is not BL to a lattice. The problem can be formulated more rigorously in the following way:
Problem 2.8.2
Let \(E\subset \mathbb {R}^k\) be a totally irrational subspace of dimension \(d\ge 1\), and let Y be a cutandproject set obtained from E using a bounded window \(\mathcal {W}\) with non–empty interior and with the property that the \((kd)\)dimensional Lebesgue measure of \(\partial \mathcal {W}\) is zero. Is such a set Y always BL to a lattice in E?
In Burago and Kleiner (2002), it was shown that when \(k=3, d=2\) and when \(\mathcal {W}\) is an interval, then the set Y is BL to a lattice provided that E satisfies a mild Diophantine condition. In Haynes et al. (2014), a more general result is proved, which applies for all choices of k and d with a Diophantine hypothesis on E, and for all windows \(\mathcal {W}\) with the property that the upper Minkowski dimension of \(\partial \mathcal {W}\) is less than \(kd\). Further results related to this problem can be found in Haynes (2016) and Haynes and Koivusalo (2016).
It should be noted that if the window in the above problem is only required to be bounded, then it is not difficult (regardless of what E is) to choose \(\mathcal {W}\) so that the resulting set Y is not BL to a lattice. To see how to do this, suppose that \(k=3\) and \(d=2\) and assume without loss of generality that \(E+e_3=\mathbb {R}^3\), where \(e_3\) denotes a standard basis vector in \(\mathbb {R}^3\). Let \(F=\mathbb {R}e_3\) and let \(\rho _E\) and \(\rho _F\) be the projections from \(\mathbb {R}^3\) onto E and F with respect to the decomposition \(\mathbb {R}^3=E+F\). Let \(\mathcal {S}'\subseteq \mathbb {R}^3\) be defined by
Start with a Delone set \(Y'\) in \(\langle e_1,e_2\rangle _\mathbb {R}\) which is a subset of \(\langle e_1,e_2\rangle _\mathbb {Z}\), but which is not BL to a lattice in \(\langle e_1,e_2\rangle _\mathbb {R}\) (such sets can be produced, for example, by the construction given in Cortez and Navas 2016). Then, taking the window to be the bounded set given by
it is clear that the corresponding cutandproject set Y is not BL to a lattice.
References
Akiyama, S., Gähler, F., Lee, J.L.: Determining pure discrete spectrum for some selfaffine tilings. DMTCS 16(3), 305–316 (2014)
Akiyama, S., Barge, M., Berthé, V., Lee, J.L., Siegel, A.: On the Pisot substitution conjecture. In: Kellendonk, J., Lenz, D., Savinien, J. (eds.) Mathematics of Aperiodic Order. Progress in Mathematics, vol. 309, pp. 33–72 (2015)
Alestalo, P., Trotsenko, D.A., Väisälä, J.: Linear biLipschitz extension property. Sibirsk. Mat. Zh. 44(6), 1226–1238 (1993) [Translation into English in Sib. Math. J. 44(6), 959–968 (1993)]
Anderson, J.E., Putnam, I.F.: Topological invariants for substitution tilings and their associated C\(^*\)algebras. Ergod. Theory Dyn. Syst. 18(3), 50–537 (1998)
Baake, M., Grimm, U.: Aperiodic Order, vol. 1. A Mathematical Invitation. Encyclopedia of Mathematics and its Applications, vol. 149. Cambridge University Press, Cambridge (2013)
Baake, M., Frettlöh, D., Grimm, U.: A radial analogue of Poisson’s summation formula with applications to powder diffraction and pinwheel patterns. J. Geom. Phys. 57, 1331–1343 (2007)
Barge, M.: Factors of Pisot tiling spaces and the coincidence rank conjecture. Bull. Soc. Math. Fr. 143, 357–381 (2015a)
Barge, M.: The Pisot conjecture for \(\beta \)substitutions (2015b) (preprint). arXiv:1505.04408
Barge, M.: Pure discrete spectrum for a class on onedimensional substitution tiling systems. Discret. Cont. Dyn. Syst. A 36, 1159–1173 (2016)
Barge, M., Bruin, H., Jones, L., Sadun, L.: Homological Pisot substitutions and exact regularity. Isr. J. Math. 188, 281–300 (2012)
Bellissard, J., Iochum, B., Scoppola, E., Testard, D.: Spectral properties of onedimensional quasicrystals. Commun. Math. Phys. 125, 527–543 (1989)
Bleher, P.M., Homma, Y., Ji, L.L., Roeder, R.K.W., Shen, J.D.: Nearest neighbor distances on a circle: multidimensional case. J. Stat. Phys. 146(2), 446–465 (2012)
Burago, D., Kleiner, B.: Separated nets in Euclidean space and Jacobians of biLipschitz maps. Geom. Funct. Anal. 8(2), 273–282 (1998)
Burago, D., Kleiner, B.: Rectifying separated nets. Geom. Funct. Anal. 12(1), 80–92 (2002)
Conway, J., Radin, C.: Quaquaversal tilings and rotations. Invent. Math. 132, 179–188 (1998)
Cortez, M.I., Navas, A.: Some examples of nonrectifiable, repetitive Delone sets (2016) (preprint). arXiv:1401.7927
Damanik, D., Tcheremchantsev, S.: A general description of quantum dynamical spreading over an orthonormal basis and applications to Schrödinger operators. Discrete Contin. Dyn. Syst. A 28, 1381–1412 (2010)
Damanik, D., Killip, R., Lenz, D.: Uniform spectral properties of onedimensional quasicrystals. III. \(\alpha \)continuity. Commun. Math. Phys. 212(1), 191–204 (2000)
de la Harpe, P.: Spaces of closed subgroups of locally compact groups (2016). arXiv:0807.2030
Geelen, J.F., Simpson, R.J.: A two dimensional Steinhaus theorem. Australas. J. Combin. 8, 169–197 (1993)
Grimm, U., Deng, X.: Some comments on pinwheel tilings and their diffraction. J. Phys. Conf. Ser. 284, 012032 (2011)
Haynes, A.: Equivalence classes of codimension one cutandproject nets. Ergod. Theory Dyn. Syst. 36(3), 816–831 (2016). doi:10.1017/etds.2014.90
Haynes, A., Koivusalo, H.: Constructing bounded remainder sets and cutandproject sets which are bounded distance to lattices. Isr. J. Math. 212(1), 189–201 (2016). doi:10.1007/s118560161283z
Haynes, A., Kelly, M., Weiss, B.: Equivalence relations on separated nets arising from linear toral flows. Proc. Lond. Math. Soc. (3) 109(5), 1203–1228 (2014)
Haynes, A., Koivusalo, H., Walton, J.: A characterization of linearly repetitive cut and project sets (2016a) (submitted). arXiv:1503.04091
Haynes, A., Koivusalo, H., Walton, J.: Perfectly ordered quasicrystals and the Littlewood conjecture (2016b) (submitted). arXiv:1506.05649
Haynes, A., Koivusalo, H., Sadun, L., Walton, J.: Gaps problems and frequencies of patches in cut and project sets (2016c) (submitted). arXiv:1411.0578
Hollander, M., Solomyak, B.: Twosymbol Pisot substitutions have pure discrete spectrum. Ergod. Theory Dyn. Syst. 23, 533–640 (2003)
Julien, A.: Complexity and cohomology for cutandprojection tilings. Ergod. Theory Dyn. Syst. 30(2), 48–523 (2010)
Kamae, T., Zamboni, L.: Maximal pattern complexity for discrete systems. Ergod. Theory Dyn. Syst. 22(4), 1201–1214 (2002a)
Kamae, T., Zamboni, L.: Sequence entropy and the maximal pattern complexity of infinite words. Ergod. Theory Dyn. Syst. 22(4), 1191–1199 (2002b)
Lagarias, J.C., Pleasants, P.A.B.: Repetitive Delone sets and quasicrystals. Ergod. Theory Dyn. Syst. 23(3), 83–867 (2003)
Lothaire, M.: Algebraic Combinatorics on Words. Encyclopedia of Mathematics and its Applications. Encyclopedia of Mathematics and its Applications, vol. 90. Cambridge University Press, Cambridge (2002)
Marklof, J.: Kinetic limits of dynamical systems. In: Dolgopyat, D., Pesin, Y., Pollicott, M., Stoyanov, L. (eds.) Hyperbolic Dynamics, Fluctuations and Large Deviations. Proceedings of Symposia in Pure Mathematics, pp. 195–223. American Mathematical Society, Providence (2015)
Marklof, J., Strömbergsson, A.: Free path lengths in quasicrystals. Commun. Math. Phys. 330, 723–755 (2014)
McMullen, C.T.: Lipschitz maps and nets in Euclidean space. Geom. Funct. Anal. 8(2), 304–314 (1998)
Mendes, P., Oliveira, F.: On the topological structure of the arithmetic sum of two Cantor sets. Nonlinearity 7(2), 329–343 (1994)
Miękisz, J.: An ultimate frustration in classical latticegas models. J. Stat. Phys. 90, 285–300 (1998)
Miękisz, J.: Classical latticegas models of quasicrystals. J. Stat. Phys. 95, 835–850 (1999)
Moody, R.V., Postnikoff, D., Strungaru, N.: Circular symmetry of pinwheel diffraction. Ann. Henri Poincaré 7, 711–730 (2006)
Moustafa, H.: PV cohomology of the pinwheel tilings, their integer group of coinvariants and gaplabeling. Commun. Math. Phys. 298, 369–405 (2010)
Navas, A.: A remark concerning biLipschitz equivalence of Delone sets (2016). Notes available from the author (not intended for publication)
Queffélec, M.: Substitution Dynamical SystemsSpectral Analysis. Lecture Notes in Mathematics, vol. 1294, 2nd edn. Springer, Berlin (2010)
Radin, C.: The pinwheel tilings of the plane. Ann Math. 139(3), 661–702 (1994)
Sadun, L.: Topology of Tiling Spaces. University Lecture Series, vol. 46. American Mathematical Society, Providence (2008)
Sirvent, V.F., Solomyak, B.: Pure discrete spectrum for onedimensional substitution systems of Pisot type. Can. Math. Bull. 45, 697–710 (2002)
Solan, O., Solomon, Y., Weiss, B.: On problems of Danzer and Gowers and dynamics on the space of closed subsets of \(R^{d}\) (2015) (preprint)
Solomyak, B.: Dynamics of tiling spaces. Ergod. Theory Dyn. Syst. 17, 695–738 (1997)
Acknowledgments
The author would like to thank all the contributors (viz. David Damanik, Franz Gähler, Uwe Grimm, Alan Haynes, Antoine Julien, Andrés Navas, Lorenzo Sadun and Barak Weiss) for providing such interesting problems and for their careful reading of a preliminary draft of the paper. He would in particular like to thank Prof. Barak Weiss for suggesting the idea of this problem set and for his help during its elaboration. The introduction was written up by Dr. Alan Haynes. The author’s work was supported by EPSRC Programme Grant EP/J018260/1.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Adiceam, F., Damanik, D., Gähler, F. et al. Open Problems and Conjectures Related to the Theory of Mathematical Quasicrystals. Arnold Math J. 2, 579–592 (2016). https://doi.org/10.1007/s4059801600466
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s4059801600466