Abstract
The Dirac combs of primitive Pisot–Vijayaraghavan (PV) inflations on the real line or, more generally, in \({\mathbb {R}}^d\) are analysed. We construct a mean-orthogonal splitting for such Dirac combs that leads to the classic Eberlein decomposition on the level of the pair correlation measures, and thus to the separation of pure point versus continuous spectral components in the corresponding diffraction measures. This is illustrated with two guiding examples, and an extension to more general systems with randomness is outlined.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Symbolic Pisot–Vijayaraghavan (PV) substitutions induce a much-studied class of dynamical systems under the action of \({{\mathbb {Z}}}\). By means of suitable suspensions, they also define natural dynamical systems under the continuous translation action of \({\mathbb {R}}\). Of particular interest is the self-similar suspension, which turns the symbolic substitution system into a tiling inflation; see [8, Ch. 4] and references therein, as well as [9, 20], for general background. This setting is naturally connected with general inflation tilings in \({\mathbb {R}}^d\), which is our point of view here.
As the famous Pisot (or PV) substitution conjecture is still unresolved, despite great effort and progress (see [1] for a summary), it seems a good strategy to consider such systems in a wider setting, where one particularly takes mixed spectra more into focus. So, given a general PV inflation system, it is of considerable interest to decompose its spectrum in a constructive fashion. Here, we report on some progress in this direction, where we start from the Dirac comb of a PV inflation and split it into two parts, one of which leads to the pure point part of the diffraction measure and the other to the continuous part. Moreover, this splitting possesses an orthogonality relation in an averaged (or Eberlein) sense, which can also be established for more general systems.
An important predecessor of our approach is the work by Aujogue [2], where an Eberlein-type decomposition is established for measure-theoretic dynamical systems, hence in an almost sure sense. When dealing with the class of primitive inflation tilings (or a characteristic point set representing them), which define strictly ergodic Delone dynamical systems, one wants to achieve such a decomposition constructively, starting from a single member of the dynamical system, that is, from a single point set in \({\mathbb {R}}^d\), say. Below, in view of later extensions, we do not restrict our attention to Delone sets, but allow for more general point sets; see [32, 33, 38] for some of the theory that will then become useful. Starting from the Dirac comb of such a point set, we construct a splitting into two measures that results in the Eberlein decomposition for the pair correlation measures and do this in such a way that these two measures are mutually orthogonal in an averaged (or Eberlein) sense. For some systems, such a splitting has been used in the treatment of diffraction theory of systems with mixed spectrum, see [8, 38, 39] and references therein, both for deterministic and for stochastic systems.
The paper is organised as follows. First, in Sect. 2, we recall some of the necessary tools and results, which are systematically formulated for \({\mathbb {R}}^d\) to accommodate self-similar inflation tilings in sufficient generality. This is followed by a guiding example for \(d=1\) with mixed spectrum, namely a twisted version of the classic Fibonacci tiling, in Sect. 3. Then, we state and prove the central orthogonality result, which takes most of Sect. 4, before we can formulate the decomposition theorem in Sect. 5. Here, we also show how it works for the Thue–Morse system, which has an inflation factor that is not a unit and serves as our second guiding example. Finally, in Sect. 6, we extend our splitting approach to two systems of stochastic nature, namely the interaction-free lattice gas and the Fibonacci random inflation system from [16].
2 Preliminaries
Due to our setting with Euclidean inflation tilings, we work with \({\mathbb {R}}^d\). Let us mention in passing that many steps can be generalised to any second countable, locally compact Abelian group as well, but we suppress this in what follows. Let \({\mathcal {A}}= (A^{}_{n})^{}_{n\in {\mathbb {N}}}\) be an averaging sequence in \({\mathbb {R}}^d\), by which we denote a sequence of compact sets that are nested, meaning \(A^{}_{n} \subset A^{\circ }_{n+1}\) for all \(n\in {\mathbb {N}}\), and exhausting, which refers to \(\bigcup _n A^{}_{n} = {\mathbb {R}}^d\). We call an averaging sequence symmetric when \(A_n = - A_n\) holds for all \(n \in {\mathbb {N}}\) and write this as \({\mathcal {A}}= - {\mathcal {A}}\). Later, we shall only consider averaging sequences that have the van Hove property, which is to say that, for any compact set \(K\subset {\mathbb {R}}^d\), one has
where \(\partial ^K C :=\bigl ( (C+K)\setminus C^{\circ } \bigr ) \cup \bigl ( ( \overline{{\mathbb {R}}^d\setminus C} - K )\cap C \bigr )\) for K and C compact; compare [8, p. 29] and references given there for more. Symmetric van Hove averaging sequences in \({\mathbb {R}}^d\) that are widely used include cubes and balls, such as \(\bigl ( [-n,n]^d \bigr )_{n\in {\mathbb {N}}}\) or \(\bigl ( \{ \Vert x \Vert \leqslant n \} \bigr )_{n\in {\mathbb {N}}}\).
Recall that \(C_{{\mathsf {u}}}({\mathbb {R}}^d)\) denotes the complex vector space of bounded functions on \({\mathbb {R}}^d\) that are uniformly continuous.
Definition 2.1
Two functions \(f,g \in C_{{\mathsf {u}}}({\mathbb {R}}^d)\) are said to possess an Eberlein convolution with respect to, or along, a given averaging sequence \({\mathcal {A}}\) in \({\mathbb {R}}^d\) if
exists for all \(x \in {\mathbb {R}}^d\). When \({\mathcal {A}}\) is a fixed averaging sequence that has the van Hove property and is symmetric, so \({\mathcal {A}}= - {\mathcal {A}}\), we will usually write \(f\circledast g\) instead of \(f {\mathop {\circledast }\limits ^{{\mathcal {A}}}} g\).
At this point, it is relevant to ask whether or when \(\circledast \) is commutative.
Lemma 2.2
Let \({\mathcal {A}}\) be a van Hove averaging sequence in \({\mathbb {R}}^d\), let \(f,g \in C_{{\mathsf {u}}}({\mathbb {R}}^d)\), and assume that the Eberlein convolution of f and g exists along \({\mathcal {A}}\). Then, also the Eberlein convolution of g and f exists, this time along \(-{\mathcal {A}}\), and one has
In particular, if \({\mathcal {A}}\) is also symmetric, one has \(f \circledast g = g \circledast f\).
Proof
This follows from the following (backwards) calculation,
where the first equality in the last line is a consequence of the van Hove property of \({\mathcal {A}}\) together with the boundedness of f and g. \(\square \)
From now on, whenever we write \(f \circledast g\), it is understood that the Eberlein convolution refers to a symmetric van Hove averaging sequence and is assumed to exist; that is, the averaging limit along \({\mathcal {A}}\) exists for all \(x \in {\mathbb {R}}^d\). Here, we need a generalisation of this notion to translation-bounded Radon measures on \({\mathbb {R}}^d\), which are the measures \(\mu \) such that \(\sup _{t\in {\mathbb {R}}^d} | \mu | (t +K) < \infty \) for some fixed compact set \(K\subset {\mathbb {R}}^d\) with non-empty interior, where \(| \mu |\) denotes the total variation of \(\mu \). We denote the class of translation-bounded Radon measures by \({\mathcal {M}}^{\infty } ({\mathbb {R}}^d)\) and say that \(\mu , \nu \in {\mathcal {M}}^{\infty } ({\mathbb {R}}^d)\) possess an Eberlein convolution with respect to a symmetric van Hove averaging sequence \({\mathcal {A}}\) if the limit
exists in the vague topology, where \(\mu |^{}_{K}\) denotes the restriction of the measure \(\mu \) to a compact set \(K \subset {\mathbb {R}}^d\); see [8, 31] for background and [24] for further details. Note that this definition is the unique extension of the concept for functions to the setting of Radon measures.
Remark 2.3
The restriction to symmetric van Hove averaging sequences looks a little artificial. It was chosen to bypass a small inconsistency in the standard definition from above, which is widely used in the literature. Indeed, for a general van Hove averaging sequence, a more consistent alternative would be
which satisfies \(\mu {\mathop {\circledast }\limits ^{{\mathcal {A}}}} \nu = \nu {\mathop {\circledast }\limits ^{-{\mathcal {A}}}} \mu \) in analogy to above. This definition is the consistent extension of Definition 2.1. Indeed, when \(\mu \) and \(\nu \) are absolutely continuous measures with Radon–Nikodym densities f and g, respectively, one finds
where \(\lambda ^{}_{\mathrm {L}}\) denotes Lebesgue measure on \({\mathbb {R}}^d\). This observation follows from
where h is an arbitrary continuous function with compact support, after dividing by \({{\,\mathrm{vol}\,}}(A_n)\) and taking the limit as \(n\rightarrow \infty \).
When \({\mathcal {A}}\) is also symmetric, these subtleties go away and \(\circledast \) becomes commutative. Since this extra assumption poses no relevant restriction to any of our later arguments, we will usually make it, but always say so in our formal statements. \(\square \)
Next, we need another notion, the Fourier–Bohr (FB) coefficients.
Definition 2.4
A function \(g \in C_{{\mathsf {u}}}({\mathbb {R}}^d)\) possesses the FB coefficient at \(k\in {\mathbb {R}}^d\) with respect to \({\mathcal {A}}\) if
exists. We say that g possesses FB coefficients relative to \({\mathcal {A}}\) when \(c^{}_{g} (k)\) exists for all \(k \in {\mathbb {R}}^d\).
Likewise, a Radon measure \(\mu \in {\mathcal {M}}^\infty ({\mathbb {R}}^d)\) possesses FB coefficients with respect to \({\mathcal {A}}\) on a set \(S\subseteq {\mathbb {R}}^d\) if
exists for all \(k\in S\).
From now on, whenever we write \(c^{}_{g} (k)\) or \(c^{}_{\mu } (k)\), it is understood that the corresponding limit exists.
The following result, which can be derived from [21, Lemma 8] and is a mild variant of [23, Lemma 1.9 and Cor. 1.20], see also [15, Prop. 8.2], provides the connection between the FB coefficients of a translation-bounded Radon measure \(\mu \) and the convolutions \(\mu *\varphi \) with arbitrary \(\varphi \in C_{{\mathsf {c}}}({\mathbb {R}}^d)\), where the latter denotes the space of continuous functions on \({\mathbb {R}}^d\) with compact support. Below, we use \({\widehat{\varphi }}\) for the Fourier transform of a function \(\varphi \), employing the conventions of [8, Ch. 8].
Lemma 2.5
Let \({\mathcal {A}}\) be a general van Hove averaging sequence in \({\mathbb {R}}^d\), and consider a Radon measure \(\mu \in {\mathcal {M}}^\infty ({\mathbb {R}}^d)\). If \(\varphi \in C_{{\mathsf {c}}}({\mathbb {R}}^d)\) and \(k \in {\mathbb {R}}^d\), one has
In particular, if \(c^{}_{\mu } (k)\) exists, then so does \(c^{}_{\varphi *\mu } (k)\), and one has
Conversely, if \(c^{}_{\varphi *\mu } (k)\) exists for some \(\varphi \) with \({\widehat{\varphi }}(k) \ne 0\), then \(c^{}_{\mu } (k)\) exists as well.
Proof
Let us first note that
where we used the substitution \(t = r+s\) and Fubini’s theorem for the last line.
Consequently, we have
With \(K ={{\,\mathrm{supp}\,}}(\varphi )\), we have \(\big | 1^{}_{A_n}(t) - 1^{}_{A_n}(s) \big | \, |\varphi (t-s)|=0\) for any \(t \notin \partial ^K A_n\), hence
which then gives
As \(n\rightarrow \infty \), the claim now follows from the translation boundedness of \(\mu \) and the van Hove property of \({\mathcal {A}}\) from Eq. (1). \(\square \)
What we wrote down so far are special relations involving continuous characters on \({\mathbb {R}}^d\), which are the elements of the dual group. Since \({\mathbb {R}}^d\) is self-dual, it is common to employ an additive notation for the characters and denote them by \(\chi ^{}_{k} :{\mathbb {R}}^d \xrightarrow {\quad } {\mathbb {S}}^1\), where \(k\in {\mathbb {R}}^d\) is fixed and the mapping is given by
Clearly, one then has \(\chi ^{}_{k} (x) \ne 0\) for all \(x\in {\mathbb {R}}^d\), together with \(\overline{\chi ^{}_{k}} = \chi ^{}_{-k}\).
Before we embark on the general result, let us discuss our first guiding example for \(d=1\), which is built as a simple extension [5] of the classic Fibonacci tiling of the real line.
3 A simple PV inflation with mixed spectrum
Fix the alphabet \(\{ a, {\underline{a}}, b, {\underline{b}}\}\) and consider the aperiodic substitution rule
which has the substitution matrix
Since \(M^{}_{\varrho }\) has Perron–Frobenius eigenvalue \(\tau = \frac{1}{2} ( 1 + \sqrt{5}\, )\), which is a PV unit, with corresponding left eigenvector \((\tau , \tau , 1, 1 )\), one can turn \(\varrho \) into a PV inflation with prototiles (intervals) of length \(\tau \) for a and \({\underline{a}}\), and of length 1 for b and \({\underline{b}}\); see [5, Sect. 3.2] and references therein for details. On identifying a with \({\underline{a}}\) and b with \({\underline{b}}\), one obtains the classic Fibonacci tilings of the real line [8, Ex. 4.6 and Sec. 9.4.1] with pure point spectrum, both in the diffraction and in the dynamical sense. This implies that the ‘twisted’ inflation system induced by \(\varrho \) is an almost everywhere 2:1 extension of the classic Fibonacci system. By standard results, see [3] and references therein, this implies that the mapping of the twisted system onto its maximal equicontinuous factor is also 2:1 almost everywhere. Consequently, the twisted system must have mixed spectrum, with a pure point and a continuous part. The latter is purely singular continuous in this case, by [5, Theorem 3.2]. Let us sketch how to arrive at this conclusion constructively.
Now, working with an inflation fixed point and the left endpoints of the intervals of type \(\alpha \in \{ a, {\underline{a}}, b, {\underline{b}}\}\), we always get \(\varLambda _{\alpha } \in {{\mathbb {Z}}}[\tau ]\), wherefore we can employ the natural cut and project scheme (CPS) of the Fibonacci system, abbreviated by \(({\mathbb {R}}, {\mathbb {R}}, {\mathcal {L}})\), as constructed and described in detail in [8, Sect. 7.2]. Here, the CPS is given by
where \(\star \) denotes the star map of the CPS, which is the restriction to \({{\mathbb {Z}}}(\tau )\) of the unique field automorphism of \({{\mathbb {Q}}}(\sqrt{5}\,)\) induced by \(\sqrt{5} \mapsto - \sqrt{5}\), and
is the Minkowski embedding of \({{\mathbb {Z}}}[\tau ]\), which is a lattice in \({\mathbb {R}}^2\simeq {\mathbb {R}}\times {\mathbb {R}}\) of density \(1/\sqrt{5}\); see [8, Sect. 3.4 and Ex. 7.3] for background and details. Setting \(W^{}_{\alpha } = \overline{\varLambda ^{\star }_{\alpha }}\), one obtains [5] the compact intervals
Now, each set \({\curlywedge }(W_{\alpha }) :=\{ x \in {{\mathbb {Z}}}[\tau ]: x^{\star } \in W_{\alpha } \}\) is a regular model set with pure point diffraction [8, Theorem 9.4], while this is not true of the point sets \(\varLambda _{\alpha }\).
One can check that each \(\varLambda _{\alpha }\), which satisfies \(\varLambda _{\alpha } \subseteq {\curlywedge }(W_{\alpha })\) by construction, has half the density of \({\curlywedge }(W_{\alpha })\); compare [8, Sect. 9.4.1] for the results of the two-letter Fibonacci chain. By [10, Theorem 5.3], the point sets \(\varLambda ^{\star }_{\alpha }\) are uniformly distributed in \(W^{}_{ \alpha }\), and each of the measures
has vanishing FB coefficients, where we use \(\delta ^{}_{S} :=\sum _{x\in S} \delta ^{}_{x}\) to denote the Dirac comb of a point set S. So, with \(\omega ^{}_{\alpha } = \frac{1}{2} \delta ^{}_{{\small \curlywedge }(W_{\alpha })}\), one has a decomposition
into two summands. The crucial observation now is that the first gives rise to the pure point part of the spectrum, and the second to the continuous part, while all cross-terms under the Eberlein convolution with respect to any symmetric van Hove averaging sequence in \({\mathbb {R}}\) vanish. Further details, and a closely related example with a more complicated window structure, are discussed in [10, Sect. 7]. Our goal now is to substantiate the decomposition claim and prove it in sufficient generality.
4 Orthogonality for Eberlein convolution
Let us first state an elementary result on the connection between the FB coefficients of a function \(f\in C_{{\mathsf {u}}}({\mathbb {R}}^d)\) and the Eberlein convolution of f with the characters on \({\mathbb {R}}^d\).
Lemma 4.1
Let \({\mathcal {A}}\) be a symmetric van Hove averaging sequence in \({\mathbb {R}}^d\), and consider a function \(f \in C_{{\mathsf {u}}}({\mathbb {R}}^d)\) together with a character \(\chi ^{}_{k}\). Then, with respect to \({\mathcal {A}}\), the following statements are equivalent.
-
(1)
The FB coefficient \(c^{}_{f} (k)\) exists.
-
(2)
The Eberlein convolution \(\chi ^{}_{k} \circledast f\) exists.
-
(3)
There is some \(x\in {\mathbb {R}}^d\) such that \(\lim _{n\rightarrow \infty } \frac{1}{{{\,\mathrm{vol}\,}}(A_n)} \int _{{\mathbb {R}}^d} \chi ^{}_{k} (x-t) \, f(t) \, \mathrm {d}t\) exists.
Further, assume that \(c^{}_{f} (k)\) exists. Then, for all \(x\in {\mathbb {R}}^d\), one has the relation
Proof
For arbitrary \(x \in {\mathbb {R}}^d\) and \(n \in {\mathbb {N}}\), we have
Since \(\chi ^{}_{k} (x) \ne 0\), the claimed equivalences, as well as the final identity, follow via dividing by \({{\,\mathrm{vol}\,}}(A_n)\) and taking the limit as \(n\rightarrow \infty \). \(\square \)
This has an immediate consequence as follows.
Corollary 4.2
Let \({\mathcal {A}}\) be a symmetric van Hove averaging sequence in \({\mathbb {R}}^d\), and consider a function \(f \in C_{{\mathsf {u}}}({\mathbb {R}}^d)\) together with a trigonometric polynomial \(P= \sum _{j=1}^n \alpha ^{}_j \, \chi ^{}_{k_j}\). If the FB coefficients \(c^{}_{f} (k_j) \) exist for all \(1 \leqslant j \leqslant n\), the Eberlein convolution \(P \circledast f\) exists, too, with
\(\square \)
To continue, we need another notion as follows.
Definition 4.3
Let \({\mathcal {A}}\) be a van Hove averaging sequence in \({\mathbb {R}}^d\) and \(\mu \in {\mathcal {M}}^{\infty } ({\mathbb {R}}^d)\). If the FB coefficients of \(\mu \) with respect to \({\mathcal {A}}\) exist, the corresponding FB spectrum of \(\mu \) is the set \(\{ k \in {\mathbb {R}}^d : c^{}_{\mu } (k) \ne 0 \}\). Further, we say that \(\mu \) has null FB spectrum with respect to \({\mathcal {A}}\) if, for all \(k\in {\mathbb {R}}^d\), one has
which is to say that all FB coefficients of \(\mu \) exist and vanish.
Likewise, \(f \in C_{{\mathsf {u}}}({\mathbb {R}}^d)\) has null FB spectrum with respect to \({\mathcal {A}}\) if, for all \(k\in {\mathbb {R}}^d\), we have
An immediate consequence of Lemma 4.1 and Lemma 2.5 is the following.
Corollary 4.4
Let \({\mathcal {A}}\) be a symmetric van Hove averaging sequence in \({\mathbb {R}}^d \). Consider a measure \(\mu \in {\mathcal {M}}^{\infty } ({\mathbb {R}}^d )\) and a function \(f\in C_{{\mathsf {u}}}({\mathbb {R}}^d)\). Then, the following two properties hold.
-
(a)
If \(\mu \) has null FB spectrum with respect to \({\mathcal {A}}\), the function \(\varphi * \mu \), for any \(\varphi \in C_{{\mathsf {c}}}({\mathbb {R}}^d)\), has null FB spectrum with respect to \({\mathcal {A}}\) as well.
-
(b)
If f has null FB spectrum with respect to \({\mathcal {A}}\), one has \(P \circledast f = 0\) for all trigonometric polynomials P, where \(\circledast \) is the Eberlein convolution along \({\mathcal {A}}\). \(\square \)
At this point, we can prove the central tool for our later computations, where \(\delta ^{}_{S}\) is again the Dirac comb of a point set \(S\subset {\mathbb {R}}^d\). For generalisations of this result, we refer to [41].
Theorem 4.5
Let \({\mathcal {A}}\) be a symmetric van Hove averaging sequence in \({\mathbb {R}}^d \), consider a measure \(\mu \in {\mathcal {M}}^{\infty } ({\mathbb {R}}^d)\), and assume that \(\mu \) has null FB spectrum with respect to \({\mathcal {A}}\). Further, let \(\varLambda \) be a regular model set in \({\mathbb {R}}^d\). Then, the Eberlein convolution \(\mu \circledast \delta ^{}_{\varLambda }\) exists along \({\mathcal {A}}\) and
Proof
Let \(( {\mathbb {R}}^d , H, {\mathcal {L}})\) be the CPS for the description of the model set, where H is a compactly generated LCAG and \({\mathcal {L}}\) is a lattice in \({\mathbb {R}}^d \times H\), that is, a co-compact discrete subgroup. Note that we need H in this generality because the internal space need not be Euclidean; we refer to [28, 29] and [8, Sect. 7.2] for general background, and to [13, 39] for a detailed description of the explicit construction of the CPS. Further, let \(W\subseteq H\) be the window that gives
as a regular model set, where \(\pi :{\mathbb {R}}^d \times H \xrightarrow {\quad } {\mathbb {R}}^d\) is the canonical projection and \(\star \) denotes the star map of the CPS.
Now, since \(\mu \) and \(\delta ^{}_{\varLambda }\) are translation-bounded measures by construction, the set
is pre-compact in the vague topology and metrisable [11]. Therefore, to prove that \(\mu \circledast \delta ^{}_{\varLambda } =0\), it suffices to show that 0 is the only cluster point of this set (or sequence).
Let \(\eta \) be any cluster point of this sequence, and let \({\mathcal {B}}= ( B_n )^{}_{n\in {\mathbb {N}}}\) be a subsequence of \({\mathcal {A}}\) with respect to which \(\eta \) is a limit, which means that \(B_n =A_{\ell _n}\) with \(\ell _{n+1} > \ell _n\) for all \(n\in {\mathbb {N}}\). Clearly, \({\mathcal {B}}\) is again a symmetric van Hove averaging sequence, and one has
where the second equality follows from the van Hove property of \({\mathcal {B}}\) via Schlottmann’s lemma [36, Lemma 1.2]; see also [11, 24].
Now, fix \(\varphi , \psi \in C_{{\mathsf {c}}}({\mathbb {R}}^d)\), set \(K:={{\,\mathrm{supp}\,}}(\varphi )\), and note that the translation-boundedness of \(\mu \) implies \(\Vert \varphi * \mu \Vert ^{}_\infty <\infty \). Let \(\varepsilon >0\), and select a function \(h \in C_{{\mathsf {c}}}(H)\) that satisfies \(1^{}_W \leqslant h\) together with
which is clearly possible. Further, with \(L = \pi ({\mathcal {L}}) \subset {\mathbb {R}}^d\), let
which is a strongly almost periodic measure, \(\nu \in {{\mathcal {SA P}}}({\mathbb {R}}^d)\), by [39, Theorem 5.5.2]; see also [22, Theorem 3.1]. Consequently, \(\psi * \nu \) is a Bohr (or uniformly) almost periodic function. This implies that there exists a trigonometric polynomial P in d variables such that
In view of Eq. (2), we now have
which can be continued via the substitution \(r = y+s\) and Fubini’s theorem as
Here, we observe that \(1^{}_{B_n}(x) \varphi (-x-r) = 1^{}_{B_n}(r) \varphi (-x-r)\) holds for \(x \not \in \partial ^{K} B_n\). Due to the van Hove property of \({\mathcal {B}}\), we have \(\lim _{n\rightarrow \infty } {{\,\mathrm{vol}\,}}(\partial ^K B_n) /{{\,\mathrm{vol}\,}}(B_n) = 0\), so we get
Therefore, employing a standard \(3\varepsilon \)-strategy, we find
where P is the trigonometric polynomial from (4).
Now, we need to estimate the three terms in the last expression of (5), where we begin with the middle one. Here, for all \(n \in {\mathbb {N}}\), we recall (4) and obtain
which then gives
Next, since \(\mu \) has null FB spectrum relative to \({\mathcal {A}}\) by assumption, hence clearly also relative to the subsequence \({\mathcal {B}}\), Corollary 4.4 implies
The remaining term is a little harder. Here, we have
where, in the second-last line, we have used the fact that \(\nu - \delta ^{}_{\varLambda }\) is a positive measure. The crucial observation now is that, due to the model set structure with its uniform distribution properties [30], the last term satisfies
which implies \(T_1 < \frac{\varepsilon }{2}\) via (3) as required.
It now follows from Eq. (5) that \(\left| \bigl (\varphi *\psi * \eta \bigr ) (0) \right| < \varepsilon \) holds for all \(\varepsilon > 0\). This implies
where \(\bigl ( I . g\bigr ) (x) :=g (-x)\) for any (continuous) function g. Since \(\varphi , \psi \in C_{{\mathsf {c}}}({\mathbb {R}}^d)\) were arbitrary, we see that \(\eta =0\) holds on the subset
which is dense in \(C_{{\mathsf {c}}}({\mathbb {R}}^d)\) by a standard approximate identity argument. Consequently, \(\eta =0\), and no other cluster point can exist. \(\square \)
Note that Theorem 4.5 remains true if the symmetry assumption on \({\mathcal {A}}\) is lifted. The proof remains unchanged, except for replacing \(B_n\) by \(-B_n\) from Eq. (2) onwards, but commutativity of \(\circledast \) is no longer implied; compare Remark 2.3.
5 Eberlein splitting and decomposition for PV inflations
Let \(\varLambda ^{}_{1} , \ldots , \varLambda ^{}_{N}\) denote pairwise disjoint point sets in \({\mathbb {R}}^d\) and consider \(\varLambda :=\dot{\bigcup }_{i}\, \varLambda _i\), which we call a typed point set. Let us assume that \(\varLambda \) is a Delone set with nice averaging properties, including the types. In particular, given some symmetric van Hove averaging sequence \({\mathcal {A}}\), we are interested in the situation that the pair correlation measures
with respect to \({\mathcal {A}}\) exist for all \(1 \leqslant i,j \leqslant N\), where \({\widetilde{\mu }}\) denotes the (possibly complex) Radon measure defined by \({\widetilde{\mu }} (g) = \overline{\mu ({\widetilde{g}}) }\) with \(g\in C_{{\mathsf {c}}}({\mathbb {R}}^d)\) and \({\widetilde{g}} (x) = \overline{ g( -x)}\). For instance, this property is guaranteed when the \(\varLambda _i\) are regular model sets in the same CPS, or when they emerge as the control points of a primitive inflation rule with N prototiles; see [8, 10] for background and various details, and [32] for extensions. Below, we mainly consider the case \(d=1\), though the setting is general enough to cover higher dimensions as well.
Theorem 5.1
Let \(\varLambda = \dot{\bigcup }_{1\leqslant i \leqslant N}\, \varLambda _i\) be a typed point set generated from of a primitive PV inflation rule in one dimension that is aperiodic and has a PV unit as inflation factor, and consider the corresponding natural CPS \(({\mathbb {R}}, {\mathbb {R}}^m , {\mathcal {L}})\) that emerges via the classic Minkowski embeddingFootnote 1 of the module spanned by the points. Let \(W_i\) be the attractors of the induced, contractive iterated function system for the windows in internal space, and set
Then, for any symmetric van Hove averaging sequence \({\mathcal {A}}\) and all \(1 \leqslant i,j \leqslant N\), one has the splitting \(\delta ^{}_{\varLambda _i} = \omega ^{}_i + \nu ^{}_i\) together with the decomposition and orthogonality relations
where \(\gamma ^{}_{ij} = \bigl ( \gamma ^{}_{ij} \bigr )_{{\mathsf {s}}} + \bigl ( \gamma ^{}_{ij} \bigr )_{{\mathsf {0}}}\) is the unique Eberlein decomposition of the pair correlation measures into their strongly almost periodic and their null-weakly almost periodic components.
Proof
When the inflation factor is a unit, the induced CPS has a Euclidean internal space; that is, we have \(H = {\mathbb {R}}^m\) with \(m\geqslant 1\), where the latter is a consequence of the assumed aperiodicity. This is the situation fully analysed in [10], with \({{\,\mathrm{dens}\,}}\bigl ( {\curlywedge }(W_i) \bigr ) = {{\,\mathrm{dens}\,}}({\mathcal {L}}) {{\,\mathrm{vol}\,}}(W_i)\).
Let \({\mathcal {A}}\) be arbitrary, but fixed. First, by [10, Theorem 5.3], the FB coefficients of \(\nu ^{}_{i}\) satisfy
for all \(k \in {\mathbb {R}}\). Then, by Theorem 4.5, we get \( \widetilde{\omega ^{}_i} \circledast {\nu ^{}_j} = \widetilde{\nu ^{}_i} \circledast {\omega ^{}_j } = 0\) as claimed.
Next, since \({\curlywedge }(W^{}_{ i})\) is a regular model set for each i, in the same CPS, the Eberlein convolutions \(\widetilde{\omega ^{}_i} \circledast {\omega ^{}_j}\) along \({\mathcal {A}}\) exist and are strongly almost periodic measures, that is,
Likewise, as the \(\varLambda _i\) emerge from a primitive inflation rule, the pair correlation measures \(\gamma ^{}_{ij}\) exist and are weakly almost periodic, compare [6, 25], so
Therefore, as all required limits exist, we obtain the pair correlation measures [6] as
which implies that every \(\widetilde{\nu ^{}_{i}} \circledast \nu ^{}_{j}\) is a weakly almost periodic measure. Moreover, all these measures are Fourier transformable by [6, Lemma 2.1], and we obtain
Our system satisfies the consistent phase property, which relates the (generalised) intensities with the Fourier–Bohr coefficients of the system. This connection is also known as the Bombieri–Taylor conjecture and was proved in [21] for a specific class of one-component systems and later generalised in [6] to the primitive inflation systems under consideration here. For measures which are pure point diffractive, the consistent phase property is equivalent to the Besicovitch almost periodicity of the measure [23, Theorem 3.36]. Invoking the results from [10], a simple calculation now gives
for all \(k\in {\mathbb {R}}\), where the amplitudes satisfy \(A^{}_{ \varLambda _j} (k) = c^{}_{k} (\delta ^{}_{ \varLambda _j})\). But this implies
which means that \(\widetilde{\nu ^{}_i} \circledast {\nu ^{}_j} \in {{\mathcal {WAP}}}^{}_0 ({\mathbb {R}})\). Since \(\widetilde{\omega ^{}_i} \circledast {\omega ^{}_j} \in {{\mathcal {SA P}}}({\mathbb {R}})\) together with \(\widetilde{\nu ^{}_i} \circledast {\nu ^{}_j} \in {{\mathcal {WAP}}}^{}_0 ({\mathbb {R}})\), the claim follows from Eq. (6) and the uniqueness of the Eberlein decomposition [31]. \(\square \)
Once again, the result of Theorem 5.1 remains true without the symmetry requirement for \({\mathcal {A}}\). Indeed, observe that
which is an easy consequence of \(\widetilde{\mu |^{}_{K}} = {\widetilde{\mu }} |^{}_{-K}\). Then, Theorem 4.5 still provides the two relations we need to derive (6), though \(\circledast \) is no longer implied to be commutative.
Remark 5.2
The orthogonality relations in Theorem 5.1, via inserting the definitions of the measures, also imply that
holds for all \(1 \leqslant i,j \leqslant N\), where \(\alpha ^{}_{i} = {{\,\mathrm{dens}\,}}(\varLambda _i) / {{\,\mathrm{dens}\,}}\bigl ( {\curlywedge }(W_{j})\bigr )\). This proportionality of measures matches nicely with the density formula
for Meyer sets P and Q that define uniquely ergodic Delone dynamical systems. With \(\mu = \delta ^{}_{P}\) and \(\nu = \delta ^{}_{Q}\), this relation follows from the complex polarisation identity
where the right-hand side is a complex linear combination of four positive-definite measures. Then, under Fourier transform, one gets
from the known intensity formula at 0, where M(.) is the mean of a measure; see [8, Prop 9.2] and [31, Lemma 4.10.7]. Since \(M (\mu ) = {{\,\mathrm{dens}\,}}(P)\) and \(M (\nu ) = {{\,\mathrm{dens}\,}}(Q)\), Eq. (7) follows by expanding the last sum. It seems interesting to further analyse these identities under the geometric and topological constraints imposed by the projection setting. \(\square \)
The formulation of Theorem 5.1 refers to PV inflations with an inflation multiplier that is a unit, because only this case has been fully treated so far [10]. It is clear that the key result, namely [10, Theorem 5.3], can be generalised to the non-unit situation, and also to PV inflations in higher dimensions. Then, the decomposition remains the same. Let us illustrate the non-unit case with our second guiding example as follows.
Example 5.3
The Thue–Morse (TM) substitution
has constant length 2 and gives rise to a partition of the integers, \(\varLambda = {{\mathbb {Z}}}= \varLambda _a {\dot{\cup }} \varLambda _b\). Neither \(\varLambda _a\) nor \(\varLambda _b\) is a model set, but our above approach is fully applicable. Here, for the construction of the splitting, we need a CPS with the 2-adic integers as internal space, equipped with its normalised Haar measure that is to be used for the window volumes. Then, the analogue of the construction from Theorem 5.1, for instance, with \({\mathcal {A}}= \bigl ( [-n,n]\bigr )_{n\in {\mathbb {N}}}\), leads to \(\omega ^{}_{a} = \omega ^{}_{b} = \frac{1}{2} \delta ^{}_{{{\mathbb {Z}}}}\) and thus to the signed measures
For \(\alpha ,\beta \in \{ a,b \}\), the corresponding pair correlation measures are
with \(\epsilon ^{}_{\alpha \beta } = 1\) or \(-1\) depending on whether \(\alpha \) equals \(\beta \) or not, and with \(\gamma _{_\mathrm {TM}}\) denoting the classic autocorrelation measure of the signed TM sequence due to Mahler and Kakutani; see [8, Sect. 10.1] and references therein for details.
Indeed, (8) is the required Eberlein decomposition. Here, one has \(\widehat{\delta ^{}_{{{\mathbb {Z}}}}} = \delta ^{}_{{{\mathbb {Z}}}}\) by the Poisson summation formula [8, Prop. 9.4], see also [34], while \(\widehat{\gamma _{_\mathrm {TM}}}\) is a positive measure that is purely singular continuous. It has the Riesz product representation
to be interpreted as the vague limit of a sequence of absolutely continuous measures; see [7] for a recent, detailed analysis of this measure. \(\square \)
The explicit extension of this type of analysis to tiling models in higher dimensions, for instance, in the spirit of [5, 6], remains an interesting task for the near future, as does a further splitting of the null-weakly almost periodic part, as in [40], according to the different continuous types after Fourier transform.
6 Further directions
It is natural to ask whether our constructive approach can be made to work also beyond the PV inflation case and thus perhaps add extra insight into systems that are covered by [2]. In particular, it is of interest to see the orthogonality in the Eberlein sense in more generality, at least almost surely with respect to some given invariant measure in a dynamical systems context. This is indeed possible, and we outline this with two concrete cases.
6.1 Eberlein splitting for a lattice gas
Let \(0<p<1\) be fixed, and consider the Bernoulli lattice gas on \({{\mathbb {Z}}}\) with independent occupation probability p for the single sites. A realisation of this process can thus either be seen as a configuration, meaning an element of \(\{ 0 ,1 \}^{{{\mathbb {Z}}}}\), or as a subset \(\varLambda \subseteq {{\mathbb {Z}}}\). Let us take the latter view, and select a typical subset \(\varLambda \), thus with density p. By [8, Ex. 11.2], the corresponding autocorrelation measure is
which applies to almost all realisations of the Bernoulli process. This can easily be proved with the strong law of large numbers, see [12] for a detailed exposition, and provides the Eberlein decomposition of \(\gamma \) into its strongly almost periodic and its null-weakly almost periodic part. Indeed, the diffraction measure then simply reads \({\widehat{\gamma }} = p^2 \delta ^{}_{{{\mathbb {Z}}}} + p (1-p) \lambda ^{}_{\mathrm {L}}\), where \(\lambda ^{}_{\mathrm {L}}\) denotes Lebesgue measure and \({\widehat{\gamma }}\) applies to almost all realisations.
Now, in analogy to our above splitting, we set
Using \({\mathcal {A}}= \bigl ( [-n,n]\bigr )_{n\in {\mathbb {N}}}\) as before, we get \(\delta ^{}_{{{\mathbb {Z}}}} \circledast \delta ^{}_{{{\mathbb {Z}}}} = \delta ^{}_{{{\mathbb {Z}}}}\) from [8, Ex. 8.10], hence
and \(\omega \circledast \delta ^{}_{{{\mathbb {Z}}}} = p \, \delta ^{}_{{{\mathbb {Z}}}}\). Furthermore, \(\delta ^{}_{\varLambda } \circledast \delta ^{}_{{{\mathbb {Z}}}} = \delta ^{}_{-\varLambda } \circledast \delta ^{}_{{{\mathbb {Z}}}} = p \delta ^{}_{{{\mathbb {Z}}}}\) follows from a simple density calculation, where one observes that \(-\varLambda \) is another typical realisation if \(\varLambda \) is one. But this implies the orthogonality relations \(\omega \circledast {\widetilde{\nu }} = {\widetilde{\omega }} \circledast \nu = 0\) together with
We thus see that (9) provides the splitting of \(\delta ^{}_{\varLambda }\) in complete analogy to Theorem 5.1 and applies to almost all realisations of the lattice gas.
Clearly, this can be extended to higher dimensions, for instance, via replacing \({{\mathbb {Z}}}\) by \({{\mathbb {Z}}}^d\) in the above example, and to many other stochastic systems, as treated in [8, Ch. 11] or in [4]. The constructive splitting approach gives a slightly different interpretation to the method put forward in [4, 26], where the splitting is done on the autocorrelation level by separating the mean from the fluctuations. This certainly deserves further clarification in the setting of the Bartlett spectrum from the theory of stochastic processes.
6.2 Eberlein splitting for a random inflation
Here, we return to the classic Fibonacci inflation that underlies Sect. 3 and turn it into a random inflation by setting
where \(p \in [0,1 ]\) is fixed, and the rule is applied locally. This defines a system that was first analysed in [16] and has recently turned into an interesting paradigm for a random system with both long-range order and some form of disorder [18, 19, 35]. Here, we only consider the geometric setting where a and b stand for intervals of length \(\tau \) and 1, respectively, with normalised Dirac measures on their left endpoints.
From [14, Theorem 3.19], we know that the diffraction measure almost surely satisfies
where explicit expressions can be given. Clearly, \(( {\widehat{\gamma }} )^{}_{\mathsf {ac}} = 0\) for \(p=0\) or \(p=1\). To set this into our above scheme, let \(\varLambda = \varLambda _{a} \,\dot{\cup }\, \varLambda _{b}\) be the (typed) control points of a typical realisation of the random Fibonacci inflation, say with \(0<p<1\) to avoid the deterministic limiting cases. Then, as shown in [14], there are weighted Dirac combs \(\omega ^{}_{\alpha }\), with \(\alpha \in \{ a , b\}\), of the form
with functions \(h^{}_{\alpha }\) that are continuous and supported on the window \([-\tau ,\tau ]\) of the covering model set. In particular, these Dirac combs are discretely supported in the regular model set \({\curlywedge }\bigl ( [-\tau , \tau ] \bigr )\), and both have pure point spectrum [39]. What is more, as follows from [14], the pure point part of the diffraction of \(\varLambda _{\alpha }\) agrees with the diffraction of \(\omega ^{}_{\alpha }\).
Thus, using \(\omega ^{}_{\alpha }\) and defining \(\nu ^{}_{\alpha } = \delta ^{}_{ \varLambda _{\alpha }} - \omega ^{}_{\alpha }\), where the latter is a random measure for each \(\alpha \in \{ a, b\}\), we almost surely (in the sense of the underlying process) are in a situation analogous to the one from Theorem 5.1. In particular, for fixed \(u^{}_{a}, u^{}_{b} \in {\mathbb {C}}\), the random weighted Dirac comb
almost surely has the autocorrelation \(\gamma = (\gamma )^{}_{{\mathsf {s}}} + (\gamma )^{}_{0}\) where \((\gamma )^{}_{{\mathsf {s}}}\) agrees with the autocorrelation of \(u^{}_{a}\omega ^{}_{a} + u^{}_{b}\omega ^{}_{b}\) and \((\gamma )^{}_{0}\) is the autocorrelation of \(u^{}_{a} \nu ^{}_{a} + u^{}_{b} \nu ^{}_{b}\). Taking Fourier transforms brings us back to (10), where we refer to [14, 27, 37] for explicit formulas. Once again, this gives a constructive variant of the decomposition advocated in [2], which is fully compatible with the statistical separation of mean and variance from [4, 26]. In fact, the latter approach quite generally seems to lead to a related further decomposition into singular versus absolutely continuous components, at least for the class of random inflations [17], which opens a promising path to future investigations.
Notes
The underlying construction is explained in full detail in [8, Sect. 3.4].
References
Akiyama, S., Barge, M., Berthé, V., Lee, J.-Y., Siegel, A.: On the Pisot substitution conjecture, in [20], pp. 33–72
Aujogue, J.-B.: Pure point/continuous decomposition of translation-bounded measures and diffraction. Ergod. Theory Dyn. Syst. 40, 309–352 (2020). arXiv:1510.06381
Aujogue, J.-B., Barge, M., Kellendonk, J., Lenz, D.: Equicontinuous factors, proximality and Ellis semigroup for Delone sets, in [20], pp. 137–194. arXiv:1407.1787
Baake, M., Birkner, M., Moody, R.V.: Diffraction of stochastic point sets: Explicitly computable examples. Commun. Math. Phys. 293, 611–660 (2010). arXiv:0803.1266
Baake, M., Frank, N.P., Grimm, U.: Three variations on a theme by Fibonacci. Stoch. Dyn. 21, 2140001:1–23 (2021). arXiv:1910.00988
Baake, M., Gähler, F., Mañibo, N.: Renormalisation of pair correlation measures for primitive inflation rules and absence of absolutely continuous diffraction. Commun. Math. Phys. 370, 591–635 (2019). arXiv:1805.09650
Baake, M., Gohlke, P., Kesseböhmer, M., Schindler, T.: Scaling properties of the Thue-Morse measure. Discrete Contin. Dyn. Syst. A 39, 4157–4185 (2019). arXiv:1810.06949
Baake, M., Grimm, U.: Aperiodic Order. Vol. 1: A Mathematical Invitation. Cambridge University Press, Cambridge (2013)
Baake, M., Grimm, U. (eds.): Aperiodic Order. Vol. 2: Crystallography and Almost Periodicity. Cambridge University Press, Cambridge (2017)
Baake, M., Grimm, U.: Fourier transform of Rauzy fractals and point spectrum of 1D Pisot inflation tilings. Doc. Math. 25, 2303–2337 (2020). arXiv:1907.11012
Baake, M., Lenz, D.: Dynamical systems on translation bounded measures: Pure point dynamical and diffraction spectra. Ergod. Theory Dyn. Syst. 24, 1867–1893 (2004). arXiv:math.DS/0302231
Baake, M., Moody, R.V.: Diffractive point sets with entropy. J. Phys. A Math. Gen. 31, 9023–9039 (1998). arXiv:math-ph/9809002
Baake, M., Moody, R.V.: Weighted Dirac combs with pure point diffraction. J. Reine Angew. Math. (Crelle) 573, 61–94 (2004). arXiv:math.MG/0203030
Baake, M., Spindeler, T., Strungaru, N.: Diffraction of compatible random substitutions in one dimension. Indag. Math. 29, 1031–1071 (2018). arXiv:1712.00323
Gil de Lamadrid, J., Argabright, L.N.: Almost periodic measures. Memoirs Am. Math. Soc. Vol. 85(428), AMS, Providence, RI (1990)
Godrèche, C., Luck, J.-M.: Quasiperiodicity and randomness in the plane. J. Stat. Phys. 55, 1–28 (1987)
Gohlke, P.: Private communication (2021)
Gohlke, P., Rust, D., Spindeler, T.: Shifts of finite type and random substitutions. Discrete Contin. Dyn. Syst. A 39, 5085–5103 (2019). arXiv:1712.05340
Gohlke, P., Spindeler, T.: Ergodic frequency measures for random substitutions. Studia Math. 255, 265–301 (2020). arXiv:1810.11122
Kellendonk, J., Lenz, D., Savinien, J. (eds.): The Mathematics of Aperiodic Order. Birkhäuser, Basel (2015)
Lenz, D.: Continuity of eigenfunctions of uniquely ergodic dynamical systems and intensity of Bragg peaks. Commun. Math. Phys. 287, 225–258 (2009). arXiv:math-ph/0608026
Lenz, D., Richard, C.: Pure point diffraction and cut and project schemes for measures: The smooth case. Math. Z. 256, 347–378 (2007). arXiv:math.DS/0603453
Lenz, D., Spindeler, T., Strungaru, N.: Pure point diffraction and mean, Besicovitch and Weyl almost periodicity, preprint (2020). arXiv:2006.10821
Lenz, D., Spindeler, T., Strungaru, N.: Pure point spectrum for dynamical systems and mean almost periodicity, preprint (2020). arXiv:2006.10825
Lenz, D., Strungaru, N.: On weakly almost periodic measures. Trans. Amer. Math. Soc. 371, 6843–6881 (2019). arXiv:1609.08219
Luck, J.-M.: A classification of critical phenomena on quasi-crystals and other aperiodic structures. Europhys. Lett. 24, 359–364 (1993)
Moll, M.: Diffraction of random noble means words. J. Stat. Phys. 156, 1221–1236 (2014). arXiv:1404.7411
Moody, R.V.: Meyer sets and their duals. In: Moody, R.V. (ed.) The Mathematics of Long-Range Aperiodic Order. NATO ASI Ser. C 489, pp. 403–441. Kluwer, Dordrecht (1997)
Moody, R.V.: Model sets: a survey. In: Axel, F., Dénoyer, F., Gazeau, J.P. (eds.) From Quasicrystals to More Complex Systems, pp. 145–166. EDP Sciences, Les Ulis, and Springer, Berlin (2000). arXiv:math.MG/0002020
Moody, R.V.: Uniform distribution in model sets. Can. Math. Bull. 45, 123–130 (2002)
Moody, R.V., Strungaru, N.: Almost periodic measures and their Fourier transforms, in [9], pp. 173–270
Müller, P., Richard, C.: Ergodic properties of randomly coloured point sets. Can. J. Math. 65, 349–402 (2013). arXiv:1005.4884
Richard, C.: Dense Dirac combs in Euclidean space with pure point diffraction. J. Math. Phys. 44, 4436–4449 (2003). arXiv:math-ph/0302049
Richard, C., Strungaru, N.: Pure point diffraction and Poisson summation. Ann. H. Poincaré 18, 3903–3931 (2017). arXiv:1512.00912
Rust, D., Spindeler, T.: Dynamical systems arising from random substitutions. Indag. Math. 29, 1131–1155 (2018). arXiv:1707.09836
Schlottmann, M.: Generalised model sets and dynamical systems. In: Baake, M., Moody, R.V. (eds.) Directions in Mathematical Quasicrystals. CRM Monograph Series, vol. 13, pp. 143–159. AMS, Providence, RI (2000)
Spindeler, T.: Spectral Theory of Compatible Random Inflation Systems, PhD thesis, Univ. Bielefeld (2018). urn:nbn:de:0070-pub-29173839
Strungaru, N.: On weighted Dirac combs supported inside model sets. J. Phys. A Math. Theor. 47(335202), 1–19 (2014). arXiv:1309.7947
Strungaru, N.: Almost periodic pure point measures, in [9], pp. 271–342. arXiv:1501.00945
Strungaru, N.: On the Fourier analysis of measures with Meyer set support. J. Funct. Anal. 278, 108404:1–30 (2020). arXiv:1807.03815
Strungaru, N.: On the orthogonality of measures of different spectral type with respect to Eberlein convolution, in preparation
Acknowledgements
We thank Philipp Gohlke, Uwe Grimm, Neil Mañibo and Timo Spindeler for helpful discussions and comments on the manuscript. We thank two referees for their thoughtful comments, which helped to improve the presentation. This work was supported by the German Research Foundation (DFG), within the CRC 1283 at Bielefeld University (MB), and by the Natural Sciences and Engineering Council of Canada (NSERC), via grant 2020-00038 (NS).
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Baake, M., Strungaru, N. Eberlein decomposition for PV inflation systems. Lett Math Phys 111, 59 (2021). https://doi.org/10.1007/s11005-021-01399-w
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-021-01399-w