MathJax is loading, please wait
$ \newcommand{\Raa}{\mathbb{R}} \newcommand{\CV}{\mathbb{C}} \newcommand{\Naa}{\mathbb{N}} \newcommand{\Zaa}{\mathbb{Z}} \newcommand{\Qaa}{\mathbb{Q}}$
Problem contributionArnold Mathematical Journal

Received: 15 January 2016 / Revised: 21 May 2016 / Accepted: 11 June 2016

Open Problems and Conjectures Related to the Theory of Mathematical Quasicrystals
Faustin Adiceam Department of Mathematics, University of York, Heslington York YO10 5DD UK,
faustin.adiceam@york.ac.uk
, David Damanik Department of Mathematics, MS-136, Rice University, Houston TX 77251 USA,
damanik@rice.edu
, Franz Gähler Faculty of Mathematics, Bielefeld University, 33615 Bielefeld Germany,
gaehler@math.uni-bielefeld.de
, Uwe Grimm Department of Mathematics and Statistics, Faculty of Mathematics, Computing and Technology, The Open University, Walton Hall Milton Keynes MK7 6AA UK,
uwe.grimm@open.ac.uk
, Alan Haynes Department of Mathematics, University of York, Heslington York YO10 5DD UK,
alan.haynes@york.ac.uk
, Antoine Julien Institut for Matematiske fag, NTNU, 7491 Trondheim Norway,
antoine.julien@math.ntnu.no
, Andrés Navas Departamento de Matemática y Ciencia de la Computación, Facultad de Ciencia, Universidad de Santiago de Chile, Santiago Chile,
andrebs.navas@usach.cl
, Lorenzo Sadun Department of Mathematics, University of Texas, Austin TX 78712 USA,
sadun@math.utexas.edu
, Barak Weiss School of Mathematical Sciences, Tel Aviv University, Tel Aviv Israel,
barakw@post.tau.ac.il
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 cross-disciplinary research and lead to new advances in our overall vision of this rapidly developing field.
Keywords
  Problem set, Quasicrystals, Conjectures, Tiling, Cut-and-Project Sets

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 cross-disciplinary 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 Grimm2013] or [Sadun2008], as well as the references provided with the relevant problem. Here we list some less common terms and abbreviations used below:

  1. (i) Two point sets in $ \Raa^d$ are bounded displacement equivalent (abbreviated BD) if there is a bijection between them which moves every point by at most some finite amount.
  2. (ii) Two point sets in $ \Raa^d$ are bi-Lipschitz equivalent (abbreviated BL) if there is a bi-Lipschitz bijection between them.
  3. (iii) A pattern $ Y\subseteq\Raa^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 $ \Raa^d$.
  4. (iv) The abbreviation MLD stands for mutually locally derivable , as defined in Section 5.2 of [Baake and Grimm2013].

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 Tcheremchantsev2010] 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 $ \boldsymbol{x}\in\mathcal{A}^\Naa$ (resp. $ \boldsymbol{x}\in\mathcal{A}^\Zaa$) be a single sided (resp. a double sided) recurrent sequence over $ \mathcal{A}$. The complexity of $ \boldsymbol{x}$ is defined for each integer $ n\ge 1$ as \begin{eqnarray*} p(n):=\#\left\{x_m\dots x_{m+n-1}\, : \, m\in\Zaa \right\} \end{eqnarray*} 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 $ \boldsymbol{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 $ \boldsymbol{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 ([Lothaire2002]) that a double sided (resp. single sided) Sturmian sequence is exactly of one of the following forms: for all $ m\in\Zaa$ (resp. for all $ m\in\Naa$), \begin{eqnarray*} x_m:=\chi_{[1-\alpha;\, 1)}\left(\{m\alpha +\theta\}\right)\quad \textrm{or}\quad x_m:= \chi_{(1-\alpha;\, 1]}\left(\{m\alpha +\theta\}\right). \end{eqnarray*} Here, $ \{x\}$ denotes the fractional part of $ x\in\Raa$, $ \chi_E$ the characteristic function of a set $ E\subset\Raa$ and $ \alpha$ and $ \theta$ are two real numbers such that $ \alpha\in\Raa\backslash\Qaa$ and $ \theta\not\in \alpha\Zaa+\Zaa$.

The following result is established in [Bellissard et al.1989] and [Damanik et al.2000].

Theorem 2.1.1.
Let $ \lambda\in\CV$ and let $ \boldsymbol{x}\in\left\{0,1\right\}^\Zaa$ be a Sturmian sequence. Denote by $ H$ the Schrödinger operator defined in the space $ l^2(\Zaa)$ as follows$ :$ given $ \psi\in l^2(\Zaa)$ and $ m\in\Zaa,$ let \begin{eqnarray*} \left[H\psi\right](m):=\psi(m+1)+\psi(m-1)+\lambda\cdot x_m\cdot \psi(m). \end{eqnarray*}

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 Zamboni2002a, Kamae and Zamboni2002b]. It is defined as follows (with the natural modification if the sequence is single sided): for $ n\ge 1$, \begin{eqnarray*} p^*(n):=\sup_{0=\tau(0)< \cdots< \tau(n-1)}\#\left\{x_{m+\tau(0)}\cdots x_{m+\tau(n-1)}\, : \, m\in\Zaa\right\}, \end{eqnarray*} where $ \tau(0), \ldots, \tau(n-1)$ are integers. It is not difficult to see that if $ \boldsymbol{x}$ is an aperiodic sequence, then $ p^*(n)\ge 2n$ for all $ n\ge 1$. The sequence $ \boldsymbol{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 $ \boldsymbol{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 \begin{eqnarray*} [H\psi](v):= \sum_{w\, : \,(v,w)\in E}\left(\psi(w)-\psi(v)\right). \end{eqnarray*}

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\CV$ and, for $ j\in\{1,2\}$ and $ k\in\Zaa$, \begin{eqnarray*} s_j^{\lambda_j}(k) := \lambda_j\cdot \chi_{[1-\gamma,1)}(\{k \gamma\}) \end{eqnarray*} with $ \gamma = \frac{\sqrt{5}-1}{2}$. Thus, for any $ m, n\in \Zaa$, \begin{eqnarray*} V(m,n) := s_1^{\lambda_1}(m)+s_2^{\lambda_2}(n). \end{eqnarray*} The corresponding Schrödinger operator $ H$ in the space $ l^2(\Zaa^2)$ is defined as follows: for $ \psi\in l^2(\Zaa)$ and $ (m,n)\in\Zaa^2$, \begin{eqnarray*} [H\psi](m,n)&:=& \psi(m+1, n)+\psi(m-1,n)+\psi(m,n+1)\\ &&+\,\psi(m,n-1)+V(m,n)\cdot\psi(m,n). \end{eqnarray*} 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 Oliveira1994]. 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 long-standing 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 cut-and-project sets and tilings, this is the case by construction, but for inflation tilings the situation is not as clear. It is known ([Solomyak1997]) that a self-similar inflation tiling has a non-trivial 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 Solomyak2002], [Solomyak1997]) 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 one-dimensional self-similar 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 counter-example 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 Solomyak2003]). 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 ([Barge2016]) and also for $ \beta$-substitutions ([Barge2015b]) (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 one-dimensional$ ,$ 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 non-unimodular case in the form of the Coincidence Rank Conjecture ([Barge2015a]):

Conjecture 2.2.3.
(Coincidence Rank Conjecture) The coincidence rank of a one-dimensional 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 Radin1998] and [Radin1994] for further details and [Moustafa2010] 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. 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.

Figure 1 Conway triangle decomposition into homothetic smaller triangles.
Figure 2 A Pinwheel tiling.

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 right-angled 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 well-defined 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 rotation-averaged 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 Deng2011]). 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\Raa$ be such that $ 1, \alpha$ and $ \beta$ are $ \Qaa$-linearly independent. Let $ Y(\alpha, \beta)$ be a canonical cut-and-project set (this concept is defined in [Haynes et al.2016a]) formed using the subspace \begin{eqnarray*} E(\alpha, \beta):= \left\{(x,y, \alpha x + \beta y)\: : \, x,y\in\Raa \right\} \, \subset \, \Raa^3. \end{eqnarray*} 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\Naa$ and \begin{eqnarray*} S_{(\alpha, \beta)}(M,N):= \left\{\{m\alpha+n\beta\}\, : \, 0\le m< M, \, 0\le n< N\right\}, \end{eqnarray*} where $ \{x\}$ denotes the fractional part of $ x\in\Raa$. 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}=\Raa/\Zaa$ denotes the one-dimensional torus). For instance, the number of different frequencies for a two-to-one cut-and-project 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
\begin{equation}\label{lab0} \sup_{\Omega\in\mathcal{S}} \# \xi_{(\alpha, \beta)}(\Omega)\, = \, +\infty, \end{equation} (1)
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\Naa}G_{(\alpha, \beta)}(N, N)=+\infty$. It was conjectured by Erdös ([Geelen and Simpson1993]) that the latter equation should hold whenever $ 1, \alpha$ and $ \beta$ are $ \Qaa$-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\Naa}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\Naa}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
\begin{equation}\label{lab00} \sup_{\Omega\in\mathcal{R}} \# \xi_{(\alpha, \beta)}(\Omega)= +\infty, \end{equation} (2)
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, Haynes et al.2016c], it can be shown that any such pair satisfies the equation

\begin{equation}\label{lab01} \liminf_{n\rightarrow\infty} n\left\|n\alpha\right\|\left\|n\beta\right\| = 0; \end{equation} (3)
that is, any such pair satisfies the Littlewood Conjecture (here, $ \left\|x\right\|$ denotes the distance from $ x\in\Raa$ to a nearest integer). Whether the converse holds is an open problem:
Problem 2.4.3.
Given $ (\alpha, \beta)\in\Raa^2$ such that $ 1, \alpha$ and $ \beta$ are $ \Qaa$-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 one-dimensional), 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 Pleasants2003] for details.

In the case of a canonical (in particular, irrational and aperiodic) cut-and-project tiling, it is known ([Julien2010], Theorem 5.1) that the complexity function grows like $ O(n^d)$ if, and only if, the groups of cohomology over $ \Qaa$ of the tiling space are finitely generated. In other words, with usual notation, \begin{eqnarray*} p(n)=O(n^d)\, \iff\, \textrm{rk}(H^*(\Omega, \Qaa))< \infty. \end{eqnarray*}

The situation is not as well understood in the non-cut-and-project 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., Proposition 6.20 in [Julien2010]. In dimension $ d=1$ however, the converse can be settled in the affirmative ([Julien2010], Proposition 6.7): if $ p(n)=O(n)$, then $ \textrm{rk}(H^1(\Omega, \Qaa))< \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 $ \textrm{rk}(H^*(\Omega, \Qaa))< \infty$?

Note that the result fails already in dimension one if one considers cohomologies over $ \Zaa$ rather than over $ \Qaa$. Indeed, the substitution defining the Thue–Morse sequence is primitive and therefore ([Queffélec2010]) the corresponding complexity function is bounded above by a linear function. Besides, one can show ([Anderson and Putnam1998]) that \begin{eqnarray*} H^1(\Omega_{TM}, \Zaa)\,\simeq\, \Zaa\left[\frac{1}{2}\right] \oplus \Zaa. \end{eqnarray*} In particular, $ H^1(\Omega_{TM}, \Zaa)$ is not finitely generated over $ \Zaa$.

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 Kleiner2002] on the one hand and [McMullen1998] 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 $ \Zaa^2$.
Problem 2.6.1.
Let $ \mathcal{D}\subset\Raa^2$ be a Delone set BL to $ \Zaa^2$. Does there exist a bi-Lipschitz map $ L \Zaa^2:\Raa^2\mapsto\Raa^2$ such that $ L(\mathcal{D})=\Zaa^2$?

In this direction, it has been shown ([Navas2016]) 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 Kleiner1998] 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 open-ended) 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.

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ękisz1998] labelled two properties that should be satisfied by a local matching rule used to define a tiling:

  1. (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{eqnarray*} D_\mathfrak{t}(\mathcal{R}):= \left|N_\mathfrak{t}(\mathcal{R}) - d(\mathfrak{t})\cdot \mathrm{vol}(\mathcal{R}) \right|. \end{eqnarray*} 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{equation}\label{lab1} D_\mathfrak{t}(\mathcal{R})\le c_\mathfrak{t}\cdot\left|\partial\mathcal{R}\right|, \end{equation} (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 right-hand side of (4) for the discrepancy $ D_\mathfrak{t}(\mathcal{R})$—see [Miękisz1999] for details.
  2. (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 well-defined. 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ękisz1999] 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}(\Raa^d)$ the set of all closed subsets of $ \Raa^d$ with respect to the Chabauty–Fell topology ([de la Harpe2016]). Thus, $ \mathbf{Cl}(\Raa^d)$ is a compact metric space and any group acting on $ \Raa^d$ acts on it by transporting closed sets.

Let $ SL_d(\Raa)$ denote the group of matrices in dimension $ d$ with determinant one, viz. the group of all volume and orientation preserving linear transformations in $ \Raa^d$. Let $ ASL_d(\Raa)$ denote the affine group in $ \Raa^d$, viz. the group of all orientation and volume preserving affine maps in $ \Raa^d$.

Problem 2.8.1.
(J. Marklof) Determine all $ SL_d(\Raa)$-invariant Borel probability measures on $ \mathbf{Cl}(\Raa^d)$ and similarly for the $ ASL_d(\Raa)$ action.

Examples of such measures include the Dirac masses at $ \emptyset$ and at $ \Raa^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 cut-and-project sets.

This problem is motivated by questions in mathematical physics—see [Marklof and Strömbergsson2014] for some recent work and [Marklof2015] for a survey. A topological analogue of this problem was resolved in [Solan et al.2015]: it was proved that the only $ ASL_d(\Raa)$-minimal sets are the fixed points $ \emptyset, \Raa^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 Cut-and-Project Sets

In relation with Problem 2.6.1 above, there is a well-known open problem in the theory of aperiodic tilings which essentially asks whether there exists a cut-and-project 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\Raa^k$ be a totally irrational subspace of dimension $ d\ge 1$, and let $ Y$ be a cut-and-project set obtained from $ E$ using a bounded window $ \mathcal{W}$ with non–empty interior and with the property that the $ (k-d)$-dimensional Lebesgue measure of $ \partial\mathcal{W}$ is zero. Is such a set $ Y$ always BL to a lattice in $ E$?

In [Burago and Kleiner2002], 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 $ k-d$. Further results related to this problem can be found in [Haynes2016] and [Haynes and Koivusalo2016].

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=\Raa^3$, where $ e_3$ denotes a standard basis vector in $ \Raa^3$. Let $ F=\Raa e_3$ and let $ \rho_E$ and $ \rho_F$ be the projections from $ \Raa^3$ onto $ E$ and $ F$ with respect to the decomposition $ \Raa^3=E+F$. Let $ \mathcal{S}'\subseteq \Raa^3$ be defined by \begin{eqnarray*} \mathcal{S}'=\rho_F^{-1}(\{te^3:0\le t< 1\}). \end{eqnarray*} Start with a Delone set $ Y'$ in $ \langle e_1,e_2\rangle_\Raa$ which is a subset of $ \langle e_1,e_2\rangle_\Zaa$, but which is not BL to a lattice in $ \langle e_1,e_2\rangle_\Raa$ (such sets can be produced, for example, by the construction given in [Cortez and Navas2016]). Then, taking the window to be the bounded set given by \begin{eqnarray*} \mathcal{W}=\rho_F(\{n\in\Zaa^3\cap\mathcal{S}':\rho_E(n)\in\rho_{E}(Y')\}), \end{eqnarray*} it is clear that the corresponding cut-and-project set $ Y$ is not BL to a lattice.

Acknowledgements.
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.

References

[Akiyama et al.2014] Akiyama, S., Gähler, F., Lee, J.-L.: Determining pure discrete spectrum for some self-affine tilings. DMTCS 16 (3), 305–316 (2014)
[Akiyama et al.2015] 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 et al.1993] 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 and Putnam1998] 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 and Grimm2013] 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 et al.2007] 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)
[Barge2015a] Barge, M.: Factors of Pisot tiling spaces and the coincidence rank conjecture. Bull. Soc. Math. Fr. 143 , 357–381 (2015a)
[Barge2015b] Barge, M.: The Pisot conjecture for $ \beta $-substitutions (2015b) (preprint). arXiv:1505.04408
[Barge2016] Barge, M.: Pure discrete spectrum for a class on one-dimensional substitution tiling systems. Discret. Cont. Dyn. Syst. A 36 , 1159–1173 (2016)
[Barge et al.2012] Barge, M., Bruin, H., Jones, L., Sadun, L.: Homological Pisot substitutions and exact regularity. Isr. J. Math. 188 , 281–300 (2012)
[Bellissard et al.1989] Bellissard, J., Iochum, B., Scoppola, E., Testard, D.: Spectral properties of one-dimensional quasicrystals. Commun. Math. Phys. 125 , 527–543 (1989)
[Bleher et al.2012] 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 and Kleiner1998] Burago, D., Kleiner, B.: Separated nets in Euclidean space and Jacobians of bi-Lipschitz maps. Geom. Funct. Anal. 8 (2), 273–282 (1998)
[Burago and Kleiner2002] Burago, D., Kleiner, B.: Rectifying separated nets. Geom. Funct. Anal. 12 (1), 80–92 (2002)
[Conway and Radin1998] Conway, J., Radin, C.: Quaquaversal tilings and rotations. Invent. Math. 132 , 179–188 (1998)
[Cortez and Navas2016] Cortez, M.I., Navas, A.: Some examples of non-rectifiable, repetitive Delone sets (2016) (preprint). arXiv:1401.7927
[Damanik and Tcheremchantsev2010] 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 et al.2000] Damanik, D., Killip, R., Lenz, D.: Uniform spectral properties of one-dimensional quasicrystals. III. $ \alpha $-continuity. Commun. Math. Phys. 212 (1), 191–204 (2000)
[de la Harpe2016] de la Harpe, P.: Spaces of closed subgroups of locally compact groups (2016). arXiv:0807.2030
[Geelen and Simpson1993] Geelen, J.F., Simpson, R.J.: A two dimensional Steinhaus theorem. Australas. J. Combin. 8 , 169–197 (1993)
[Grimm and Deng2011] Grimm, U., Deng, X.: Some comments on pinwheel tilings and their diffraction. J. Phys. Conf. Ser. 284 , 012032 (2011)
[Haynes2016] Haynes, A.: Equivalence classes of codimension one cut-and- project nets. Ergod. Theory Dyn. Syst. 36 (3), 816–831 (2016). doi:
[Haynes and Koivusalo2016] Haynes, A., Koivusalo, H.: Constructing bounded remainder sets and cut-and-project sets which are bounded distance to lattices. Isr. J. Math. 212 (1), 189–201 (2016). doi:
[Haynes et al.2014] 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 et al.2016a] Haynes, A., Koivusalo, H., Walton, J.: A characterization of linearly repetitive cut and project sets (2016a) (submitted). arXiv:1503.04091
[Haynes et al.2016b] Haynes, A., Koivusalo, H., Walton, J.: Perfectly ordered quasicrystals and the Littlewood conjecture (2016b) (submitted). arXiv:1506.05649
[Haynes et al.2016c] 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 and Solomyak2003] Hollander, M., Solomyak, B.: Two-symbol Pisot substitutions have pure discrete spectrum. Ergod. Theory Dyn. Syst. 23 , 533–640 (2003)
[Julien2010] Julien, A.: Complexity and cohomology for cut-and-projection tilings. Ergod. Theory Dyn. Syst. 30 (2), 48–523 (2010)
[Kamae and Zamboni2002a] Kamae, T., Zamboni, L.: Maximal pattern complexity for discrete systems. Ergod. Theory Dyn. Syst. 22 (4), 1201–1214 (2002a)
[Kamae and Zamboni2002b] Kamae, T., Zamboni, L.: Sequence entropy and the maximal pattern complexity of infinite words. Ergod. Theory Dyn. Syst. 22 (4), 1191–1199 (2002b)
[Lagarias and Pleasants2003] Lagarias, J.C., Pleasants, P.A.B.: Repetitive Delone sets and quasicrystals. Ergod. Theory Dyn. Syst. 23 (3), 83–867 (2003)
[Lothaire2002] 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)
[Marklof2015] 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 and Strömbergsson2014] Marklof, J., Strömbergsson, A.: Free path lengths in quasicrystals. Commun. Math. Phys. 330 , 723–755 (2014)
[McMullen1998] McMullen, C.T.: Lipschitz maps and nets in Euclidean space. Geom. Funct. Anal. 8 (2), 304–314 (1998)
[Mendes and Oliveira1994] Mendes, P., Oliveira, F.: On the topological structure of the arithmetic sum of two Cantor sets. Nonlinearity 7 (2), 329–343 (1994)
[Miękisz1998] Miękisz, J.: An ultimate frustration in classical lattice-gas models. J. Stat. Phys. 90 , 285–300 (1998)
[Miękisz1999] Miękisz, J.: Classical lattice-gas models of quasicrystals. J. Stat. Phys. 95 , 835–850 (1999)
[Moody et al.2006] Moody, R.V., Postnikoff, D., Strungaru, N.: Circular symmetry of pinwheel diffraction. Ann. Henri Poincaré 7 , 711–730 (2006)
[Moustafa2010] Moustafa, H.: PV cohomology of the pinwheel tilings, their integer group of coinvariants and gap-labeling. Commun. Math. Phys. 298 , 369–405 (2010)
[Navas2016] Navas, A.: A remark concerning bi-Lipschitz equivalence of Delone sets (2016). Notes available from the author (not intended for publication)
[Queffélec2010] Queffélec, M.: Substitution Dynamical Systems-Spectral Analysis. Lecture Notes in Mathematics, vol. 1294, 2nd edn. Springer, Berlin (2010)
[Radin1994] Radin, C.: The pinwheel tilings of the plane. Ann Math. 139 (3), 661–702 (1994)
[Sadun2008] Sadun, L.: Topology of Tiling Spaces. University Lecture Series, vol. 46. American Mathematical Society, Providence (2008)
[Sirvent and Solomyak2002] Sirvent, V.F., Solomyak, B.: Pure discrete spectrum for one-dimensional substitution systems of Pisot type. Can. Math. Bull. 45 , 697–710 (2002)
[Solan et al.2015] 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)
[Solomyak1997] Solomyak, B.: Dynamics of tiling spaces. Ergod. Theory Dyn. Syst. 17 , 695–738 (1997)