Showing 1–20 of 20 results for author: Cyr, V

Chaotic almost minimal actions

Authors: Van Cyr, Bryna Kra, Scott Schmieding

Abstract: Motivated by Furstenberg's Theorem on sets in the circle invariant under multiplication by a non-lacunary semigroup, we define a general class of dynamical systems possessing similar topological dynamical properties. We call such systems chaotic almost minimal, reflecting that these systems are chaotic, but in some sense are close to minimal. We study properties of the acting group needed to admit… ▽ More Motivated by Furstenberg's Theorem on sets in the circle invariant under multiplication by a non-lacunary semigroup, we define a general class of dynamical systems possessing similar topological dynamical properties. We call such systems chaotic almost minimal, reflecting that these systems are chaotic, but in some sense are close to minimal. We study properties of the acting group needed to admit such an action, and show the existence of a chaotic almost minimal $\mathbb{Z}$-action. We show there exists chaotic almost minimal $\mathbb{Z}^{d}$-actions which support multiple distinct nonatomic ergodic probability measures. △ Less

Submitted 8 May, 2024; v1 submitted 23 April, 2024; originally announced April 2024.

Comments: 37 pages, new version correcting some wording and including new references

MSC Class: 37B05 (Primary)

Strong Approximations of Shifts and the Characteristic Measures Problem

Authors: Van Cyr, Bryna Kra, Samuel Petite

Abstract: Every symbolic system supports a Borel measure that is invariant under the shift, but it is not known if every such systems supports a measure that is invariant under all of its automorphisms; known as a characteristic measure. We give sufficient conditions to find a characteristic measure, additionally showing when it can be taken to be a measure of maximal entropy. The class of systems to which… ▽ More Every symbolic system supports a Borel measure that is invariant under the shift, but it is not known if every such systems supports a measure that is invariant under all of its automorphisms; known as a characteristic measure. We give sufficient conditions to find a characteristic measure, additionally showing when it can be taken to be a measure of maximal entropy. The class of systems to which these sufficient conditions apply is large, containing a dense $G_δ$ set in the space of all shifts on a given alphabet, and is also large in the sense that it is closed under taking factors. We also investigate natural systems to which these sufficient conditions apply. △ Less

Submitted 12 July, 2023; originally announced July 2023.

MSC Class: 37B10; 68R15; 37A15

Characteristic measures for language stable subshifts

Authors: Van Cyr, Bryna Kra

Abstract: We consider the problem of when a symbolic dynamical system supports a Borel probability measure that is invariant under every element of its automorphism group. It follows readily from a classical result of Parry that the full shift on finitely many symbols, and more generally any mixing subshift of finite type, supports such a measure. Frisch and Tamuz recently dubbed such measures characteristi… ▽ More We consider the problem of when a symbolic dynamical system supports a Borel probability measure that is invariant under every element of its automorphism group. It follows readily from a classical result of Parry that the full shift on finitely many symbols, and more generally any mixing subshift of finite type, supports such a measure. Frisch and Tamuz recently dubbed such measures characteristic, and further showed that every zero entropy subshift has a characteristic measure. While it remains open if every subshift over a finite alphabet has a characteristic measure, we define a new class of shifts, which we call language stable subshifts, and show that these shifts have characteristic measures. This is a large class that is generic in several senses and contains numerous positive entropy examples. △ Less

Submitted 24 June, 2021; v1 submitted 29 January, 2021; originally announced January 2021.

MSC Class: 37B10; 68R15; 37A15

The complexity threshold for the emergence of Kakutani inequivalence

Authors: Van Cyr, Aimee Johnson, Bryna Kra, Ayse Sahin

Abstract: We show that linear complexity is the threshold for the emergence of Kakutani inequivalence for measurable systems supported on a minimal subshift. In particular, we show that there are minimal subshifts of arbitrarily low super-linear complexity that admit both loosely Bernoulli and non-loosely Bernoulli ergodic measures and that no minimal subshift with linear complexity can admit inequivalent m… ▽ More We show that linear complexity is the threshold for the emergence of Kakutani inequivalence for measurable systems supported on a minimal subshift. In particular, we show that there are minimal subshifts of arbitrarily low super-linear complexity that admit both loosely Bernoulli and non-loosely Bernoulli ergodic measures and that no minimal subshift with linear complexity can admit inequivalent measures. △ Less

Submitted 17 July, 2020; originally announced July 2020.

MSC Class: 37B10; 68R15

Boshernitzan's condition, factor complexity, and an application

Authors: Van Cyr, Bryna Kra

Abstract: Boshernitzan found a decay condition on the measure of cylinder sets that implies unique ergodicity for minimal subshifts. Interest in the properties of subshifts satisfying this condition has grown recently, due to a connection with the study of discrete Schrödinger operators. Of particular interest is the question of how restrictive Boshernitzan's condition is. While it implies zero topological… ▽ More Boshernitzan found a decay condition on the measure of cylinder sets that implies unique ergodicity for minimal subshifts. Interest in the properties of subshifts satisfying this condition has grown recently, due to a connection with the study of discrete Schrödinger operators. Of particular interest is the question of how restrictive Boshernitzan's condition is. While it implies zero topological entropy, our main theorem shows how to construct minimal subshifts satisfying the condition whose factor complexity grows faster than any pre-assigned subexponential rate. As an application, via a theorem of Damanik and Lenz, we show that there is no subexponentially growing sequence for which the spectra of all discrete Schrödinger operators associated with subshifts whose complexity grows faster than the given sequence, have only finitely many gaps. △ Less

Submitted 2 June, 2020; originally announced June 2020.

MSC Class: 37B10; 37B40; 35J10; 37A35

Realizing ergodic properties in zero entropy subshifts

Authors: Van Cyr, Bryna Kra

Abstract: A subshift with linear block complexity has at most countably many ergodic measures, and we continue of the study of the relation between such complexity and the invariant measures. By constructing minimal subshifts whose block complexity is arbitrarily close to linear but has uncountably many ergodic measures, we show that this behavior fails as soon as the block complexity is superlinear. With a… ▽ More A subshift with linear block complexity has at most countably many ergodic measures, and we continue of the study of the relation between such complexity and the invariant measures. By constructing minimal subshifts whose block complexity is arbitrarily close to linear but has uncountably many ergodic measures, we show that this behavior fails as soon as the block complexity is superlinear. With a different construction, we show that there exists a minimal subshift with an ergodic measure whose slow entropy grows slower than any given rate tending to infinitely but faster than any other rate majorizing this one yet still growing subexponentially. These constructions lead to obstructions in using subshifts in applications to properties of the prime numbers and in finding a measurable version of the complexity gap that arises for shifts of sublinear complexity. △ Less

Submitted 22 February, 2019; originally announced February 2019.

MSC Class: 37B10; 37A05; 37A35

The automorphism group of a shift of slow growth is amenable

Authors: Van Cyr, Bryna Kra

Abstract: Suppose $(X,σ)$ is a subshift, $P_X(n)$ is the word complexity function of $X$, and ${\rm Aut}(X)$ is the group of automorphisms of $X$. We show that if $P_X(n)=o(n^2/\log^2 n)$, then ${\rm Aut}(X)$ is amenable (as a countable, discrete group). We further show that if $P_X(n)=o(n^2)$, then ${\rm Aut}(X)$ can never contain a nonabelian free semigroup (and, in particular, can never contain a nonabel… ▽ More Suppose $(X,σ)$ is a subshift, $P_X(n)$ is the word complexity function of $X$, and ${\rm Aut}(X)$ is the group of automorphisms of $X$. We show that if $P_X(n)=o(n^2/\log^2 n)$, then ${\rm Aut}(X)$ is amenable (as a countable, discrete group). We further show that if $P_X(n)=o(n^2)$, then ${\rm Aut}(X)$ can never contain a nonabelian free semigroup (and, in particular, can never contain a nonabelian free subgroup). This is in contrast to recent examples, due to Salo and Schraudner, of subshifts with quadratic complexity that do contain such a semigroup. △ Less

Submitted 21 August, 2017; originally announced August 2017.

MSC Class: 37B50; 43A07; 68R15

Journal ref: Ergod. Th. Dynam. Sys. 40 (2020) 1788-1804

Positive entropy equilibrium states

Authors: Vaughn Climenhaga, Van Cyr

Abstract: For transitive shifts of finite type, and more generally for shifts with specification, it is well-known that every equilibrium state for a Holder continuous potential has positive entropy as long as the shift has positive topological entropy. We give a non-uniform specification condition under which this property continues to hold, and demonstrate that it does not necessarily hold for other non-u… ▽ More For transitive shifts of finite type, and more generally for shifts with specification, it is well-known that every equilibrium state for a Holder continuous potential has positive entropy as long as the shift has positive topological entropy. We give a non-uniform specification condition under which this property continues to hold, and demonstrate that it does not necessarily hold for other non-uniform versions of specification that have been introduced elsewhere. △ Less

Submitted 29 October, 2018; v1 submitted 7 August, 2017; originally announced August 2017.

Comments: 17 pages, corrected proof in Section 4.1

Distortion and the automorphism group of a shift

Authors: Van Cyr, John Franks, Bryna Kra, Samuel Petite

Abstract: The set of automorphisms of a one-dimensional \shift $(X, σ)$ forms a countable, but often very complicated, group. For zero entropy shifts, it has recently been shown that the automorphism group is more tame. We provide the first examples of countable groups that cannot embed into the automorphism group of any zero entropy \shiftno. In particular, we show that the Baumslag-Solitar groups… ▽ More The set of automorphisms of a one-dimensional \shift $(X, σ)$ forms a countable, but often very complicated, group. For zero entropy shifts, it has recently been shown that the automorphism group is more tame. We provide the first examples of countable groups that cannot embed into the automorphism group of any zero entropy \shiftno. In particular, we show that the Baumslag-Solitar groups ${\rm BS}(1,n)$ and all other groups that contain exponentially distorted elements cannot embed into ${\rm Aut}(X)$ when $h_{\rm top}(X)=0$. We further show that distortion in nilpotent groups gives a nontrivial obstruction to embedding such a group in any low complexity shift. △ Less

Submitted 9 August, 2017; v1 submitted 17 November, 2016; originally announced November 2016.

The spacetime of a shift endomorphism

Authors: Van Cyr, John Franks, Bryna Kra

Abstract: The automorphism group of a one dimensional shift space over a finite alphabet exhibits different types of behavior: for a large class with positive entropy, it contains a rich collection of subgroups, while for many shifts of zero entropy, there are strong constraints on the automorphism group. We view this from a different perspective, considering a single automorphism (and sometimes endomorphis… ▽ More The automorphism group of a one dimensional shift space over a finite alphabet exhibits different types of behavior: for a large class with positive entropy, it contains a rich collection of subgroups, while for many shifts of zero entropy, there are strong constraints on the automorphism group. We view this from a different perspective, considering a single automorphism (and sometimes endomorphism) and studying the naturally associated two dimensional shift system. In particular, we describe the relation between nonexpansive subspaces in this two dimensional system and dynamical properties of an automorphism of the shift. △ Less

Submitted 9 August, 2017; v1 submitted 25 October, 2016; originally announced October 2016.

Free ergodic $\mathbb{Z}^2$-systems and complexity

Authors: Van Cyr, Bryna Kra

Abstract: Using results relating the complexity of a two dimensional subshift to its periodicity, we obtain an application to the well-known conjecture of Furstenberg on a Borel probability measure on $[0,1)$ which is invariant under both $x\mapsto px \pmod 1$ and $x\mapsto qx \pmod 1$, showing that any potential counterexample has a nontrivial lower bound on its complexity. Using results relating the complexity of a two dimensional subshift to its periodicity, we obtain an application to the well-known conjecture of Furstenberg on a Borel probability measure on $[0,1)$ which is invariant under both $x\mapsto px \pmod 1$ and $x\mapsto qx \pmod 1$, showing that any potential counterexample has a nontrivial lower bound on its complexity. △ Less

Submitted 10 February, 2016; originally announced February 2016.

The automorphism group of a minimal shift of stretched exponential growth

Authors: Van Cyr, Bryna Kra

Abstract: The group of automorphisms of a symbolic dynamical system is countable, but often very large. For example, for a mixing subshift of finite type, the automorphism group contains isomorphic copies of the free group on two generators and the direct sum of countably many copies of $\mathbb{Z}$. In contrast, the group of automorphisms of a symbolic system of zero entropy seems to be highly constrained.… ▽ More The group of automorphisms of a symbolic dynamical system is countable, but often very large. For example, for a mixing subshift of finite type, the automorphism group contains isomorphic copies of the free group on two generators and the direct sum of countably many copies of $\mathbb{Z}$. In contrast, the group of automorphisms of a symbolic system of zero entropy seems to be highly constrained. Our main result is that the automorphism group of any minimal subshift of stretched exponential growth with exponent $<1/2$, is amenable (as a countable discrete group). For shifts of polynomial growth, we further show that any finitely generated, torsion free subgroup of Aut(X) is virtually nilpotent. △ Less

Submitted 28 September, 2015; originally announced September 2015.

MSC Class: 37B10; 43A07; 68R15

Counting generic measures for a subshift of linear growth

Authors: Van Cyr, Bryna Kra

Abstract: In 1984 Boshernitzan proved an upper bound on the number of ergodic measures for a minimal subshift of linear block growth and asked if it could be lowered without further assumptions on the shift. We answer this question, showing that Boshernitzan's bound is sharp. We further prove that the same bound holds for the, a priori, larger set of nonatomic generic measures, and that this bound remains v… ▽ More In 1984 Boshernitzan proved an upper bound on the number of ergodic measures for a minimal subshift of linear block growth and asked if it could be lowered without further assumptions on the shift. We answer this question, showing that Boshernitzan's bound is sharp. We further prove that the same bound holds for the, a priori, larger set of nonatomic generic measures, and that this bound remains valid even if one drops the assumption of minimality. Applying these results to interval exchange transformations, we give an upper bound on the number of nonatomic generic measures of a minimal IET, answering a question recently posed by Chaika and Masur. △ Less

Submitted 11 May, 2015; originally announced May 2015.

MSC Class: 37B10 (primary); 37A25; 68R15 (secondary)

The automorphism group of a shift of linear growth: beyond transitivity

Authors: Van Cyr, Bryna Kra

Abstract: For a finite alphabet $\mathcal{A}$ and shift $X\subseteq\mathcal{A}^{\mathbb{Z}}$ whose factor complexity function grows at most linearly, we study the algebraic properties of the automorphism group ${\rm Aut}(X)$. For such systems, we show that every finitely generated subgroup of ${\rm Aut}(X)$ is virtually ${\mathbb Z}^d$, in contrast to the behavior when the complexity function grows more qui… ▽ More For a finite alphabet $\mathcal{A}$ and shift $X\subseteq\mathcal{A}^{\mathbb{Z}}$ whose factor complexity function grows at most linearly, we study the algebraic properties of the automorphism group ${\rm Aut}(X)$. For such systems, we show that every finitely generated subgroup of ${\rm Aut}(X)$ is virtually ${\mathbb Z}^d$, in contrast to the behavior when the complexity function grows more quickly. With additional dynamical assumptions we show more: if $X$ is transitive, then ${\rm Aut}(X)$ is virtually $\mathbb Z$; if $X$ has dense aperiodic points, then ${\rm Aut}(X)$ is virtually ${\mathbb Z}^d$. We also classify all finite groups that arise as the automorphism group of a shift. △ Less

Submitted 1 November, 2014; originally announced November 2014.

Complexity and directional entropy in two dimensions

Authors: Ryan Broderick, Van Cyr, Bryna Kra

Abstract: We study the directional entropy of the dynamical system associated to a $\Z^2$ configuration in a finite alphabet. We show that under local assumptions on the complexity, either every direction has zero topological entropy or some direction is periodic. In particular, we show that all nonexpansive directions in a $\Z^2$ system with the same local assumptions have zero directional entropy. We study the directional entropy of the dynamical system associated to a $\Z^2$ configuration in a finite alphabet. We show that under local assumptions on the complexity, either every direction has zero topological entropy or some direction is periodic. In particular, we show that all nonexpansive directions in a $\Z^2$ system with the same local assumptions have zero directional entropy. △ Less

Submitted 17 September, 2014; originally announced September 2014.

MSC Class: 37B40; 37B10

The automorphism group of a shift of subquadratic growth

Authors: Van Cyr, Bryna Kra

Abstract: For a subshift over a finite alphabet, a measure of the complexity of the system is obtained by counting the number of nonempty cylinder sets of length $n$. When this complexity grows exponentially, the automorphism group has been shown to be large for various classes of subshifts. In contrast, we show that subquadratic growth of the complexity implies that for a topologically transitive shift… ▽ More For a subshift over a finite alphabet, a measure of the complexity of the system is obtained by counting the number of nonempty cylinder sets of length $n$. When this complexity grows exponentially, the automorphism group has been shown to be large for various classes of subshifts. In contrast, we show that subquadratic growth of the complexity implies that for a topologically transitive shift $X$, the automorphism group $\Aut(X)$ is small: if $H$ is the subgroup of $\Aut(X)$ generated by the shift, then $\Aut(X)/H$ is periodic. △ Less

Submitted 2 March, 2014; originally announced March 2014.

MSC Class: 37B50

Complexity of short rectangles and periodicity

Authors: Van Cyr, Bryna Kra

Abstract: The Morse-Hedlund Theorem states that a bi-infinite sequence $η$ in a finite alphabet is periodic if and only if there exists $n\in\N$ such that the block complexity function $P_η(n)$ satisfies $P_η(n)\leq n$. In dimension two, Nivat conjectured that if there exist $n,k\in\N$ such that the $n\times k$ rectangular complexity $P_η(n,k)$ satisfies $P_η(n,k)\leq nk$, then $η$ is periodic. Sander and T… ▽ More The Morse-Hedlund Theorem states that a bi-infinite sequence $η$ in a finite alphabet is periodic if and only if there exists $n\in\N$ such that the block complexity function $P_η(n)$ satisfies $P_η(n)\leq n$. In dimension two, Nivat conjectured that if there exist $n,k\in\N$ such that the $n\times k$ rectangular complexity $P_η(n,k)$ satisfies $P_η(n,k)\leq nk$, then $η$ is periodic. Sander and Tijdeman showed that this holds for $k\leq2$. We generalize their result, showing that Nivat's Conjecture holds for $k\leq3$. The method involves translating the combinatorial problem to a question about the nonexpansive subspaces of a certain $\ZZ$ dynamical system, and then analyzing the resulting system. △ Less

Submitted 29 June, 2013; originally announced July 2013.

MSC Class: 37B50 (primary); 68R15; 37B10

Nonexpansive Z^2 subdynamics and Nivat's conjecture

Authors: Van Cyr, Bryna Kra

Abstract: For a finite alphabet $\A$ and $η\colon \Z\to\A$, the Morse-Hedlund Theorem states that $η$ is periodic if and only if there exists $n\in\N$ such that the block complexity function $P_η(n)$ satisfies $P_η(n)\leq n$, and this statement is naturally studied by analyzing the dynamics of a $\Z$-action associated to $η$. In dimension two, we analyze the subdynamics of a $\ZZ$-action associated to… ▽ More For a finite alphabet $\A$ and $η\colon \Z\to\A$, the Morse-Hedlund Theorem states that $η$ is periodic if and only if there exists $n\in\N$ such that the block complexity function $P_η(n)$ satisfies $P_η(n)\leq n$, and this statement is naturally studied by analyzing the dynamics of a $\Z$-action associated to $η$. In dimension two, we analyze the subdynamics of a $\ZZ$-action associated to $η\colon\ZZ\to\A$ and show that if there exist $n,k\in\N$ such that the $n\times k$ rectangular complexity $P_η(n,k)$ satisfies $P_η(n,k)\leq nk$, then the periodicity of $η$ is equivalent to a statement about the expansive subspaces of this action. As a corollary, we show that if there exist $n,k\in\N$ such that $P_η(n,k)\leq \frac{nk}{2}$, then $η$ is periodic. This proves a weak form of a conjecture of Nivat in the combinatorics of words. △ Less

Submitted 23 August, 2013; v1 submitted 20 August, 2012; originally announced August 2012.

MSC Class: 37B50 (primary); 68R15; 37B10

A number theoretic question arising in the geometry of plane curves and in billiard dynamics

Authors: Van Cyr

Abstract: We prove that if $ρ\neq1/2$ is a rational number between zero and one, then there is no integer $n>1$ such that $$ n\tan(πρ)=\tan(nπρ). $$ This has interpretations both in the theory of bicycle curves and that of mathematical billiards. We prove that if $ρ\neq1/2$ is a rational number between zero and one, then there is no integer $n>1$ such that $$ n\tan(πρ)=\tan(nπρ). $$ This has interpretations both in the theory of bicycle curves and that of mathematical billiards. △ Less

Submitted 25 March, 2011; originally announced March 2011.

MSC Class: 11R18; 53A04; 37E99

Harmonic Labeling of Graphs

Authors: Itai Benjamini, Van Cyr, Eviatar B. Procaccia, Ran J. Tessler

Abstract: Which graphs admit an integer value harmonic function which is injective and surjective onto $\Z$? Such a function, which we call harmonic labeling, is constructed when the graph is the $\Z^2$ square grid. It is shown that for any finite graph $G$ containing at least one edge, there is no harmonic labeling of $ G \times \Z$. Which graphs admit an integer value harmonic function which is injective and surjective onto $\Z$? Such a function, which we call harmonic labeling, is constructed when the graph is the $\Z^2$ square grid. It is shown that for any finite graph $G$ containing at least one edge, there is no harmonic labeling of $ G \times \Z$. △ Less

Submitted 30 May, 2010; v1 submitted 9 May, 2010; originally announced May 2010.