Let $n>m\ge 2$ be positive integers and $n=(m+1)\ell +r$, where $0\le r\le m.$ Let $C$ be a subset of $\{0,1,\cdots ,n\}$. We prove that if $$\left|C\right|>\left\{\begin{array}{cc}\lfloor n/2\rfloor +1\hfill & \text{if}m\text{is}\text{odd},\hfill \\ m\ell /2+\delta \hfill & \text{if}m\text{is}\text{even},\hfill \end{array}\right.$$ where $\lfloor x\rfloor$ denotes the largest integer less than or equal to $x$ and $\delta$ denotes the cardinality of even numbers in the interval $[0,min\{r,m-2\left\}\right]$, then $C-C$ contains a power of $m$. We also show that these lower bounds are best possible.

New concepts of Lebesgue measure on ${ℝ}^{\infty }$ are proposed and some of their realizations in the ZFC theory are given. Also, it is shown that Baker’s both measures [1], [2], Mankiewicz and Preiss-Tišer generators [6] and the measure of [4] are not α-standard Lebesgue measures on ${ℝ}^{\infty }$ for α = (1,1,...).

Let S be a sequence of points in the unit ball of ℂⁿ which is separated for the hyperbolic distance and contained in the zero set of a Nevanlinna function. We prove that the associated measure ${\mu }_S:={\sum }_{a\in S}(1-|a\left|²\right)ⁿ{\delta }_a$ is bounded, by use of the Wirtinger inequality. Conversely, if X is an analytic subset of such that any δ -separated sequence S has its associated measure ${\mu }_S$ bounded by C/δⁿ, then X is the zero set of a function in the Nevanlinna class of . As an easy consequence, we prove that if S is a dual...

Integer sequences of the form $\lfloor n^c\rfloor$, where 1 < c < 2, can be locally approximated by sequences of the form ⌊nα+β⌋ in a very good way. Following this approach, we are led to an estimate of the difference ${\sum }_{n\le x}\phi \left(\lfloor n^c\rfloor \right)-1/c{\sum }_{n\le x^c}\phi \left(n\right)n^{1/c-1}$, which measures the deviation of the mean value of φ on the subsequence $\lfloor n^c\rfloor$ from the expected value, by an expression involving exponential sums. As an application we prove that for 1 < c ≤ 1.42 the subsequence of the Thue-Morse sequence indexed by $\lfloor n^c\rfloor$ attains both of its values with...

Let $h,k$ be fixed positive integers, and let $A$ be any set of positive integers. Let $hA:=\{a_1+a_2+\cdots +a_r:a_i\in A,r\le h\}$ denote the set of all integers representable as a sum of no more than $h$ elements of $A$, and let $n(h,A)$ denote the largest integer $n$ such that $\{1,2,...,n\}\subseteq hA$. Let $n(h,k):={max}_A:n(h,A)$, where the maximum is taken over all sets $A$ with $k$ elements. We determine $n(h,A)$ when the elements of $A$ are in geometric progression. In particular, this results in the evaluation of $n(h,2)$ and yields surprisingly sharp lower bounds for $n(h,k)$, particularly for $k=3$.

The canonization theorem says that for given $m,n$ for some $m^{*}$ (the first one is called $ER(n;m)$) we have for every function $f$ with domain ${\left[1,\cdots ,m^{*}\right]}^n$, for some $A\in {\left[1,\cdots ,m^{*}\right]}^m$, the question of when the equality $f\left(i_1,\cdots ,i_n\right)=f\left(j_1,\cdots ,j_n\right)$ (where $i_1<\cdots <i_n$ and $j_1<\cdots j_n$ are from $A$) holds has the simplest answer: for some $v\subseteq \{1,\cdots ,n\}$ the equality holds iff ${\bigwedge }_{\ell \in v}{i}_{\ell }=j_{\ell }$. We improve the bound on $ER(n,m)$ so that fixing $n$ the number of exponentiation needed to calculate $ER(n,m)$ is best possible.