Showing 1–34 of 34 results for author: Danilenko, A I

Classification of rank-one actions via the cutting-and-stacking parameters

Authors: Alexandre I. Danilenko, Mykyta I. Vieprik

Abstract: Let $G$ be a discrete countable infinite group. Let $T$ and $\widetilde T$ be two rank-one $σ$-finite measure preserving actions of $G$ and let $\mathcal T$ and $\widetilde {\mathcal T}$ be the cutting-and-stacking parameters that determine $T$ and $\widetilde T$ respectively. We find necessary and sufficient conditions on $\mathcal T$ and $\widetilde{\mathcal T}$ under which $T$ and… ▽ More Let $G$ be a discrete countable infinite group. Let $T$ and $\widetilde T$ be two rank-one $σ$-finite measure preserving actions of $G$ and let $\mathcal T$ and $\widetilde {\mathcal T}$ be the cutting-and-stacking parameters that determine $T$ and $\widetilde T$ respectively. We find necessary and sufficient conditions on $\mathcal T$ and $\widetilde{\mathcal T}$ under which $T$ and $\widetilde T$ are isomorphic. We also show that the isomorphism equivalence relation is a $G_δ$-subset in the Cartesian square of the set of all admissible parameters $\mathcal T$ endowed with the natural Polish topology. If $G$ is amenable and $T$ and $\widetilde T$ are finite measure preserving then we also find necessary and sufficient conditioins on $\mathcal T$ and $\widetilde {\mathcal T}$ under which $\widetilde T$ is a factor of $T$. △ Less

Submitted 8 April, 2025; v1 submitted 7 April, 2025; originally announced April 2025.

Comments: The second version is identical to the first. For technical reasons, the pdf of the first version was invisible

MSC Class: Primary 37A05; 37A15; 37A40; secondary 37A20; 37B05

Irreducible Koopman representations for nonsingular actions on boundaries of rooted trees

Authors: Alexandre I. Danilenko, Artem Dudko

Abstract: Let $G$ be a countable branch group of automorphisms of a spherically homogeneous rooted tree. Under some assumption on finitarity of $G$, we construct, for each sequence $ω\in\{0,1\}^\Bbb N$, an irreducible unitary representation $κ_ω$ of $G$. Every two representations $κ_ω$ and $κ_{ω'}$ are weakly equivalent. They are unitarily equivalent if and only if $ω$ and $ω'$ are tail equivalent. Each… ▽ More Let $G$ be a countable branch group of automorphisms of a spherically homogeneous rooted tree. Under some assumption on finitarity of $G$, we construct, for each sequence $ω\in\{0,1\}^\Bbb N$, an irreducible unitary representation $κ_ω$ of $G$. Every two representations $κ_ω$ and $κ_{ω'}$ are weakly equivalent. They are unitarily equivalent if and only if $ω$ and $ω'$ are tail equivalent. Each $κ_ω$ appears as the Koopman representation associated with some ergodic $G$-quasiinvariant measure (of infinite product type) on the boundary of the tree. △ Less

Submitted 5 March, 2025; originally announced March 2025.

MSC Class: 37A40; 22D10

Rank-one nonsingular actions of countable groups and their odometer factors

Authors: Alexandre I. Danilenko, Mykyta I. Vieprik

Abstract: For an arbitrary countable discrete infinite group $G$, nonsingular rank-one actions are introduced. It is shown that the class of nonsingular rank-one actions coincides with the class of nonsingular $(C,F)$-actions. Given a decreasing sequence $Γ_1\supsetneqΓ_2\supsetneq\cdots$ of cofinite subgroups in $G$ with $\bigcap_{n=1}^\infty\bigcap_{g\in G}gΓ_ng^{-1}=\{1_G\}$, the projective limit of the… ▽ More For an arbitrary countable discrete infinite group $G$, nonsingular rank-one actions are introduced. It is shown that the class of nonsingular rank-one actions coincides with the class of nonsingular $(C,F)$-actions. Given a decreasing sequence $Γ_1\supsetneqΓ_2\supsetneq\cdots$ of cofinite subgroups in $G$ with $\bigcap_{n=1}^\infty\bigcap_{g\in G}gΓ_ng^{-1}=\{1_G\}$, the projective limit of the homogeneous $G$-spaces $G/Γ_n$ as $n\to\infty$ is a $G$-space. Endowing this $G$-space with an ergodic nonsingular nonatomic measure we obtain a dynamical system which is called a nonsingular odometer. Necessary and sufficient conditions are found for a rank-one nonsingular $G$-action to have a finite factor and a nonsingular odometer factor in terms of the underlying $(C,F)$-parameters. Similar conditions are also found for a rank-one nonsingular $G$-action to be isomorphic to an odometer. Minimal Radon uniquely ergodic locally compact Cantor models are constructed for the nonsingular rank-one extensions of odometers. Several concrete examples are constructed and several facts are proved that illustrate a sharp difference of the nonsingular noncommutative case from the classical finite measure preserving one: odometer actions which are not of rank one, factors of rank-one systems which are not of rank-one, however each probability preserving odometer is a factor of an infinite measure preserving rank-one system, etc. △ Less

Submitted 29 January, 2024; originally announced January 2024.

MSC Class: 37A40; 37A15

Explicit rank-one constructions for irrational rotations

Authors: Alexandre I. Danilenko, Mykyta I. Vieprik

Abstract: For each {\it well approximable} irrational $θ$, we provide an explicit rank-one construction of the $e^{2πiθ}$-rotation $R_θ$ on the circle $\Bbb T$. This solves "almost surely" a problem by del Junco. For {\it every} irrational $θ$, we construct explicitly a rank-one transformation with an eigenvalue $e^{2πiθ}$. For every irrational $θ$, two infinite $σ$-finite invariant measures $μ_θ$ and… ▽ More For each {\it well approximable} irrational $θ$, we provide an explicit rank-one construction of the $e^{2πiθ}$-rotation $R_θ$ on the circle $\Bbb T$. This solves "almost surely" a problem by del Junco. For {\it every} irrational $θ$, we construct explicitly a rank-one transformation with an eigenvalue $e^{2πiθ}$. For every irrational $θ$, two infinite $σ$-finite invariant measures $μ_θ$ and $μ_θ'$ on $\Bbb T$ are constructed explicitly such that $(\Bbb T,μ_θ, R_θ)$ is {\it rigid} and of rank one and $(\Bbb T,μ_θ', R_θ)$ is of {\it zero type} and of rank one. The centralizer of the latter system consists of just the powers of $R_θ$. Some versions of the aforementioned results are proved under an extra condition on boundedness of the sequence of cuts in the rank-one construction. △ Less

Submitted 4 June, 2022; v1 submitted 14 November, 2021; originally announced November 2021.

Comments: A transliteration flaw in the name of the second named author is removed

MSC Class: 37A5; 37A20

Krieger's type for ergodic nonsingular Poisson actions of non-(T) locally compact groups

Authors: Alexandre I. Danilenko

Abstract: It is shown that each non-compact locally compact second countable non-(T) group $G$ possesses non-strongly ergodic weakly mixing IDPFT Poisson actions of arbitrary Krieger's type. These actions are amenable if and only if $G$ is amenable. If $G$ has the Haagerup property then (and only then) these actions can be chosen of 0-type. If $G$ is amenable and unimodular then $G$ has weakly mixing Bernou… ▽ More It is shown that each non-compact locally compact second countable non-(T) group $G$ possesses non-strongly ergodic weakly mixing IDPFT Poisson actions of arbitrary Krieger's type. These actions are amenable if and only if $G$ is amenable. If $G$ has the Haagerup property then (and only then) these actions can be chosen of 0-type. If $G$ is amenable and unimodular then $G$ has weakly mixing Bernoulli actions of any possible Krieger's type. △ Less

Submitted 11 June, 2022; v1 submitted 13 May, 2021; originally announced May 2021.

Comments: Slightly modified version

MSC Class: 37A40; 37A50

Haagerup property and Kazhdan pairs via ergodic infinite measure preserving actions

Authors: Alexandre I. Danilenko

Abstract: It is shown that a locally compact second countable group $G$ has the Haagerup property if and only if there exists a sharply weak mixing 0-type measure preserving free $G$-action $T=(T_g)_{g\in G}$ on an infinite $σ$-finite standard measure space $(X,μ)$ admitting an exhausting $T$-Følner sequence (i.e. a sequence $(A_n)_{n=1}^\infty$ of measured subsets of finite measure such that… ▽ More It is shown that a locally compact second countable group $G$ has the Haagerup property if and only if there exists a sharply weak mixing 0-type measure preserving free $G$-action $T=(T_g)_{g\in G}$ on an infinite $σ$-finite standard measure space $(X,μ)$ admitting an exhausting $T$-Følner sequence (i.e. a sequence $(A_n)_{n=1}^\infty$ of measured subsets of finite measure such that $A_1\subset A_2\subset\cdots$, $\bigcup_{n=1}^\infty A_n=X$ and $\lim_{n\to\infty}\sup_{g\in K}\frac{μ(T_gA_n\triangle A_n)}{μ(A_n)}= 0$ for each compact $K\subset G$). It is also shown that a pair of groups $H\subset G$ has property (T) if and only if there is a $μ$-preserving $G$-action $S$ on $X$ admitting an $S$-Følner sequence and such that $S\restriction H$ is weakly mixing. These refine some recent results by Delabie-Jolissaint-Zumbrunnen and Jolissaint. △ Less

Submitted 26 October, 2021; v1 submitted 14 February, 2021; originally announced February 2021.

Comments: Corrected version

MSC Class: 37A40; 37A15; 22F10

Krieger's type of nonsingular Poisson suspensions and IDPFT systems

Authors: Alexandre I. Danilenko, Zemer Kosloff

Abstract: Given an infinite countable discrete amenable group $Γ$, we construct explicitly sharply weak mixing nonsingular Poisson $Γ$-actions of each Krieger's type: $III_λ$, for $λ\in[0,1]$, and $II_\infty$. The result is new even for $Γ=\Bbb Z$. As these Poisson suspension actions are over very special dissipative base, we obtain also new examples of sharply weak mixing nonsingular Bernoulli $Γ$-actions… ▽ More Given an infinite countable discrete amenable group $Γ$, we construct explicitly sharply weak mixing nonsingular Poisson $Γ$-actions of each Krieger's type: $III_λ$, for $λ\in[0,1]$, and $II_\infty$. The result is new even for $Γ=\Bbb Z$. As these Poisson suspension actions are over very special dissipative base, we obtain also new examples of sharply weak mixing nonsingular Bernoulli $Γ$-actions and IDPFT systems of each possible Krieger's type. △ Less

Submitted 7 June, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

Comments: Corrected, more detailed version

MSC Class: 37A40

Ergodic cocycles of IDPFT systems and nonsingular Gaussian actions

Authors: Alexandre I. Danilenko, Mariusz Lemańczyk

Abstract: It is proved that each Gaussian cocycle over a mildly mixing Gaussian transformation is either a Gaussian coboundary or sharply weak mixing. The class of nonsingular infinite direct products $T$ of transformations $T_n$, $n\in\Bbb N$, of finite type (IDPFT) is studied. It is shown that if $T_n$ is mildly mixing, $n\in\Bbb N$, the sequence of the Radon-Nikodym derivatives of $T_n$ is asymptotically… ▽ More It is proved that each Gaussian cocycle over a mildly mixing Gaussian transformation is either a Gaussian coboundary or sharply weak mixing. The class of nonsingular infinite direct products $T$ of transformations $T_n$, $n\in\Bbb N$, of finite type (IDPFT) is studied. It is shown that if $T_n$ is mildly mixing, $n\in\Bbb N$, the sequence of the Radon-Nikodym derivatives of $T_n$ is asymptotically translation quasi-invariant and $T$ is conservative then the Maharam extension of $T$ is sharply weak mixing. This techniques provides a new approach to the nonsingular Gaussian transformations studied recently by Arano, Isono and Marrakchi. △ Less

Submitted 29 June, 2020; v1 submitted 15 June, 2020; originally announced June 2020.

Comments: Some new references are added

MSC Class: 37A40

Generic nonsingular Poisson suspension is of type $III_1$

Authors: Alexandre I. Danilenko, Zemer Kosloff, Emmanuel Roy

Abstract: It is shown that for a dense $G_δ$-subset of the subgroup of nonsingular transformations (of a standard infinite $σ$-finite measure space) whose Poisson suspensions are nonsingular, the corresponding Poisson suspensions are ergodic and of Krieger's type $III_1$. It is shown that for a dense $G_δ$-subset of the subgroup of nonsingular transformations (of a standard infinite $σ$-finite measure space) whose Poisson suspensions are nonsingular, the corresponding Poisson suspensions are ergodic and of Krieger's type $III_1$. △ Less

Submitted 12 February, 2020; originally announced February 2020.

MSC Class: 37A40

Nonsingular Poisson Suspensions

Authors: Alexandre I. Danilenko, Zemer Kosloff, Emmanuel Roy

Abstract: The classical Poisson functor associates to every infinite measure preserving dynamical system $(X,μ,T)$ a probability preserving dynamical system $(X^*,μ^*,T_*)$ called the Poisson suspension of $T$. In this paper we generalize this construction: a subgroup Aut$_2(X,μ)$ of $μ$-nonsingular transformations $T$ of $X$ is specified as the largest subgroup for which $T_*$ is $μ^*$-nonsingular. Topolog… ▽ More The classical Poisson functor associates to every infinite measure preserving dynamical system $(X,μ,T)$ a probability preserving dynamical system $(X^*,μ^*,T_*)$ called the Poisson suspension of $T$. In this paper we generalize this construction: a subgroup Aut$_2(X,μ)$ of $μ$-nonsingular transformations $T$ of $X$ is specified as the largest subgroup for which $T_*$ is $μ^*$-nonsingular. Topological structure of this subgroup is studied. We show that a generic element in Aut$_2(X,μ)$ is ergodic and of Krieger type III$_1$. Let $G$ be a locally compact Polish group and let $A:G\to\text{Aut}_2(X,μ)$ be a $G$-action. We investigate dynamical properties of the Poisson suspension $A_*$ of $A$ in terms of an affine representation of $G$ associated naturally with $A$. It is shown that $G$ has property (T) if and only if each nonsingular Poisson $G$-action admits an absolutely continuous invariant probability. If $G$ does not have property $(T)$ then for each generating probability $κ$ on $G$ and $t>0$, a nonsingular Poisson $G$-action is constructed whose Furstenberg $κ$-entropy is $t$. △ Less

Submitted 28 December, 2020; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: Little corrections. Subsection 8.1 is completely rewritten

MSC Class: 37A40; 37A50

On the bounded cohomology for ergodic nonsingular actions of amenable groups

Authors: Alexandre I. Danilenko

Abstract: Let $Γ$ be an amenable countable discrete group. Fix an ergodic free nonsingular action of $Γ$ on a nonatomic standard probability space. Let $G$ be a compactly generated locally compact second countable group such that the closure of the group of inner automorphisms of $G$ is compact in the natural topology. It is shown that there exists a {\it bounded} ergodic $G$-valued cocycle of $Γ$. Let $Γ$ be an amenable countable discrete group. Fix an ergodic free nonsingular action of $Γ$ on a nonatomic standard probability space. Let $G$ be a compactly generated locally compact second countable group such that the closure of the group of inner automorphisms of $G$ is compact in the natural topology. It is shown that there exists a {\it bounded} ergodic $G$-valued cocycle of $Γ$. △ Less

Submitted 2 September, 2019; originally announced September 2019.

MSC Class: 37A40

Weak mixing for nonsingular Bernoulli actions of countable amenable groups

Authors: Alexandre I. Danilenko

Abstract: Let $G$ be an amenable discrete countable infinite group, $A$ a finite set, and $(μ_g)_{g\in G}$ a family of probability measures on $A$ such that $\inf_{g\in G}\min_{a\in A}μ_g(a)>0$. It is shown (among other results) that if the Bernoulli shiftwise action of $G$ on the infinite product space $\bigotimes_{g\in G}(A,μ_g)$ is nonsingular and conservative then it is weakly mixing. This answers in… ▽ More Let $G$ be an amenable discrete countable infinite group, $A$ a finite set, and $(μ_g)_{g\in G}$ a family of probability measures on $A$ such that $\inf_{g\in G}\min_{a\in A}μ_g(a)>0$. It is shown (among other results) that if the Bernoulli shiftwise action of $G$ on the infinite product space $\bigotimes_{g\in G}(A,μ_g)$ is nonsingular and conservative then it is weakly mixing. This answers in positive a question by Z.~Kosloff who proved recently that the conservative Bernoulli $\Bbb Z^d$-actions are ergodic. As a byproduct, we prove a weak version of the pointwise ratio ergodic theorem for nonsingular actions of $G$. △ Less

Submitted 26 July, 2018; v1 submitted 16 July, 2018; originally announced July 2018.

Comments: A gap in the proof of Theorem 2.3 is corrected. An appendix is added

MSC Class: 37A40; 37A20

Rank-one actions, their $(C,F)$-models and constructions with bounded parameters

Authors: Alexandre I. Danilenko

Abstract: Let $G$ be a discrete countable infinite group. We show that each topological $(C,F)$-action $T$ of $G$ on a locally compact non-compact Cantor set is a free minimal amenable action admitting a unique up to scaling non-zero invariant Radon measure (answer to a question by Kellerhals, Monod and Rørdam). We find necessary and sufficient conditions under which two such actions are topologically conju… ▽ More Let $G$ be a discrete countable infinite group. We show that each topological $(C,F)$-action $T$ of $G$ on a locally compact non-compact Cantor set is a free minimal amenable action admitting a unique up to scaling non-zero invariant Radon measure (answer to a question by Kellerhals, Monod and Rørdam). We find necessary and sufficient conditions under which two such actions are topologically conjugate in terms of the underlying $(C,F)$-parameters. If $G$ is linearly ordered Abelian then the topological centralizer of $T$ is trivial. If $G$ is monotileable and amenable, denote by ${\cal A}_G$ the set of all probability preserving actions of $G$ on the unit interval with Lebesgue measure and endow it with the natural topology. We show that the set of $(C,F)$-parameters of all $(C,F)$-actions of $G$ furnished with a suitable topology is a model for ${\cal A}_G$ in the sense of Forman, Rudolph and Weiss. If $T$ is a rank-one transformation with bounded sequences of cuts and spacer maps then we found simple necessary and sufficient conditions on the related $(C,F)$-parameters under which (i) $T$ is rigid, (ii) $T$ is totally ergodic. It is found an alternative proof of Ryzhikov's theorem that if $T$ is totally ergodic and non-rigid rank-one map with bounded parameters then $T$ has MSJ. We also give a more general version of the criterium (by Gao and Hill) for isomorphism and disjointness of two commensurate non-rigid totally ergodic rank-one maps with bounded parameters. It is shown that the rank-one transformations with bounded parameters and no spacers over the last subtowers is a proper subclass of the rank-one transformations with bounded parameters. △ Less

Submitted 26 December, 2017; v1 submitted 31 October, 2016; originally announced October 2016.

Comments: Extended and corrected version

MSC Class: 37A

Mixing actions of $0$-entropy for countable amenable groups

Authors: Alexandre I. Danilenko

Abstract: It is shown that each discrete countable infinite amenable group admits a 0-entropy mixing action on a standard probability space. It is shown that each discrete countable infinite amenable group admits a 0-entropy mixing action on a standard probability space. △ Less

Submitted 20 May, 2017; v1 submitted 24 October, 2016; originally announced October 2016.

MSC Class: 37A

Journal ref: Coll. Math., 145(2016), 179--186

Furstenberg entropy values for nonsingular actions of groups without property (T)

Authors: Alexandre I. Danilenko

Abstract: Let $G$ be a discrete countable infinite group that does not have Kazhdan's property ~(T) and let $κ$ be a generating probability measure on $G$. Then for each $t>0$, there is a type $III_1$ ergodic free nonsingular $G$-action whose $κ$-entropy (or the Furstenberg entropy) is $t$. Let $G$ be a discrete countable infinite group that does not have Kazhdan's property ~(T) and let $κ$ be a generating probability measure on $G$. Then for each $t>0$, there is a type $III_1$ ergodic free nonsingular $G$-action whose $κ$-entropy (or the Furstenberg entropy) is $t$. △ Less

Submitted 16 December, 2015; originally announced December 2015.

MSC Class: 37A40; 37A20; 37A35

Infinite measure~preserving~transformations with Radon MSJ

Authors: Alexandre I. Danilenko

Abstract: We introduce concepts of Radon MSJ and Radon disjointness for infinite Radon measure preserving homeomorphisms of the locally compact Cantor space. We construct an uncountable family of pairwise Radon disjoint infinite Chacon like transformations. Every such transformation is Radon strictly ergodic, totally ergodic, asymmetric (not isomorphic to its inverse), has Radon MSJ and possesses Radon join… ▽ More We introduce concepts of Radon MSJ and Radon disjointness for infinite Radon measure preserving homeomorphisms of the locally compact Cantor space. We construct an uncountable family of pairwise Radon disjoint infinite Chacon like transformations. Every such transformation is Radon strictly ergodic, totally ergodic, asymmetric (not isomorphic to its inverse), has Radon MSJ and possesses Radon joinings whose ergodic components are not joinings. △ Less

Submitted 15 May, 2017; v1 submitted 5 March, 2015; originally announced March 2015.

Comments: Final, slightly corrected, version, to appear in Isr. J. Math

MSC Class: 37A15; 37A35; 37A40

Finite ergodic index and asymmetry for infinite measure preserving actions

Authors: Alexandre I. Danilenko

Abstract: Given $k>0$ and an Abelian countable discrete group $G$ with elements of infinite order, we construct $(i)$ rigid funny rank-one infinite measure preserving (i.m.p.) $G$-actions of ergodic index $k$, $(ii)$ 0-type funny rank-one i.m.p. $G$-actions of ergodic index $k$, $(iii)$ funny rank-one i.m.p. $G$-actions $T$ of ergodic index 2 such that the product $T\times T^{-1}$ is not ergodic. It is show… ▽ More Given $k>0$ and an Abelian countable discrete group $G$ with elements of infinite order, we construct $(i)$ rigid funny rank-one infinite measure preserving (i.m.p.) $G$-actions of ergodic index $k$, $(ii)$ 0-type funny rank-one i.m.p. $G$-actions of ergodic index $k$, $(iii)$ funny rank-one i.m.p. $G$-actions $T$ of ergodic index 2 such that the product $T\times T^{-1}$ is not ergodic. It is shown that $T\times T^{-1}$ is conservative for each funny rank-one $G$-action $T$. △ Less

Submitted 17 July, 2015; v1 submitted 13 December, 2014; originally announced December 2014.

Comments: Lemma 1.1(ii) is corrected. This implied little changes in the proof of Claim 1 in Theorems 0.1 and 0.3

Directional recurrence and directional rigidity for infinite measure preserving actions of nilpotent lattices

Authors: Alexandre I. Danilenko

Abstract: Let $Γ$ be a lattice in a simply connected nilpotent Lie group $G$. Given an infinite measure preserving action $T$ of $Γ$ and a "direction" in $G$ (i.e. an element $θ$ of the projective space $P(\goth g)$ of the Lie algebra $\goth g$ of $G$), some notions of recurrence and rigidity for $T$ along $θ$ are introduced. It is shown that the set of recurrent directions $\Cal R(T)$ and the set of rigid… ▽ More Let $Γ$ be a lattice in a simply connected nilpotent Lie group $G$. Given an infinite measure preserving action $T$ of $Γ$ and a "direction" in $G$ (i.e. an element $θ$ of the projective space $P(\goth g)$ of the Lie algebra $\goth g$ of $G$), some notions of recurrence and rigidity for $T$ along $θ$ are introduced. It is shown that the set of recurrent directions $\Cal R(T)$ and the set of rigid directions for $T$ are both $G_δ$. In the case where $G=\Bbb R^d$ and $Γ=\Bbb Z^d$, we prove that (a) for each $G_δ$-subset $Δ$ of $P(\goth g)$ and a countable subset $D\subsetΔ$, there is a rank-one action $T$ such that $D\subset\Cal R(T)\subsetΔ$ and (b) $\Cal R(T)=P(\goth g)$ for a generic infinite measure preserving action $T$ of $Γ$. This answers partly a question from a recent paper by A.~Johnson and A.~{\c S}ahin. Some applications to the directional entropy of Poisson actions are discussed. In the case where $G$ is the Heisenberg group $H_3(\Bbb R)$ and $Γ=H_3(\Bbb Z)$, a rank-one $Γ$-action $T$ is constructed for which $\Cal R(T)$ is not invariant under the natural "adjoint" $G$-action. △ Less

Submitted 8 August, 2014; originally announced August 2014.

MSC Class: 37A40; 37A15

Simple mixing actions with uncountably many prime factors

Authors: Alexandre I. Danilenko, Anton V. Solomko

Abstract: Via (C,F)-construction we produce a 2-fold simple mixing transformation which has uncountably many non-trivial proper factors and all of them are prime. Via (C,F)-construction we produce a 2-fold simple mixing transformation which has uncountably many non-trivial proper factors and all of them are prime. △ Less

Submitted 18 June, 2014; originally announced June 2014.

MSC Class: 37A05; 37A10

Actions of finite rank: weak rational ergodicity and partial rigidity

Authors: Alexandre I. Danilenko

Abstract: A simple proof of the fact that each rank-one infinite measure preserving (i.m.p.) transformation is subsequence weakly rationally ergodic is found. Some classes of funny rank-one i.m.p. actions of Abelian groups are shown to be subsequence weakly rationally ergodic. A constructive definition of finite funny rank for actions of arbitrary infinite countable groups is given. It is shown that the erg… ▽ More A simple proof of the fact that each rank-one infinite measure preserving (i.m.p.) transformation is subsequence weakly rationally ergodic is found. Some classes of funny rank-one i.m.p. actions of Abelian groups are shown to be subsequence weakly rationally ergodic. A constructive definition of finite funny rank for actions of arbitrary infinite countable groups is given. It is shown that the ergodic i.m.p. transformations of balanced finite funny rank are subsequence weakly rationally ergodic. It is shown that the ergodic probability preserving transformations of exact finite rank, the ergodic Bratteli-Vershik maps corresponding to the "consequtively ordered" Bratteli diagrams of finite rank, some their generalizations and the ergodic IETs are partially rigid. △ Less

Submitted 15 November, 2014; v1 submitted 8 March, 2014; originally announced March 2014.

MSC Class: 37A

Journal ref: Ergod. Th. Dynam. Sys. 36 (2016) 2138-2171

Odometer actions of the Heisenberg group

Authors: Alexandre I. Danilenko, Mariusz Lemanczyk

Abstract: 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… ▽ More 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. △ Less

Submitted 17 September, 2015; v1 submitted 1 May, 2013; originally announced May 2013.

Comments: To appear in J. d'Anal. Math

Mixing actions of Heisenberg group

Authors: Alexandre I. Danilenko

Abstract: Mixing (of all orders) rank-one actions $T$ of Heisenberg group $H_3(\Bbb R)$ are constructed. The restriction of $T$ to the center of $H_3(\Bbb R)$ is simple and commutes only with $T$. Mixing Poisson and mixing Gaussian actions of $H_3(\Bbb R)$ are also constructed. A rigid weakly mixing rank-one action $T$ is constructed such that the restriction of $T$ to the center of $H_3(\Bbb R)$ is not iso… ▽ More Mixing (of all orders) rank-one actions $T$ of Heisenberg group $H_3(\Bbb R)$ are constructed. The restriction of $T$ to the center of $H_3(\Bbb R)$ is simple and commutes only with $T$. Mixing Poisson and mixing Gaussian actions of $H_3(\Bbb R)$ are also constructed. A rigid weakly mixing rank-one action $T$ is constructed such that the restriction of $T$ to the center of $H_3(\Bbb R)$ is not isomorphic to its inverse. △ Less

Submitted 22 December, 2011; originally announced December 2011.

MSC Class: 37Axx

Flows with uncountable but meager group of self-similarities

Authors: Alexandre I. Danilenko

Abstract: Given an ergodic probability preserving flow $T=(T_t)_{t\in\Bbb R}$, let $I(T):=\{s\in\Bbb R^*\mid T\text{is isomorphic to}(T_{st})_{t\in\Bbb R}\}$. A weakly mixing Gaussian flow $T$ is constructed such that $I(T)$ is uncountable and meager. For a Poisson flow $T$, a subgroup $I_{\text{Po}}(T)\subset I(T)$ of Poissonian self-similarities is introduced. Given a probability measure $κ$ on… ▽ More Given an ergodic probability preserving flow $T=(T_t)_{t\in\Bbb R}$, let $I(T):=\{s\in\Bbb R^*\mid T\text{is isomorphic to}(T_{st})_{t\in\Bbb R}\}$. A weakly mixing Gaussian flow $T$ is constructed such that $I(T)$ is uncountable and meager. For a Poisson flow $T$, a subgroup $I_{\text{Po}}(T)\subset I(T)$ of Poissonian self-similarities is introduced. Given a probability measure $κ$ on $\Bbb R^*_+$, a zero-entropy Poisson flow $T$ is constructed such that $I_{\text{Po}}(T)$ is the group of $κ$-quasi-invariance. △ Less

Submitted 3 September, 2011; v1 submitted 11 August, 2011; originally announced August 2011.

Comments: Example 2.2 from the previous version is deleted

MSC Class: 37A10

A survey on spectral multiplicities of ergodic actions

Authors: Alexandre I. Danilenko

Abstract: Given a transformation $T$ of a standard measure space $(X,μ)$, let $\Cal M(T)$ denote the set of spectral multiplicities of the Koopman operator $U_T$ defined in $L^2(X,μ)\ominus\Bbb C$ by $U_Tf:=f\circ T$. It is discussed in this survey paper which subsets of $\Bbb N\cup\{\infty\}$ are realizable as $\Cal M(T)$ for various $T$: ergodic, weakly mixing, mixing, Gaussian, Poisson, ergodic infinite… ▽ More Given a transformation $T$ of a standard measure space $(X,μ)$, let $\Cal M(T)$ denote the set of spectral multiplicities of the Koopman operator $U_T$ defined in $L^2(X,μ)\ominus\Bbb C$ by $U_Tf:=f\circ T$. It is discussed in this survey paper which subsets of $\Bbb N\cup\{\infty\}$ are realizable as $\Cal M(T)$ for various $T$: ergodic, weakly mixing, mixing, Gaussian, Poisson, ergodic infinite measure preserving, etc. The corresponding constructions are considered in detail. Generalizations to actions of Abelian locally compact second countable groups are also discussed. △ Less

Submitted 11 August, 2011; v1 submitted 11 April, 2011; originally announced April 2011.

MSC Class: 37A

On self-similarities of ergodic flows

Authors: Alexandre I. Danilenko, Valery V. Ryzhikov

Abstract: Given an ergodic flow $T=(T_t)_{t\in\Bbb R}$, let $I(T)$ be the set of reals $s\ne 0$ for which the flows $(T_{st})_{t\in\Bbb R}$ and $T$ are isomorphic. It is proved that $I(T)$ is a Borel subset of $\Bbb R^*$. It carries a natural Polish group topology which is stronger than the topology induced from $\Bbb R$. There exists a mixing flow $T$ such that $I(T)$ is an uncountable meager subset of… ▽ More Given an ergodic flow $T=(T_t)_{t\in\Bbb R}$, let $I(T)$ be the set of reals $s\ne 0$ for which the flows $(T_{st})_{t\in\Bbb R}$ and $T$ are isomorphic. It is proved that $I(T)$ is a Borel subset of $\Bbb R^*$. It carries a natural Polish group topology which is stronger than the topology induced from $\Bbb R$. There exists a mixing flow $T$ such that $I(T)$ is an uncountable meager subset of $\Bbb R^*$. For a generic flow $T$, the transformations $T_{t_1}$ and $T_{t_2}$ are spectrally disjoint whenever $|t_1|\ne |t_2|$. A generic transformation (i) embeds into a flow $T$ with $I(T)=\{1\}$ and (ii) does not embed into a flow with $I(T)\ne \{1\}$. For each countable multiplicative subgroup $S\subset\Bbb R^*$, it is constructed a Poisson suspension flow $T$ with simple spectrum such that $I(T)=S$. If $S$ is without rational relations then there is a rank-one weakly mixing rigid flow $T$ with $I(T)=S$. △ Less

Submitted 4 January, 2012; v1 submitted 1 November, 2010; originally announced November 2010.

Comments: The proof of Lemma 3.1 is corrected

MSC Class: 37A10

Spectral multiplicities for ergodic flows

Authors: Alexandre I. Danilenko, Mariusz Lemańczyk

Abstract: Let $E$ be a subset of positive integers such that $E\cap\{1,2\}\ne\emptyset$. A weakly mixing finite measure preserving flow $T=(T_t)_{t\in\Bbb R}$ is constructed such that the set of spectral multiplicities (of the corresponding Koopman unitary representation generated by $T$) is $E$. Moreover, for each non-zero $t\in\Bbb R$, the set of spectral multiplicities of the transformation $T_t$ is al… ▽ More Let $E$ be a subset of positive integers such that $E\cap\{1,2\}\ne\emptyset$. A weakly mixing finite measure preserving flow $T=(T_t)_{t\in\Bbb R}$ is constructed such that the set of spectral multiplicities (of the corresponding Koopman unitary representation generated by $T$) is $E$. Moreover, for each non-zero $t\in\Bbb R$, the set of spectral multiplicities of the transformation $T_t$ is also $E$. These results are partly extended to actions of some other locally compact second countable Abelian groups. △ Less

Submitted 28 August, 2010; originally announced August 2010.

Ergodic Abelian actions with homogeneous spectrum

Authors: Alexandre I. Danilenko, Anton V. Solomko

Abstract: It is shown that for each $N>0$ and for a wide class of Abelian non-compact locally compact second countable groups $G$ including all infinite countable discrete ones and $\Bbb R^{d_1}\times\Bbb Z^{d_2}$ with $d_1,d_2\ge 0$, there exists a weakly mixing probability preserving $G$-action with a homogeneous spectrum of multiplicity $N$. It is shown that for each $N>0$ and for a wide class of Abelian non-compact locally compact second countable groups $G$ including all infinite countable discrete ones and $\Bbb R^{d_1}\times\Bbb Z^{d_2}$ with $d_1,d_2\ge 0$, there exists a weakly mixing probability preserving $G$-action with a homogeneous spectrum of multiplicity $N$. △ Less

Submitted 13 January, 2010; originally announced January 2010.

MSC Class: 37A30; 37A15

Rank-one flows of transformations with infinite ergodic index

Authors: Alexandre I. Danilenko, Kyewon K. Park

Abstract: A rank-one infinite measure preserving flow $T=(T_t)_{t\in\Bbb R}$ is constructed such that for each $t\ne 0$, the Cartesian powers of the transformation $T_t$ are all ergodic. A rank-one infinite measure preserving flow $T=(T_t)_{t\in\Bbb R}$ is constructed such that for each $t\ne 0$, the Cartesian powers of the transformation $T_t$ are all ergodic. △ Less

Submitted 15 October, 2009; originally announced October 2009.

MSC Class: 37A40

Mixing constructions with infinite invariant measure and spectral multiplicities

Authors: Alexandre I. Danilenko, Valery V. Ryzhikov

Abstract: We introduce high staircase infinite measure preserving transformations and prove that they are mixing under a restricted growth condition. This is used to (i) realize each subset $E\subset\Bbb N\cup\{\infty\}$ as the set of essential values of the multiplicity function for the Koopman operator of a mixing ergodic infinite measure preserving transformation, (ii) construct mixing power weakly mix… ▽ More We introduce high staircase infinite measure preserving transformations and prove that they are mixing under a restricted growth condition. This is used to (i) realize each subset $E\subset\Bbb N\cup\{\infty\}$ as the set of essential values of the multiplicity function for the Koopman operator of a mixing ergodic infinite measure preserving transformation, (ii) construct mixing power weakly mixing infinite measure preserving transformations, (iii) construct mixing Poissonian automorphisms with a simple spectrum, etc. △ Less

Submitted 19 January, 2010; v1 submitted 12 August, 2009; originally announced August 2009.

MSC Class: 37A

New spectral multiplicities for mixing transformations

Authors: Alexandre I. Danilenko

Abstract: It is shown that if $E$ is any subset of $\Bbb N$ such that either $1\in E$ or $2\in E$ then there is a mixing transformation whose set of spectral multiplicities is $E$. It is shown that if $E$ is any subset of $\Bbb N$ such that either $1\in E$ or $2\in E$ then there is a mixing transformation whose set of spectral multiplicities is $E$. △ Less

Submitted 12 August, 2009; originally announced August 2009.

MSC Class: 37A

Spectral multiplicities for infinite measure preserving transformations

Authors: Alexandre I. Danilenko, Valery V. Ryzhikov

Abstract: Each subset $E\subset\Bbb N$ is realized as the set of essential values of the multiplicity function for the Koopman operator of an ergodic conservative infinite measure preserving transformation. Each subset $E\subset\Bbb N$ is realized as the set of essential values of the multiplicity function for the Koopman operator of an ergodic conservative infinite measure preserving transformation. △ Less

Submitted 28 August, 2010; v1 submitted 21 May, 2009; originally announced May 2009.

Comments: Minor gaps are corrected in this version

On new spectral multiplicities for ergodic maps

Authors: Alexandre I. Danilenko

Abstract: It is shown that each subset of positive integers that contains 2 is realizable as the set of essential values of the multiplicity function for the Koopman operator of some weakly mixing transformation. It is shown that each subset of positive integers that contains 2 is realizable as the set of essential values of the multiplicity function for the Koopman operator of some weakly mixing transformation. △ Less

Submitted 30 April, 2009; originally announced April 2009.

Almost continuous orbit equivalence for non-singular homeomorphisms

Authors: Alexandre I. Danilenko, Andrés del Junco

Abstract: Let $X$ and $Y$ be Polish spaces with non-atomic Borel measures $μ$ and $ν$ of full support. Suppose that $T$ and $S$ are ergodic non-singular homeomorphisms of $(X,μ)$ and $(Y,ν)$ with continuous Radon-Nikodym derivatives. Suppose that either they are both of type $III_1$ or that they are both of type $III_λ$, $0<λ<1$ and, in the $III_λ$ case, suppose in addition that both `topological asymptot… ▽ More Let $X$ and $Y$ be Polish spaces with non-atomic Borel measures $μ$ and $ν$ of full support. Suppose that $T$ and $S$ are ergodic non-singular homeomorphisms of $(X,μ)$ and $(Y,ν)$ with continuous Radon-Nikodym derivatives. Suppose that either they are both of type $III_1$ or that they are both of type $III_λ$, $0<λ<1$ and, in the $III_λ$ case, suppose in addition that both `topological asymptotic ranges' (defined in the article) are $\logλ\cdot\Bbb Z$. Then there exist invariant dense $G_δ$-subsets $X'\subset X$ and $Y'\subset Y$ of full measure and a non-singular homeomorphism $φ: X' \to Y'$ which is an orbit equivalence between $T|_{X'}$ and $S|_{Y'}$, that is $φ\{T^{i}x\} = \{S^{i}x\}$ for all $x \in X'$. Moreover the Radon-Nikodym derivative $dν\circφ/dμ$ is continuous on $X'$ and, letting $S' = φ^{-1}S φ$ we have $Tx= {S'}^{n(x)}x$ and $S' = T^{m(x)}x$ where $n$ and $m$ are continuous on $X'$. △ Less

Submitted 24 November, 2008; originally announced November 2008.

MSC Class: 37Axx

Ergodic Theory: Nonsingular Transformations

Authors: Alexandre I. Danilenko, Cesar E. Silva

Abstract: This survey is a 2022 update of the 2008 version, with recent developments and new references. This survey is a 2022 update of the 2008 version, with recent developments and new references. △ Less

Submitted 28 July, 2022; v1 submitted 17 March, 2008; originally announced March 2008.

MSC Class: 37A40