Source author record

Xiangdong Ye

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

34works
8topics
4close collaborators

Published work

34 publications

preprint2026arXiv

On subsets of integers having dense orbits

Let A⊂NA\subset \mathbb{N}. We say AA is an RR-sequence for a given minimal system (Y,S)(Y,S) if there is y∈Yy\in Y such that {Sny:n∈A}\{S^ny:n\in A\} is dense in YY. Richter asked if AA is an RR-sequence for all minimal equicontinuous systems implies that AA is an RR-sequence for all minimal systems. In this paper, we investigate this question and related issues within the framework of totally minimal systems, including a characterization of transitive systems that are disjoint from all totally minimal systems. A dynamical system is scattering (resp. weakly scattering) if its product with any minimal (resp. minimal and equicontinuous) system is transitive. It turns out that (X,T)(X,T) is scattering if and only if for any transitive point x∈Xx\in X and any minimal system (Y,S)(Y,S) there is y∈Yy\in Y such that the orbit of (x,y)(x,y) is dense in X×YX\times Y if and only if for each transitive point x∈Xx\in X and any non-empty open subset UU of XX, {n∈N:Tnx∈U}\{n\in \mathbb{N}:T^nx\in U\} is an RR-sequence. By combining this result with earlier work of Huang and Ye, we deduce that if scattering and weak scattering are distinct properties, then both Richter's question and Katznelson's question admit negative answers.

preprint2023arXiv

Polynomial Furstenberg joinings and its applications

In this paper, a polynomial version of Furstenberg joining is introduced and its structure is investigated. Particularly, it is shown that if all polynomials are non-linear, then almost every ergodic component of the joining is a direct product of an infinity-step pro-nilsystem and a Bernoulli system. As applications, some new convergence theorems are obtained. Particularly, it is proved that if TT and SS are ergodic measure preserving transformations on a probability space (X,X,μ)(X,{\mathcal X},μ) and TT has zero entropy, then for all ci∈Z∖{0}c_i\in {\mathbb Z}\setminus \{0\}, all integral polynomials pjp_j with °pj≥2°{p_j}\ge 2, and for all fi,gj∈L∞(X,μ)f_i, g_j\in L^\infty(X,μ), 1≤i≤m1\le i\le m and 1≤j≤d1\le j\le d, lim⁡N→∞1N∑n=0N−1f1(Tc1nx)⋯fm(Tcmnx)⋅g1(Sp1(n)x)⋯gd(Spd(n)x),\lim_{N\to\infty} \frac{1}{N}\sum_{n=0}^{N-1}f_1(T^{c_1n}x)\cdots f_m(T^{c_mn}x)\cdot g_1(S^{p_1(n)}x)\cdots g_d(S^{p_d(n)}x), exists in L2(X,μ)L^2(X,μ), which extends the recent result by Host and Frantzikinakis. Moreover, it is shown that for an ergodic measure-preserving system (X,X,μ,T)(X,{\mathcal X},μ,T), a non-linear integral polynomial pp and f∈L∞(X,μ)f\in L^\infty(X,μ), the Furstenberg systems of (f(Tp(n))x)n∈Z\big(f(T^{p(n)})x\big)_{n\in {\mathbb Z}} are ergodic and isomorphic to direct products of infinite-step pro-nilsystems and Bernoulli systems for almost every x∈Xx\in X, which answers a problem by Frantzikinakis.

preprint2023arXiv

Topological dynamical systems induced by polynomials and combinatorial consequences

Let d∈Nd\in {\mathbb N} and pip_i be an integral polynomial with pi(0)=0p_i(0)=0, 1≤i≤d1\le i\le d. It is shown that if SS is piecewise syndetic in Z\mathbb Z, then {(m,n)∈Z2:m+p1(n),…,m+pd(n)∈S}\{(m,n)\in{\mathbb Z}^2: m+p_1(n),\ldots,m+p_d(n)\in S\} is piecewise syndetic in Z2{\mathbb Z}^2, which extends the result by Glasner and Furstenberg for linear polynomials. Our result is obtained by showing the density of minimal points of a dynamical system of Z2{\mathbb Z}^2 action associated with the piecewise syndetic set SS and the polynomials {p1,…,pd}\{p_1,\ldots,p_d\}. Moreover, it is proved that if (X,T)(X,T) is minimal, then for each non-empty open subset UU of XX, there is x∈Ux\in U with {n∈Z:Tp1(n)x∈U,…,Tpd(n)x∈U}\{n\in {\mathbb Z}: T^{p_1(n)}x\in U, \ldots, T^{p_d(n)}x\in U\} piecewise syndetic.

preprint2022arXiv

On structure theorems and non-saturated examples

For any minimal system (X,T)(X,T) and d≥1d\geq 1 there is an associated minimal system (Nd(X),Gd(T))(N_{d}(X), \mathcal{G}_{d}(T)), where Gd(T)\mathcal{G}_{d}(T) is the group generated by T×⋯×TT\times\cdots\times T and T×T2×⋯×TdT\times T^2\times\cdots\times T^{d} and Nd(X)N_{d}(X) is the orbit closure of the diagonal under Gd(T)\mathcal{G}_{d}(T). It is known that the maximal dd-step pro-nilfactor of Nd(X)N_d(X) is Nd(Xd)N_d(X_d), where XdX_d is the maximal dd-step pro-nilfactor of XX. In this paper, we further study the structure of Nd(X)N_d(X). We show that the maximal distal factor of Nd(X)N_d(X) is Nd(Xdis)N_d(X_{dis}) with XdisX_{dis} being the maximal distal factor of XX, and prove that as minimal systems (Nd(X),Gd(T))(N_{d}(X), \mathcal{G}_{d}(T)) has the same structure theorem as (X,T)(X,T). In addition, a non-saturated metric example (X,T)(X,T) is constructed, which is not T×T2T\times T^2-saturated and is a Toeplitz minimal system.

preprint2020arXiv

Minimal systems with finitely many ergodic measures

In this paper it is proved that if a minimal system has the property that its sequence entropy is uniformly bounded for all sequences, then it has only finitely many ergodic measures and is an almost finite to one extension of its maximal equicontinuous factor. This result is obtained as an application of a general criteria which states that if a minimal system is an almost finite to one extension of its maximal equicontinuous factor and has no infinite independent sets of length kk for some k≥2k\ge 2, then it has only finitely many ergodic measures.

preprint2020arXiv

Polynomial mean complexity and Logarithmic Sarnak conjecture

In this paper, we reduce the logarithmic Sarnak conjecture to the {0,1}\{0,1\}-symbolic systems with polynomial mean complexity. By showing that the logarithmic Sarnak conjecture holds for any topologically dynamical system with sublinear complexity, we provide a variant of the 11-Fourier uniformity conjecture, where the frequencies are restricted to any subset of [0,1][0,1] with packing dimension less than one.

preprint2020arXiv

Positive entropy implies chaos along any infinite sequence

Let GG be an infinite countable discrete amenable group. For any GG-action on a compact metric space (X,ρ)(X,ρ), it turns out that if the action has positive topological entropy, then for any sequence {si}i=1+∞\{s_i\}_{i=1}^{+\infty} with pairwise distinct elements in GG there exists a Cantor subset KK of XX which is Li-Yorke chaotic along this sequence, that is, for any two distinct points x,y∈Kx,y\in K, one has lim sup⁡i→+∞ρ(six,siy)>0, and lim inf⁡i→+∞ρ(six,siy)=0.\limsup_{i\to+\infty}ρ(s_i x,s_iy)>0,\ \text{and}\ \liminf_{i\to+\infty}ρ(s_ix,s_iy)=0.

preprint2020arXiv

Topological characteristic factors and nilsystems

We prove that the maximal infinite step pro-nilfactor X∞X_\infty of a minimal dynamical system (X,T)(X,T) is the topological characteristic factor in a certain sense. Namely, we show that by an almost one to one modification of π:X→X∞π:X \rightarrow X_\infty, the induced open extension π∗:X∗→X∞∗π^*:X^* \rightarrow X^*_\infty has the following property: for xx in a dense GδG_δ set of X∗X^*, the orbit closure Lx=O‾((x,x,…,x),T×T2×…×Td)L_x=\overline{\mathcal{O}}((x,x,\ldots,x), T\times T^2\times \ldots \times T^d) is (π∗)(d)(π^*)^{(d)}-saturated, i.e. Lx=((π∗)(d))−1(π∗)(d)(Lx)L_x=((π^*)^{(d)})^{-1}(π^*)^{(d)}(L_x). Using results derived from the above fact, we are able to answer several open questions: (1) if (X,Tk)(X,T^k) is minimal for some k≥2k\ge 2, then for any d∈Nd\in {\mathbb N} and any 0≤j<k0\le j<k there is a sequence {ni}\{n_i\} of Z\mathbb Z with ni≡j (mod k)n_i\equiv j\ (\text{mod}\ k) such that Tnix→x,T2nix→x,…,Tdnix→xT^{n_i}x\rightarrow x, T^{2n_i}x\rightarrow x, \ldots, T^{dn_i}x\rightarrow x for xx in a dense GδG_δ subset of XX; (2) if (X,T)(X,T) is totally minimal, then {Tn2x:n∈Z}\{T^{n^2}x:n\in {\mathbb Z}\} is dense in XX for xx in a dense GδG_δ subset of XX; (3) for any d∈Nd\in\mathbb N and any minimal system, which is an open extension of its maximal distal factor, RP[d]=AP[d]{\bf RP}^{[d]}={\bf AP}^{[d]}, where the latter is the regionally proximal relation of order dd along arithmetic progressions.

preprint2016arXiv

A cubic nonconventional ergodic average with multiplicative or Mangoldt weights

We show that the cubic nonconventional ergodic averages of any order with a bounded multiplicative function weight converge almost surely to zero provided that the multiplicative function satisfies a strong Daboussi-Delange condition. We further obtain that the Cesàro mean of the self-correlations and some moving average of the self-correlations of such multiplicative functions converge to zero. Our proof gives, for any N≥2N \geq 2, $$\frac1{N}\sum_{m=1}^{N}\Big|\frac1{N}\sum_{n=1}^{N} \bnu(n) \bnu(n+m)\Big| \leq \frac{C}{\log(N)^ε},$$ and $$\frac1{N^2}\sum_{n,p=1}^{N}\Big|\frac1{N}\sum_{m=1}^{N} \bnu(m) \bnu(n+m)\bnu(m+p)\bnu(n+m+p)\Big| \leq \frac{C}{\log(N)^{\varepsilon}},$$ where C,εC,\varepsilon are some positive constants and $\bnu$ is a bounded multiplicative function satisfying a Daboussi-Delange condition with logarithmic speed. We further establish that the cubic nonconventional ergodic averages of any order with Mangoldt weight converge almost surely provided that all the systems are nilsystems.

preprint2016arXiv

Multi-recurrence and van der Waerden systems

We explore recurrence properties arising from dynamical approach to combinatorial problems like the van der Waerden Theorem. We describe relations between these properties, study their consequences for dynamics, and demonstrate connections to combinatorial problems. In particular, we present a measure-theoretical analog of a result of Glasner on multi-transitivity in topological weakly mixing minimal maps. We also obtain a dynamical proof of the existence of a C-set with zero Banach density.

preprint2016arXiv

Sensitivity, proximal extension and higher order almost automorphy

Let (X,T)(X,T) be a topological dynamical system, and F\mathcal{F} be a family of subsets of Z+\mathbb{Z}_+. (X,T)(X,T) is strongly F\mathcal{F}-sensitive, if there is δ>0δ>0 such that for each non-empty open subset UU, there are x,y∈Ux,y\in U with {n∈Z+:d(Tnx,Tny)>δ}∈F\{n\in\mathbb{Z}_+: d(T^nx,T^ny)>δ\}\in\mathcal{F}. Let Ft\mathcal{F}_t (resp. Fip\mathcal{F}_{ip}, Ffip\mathcal{F}_{fip}) be consisting of thick sets (resp. IP-sets, subsets containing arbitrarily long finite IP-sets). The following Auslander-Yorke's type dichotomy theorems are obtained: (1) a minimal system is either strongly Ffip\mathcal{F}_{fip}-sensitive or an almost one-to-one extension of its ∞\infty-step nilfactor. (2) a minimal system is either strongly Fip\mathcal{F}_{ip}-sensitive or an almost one-to-one extension of its maximal distal factor. (3) a minimal system is either strongly Ft\mathcal{F}_{t}-sensitive or a proximal extension of its maximal distal factor.

preprint2016arXiv

Topological correspondence of multiple ergodic averages of nilpotent group actions

Let (X,Γ)(X,Γ) be a topological system, where ΓΓ is a nilpotent group generated by T1,…,TdT_1,\ldots, T_d such that for each T∈ΓT\in Γ, T≠eΓT\neq e_Γ, (X,T)(X,T) is weakly mixing and minimal. For d,k∈Nd,k\in \mathbb{N}, let pi,j(n),1≤i≤k,1≤j≤dp_{i,j}(n), 1\le i\le k, 1\le j\le d be polynomials with rational coefficients taking integer values on the integers and pi,j(0)=0p_{i,j}(0)=0. We show that if the expressions gi(n)=T1pi,1(n)⋯Tdpi,d(n)g_i(n)=T_1^{p_{i,1}(n)}\cdots T_d^{p_{i,d}(n)} depends nontrivially on nn for i=1,2,⋯ ,ki=1,2,\cdots,k, and for all i≠j∈{1,2,…,k}i\neq j\in \{1,2,\ldots,k\} the expressions gi(n)gj(n)−1g_i(n)g_j(n)^{-1} depend nontrivially on nn, then there is a residual set X0X_0 of XX such that for all x∈X0x\in X_0 \begin{equation*} \{(g_1(n)x, g_2(n)x,\ldots, g_k(n)x)\in X^k:n\in \mathbb{Z}\} \end{equation*} is dense in XkX^k.

preprint2015arXiv

Positive topological entropy and ΔΔ-weakly mixing sets

The notion of ΔΔ-weakly mixing set is introduced, which shares similar properties of weakly mixing sets. It is shown that if a dynamical system has positive topological entropy, then the collection of ΔΔ-weakly mixing sets is residual in the closure of the collection of entropy sets in the hyperspace. The existence of ΔΔ-weakly mixing sets in a topological dynamical system admitting an ergodic invariant measure which is not measurable distal is obtained. Moreover, Our results generalize several well known results and also answer several open questions.

preprint2015arXiv

Sequences from zero entropy noncommutative toral automorphisms and Sarnak Conjecture

In this paper we study C∗C^*-algebra version of Sarnak Conjecture for noncommutative toral automorphisms. Let AΘA_Θ be a noncommutative torus and αΘα_Θ be the noncommutative toral automorphism arising from a matrix S∈GL(d,Z)S\in GL(d,\mathbb{Z}). We show that if the Voiculescu-Brown entropy of αΘα_Θ is zero, then the sequence {ρ(αΘnu)}n∈Z\{ρ(α_Θ^nu)\}_{n\in \mathbb{Z}} is a sum of a nilsequence and a zero-density-sequence, where u∈AΘu\in A_Θ and ρρ is any state on AΘA_Θ. Then by a result of Green and Tao, this sequence is linearly disjoint from the Möbius function.

preprint2015arXiv

When all closed subsets are recurrent?

In the paper we study relations of rigidity, equicontinuity and pointwise recurrence between a t.d.s. (X,T)(X,T) and the t.d.s. (K(X),TK)(K(X),T_K) induced on the hyperspace K(X)K(X) of all compact subsets of XX, and provide some characterizations. Among other examples, we construct a minimal, non-equicontinuous, distal and uniformly rigid t.d.s. and a t.d.s. which has dense small periodic sets but does not have dense distal points, solving that way open questions existing in the literature.

preprint2014arXiv

Mean equicontinuity and mean sensitivity

Answering an open question affirmatively it is shown that every ergodic invariant measure of a mean equicontinuous (i.e. mean-L-stable) system has discrete spectrum. Dichotomy results related to mean equicontinuity and mean sensitivity are obtained when a dynamical system is transitive or minimal. Localizing the notion of mean equicontinuity, notions of almost mean equicontinuity and almost Banach mean equicontinuity are introduced. It turns out that a system with the former property may have positive entropy and meanwhile a system with the later property must have zero entropy.

preprint2014arXiv

Nil Bohr-sets and almost automorphy of higher order

Two closely related topics: higher order Bohr sets and higher order almost automorphy are investigated in this paper. Both of them are related to nilsystems. In the first part, the problem which can be viewed as the higher order version of an old question concerning Bohr sets is studied: for any d∈Nd\in {\mathbb N} does the collection of {n∈Z:S∩(S−n)∩…∩(S−dn)≠∅}\{n\in {\mathbb Z}: S\cap (S-n)\cap\ldots\cap (S-dn)\neq \emptyset\} with SS syndetic coincide with that of Nild_d Bohr0_0-sets? It is proved that Nild_d Bohr0_0-sets could be characterized via generalized polynomials, and applying this result one side of the problem is answered affirmatively: for any Nild_d Bohr0_0-set AA, there exists a syndetic set SS such that A⊃{n∈Z:S∩(S−n)∩…∩(S−dn)≠∅}.A\supset \{n\in {\mathbb Z}: S\cap (S-n)\cap\ldots\cap (S-dn)\neq \emptyset\}. Moreover, it is shown that the answer of the other side of the problem can be deduced from some result by Bergelson-Host-Kra if modulo a set with zero density. In the second part, the notion of dd-step almost automorphic systems with d∈N∪{∞}d\in{\mathbb N}\cup\{\infty\} is introduced and investigated, which is the generalization of the classical almost automorphic ones. It is worth to mention that some results concerning higher order Bohr sets will be applied to the investigation. For a minimal topological dynamical system (X,T)(X,T) it is shown that the condition x∈Xx\in X is dd-step almost automorphic can be characterized via various subsets of Z{\mathbb Z} including the dual sets of dd-step Poincaré and Birkhoff recurrence sets, and Nild_d Bohr0_0-sets. Moreover, it turns out that the condition (x,y)∈X×X(x,y)\in X\times X is regionally proximal of order dd can also be characterized via various subsets of Z{\mathbb Z}.

preprint2014arXiv

Stable sets and mean Li-Yorke chaos in positive entropy systems

It is shown that in a topological dynamical system with positive entropy, there is a measure-theoretically "rather big" set such that a multivariant version of mean Li-Yorke chaos happens on the closure of the stable or unstable set of any point from the set. It is also proved that the intersections of the sets of asymptotic tuples and mean Li-Yorke tuples with the set of topological entropy tuples are dense in the set of topological entropy tuples respectively.

preprint2014arXiv

Weakly mixing, proximal topological models for ergodic systems and applications

In this paper it is shown that every non-periodic ergodic system has two topologically weakly mixing, fully supported models: one is non-minimal but has a dense set of minimal points; and the other one is proximal. Also for independent interests, for a given Kakutani-Rokhlin tower with relatively prime column heights, it is demonstrated how to get a new taller Kakutani-Rokhlin tower with same property, which can be used in Weiss's proof of the Jewett-Krieger's theorem and the proofs of our theorems. Applications of the results are given.

preprint2013arXiv

Lowering topological entropy over subsets revisited

Let (X,T)(X, T) be a topological dynamical system. Denote by h(T,K)h (T, K) and hB(T,K)h^B (T, K) the covering entropy and dimensional entropy of K⊆XK\subseteq X, respectively. (X,T)(X, T) is called D-{\it lowerable} (resp. {\it lowerable}) if for each 0≤h≤h(T,X)0\le h\le h (T, X) there is a subset (resp. closed subset) KhK_h with hB(T,Kh)=hh^B (T, K_h)= h (resp. h(T,Kh)=hh (T, K_h)= h); is called D-{\it hereditarily lowerable} (resp. {\it hereditarily lowerable}) if each Souslin subset (resp. closed subset) is D-lowerable (resp. lowerable). In this paper it is proved that each topological dynamical system is not only lowerable but also D-lowerable, and each asymptotically hh-expansive system is D-hereditarily lowerable. A minimal system which is lowerable and not hereditarily lowerable is demonstrated.

preprint2013arXiv

Strictly ergodic models and the convergence of non-conventional pointwise ergodic averages

The well-known Jewett-Krieger's Theorem states that each ergodic system has a strictly ergodic model. Strengthening the model by requiring that it is strictly ergodic under some group actions, and building the connection of the new model with the convergence of pointwise non-conventional ergodic averages we prove that for an ergodic system $(X,\X,μ, T)$, d∈Nd\in\N, f1,…,fd∈L∞(μ)f_1, \ldots, f_d \in L^{\infty}(μ), %and any tempered F{\rm øø}lner sequence FnF_n of Z2\Z^2, the averages \begin{equation*} \frac{1}{N^2} \sum_{(n,m)\in F_N} f_1(T^nx)f_2(T^{n+m}x)\ldots f_d(T^{n+(d-1)m}x) \end{equation*} converge μμ a.e. We remark that the same method can be used to show the pointwise convergence of ergodic averages along cubes which was firstly proved by Assani and then extended to a general case by Chu and Franzikinakis.

preprint2011arXiv

Higher order almost automorphy, recurrence sets and the regionally proximal relation

In this paper, dd-step almost automorphic systems are studied for d∈Nd\in\N, which are the generalization of the classical almost automorphic ones. For a minimal topological dynamical system (X,T)(X,T) it is shown that the condition x∈Xx\in X is dd-step almost automorphic can be characterized via various subsets of Z\Z including the dual sets of dd-step Poincaré and Birkhoff recurrence sets, and Nild_d Bohr0_0-sets by considering N(x,V)={n∈Z:Tnx∈V}N(x,V)=\{n\in\Z: T^nx\in V\}, where VV is an arbitrary neighborhood of xx. Moreover, it turns out that the condition (x,y)∈X×X(x,y)\in X\times X is regionally proximal of order dd can also be characterized via various subsets of Z\Z including dd-step Poincaré and Birkhoff recurrence sets, SGdSG_d sets, the dual sets of Nild_d Bohr0_0-sets, and others by considering N(x,U)={n∈Z:Tnx∈U}N(x,U)=\{n\in\Z: T^nx\in U\}, where UU is an arbitrary neighborhood of yy.

preprint2011arXiv

Local entropy theory for a countable discrete amenable group action

In the paper we throw the first light on studying systematically the local entropy theory for a countable discrete amenable group action. For such an action, we introduce entropy tuples in both topological and measure-theoretic settings and build the variational relation between these two kinds of entropy tuples by establishing a local variational principle for a given finite open cover. Moreover, based the idea of topological entropy pairs, we introduce and study two special classes of such an action: uniformly positive entropy and completely positive entropy. Note that in the building of the local variational principle, following Romagnoli's ideas two kinds of measure-theoretic entropy are introduced for finite Borel covers. These two kinds of entropy turn out to be the same, where Danilenko's orbital approach becomes an inevitable tool.

preprint2011arXiv

Lowering topological entropy over subsets

Let (X,T)(X, T) be a topological dynamical system (TDS), and h(T,K)h (T, K) the topological entropy of a subset KK of XX. (X,T)(X, T) is {\it lowerable} if for each 0≤h≤h(T,X)0\le h\le h (T, X) there is a non-empty compact subset with entropy hh; is {\it hereditarily lowerable} if each non-empty compact subset is lowerable; is {\it hereditarily uniformly lowerable} if for each non-empty compact subset KK and each 0≤h≤h(T,K)0\le h\le h (T, K) there is a non-empty compact subset Kh⊆KK_h\subseteq K with h(T,Kh)=hh (T, K_h)= h and KhK_h has at most one limit point. It is shown that each TDS with finite entropy is lowerable, and that a TDS (X,T)(X, T) is hereditarily uniformly lowerable if and only if it is asymptotically hh-expansive.

preprint2011arXiv

Nil Bohr0_0-sets, Poincaré recurrence and generalized polynomials

The problem which can be viewed as the higher order version of an old question concerning Bohr sets is investigated: for any d∈Nd\in \N does the collection of {n∈Z:S∩(S−n)∩...∩(S−dn)≠∅}\{n\in \Z: S\cap (S-n)\cap...\cap (S-dn)\neq \emptyset\} with SS syndetic coincide with that of Nild_d Bohr0_0-sets? In this paper it is proved that Nild_d Bohr0_0-sets could be characterized via generalized polynomials, and applying this result one side of the problem could be answered affirmatively: for any Nild_d Bohr0_0-set AA, there exists a syndetic set SS such that A⊃{n∈Z:S∩(S−n)∩...∩(S−dn)≠∅}.A\supset \{n\in \Z: S\cap (S-n)\cap...\cap (S-dn)\neq \emptyset\}. Note that other side of the problem can be deduced from some result by Bergelson-Host-Kra if modulo a set with zero density. As applications it is shown that the two collections coincide dynamically, i.e. both of them can be used to characterize higher order almost automorphic points.

preprint2010arXiv

Family-independence for topological and measurable dynamics

For a family F (a collection of subsets of Z_+), the notion of F-independence is defined both for topological dynamics (t.d.s.) and measurable dynamics (m.d.s.). It is shown that there is no non-trivial {syndetic}-independent m.d.s.; a m.d.s. is {positive-density}-independent if and only if it has completely positive entropy; and a m.d.s. is weakly mixing if and only if it is {IP}-independent. For a t.d.s. it is proved that there is no non-trivial minimal {syndetic}-independent system; a t.d.s. is weakly mixing if and only if it is {IP}-independent. Moreover, a non-trivial proximal topological K system is constructed, and a topological proof of the fact that minimal topological K implies strong mixing is presented.

preprint2010arXiv

Product recurrent properties, disjointness and weak disjointness

Let $\F$ be a collection of subsets of Z+\Z_+ and (X,T)(X,T) be a dynamical system. x∈Xx\in X is $\F$-recurrent if for each neighborhood UU of xx, $\{n\in\Z_+:T^n x\in U\}\in \F$. xx is $\F$-product recurrent if (x,y)(x,y) is recurrent for any $\F$-recurrent point yy in any dynamical system (Y,S)(Y,S). It is well known that xx is {infinite}\{infinite\}-product recurrent if and only if it is minimal and distal. In this paper it is proved that the closure of a {syndetic}\{syndetic\}-product recurrent point (i.e. weakly product recurrent point) has a dense minimal points; and a {piecewisesyndetic}\{piecewise syndetic\}-product recurrent point is minimal. Results on product recurrence when the closure of an $\F$-recurrent point has zero entropy are obtained. It is shown that if a transitive system is disjoint from all minimal systems, then each transitive point is weakly product recurrent. Moreover, it proved that each weakly mixing system with dense minimal points is disjoint from all minimal PI systems; and each weakly mixing system with a dense set of distal points or an $\F_s$-independent system is disjoint from all minimal systems. Results on weak disjointness are described when considering disjointness.

preprint2010arXiv

Regionally proximal relation of order d is an equivalence one for minimal systems and a combinatorial consequence

By proving the minimality of face transformations acting on the diagonal points and searching the points allowed in the minimal sets, it is shown that the regionally proximal relation of order dd, $\RP^{[d]}$, is an equivalence relation for minimal systems. Moreover, the lifting of $\RP^{[d]}$ between two minimal systems is obtained, which implies that the factor induced by $\RP^{[d]}$ is the maximal dd-step nilfactor. The above results extend the same conclusions proved by Host, Kra and Maass for minimal distal systems. A combinatorial consequence is that if SS is a dynamically syndetic subset of Z\Z, then for each d≥1d\ge 1, $$\{(n_1,\...,n_d)\in \Z^d: n_1\ep_1+... +n_d\ep_d\in S, \ep_i\in \{0,1\}, 1\le i\le d\}$$ is syndetic. In some sense this is the topological correspondence of the result obtained by Host and Kra for positive upper Banach density subsets using ergodic methods.

Research graph

See the researcher in context

Open full explorer

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.