Related papers: The Erdos discrepancy problem

In this note we announce the proof of the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s => 3; this is new for s => 4, the cases s = 1,2,3 having been previously established. More precisely we outline a proof (details of which…

The generalized Erd\H{o}s-Straus conjecture, proposed by Wac\l{}aw Sierpi\'{n}ski in 1956, asks whether the Diophantine equation \[ \frac{5}{a} = \frac{1}{b} + \frac{1}{c} + \frac{1}{d} \] admits positive integer solutions $b,c,d \in…

Let $f(N)$ denote the least integer $k$ such that, if $G$ is an abelian group of order $N$ and $A \subseteq G$ is a uniformly random $k$-element subset, then with probability at least $\tfrac12$ the subset-sum set $\{ \sum_{x \in S} x : S…

We consider the computation of stable approximations to the exact solution $x^\dag$ of nonlinear ill-posed inverse problems $F(x)=y$ with nonlinear operators $F:X\to Y$ between two Hilbert spaces $X$ and $Y$ by the Newton type methods $$…

We consider the Hausdorff dimension of the divergence set on which the pointwise convergence $\lim_{t\rightarrow 0} e^{it\sqrt{-\Delta}} f(x) = f(x)$ fails when $f \in H^s(\mathbb R^d)$. We especially prove the conjecture raised by…

We study the following variant of the Erd\H{o}s distance problem. Given $E$ and $F$ a point sets in $\mathbb{R}^d$ and $p = (p_1, \ldots, p_q)$ with $p_1+ \cdots + p_q = d$ is an increasing partition of $d$ define $$ B_p(E,F)=\{(|x_1-y_1|,…

We provide empirical evidence for the Erd\H{o}s-Straus conjecture by improving computational bounds to $10^{18}$ and by evaluating the solution-counting function $f(p)$ for this conjecture.

In a written correspondence with A. Livingston, Erd\H{o}s conjectured that for any arithmetical function $f$, periodic with period $q$, taking values in $\{-1,1\}$ when $q \nmid n$ and $f(n)=0$ when $q \mid n$, the series…

We fully resolve the Furstenberg set conjecture in $\mathbb{R}^2$, that a $(s, t)$-Furstenberg set has Hausdorff dimension $\ge \min(s+t, \frac{3s+t}{2}, s+1)$. As a result, we obtain an analogue of Elekes' bound for the discretized…

Let $\Sigma=\{a_1, \ldots , a_n\}$ be a set of positive integers with $a_1 < \ldots < a_n$ such that all $2^n$ subset sums are pairwise distinct. A famous conjecture of Erd\H{o}s states that $a_n>C\cdot 2^n$ for some constant $C$, while the…

We show that every set $A$ of natural numbers with positive upper density can be shifted to contain the restricted sumset $\{b_1 + b_2 : b_1, b_2\in B \text{ and } b_1 \neq b_2 \}$ for some infinite set $B \subset A$.

We investigate gaps of $n$-term arithmetic progressions $x, x+y, \ldots, x+(n-1)y$ inside a positive measure subset $A$ of the unit cube $[0,1]^d$. If lengths of their gaps $y$ are evaluated in the $\ell^p$-norm for any $p$ other than $1,…

We find a polynomial in three variables whose values at nonnegative integers satisfy the Erd\H{o}s-Straus Conjecture. Although the perfect squares are not covered by these values, it allows us to prove that there are arbitrarily long…

A central problem in discrepancy theory is the challenge of evenly distributing points $\left\{x_1, \dots, x_n \right\}$ in $[0,1]^d$. Suppose a set is so regular that for some $\varepsilon> 0$ and all $y \in [0,1]^d$ the sub-region $[0,y]…

Let $I, J\subset \mathbb{R}$ be closed intervals, and let $H$ be $C^{3}$ smooth real valued function on $I\times J$ with nonvanishing $H_{x}$ and $H_{y}$. Take any fixed positive numbers $a,b$, and let $d\mu$ be a probability measure with…

Let $x \in [0,1)$ be an irrational number with continued fraction expansion $[a_1(x),a_2(x), \cdots,a_n(x),\cdots]$ and $q_n(x)$ be the denominator of its $n$-th convergent. We establish, for any $\alpha,\beta$ in $[0,+\infty]$, the…

We prove the following variant of the Erd\H{o}s distinct subset sums problem. Given $t \ge 0$ and sufficiently large $n$, every $n$-element set $A$ whose subset sums are distinct modulo $N=2^n+t$ satisfies $$\max A \ge…

For any $s\in (1/2,1]$, the series$F_s(x)=\sum_{n=1}^{\infty} e^{i\pi n^2 x}/n^s$ converges almost everywhere on $[-1,1]$ by a result of Hardy-Littlewood, but not everywhere. However, there does not yet exist an intrinsic description of the…

Let $r\geq3$ and $G$ be an $r$-uniform hypergraph with vertex set $\left\{ 1,\ldots,n\right\} $ and edge set $E$. Let \[ \mu\left( G\right) :=\max {\textstyle\sum\limits_{\left\{ i_{1},\ldots,i_{r}\right\} \in E}} x_{i_{1}}\cdots x_{i_{r}},…

We give a negative answer to a question by Paul Erd\H{o}s and Ronald Graham on whether the series \[ \sum_{n=1}^{\infty} \frac{1}{(n+1)(n+2)\cdots(n+f(n))} \] has an irrational sum whenever $(f(n))_{n=1}^{\infty}$ is a sequence of positive…