Searcharxiv⌕ Search

arXiv subjects

Michael Baake

Publications and source records attributed to Michael Baake.

At least 37 records · Page 2Linked to original sources

Embedding of Markov matrices for $d\leqslant 4$

The embedding problem of Markov matrices in Markov semigroups is a classic problem that regained a lot of impetus and activities through recent needs in phylogeny and population genetics. Here, we give an account for dimensions $d\leqslant 4$, including a complete and simplified treatment of the case $d=3$, and derive the results in a systematic fashion, with an eye on the potential applications. Further, we reconsider the setup of the corresponding problem for time-inhomogeneous Markov chains, which is needed for real-world applications because transition rates need not be constant over time. Additional cases of this more general embedding occur for any $d\geqslant 3$. We review the known case of $d=3$ and describe the setting for future work on $d=4$.

math.PR↗

An alternative recursive approach to functions of simple triangular matrices

The computation of matrix functions is a well-studied problem. Of special importance are the exponential and the logarithm of a matrix, where the latter also raises existence and uniqueness questions. This is particularly relevant in the context of matrix semigroups and their generators. Here, we look at matrix functions of triangular matrices, where a recursive approach is possible when the matrix has simple spectrum. The special feature is that no knowledge of eigenvectors is required, and that the same recursion applies to the computation of multiple functions or semigroups simultaneously.

math.RA↗

On eigenmeasures under Fourier transform

Several classes of tempered measures are characterised that are eigenmeasures of the Fourier transform, the latter viewed as a linear operator on (generally unbounded) Radon measures on $\RR^d$. In particular, we classify all periodic eigenmeasures on $\RR$, which gives an interesting connection with the discrete Fourier transform and its eigenvectors, as well as all eigenmeasures on $\RR$ with uniformly discrete support. An interesting subclass of the latter emerges from the classic cut and project method for aperiodic Meyer sets. Finally, we construct a large class of eigenmeasures with locally finite support that is not uniformly discrete and has large gaps around $0$.

math.SP↗

On the Fibonacci tiling and its modern ramifications

In the last 30 years, the mathematical theory of aperiodic order has developed enormously. Many new tilings and properties have been discovered, few of which are covered or anticipated by the early papers and books. Here, we start from the well-known Fibonacci chain to explain some of them, with pointers to various generalisations as well as to higher-dimensional phenomena and results. This should give some entry points to the modern literature on the subject.

math.MG↗

Convergence of Fourier--Bohr coefficients for regular Euclidean model sets

It is well known that the Fourier--Bohr coefficients of regular model sets exist and are uniformly converging, volume-averaged exponential sums. Several proofs for this statement are known, all of which use fairly abstract machinery. For instance, there is one proof that uses dynamical systems theory and another one based on Meyer's theory of harmonious sets. Nevertheless, since the coefficients can be defined in an elementary way, it would be nice to have an alternative proof by similarly elementary means, which is to say by standard estimates of exponential sums under an appropriate use of the Poisson summation formula. Here, we present such a proof for the class of regular Euclidean model sets, that is, model sets with Euclidean physical and internal spaces and topologically regular windows with almost no boundary.

math.DS↗

Correlations of the Thue--Morse sequence

The pair correlations of the Thue--Morse sequence and system are revisited, with focus on asymptotic results on various means. First, it is shown that all higher-order correlations of the Thue--Morse sequence with general real weights are effectively determined by a single value of the balanced $2$-point correlation. As a consequence, we show that all odd-order correlations of the balanced Thue--Morse sequence vanish, and that, for any even $n$, the $n$-point correlations of the balanced Thue--Morse sequence have mean value zero, as do their absolute values, raised to an arbitrary positive power. All these results also apply to the entire Thue--Morse system. We finish by showing how the correlations of the Thue--Morse system with general real weights can be derived from the balanced $2$-point correlations.

math.DS↗

A note on tempered measures

The relation between tempered distributions and measures is analysed and clarified. While this is straightforward for positive measures, it is surprisingly subtle for signed or complex measures.

math.FA↗

On equal-input and monotone Markov matrices

The practically important classes of equal-input and of monotone Markov matrices are revisited, with special focus on embeddability, infinite divisibility, and mutual relations. Several uniqueness results for the classic Markov embedding problem are obtained in the process. To achieve our results, we need to employ various algebraic and geometric tools, including commutativity, permutation invariance and convexity. Of particular relevance in several demarcation results are Markov matrices that are idempotents.

math.PR↗

Fibonacci direct product variation tilings

The direct product of two Fibonacci tilings can be described as a genuine stone inflation rule with four prototiles. This rule admits various modifications, which lead to 48 different inflation rules, known as the direct product variations. They all result in tilings that are measure-theoretically isomorphic by the Halmos--von Neumann theorem. They can be described as cut and project sets with characteristic windows in a two-dimensional Euclidean internal space. Here, we analyse and classify them further, in particular with respect to topological conjugacy.

math.DS↗

On a family of singular continuous measures related to the doubling map

Here, we study some measures that can be represented by infinite Riesz products of 1-periodic functions and are related to the doubling map. We show that these measures are purely singular continuous with respect to Lebesgue measure and that their distribution functions satisfy super-polynomial asymptotics near the origin, thus providing a family of extremal examples of singular measures, including the Thue--Morse measure.

math.DS↗

Eberlein decomposition for PV inflation systems

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.

math-ph↗

Fourier transform of Rauzy fractals and point spectrum of 1D Pisot inflation tilings

Primitive inflation tilings of the real line with finitely many tiles of natural length and a Pisot--Vijayaraghavan unit as inflation factor are considered. We present an approach to the pure point part of their diffraction spectrum on the basis of a Fourier matrix cocycle in internal space. This cocycle leads to a transfer matrix equation and thus to a closed expression of matrix Riesz product type for the Fourier transforms of the windows for the covering model sets. In general, these windows are complicated Rauzy fractals and thus difficult to handle. Equivalently, this approach permits a construction of the (always continuously representable) eigenfunctions for the translation dynamical system induced by the inflation rule. We review and further develop the underlying theory, and illustrate it with the family of Pisa substitutions, with special emphasis on the Tribonacci case.

math.MG↗

Territorial behaviour of buzzards versus random matrix spacing distributions

A deeper understanding of the processes underlying the distribution of animals in space is crucial for both basic and applied ecology. The Common buzzard (Buteo buteo) is a highly aggressive, territorial bird of prey that interacts strongly with its intra- and interspecific competitors. We propose and use random matrix theory to quantify the strength and range of repulsion as a function of the buzzard population density, thus providing a novel approach to model density dependence. As an indicator of territorial behaviour, we perform a large-scale analysis of the distribution of buzzard nests in an area of $300$ square kilometres around the Teutoburger Wald, Germany, as gathered over a period of $20$ years. The nearest and next-to-nearest neighbour spacing distribution between nests is compared to the two-dimensional Poisson distribution, originating from uncorrelated random variables, to the complex eigenvalues of random matrices, which are strongly correlated, and to a two-dimensional Coulomb gas interpolating between these two. A one-parameter fit to a time-moving average reveals a significant increase of repulsion between neighbouring nests, as a function of the observed increase in absolute population density over the monitored period of time, thereby proving an unexpected yet simple model for density-dependent spacing of predator territories. A similar effect is obtained for next-to-nearest neighbours, albeit with weaker repulsion, indicating a short-range interaction. Our results show that random matrix theory might be useful in the context of population ecology.

q-bio.PE↗

Number-theoretic positive entropy shifts with small centraliser and large normaliser

Higher-dimensional binary shifts of number-theoretic origin with positive topological entropy are considered. We are particularly interested in analysing their symmetries and extended symmetries. They form groups, known as the topological centraliser and normaliser of the shift dynamical system, which are natural topological invariants. Here, our focus is on shift spaces with trivial centralisers, but large normalisers. In particular, we discuss several systems where the normaliser is an infinite extension of the centraliser, including the visible lattice points and the $k$-free integers in some real quadratic number fields.

math.DS↗

Binary constant-length substitutions and Mahler measures of Borwein polynomials

We show that the Mahler measure of every Borwein polynomial -- a polynomial with coefficients in $ \{-1,0,1 \}$ having non-zero constant term -- can be expressed as a maximal Lyapunov exponent of a matrix cocycle that arises in the spectral theory of binary constant-length substitutions. In this way, Lehmer's problem for height-one polynomials having minimal Mahler measure becomes equivalent to a natural question from the spectral theory of binary constant-length substitutions. This supports another connection between Mahler measures and dynamics, beyond the well-known appearance of Mahler measures as entropies in algebraic dynamics.

math.DS↗

Inflation versus projection sets in aperiodic systems: The role of the window in averaging and diffraction

Tilings based on the cut and project method are key model systems for the description of aperiodic solids. Typically, quantities of interest in crystallography involve averaging over large patches, and are well defined only in the infinite-volume limit. In particular, this is the case for autocorrelation and diffraction measures. For cut and project systems, the averaging can conveniently be transferred to internal space, which means dealing with the corresponding windows. We illustrate this by the example of averaged shelling numbers for the Fibonacci tiling and review the standard approach to the diffraction for this example. Further, we discuss recent developments for inflation-symmetric cut and project structures, which are based on an internal counterpart of the renormalisation cocycle. Finally, we briefly review the notion of hyperuniformity, which has recently gained popularity, and its application to aperiodic structures.

cond-mat.dis-nn↗

Renormalisation of pair correlations and their Fourier transforms for primitive block substitutions

For point sets and tilings that can be constructed with the projection method, one has a good understanding of the correlation structure, and also of the corresponding spectra, both in the dynamical and in the diffraction sense. For systems defined by substitution or inflation rules, the situation is less favourable, in particular beyond the much-studied class of Pisot substitutions. In this contribution, the geometric inflation rule is employed to access the pair correlation measures of self-similar and self-affine inflation tilings and their Fourier transforms by means of exact renormalisation relations. In particular, we look into sufficient criteria for the absence of absolutely continuous spectral contributions, and illustrate this with examples from the class of block substitutions. We also discuss the Frank-Robinson tiling, as a planar example with infinite local complexity and singular continuous spectrum.

math.DS↗