Source author record

Ronnie Pavlov

Ronnie Pavlov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

Measure-Theoretically Mixing Subshifts with Low Complexity

We introduce a class of rank-one transformations, which we call extremely elevated staircase transformations. We prove that they are measure-theoretically mixing and, for any $f : \mathbb{N} \to \mathbb{N}$ with $f(n)/n$ increasing and $\sum 1/f(n) < \infty$, that there exists an extremely elevated staircase with word complexity $p(n) = o(f(n))$. This improves the previously lowest known complexity for mixing subshifts, resolving a conjecture of Ferenczi.

preprint2022arXiv

On the structure of generic subshifts

We investigate generic properties (i.e. properties corresponding to residual sets) in the space of subshifts with the Hausdorff metric. Our results deal with four spaces: the space $\mathbf{S}$ of all subshifts, the space $\mathbf{S}^{\prime}$ of non-isolated subshifts, the closure $\overline{\mathbf{T}^{\prime}}$ of the infinite transitive subshifts, and the closure $\overline{\mathbf{T}\mathbf{T}^{\prime}}$ of the infinite totally transitive subshifts. In the first two settings, we prove that generic subshifts are fairly degenerate; for instance, all points in a generic subshift are biasymptotic to periodic orbits. In contrast, generic subshifts in the latter two spaces possess more interesting dynamical behavior. Notably, generic subshifts in both $\overline{\mathbf{T}^{\prime}}$ and $\overline{\mathbf{T}\mathbf{T}^{\prime}}$ are zero entropy, minimal, uniquely ergodic, and have word complexity which realizes any possible subexponential growth rate along a subsequence. In addition, a generic subshift in $\overline{\mathbf{T}^{\prime}}$ is a regular Toeplitz subshift which is strongly orbit equivalent to the universal odometer.

preprint2020arXiv

Ubiquity of entropies of intermediate factors

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 $φ: 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.

preprint2015arXiv

Representation and poly-time approximation for pressure of $\mathbb{Z}^2$ lattice models in the non-uniqueness region

We develop a new pressure representation theorem for nearest-neighbour Gibbs interactions and apply this to obtain the existence of efficient algorithms for approximating the pressure in the $2$-dimensional ferromagnetic Potts, multi-type Widom-Rowlinson and hard-core models. For Potts, our results apply to every inverse temperature but the critical. For Widom-Rowlinson and hard-core, they apply to certain subsets of both the subcritical and supercritical regions. The main novelty of our work is in the latter.

preprint2015arXiv

Strong spatial mixing in homomorphism spaces

Given a countable graph $\mathcal{G}$ and a finite graph $\mathrm{H}$, we consider $\mathrm{Hom}(\mathcal{G},\mathrm{H})$ the set of graph homomorphisms from $\mathcal{G}$ to $\mathrm{H}$ and we study Gibbs measures supported on $\mathrm{Hom}(\mathcal{G},\mathrm{H})$ . We develop some sufficient and other necessary conditions on $\mathrm{Hom}(\mathcal{G},\mathrm{H})$ for the existence of Gibbs specifications satisfying strong spatial mixing (with exponential decay rate). We relate this with previous work of Brightwell and Winkler, who showed that a graph $\mathrm{H}$ has a combinatorial property called dismantlability if and only if for every $\mathcal{G}$ of bounded degree, there exists a Gibbs specification with unique Gibbs measure. We strengthen their result by showing that this unique Gibbs measure can be chosen to have weak spatial mixing, but we also show that there exist dismantlable graphs for which no Gibbs measure has strong spatial mixing.

preprint2015arXiv

Subshifts with Slowly Growing Numbers of Follower Sets

For any subshift, define $F_X(n)$ to be the collection of distinct follower sets of words of length $n$ in $X$. Based on a similar result of the second and third authors, we conjecture that if there exists an $n$ for which $|F_X(n)| \leq n$, then $X$ is sofic. In this paper, we prove several results related to this conjecture, including verifying it for $n \leq 3$, proving that the conjecture is true for a large class of coded subshifts, and showing that if there exists $n$ for which $|F_X(n)| \leq \log_2(n+1)$, then $X$ is sofic.

preprint2015arXiv

Topologically completely positive entropy and zero-dimensional topologically completely positive entropy

In a previous paper ("A characterization of topologically completely positive entropy for shifts of finite type"), the author gave a characterization for when a $\mathbb{Z}^d$-shift of finite type (SFT) has no nontrivial subshift factors with zero entropy, a property which we here call zero-dimensional topologically completely positive entropy (ZTCPE). In this work, we study the difference between this notion and the more classical topologically completely positive entropy (TCPE) of Blanchard. We show that there are one-dimensional subshifts and two-dimensional SFTs which have ZTCPE but not TCPE. In addition, we show that strengthening the hypotheses of the main result of the aforementioned paper yields a sufficient condition for a $\mathbb{Z}^d$-SFT to have TCPE.

preprint2014arXiv

An integral representation for topological pressure in terms of conditional probabilities

Given an equilibrium state $μ$ for a continuous function $f$ on a shift of finite type $X$, the pressure of $f$ is the integral, with respect to $μ$, of the sum of $f$ and the information function of $μ$. We show that under certain assumptions on $f$, $X$ and an invariant measure $ν$, the pressure of $f$ can also be represented as the integral with respect to $ν$ of the same integrand. Under stronger hypotheses we show that this representation holds for all invariant measures $ν$. We establish an algorithmic implication for approximation of pressure, and we relate our results to a result in thermodynamic formalism.

preprint2014arXiv

On intrinsic ergodicity and weakenings of the specification property

Since seminal work of Bowen, it has been known that the specification property implies various useful properties about a topological dynamical system, among them uniqueness of the measure of maximal entropy (often referred to as intrinsic ergodicity). Weakenings of the specification property called almost weak specification and almost specification have been defined and profitably applied in various works. However, it has been an open question whether either or both of these properties imply intrinsic ergodicity. We answer this question negatively by exhibiting examples of subshifts with multiple measures of maximal entropy with disjoint support which have almost weak specification with any gap function $f(n) = O(\ln n)$ or almost specification with any mistake function $g(n) \geq 4$. We also show some results in the opposite direction, showing that subshifts with almost weak specification with gap function $f(n) = o(\ln n)$ or almost specification with mistake function $g(n) = 1$ cannot have multiple measures of maximal entropy with disjoint support.

preprint2014arXiv

On intrinsic ergodicity of factors of $\mathbb{Z}^d$ subshifts

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.

preprint2014arXiv

Random $\mathbb{Z}^d$-shifts of finite type

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.

preprint2013arXiv

On independence and entropy for high-dimensional isotropic subshifts

In this work, we study the problem of finding the asymptotic growth rate of the number of of $d$-dimensional arrays with side length $n$ over a given alphabet which avoid a list of one-dimensional "forbidden" words along all cardinal directions, as both $n$ and $d$ tend to infinity. Louidor, Marcus, and the second author called this quantity the "limiting entropy"; it is the limit of a sequence of topological entropies of a sequence of isotropic $\mathbb{Z}^d$ subshifts with the dimension $d$ tending to infinity. We find an expression for this limiting entropy which involves only one-dimensional words, which was implicitly conjectured earlier, and given the name "independence entropy." In the case where the list of "forbidden" words is finite, this expression is algorithmically computable and is of the form $\frac{1}{n} \log k$ for $k,n \in \mathbb{N}$. Our proof also characterizes the weak limits (as $d \rightarrow \infty$) of isotropic measures of maximal entropy; any such measure is a Bernoulli extension over some zero entropy factor from an explicitly defined set of measures. We also demonstrate how our results apply to various models previously studied in the literature, in some cases recovering or generalizing known results, but in other cases proving new ones.

preprint2013arXiv

Shifts of finite type with nearly full entropy

For any fixed alphabet A, the maximum topological entropy of a Z^d subshift with alphabet A is obviously log |A|. We study the class of nearest neighbor Z^d shifts of finite type which have topological entropy very close to this maximum, and show that they have many useful properties. Specifically, we prove that for any d, there exists beta_d such that for any nearest neighbor Z^d shift of finite type X with alphabet A for which log |A| - h(X) < beta_d, X has a unique measure of maximal entropy. Our values of beta_d decay polynomially (like O(d^(-17))), and we prove that the sequence must decay at least polynomially (like d^(-0.25+o(1))). We also show some other desirable properties for such X, for instance that the topological entropy of X is computable and that the unique m.m.e. is isomorphic to a Bernoulli measure. Though there are other sufficient conditions in the literature which guarantee a unique measure of maximal entropy for Z^d shifts of finite type, this is (to our knowledge) the first such condition which makes no reference to the specific adjacency rules of individual letters of the alphabet.

preprint2011arXiv

One dimensional Markov random fields, Markov chains and Topological Markov fields

In this paper we show that any one-dimensional stationary, finite-valued Markov Random Field (MRF) is a Markov chain, without any mixing condition or condition on the support. Our proof makes use of two properties of the support $X$ of a finite-valued stationary MRF: 1) $X$ is non-wandering (this is a property of the support of any finite-valued stationary process) and 2) $X$ is a topological Markov field (TMF). The latter is a new property that sits in between the classes of shifts of finite type and sofic shifts, which are well-known objects of study in symbolic dynamics. Here, we develop the TMF property in one dimension, and we will develop this property in higher dimensions in a future paper. While we are mainly interested in discrete-time finite-valued stationary MRF's, we also consider continuous-time, finite-valued stationary MRF's, and show that these are (continuous-time) Markov chains as well.

preprint2010arXiv

Approximating entropy for a class of $\zz^2$ Markov Random Fields and pressure for a class of functions on $\zz^2$ shifts of finite type

For a class of $\zz^2$ Markov Random Fields (MRFs) $μ$, we show that the sequence of successive differences of entropies of induced MRFs on strips of height $n$ converges exponentially fast (in $n$) to the entropy of $μ$. These strip entropies can be computed explicitly when $μ$ is a Gibbs state given by a nearest-neighbor interaction on a strongly irreducible nearest-neighbor $\zz^2$ shift of finite type $X$. We state this result in terms of approximations to the (topological) pressures of certain functions on such an $X$, and we show that these pressures are computable if the values taken on by the functions are computable. Finally, we show that our results apply to the hard core model and Ising model for certain parameter values of the corresponding interactions, as well as to the topological entropy of certain nearest-neighbor $\zz^2$ shifts of finite type, generalizing a result in \cite{Pa}.

preprint2010arXiv

Approximating the Hard Square Entropy Constant with Probabilistic Methods

For any two-dimensional nearest neighbor shift of finite type X and any integer n > 0, one can define the horizontal strip shift H_n(X) to be the set of configurations on Z x {1,...,n} which do not contain any forbidden transitions for X. It is always the case that the sequence h(H_n(X))/n of normalized topological entropies of the strip shifts approaches h(X), the topological entropy of X. In this paper, we use probabilistic methods from interacting particle systems to show that for the two-dimensional hard square shift H, in fact h(H_{n+1}(H)) - h(H_n(H)) also approaches h(H), and the rate of convergence is at least exponential. A consequence of this is that h(H) is computable to any tolerance 1/n in time polynomial in n. We also give an example of a two-dimensional block gluing nearest neighbor shift of finite type Y for which h(H_{n+1}(Y)) - h(H_n(Y)) does not even approach a limit.