ﻻ يوجد ملخص باللغة العربية
We explore the properties of non-piecewise syndetic sets with positive upper density, which we call discordant, in countable amenable (semi)groups. Sets of this kind are involved in many questions of Ramsey theory and manifest the difference in complexity between the classical van der Waerdens theorem and Szemeredis theorem. We generalize and unify old constructions and obtain new results about these historically interesting sets. Here is a small sample of our results. $bullet$ We connect discordant sets to recurrence in dynamical systems, and in this setting we exhibit an intimate analogy between discordant sets and nowhere dense sets having positive measure. $bullet$ We introduce a wide-ranging generalization of the squarefree numbers, producing many examples of discordant sets in $mathbb{Z}$, $mathbb{Z}^d$, and the Heisenberg group. We develop a unified method to compute densities of these discordant sets. $bullet$ We show that, for any countable abelian group $G$, any F{o}lner sequence $Phi$ in $G$, and any $c in (0, 1)$, there exists a discordant set $A subseteq G$ with $d_Phi(A) = c$. Here $d_Phi$ denotes density along $Phi$. Along the way, we draw from various corners of mathematics, including classical Ramsey theory, ergodic theory, number theory, and topological and symbolic dynamics.
Superfilters are generalized ultrafilters, which capture the underlying concept in Ramsey theoretic theorems such as van der Waerdens Theorem. We establish several properties of superfilters, which generalize both Ramseys Theorem and its variant for
In 1964, ErdH{o}s, Hajnal and Moon introduced a saturation version of Turans classical theorem in extremal graph theory. In particular, they determined the minimum number of edges in a $K_r$-free, $n$-vertex graph with the property that the addition
Let $U_1, ldots, U_n$ be a collection of commuting measure preserving transformations on a probability space $(Omega, Sigma, mu)$. Associated with these measure preserving transformations is the ergodic strong maximal operator $mathsf M ^ast _{mathsf
In this paper we establish a new connection between central sets and the strong coincidence conjecture for fixed points of irreducible primitive substitutions of Pisot type. Central sets, first introduced by Furstenberg using notions from topological
Let $v$ be an odd real polynomial (i.e. a polynomial of the form $sum_{j=1}^ell a_jx^{2j-1}$). We utilize sets of iterated differences to establish new results about sets of the form $mathcal R(v,epsilon)={ninmathbb{N},|,|v(n)|{<epsilon}}$ where $|cd