-
Homomorphisms from aperiodic subshifts to subshifts with the finite extension property
Authors:
Robert Bland,
Kevin McGoff
Abstract:
Given a countable group $G$ and two subshifts $X$ and $Y$ over $G$, a continuous, shift-commuting map $φ: X \to Y$ is called a homomorphism. Our main result states that if every finitely generated subgroup of $G$ has polynomial growth, $X$ is aperiodic, and $Y$ has the finite extension property (FEP), then there exists a homomorphism $φ: X \to Y$. By combining this theorem with a previous result o…
▽ More
Given a countable group $G$ and two subshifts $X$ and $Y$ over $G$, a continuous, shift-commuting map $φ: X \to Y$ is called a homomorphism. Our main result states that if every finitely generated subgroup of $G$ has polynomial growth, $X$ is aperiodic, and $Y$ has the finite extension property (FEP), then there exists a homomorphism $φ: X \to Y$. By combining this theorem with a previous result of Bland, we obtain that if the same conditions hold, and if additionally the topological entropy of $X$ is less than the topological entropy of $Y$ and $Y$ has no global period, then $X$ embeds into $Y$. We also establish some facts about subshifts with the FEP that may be of independent interest.
△ Less
Submitted 24 October, 2024;
originally announced October 2024.
-
Generalized Measures of Population Synchrony
Authors:
Francis C. Motta,
Kevin McGoff,
Breschine Cummins,
Steven B. Haase
Abstract:
Synchronized behavior among individuals is a ubiquitous feature of populations. Understanding mechanisms of (de)synchronization demands meaningful, interpretable, computable quantifications of synchrony, relevant to measurements that can be made of dynamic populations. Despite the importance to analyzing and modeling populations, existing notions of synchrony often lack rigorous definitions, may b…
▽ More
Synchronized behavior among individuals is a ubiquitous feature of populations. Understanding mechanisms of (de)synchronization demands meaningful, interpretable, computable quantifications of synchrony, relevant to measurements that can be made of dynamic populations. Despite the importance to analyzing and modeling populations, existing notions of synchrony often lack rigorous definitions, may be specialized to a particular experimental system and/or measurement, or may have undesirable properties that limit their utility. We introduce a notion of synchrony for populations of individuals occupying a compact metric space that depends on the Fréchet variance of the distribution of individuals. We establish several fundamental and desirable mathematical properties of this synchrony measure, including continuity and invariance to metric scaling. We establish a general approximation result that controls the disparity between synchrony in the true space and the synchrony observed through a discretization of state space, as may occur when observable states are limited by measurement constraints. We develop efficient algorithms to compute synchrony in a variety of state spaces, including all finite state spaces and empirical distributions on the circle, and provide accessible implementations in an open-source Python module. To demonstrate the usefulness of the synchrony measure in biological applications, we investigate several biologically relevant models of mechanisms that can alter the dynamics of synchrony over time, and reanalyze published data concerning the dynamics of the intraerythrocytic developmental cycles of $\textit{Plasmodium}$ parasites. We anticipate that the rigorous definition of population synchrony and the mathematical and biological results presented here will be broadly useful in analyzing and modeling populations in a variety of contexts.
△ Less
Submitted 22 June, 2024;
originally announced June 2024.
-
Subsystem entropies of shifts of finite type and sofic shifts on countable amenable groups
Authors:
Robert Bland,
Kevin McGoff,
Ronnie Pavlov
Abstract:
In this work we study the entropies of subsystems of shifts of finite type (SFTs) and sofic shifts on countable amenable groups. We prove that for any countable amenable group $G$, if $X$ is a $G$-SFT with positive topological entropy $h(X) > 0$, then the entropies of the SFT subsystems of $X$ are dense in the interval $[0, h(X)]$. In fact, we prove a "relative" version of the same result: if $X$…
▽ More
In this work we study the entropies of subsystems of shifts of finite type (SFTs) and sofic shifts on countable amenable groups. We prove that for any countable amenable group $G$, if $X$ is a $G$-SFT with positive topological entropy $h(X) > 0$, then the entropies of the SFT subsystems of $X$ are dense in the interval $[0, h(X)]$. In fact, we prove a "relative" version of the same result: if $X$ is a $G$-SFT and $Y \subset X$ is a subshift such that $h(Y) < h(X)$, then the entropies of the SFTs $Z$ for which $Y \subset Z \subset X$ are dense in $[h(Y), h(X)]$. We also establish analogous results for sofic $G$-shifts.
△ Less
Submitted 15 January, 2022; v1 submitted 6 January, 2022;
originally announced January 2022.
-
Topological dynamics of Markov multi-maps of the interval
Authors:
James P. Kelly,
Kevin McGoff
Abstract:
We study Markov multi-maps of the interval from the point of view of topological dynamics. Specifically, we investigate whether they have various properties, including topological transitivity, topological mixing, dense periodic points, and specification. To each Markov multi-map, we associate a shift of finite type (SFT), and then our main results relate the properties of the SFT with those of th…
▽ More
We study Markov multi-maps of the interval from the point of view of topological dynamics. Specifically, we investigate whether they have various properties, including topological transitivity, topological mixing, dense periodic points, and specification. To each Markov multi-map, we associate a shift of finite type (SFT), and then our main results relate the properties of the SFT with those of the Markov multi-map. These results complement existing work showing a relationship between the topological entropy of a Markov multi-map and its associated SFT. We also characterize when the inverse limit systems associated to the Markov multi-maps have the properties mentioned above.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
Estimation of Stationary Optimal Transport Plans
Authors:
Kevin O'Connor,
Kevin McGoff,
Andrew B Nobel
Abstract:
We study optimal transport for stationary stochastic processes taking values in finite spaces. In order to reflect the stationarity of the underlying processes, we restrict attention to stationary couplings, also known as joinings. The resulting optimal joining problem captures differences in the long run average behavior of the processes of interest. We introduce estimators of both optimal joinin…
▽ More
We study optimal transport for stationary stochastic processes taking values in finite spaces. In order to reflect the stationarity of the underlying processes, we restrict attention to stationary couplings, also known as joinings. The resulting optimal joining problem captures differences in the long run average behavior of the processes of interest. We introduce estimators of both optimal joinings and the optimal joining cost, and we establish consistency of the estimators under mild conditions. Furthermore, under stronger mixing assumptions we establish finite-sample error rates for the estimated optimal joining cost that extend the best known results in the iid case. Finally, we extend the consistency and rate analysis to an entropy-penalized version of the optimal joining problem.
△ Less
Submitted 10 December, 2021; v1 submitted 25 July, 2021;
originally announced July 2021.
-
Shotgun identification on groups
Authors:
Jacob Raymond,
Robert Bland,
Kevin McGoff
Abstract:
We consider the problem of shotgun identification of patterns on groups, which extends previous work on shotgun identification of DNA sequences and labeled graphs. A shotgun identification problem on a group $G$ is specified by two finite subsets $C \subset G$ and $K \subset G$ and a finite alphabet $\mathcal{A}$. In such problems, there is a ``global" pattern $w \in \mathcal{A}^{CK}$, and one wou…
▽ More
We consider the problem of shotgun identification of patterns on groups, which extends previous work on shotgun identification of DNA sequences and labeled graphs. A shotgun identification problem on a group $G$ is specified by two finite subsets $C \subset G$ and $K \subset G$ and a finite alphabet $\mathcal{A}$. In such problems, there is a ``global" pattern $w \in \mathcal{A}^{CK}$, and one would like to be able to identify this pattern (up to translation) based only on observation of the ``local" $K$-shaped subpatterns of $w$, called reads, centered at the elements of $C$. We consider an asymptotic regime in which the size of $w$ tends to infinity and the symbols of $w$ are drawn in an i.i.d. fashion. Our first general result establishes sufficient conditions under which the random pattern $w$ is identifiable from its reads with probability tending to one, and our second general result establishes sufficient conditions under which the random pattern $w$ is non-identifiable with probability tending to one. Additionally, we illustrate our main results by applying them to several families of examples.
△ Less
Submitted 4 September, 2020;
originally announced September 2020.
-
Optimal Transport for Stationary Markov Chains via Policy Iteration
Authors:
Kevin O'Connor,
Kevin McGoff,
Andrew B. Nobel
Abstract:
We study the optimal transport problem for pairs of stationary finite-state Markov chains, with an emphasis on the computation of optimal transition couplings. Transition couplings are a constrained family of transport plans that capture the dynamics of Markov chains. Solutions of the optimal transition coupling (OTC) problem correspond to alignments of the two chains that minimize long-term avera…
▽ More
We study the optimal transport problem for pairs of stationary finite-state Markov chains, with an emphasis on the computation of optimal transition couplings. Transition couplings are a constrained family of transport plans that capture the dynamics of Markov chains. Solutions of the optimal transition coupling (OTC) problem correspond to alignments of the two chains that minimize long-term average cost. We establish a connection between the OTC problem and Markov decision processes, and show that solutions of the OTC problem can be obtained via an adaptation of policy iteration. For settings with large state spaces, we develop a fast approximate algorithm based on an entropy-regularized version of the OTC problem, and provide bounds on its per-iteration complexity. We establish a stability result for both the regularized and unregularized algorithms, from which a statistical consistency result follows as a corollary. We validate our theoretical results empirically through a simulation study, demonstrating that the approximate algorithm exhibits faster overall runtime with low error. Finally, we extend the setting and application of our methods to hidden Markov models, and illustrate the potential use of the proposed algorithms in practice with an application to computer-generated music.
△ Less
Submitted 16 September, 2021; v1 submitted 14 June, 2020;
originally announced June 2020.
-
Ubiquity of entropies of intermediate factors
Authors:
Kevin McGoff,
Ronnie Pavlov
Abstract:
We consider topological dynamical systems $(X,T)$, where $X$ is a compact metrizable space and $T$ denotes an action of a countable amenable group $G$ on $X$ by homeomorphisms. For two such systems $(X,T)$ and $(Y,S)$ and a factor map $π: X \rightarrow Y$, an intermediate factor is a topological dynamical system $(Z,R)$ for which $π$ can be written as a composition of factor maps…
▽ More
We consider topological dynamical systems $(X,T)$, where $X$ is a compact metrizable space and $T$ denotes an action of a countable amenable group $G$ on $X$ by homeomorphisms. For two such systems $(X,T)$ and $(Y,S)$ and a factor map $π: X \rightarrow Y$, an intermediate factor is a topological dynamical system $(Z,R)$ for which $π$ can be written as a composition of factor maps $ψ: X \rightarrow Z$ and $\varphi : Z \rightarrow Y$. In this paper we show that for any countable amenable group $G$, for any $G$-subshifts $(X,T)$ and $(Y,S)$, and for any factor map $ π:X \rightarrow Y$, the set of entropies of intermediate subshift factors is dense in the interval $[h(Y,S), h(X,T)]$. As a corollary, we also prove that if $(X,T)$ and $(Y,S)$ are zero-dimensional $G$-systems, then the set of entropies of intermediate zero-dimensional factors is equal to the interval $[h(Y,S), h(X,T)]$. Our proofs rely on a generalized Marker Lemma that may be of independent interest.
△ Less
Submitted 26 August, 2020; v1 submitted 11 May, 2020;
originally announced May 2020.
-
Entropy conjugacy for Markov multi-maps of the interval
Authors:
James P. Kelly,
Kevin McGoff
Abstract:
We consider a class $\mathcal{F}$ of Markov multi-maps on the unit interval. Any multi-map gives rise to a space of trajectories, which is a closed, shift-invariant subset of $[0,1]^{\mathbb{Z}_+}$. For a multi-map in $\mathcal{F}$, we show that the space of trajectories is (Borel) entropy conjugate to an associated shift of finite type. Additionally, we characterize the set of numbers that can be…
▽ More
We consider a class $\mathcal{F}$ of Markov multi-maps on the unit interval. Any multi-map gives rise to a space of trajectories, which is a closed, shift-invariant subset of $[0,1]^{\mathbb{Z}_+}$. For a multi-map in $\mathcal{F}$, we show that the space of trajectories is (Borel) entropy conjugate to an associated shift of finite type. Additionally, we characterize the set of numbers that can be obtained as the topological entropy of a multi-map in $\mathcal{F}$.
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
Gibbs posterior convergence and the thermodynamic formalism
Authors:
Kevin McGoff,
Sayan Mukherjee,
Andrew Nobel
Abstract:
In this paper we consider a Bayesian framework for making inferences about dynamical systems from ergodic observations. The proposed Bayesian procedure is based on the Gibbs posterior, a decision theoretic generalization of standard Bayesian inference. We place a prior over a model class consisting of a parametrized family of Gibbs measures on a mixing shift of finite type. This model class genera…
▽ More
In this paper we consider a Bayesian framework for making inferences about dynamical systems from ergodic observations. The proposed Bayesian procedure is based on the Gibbs posterior, a decision theoretic generalization of standard Bayesian inference. We place a prior over a model class consisting of a parametrized family of Gibbs measures on a mixing shift of finite type. This model class generalizes (hidden) Markov chain models by allowing for long range dependencies, including Markov chains of arbitrarily large orders. We characterize the asymptotic behavior of the Gibbs posterior distribution on the parameter space as the number of observations tends to infinity. In particular, we define a limiting variational problem over the space of joinings of the model system with the observed system, and we show that the Gibbs posterior distributions concentrate around the solution set of this variational problem. In the case of properly specified models our convergence results may be used to establish posterior consistency. This work establishes tight connections between Gibbs posterior inference and the thermodynamic formalism, which may inspire new proof techniques in the study of Bayesian posterior consistency for dependent processes.
△ Less
Submitted 24 January, 2019;
originally announced January 2019.
-
Pressure and escape rates for random subshifts of finite type
Authors:
Kevin McGoff
Abstract:
In this work we consider several aspects of the thermodynamic formalism in a randomized setting. Let $X$ be a non-trivial mixing shift of finite type, and let $f : X \to \mathbb{R}$ be a Hölder continuous potential with associated Gibbs measure $μ$. Further, fix a parameter $α\in (0,1)$. For each $n \geq 1$, let $\mathcal{F}_n$ be a random subset of words of length $n$, where each word of length…
▽ More
In this work we consider several aspects of the thermodynamic formalism in a randomized setting. Let $X$ be a non-trivial mixing shift of finite type, and let $f : X \to \mathbb{R}$ be a Hölder continuous potential with associated Gibbs measure $μ$. Further, fix a parameter $α\in (0,1)$. For each $n \geq 1$, let $\mathcal{F}_n$ be a random subset of words of length $n$, where each word of length $n$ that appears in $X$ is included in $\mathcal{F}_n$ with probability $1-α$ (and excluded with probability $α$), independently of all other words. Then let $Y_n = Y(\mathcal{F}_n)$ be the random subshift of finite type obtained by forbidding the words in $\mathcal{F}_n$ from $X$. In our first main result, for $α$ sufficiently close to $1$ and $n$ tending to infinity, we show that the pressure of $f$ on $Y_n$ converges in probability to the value $P_X(f) + \log(α)$, where $P_X(f)$ is the pressure of $f$ on $X$. Additionally, let $H_n = H(\mathcal{F}_n)$ be the random hole in $X$ consisting of the union of the cylinder sets of the words in $\mathcal{F}_n$. For our second main result, for $α$ sufficiently close to one and $n$ tending to infinity, we show that the escape rate of $μ$-mass through $H_n$ converges in probability to the value $-\log(α)$ as $n$ tends to infinity.
△ Less
Submitted 14 September, 2018;
originally announced September 2018.
-
Factor maps and embeddings for random $\mathbb{Z}^d$ shifts of finite type
Authors:
Kevin McGoff,
Ronnie Pavlov
Abstract:
For any $d \geq 1$, random $\mathbb{Z}^d$ shifts of finite type (SFTs) were defined in previous work of the authors. For a parameter $α\in [0,1]$, an alphabet $\mathcal{A}$, and a scale $n \in \mathbb{N}$, one obtains a distribution of random $\mathbb{Z}^d$ SFTs by randomly and independently forbidding each pattern of shape $\{1,\dots,n\}^d$ with probability $1-α$ from the full shift on…
▽ More
For any $d \geq 1$, random $\mathbb{Z}^d$ shifts of finite type (SFTs) were defined in previous work of the authors. For a parameter $α\in [0,1]$, an alphabet $\mathcal{A}$, and a scale $n \in \mathbb{N}$, one obtains a distribution of random $\mathbb{Z}^d$ SFTs by randomly and independently forbidding each pattern of shape $\{1,\dots,n\}^d$ with probability $1-α$ from the full shift on $\mathcal{A}$. We prove two main results concerning random $\mathbb{Z}^d$ SFTs. First, we establish sufficient conditions on $α$, $\mathcal{A}$, and a $\mathbb{Z}^d$ subshift $Y$ so that a random $\mathbb{Z}^d$ SFT factors onto $Y$ with probability tending to one as $n$ tends to infinity. Second, we provide sufficient conditions on $α$, $\mathcal{A}$ and a $\mathbb{Z}^d$ subshift $X$ so that $X$ embeds into a random $\mathbb{Z}^d$ SFT with probability tending to one as $n$ tends to infinity.
△ Less
Submitted 28 April, 2017;
originally announced May 2017.
-
Empirical risk minimization and complexity of dynamical models
Authors:
Kevin McGoff,
Andrew B. Nobel
Abstract:
A dynamical model consists of a continuous self-map $T: \mathcal{X} \to \mathcal{X}$ of a compact state space $\mathcal{X}$ and a continuous observation function $f: \mathcal{X} \to \mathbb{R}$. This paper considers the fitting of a parametrized family of dynamical models to an observed real-valued stochastic process using empirical risk minimization. The limiting behavior of the minimum risk para…
▽ More
A dynamical model consists of a continuous self-map $T: \mathcal{X} \to \mathcal{X}$ of a compact state space $\mathcal{X}$ and a continuous observation function $f: \mathcal{X} \to \mathbb{R}$. This paper considers the fitting of a parametrized family of dynamical models to an observed real-valued stochastic process using empirical risk minimization. The limiting behavior of the minimum risk parameters is studied in a general setting. We establish a general convergence theorem for minimum risk estimators and ergodic observations. We then study conditions under which empirical risk minimization can effectively separate the signal from the noise in an additive observational noise model. The key, necessary condition in the latter results is that the family of dynamical models has limited complexity, which is quantified through a notion of entropy for families of infinite sequences. Close connections between entropy and limiting average mean widths for stationary processes are established.
△ Less
Submitted 23 January, 2018; v1 submitted 18 November, 2016;
originally announced November 2016.
-
Factoring onto $\mathbb{Z}^d$ subshifts with the finite extension property
Authors:
Raimundo Briceño,
Kevin McGoff,
Ronnie Pavlov
Abstract:
We define the finite extension property for $d$-dimensional subshifts, which generalizes the topological strong spatial mixing condition defined by Briceño (2016), and we prove that this property is invariant under topological conjugacy. Moreover, we prove that for every $d$, every $d$-dimensional block gluing subshift factors onto every $d$-dimensional subshift which has strictly lower entropy, a…
▽ More
We define the finite extension property for $d$-dimensional subshifts, which generalizes the topological strong spatial mixing condition defined by Briceño (2016), and we prove that this property is invariant under topological conjugacy. Moreover, we prove that for every $d$, every $d$-dimensional block gluing subshift factors onto every $d$-dimensional subshift which has strictly lower entropy, a fixed point, and the finite extension property. This result extends a theorem from Boyle, Pavlov, and Schraudner (2010), which requires that the factor contain a safe symbol.
△ Less
Submitted 13 June, 2018; v1 submitted 10 November, 2016;
originally announced November 2016.
-
Variational analysis of inference from dynamical systems
Authors:
Kevin McGoff,
Andrew B. Nobel
Abstract:
We introduce and study a variational framework for the analysis of empirical risk based inference for dynamical systems and ergodic processes. The analysis applies to a two-stage estimation procedure in which (i) the trajectory of an observed (but unknown) system is fit to a trajectory from a known reference system by minimizing cumulative per-state loss, and (ii) a parameter estimate is obtained…
▽ More
We introduce and study a variational framework for the analysis of empirical risk based inference for dynamical systems and ergodic processes. The analysis applies to a two-stage estimation procedure in which (i) the trajectory of an observed (but unknown) system is fit to a trajectory from a known reference system by minimizing cumulative per-state loss, and (ii) a parameter estimate is obtained from the initial state of the best fit reference trajectory. We show that the empirical risk of the best fit trajectory converges almost surely to a constant that can be expressed in a variational form as the minimal expected loss over dynamically invariant couplings (joinings) of the observed and reference systems. Moreover, we establish that the family of joinings minimizing the expected loss is convex and compact, and that it fully characterizes the asymptotic behavior of the estimated parameters, addressing both identifiability and misspecification. The two-stage estimation framework and associated variational analysis apply to a broad family of empirical risk miminization procedures for dependent observations. To illustrate this, we apply variational analysis to the well studied problems of maximum likelihood and non-linear regression, and then undertake an extended analysis of system identification from quantized trajectories subject to noise, a problem of interest in dynamics, where the models themselves exhibit dynamical behavior across time.
△ Less
Submitted 23 January, 2018; v1 submitted 19 January, 2016;
originally announced January 2016.
-
Coalescence and meeting times on $n$-block Markov chains
Authors:
Kathleen Lan,
Kevin McGoff
Abstract:
We consider finite state, discrete-time, mixing Markov chains $(V,P)$, where $V$ is the state space and $P$ is transition matrix. To each such chain $(V,P)$, we associate a sequence of chains $(V_n,P_n)$ by coding trajectories of $(V,P)$ according to their overlapping $n$-blocks. The chain $(V_n,P_n)$, called the $n$-block Markov chain associated to $(V,P)$, may be considered an alternate version…
▽ More
We consider finite state, discrete-time, mixing Markov chains $(V,P)$, where $V$ is the state space and $P$ is transition matrix. To each such chain $(V,P)$, we associate a sequence of chains $(V_n,P_n)$ by coding trajectories of $(V,P)$ according to their overlapping $n$-blocks. The chain $(V_n,P_n)$, called the $n$-block Markov chain associated to $(V,P)$, may be considered an alternate version of $(V,P)$ having memory of length $n$. Along such a sequence of chains, we characterize the asymptotic behavior of coalescence times and meeting times as $n$ tends to infinity. In particular, we define an algebraic quantity $L(V,P)$ depending only on $(V,P)$, and we show that if the coalescence time on $(V_n,P_n)$ is denoted by $C_n$, then the quantity $\frac{1}{n} \log C_n$ converges in probability to $L(V,P)$ with exponential rate. Furthermore, we fully characterize the relationship between $L(V,P)$ and the entropy of $(V,P)$.
△ Less
Submitted 30 September, 2014;
originally announced October 2014.
-
Random $\mathbb{Z}^d$-shifts of finite type
Authors:
Kevin McGoff,
Ronnie Pavlov
Abstract:
In this work we consider an ensemble of random $\mathbb{Z}^d$-shifts of finite type ($\mathbb{Z}^d$-SFTs) and prove several results concerning the behavior of typical systems with respect to emptiness, entropy, and periodic points. These results generalize statements made in \cite{McGoff} regarding the case $d=1$.
Let $\mathcal{A}$ be a finite set, and let $d \geq 1$. For $n$ in $\mathbb{N}$ and…
▽ More
In this work we consider an ensemble of random $\mathbb{Z}^d$-shifts of finite type ($\mathbb{Z}^d$-SFTs) and prove several results concerning the behavior of typical systems with respect to emptiness, entropy, and periodic points. These results generalize statements made in \cite{McGoff} regarding the case $d=1$.
Let $\mathcal{A}$ be a finite set, and let $d \geq 1$. For $n$ in $\mathbb{N}$ and $α$ in $[0,1]$, define a random subset $ω$ of $\mathcal{A}^{[1,n]^d}$ by independently including each pattern in $\mathcal{A}^{[1,n]^d}$ with probability $α$. Let $X_ω$ be the (random) $\mathbb{Z}^d$-SFT built from the set $ω$. For each $α\in [0,1]$ and $n$ tending to infinity, we compute the limit of the probability that $X_ω$ is empty, as well as the limiting distribution of entropy of $X_ω$. Furthermore, we show that the probability of obtaining a nonempty system without periodic points tends to zero.
For $d>1$, the class of $\mathbb{Z}^d$-SFTs is known to contain strikingly different behavior than is possible within the class of $\mathbb{Z}$-SFTs. Nonetheless, the results of this work suggest a new heuristic: typical $\mathbb{Z}^d$-SFTs have similar properties to their $\mathbb{Z}$-SFT counterparts.
△ Less
Submitted 18 August, 2014;
originally announced August 2014.
-
On intrinsic ergodicity of factors of $\mathbb{Z}^d$ subshifts
Authors:
Kevin McGoff,
Ronnie Pavlov
Abstract:
It is well-known that any $\mathbb{Z}$ subshift with the specification property has the property that every factor is intrinsically ergodic, i.e., every factor has a unique factor of maximal entropy. In recent work, other $\mathbb{Z}$ subshifts have been shown to possess this property as well, including $β$-shifts and a class of $S$-gap shifts. We give two results that show that the situation for…
▽ More
It is well-known that any $\mathbb{Z}$ subshift with the specification property has the property that every factor is intrinsically ergodic, i.e., every factor has a unique factor of maximal entropy. In recent work, other $\mathbb{Z}$ subshifts have been shown to possess this property as well, including $β$-shifts and a class of $S$-gap shifts. We give two results that show that the situation for $\mathbb{Z}^d$ subshifts with $d >1 $ is quite different. First, for any $d>1$, we show that any $\mathbb{Z}^d$ subshift possessing a certain mixing property must have a factor with positive entropy which is not intrinsically ergodic. In particular, this shows that for $d>1$, $\mathbb{Z}^d$ subshifts with specification cannot have all factors intrinsically ergodic. We also give an example of a $\mathbb{Z}^2$ shift of finite type, introduced by Hochman, which is not even topologically mixing, but for which every positive entropy factor is intrinsically ergodic.
△ Less
Submitted 8 May, 2014;
originally announced May 2014.
-
Bowen's entropy-conjugacy conjecture is true up to finite index
Authors:
Mike Boyle,
Jerome Buzzi,
Kevin Mcgoff
Abstract:
For a topological dynamical system consisting of a continuous map f, and a (not necessarily compact) subset Z of X, Bowen (1973) defined a dimension-like version of entropy, h_X(f,Z). In the same work, he introduced a notion of entropy-conjugacy for pairs of invertible compact systems: the systems (X,f) and (Y,g) are entropy-conjugate if there exist invariant Borel subsets X' of X and Y' of Y such…
▽ More
For a topological dynamical system consisting of a continuous map f, and a (not necessarily compact) subset Z of X, Bowen (1973) defined a dimension-like version of entropy, h_X(f,Z). In the same work, he introduced a notion of entropy-conjugacy for pairs of invertible compact systems: the systems (X,f) and (Y,g) are entropy-conjugate if there exist invariant Borel subsets X' of X and Y' of Y such that h_X(f,X\setminus X') < h_X(f,X), h_Y(g,Y \setminus Y') < h_Y(g,Y), and (X',f|_{X'}) is topologically conjugate to (Y',g|_{Y'}). Bowen conjectured that two mixing shifts of finite type are entropy-conjugate if they have the same entropy. We prove that two mixing shifts of finite type with equal entropy and left ideal class are entropy-conjugate. Consequently, in every entropy class Bowen's conjecture is true up to finite index.
△ Less
Submitted 10 October, 2013;
originally announced October 2013.
-
Consistency of maximum likelihood estimation for some dynamical systems
Authors:
Kevin McGoff,
Sayan Mukherjee,
Andrew Nobel,
Natesh Pillai
Abstract:
We consider the asymptotic consistency of maximum likelihood parameter estimation for dynamical systems observed with noise. Under suitable conditions on the dynamical systems and the observations, we show that maximum likelihood parameter estimation is consistent. Our proof involves ideas from both information theory and dynamical systems. Furthermore, we show how some well-studied properties of…
▽ More
We consider the asymptotic consistency of maximum likelihood parameter estimation for dynamical systems observed with noise. Under suitable conditions on the dynamical systems and the observations, we show that maximum likelihood parameter estimation is consistent. Our proof involves ideas from both information theory and dynamical systems. Furthermore, we show how some well-studied properties of dynamical systems imply the general statistical properties related to maximum likelihood estimation. Finally, we exhibit classical families of dynamical systems for which maximum likelihood estimation is consistent. Examples include shifts of finite type with Gibbs measures and Axiom A attractors with SRB measures.
△ Less
Submitted 27 November, 2014; v1 submitted 24 June, 2013;
originally announced June 2013.
-
Statistical inference for dynamical systems: a review
Authors:
Kevin McGoff,
Sayan Mukherjee,
Natesh S. Pillai
Abstract:
The topic of statistical inference for dynamical systems has been studied extensively across several fields. In this survey we focus on the problem of parameter estimation for non-linear dynamical systems. Our objective is to place results across distinct disciplines in a common setting and highlight opportunities for further research.
The topic of statistical inference for dynamical systems has been studied extensively across several fields. In this survey we focus on the problem of parameter estimation for non-linear dynamical systems. Our objective is to place results across distinct disciplines in a common setting and highlight opportunities for further research.
△ Less
Submitted 16 June, 2012; v1 submitted 27 April, 2012;
originally announced April 2012.
-
Random subshifts of finite type
Authors:
Kevin McGoff
Abstract:
Let $X$ be an irreducible shift of finite type (SFT) of positive entropy, and let $B_n(X)$ be its set of words of length $n$. Define a random subset $ω$ of $B_n(X)$ by independently choosing each word from $B_n(X)$ with some probability $α$. Let $X_ω$ be the (random) SFT built from the set $ω$. For each $0\leq α\leq1$ and $n$ tending to infinity, we compute the limit of the likelihood that $X_ω$ i…
▽ More
Let $X$ be an irreducible shift of finite type (SFT) of positive entropy, and let $B_n(X)$ be its set of words of length $n$. Define a random subset $ω$ of $B_n(X)$ by independently choosing each word from $B_n(X)$ with some probability $α$. Let $X_ω$ be the (random) SFT built from the set $ω$. For each $0\leq α\leq1$ and $n$ tending to infinity, we compute the limit of the likelihood that $X_ω$ is empty, as well as the limiting distribution of entropy for $X_ω$. For $α$ near 1 and $n$ tending to infinity, we show that the likelihood that $X_ω$ contains a unique irreducible component of positive entropy converges exponentially to 1. These results are obtained by studying certain sequences of random directed graphs. This version of "random SFT" differs significantly from a previous notion by the same name, which has appeared in the context of random dynamical systems and bundled dynamical systems.
△ Less
Submitted 6 April, 2012; v1 submitted 7 June, 2010;
originally announced June 2010.
-
Orders of accumulation of entropy on manifolds
Authors:
Kevin McGoff
Abstract:
For a continuous self-map $T$ of a compact metrizable space with finite topological entropy, the order of accumulation of entropy of $T$ is a countable ordinal that arises in the theory of entropy structure and symbolic extensions. Given any compact manifold $M$ and any countable ordinal $\al$, we construct a continuous, surjective self-map of $M$ having order of accumulation of entropy $\al$. I…
▽ More
For a continuous self-map $T$ of a compact metrizable space with finite topological entropy, the order of accumulation of entropy of $T$ is a countable ordinal that arises in the theory of entropy structure and symbolic extensions. Given any compact manifold $M$ and any countable ordinal $\al$, we construct a continuous, surjective self-map of $M$ having order of accumulation of entropy $\al$. If the dimension of $M$ is at least 2, then the map can be chosen to be a homeomorphism.
△ Less
Submitted 9 December, 2009;
originally announced December 2009.
-
Orders of accumulation of entropy
Authors:
David Burguet,
Kevin McGoff
Abstract:
For a continuous map $T$ of a compact metrizable space $X$ with finite topological entropy, the order of accumulation of entropy of $T$ is a countable ordinal that arises in the context of entropy structure and symbolic extensions. We show that every countable ordinal is realized as the order of accumulation of some dynamical system. Our proof relies on functional analysis of metrizable Choquet…
▽ More
For a continuous map $T$ of a compact metrizable space $X$ with finite topological entropy, the order of accumulation of entropy of $T$ is a countable ordinal that arises in the context of entropy structure and symbolic extensions. We show that every countable ordinal is realized as the order of accumulation of some dynamical system. Our proof relies on functional analysis of metrizable Choquet simplices and a realization theorem of Downarowicz and Serafin. Further, if $M$ is a metrizable Choquet simplex, we bound the ordinals that appear as the order of accumulation of entropy of a dynamical system whose simplex of invariant measures is affinely homeomorphic to $M$. These bounds are given in terms of the Cantor-Bendixson rank of $\overline{\ex(M)}$, the closure of the extreme points of $M$, and the relative Cantor-Bendixson rank of $\overline{\ex(M)}$ with respect to $\ex(M)$. We also address the optimality of these bounds.
△ Less
Submitted 20 November, 2009;
originally announced November 2009.
