-
Computability of Pressure for Subshifts on Countable Amenable Groups
Authors:
C. Evans Hedges,
Ronnie Pavlov
Abstract:
There are a variety of results in the literature proving forms of computability for topological entropy and pressure on subshifts. In this work, we prove two quite general results, showing that topological pressure is always computable from above given an enumeration for a forbidden list inducing the subshift, and that for strongly irreducible shifts of finite type, topological pressure is computa…
▽ More
There are a variety of results in the literature proving forms of computability for topological entropy and pressure on subshifts. In this work, we prove two quite general results, showing that topological pressure is always computable from above given an enumeration for a forbidden list inducing the subshift, and that for strongly irreducible shifts of finite type, topological pressure is computable. Our results apply to subshifts on all finitely generated amenable groups with decidable word problem and generalize several previous results which applied only to $\mathbb{Z}^d$-subshifts.
As corollaries, we obtain some results related to ground state energy and entropy, proving that the map sending $φ$ to $\sup_{μ\in M_σ(X)} \int φdμ$ is computable/computable from above when $P_X(φ)$ is, and that the map sending $φ$ to its ground state/residual entropy is computable from above when $P_X(φ)$ is computable.
We conclude by giving explicit bounds on computation time of $P_X(φ)$ in the $\mathbb{Z}^d$ setting for SI SFTs and locally constant and rational valued $φ$, and show that in the special case $X = A^{\mathbb{Z}^2}$, this algorithm runs in singly exponential time.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
Interpolation sets for dynamical systems
Authors:
Andreas Koutsogiannis,
Anh N. Le,
Joel Moreira,
Ronnie Pavlov,
Florian K. Richter
Abstract:
Originating in harmonic analysis, interpolation sets were first studied in dynamics by Glasner and Weiss in the 1980s. A set $S \subset \mathbb{N}$ is an interpolation set for a class of topological dynamical systems $\mathcal{C}$ if any bounded sequence on $S$ can be extended to a sequence that arises from a system in $\mathcal{C}$. In this paper, we provide combinatorial characterizations of int…
▽ More
Originating in harmonic analysis, interpolation sets were first studied in dynamics by Glasner and Weiss in the 1980s. A set $S \subset \mathbb{N}$ is an interpolation set for a class of topological dynamical systems $\mathcal{C}$ if any bounded sequence on $S$ can be extended to a sequence that arises from a system in $\mathcal{C}$. In this paper, we provide combinatorial characterizations of interpolation sets for:
$\bullet$ (totally) minimal systems;
$\bullet$ topologically (weak) mixing systems;
$\bullet$ strictly ergodic systems; and
$\bullet$ zero entropy systems.
Additionally, we prove some results on a slightly different notion, called weak interpolation sets, for several classes of systems. We also answer a question of Host, Kra, and Maass concerning the connection between sets of pointwise recurrence for distal systems and $IP$-sets.
△ Less
Submitted 13 August, 2024; v1 submitted 27 January, 2024;
originally announced January 2024.
-
The extended Hausdorff dimension spectrum of a conformal iterated function system is maximal
Authors:
Andrei E. Ghenciu,
Ronnie Pavlov
Abstract:
For any conformal iterated function system (CIFS) consisting of finitely or countably many maps, and any closed shift-invariant set of right-infinite sequences of such maps, one can associate a limit set, which we call a shift-generated conformal iterated construction. We define the extended Hausdorff dimension spectrum of a CIFS to be the set of Hausdorff dimensions of all such limit sets. We pro…
▽ More
For any conformal iterated function system (CIFS) consisting of finitely or countably many maps, and any closed shift-invariant set of right-infinite sequences of such maps, one can associate a limit set, which we call a shift-generated conformal iterated construction. We define the extended Hausdorff dimension spectrum of a CIFS to be the set of Hausdorff dimensions of all such limit sets. We prove that for any CIFS with finitely or countably many maps, the extended Hausdorff dimension spectrum is maximal, i.e. all nonnegative dimensions less than or equal to the dimension of the limit set of the CIFS are realized. We also prove a version of this result even for so-called conformal graph directed Markov systems, obtained via nearest-neighbor restrictions on the CIFS. %when there are nearest-neighbor restrictions on the CIFS (similar to those in the so-called conformal graph directed Markov systems).
The main step of the proof is to show that for the family $(X_β)$ of so-called $β$-shifts, the Hausdorff dimension of the limit set associated to $X_β$ varies continuously as a function of $β$.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
-
On minimal subshifts of linear word complexity with slope less than 3/2
Authors:
Darren Creutz,
Ronnie Pavlov
Abstract:
We prove that every infinite minimal subshift with word complexity $p(q)$ satisfying $\limsup p(q)/q < 3/2$ is measure-theoretically isomorphic to its maximal equicontinuous factor; in particular, it has measurably discrete spectrum. Among other applications, this provides a proof of Sarnak's conjecture for all subshifts with $\limsup p(q)/q < 3/2$ (which can be thought of as a much stronger versi…
▽ More
We prove that every infinite minimal subshift with word complexity $p(q)$ satisfying $\limsup p(q)/q < 3/2$ is measure-theoretically isomorphic to its maximal equicontinuous factor; in particular, it has measurably discrete spectrum. Among other applications, this provides a proof of Sarnak's conjecture for all subshifts with $\limsup p(q)/q < 3/2$ (which can be thought of as a much stronger version of zero entropy).
As in \cite{creutzpavlov}, our main technique is proving that all low-complexity minimal subshifts have a specific type of representation via a sequence $\{τ_k\}$ of substitutions, usually called an S-adic decomposition. The maximal equicontinuous factor is the product of an odometer with a rotation on a compact abelian connected one-dimensional group, for which we can give an explicit description in terms of the substitutions $τ_k$. We also prove that all such odometers and groups may appear for minimal subshifts with $\limsup p(q)/q = 1$, demonstrating that lower complexity thresholds do not further restrict the possible structure.
△ Less
Submitted 7 December, 2023; v1 submitted 28 August, 2023;
originally announced August 2023.
-
Minimal zero entropy subshifts can be unrestricted along any sparse set
Authors:
Ronnie Pavlov
Abstract:
We present a streamlined proof of a result essentially present in previous work of the author, namely that for every set $S = \{s_1, s_2, \ldots\} \subset \mathbb{N}$ of zero Banach density and finite set $A$, there exists a minimal zero-entropy subshift $(X, σ)$ so that for every sequence $u \in A^\mathbb{Z}$, there is $x_u \in X$ with $x_u(s_n) = u(n)$ for all $n \in \mathbb{N}$. Informally, min…
▽ More
We present a streamlined proof of a result essentially present in previous work of the author, namely that for every set $S = \{s_1, s_2, \ldots\} \subset \mathbb{N}$ of zero Banach density and finite set $A$, there exists a minimal zero-entropy subshift $(X, σ)$ so that for every sequence $u \in A^\mathbb{Z}$, there is $x_u \in X$ with $x_u(s_n) = u(n)$ for all $n \in \mathbb{N}$. Informally, minimal deterministic sequences can achieve completely arbitrary behavior upon restriction to a set of zero Banach density.
As a corollary, this provides counterexamples to the Polynomial Sarnak Conjecture which are significantly more general than some recently provided in word of Kanigowski, Lemańczyk, and Radziwiłłand of Lian and Shi, and shows that no similar result can hold under only the assumptions of minimality and zero entropy.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Low Complexity Subshifts have Discrete Spectrum
Authors:
Darren Creutz,
Ronnie Pavlov
Abstract:
We prove results about subshifts with linear (word) complexity, meaning that $\limsup \frac{p(n)}{n} < \infty$, where for every $n$, $p(n)$ is the number of $n$-letter words appearing in sequences in the subshift. Denoting this limsup by $C$, we show that when $C < \frac{4}{3}$, the subshift has discrete spectrum, i.e. is measurably isomorphic to a rotation of a compact abelian group with Haar mea…
▽ More
We prove results about subshifts with linear (word) complexity, meaning that $\limsup \frac{p(n)}{n} < \infty$, where for every $n$, $p(n)$ is the number of $n$-letter words appearing in sequences in the subshift. Denoting this limsup by $C$, we show that when $C < \frac{4}{3}$, the subshift has discrete spectrum, i.e. is measurably isomorphic to a rotation of a compact abelian group with Haar measure. We also give an example with $C = \frac{3}{2}$ which has a weak mixing measure. This partially answers an open question of Ferenczi, who asked whether $C = \frac{5}{3}$ was the minimum possible among such subshifts; our results show that the infimum in fact lies in $[\frac{4}{3}, \frac{3}{2}]$. All results are consequences of a general S-adic/substitutive structure proved when $C < \frac{4}{3}$.
△ Less
Submitted 14 September, 2023; v1 submitted 20 February, 2023;
originally announced February 2023.
-
Measures of maximal entropy of bounded density shifts
Authors:
Felipe García-Ramos,
Ronnie Pavlov,
Carlos Reyes
Abstract:
We find sufficient conditions for bounded density shifts to have a unique measure of maximal entropy. We also prove that every measure of maximal entropy of a bounded density shift is fully supported. As a consequence of this, we obtain that bounded density shifts are surjunctive.
We find sufficient conditions for bounded density shifts to have a unique measure of maximal entropy. We also prove that every measure of maximal entropy of a bounded density shift is fully supported. As a consequence of this, we obtain that bounded density shifts are surjunctive.
△ Less
Submitted 21 October, 2023; v1 submitted 14 February, 2023;
originally announced February 2023.
-
On the structure of generic subshifts
Authors:
Ronnie Pavlov,
Scott Schmieding
Abstract:
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…
▽ More
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.
△ Less
Submitted 28 March, 2022;
originally announced March 2022.
-
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.
-
Measure-Theoretically Mixing Subshifts with Low Complexity
Authors:
Darren Creutz,
Ronnie Pavlov,
Shaun Rodock
Abstract:
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 complexit…
▽ More
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.
△ Less
Submitted 14 April, 2022; v1 submitted 3 January, 2022;
originally announced January 2022.
-
Local finiteness and automorphism groups of low complexity subshifts
Authors:
Ronnie Pavlov,
Scott Schmieding
Abstract:
We prove that for any transitive subshift $X$ with word complexity function $c_n(X)$, if $\liminf \frac{\log (c_n(X)/n)}{\log \log \log n} = 0$, then the quotient group $\textrm{Aut}(X,σ) / \langle σ\rangle$ of the automorphism group of $X$ by the subgroup generated by the shift $σ$ is locally finite. We prove that significantly weaker upper bounds on $c_n(X)$ imply the same conclusion if the Gap…
▽ More
We prove that for any transitive subshift $X$ with word complexity function $c_n(X)$, if $\liminf \frac{\log (c_n(X)/n)}{\log \log \log n} = 0$, then the quotient group $\textrm{Aut}(X,σ) / \langle σ\rangle$ of the automorphism group of $X$ by the subgroup generated by the shift $σ$ is locally finite. We prove that significantly weaker upper bounds on $c_n(X)$ imply the same conclusion if the Gap Conjecture from geometric group theory is true. Our proofs rely on a general upper bound for the number of automorphisms of $X$ of range $n$ in terms of word complexity, which may be of independent interest. As an application, we are also able to prove that for any subshift $X$, if $\frac{c_n(X)}{n^2 (\log n)^{-1}} \rightarrow 0$, then $\textrm{Aut}(X,σ)$ is amenable, improving a result of Cyr and Kra. In the opposite direction, we show that for any countable infinite locally finite group $G$ and any unbounded increasing $f: \mathbb{N} \rightarrow \mathbb{N}$, there exists a minimal subshift $X$ with $\textrm{Aut}(X,σ) / \langle σ\rangle$ isomorphic to $G$ and $\frac{c_n(X)}{nf(n)} \rightarrow 0$.
△ Less
Submitted 13 July, 2021;
originally announced July 2021.
-
Role of the symmetry energy on the neutron-drip transition in accreting and nonaccreting neutron stars
Authors:
A. F. Fantina,
N. Chamel,
Y. D. Mutafchieva,
Zh. K. Stoyanov,
L. M. Mihailov,
R. L. Pavlov
Abstract:
In this paper, we study the role of the symmetry energy on the neutron-drip transition in both nonaccreting and accreting neutron stars, allowing for the presence of a strong magnetic field as in magnetars. The density, pressure, and composition at the neutron-drip threshold are determined using the recent set of the Brussels-Montreal microscopic nuclear mass models, which mainly differ in their p…
▽ More
In this paper, we study the role of the symmetry energy on the neutron-drip transition in both nonaccreting and accreting neutron stars, allowing for the presence of a strong magnetic field as in magnetars. The density, pressure, and composition at the neutron-drip threshold are determined using the recent set of the Brussels-Montreal microscopic nuclear mass models, which mainly differ in their predictions for the value of the symmetry energy $J$ and its slope $L$ in infinite homogeneous nuclear matter at saturation. Although some correlations between on the one hand the neutron-drip density, the pressure, the proton fraction and on the other hand $J$ (or equivalently $L$) are found, these correlations are radically different in nonaccreting and accreting neutron stars. In particular, the neutron-drip density is found to increase with $L$ in the former case, but decreases in the latter case depending on the composition of ashes from x-ray bursts and superbursts. We have qualitatively explained these different behaviors using a simple mass formula. We have also shown that the details of the nuclear structure may play a more important role than the symmetry energy in accreting neutron-star crusts.
△ Less
Submitted 10 March, 2021;
originally announced March 2021.
-
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.
-
On subshifts with slow forbidden word growth
Authors:
Ronnie Pavlov
Abstract:
In this work, we treat subshifts, defined in terms of an alphabet $A$ and (usually infinite) forbidden list $F$, where the number of $n$-letter words in $F$ has "slow growth rate" in $n$. We show that such subshifts are well-behaved in several ways; for instance, they are boundedly supermultiplicative as defined by Baker and Ghenciu and they have unique measures of maximal entropy with the K-prope…
▽ More
In this work, we treat subshifts, defined in terms of an alphabet $A$ and (usually infinite) forbidden list $F$, where the number of $n$-letter words in $F$ has "slow growth rate" in $n$. We show that such subshifts are well-behaved in several ways; for instance, they are boundedly supermultiplicative as defined by Baker and Ghenciu and they have unique measures of maximal entropy with the K-property and which satisfy Gibbs bounds on large (measure-theoretically) sets. The main tool in our proofs is a more general result which states that bounded supermultiplicativity and a sort of measure-theoretic specification property together imply uniqueness of MME and our Gibbs bounds. We also show that some well-known classes of subshifts can be treated by our results, including the symbolic codings of f(x) = $α+ βx$ (the so-called $α$-$β$ shifts) and the bounded density subshifts of Stanley.
△ Less
Submitted 12 December, 2019;
originally announced December 2019.
-
On the complexity function for sequences which are not uniformly recurrent
Authors:
Nic Ormes,
Ronnie Pavlov
Abstract:
We prove that every non-minimal transitive subshift $X$ satisfying a mild aperiodicity condition satisfies $\limsup c_n(X) - 1.5n = \infty$, and give a class of examples which shows that the threshold of $1.5n$ cannot be increased. As a corollary, we show that any transitive $X$ satisfying $\limsup c_n(X) - n = \infty$ and $\limsup c_n(X) - 1.5n < \infty$ must be minimal. We also prove some restri…
▽ More
We prove that every non-minimal transitive subshift $X$ satisfying a mild aperiodicity condition satisfies $\limsup c_n(X) - 1.5n = \infty$, and give a class of examples which shows that the threshold of $1.5n$ cannot be increased. As a corollary, we show that any transitive $X$ satisfying $\limsup c_n(X) - n = \infty$ and $\limsup c_n(X) - 1.5n < \infty$ must be minimal. We also prove some restrictions on the structure of transitive non-minimal $X$ satisfying $\liminf c_n(X) - 2n = -\infty$, which imply unique ergodicity (for a periodic measure) as a corollary, which extends a result of Boshernitzan from the minimal case to the more general transitive case.
△ Less
Submitted 15 July, 2019;
originally announced July 2019.
-
Subsystems of transitive subshifts with linear complexity
Authors:
Andrew Dykstra,
Nicholas Ormes,
Ronnie Pavlov
Abstract:
We bound the number of distinct minimal subsystems of a given transitive subshift of linear complexity, continuing work of Ormes and Pavlov [7]. We also bound the number of generic measures such a subshift can support based on its complexity function. Our measure-theoretic bounds generalize those of Boshernitzan [1] and are closely related to those of Cyr and Kra [2].
We bound the number of distinct minimal subsystems of a given transitive subshift of linear complexity, continuing work of Ormes and Pavlov [7]. We also bound the number of generic measures such a subshift can support based on its complexity function. Our measure-theoretic bounds generalize those of Boshernitzan [1] and are closely related to those of Cyr and Kra [2].
△ Less
Submitted 14 July, 2019;
originally announced July 2019.
-
The relationship between word complexity and computational complexity in subshifts
Authors:
Ronnie Pavlov,
Pascal Vanier
Abstract:
We prove several results about the relationship between the word complexity function of a subshift and the set of Turing degrees of points of the subshift, which we call the Turing spectrum. Among other results, we show that a Turing spectrum can be realized via a subshift of linear complexity if and only if it consists of the union of a finite set and a finite number of cones, that a Turing spect…
▽ More
We prove several results about the relationship between the word complexity function of a subshift and the set of Turing degrees of points of the subshift, which we call the Turing spectrum. Among other results, we show that a Turing spectrum can be realized via a subshift of linear complexity if and only if it consists of the union of a finite set and a finite number of cones, that a Turing spectrum can be realized via a subshift of exponential complexity (i.e. positive entropy) if and only if it contains a cone, and that every Turing spectrum which either contains degree 0 or is a union of cones is realizable by subshifts with a wide range of 'intermediate' complexity growth rates between linear and exponential.
△ Less
Submitted 11 March, 2019;
originally announced March 2019.
-
Extender sets and measures of maximal entropy for subshifts
Authors:
Felipe García-Ramos,
Ronnie Pavlov
Abstract:
We prove inequalities relating the measures of maximal entropy of two patterns u,v where the extender set of u is contained in the extender set of v. Our main results are two generalizations of a Theorem of Meyerovitch; the first applies to all such v,w when G=Z, and the second to v,w with the same shape and any countable amenable finitely generated torsion-free G. As a consequence of our results…
▽ More
We prove inequalities relating the measures of maximal entropy of two patterns u,v where the extender set of u is contained in the extender set of v. Our main results are two generalizations of a Theorem of Meyerovitch; the first applies to all such v,w when G=Z, and the second to v,w with the same shape and any countable amenable finitely generated torsion-free G. As a consequence of our results we give new and simpler proofs of several facts about synchronizing subshifts and we answer a question of Climenhaga.
△ Less
Submitted 28 May, 2019; v1 submitted 28 August, 2018;
originally announced August 2018.
-
On entropy and intrinsic ergodicity of coded subshifts
Authors:
Ronnie Pavlov
Abstract:
Any coded subshift X defined by a set C of code words contains a subshift, which we call L, consisting of limits of single code words. We show that when C satisfies a unique decomposition property, the topological entropy h(X) of X is determined completely by h(L) and the number of code words of each length. More specifically, we show that h(X) = h(L) exactly when a certain infinite series is less…
▽ More
Any coded subshift X defined by a set C of code words contains a subshift, which we call L, consisting of limits of single code words. We show that when C satisfies a unique decomposition property, the topological entropy h(X) of X is determined completely by h(L) and the number of code words of each length. More specifically, we show that h(X) = h(L) exactly when a certain infinite series is less than or equal to 1, and when that series is greater than 1, we give a formula for h(X_C). In the latter case, an immediate corollary (using results of Climenhaga and Thompson) is that X has a unique measure of maximal entropy.
△ Less
Submitted 15 March, 2018;
originally announced March 2018.
-
Follower, Predecessor, and Extender Entropies
Authors:
Thomas French,
Ronnie Pavlov
Abstract:
Using follower/predecessor/extender set sequences, we define quantities which we call the follower/predecessor/extender entropies, which can be associated to any shift space. We analyze the behavior of these quantities under conjugacies and factor maps, most notably showing that extender entropy is a conjugacy invariant and that having follower entropy zero is a conjugacy invariant. We give some a…
▽ More
Using follower/predecessor/extender set sequences, we define quantities which we call the follower/predecessor/extender entropies, which can be associated to any shift space. We analyze the behavior of these quantities under conjugacies and factor maps, most notably showing that extender entropy is a conjugacy invariant and that having follower entropy zero is a conjugacy invariant. We give some applications, including examples of shift spaces with equal entropy which can be distinguished by extender entropy, and examples of shift spaces which can be shown to not be isomorphic to their inverse by using follower/predecessor entropy.
△ Less
Submitted 20 November, 2017;
originally announced November 2017.
-
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.
-
On non-uniform specification and uniqueness of the equilibrium state in expansive systems
Authors:
Ronnie Pavlov
Abstract:
In [2], Bowen showed that for an expansive system (X, T) with specification and a potential with the Bowen property, the equilibrium state is unique and fully supported. We generalize that result by showing that the same conclusion holds for non-uniform versions of Bowen's hypotheses in which constant parameters are replaced by any increasing unbounded functions f(n) and g(n) with sublogarithmic g…
▽ More
In [2], Bowen showed that for an expansive system (X, T) with specification and a potential with the Bowen property, the equilibrium state is unique and fully supported. We generalize that result by showing that the same conclusion holds for non-uniform versions of Bowen's hypotheses in which constant parameters are replaced by any increasing unbounded functions f(n) and g(n) with sublogarithmic growth (in n). We prove results for two weakenings of specification; the first is non-uniform specification, based on a definition of Marcus in ([14]), and the second is a significantly weaker property which we call non-uniform transitivity. We prove uniqueness of the equilibrium state in the former case under the assumption that liminf (f(n) + g(n))/ln n = 0, and in the latter case when lim (f(n) + g(n))/ln n = 0. In the former case, we also prove that the unique equilibrium state has the K-property. It is known that when f(n)/ln n or g(n)/ln n is bounded from below, equilibrium states may not be unique, and so this work shows that logarithmic growth is in fact the optimal transition point below which uniqueness is guaranteed. Finally, we present some examples for which our results yield the first known proof of uniqueness of equilibrium state.
△ Less
Submitted 2 October, 2017; v1 submitted 9 February, 2017;
originally announced February 2017.
-
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.
-
Landau quantization and neutron emissions by nuclei in the crust of a magnetar
Authors:
N. Chamel,
Y. D. Mutafchieva,
Zh. K. Stoyanov,
L. M. Mihailov,
R. L. Pavlov
Abstract:
Magnetars are neutron stars endowed with surface magnetic fields of the order of $10^{14}-10^{15}$~G, and with presumably much stronger fields in their interior. As a result of Landau quantization of electron motion, the neutron-drip transition in the crust of a magnetar is shifted to either higher or lower densities depending on the magnetic field strength. The impact of nuclear uncertainties is…
▽ More
Magnetars are neutron stars endowed with surface magnetic fields of the order of $10^{14}-10^{15}$~G, and with presumably much stronger fields in their interior. As a result of Landau quantization of electron motion, the neutron-drip transition in the crust of a magnetar is shifted to either higher or lower densities depending on the magnetic field strength. The impact of nuclear uncertainties is explored considering the recent series of Brussels-Montreal microscopic nuclear mass models. All these models are based on the Hartree-Fock-Bogoliubov method with generalized Skyrme functionals. They differ in their predictions for the symmetry energy coefficient at saturation, and for the stiffness of the neutron-matter equation of state. For comparison, we have also considered the very accurate but more phenomenological model of Duflo and Zuker. Although the equilibrium composition of the crust of a magnetar and the onset of neutron emission are found to be model dependent, the quantum oscillations of the threshold density are essentially universal.
△ Less
Submitted 20 July, 2016;
originally announced July 2016.
-
One-sided almost specification and intrinsic ergodicity
Authors:
Vaughn Climenhaga,
Ronnie Pavlov
Abstract:
Shift spaces with the specification property are intrinsically ergodic, i.e. they have a unique measure of maximal entropy. This can fail for shifts with the weaker almost specification property. We define a new property called one-sided almost specification, which lies in between specification and almost specification, and prove that it guarantees intrinsic ergodicity if the corresponding mistake…
▽ More
Shift spaces with the specification property are intrinsically ergodic, i.e. they have a unique measure of maximal entropy. This can fail for shifts with the weaker almost specification property. We define a new property called one-sided almost specification, which lies in between specification and almost specification, and prove that it guarantees intrinsic ergodicity if the corresponding mistake function g is bounded. We also show that uniqueness may fail for unbounded g such as log log n. Our results have consequences for almost specification: we prove that almost specification with g=1 implies one-sided almost specification (with g=1), and hence uniqueness. On the other hand, the second author showed recently that almost specification with g=4 does not imply uniqueness. This leaves open the question of whether almost specification implies intrinsic ergodicity when g=2 or g=3.
△ Less
Submitted 24 October, 2017; v1 submitted 17 May, 2016;
originally announced May 2016.
-
Strong spatial mixing in homomorphism spaces
Authors:
Raimundo Briceño,
Ronnie Pavlov
Abstract:
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 spe…
▽ More
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.
△ Less
Submitted 6 October, 2015;
originally announced October 2015.
-
Subshifts with Slowly Growing Numbers of Follower Sets
Authors:
Thomas French,
Nic Ormes,
Ronnie Pavlov
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 3 September, 2015;
originally announced September 2015.
-
Representation and poly-time approximation for pressure of $\mathbb{Z}^2$ lattice models in the non-uniqueness region
Authors:
Stefan Adams,
Raimundo Briceño,
Brian Marcus,
Ronnie Pavlov
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 26 August, 2015;
originally announced August 2015.
-
Topologically completely positive entropy and zero-dimensional topologically completely positive entropy
Authors:
Ronnie Pavlov
Abstract:
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…
▽ More
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.
△ Less
Submitted 20 August, 2015;
originally announced August 2015.
-
On intrinsic ergodicity and weakenings of the specification property
Authors:
Ronnie Pavlov
Abstract:
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 vario…
▽ More
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.
△ Less
Submitted 7 November, 2014;
originally announced November 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.
-
An integral representation for topological pressure in terms of conditional probabilities
Authors:
Brian Marcus,
Ronnie Pavlov
Abstract:
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 stron…
▽ More
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.
△ Less
Submitted 13 January, 2014; v1 submitted 7 September, 2013;
originally announced September 2013.
-
Unified description of dense matter in neutron stars and magnetars
Authors:
N. Chamel,
R. L. Pavlov,
L. M. Mihailov,
Ch. J. Velchev,
Zh. K. Stoyanov,
Y. D. Mutafchieva,
M. D. Ivanovich,
A. F. Fantina,
J. M. Pearson,
S. Goriely
Abstract:
We have recently developed a set of equations of state based on the nuclear energy density functional theory providing a unified description of the different regions constituting the interior of neutron stars and magnetars. The nuclear functionals, which were constructed from generalized Skyrme effective nucleon-nucleon interactions, yield not only an excellent fit to essentially all experimental…
▽ More
We have recently developed a set of equations of state based on the nuclear energy density functional theory providing a unified description of the different regions constituting the interior of neutron stars and magnetars. The nuclear functionals, which were constructed from generalized Skyrme effective nucleon-nucleon interactions, yield not only an excellent fit to essentially all experimental atomic mass data but were also constrained to reproduce the neutron-matter equation of state as obtained from realistic many-body calculations.
△ Less
Submitted 11 January, 2013;
originally announced January 2013.
-
Shifts of finite type with nearly full entropy
Authors:
Ronnie Pavlov
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 January, 2013;
originally announced January 2013.
-
Properties of the outer crust of strongly magnetized neutron stars from Hartree-Fock-Bogoliubov atomic mass models
Authors:
N. Chamel,
R. L. Pavlov,
L. M. Mihailov,
Ch. J. Velchev,
Zh. K. Stoyanov,
Y. D. Mutafchieva,
M. D. Ivanovich,
J. M. Pearson,
S. Goriely
Abstract:
The equilibrium properties of the outer crust of cold nonaccreting magnetars (i.e. neutron stars endowed with very strong magnetic fields) are studied using the latest experimental atomic mass data complemented with a microscopic atomic mass model based on the Hartree-Fock-Bogoliubov method. The Landau quantization of electron motion caused by the strong magnetic field is found to have a significa…
▽ More
The equilibrium properties of the outer crust of cold nonaccreting magnetars (i.e. neutron stars endowed with very strong magnetic fields) are studied using the latest experimental atomic mass data complemented with a microscopic atomic mass model based on the Hartree-Fock-Bogoliubov method. The Landau quantization of electron motion caused by the strong magnetic field is found to have a significant impact on the composition and the equation of state of crustal matter. It is also shown that the outer crust of magnetars could be much more massive than that of ordinary neutron stars.
△ Less
Submitted 2 May, 2013; v1 submitted 22 October, 2012;
originally announced October 2012.
-
Equation of state of magnetar crusts from Hartree-Fock-Bogoliubov atomic mass models
Authors:
N. Chamel,
R. L. Pavlov,
L. M. Mihailov,
Ch. J. Velchev,
Zh. K. Stoyanov,
Y. D. Mutafchieva,
M. D. Ivanovich,
A. F. Fantina,
J. M. Pearson,
S. Goriely
Abstract:
The equation of state (EoS) of the outer crust of a cold non-accreting magnetar has been determined using the model of Lai and Shapiro (1991). For this purpose, we have made use of the latest experimental atomic mass data complemented with a Hartree-Fock-Bogoliubov (HFB) mass model. Magnetar crusts are found to be significantly different from the crusts of ordinary neutron stars.
The equation of state (EoS) of the outer crust of a cold non-accreting magnetar has been determined using the model of Lai and Shapiro (1991). For this purpose, we have made use of the latest experimental atomic mass data complemented with a Hartree-Fock-Bogoliubov (HFB) mass model. Magnetar crusts are found to be significantly different from the crusts of ordinary neutron stars.
△ Less
Submitted 5 October, 2012;
originally announced October 2012.
-
Computing bounds for entropy of stationary Z^d Markov random fields
Authors:
Brian Marcus,
Ronnie Pavlov
Abstract:
For any stationary $\mZ^d$-Gibbs measure that satisfies strong spatial mixing, we obtain sequences of upper and lower approximations that converge to its entropy. In the case, $d=2$, these approximations are efficient in the sense that the approximations are accurate to within $ε$ and can be computed in time polynomial in $1/ε$.
For any stationary $\mZ^d$-Gibbs measure that satisfies strong spatial mixing, we obtain sequences of upper and lower approximations that converge to its entropy. In the case, $d=2$, these approximations are efficient in the sense that the approximations are accurate to within $ε$ and can be computed in time polynomial in $1/ε$.
△ Less
Submitted 8 August, 2012; v1 submitted 12 April, 2012;
originally announced April 2012.
-
One dimensional Markov random fields, Markov chains and Topological Markov fields
Authors:
Nishant Chandgotia,
Guangyue Han,
Brian Marcus,
Tom Meyerovitch,
Ronnie Pavlov
Abstract:
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 Ma…
▽ More
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.
△ Less
Submitted 19 December, 2011;
originally announced December 2011.
-
On independence and entropy for high-dimensional isotropic subshifts
Authors:
Tom Meyerovitch,
Ronnie Pavlov
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 March, 2013; v1 submitted 6 December, 2011;
originally announced December 2011.
-
Approximating the Hard Square Entropy Constant with Probabilistic Methods
Authors:
Ronnie Pavlov
Abstract:
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 thi…
▽ More
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.
△ Less
Submitted 9 November, 2010;
originally announced November 2010.
-
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
Authors:
Brian Marcus,
Ronnie Pavlov
Abstract:
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 fin…
▽ More
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}.
△ Less
Submitted 15 September, 2010;
originally announced September 2010.
-
Nuclear Moments and Electron Density Functionals in Atoms
Authors:
R. L. Pavlov,
P. P. Raychev,
V. P. Garistov,
M. Dimitrova-Ivanovich,
J. Maruani
Abstract:
An electron density functional approach for the calculation of the nuclear multipole moments is presented. The electronic matrix elements entering the experimentally observed hyperfine electron-nucleus interaction constants in atoms are expressed in terms of the electron density functionals of the charge or spin distributions. In principle, the construction of the charge or spin distribution den…
▽ More
An electron density functional approach for the calculation of the nuclear multipole moments is presented. The electronic matrix elements entering the experimentally observed hyperfine electron-nucleus interaction constants in atoms are expressed in terms of the electron density functionals of the charge or spin distributions. In principle, the construction of the charge or spin distribution density functionals can be obtained by means of every relativistic or non-relativistic quantum-mechanical or DFT method. The electronic matrix elements for all the electronic operators of the existing Hamiltonians of hyperfine electron-nuclear interactions are considered.
△ Less
Submitted 20 February, 2003; v1 submitted 19 February, 2003;
originally announced February 2003.
