Source author record

Van Cyr

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DS math.DG math.NT

Catalog footprint

Research overview

12works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Boshernitzan's condition, factor complexity, and an application

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.

preprint2020arXiv

The complexity threshold for the emergence of Kakutani inequivalence

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.

preprint2017arXiv

The automorphism group of a shift of slow growth is amenable

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.

preprint2016arXiv

Free ergodic $\mathbb{Z}^2$ -systems and 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.

preprint2015arXiv

Counting generic measures for a subshift of linear growth

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.

preprint2015arXiv

The automorphism group of a minimal shift of stretched exponential growth

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.

preprint2014arXiv

Complexity and directional entropy in two dimensions

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.

preprint2014arXiv

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

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.

preprint2014arXiv

The automorphism group of a shift of subquadratic growth

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.

preprint2013arXiv

Complexity of short rectangles and periodicity

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.

preprint2013arXiv

Nonexpansive Z^2 subdynamics and Nivat's conjecture

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.

preprint2011arXiv

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

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.

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.

Van Cyr

Research overview

Is this your work?

12 publications

Boshernitzan's condition, factor complexity, and an application

The complexity threshold for the emergence of Kakutani inequivalence

The automorphism group of a shift of slow growth is amenable

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

Counting generic measures for a subshift of linear growth

The automorphism group of a minimal shift of stretched exponential growth

Complexity and directional entropy in two dimensions

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

The automorphism group of a shift of subquadratic growth

Complexity of short rectangles and periodicity

Nonexpansive Z^2 subdynamics and Nivat's conjecture

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

See the researcher in context

Building this map preview

Van Cyr

Research overview

Is this your work?

12 publications

Boshernitzan's condition, factor complexity, and an application

The complexity threshold for the emergence of Kakutani inequivalence

The automorphism group of a shift of slow growth is amenable

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

Counting generic measures for a subshift of linear growth

The automorphism group of a minimal shift of stretched exponential growth

Complexity and directional entropy in two dimensions

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

The automorphism group of a shift of subquadratic growth

Complexity of short rectangles and periodicity

Nonexpansive Z^2 subdynamics and Nivat's conjecture

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

See the researcher in context

Building this map preview

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