Related papers: Discretized sum-product for large sets
We prove conjecturally sharp upper bounds for the Dirichlet character moments $\frac{1}{r-1} \sum_{\chi \; \text{mod} \; r} |\sum_{n \leq x} \chi(n)|^{2q}$, where $r$ is a large prime, $1 \leq x \leq r$, and $0 \leq q \leq 1$ is real. In…
Let $\Delta(x)$ denote the error term in the Dirichlet divisor problem, and let $E(T)$ denote the error term in the asymptotic formula for the mean square of $|\zeta(1/2+it)|$. If $E^*(t) := E(t) - 2\pi\Delta^*(t/(2\pi))$ with $\Delta^*(x)…
The modified Mellin transform ${\cal Z}_k(s) = \int_1^\infty |\zeta({1\over2}+ix|^{2k}x^{-s}{\rm d} x$ ($k\ge1$ is a fixed integer, $s = \sigma + it$) is used to obtain estimates for $$…
A simple proof of the classical subconvexity bound $\zeta(1/2+it) \ll_\epsilon t^{1/6+\epsilon}$ for the Riemann zeta-function is given, and estimation by more refined techniques is discussed. The connections between the Dirichlet divisor…
It is known by a formula of Hasse-Sondow that the Riemann zeta function is given, for any $ s=\sigma+it \in \mathbb{C}$, by $ \sum_{n=0}^{\infty} \widetilde{A}(n,s)$ where $$ \widetilde{A}(n,s):=\frac{1}{2^{n+1}(1-2^{1-s})} \sum_{k=0}^n…
Let $f$ be a Steinhaus random multiplicative function, and for $\alpha\in \mathbb{R}$, let $d_\alpha$ denote the $\alpha$-divisor function. For $\alpha \in (1,2)$ we establish that $$ \mathbb{E}\bigg\{\Big|\frac{1}{\sqrt{x}}\sum_{n\leq x}…
For $\lambda \in \mathbb{Z}$, let $\lambda \cdot A = \{ \lambda a : a \in A\}$. Suppose $r, h\in \mathbb{Z}$ are sufficiently large and comparable to each other. We prove that if $|A+A| \le K |A|$ and $\lambda_1, \ldots, \lambda_h \le 2^r$,…
In this note we find the optimal lower bound for the size of the sumsets $HA$ and $H\,\hat{}A$ over finite sets $H, A$ of nonnegative integers, where $HA = \bigcup_{h\in H} hA$ and $H\,\hat{}A = \bigcup_{h\in H} h\,\hat{}A$. We also find…
Given a measurable set $A\subset \R^n$ of positive measure, it is not difficult to show that $|A+A|=|2A|$ if and only if $A$ is equal to its convex hull minus a set of measure zero. We investigate the stability of this statement: If…
A set of reals $A=\{a_1,...,a_n\}$ labeled in increasing order is called convex if there exists a continuous strictly convex function $f$ such that $f(i)=a_i$ for every $i$. Given a convex set $A$, we prove…
Given an infinite group G, we consider the finitely additive measure defined on finite unions of cosets of finite index subgroups. We show that this shares many properties with the size of subsets of a finite group, for instance we can…
We prove that if a set is `large' in the sense of Erd\H{o}s, then it approximates arbitrarily long arithmetic progressions in a strong quantitative sense. More specifically, expressing the error in the approximation in terms of the gap…
We prove that for sets $A, B, C \subset \mathbb{F}_p$ with $|A|=|B|=|C| \leq \sqrt{p}$ and a fixed $0 \neq d \in \mathbb{F}_p$ holds $$ \max(|AB|, |(A+d)C|) \gg|A|^{1+1/26}. $$ In particular, $$ |A(A+1)| \gg |A|^{1 + 1/26} $$ and $$…
Let $\Delta(x)$ denote the error term in the classical Dirichlet divisor problem, and let the modified error term in the divisor problem be $\Delta^*(x) = -\Delta(x) + 2\Delta(2x) - \frac{1}{2}\Delta(4x)$. We show that $$…
Let $n>1$ be an odd integer. For any primitive $n$-th root $\zeta$ of unity in the complex field. Via the Engenvector-eigenvalue Identity, we show that $$\sum_{\tau\in…
In this paper,we develop a novel representation of the zeta function expressed as the limiting difference between two structured double sums. This approach leads to a new and elegant identity involving maximum functions and additive terms,…
This is the first in a set of three papers providing an introduction to generalised Cesaro convergence. We start with traditional Cesaro methods for extending classical convergence and further generalise these to allow the calculation of…
We present a variety of new results on finite sets A of integers for which the sumset A+A is larger than the difference set A-A, so-called MSTD (more sums than differences) sets. First we show that there is, up to affine transformation, a…
Following an idea of Ozawa, we give a new proof of Kazhdan's property (T) for ${\rm SL}(3,\mathbb Z)$, by showing that $\Delta^2- \frac{1}{6} \Delta$ is a hermitian sum of squares in the group algebra, where $\Delta$ is the unnormalized…
For a set $A$ of integers, the sumset $lA =A+...+A$ consists of those numbers which can be represented as a sum of $l$ elements of $A$ $$lA =\{a_1+... a_l| a_i \in A_i \}. $$ A closely related and equally interesting notion is that of…