Showing 1–23 of 23 results for author: McGoff, K

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.

MSC Class: 92B25 (Primary) 92D25; 92-08; 92-10; 92-04 (Secondary)

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.

Comments: 32 pages, 4 figures

MSC Class: 37B10 (Primary) 37B40; 37B51 (Secondary)

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.

Comments: 20 pages, 2 figures

MSC Class: 37B05 (Primary) 37B10; 54C60 (Secondary)

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.

Journal ref: Involve 14 (2021) 631-682

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.

Comments: The zero-dimensional results have been generalized and unified relative to the previous version

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.

Comments: 16 pages, 4 figures. Acknowledgments added in this version

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 overlap** $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 overlap** $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.

Comments: 22 pages, 6 figures

MSC Class: 37B50

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.

Report number: CPH-SYM-DNRF92

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.

Comments: Published in at http://dx.doi.org/10.1214/14-AOS1259 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOS-AOS1259

Journal ref: Annals of Statistics 2015, Vol. 43, No. 1, 1-29

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.

Comments: Some minor typos corrected

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.

Comments: Published in at http://dx.doi.org/10.1214/10-AOP636 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP636

Journal ref: Annals of Probability 2012, Vol. 40, No. 2, 648-694

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.

Comments: 36 pages

MSC Class: 37B10; 37B40

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.

Comments: 48 pages

MSC Class: 37A35; 37B10; 37B40; 46A55