Related papers: An optimal version of Sarkozy's theorem

Let $B$ be the set of odd integers that are sums of two coprime squares. We prove that the trigonometric polynomial $S(\alpha;N)=\sum_{b\in B,b\leq N} e(b\alpha)$ satisfies \[ \frac{S(\alpha; N)}{N/\sqrt{\log N}}<<_{A,A'} \frac{1}{\phi(q)}…

The study of problems of the calculus of variations with compositions is a quite recent subject with origin in dynamical systems governed by chaotic maps. Available results are reduced to a generalized Euler-Lagrange equation that contains…

The resummed differential thrust rate in e+e- annihilation is calculated using Soft-Collinear Effective Theory (SCET). The resulting distribution in the two-jet region T~1 is found to agree with the corresponding expression derived by the…

We give a self-contained exposition of the recent remarkable result of Kelley and Meka: if $A\subseteq \{1,\ldots,N\}$ has no non-trivial three-term arithmetic progressions then $\lvert A\rvert \leq \exp(-c(\log N)^{1/12})N$ for some…

In recent literature concerning integer partitions one can find many results related to both the Bessenrodt-Ono type inequalities and log-concavity property. In this note we offer some general approach to this type of problems. More…

We improve the quantitative estimate for Roth's theorem on three-term arithmetic progressions, showing that if $A\subset\{1,\ldots,N\}$ contains no non-trivial three-term arithmetic progressions then $\lvert A\rvert\ll N(\log\log N)^4/\log…

Talagrand observed that finiteness of $\mathbb{E}\, e^{\frac{1}{2}|\nabla f(X)|^{2}}$ implies finiteness of $\mathbb{E}\, e^{\, f(X)}$ where $X$ is the standard Gaussian vector in $\mathbb{R}^{n}$ and $f$ is a smooth function with zero…

Itsykson and Sokolov [IS14] identified resolution over parities, denoted by $\text{Res}(\oplus)$, as a natural and simple fragment of $\text{AC}^0[2]$-Frege for which no super-polynomial lower bounds on size of proofs are known. Building on…

We show that if A is a subset of F_2^n and |A+A| < K|A| then A is contained in a subspace of size at most 2^{O(K^{3/2}log K)}|A|. This improves on the previous best of 2^{O(K^2)}.

Assuming the Riemann hypothesis, we prove that $$ N_k(T) = \frac{T}{2\pi}\log \frac{T}{4\pi e} + O_k\left(\frac{\log{T}}{\log\log{T}}\right), $$ where $N_k(T)$ is the number of zeros of $\zeta^{(k)}(s)$ in the region $0<\Im s\le T$. We…

The inverse of the star-discrepancy $N^*(d,\ve)$ denotes the smallest possible cardinality of a set of points in $[0,1]^d$ achieving a star-discrepancy of at most $\ve$. By a result of Heinrich, Novak, Wasilkowski and Wo{\'z}niakowski, $$…

Let $K$ be a field which is complete for a discrete valuation. We prove a logarithmic version of the N\'eron-Ogg-Shafarevich criterion: if $A$ is an abelian variety over $K$ which is cohomologically tame, then $A$ has good reduction in the…

Assuming the Riemann Hypothesis, we show that for $k>0$ $$ \frac{1}{T}\text{meas}\Big\{t\in [T,2T]:|\zeta(1/2+{\rm i} t)|>(\log T)^k\Big\}\leq C_k \frac{(\log T)^{-k^2}}{\sqrt{\log\log T}}, $$ where $C_k=\exp(e^{ck})$ for some absolute…

Identities obtained by elementary finite Fourier analysis are used to derive a variety of evaluations of the Tutte polynomial of a graph G at certain points (a,b) where (a-1)(b-1) equals 2 or 4. These evaluations are expressed in terms of…

A well-known result in extremal spectral graph theory, due to Nosal and Nikiforov, states that if $G$ is a triangle-free graph on $n$ vertices, then $\lambda (G) \le \lambda (K_{\lfloor \frac{n}{2}\rfloor, \lceil \frac{n}{2} \rceil })$,…

Let $k_i\in \mathbb N$ $(i\ge 1)$ satisfy $2\le k_1\le k_2\le \ldots $. Freiman's theorem shows that when $j\in \mathbb N$, there exists $s=s(j)\in \mathbb N$ such that all large integers $n$ are represented in the form…

In this paper we consider the defocusing Hartree nonlinear Schr\"odinger equations on $\mathbb T^3$ with real valued and even potential $V$ and Fourier multiplier decaying like $|k|^{-\beta}$. By relying on the method of random averaging…

When $g\in\mathbb{N}$ we say that $A\subset\mathbb{N}$ is a $B_{2}[g]$ sequence if every $m\in\mathbb{N}$ has at most $g$ distinct representations of the shape $m=b_{1}+b_{2}$ with $b_{1}\leq b_{2}$ and $b_{1},b_{2}\in A$. We show for every…

Lacey and Thiele have recently obtained a new proof of Carleson's theorem on almost everywhere convergence of Fourier series. This paper is a generalization of their techniques (known broadly as time-frequency analysis) to higher…

Consider nonlinear Schr\"odinger equations with small nonlinearities \[\frac{d}{dt}u+i(-\triangle u+V(x)u)=\epsilon \mathcal{P}(\triangle u,u,x),\quad x\in \mathbb{T}^d.\eqno{(*)}\] Let $\{\zeta_1(x),\zeta_2(x),\dots\}$ be the $L_2$-basis…