ArticlePDF Available
A preview of the PDF is not available
... , r − 1} by X r and let T remain the shift operator acting on X r . Specializing to our situation, we state Birkhoff's Multiple Recurrence Theorem due to Furstenberg and Weiss [11] (see also [6]). ...
... Theorem 9 (Furstenberg and Weiss [11]). Let k, r ∈ Z + . ...
Preprint
This article documents my journey down the rabbit hole, chasing what I have come to know as a particularly unyielding problem in Ramsey theory on the integers: the 2-Large Conjecture. This conjecture states that if DZ+D \subseteq \mathbb{Z}^+ has the property that every 2-coloring of Z+\mathbb{Z}^+ admits arbitrarily long monochromatic arithmetic progressions with common difference from D then the same property holds for any finite number of colors. We hope to provide a roadmap for future researchers and also provide some new results related to the 2-Large Conjecture.
... Using a dynamical approach, Furstenberg and Weiss [17] extended van der Waerden's theorem to arbitrary abelian groups and restricted the arithmetic structure to IP-sets. In the following definition and in the rest of this paper we use P f (X) to denote the collection of all non-empty finite subsets of a set X. ...
... Theorem 1.3 (IP van der Waerden Theorem, cf. [17,Section 3], [15,Subsection 2.5] and [22,Subsection 1.5]). Let k ∈ N, let (G, +) be an abelian group and let x 1 , . . . ...
Preprint
Answering a question posed by Bergelson and Leibman in [6], we establish a nilpotent version of the polynomial Hales-Jewett theorem that contains the main theorem in [6] as a special case. Important to the formulation and the proof of our main theorem is the notion of a relative syndetic set (relative with respect to a closed non-empty subsets of βG\beta\mathbf{G}) [25]. As a corollary of our main theorem we prove an extension of the restricted van der Waerden Theorem to nilpotent groups, which involves nilprogressions.
... The multiple Birkhoff recurrence theorem can be deduced from the multiple recurrence theorem of Furstenberg [15] which was proved by using deep ergodic tools. It is Furstenberg and Weiss [17] who presented a topologically dynamical proof of the theorem. Also in [17], the multiple Birkhoff recurrence theorem is generalized to commuting transformations: if T 1 , . . . ...
... It is Furstenberg and Weiss [17] who presented a topologically dynamical proof of the theorem. Also in [17], the multiple Birkhoff recurrence theorem is generalized to commuting transformations: if T 1 , . . . , T d : X → X are commuting homeomorphisms, then there is are some x ∈ X and a subsequence (S q(n) x) does not exist, see [27]. ...
Preprint
Full-text available
We study multiple recurrence without commutativity in this paper. We show that for any two homeomorphisms T,S:XXT,S: X\rightarrow X with (X,T) and (X,S) being minimal, there is a residual subset X0X_0 of X such that for any xX0x\in X_0 and any nonlinear integral polynomials p1,,pdp_1,\ldots, p_d vanishing at 0, there is some subsequence {ni}\{n_i\} of Z\mathbb Z with nin_i\to \infty satisfying S^{n_i}x\to x,\ T^{p_1(n_i)}x\to x, \ldots,\ T^{p_d(n_i)}x\to x,\ i\to\infty.
... H. Furstenberg started a systematic study of transitive systems in his paper on disjointness in topological dynamics and ergodic theory [14], and the theory was further developed in [16] and [15]. Recall that the system (X, T ) is (topologically) transitive if N T (U 1 , U 2 ) = {n ∈ Z + : U 1 ∩ T −n U 2 = ∅} (= {n ∈ Z + : T n U 1 ∩ U 2 = ∅}) ∈ P + for any opene 3 subsets U 1 , U 2 ⊂ X, equivalently, N T (U 1 , U 2 ) ∈ B for any opene subsets U 1 , U 2 ⊂ X. ...
Preprint
Dynamical compactness with respect to a family as a new concept of chaoticity of a dynamical system was introduced and discussed in [22]. In this paper we continue to investigate this notion. In particular, we prove that all dynamical systems are dynamically compact with respect to a Furstenberg family if and only if this family has the finite intersection property. We investigate weak mixing and weak disjointness by using the concept of dynamical compactness. We also explore further difference between transitive compactness and weak mixing. As a byproduct, we show that the ωF\omega_{\mathcal{F}}-limit and the ω\omega-limit sets of a point may have quite different topological structure. Moreover, the equivalence between multi-sensitivity, sensitive compactness and transitive sensitivity is established for a minimal system. Finally, these notions are also explored in the context of linear dynamics.
... Reducing Theorem 1.4 to Theorem 3.1. The elegant idea of using topological dynamics to find Ramsey families on N was developed by Furstenberg and Weiss in [21]. They considered each coloring χ : N → {1, . . . ...
Preprint
An old question in Ramsey theory asks whether any finite coloring of the natural numbers admits a monochromatic pair {x+y,xy}\{x+y,xy\}. We answer this question affirmatively in a strong sense by exhibiting a large new class of non-linear patterns which can be found in a single cell of any finite partition of N\mathbb{N}. Our proof involves a correspondence principle which transfers the problem into the language of topological dynamics. As a corollary of our main theorem we obtain partition regularity for new types of equations, such as x2y2=zx^2-y^2=z and x2+2y23z2=wx^2+2y^2-3z^2=w.
... 3 The Theorem in this form was spelled out in [Fur81,Theorem 8.22] but can also be deduced from [FW78,Theorem 4.4] which was published before the introduction of central sets. ...
Preprint
Rado's Theorem characterizes the systems of homogenous linear equations having the property that for any finite partition of the positive integers one cell contains a solution to these equations. Furstenberg and Weiss proved that solutions to those systems can in fact be found in every central set. (Since one cell of any finite partition is central, this generalizes Rado's Theorem.) We show that the same holds true for the larger class of D-sets. Moreover we will see that the conclusion of Furstenberg's Central Sets Theorem is true for all sets in this class.
... The notion of IP sets, coined to abbreviate "infinite-dimensional parallelepiped" [FW78], is defined in terms of the sets FS( ) and can be considered in any semigroup. In this paper, we will always consider IP sets with respect to the additive structure (Q, +). ...
Article
Full-text available
We show that every finite coloring of the rationals contains monochromatic sets of the form {x,y,xy,x+y}\{x,y,xy,x+y\} .
Preprint
In their proof of the IP Szemer\'edi theorem, a far reaching extension of the classic theorem of Szemer\'edi on arithmetic progressions, Furstenberg and Katznelson introduced an important class of additively large sets called IPr\text{IP}_{\text{r}}^* sets which underlies recurrence aspects in dynamics and is instrumental to enhanced formulations of combinatorial results. The authors recently showed that additive IPr\text{IP}_{\text{r}}^* subsets of Zd\mathbb{Z}^d are multiplicatively rich with respect to every multiplication on Zd\mathbb{Z}^d without zero divisors (e.g. multiplications induced by degree d number fields). In this paper, we explain the relationships between classes of multiplicative largeness with respect to different multiplications on Zd\mathbb{Z}^d. We show, for example, that in contrast to the case for Z\mathbb{Z}, there are infinitely many different notions of multiplicative piecewise syndeticity for subsets of Zd\mathbb{Z}^d when d2d \geq 2. This is accomplished by using the associated algebra representations to prove the existence of sets which are large with respect to some multiplications while small with respect to others. In the process, we give necessary and sufficient conditions for a linear transformation to preserve a class of multiplicatively large sets. One consequence of our results is that additive IPr\text{IP}_{\text{r}}^* sets are multiplicatively rich in infinitely many genuinely different ways. We conclude by cataloging a number of sources of additive IPr\text{IP}_{\text{r}}^* sets from combinatorics and dynamics.
Article
The principal result of this paper establishes the validity of a conjecture by Graham and Rothschild. This states that, if the natural numbers are divided into two classes, then there is a sequence drawn from one of those classes such that all finite sums of distinct members of that sequence remain in the same class.