-
Thermodynamic formalism of countably generated self-affine sets
Authors:
Antti Käenmäki,
Ian D. Morris
Abstract:
In this article, we further develop the thermodynamic formalism of affine iterated function systems with countably many transformations by showing the existence and extending earlier characterisations of the equilibrium states of finite affine iterated function systems to the countably infinite case. As an application, under mild conditions, we prove that the affinity dimension of a countable affi…
▽ More
In this article, we further develop the thermodynamic formalism of affine iterated function systems with countably many transformations by showing the existence and extending earlier characterisations of the equilibrium states of finite affine iterated function systems to the countably infinite case. As an application, under mild conditions, we prove that the affinity dimension of a countable affine iterated function system is equal to the supremum of the affinity dimensions of its finite subsystems. We deduce corollaries concerning the Hausdorff dimension of countably generated self-affine sets in dimensions $1$, $2$, and $3$ satisfying mild deterministic assumptions and in arbitrary dimension with generic translations.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Exceptional projections of self-affine sets with strong irreducibility
Authors:
Ian D. Morris
Abstract:
We present a sufficient condition for a self-affine set to admit exceptional orthogonal projections in the sense of the projection theorems of Marstrand, Kaufman and Mattila. Using this condition we construct an affine iterated function system in four dimensions which satisfies strong irreducibility, proximality of all orders and the strong separation condition, but whose attractor admits a one-di…
▽ More
We present a sufficient condition for a self-affine set to admit exceptional orthogonal projections in the sense of the projection theorems of Marstrand, Kaufman and Mattila. Using this condition we construct an affine iterated function system in four dimensions which satisfies strong irreducibility, proximality of all orders and the strong separation condition, but whose attractor admits a one-dimensional family of exceptional orthogonal projections onto planes. This example complements a recent result of A. Rapaport which shows that exceptional projections onto planes cannot exist when a further irreducibility hypothesis is also satisfied.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
A variational principle relating self-affine measures to self-affine sets
Authors:
Ian D. Morris,
Cagri Sert
Abstract:
A breakthrough result of Bárány, Hochman and Rapaport published in 2019 established that every self-affine measure on $\mathbb{R}^2$ satisfying certain mild non-degeneracy conditions has Hausdorff dimension equal to its Lyapunov dimension. In combination with a variational principle established earlier by Morris and Shmerkin this result implied as a corollary that the attractor of a planar affine…
▽ More
A breakthrough result of Bárány, Hochman and Rapaport published in 2019 established that every self-affine measure on $\mathbb{R}^2$ satisfying certain mild non-degeneracy conditions has Hausdorff dimension equal to its Lyapunov dimension. In combination with a variational principle established earlier by Morris and Shmerkin this result implied as a corollary that the attractor of a planar affine iterated function system satisfying the same conditions necessarily has Hausdorff dimension equal to a value proposed by Falconer in 1988. In this article we extend the variational principle of Morris and Shmerkin from the planar context to the case of affine iterated function systems acting on $\mathbb{R}^d$. This allows a recent theorem of Rapaport on the dimensions of self-affine measures in $\mathbb{R}^3$ to be extended into a characterisation of the dimensions of the corresponding self-affine subsets of $\mathbb{R}^3$. At the core of the present work is an algebraic result concerned with finding large Zariski-dense Schottky semigroups inside a given finitely generated completely reducible semigroup of linear transformations.
△ Less
Submitted 27 April, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
An irreducible linear switching system whose unique Barabanov norm is not strictly convex
Authors:
Ian D. Morris
Abstract:
We construct a marginally stable linear switching system in continuous time, in four dimensions and with three switching states, which is exponentially stable with respect to constant switching laws and which has a unique Barabanov norm, but such that the Barabanov norm fails to be strictly convex. This resolves a question of Y. Chitour, M. Gaye and P. Mason.
We construct a marginally stable linear switching system in continuous time, in four dimensions and with three switching states, which is exponentially stable with respect to constant switching laws and which has a unique Barabanov norm, but such that the Barabanov norm fails to be strictly convex. This resolves a question of Y. Chitour, M. Gaye and P. Mason.
△ Less
Submitted 24 January, 2023;
originally announced January 2023.
-
A stability dichotomy for discrete-time linear switching systems in dimension two
Authors:
Ian D. Morris
Abstract:
We prove that for every discrete-time linear switching system in two complex variables and with finitely many switching states, either the system is Lyapunov stable or there exists a trajectory which escapes to infinity with at least linear speed. We also give a checkable algebraic criterion to distinguish these two cases. This dichotomy was previously known to hold for systems in two real variabl…
▽ More
We prove that for every discrete-time linear switching system in two complex variables and with finitely many switching states, either the system is Lyapunov stable or there exists a trajectory which escapes to infinity with at least linear speed. We also give a checkable algebraic criterion to distinguish these two cases. This dichotomy was previously known to hold for systems in two real variables, but is known to be false in higher dimensions and for systems with infinitely many switching states.
△ Less
Submitted 17 January, 2023;
originally announced January 2023.
-
A note on the marginal instability rates of two-dimensional linear cocycles
Authors:
Ian D. Morris,
Jonah Varney
Abstract:
A theorem of Guglielmi and Zennaro implies that if the uniform norm growth of a locally constant GL(2,R)-cocycle on the full shift is not exponential then it must be either bounded or linear, with no other possibilities occurring. We give an alternative proof of this result and demonstrate that its conclusions do not hold for Lipschitz continuous cocycles over the full shift on two symbols.
A theorem of Guglielmi and Zennaro implies that if the uniform norm growth of a locally constant GL(2,R)-cocycle on the full shift is not exponential then it must be either bounded or linear, with no other possibilities occurring. We give an alternative proof of this result and demonstrate that its conclusions do not hold for Lipschitz continuous cocycles over the full shift on two symbols.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
On marginal growth rates of matrix products
Authors:
Jonah Varney,
Ian D. Morris
Abstract:
In this article we consider the maximum possible growth rate of sequences of long products of $d \times d$ matrices all of which are drawn from some specified compact set which has been normalised so as to have joint spectral radius equal to $1$. We define the marginal instability rate sequence associated to such a set to be the sequence of real numbers whose $n^{th}$ entry is the norm of the larg…
▽ More
In this article we consider the maximum possible growth rate of sequences of long products of $d \times d$ matrices all of which are drawn from some specified compact set which has been normalised so as to have joint spectral radius equal to $1$. We define the marginal instability rate sequence associated to such a set to be the sequence of real numbers whose $n^{th}$ entry is the norm of the largest product of length $n$, and study the general properties of sequences of this form. We describe how new marginal instability rate sequences can be constructed from old ones, extend an earlier example of Protasov and Jungers to obtain marginal instability rate sequences whose limit superior rate of growth matches various non-integer powers of $n$, and investigate the relationship between marginal instability rate sequences arising from finite sets of matrices and those arising from sets of matrices with cardinality $2$. We also give the first example of a finite set whose marginal instability rate sequence is asymptotically similar to a polynomial with non-integer exponent. Previous examples had this property only along a subsequence.
△ Less
Submitted 1 September, 2022;
originally announced September 2022.
-
On dense intermingling of exact overlaps and the open set condition
Authors:
Ian D. Morris
Abstract:
We prove that certain families of homogenous affine iterated function systems in $\mathbb{R}^d$ have the property that the open set condition and the existence of exact overlaps both occur densely in the space of translation parameters. These examples demonstrate that in the theorems of Falconer and Jordan-Pollicott-Simon on the almost sure dimensions of self-affine sets and measures, the set of e…
▽ More
We prove that certain families of homogenous affine iterated function systems in $\mathbb{R}^d$ have the property that the open set condition and the existence of exact overlaps both occur densely in the space of translation parameters. These examples demonstrate that in the theorems of Falconer and Jordan-Pollicott-Simon on the almost sure dimensions of self-affine sets and measures, the set of exceptional translation parameters can be a dense set. The proof combines results from the literature on self-affine tilings of $\mathbb{R}^d$ with an adaptation of a classic argument of Erdős on the singularity of certain Bernoulli convolutions. Our result encompasses a one-dimensional example due to Kenyon which arises as a special case.
△ Less
Submitted 7 March, 2022;
originally announced March 2022.
-
Marginally unstable discrete-time linear switched systems with highly irregular trajectory growth
Authors:
Ian D. Morris
Abstract:
We investigate the uniform stability properties of discrete-time linear switched systems subject to arbitrary switching, focusing on the "marginally unstable" regime in which the system is not Lyapunov stable but in which trajectories cannot escape to infinity at exponential speed. For a discrete linear system of this type without switching the fastest-growing trajectory must grow as an exact poly…
▽ More
We investigate the uniform stability properties of discrete-time linear switched systems subject to arbitrary switching, focusing on the "marginally unstable" regime in which the system is not Lyapunov stable but in which trajectories cannot escape to infinity at exponential speed. For a discrete linear system of this type without switching the fastest-growing trajectory must grow as an exact polynomial function of time, and a significant body of prior research has focused on investigating how far this intuitive picture can be extended from systems without switching to cases where switching is present. In this note we give an example of a family of discrete linear switched systems in three dimensions, with two switching states, for which this intuition fails badly: for a generic member of this family the maximal rate of uniform growth of esca** trajectories can be made arbitrarily slow along one subsequence of times and yet also faster than any prescribed slower-than-linear function along a complementary subsequence of times. Using this construction we give new counterexamples to a conjecture of Chitour, Mason and Sigalotti and obtain a negative answer to a related question of Jungers, Protasov and Blondel. Our examples have the additional feature that marginal stability and marginal instability are densely intermingled in the same parameter space.
△ Less
Submitted 25 March, 2022; v1 submitted 19 November, 2021;
originally announced November 2021.
-
On affine iterated function systems which robustly admit an invariant affine subspace
Authors:
Ian D. Morris
Abstract:
In this note we give a simple sufficient condition for an affine iterated function system to admit an invariant affine subspace persistently with respect to changes in the translation parameters. This yields further examples of tuples of contracting linear maps which do not satisfy the conclusions of Falconer's theorem on the Hausdorff dimension of almost every self-affine set. We also obtain new…
▽ More
In this note we give a simple sufficient condition for an affine iterated function system to admit an invariant affine subspace persistently with respect to changes in the translation parameters. This yields further examples of tuples of contracting linear maps which do not satisfy the conclusions of Falconer's theorem on the Hausdorff dimension of almost every self-affine set. We also obtain new examples of iterated function systems of similarity transformations which cannot satisfy the open set condition for any choice of translation parameters, and resolve a related question of Peres and Solomyak.
△ Less
Submitted 7 March, 2022; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Totally ergodic generalised matrix equilibrium states have the Bernoulli property
Authors:
Ian D. Morris
Abstract:
We show that every totally ergodic generalised matrix equilibrium state is psi-mixing with respect to the natural partition into cylinders and hence is measurably isomorphic to a Bernoulli shift in its natural extension. This implies that the natural extensions of ergodic generalised matrix equilibrium states are measurably isomorphic to Bernoulli processes extended by finite rotations. This resol…
▽ More
We show that every totally ergodic generalised matrix equilibrium state is psi-mixing with respect to the natural partition into cylinders and hence is measurably isomorphic to a Bernoulli shift in its natural extension. This implies that the natural extensions of ergodic generalised matrix equilibrium states are measurably isomorphic to Bernoulli processes extended by finite rotations. This resolves a question of Gatzouras and Peres in the special case of self-affine repelling sets with generic translations.
△ Less
Submitted 23 November, 2020;
originally announced November 2020.
-
How long is the Chaos Game?
Authors:
Natalia Jurga,
Ian D. Morris
Abstract:
In the 1988 textbook "Fractals Everywhere" M. Barnsley introduced an algorithm for generating fractals through a random procedure which he called the "chaos game". Using ideas from the classical theory of covering times of Markov chains we prove an asymptotic formula for the expected time taken by this procedure to generate a $δ$-dense subset of a given self-similar fractal satisfying the open set…
▽ More
In the 1988 textbook "Fractals Everywhere" M. Barnsley introduced an algorithm for generating fractals through a random procedure which he called the "chaos game". Using ideas from the classical theory of covering times of Markov chains we prove an asymptotic formula for the expected time taken by this procedure to generate a $δ$-dense subset of a given self-similar fractal satisfying the open set condition.
△ Less
Submitted 22 July, 2020;
originally announced July 2020.
-
Prevalent uniqueness in ergodic optimisation
Authors:
Ian D. Morris
Abstract:
One of the fundamental results of ergodic optimisation asserts that for any dynamical system on a compact metric space $X$ and for any Banach space of continuous real-valued functions on $X$ which embeds densely in $C(X)$ there exists a residual set of functions in that Banach space for which the maximising measure is unique. We extend this result by showing that this residual set is additionally…
▽ More
One of the fundamental results of ergodic optimisation asserts that for any dynamical system on a compact metric space $X$ and for any Banach space of continuous real-valued functions on $X$ which embeds densely in $C(X)$ there exists a residual set of functions in that Banach space for which the maximising measure is unique. We extend this result by showing that this residual set is additionally prevalent, answering a question of J. Bochi and Y. Zhang.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
A converse statement to Hutchinson's theorem and a dimension gap for self-affine measures
Authors:
Ian D. Morris,
Cagri Sert
Abstract:
A well-known theorem of J.E. Hutchinson states that if an iterated function system consists of similarity transformations and satisfies the open set condition then its attractor supports a self-similar measure with Hausdorff dimension equal to the similarity dimension. In this article we prove the following result which may be regarded as a form of partial converse: if an iterated function system…
▽ More
A well-known theorem of J.E. Hutchinson states that if an iterated function system consists of similarity transformations and satisfies the open set condition then its attractor supports a self-similar measure with Hausdorff dimension equal to the similarity dimension. In this article we prove the following result which may be regarded as a form of partial converse: if an iterated function system consists of invertible affine transformations whose linear parts do not preserve a common invariant subspace, and its attractor supports a self-affine measure with Hausdorff dimension equal to the affinity dimension, then the system necessarily consists of similarity transformations. We obtain this result by showing that the equilibrium measures of an affine iterated function system are never Bernoulli measures unless the system either is reducible or consists of similarity transformations. The proof builds on earlier results in the thermodynamic formalism of affine iterated function systems due to Bochi, Feng, Käenmäki, Shmerkin and the first named author and also relies on the work of Benoist on the spectral properties of Zariski-dense subsemigroups of reductive linear groups.
△ Less
Submitted 21 June, 2021; v1 submitted 18 September, 2019;
originally announced September 2019.
-
A strongly irreducible affine iterated function system with two invariant measures of maximal dimension
Authors:
Ian D. Morris,
Cagri Sert
Abstract:
A classical theorem of Hutchinson asserts that if an iterated function system acts on $\mathbb{R}^d$ by similitudes and satisfies the open set condition then it admits a unique self-similar measure with Hausdorff dimension equal to the dimension of the attractor. In the class of measures on the attractor which arise as the projections of shift-invariant measures on the coding space, this self-simi…
▽ More
A classical theorem of Hutchinson asserts that if an iterated function system acts on $\mathbb{R}^d$ by similitudes and satisfies the open set condition then it admits a unique self-similar measure with Hausdorff dimension equal to the dimension of the attractor. In the class of measures on the attractor which arise as the projections of shift-invariant measures on the coding space, this self-similar measure is the unique measure of maximal dimension. In the context of affine iterated function systems it is known that there may be multiple shift-invariant measures of maximal dimension if the linear parts of the affinities share a common invariant subspace, or more generally if they preserve a finite union of proper subspaces of $\mathbb{R}^d$. In this note we construct examples where multiple invariant measures of maximal dimension exist even though the linear parts of the affinities do not preserve a finite union of proper subspaces.
△ Less
Submitted 10 September, 2019; v1 submitted 20 May, 2019;
originally announced May 2019.
-
Fast approximation of the $p$-radius, matrix pressure or generalised Lyapunov exponent for positive and dominated matrices
Authors:
Ian D. Morris
Abstract:
If A_1,...,A_N are real square matrices then the p-radius, generalised Lyapunov exponent or matrix pressure is defined to be the asymptotic exponential growth rate of the sum $\sum_{i_1,\ldots,i_n=1}^N \|A_{i_n}\cdots A_{i_1}\|^p$, where p is a real parameter. Under its various names this quantity has been investigated for its applications to topics including wavelet regularity and refinement equa…
▽ More
If A_1,...,A_N are real square matrices then the p-radius, generalised Lyapunov exponent or matrix pressure is defined to be the asymptotic exponential growth rate of the sum $\sum_{i_1,\ldots,i_n=1}^N \|A_{i_n}\cdots A_{i_1}\|^p$, where p is a real parameter. Under its various names this quantity has been investigated for its applications to topics including wavelet regularity and refinement equations, fractal geometry and the large deviations theory of random matrix products. In this article we present a new algorithm for computing the p-radius under the hypothesis that the matrices are all positive, or more generally under the hypothesis that they satisfy a weaker condition called domination. This algorithm is based on interpreting the p-radius as the leading eigenvalue of a trace-class operator on a Hilbert space and estimating that eigenvalue via approximations to the Fredholm determinant of the operator. In this respect our method is closely related to the work of Z.-Q. Bai and M. Pollicott on computing the top Lyapunov exponent of a random matrix product. For pairs of positive matrices of low dimension our method yields substantial improvements over existing methods.
△ Less
Submitted 2 May, 2019;
originally announced May 2019.
-
$L^q$-spectra of self-affine measures: closed forms, counterexamples, and split binomial sums
Authors:
Jonathan M. Fraser,
Lawrence D. Lee,
Ian D. Morris,
Han Yu
Abstract:
We study $L^q$-spectra of planar self-affine measures generated by diagonal systems with an emphasis on providing closed form expressions. We answer a question posed by Fraser in 2016 in the negative by proving that a certain natural closed form expression does not generally give the $L^q$-spectrum and, using a similar approach, find counterexamples to a statement of Falconer-Miao from 2007 and a…
▽ More
We study $L^q$-spectra of planar self-affine measures generated by diagonal systems with an emphasis on providing closed form expressions. We answer a question posed by Fraser in 2016 in the negative by proving that a certain natural closed form expression does not generally give the $L^q$-spectrum and, using a similar approach, find counterexamples to a statement of Falconer-Miao from 2007 and a conjecture of Miao from 2008 concerning a closed form expression for the generalised dimensions of generic self-affine measures. In the positive direction we provide new non-trivial closed form bounds in both of the above settings, which in certain cases yield sharp results. We also provide examples of self-affine measures whose $L^q$-spectra exhibit new types of phase transitions. Our examples depend on a combinatorial estimate for the exponential growth of certain split binomial sums.
△ Less
Submitted 8 November, 2018;
originally announced November 2018.
-
Fast approximation of the affinity dimension for dominated affine iterated function systems
Authors:
Ian D. Morris
Abstract:
In 1988 K. Falconer introduced a formula which predicts the value of the Hausdorff dimension of the attractor of an affine iterated function system. The value given by this formula -- sometimes referred to as the affinity dimension -- is known to agree with the Hausdorff dimension both generically and in an increasing range of explicit cases. It is however a nontrivial problem to estimate the nume…
▽ More
In 1988 K. Falconer introduced a formula which predicts the value of the Hausdorff dimension of the attractor of an affine iterated function system. The value given by this formula -- sometimes referred to as the affinity dimension -- is known to agree with the Hausdorff dimension both generically and in an increasing range of explicit cases. It is however a nontrivial problem to estimate the numerical value of the affinity dimension for specific iterated function systems. In this article we substantially extend an earlier result of M. Pollicott and P. Vytnova on the computation of the affinity dimension. Pollicott and Vytnova's work applies to planar invertible affine contractions with positive linear parts under several additional conditions which among other things constrain the affinity dimension to be between 0 and 1. We extend this result by passing from planar self-affine sets to self-affine sets in arbitrary dimensions, relaxing the positivity hypothesis to a domination condition, and removing all other constraints including that on the range of values of the affinity dimension. We provide some explicit examples of two- and three-dimensional affine iterated function systems for which the affinity dimension can be calculated to more than 30 decimal places.
△ Less
Submitted 29 November, 2021; v1 submitted 24 July, 2018;
originally announced July 2018.
-
Domination, almost additivity, and thermodynamic formalism for planar matrix cocycles
Authors:
Balázs Bárány,
Antti Käenmäki,
Ian D. Morris
Abstract:
In topics such as the thermodynamic formalism of linear cocycles, the dimension theory of self-affine sets, and the theory of random matrix products, it has often been found useful to assume positivity of the matrix entries in order to simplify or make feasible certain types of calculation. It is natural to ask how positivity may be relaxed or generalised in a way which enables similar calculation…
▽ More
In topics such as the thermodynamic formalism of linear cocycles, the dimension theory of self-affine sets, and the theory of random matrix products, it has often been found useful to assume positivity of the matrix entries in order to simplify or make feasible certain types of calculation. It is natural to ask how positivity may be relaxed or generalised in a way which enables similar calculations to be made in more general contexts. On the one hand one may generalise by considering almost additive or asymptotically additive potentials which mimic the properties enjoyed by the logarithm of the norm of a positive matrix cocycle; on the other hand one may consider matrix cocycles which are dominated, a condition which includes positive matrix cocycles but is more general. In this article we explore the relationship between almost additivity and domination for planar cocycles. We show in particular that a locally constant linear cocycle in the plane is almost additive if and only if it is either conjugate to a cocycle of isometries, or satisfies a property slightly weaker than domination which is introduced in this paper. Applications to matrix thermodynamic formalism are presented.
△ Less
Submitted 1 September, 2019; v1 submitted 6 February, 2018;
originally announced February 2018.
-
Some observations on Käenmäki measures
Authors:
Ian D. Morris
Abstract:
In this note we investigate some properties of equilibrium states of affine iterated function systems, sometimes known as Käenmäki measures. We give a simple sufficient condition for Käenmäki measures to have a gap between certain specific pairs of Lyapunov exponents, partially answering a question of B. Bárány, A. Käenmäki and H. Koivusalo. We also give sharp bounds for the number of ergodic Käen…
▽ More
In this note we investigate some properties of equilibrium states of affine iterated function systems, sometimes known as Käenmäki measures. We give a simple sufficient condition for Käenmäki measures to have a gap between certain specific pairs of Lyapunov exponents, partially answering a question of B. Bárány, A. Käenmäki and H. Koivusalo. We also give sharp bounds for the number of ergodic Käenmäki measures in dimensions up to 4, answering a question of J. Bochi and the author within this range of dimensions. Finally, we pose an open problem on the Hausdorff dimension of self-affine measures which may be reduced to a statement concerning semigroups of matrices in which a particular weighted product of absolute eigenvalues is constant.
△ Less
Submitted 20 October, 2017;
originally announced October 2017.
-
Equilibrium states of generalised singular value potentials and applications to affine iterated function systems
Authors:
Jairo Bochi,
Ian D. Morris
Abstract:
We completely describe the equilibrium states of a class of potentials over the full shift which includes Falconer's singular value function for affine iterated function systems with invertible affinities. We show that the number of distinct ergodic equilibrium states of such a potential is bounded by a number depending only on the dimension, answering a question of A. Käenmäki. We prove that all…
▽ More
We completely describe the equilibrium states of a class of potentials over the full shift which includes Falconer's singular value function for affine iterated function systems with invertible affinities. We show that the number of distinct ergodic equilibrium states of such a potential is bounded by a number depending only on the dimension, answering a question of A. Käenmäki. We prove that all such equilibrium states are fully supported and satisfy a Gibbs inequality with respect to a suitable subadditive potential. We apply these results to demonstrate that the affinity dimension of an iterated function system with invertible affinities is always strictly reduced when any one of the maps is removed, resolving a folklore open problem in the dimension theory of self-affine fractals. We deduce a natural criterion under which the Hausdorff dimension of the attractor has the same strict reduction property.
△ Less
Submitted 21 March, 2018; v1 submitted 12 October, 2017;
originally announced October 2017.
-
An explicit formula for the pressure of box-like affine iterated function systems
Authors:
Ian D. Morris
Abstract:
In this article we investigate the pressure function and affinity dimension for iterated function systems associated to the "box-like" self-affine fractals investigated by D.-J. Feng, Y. Wang and J.M. Fraser. Combining previous results of V. Yu. Protasov, A. Käenmäki and the author we obtain an explicit formula for the pressure function which makes it straightforward to compute the affinity dimens…
▽ More
In this article we investigate the pressure function and affinity dimension for iterated function systems associated to the "box-like" self-affine fractals investigated by D.-J. Feng, Y. Wang and J.M. Fraser. Combining previous results of V. Yu. Protasov, A. Käenmäki and the author we obtain an explicit formula for the pressure function which makes it straightforward to compute the affinity dimension of box-like self-affine sets. We also prove a variant of this formula which allows the computation of a modified singular value pressure function defined by J.M. Fraser. We give some explicit examples where the Hausdorff and packing dimensions of a box-like self-affine fractal may be easily computed.
△ Less
Submitted 29 March, 2017; v1 submitted 27 March, 2017;
originally announced March 2017.
-
A necessary and sufficient condition for a matrix equilibrium state to be mixing
Authors:
Ian D. Morris
Abstract:
Since the 1970s there has been a rich theory of equilibrium states over shift spaces associated to Hölder-continuous real-valued potentials. The construction of equilibrium states associated to matrix-valued potentials is much more recent, with a complete description of such equilibrium states being achieved in 2011 by D.-J. Feng and A. Käenmäki. In a recent article the author investigated the erg…
▽ More
Since the 1970s there has been a rich theory of equilibrium states over shift spaces associated to Hölder-continuous real-valued potentials. The construction of equilibrium states associated to matrix-valued potentials is much more recent, with a complete description of such equilibrium states being achieved in 2011 by D.-J. Feng and A. Käenmäki. In a recent article the author investigated the ergodic-theoretic properties of these matrix equilibrium states, attempting in particular to give necessary and sufficient conditions for mixing, positive entropy, and the property of being a Bernoulli measure with respect to the natural partition, in terms of the algebraic properties of the semigroup generated by the matrices. Necessary and sufficient conditions were successfully established for the latter two properties but only a sufficient condition for mixing was given. The purpose of this note is to complete that investigation by giving a necessary and sufficient condition for a matrix equilibrium state to be mixing.
△ Less
Submitted 6 December, 2016;
originally announced December 2016.
-
Structure of equilibrium states on self-affine sets and strict monotonicity of affinity dimension
Authors:
Antti Käenmäki,
Ian D. Morris
Abstract:
A fundamental problem in the dimension theory of self-affine sets is the construction of high-dimensional measures which yield sharp lower bounds for the Hausdorff dimension of the set. A natural strategy for the construction of such high-dimensional measures is to investigate measures of maximal Lyapunov dimension; these measures can be alternatively interpreted as equilibrium states of the singu…
▽ More
A fundamental problem in the dimension theory of self-affine sets is the construction of high-dimensional measures which yield sharp lower bounds for the Hausdorff dimension of the set. A natural strategy for the construction of such high-dimensional measures is to investigate measures of maximal Lyapunov dimension; these measures can be alternatively interpreted as equilibrium states of the singular value function introduced by Falconer. Whilst the existence of these equilibrium states has been well-known for some years their structure has remained elusive, particularly in dimensions higher than two. In this article we give a complete description of the equilibrium states of the singular value function in the three-dimensional case, showing in particular that all such equilibrium states must be fully supported. In higher dimensions we also give a new sufficient condition for the uniqueness of these equilibrium states. As a corollary, giving a solution to a folklore open question in dimension three, we prove that for a typical self-affine set in $\mathbb{R}^3$, removing one of the affine maps which defines the set results in a strict reduction of the Hausdorff dimension.
△ Less
Submitted 30 September, 2017; v1 submitted 23 September, 2016;
originally announced September 2016.
-
Ergodic properties of matrix equilibrium states
Authors:
Ian D. Morris
Abstract:
Given a finite irreducible set of real $d \times d$ matrices $A_1,\ldots,A_M$ and a real parameter $s>0$, there exists a unique shift-invariant equilibrium state associated to $(A_1,\ldots,A_M,s)$. In this article we characterise the ergodic properties of such equilibrium states in terms of the algebraic properties of the semigroup generated by the associated matrices. We completely characterise w…
▽ More
Given a finite irreducible set of real $d \times d$ matrices $A_1,\ldots,A_M$ and a real parameter $s>0$, there exists a unique shift-invariant equilibrium state associated to $(A_1,\ldots,A_M,s)$. In this article we characterise the ergodic properties of such equilibrium states in terms of the algebraic properties of the semigroup generated by the associated matrices. We completely characterise when the equilibrium state has zero entropy, when it gives distinct Lyapunov exponents to the natural cocycle generated by $A_1,\ldots,A_M$, and when it is a Bernoulli measure. We also give a general sufficient condition for the equilibrium state to be mixing, and give an example where the equilibrium state is ergodic but not totally ergodic. Connections with a class of measures investigated by S. Kusuoka are explored in an appendix.
△ Less
Submitted 5 October, 2016; v1 submitted 5 March, 2016;
originally announced March 2016.
-
On equality of Hausdorff and affinity dimensions, via self-affine measures on positive subsystems
Authors:
Ian D. Morris,
Pablo Shmerkin
Abstract:
Under mild conditions we show that the affinity dimension of a planar self-affine set is equal to the supremum of the Lyapunov dimensions of self-affine measures supported on self-affine proper subsets of the original set. These self-affine subsets may be chosen so as to have stronger separation properties and in such a way that the linear parts of their affinities are positive matrices. Combining…
▽ More
Under mild conditions we show that the affinity dimension of a planar self-affine set is equal to the supremum of the Lyapunov dimensions of self-affine measures supported on self-affine proper subsets of the original set. These self-affine subsets may be chosen so as to have stronger separation properties and in such a way that the linear parts of their affinities are positive matrices. Combining this result with some recent breakthroughs in the study of self-affine measures and their associated Furstenberg measures, we obtain new criteria under which the Hausdorff dimension of a self-affine set equals its affinity dimension. For example, applying recent results of Bárány, Hochman-Solomyak and Rapaport, we provide new explicit examples of self-affine sets whose Hausdorff dimension equals its affinity dimension, and for which the linear parts do not satisfy any domination assumptions.
△ Less
Submitted 29 March, 2017; v1 submitted 28 February, 2016;
originally announced February 2016.
-
Characterization of dominated splittings for operator cocycles acting on Banach spaces
Authors:
Alex Blumenthal,
Ian D. Morris
Abstract:
Versions of the Oseledets multiplicative ergodic theorem for cocycles acting on infinite-dimensional Banach spaces have been investigated since the pioneering work of Ruelle in 1982 and are a topic of continuing research interest. For a cocycle to induce a continuous splitting in which the growth in one subbundle exponentially dominates the growth in another requires additional assumptions; a nece…
▽ More
Versions of the Oseledets multiplicative ergodic theorem for cocycles acting on infinite-dimensional Banach spaces have been investigated since the pioneering work of Ruelle in 1982 and are a topic of continuing research interest. For a cocycle to induce a continuous splitting in which the growth in one subbundle exponentially dominates the growth in another requires additional assumptions; a necessary and sufficient condition for the existence of such a dominated splitting was recently given by J. Bochi and N. Gourmelon for invertible finite-dimensional cocycles in discrete time. We extend this result to cocycles of injective bounded linear maps acting on Banach spaces (in both discrete and continuous time) using an essentially geometric approach based on a notion of approximate singular value decomposition in Banach spaces. Our method is constructive, and in the finite-dimensional case yields explicit growth estimates on the dominated splitting which may be of independent interest.
△ Less
Submitted 23 December, 2015;
originally announced December 2015.
-
Generic properties of the lower spectral radius for some low-rank pairs of matrices
Authors:
Ian D. Morris
Abstract:
The lower spectral radius of a set of $d \times d$ matrices is defined to be the minimum possible exponential growth rate of long products of matrices drawn from that set. When considered as a function of a finite set of matrices of fixed cardinality it is known that the lower spectral radius can vary discontinuously as a function of the matrix entries. In a previous article the author and J. Boch…
▽ More
The lower spectral radius of a set of $d \times d$ matrices is defined to be the minimum possible exponential growth rate of long products of matrices drawn from that set. When considered as a function of a finite set of matrices of fixed cardinality it is known that the lower spectral radius can vary discontinuously as a function of the matrix entries. In a previous article the author and J. Bochi conjectured that when considered as a function on the set of all pairs of $2 \times 2$ real matrices, the lower spectral radius is discontinuous on a set of positive (eight-dimensional) Lebesgue measure, and related this result to an earlier conjecture of Bochi and Fayad. In this article we investigate the continuity of the lower spectral radius in a simplified context in which one of the two matrices is assumed to be of rank one. We show in particular that the set of discontinuities of the lower spectral radius on the set of pairs of $2 \times 2$ real matrices has positive seven-dimensional Lebesgue measure, and that among the pairs of matrices studied, the finiteness property for the lower spectral radius is true on a set of full Lebesgue measure but false on a residual set.
△ Less
Submitted 1 October, 2015;
originally announced October 2015.
-
Lyapunov-maximising measures for pairs of weighted shift operators
Authors:
Ian D. Morris
Abstract:
Motivated by recent investigations of ergodic optimisation for matrix cocycles, we study the measures of maximum top Lyapunov exponent for pairs of bounded weighted shift operators on a separable Hilbert space. We prove that for generic pairs of weighted shift operators the Lyapunov-maximising measure is unique, and show that there exist pairs of operators whose unique Lyapunov-maximising measure…
▽ More
Motivated by recent investigations of ergodic optimisation for matrix cocycles, we study the measures of maximum top Lyapunov exponent for pairs of bounded weighted shift operators on a separable Hilbert space. We prove that for generic pairs of weighted shift operators the Lyapunov-maximising measure is unique, and show that there exist pairs of operators whose unique Lyapunov-maximising measure takes any prescribed value less than $\log 2$ for its metric entropy. We also show that in contrast to the matrix case, the Lyapunov-maximising measures of pairs of bounded operators are in general not characterised by their supports: we construct explicitly a pair of operators, and a pair of ergodic measures on the 2-shift with identical supports, such that one of the two measures is Lyapunov-maximising for the pair of operators and the other measure is not. Our proofs make use of the Ornstein $\overline{d}$-metric to estimate differences in the top Lyapunov exponent of a pair of weighted shift operators as the underlying measure is varied.
△ Less
Submitted 1 October, 2015;
originally announced October 2015.
-
On Falconer's formula for the generalised Renyi dimension of a self-affine measure
Authors:
Ian D. Morris
Abstract:
We investigate a formula of K. Falconer which describes the typical value of the generalised Rényi dimension, or generalised $q$-dimension, of a self-affine measure in terms of the linear components of the affinities. We show that in contrast to a related formula for the Hausdorff dimension of a typical self-affine set, the value of the generalised $q$-dimension predicted by Falconer's formula var…
▽ More
We investigate a formula of K. Falconer which describes the typical value of the generalised Rényi dimension, or generalised $q$-dimension, of a self-affine measure in terms of the linear components of the affinities. We show that in contrast to a related formula for the Hausdorff dimension of a typical self-affine set, the value of the generalised $q$-dimension predicted by Falconer's formula varies discontinuously as the linear parts of the affinities are changed. Conditionally on a conjecture of J. Bochi and B. Fayad, we show that the value predicted by this formula for pairs of two-dimensional affine transformations is discontinuous on a set of positive Lebesgue measure. These discontinuities derive from discontinuities of the lower spectral radius which were previously observed by the author and J. Bochi.
△ Less
Submitted 29 September, 2015;
originally announced September 2015.
-
An inequality for the matrix pressure function and applications
Authors:
Ian D. Morris
Abstract:
We prove an a priori lower bound for the pressure, or $p$-norm joint spectral radius, of a measure on the set of $d \times d$ real matrices which parallels a result of J. Bochi for the joint spectral radius. We apply this lower bound to give new proofs of the continuity of the affinity dimension of a self-affine set and of the continuity of the singular-value pressure for invertible matrices, both…
▽ More
We prove an a priori lower bound for the pressure, or $p$-norm joint spectral radius, of a measure on the set of $d \times d$ real matrices which parallels a result of J. Bochi for the joint spectral radius. We apply this lower bound to give new proofs of the continuity of the affinity dimension of a self-affine set and of the continuity of the singular-value pressure for invertible matrices, both of which had been previously established by D.-J. Feng and P. Shmerkin using multiplicative ergodic theory and the subadditive variational principle. Unlike the previous proof, our lower bound yields algorithms to rigorously compute the pressure, singular value pressure and affinity dimension of a finite set of matrices to within an a priori prescribed accuracy in finitely many computational steps. We additionally deduce a related inequality for the singular value pressure for measures on the set of $2 \times 2$ real matrices, give a precise characterisation of the discontinuities of the singular value pressure function for two-dimensional matrices, and prove a general theorem relating the zero-temperature limit of the matrix pressure to the joint spectral radius.
△ Less
Submitted 28 July, 2016; v1 submitted 2 July, 2015;
originally announced July 2015.
-
A short proof that the number of division steps in the Euclidean algorithm is normally distributed
Authors:
Ian D. Morris
Abstract:
D. Hensley showed in 1994 that the number of steps taken by the Euclidean algorithm to find the greatest common divisor of two natural numbers less than or equal to n follows a normal distribution in the limit as n tends to infinity. V. Baladi and B. Vallée subsequently gave an alternative proof for both the classical Euclidean algorithm and several of its close variants, based on a detailed inves…
▽ More
D. Hensley showed in 1994 that the number of steps taken by the Euclidean algorithm to find the greatest common divisor of two natural numbers less than or equal to n follows a normal distribution in the limit as n tends to infinity. V. Baladi and B. Vallée subsequently gave an alternative proof for both the classical Euclidean algorithm and several of its close variants, based on a detailed investigation of spectral properties of the transfer operator associated to the Gauss map, building on deep results of D. Dolgopyat. In this article we give a much shorter, albeit less quantitative, proof of this result using only basic spectral properties of the transfer operator together with the method of moments and a Tauberian theorem due to H. Delange.
△ Less
Submitted 26 February, 2015;
originally announced February 2015.
-
A rigorous version of R. P. Brent's model for the binary Euclidean algorithm
Authors:
Ian D. Morris
Abstract:
The binary Euclidean algorithm is a modification of the classical Euclidean algorithm for computation of greatest common divisors which avoids ordinary integer division in favour of division by powers of two only. The expectation of the number of steps taken by the binary Euclidean algorithm when applied to pairs of integers of bounded size was first investigated by R. P. Brent in 1976 via a heuri…
▽ More
The binary Euclidean algorithm is a modification of the classical Euclidean algorithm for computation of greatest common divisors which avoids ordinary integer division in favour of division by powers of two only. The expectation of the number of steps taken by the binary Euclidean algorithm when applied to pairs of integers of bounded size was first investigated by R. P. Brent in 1976 via a heuristic model of the algorithm as a random dynamical system. Based on numerical investigations of the expectation of the associated Ruelle transfer operator, Brent obtained a conjectural asymptotic expression for the mean number of steps performed by the algorithm when processing pairs of odd integers whose size is bounded by a large integer. In 1998 B. Vallée modified Brent's model via an induction scheme to rigorously prove an asymptotic formula for the average number of steps performed by the algorithm; however, the relationship of this result with Brent's heuristics remains conjectural. In this article we establish previously conjectural properties of Brent's transfer operator, showing directly that it possesses a spectral gap and preserves a unique continuous density. This density is shown to extend holomorphically to the complex right half-plane and to have a logarithmic singularity at zero. By combining these results with methods from classical analytic number theory we prove the correctness of three conjectured formulae for the expected number of steps, resolving several open questions promoted by D. E. Knuth in The Art of Computer Programming.
△ Less
Submitted 2 September, 2014;
originally announced September 2014.
-
Dominated splittings for semi-invertible operator cocycles on Hilbert space
Authors:
Ian D. Morris
Abstract:
A theorem of J. Bochi and N. Gourmelon states that an invertible linear cocycle admits a dominated splitting if and only if the singular values of its iterates become separated at a uniform exponential rate. It is not difficult to show that for cocycles of non-invertible linear maps over an invertible dynamical system -- which we refer to as semi-invertible cocycles -- this criterion fails to impl…
▽ More
A theorem of J. Bochi and N. Gourmelon states that an invertible linear cocycle admits a dominated splitting if and only if the singular values of its iterates become separated at a uniform exponential rate. It is not difficult to show that for cocycles of non-invertible linear maps over an invertible dynamical system -- which we refer to as semi-invertible cocycles -- this criterion fails to imply the existence of a dominated splitting. In this article we show that a simple modification of Bochi and Gourmelon's singular value criterion is equivalent to the existence of a dominated splitting in both the invertible and the semi-invertible cases. This result extends to the more general context of semi-invertible cocycles of bounded linear operators acting on a Hilbert space, and generalises previous results due to J.-C. Yoccoz, J. Bochi and N. Gourmelon, and the present author.
△ Less
Submitted 21 December, 2015; v1 submitted 4 March, 2014;
originally announced March 2014.
-
Continuity properties of the lower spectral radius
Authors:
Jairo Bochi,
Ian D. Morris
Abstract:
The lower spectral radius, or joint spectral subradius, of a set of real $d \times d$ matrices is defined to be the smallest possible exponential growth rate of long products of matrices drawn from that set. The lower spectral radius arises naturally in connection with a number of topics including combinatorics on words, the stability of linear inclusions in control theory, and the study of random…
▽ More
The lower spectral radius, or joint spectral subradius, of a set of real $d \times d$ matrices is defined to be the smallest possible exponential growth rate of long products of matrices drawn from that set. The lower spectral radius arises naturally in connection with a number of topics including combinatorics on words, the stability of linear inclusions in control theory, and the study of random Cantor sets. In this article we apply some ideas originating in the study of dominated splittings of linear cocycles over a dynamical system to characterise the points of continuity of the lower spectral radius on the set of all compact sets of invertible $d \times d$ matrices. As an application we exhibit open sets of pairs of $2 \times 2$ matrices within which the analogue of the Lagarias-Wang finiteness property for the lower spectral radius fails on a residual set, and discuss some implications of this result for the computation of the lower spectral radius.
△ Less
Submitted 10 July, 2014; v1 submitted 2 September, 2013;
originally announced September 2013.
-
A note on configurations in sets of positive density which occur at all large scales
Authors:
Ian D. Morris
Abstract:
Furstenberg, Katznelson and Weiss proved in the early 1980s that every measurable subset of the plane with positive density at infinity has the property that all sufficiently large real numbers are realised as the Euclidean distance between points in that set. Their proof used ergodic theory to study translations on a space of Lipschitz functions corresponding to closed subsets of the plane, combi…
▽ More
Furstenberg, Katznelson and Weiss proved in the early 1980s that every measurable subset of the plane with positive density at infinity has the property that all sufficiently large real numbers are realised as the Euclidean distance between points in that set. Their proof used ergodic theory to study translations on a space of Lipschitz functions corresponding to closed subsets of the plane, combined with a measure-theoretical argument. We consider an alternative dynamical approach in which the phase space is given by the set of measurable functions from $\mathbb{R}^d$ to $[0,1]$, which we view as a compact subspace of $L^\infty(\mathbb{R}^d)$ in the weak-* topology. The pointwise ergodic theorem for $\mathbb{R}^d$-actions implies that with respect to any translation-invariant measure on this space, almost every function is asymptotically close to a constant function at large scales. This observation leads to a general sufficient condition for a configuration to occur in every set of positive upper Banach density at all sufficiently large scales, extending a recent theorem of B. Bukh. To illustrate the use of this criterion we apply it to prove a new result concerning three-point configurations in measurable subsets of the plane which form the vertices of a triangle with specified area and side length, yielding a new proof of a result related to work of R. Graham.
△ Less
Submitted 17 January, 2013;
originally announced January 2013.
-
Extremal sequences of polynomial complexity
Authors:
Kevin G. Hare,
Ian D. Morris,
Nikita Sidorov
Abstract:
The joint spectral radius of a bounded set of $d \times d$ real matrices is defined to be the maximum possible exponential growth rate of products of matrices drawn from that set. For a fixed set of matrices, a sequence of matrices drawn from that set is called \emph{extremal} if the associated sequence of partial products achieves this maximal rate of growth. An influential conjecture of J. Lagar…
▽ More
The joint spectral radius of a bounded set of $d \times d$ real matrices is defined to be the maximum possible exponential growth rate of products of matrices drawn from that set. For a fixed set of matrices, a sequence of matrices drawn from that set is called \emph{extremal} if the associated sequence of partial products achieves this maximal rate of growth. An influential conjecture of J. Lagarias and Y. Wang asked whether every finite set of matrices admits an extremal sequence which is periodic. This is equivalent to the assertion that every finite set of matrices admits an extremal sequence with bounded subword complexity. Counterexamples were subsequently constructed which have the property that every extremal sequence has at least linear subword complexity. In this paper we extend this result to show that for each integer $p \geq 1$, there exists a pair of square matrices of dimension $2^p(2^{p+1}-1)$ for which every extremal sequence has subword complexity at least $2^{-p^2}n^p$.
△ Less
Submitted 24 April, 2013; v1 submitted 30 January, 2012;
originally announced January 2012.
-
A new sufficient condition for the uniqueness of Barabanov norms
Authors:
Ian D. Morris
Abstract:
The joint spectral radius of a bounded set of d times d real or complex matrices is defined to be the maximum exponential rate of growth of products of matrices drawn from that set. Under quite mild conditions such a set of matrices admits an associated vector norm, called a Barabanov norm, which can be used to characterise those sequences of matrices which achieve this maximum rate of exponential…
▽ More
The joint spectral radius of a bounded set of d times d real or complex matrices is defined to be the maximum exponential rate of growth of products of matrices drawn from that set. Under quite mild conditions such a set of matrices admits an associated vector norm, called a Barabanov norm, which can be used to characterise those sequences of matrices which achieve this maximum rate of exponential growth. In this note we continue an earlier investigation into the problem of determining when the Barabanov norm associated to such a set of matrices is unique. We give a new sufficient condition for this uniqueness, and provide some examples in which our condition applies. We also give a theoretical application which shows that the property of having a unique Barabanov norm can in some cases be highly sensitive to small perturbations of the set of matrices.
△ Less
Submitted 21 September, 2011;
originally announced September 2011.
-
Rank one matrices do not contribute to the failure of the finiteness property
Authors:
Ian D. Morris
Abstract:
The joint spectral radius of a bounded set of d times d real or complex matrices is defined to be the maximum exponential rate of growth of products of matrices drawn from that set. A set of matrices is said to satisfy the finiteness property if this maximum rate of growth occurs along a periodic infinite sequence. In this note we give some sufficient conditions for a finite set of matrices to sat…
▽ More
The joint spectral radius of a bounded set of d times d real or complex matrices is defined to be the maximum exponential rate of growth of products of matrices drawn from that set. A set of matrices is said to satisfy the finiteness property if this maximum rate of growth occurs along a periodic infinite sequence. In this note we give some sufficient conditions for a finite set of matrices to satisfy the finiteness property in terms of its rank one elements. We show in particular that if a finite set of matrices does not satisfy the finiteness property, then the subset consisting of all matrices of rank at least two is nonempty, does not satisfy the finiteness property, and has the same joint spectral radius as the original set. We also obtain an exact formula for the joint spectral radii of sets of matrices which contain at most one element not of rank one, generalising a recent result of X. Dai.
△ Less
Submitted 21 September, 2011;
originally announced September 2011.
-
Mather sets for sequences of matrices and applications to the study of joint spectral radii
Authors:
Ian D. Morris
Abstract:
The joint spectral radius of a compact set of d-times-d matrices is defined ?to be the maximum possible exponential growth rate of products of matrices drawn from that set. In this article we investigate the ergodic-theoretic structure of those sequences of matrices drawn from a given set whose products grow at the maximum possible rate. This leads to a notion of Mather set for matrix sequences wh…
▽ More
The joint spectral radius of a compact set of d-times-d matrices is defined ?to be the maximum possible exponential growth rate of products of matrices drawn from that set. In this article we investigate the ergodic-theoretic structure of those sequences of matrices drawn from a given set whose products grow at the maximum possible rate. This leads to a notion of Mather set for matrix sequences which is analogous to the Mather set in Lagrangian dynamics. We prove a structure theorem establishing the general properties of these Mather sets and describing the extent to which they characterise matrix sequences of maximum growth. We give applications of this theorem to the study of joint spectral radii and to the stability theory of discrete linear inclusions.
These results rest on some general theorems on the structure of orbits of maximum growth for subadditive observations of dynamical systems, including an extension of the semi-uniform subadditive ergodic theorem of Schreiber, Sturman and Stark, and an extension of a noted lemma of Y. Peres. These theorems are presented in the appendix.
△ Less
Submitted 21 September, 2011;
originally announced September 2011.
-
On a Devil's staircase associated to the joint spectral radii of a family of pairs of matrices
Authors:
Ian D. Morris,
Nikita Sidorov
Abstract:
The joint spectral radius of a finite set of real d x d matrices is defined to be the maximum possible exponential rate of growth of products of matrices drawn from that set. In previous work with K. G. Hare and J. Theys we showed that for a certain one-parameter family of pairs of matrices, this maximum possible rate of growth is attained along Sturmian sequences with a certain characteristic rat…
▽ More
The joint spectral radius of a finite set of real d x d matrices is defined to be the maximum possible exponential rate of growth of products of matrices drawn from that set. In previous work with K. G. Hare and J. Theys we showed that for a certain one-parameter family of pairs of matrices, this maximum possible rate of growth is attained along Sturmian sequences with a certain characteristic ratio which depends continuously upon the parameter. In this paper we answer some open questions from that paper by showing that the dependence of the ratio function upon the parameter takes the form of a Devil's staircase. We show in particular that this Devil's staircase attains every rational value strictly between 0 and 1 on some interval, and attains irrational values only in a set of Hausdorff dimension zero. This result generalises to include certain one-parameter families considered by other authors. We also give explicit formulas for the preimages of both rational and irrational numbers under the ratio function, thereby establishing a large family of pairs of matrices for which the joint spectral radius may be calculated exactly.
△ Less
Submitted 10 June, 2013; v1 submitted 18 July, 2011;
originally announced July 2011.
-
An explicit counterexample to the Lagarias-Wang finiteness conjecture
Authors:
Kevin G. Hare,
Ian D. Morris,
Nikita Sidorov,
Jacques Theys
Abstract:
The joint spectral radius of a finite set of real $d \times d$ matrices is defined to be the maximum possible exponential rate of growth of long products of matrices drawn from that set. A set of matrices is said to have the \emph{finiteness property} if there exists a periodic product which achieves this maximal rate of growth. J.C. Lagarias and Y. Wang conjectured in 1995 that every finite set o…
▽ More
The joint spectral radius of a finite set of real $d \times d$ matrices is defined to be the maximum possible exponential rate of growth of long products of matrices drawn from that set. A set of matrices is said to have the \emph{finiteness property} if there exists a periodic product which achieves this maximal rate of growth. J.C. Lagarias and Y. Wang conjectured in 1995 that every finite set of real $d \times d$ matrices satisfies the finiteness property. However, T. Bousch and J. Mairesse proved in 2002 that counterexamples to the finiteness conjecture exist, showing in particular that there exists a family of pairs of $2 \times 2$ matrices which contains a counterexample. Similar results were subsequently given by V.D. Blondel, J. Theys and A.A. Vladimirov and by V.S. Kozyakin, but no explicit counterexample to the finiteness conjecture has so far been given. The purpose of this paper is to resolve this issue by giving the first completely explicit description of a counterexample to the Lagarias-Wang finiteness conjecture. Namely, for the set \[ \mathsf{A}_{α_*}:= \{({cc}1&1\\0&1), α_*({cc}1&0\\1&1)\}\] we give an explicit value of
α_* \simeq 0.749326546330367557943961948091344672091327370236064317358024...] such that $\mathsf{A}_{α_*}$ does not satisfy the finiteness property.
△ Less
Submitted 11 November, 2010; v1 submitted 10 June, 2010;
originally announced June 2010.
-
Criteria for the stability of the finiteness property and for the uniqueness of Barabanov norms
Authors:
Ian D. Morris
Abstract:
A set of matrices is said to have the finiteness property if the maximal rate of exponential growth of long products of matrices drawn from that set is realised by a periodic product. The extent to which the finiteness property is prevalent among finite sets of matrices is the subject of ongoing research. In this article we give a condition on a finite irreducible set of matrices which guarantee…
▽ More
A set of matrices is said to have the finiteness property if the maximal rate of exponential growth of long products of matrices drawn from that set is realised by a periodic product. The extent to which the finiteness property is prevalent among finite sets of matrices is the subject of ongoing research. In this article we give a condition on a finite irreducible set of matrices which guarantees that the finiteness property holds not only for that set, but also for all sufficiently nearby sets of equal cardinality. We also prove a theorem giving conditions under which the Barabanov norm associated to a finite irreducible set of matrices is unique up to multiplication by a scalar, and show that in certain cases these conditions are also persistent under small perturbations.
△ Less
Submitted 15 September, 2009;
originally announced September 2009.
-
The generalized Berger-Wang formula and the spectral radius of linear cocycles
Authors:
Ian D. Morris
Abstract:
Using multiplicative ergodic theory we prove two formulae describing the relationships between different joint spectral radii for sets of bounded linear operators acting on a Banach space. In particular we recover a formula previously proved by V. S. Shulman and Yu. V. Turovskiĭ using operator-theoretic ideas. As a byproduct of our method we answer a question of J. E. Cohen on the limiting behav…
▽ More
Using multiplicative ergodic theory we prove two formulae describing the relationships between different joint spectral radii for sets of bounded linear operators acting on a Banach space. In particular we recover a formula previously proved by V. S. Shulman and Yu. V. Turovskiĭ using operator-theoretic ideas. As a byproduct of our method we answer a question of J. E. Cohen on the limiting behaviour of the spectral radius of a measurable matrix cocycle.
△ Less
Submitted 16 June, 2009;
originally announced June 2009.
-
A rapidly-converging lower bound for the joint spectral radius via multiplicative ergodic theory
Authors:
Ian D. Morris
Abstract:
We use ergodic theory to prove a quantitative version of a theorem of M. A. Berger and Y. Wang, which relates the joint spectral radius of a set of matrices to the spectral radii of finite products of those matrices. The proof rests on a theorem asserting the existence of a continuous invariant splitting for certain matrix cocycles defined over a minimal homeomorphism and having the property tha…
▽ More
We use ergodic theory to prove a quantitative version of a theorem of M. A. Berger and Y. Wang, which relates the joint spectral radius of a set of matrices to the spectral radii of finite products of those matrices. The proof rests on a theorem asserting the existence of a continuous invariant splitting for certain matrix cocycles defined over a minimal homeomorphism and having the property that all forward products are uniformly bounded.
△ Less
Submitted 1 June, 2009;
originally announced June 2009.
