Related papers: An optimal version of Sarkozy's theorem

Let $A_{\pi}(n,1)$ be the $(n,1)$-th Fourier coefficient of the Hecke-Maass cusp form $\pi$ for $\rm SL_3(\mathbb{Z})$ and $ \omega(x)$ be a smooth compactly supported function. In this paper, we prove a nontrivial upper bound for the sum…

This paper develops a comprehensive theory of optimal transport for signed (real) measures on Rd. Extending the classical Brenier theorem, we consider Jordan decompositions of measures with possibly fractal singular parts. Under suitable…

We show that if a subset A of {1,...,N} does not contain any solutions to the equation x+y+z=3w with the variables not all equal, then A has size at most exp(-c(log N)^{1/7}) N, where c > 0 is some absolute constant. In view of Behrend's…

In this work, we show that several problems naturally represented as Nonlinear Absolute Value Equations (NAVE) can be reformulated as Nonlinear Complementarity Problems (NCP) and efficiently solved using smoothing regularization techniques…

Under the assumption of an initial datum divergence free and in L2, we prove the existence of a weak solution to the Navier-Stokes initial boundary value problem enjoying the energy equality on (0,t), almost everywhere in t>0, in…

We begin by reporting on some recent results of the authors (Frederico and Torres, 2006), concerning the use of the fractional Euler-Lagrange notion to prove a Noether-like theorem for the problems of the calculus of variations with…

Let $F$ be a strictly balanced $r$-uniform hypergraph with $e>2$ edges and $r$-density $m$. We give a new short proof of the fact that the Tur\'an number $\ex(n, F)$ is greater than $c\, n^{r-1/m} (\log n)^{1/(e-1)}$ where $c$ depends only…

We use the liftability of the relative Frobenius morphism of toric varieties and the strong liftability of toric varieties to prove the Bott vanishing theorem, the degeneration of the Hodge to de Rham spectral sequence and the…

We prove the first nontrivial worst-case lower bounds for two closely related problems. First, $\Omega(n^{3/2})$ degree-1 reductions, series-parallel reductions, and $\Delta$Y transformations are required in the worst case to reduce an…

Define the map $\mathsf{T}$ on the positive integers by $\mathsf{T}(m)=\frac{m}{2}$ if $m$ is even and by $\mathsf{T}(m)=\frac{3m+1}{2}$ if $m$ is odd. Results of Terras and Everett imply that, given any $\epsilon>0$, almost all…

The paper presents a new state estimation algorithm for a bilinear equation representing the Fourier- Galerkin (FG) approximation of the Navier-Stokes (NS) equations on a torus in R2. This state equation is subject to uncertain but bounded…

We prove that the bounded arithmetic theory $S^1_2$ is consistent with EXP $\not\subseteq$ P/poly. More generally, we show that certain separations of $V^1_2$ from a theory $T$ imply the consistency of $T$ with EXP $\not\subseteq$ P/poly.…

We prove that $\Gamma_0(2^n)$ ($n\ge2$) has a Farey sequence $\{e_i\}$ such that $e_i \le 2^{n-1}$ for all $e_i$. The above upper bound is optimal, and there exists a unique $j$ such that $e_j= 2^{n-1} $. For each $e_i$, there exists a…

In this paper, among other things, we show that, given $r\in N$, there is a constant $c=c(r)$ such that if $f\in C^r[-1,1]$ is convex, then there is a number ${\mathcal N}={\mathcal N}(f,r)$, depending on $f$ and $r$, such that for…

Let $G$ be a simple graph with $n$ vertices and $m$ edges. According to Tur\'{a}n's theorem, if $G$ is $K_{r+1}$-free, then $m \leq |E(T(n, r))|,$ where $T(n, r)$ denotes the Tur\'{a}n graph on $n$ vertices with a maximum clique of order…

The Brenier optimal map and the Knothe-Rosenblatt rearrangement are two instances of a transport map, that is to say a map sending one measure onto another. The main interest of the former is that it solves the Monge-Kantorovich optimal…

In this paper we give a conditional improvement to the Elekes-Szab\'{o} problem over the rationals, assuming the Uniformity Conjecture. Our main result states that for $F\in \mathbb{Q}[x,y,z]$ belonging to a particular family of…

We give a new proof of logarithmic bounds for Roth's theorem on arithmetic progressions, namely that if $A \subset \{1,2,\ldots,N\}$ is free of three-term progressions, then $\lvert A\rvert \leq N/(\log N)^{1-o(1)}$. Unlike previous proofs,…

This paper considers various formulations of the sum-product problem. It is shown that, for a finite set $A\subset{\mathbb{R}}$, $$|A(A+A)|\gg{|A|^{\frac{3}{2}+\frac{1}{178}}},$$ giving a partial answer to a conjecture of Balog. In a…

Let $ES(n)$ denote the minimum natural number such that every set of $ES(n)$ points in general position in the plane contains $n$ points in convex position. In 1935, Erd\H{o}s and Szekeres proved that $ES(n) \le {2n-4 \choose n-2}+1$. In…