BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Bryna Kra appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We construct a rigid, rank 1, prime transformation that is not quasi-simple and whose self-joinings form a Paulsen simplex. This seems to be the first example of a prime system whose self-joinings form a Paulsen simplex.
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.
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.
For a mixing shift of finite type, the associated automorphism group has a rich algebraic structure, and yet we have few criteria to distinguish when two such groups are isomorphic. We introduce a stabilization of the automorphism group, study its algebraic properties, and use them to distinguish many of the stabilized automorphism groups. We also show that for a full shift, the subgroup of the stabilized automorphism group generated by elements of finite order is simple, and that the stabilized automorphism group is an extension of a free abelian group of finite rank by this simple group.
Let ${\mathcal P}\subset{\mathbb Z}^2$ be a convex polygon with each vertex in it labeled by an element from a finite set and such that the labeling of each vertex $v\in {\mathcal P}$ is uniquely determined by the labeling of all other points in the polygon. We introduce a class of ${\mathbb Z}^2$-shift systems, the {\em polygonal shifts}, determined by such a polygon: these are shift systems such that the restriction of any $x\in X$ to some polygon ${\mathcal P}$ has this property. These polygonal systems are related to various well studied classes of shift systems, including subshifts of finite type and algebraic shifts, but include many other systems. We give necessary conditions for a ${\mathbb Z}^2$-system $X$ to be polygonal, in terms of the nonexpansive subspaces of $X$, and under further conditions can give a complete characterization for such systems.
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.
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.
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.
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.
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.
Rudolph showed that the orbits of any measurable, measure preserving $\mathbb R^d$ action can be measurably tiled by $2^d$ rectangles and asked if this number of tiles is optimal for $d>1$. In this paper, using a tiling of $\mathbb R^d$ by notched cubes, we show that $d+1$ tiles suffice. Furthermore, using a detailed analysis of the set of invariant measures on tilings of $\mathbb R^2$ by two rectangles, we show that while for $\mathbb R^2$ actions with completely positive entropy this bound is optimal there exist mixing $\mathbb R^2$ actions whose orbits can be tiled by 2 tiles.
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.
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.
Recurrence properties of systems and associated sets of integers that suffice for recurrence are classical objects in topological dynamics. We describe relations between recurrence in different sorts of systems, study ways to formulate finite versions of recurrence, and describe connections to combinatorial problems. In particular, we show that sets of Bohr recurrence (meaning sets of recurrence for rotations) suffice for recurrence in nilsystems. Additionally, we prove an extension of this property for multiple recurrence in affine systems.
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.
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.
Nilsystems are a natural generalization of rotations and arise in various contexts, including in the study of multiple ergodic averages in ergodic theory, in the structural analysis of topological dynamical systems, and in asymptotics for patterns in certain subsets of the integers. We show, however, that many natural classes in both measure preserving systems and topological dynamical systems contain no higher order nilsystems as factors, meaning that the only nilsystems they contain as factors are rotations. In the ergodic setting, we show that there are spectral obstructions that give rise to this behavior. In the topological setting, nilsystems have a particular type of complexity of polynomial growth, where the polynomial (with explicit degree) is an asymptotic both from below and above. We also deduce several ergodic and topological applications of these results.
If $\vf_1, ... \vf_m\colon\Z\to\Z^\ell$ are polynomials with zero constant terms and $E\subset\Z^\ell$ has positive upper Banach density, then we show that the set $E\cap (E-\vf_1(p-1))\cap\...\cap (E-\vf_m(p-1))$ is nonempty for some prime $p$. We also prove mean convergence for the associated averages along the prime numbers, conditional to analogous convergence results along the full integers. This generalizes earlier results of the authors, of Wooley and Ziegler, and of Bergelson, Leibman and Ziegler.
Gowers norms have been studied extensively both in the direct sense, starting with a function and understanding the associated norm, and in the inverse sense, starting with the norm and deducing properties of the function. Instead of focusing on the norms themselves, we study associated dual norms and dual functions. Combining this study with a variant of the Szemeredi Regularity Lemma, we give a decomposition theorem for dual functions, linking the dual norms to classical norms and indicating that the dual norm is easier to understand than the norm itself. Using the dual functions, we introduce higher order algebras that are analogs of the classical Fourier algebra, which in turn can be used to further characterize the dual functions.
We study relations between subsets of integers that are large, where large can be interpreted in terms of size (such as a set of positive upper density or a set with bounded gaps) or in terms of additive structure (such as a Bohr set). Bohr sets are fundamentally abelian in nature and are linked to Fourier analysis. Recently it has become apparent that a higher order, non-abelian, Fourier analysis plays a role in both additive combinatorics and in ergodic theory. Here we introduce a higher order version of Bohr sets and give various properties of these objects, generalizing results of Bergelson, Furstenberg, and Weiss.