BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Xiangdong Ye

Xiangdong Ye appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DSmath.COmath.NTmath.CVmath.GNmath.GRmath.OAmath.PR

Catalog footprint

What is connected

34works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

34 published item(s)

preprint2026arXiv

On subsets of integers having dense orbits

Let $A\subset \mathbb{N}$. We say $A$ is an $R$-sequence for a given minimal system $(Y,S)$ if there is $y\in Y$ such that $\{S^ny:n\in A\}$ is dense in $Y$. Richter asked if $A$ is an $R$-sequence for all minimal equicontinuous systems implies that $A$ is an $R$-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)$ is scattering if and only if for any transitive point $x\in X$ and any minimal system $(Y,S)$ there is $y\in Y$ such that the orbit of $(x,y)$ is dense in $X\times Y$ if and only if for each transitive point $x\in X$ and any non-empty open subset $U$ of $X$, $\{n\in \mathbb{N}:T^nx\in U\}$ is an $R$-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.

0 citations0 reviewsNo code linkedOpen access
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 $T$ and $S$ are ergodic measure preserving transformations on a probability space $(X,{\mathcal X},μ)$ and $T$ has zero entropy, then for all $c_i\in {\mathbb Z}\setminus \{0\}$, all integral polynomials $p_j$ with $°{p_j}\ge 2$, and for all $f_i, g_j\in L^\infty(X,μ)$, $1\le i\le m$ and $1\le j\le d$, $$\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 $L^2(X,μ)$, which extends the recent result by Host and Frantzikinakis. Moreover, it is shown that for an ergodic measure-preserving system $(X,{\mathcal X},μ,T)$, a non-linear integral polynomial $p$ and $f\in L^\infty(X,μ)$, the Furstenberg systems of $\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\in X$, which answers a problem by Frantzikinakis.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Topological dynamical systems induced by polynomials and combinatorial consequences

Let $d\in {\mathbb N}$ and $p_i$ be an integral polynomial with $p_i(0)=0$, $1\le i\le d$. It is shown that if $S$ is piecewise syndetic in $\mathbb Z$, then $$\{(m,n)\in{\mathbb Z}^2: m+p_1(n),\ldots,m+p_d(n)\in S\}$$ is piecewise syndetic in ${\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 ${\mathbb Z}^2$ action associated with the piecewise syndetic set $S$ and the polynomials $\{p_1,\ldots,p_d\}$. Moreover, it is proved that if $(X,T)$ is minimal, then for each non-empty open subset $U$ of $X$, there is $x\in U$ with $\{n\in {\mathbb Z}: T^{p_1(n)}x\in U, \ldots, T^{p_d(n)}x\in U\}$ piecewise syndetic.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On structure theorems and non-saturated examples

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

0 citations0 reviewsNo code linkedOpen access
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 $k$ for some $k\ge 2$, then it has only finitely many ergodic measures.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Polynomial mean complexity and Logarithmic Sarnak conjecture

In this paper, we reduce the logarithmic Sarnak conjecture to the $\{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 $1$-Fourier uniformity conjecture, where the frequencies are restricted to any subset of $[0,1]$ with packing dimension less than one.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Positive entropy implies chaos along any infinite sequence

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

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Topological characteristic factors and nilsystems

We prove that the maximal infinite step pro-nilfactor $X_\infty$ of a minimal dynamical system $(X,T)$ is the topological characteristic factor in a certain sense. Namely, we show that by an almost one to one modification of $π:X \rightarrow X_\infty$, the induced open extension $π^*:X^* \rightarrow X^*_\infty$ has the following property: for $x$ in a dense $G_δ$ set of $X^*$, the orbit closure $L_x=\overline{\mathcal{O}}((x,x,\ldots,x), T\times T^2\times \ldots \times T^d)$ is $(π^*)^{(d)}$-saturated, i.e. $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,T^k)$ is minimal for some $k\ge 2$, then for any $d\in {\mathbb N}$ and any $0\le j<k$ there is a sequence $\{n_i\}$ of $\mathbb Z$ with $n_i\equiv j\ (\text{mod}\ k)$ such that $T^{n_i}x\rightarrow x, T^{2n_i}x\rightarrow x, \ldots, T^{dn_i}x\rightarrow x$ for $x$ in a dense $G_δ$ subset of $X$; (2) if $(X,T)$ is totally minimal, then $\{T^{n^2}x:n\in {\mathbb Z}\}$ is dense in $X$ for $x$ in a dense $G_δ$ subset of $X$; (3) for any $d\in\mathbb N$ and any minimal system, which is an open extension of its maximal distal factor, ${\bf RP}^{[d]}={\bf AP}^{[d]}$, where the latter is the regionally proximal relation of order $d$ along arithmetic progressions.

0 citations0 reviewsNo code linkedOpen access
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 \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,\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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Sensitivity, proximal extension and higher order almost automorphy

Let $(X,T)$ be a topological dynamical system, and $\mathcal{F}$ be a family of subsets of $\mathbb{Z}_+$. $(X,T)$ is strongly $\mathcal{F}$-sensitive, if there is $δ>0$ such that for each non-empty open subset $U$, there are $x,y\in U$ with $\{n\in\mathbb{Z}_+: d(T^nx,T^ny)>δ\}\in\mathcal{F}$. Let $\mathcal{F}_t$ (resp. $\mathcal{F}_{ip}$, $\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 $\mathcal{F}_{fip}$-sensitive or an almost one-to-one extension of its $\infty$-step nilfactor. (2) a minimal system is either strongly $\mathcal{F}_{ip}$-sensitive or an almost one-to-one extension of its maximal distal factor. (3) a minimal system is either strongly $\mathcal{F}_{t}$-sensitive or a proximal extension of its maximal distal factor.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Topological correspondence of multiple ergodic averages of nilpotent group actions

Let $(X,Γ)$ be a topological system, where $Γ$ is a nilpotent group generated by $T_1,\ldots, T_d$ such that for each $T\in Γ$, $T\neq e_Γ$, $(X,T)$ is weakly mixing and minimal. For $d,k\in \mathbb{N}$, let $p_{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 $p_{i,j}(0)=0$. We show that if the expressions $g_i(n)=T_1^{p_{i,1}(n)}\cdots T_d^{p_{i,d}(n)}$ depends nontrivially on $n$ for $i=1,2,\cdots,k$, and for all $i\neq j\in \{1,2,\ldots,k\}$ the expressions $g_i(n)g_j(n)^{-1}$ depend nontrivially on $n$, then there is a residual set $X_0$ of $X$ such that for all $x\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 $X^k$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Sequences from zero entropy noncommutative toral automorphisms and Sarnak Conjecture

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

0 citations0 reviewsNo code linkedOpen access
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)$ and the t.d.s. $(K(X),T_K)$ induced on the hyperspace $K(X)$ of all compact subsets of $X$, 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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\in {\mathbb N}$ does the collection of $\{n\in {\mathbb Z}: S\cap (S-n)\cap\ldots\cap (S-dn)\neq \emptyset\}$ with $S$ syndetic coincide with that of Nil$_d$ Bohr$_0$-sets? It is proved that Nil$_d$ Bohr$_0$-sets could be characterized via generalized polynomials, and applying this result one side of the problem is answered affirmatively: for any Nil$_d$ Bohr$_0$-set $A$, there exists a syndetic set $S$ such that $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 $d$-step almost automorphic systems with $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)$ it is shown that the condition $x\in X$ is $d$-step almost automorphic can be characterized via various subsets of ${\mathbb Z}$ including the dual sets of $d$-step Poincaré and Birkhoff recurrence sets, and Nil$_d$ Bohr$_0$-sets. Moreover, it turns out that the condition $(x,y)\in X\times X$ is regionally proximal of order $d$ can also be characterized via various subsets of ${\mathbb Z}$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Recurrence properties and disjointness on the induced spaces

A topological dynamical system induces two natural systems, one is on the hyperspace and the other one is on the probability space. The connection among some dynamical properties on the original space and on the induced spaces are investigated. Particularly, a minimal weakly mixing system which induces a $P$-system on the probability space is constructed and some disjointness result is obtained.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Lowering topological entropy over subsets revisited

Let $(X, T)$ be a topological dynamical system. Denote by $h (T, K)$ and $h^B (T, K)$ the covering entropy and dimensional entropy of $K\subseteq X$, respectively. $(X, T)$ is called D-{\it lowerable} (resp. {\it lowerable}) if for each $0\le h\le h (T, X)$ there is a subset (resp. closed subset) $K_h$ with $h^B (T, K_h)= h$ (resp. $h (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 $h$-expansive system is D-hereditarily lowerable. A minimal system which is lowerable and not hereditarily lowerable is demonstrated.

0 citations0 reviewsNo code linkedOpen access
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\in\N$, $f_1, \ldots, f_d \in L^{\infty}(μ)$, %and any tempered F{\rm $ø$}lner sequence $F_n$ of $\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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Lowering topological entropy over subsets

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

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Nil Bohr$_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\in \N$ does the collection of $\{n\in \Z: S\cap (S-n)\cap...\cap (S-dn)\neq \emptyset\}$ with $S$ syndetic coincide with that of Nil$_d$ Bohr$_0$-sets? In this paper it is proved that Nil$_d$ Bohr$_0$-sets could be characterized via generalized polynomials, and applying this result one side of the problem could be answered affirmatively: for any Nil$_d$ Bohr$_0$-set $A$, there exists a syndetic set $S$ such that $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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Product recurrent properties, disjointness and weak disjointness

Let $\F$ be a collection of subsets of $\Z_+$ and $(X,T)$ be a dynamical system. $x\in X$ is $\F$-recurrent if for each neighborhood $U$ of $x$, $\{n\in\Z_+:T^n x\in U\}\in \F$. $x$ is $\F$-product recurrent if $(x,y)$ is recurrent for any $\F$-recurrent point $y$ in any dynamical system $(Y,S)$. It is well known that $x$ is $\{infinite\}$-product recurrent if and only if it is minimal and distal. In this paper it is proved that the closure of a $\{syndetic\}$-product recurrent point (i.e. weakly product recurrent point) has a dense minimal points; and a $\{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.

0 citations0 reviewsNo code linkedOpen access
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 $d$, $\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 $d$-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 $S$ is a dynamically syndetic subset of $\Z$, then for each $d\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.

0 citations0 reviewsNo code linkedOpen access