arXiv subjects
Publications and source records attributed to Mariusz Lemanczyk.
We prove that on B-free subshifts, with B satisfying the Erdös condition, all cellular automata are determined by monotone sliding block codes. In particular, this implies the validity of the Garden of Eden theorem for such systems.
It is shown that in a class of counterexamples to Elliott's conjecture by Matomaki, Radziwill and Tao, the Chowla conjecture holds along a subsequence.
Higher-dimensional binary shifts of number-theoretic origin with positive topological entropy are considered. We are particularly interested in analysing their symmetries and extended symmetries. They form groups, known as the topological centraliser and normaliser of the shift dynamical system, which are natural topological invariants. Here, our focus is on shift spaces with trivial centralisers, but large normalisers. In particular, we discuss several systems where the normaliser is an infinite extension of the centraliser, including the visible lattice points and the $k$-free integers in some real quadratic number fields.
We rephrase the conditions from the Chowla and the Sarnak conjectures in abstract setting, that is, for sequences of numbers in {-1,0,1}, and introduce several natural generalizations. We study the relationships between these properties and other notions from topological dynamics and ergodic theory.
Let $H_3(\Bbb R)$ denote the 3-dimensional real Heisenberg group. Given a family of lattices $Γ_1\supsetΓ_2\supset\cdots$ in it, let $T$ stand for the associated uniquely ergodic $H_3(\Bbb R)$-{\it odometer}, i.e. the inverse limit of the $H_3(\Bbb R)$-actions by rotations on the homogeneous spaces $H_3(\Bbb R)/Γ_j$, $j\in\Bbb N$. The decomposition of the underlying Koopman unitary representation of $H_3(\Bbb R)$ into a countable direct sum of irreducible components is explicitly described. The ergodic 2-fold self-joinings of $T$ are found. It is shown that in general, the $H_3(\Bbb R)$-odometers are neither isospectral nor spectrally determined.
We show that Sarnak's conjecture on Möbius disjointness holds in every uniquely ergodic modelof a quasi-discrete spectrum automorphism. A consequence of this result is that, for each non constant polynomial $P\in\R[x]$ with irrational leading coefficient and for each multiplicative function $\bnu:\N\to\C$, $|\bnu|\leq1$, we have\[ \frac{1}{M} \sum\_{M\le m\textless{}2M} \frac{1}{H} \left| \sum\_{m\le n \textless{} m+H} e^{2πiP(n)}\bnu(n) \right|\longrightarrow 0 \] as $M\to\infty$, $H\to\infty$, $H/M\to 0$.
We extend the study of the square-free flow, recently introduced by Sarnak, to the more general context of B-free integers, that is to say integers with no factor in a given family B of pairwise relatively prime integers, the sum of whose reciprocals is finite. Relying on dynamical arguments, we prove in particular that the distribution of patterns in the characteristic function of the B-free integers follows a shift-invariant probability measure, and gives rise to a measurable dynamical system isomorphic to a specific minimal rotation on a compact group. As a by-product, we get the abundance of twin B-free integers. Moreover, we show that the distribution of patterns in small intervals also conforms to the same measure. When elements of B are squares, we introduce a generalization of the Möbius function, and discuss a conjecture of Chowla in this broader context.
We study the spectral disjointness of the powers of a rank-one transformation. For a large class of rank-one constructions, including those for which the cutting and stacking parameters are bounded, and other examples such as rigid generalized Chacon's maps and Katok's map, we prove that different positive powers of the transformation are pairwise spectrally disjoint on the continuous part of the spectrum. Our proof involves the existence, in the weak closure of {U_T^k: k in Z}, of "sufficiently many" analytic functions of the operator U_T. Then we apply these disjointness results to prove Sarnak's conjecture for the (possibly non-uniquely ergodic) symbolic models associated to these rank-one constructions: All sequences realized in these models are orthogonal to the Möbius function.
We examine the class of increasing sequences of natural numbers which are IP-rigidity sequences for some weakly mixing probability preserving transformation. This property is closely related to the uncountability of the eigenvalue group of a corresponding non-singular transformation. We give examples, including a super-lacunary sequence which is not IP-rigid.
It is shown that a countable symmetric multiplicative subgroup $G=-H\cup H$ with $H\subset\mathbb{R}_+^\ast$ is the group of self-similarities of a Gaussian-Kronecker flow if and only if $H$ is additively $\mathbb{Q}$-independent. In particular, a real number $s\neq\pm1$ is a scale of self-similarity of a Gaussian-Kronecker flow if and only if $s$ is transcendental. We also show that each countable symmetric subgroup of $\mathbb{R}^\ast$ can be realized as the group of self-similarities of a simple spectrum Gaussian flow having the Foias-Stratila property.
We deal with Besicovitch's problem of existence of discrete orbits for transitive cylindrical transformations $T_φ:(x,t)\mapsto(x+α,t+φ(x))$ where $Tx=x+α$ is an irrational rotation on the circle $\T$ and $φ:\T\to\R$ is continuous, i.e.\ we try to estimate how big can be the set $D(α,φ):=\{x\in\T:|φ^{(n)}(x)|\to+\infty\text{as}|n|\to+\infty\}$. We show that for almost every $α$ there exists $φ$ such that the Hausdorff dimension of $D(α,φ)$ is at least $1/2$. We also provide a Diophantine condition on $α$ that guarantees the existence of $φ$ such that the dimension of $D(α,φ)$ is positive. Finally, for some multidimensional rotations $T$ on $\T^d$, $d\geq3$, we construct smooth $φ$ so that the Hausdorff dimension of $D(α,φ)$ is positive.
We show that ergodic dynamical systems generated by infinitely divisible stationary processes are disjoint in the sense of Furstenberg with distally simple systems and systems whose maximal spectral type is singular with respect to the convolution of any two continuous measures.
We show that under some natural ergodicity assumptions extensions given by Rokhlin cocycles lift the multiplier property if the associated locally compact group extension has only countably many L^\infty-eigenvalues. We make use of some analogs of basic results from the theory of finite-rank modules associated to an extension of measure-preserving systems in the setting of a non-singular base.
Answering a question of A. Vershik we construct two non-weakly isomorphic ergodic automorphisms for which the associated unitary (Koopman) representations are Markov quasi-similar. We also discuss metric invariants of Markov quasi-similarity in the class of ergodic automorphisms.
Exploiting a spectral criterion for a system not to be AT we give some new examples of zero entropy systems without the AT property. Our examples include those with finite spectral multiplicity -- in particular we show that the system arising from the Rudin-Shapiro substitution is not AT. We also show that some nil-rotations on a quotient of the Heisenberg group as well as some (generalized) Gaussian systems are not AT. All known examples of non AT-automorphisms contain a Lebesgue component in the spectrum.
We introduce a functor which associates to every measure preserving system (X,B,μ,T) a topological system (C_2(μ),\tilde{T}) defined on the space of 2-fold couplings of μ, called the topological lens of T. We show that often the topological lens "magnifies" the basic measure dynamical properties of T in terms of the corresponding topological properties of \tilde{T}. Some of our main results are as follows: (i) T is weakly mixing iff \tilde{T} is topologically transitive (iff it is topologically weakly mixing). (ii) T has zero entropy iff \tilde{T} has zero topological entropy, and T has positive entropy iff \tilde{T} has infinite topological entropy. (iii) For T a K-system, the topological lens is a P-system (i.e. it is topologically transitive and the set of periodic points is dense; such systems are also called chaotic in the sense of Devaney).
It is proved that all special flows over the rotation by an irrational $α$ with bounded partial quotients and under $f$ which is piecewise absolutely continuous with a non-zero sum of jumps are mildly mixing. Such flows are also shown to enjoy a condition which emulates the Ratner condition introduced in \cite{Rat}. As a consequence we construct a smooth vector--field on $\T^2$ with one singularity point such that the corresponding flow $(ϕ_t)_{t\in\R}$ preserves a smooth measure, its set of ergodic components consists of a family of periodic orbits and one component of positive measure on which $(ϕ_t)_{t\in\R}$ is mildly mixing and is spectrally disjoint from all mixing flows.
We give conditions for the exactness of Rokhlin endomorphisms, apply these to random walks on locally compact, second countable topological groups and obtain that the action on the Poisson boundary of an adapted random walk on such a group is weakly mixing.