BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Tomasz Downarowicz 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 prove an analog of Rudolph's theorem for actions of countable amenable groups, which asserts that among invariant measures with entropy at least c on the $G$-shift $(Λ^G,σ)$, a typical measure has entropy $c$ and is Bernoulli. We also address a relative version of this theorem.
In this paper we prove the tail variational principle for actions of countable amenable groups. This allows us to extend some characterizations of asymptotic $h$-expansiveness from $\mathbb{Z}$-actions to actions of countable amenable groups.
We establish connections between several properties of topological dynamical systems, such as: - every point is generic for an ergodic measure, - the map sending points to the measures they generate is continuous, - the system splits into uniquely (alternatively, strictly) ergodic subsystems, - the map sending ergodic measures to their topological supports is continuous, - the Cesaro means of every continuous function converge uniformly.
Let $G$ be a countable cancellative amenable semigroup and let $(F_n)$ be a (left) Følner sequence in $G$. We introduce the notion of an $(F_n)$-normal element of $\{0,1\}^G$. When $G$ = $(\mathbb N,+)$ and $F_n = \{1,2,...,n\}$, the $(F_n)$-normality coincides with the classical notion. We prove that: $\bullet$ If $(F_n)$ is a Følner sequence in $G$, such that for every $α\in(0,1)$ we have $\sum_n α^{|F_n|}<\infty$, then almost every $x\in\{0,1\}^G$ is $(F_n)$-normal. $\bullet$ For any Følner sequence $(F_n)$ in $G$, there exists an Cham\-per\-nowne-like $(F_n)$-normal set. $\bullet$ There is a natural class of "nice" Følner sequences in $(\mathbb N,\times)$. There exists a Champernowne-like set which is $(F_n)$-normal for every nice Følner \sq. $\bullet$ Let $A\subset\mathbb N$ be a classical normal set. Then, for any Følner sequence $(K_n)$ in $(\mathbb N,\times)$ there exists a set $E$ of $(K_n)$-density $1$, such that for any finite subset $\{n_1,n_2,\dots,n_k\}\subset E$, the intersection $A/{n_1}\cap A/{n_2}\cap\ldots\cap A/{n_k}$ has positive upper density in $(\mathbb N,+)$. As a consequence, $A$ contains arbitrarily long geometric progressions, and, more generally, arbitrarily long "geo-arithmetic" configurations of the form $\{a(b+ic)^j,0\le i,j\le k\}$. $\bullet$ For any Følner \sq\ $(F_n)$ in $(\mathbb N,+)$ there exist uncountably many $(F_n)$-normal Liouville numbers. $\bullet$ For any nice Følner sequence $(F_n)$ in $(\mathbb N,\times)$ there exist uncountably many $(F_n)$-normal Liouville numbers.
Consider a subshift over a finite alphabet, $X\subset Λ^{\mathbb Z}$ (or $X\subsetΛ^{\mathbb N_0}$). With each finite block $B\inΛ^k$ appearing in $X$ we associate the empirical measure ascribing to every block $C\inΛ^l$ the frequency of occurrences of $C$ in $B$. By comparing the values ascribed to blocks $C$ we define a metric on the combined space of blocks $B$ and probability measures $μ$ on $X$, whose restriction to the space of measures is compatible with the weak-$\star$ topology. Next, in this combined metric space we fix an open set $\mathcal U$ containing all ergodic measures, and we say that a block $B$ is "ergodic" if $B\in\mathcal U$. In this paper we prove the following main result: Given $\varepsilon>0$, every $x\in X$ decomposes as a concatenation of blocks of bounded lengths in such a way that, after ignoring a set $M$ of coordinates of upper Banach density smaller than $\varepsilon$, all blocks in the decomposition are ergodic. The second main result concerns subshifts whose set of ergodic measures is closed. We show that, in this case, no matter how $x\in X$ is partitioned into blocks (as long as their lengths are sufficiently large and bounded), after ignoring a set $M$ of upper Banach density smaller than $\varepsilon$, all blocks in the decomposition are ergodic. The first half of the paper is concluded by examples showing, among other things, that the small set $M$, in both main theorems, cannot be avoided. The second half of the paper is devoted to generalizing the two main results described above to subshifts $X\subsetΛ^G$ with the action of a countable amenable group $G$. The role of long blocks is played by blocks whose domains are members of a Følner sequence while the decomposition of $x\in X$ into blocks (of which majority is ergodic) is obtained with the help of a congruent system of tilings.
A classical Kamae-Weiss theorem states that an increasing sequence $(n_i)_{i\in\mathbb N}$ of positive lower density is \emph{normality preserving}, i.e. has the property that for any normal binary sequence $(b_n)_{n\in\mathbb N}$, the sequence $(b_{n_i})_{i\in\mathbb N}$ is normal, if and only if $(n_i)_{i\in\mathbb N}$ is a deterministic sequence. Given a countable cancellative amenable semigroup $G$, and a Følner sequence $\mathcal F=(F_n)_{n\in\mathbb N}$ in $G$, we introduce the notions of normality preservation, determinism and subexponential complexity for subsets of $G$ with respect to $\mathcal F$, and show that for sets of positive lower $\mathcal F$-density these three notions are equivalent. The proof utilizes the apparatus of the theory of tilings of amenable groups and the notion of tile-entropy. We also prove that under a natural assumption on $\mathcal F$, positive lower $\mathcal F$-density follows from normality preservation. Finally, we provide numerous examples of normality preserving sets in various semigroups
We show that if $y=(y_n)_{n\ge 1}$ is a bounded sequence with zero average along every infinite arithmetic progression then for every $N\ge 2$ there exist (unilateral or bilateral) subshifts $Σ$ over $N$ symbols, with entropy arbitrarily close to $\log N$, uncorrelated to $y$. In particular, for $y=μ$ being the Möbius function, we get that there exist subshifts as above which satisfy the assertion of Sarnak's conjecture. The existence of positive entropy systems uncorrelated to the Möbius function is claimed in Sarnak's survey \cite{sarnak} (and attributed to Bourgain), however, to our knowledge no examples have ever been published. We fill in this gap and by the way we show that this has nothing to do with more advanced algebraic properties (for instance multiplicativity) of the considered sequence.
The goal of this paper is to put together several techniques in handling dynamical systems on zero-dimensional spaces, such as array representation, inverse limit representation, or Bratteli-Vershik representation. We describe how one can switch from one representation to another. We also briefly review some more recent related notions: symbolic extensions, symbolic extensions with an embedding, and uniform generators. We devote a great deal of attention to marker techniques and we use them to prove two types of results: one concerning entropy and vertical data compression, and another, about the existence of isomorphic minimal models for aperiodic systems. We also introduce so-called decisiveness of Bratteli--Vershik systems and give for it a sufficient condition.
The main subject of the paper, motivated by a question raised by Boshernitzan, is to give criteria for a bounded complex-valued sequence to be uncorrelated to any strictly ergodic sequence. As a tool developed to study this problem we introduce the notion of correlation between two shift-invariant measures supported by the symbolic space with complex symbols. We also prove a "lifting lemma" for generic points: given a joining $ξ$ of two shift-invariant measures $μ$ and $ν$, every point $x$ generic for $μ$ lifts to a pair $(x,y)$ generic for $ξ$ (such $y$ exists in the full symbolic space). This lemma allows us to translate correlation between bounded sequences to the language of correlation of measures. Finally, to establish that the property of an invariant measure being uncorrelated to any ergodic measure is essentially weaker than the property of being disjoint from any ergodic measure, we develop and apply criteria for ergodicity of four-jump cocycles over irrational rotations. We believe that apart from the applications to studying the notion of correlation, the two developed tools: the lifting lemma and the criteria for ergodicity of four-jump cocycles, are of independent interest. This is why we announce them also in the title. In the Appendix we also introduce the notion of conditional disjointness.
If $π:(X,T)\to(Z,S)$ is a topological factor map between uniquely ergodic topological dynamical systems, then $(X,T)$ is called an isomorphic extension of $(Z,S)$ if $π$ is also a measure-theoretic isomorphism. We consider the case when the systems are minimal and we pay special attention to equicontinuous $(Z,S)$. We first establish a characterization of this type of isomorphic extensions in terms of mean equicontinuity, and then show that an isomorphic extension need not be almost one-to-one, answering questions of Li, Tu and Ye.
There are two main subjects in this paper. 1) For a topological dynamical system $(X,T)$ we study the topological entropy of its "functional envelopes" (the action of $T$ by left composition on the space of all continuous self-maps or on the space of all self-homeomorphisms of $X$). In particular we prove that for zero-dimensional spaces $X$ both entropies are infinite except when $T$ is equicontinuous (then both equal zero). 2) We call $Slovak$ $space$ any compact metric space whose homeomorphism group is cyclic and generated by a minimal homeomorphism. Using Slovak spaces we provide examples of (minimal) systems $(X,T)$ with positive entropy, yet, whose functional envelope on homeomorphisms has entropy zero (answering a question posed by Kolyada and Semikina). Finally, also using Slovak spaces, we resolve a long standing open problem whether the circle is a unique non-degenerate continuum admitting minimal continuous transformations but only invertible: No, some Slovak spaces are such, as well.
Although Sarnak's conjecture holds for compact group rotations (irrational rotations, odometers), it is not even known whether it holds for all Jewett-Krieger models of such rotations. In this paper we show that it does, as long as the model is at the same a topological extension. In particular, we reestablish (after [AKL]) that regular Toeplitz systems satisfy Sarnak's conjecture, and, as another consequence, so do all generalized Sturmian subshifts (not only the classical Sturmian subshift). We also give an example of an irregular Toeplitz subshift which fits our criterion. We give an example of a model of an odometer which is not even Toeplitz (it is weakly mixing), hence does not fit our criterion. However, for this example, we manage to produce a separate proof of Sarnak's conjecture. Next, we provide a class of Toeplitz sequences which fail Sarnak's conjecture (in a weak sense); all these examples have positive entropy. Finally, we examine the example of a Toeplitz sequence from [AKL] (which fails Sarnak's conjecture in the strong sense) and prove that it has positive entropy, as well (this proof has been announced in [AKL]). This paper can be considered a sequel to [AKL], it also fills some gaps of [D].
We review subbadditivity properties of Shannon entropy, in particular, from the Shearer's inequality we derive the "infimum rule" for actions of amenable groups. We briefly discuss applicability of the "infimum formula" to actions of other groups. Then we pass to topological entropy of a cover. We prove Shearer's inequality for disjoint covers and give counterexamples otherwise. We also prove that, for actions of amenable groups, the supremum over all open covers of the "infimum fomula" gives correct value of topological entropy.
We prove that for any infinite countable amenable group $G$, any $ε> 0$ and any finite subset $K\subset G$, there exists a tiling (partition of $G$ into finite "tiles" using only finitely many "shapes"), where all the tiles are $(K; ε)$-invariant. Moreover, our tiling has topological entropy zero (i.e., subexponential complexity of patterns). As an application, we construct a free action of $G$ (in the sense that the mappings, associated to different from unity elements of $G$, have no fixpoints), on a zero-dimensional space, and which has topological entropy zero.
We establish certain topological properties of rank understood as a function on the set of invariant measures on a topological dynamical system. To be exact, we show that rank is of Young class LU (i.e., it is the limit of an increasing sequence of upper semicontinuous functions)
Using methods of ergodic theory we prove as in the title.