Related papers: An optimal version of Sarkozy's theorem

One of the central objects in the theory of optimal transport is the Brenier map: the unique monotone transformation which pushes forward an absolutely continuous probability law onto any other given law. A line of recent work has analyzed…

In this paper, we study a class of fractional optimal control problems. A necessary condition for the existence of an optimal control is provided in the literature. It is commonly given as the existence of a solution of a fractional…

It is a striking and elegant fact (proved independently by Furstenberg and Sarkozy) that in any subset of the natural numbers of positive upper density there necessarily exist two distinct elements whose difference is given by a perfect…

Let $\mathcal S^2$ be the Stepanov space and let $ \lambda_n\uparrow\infty$. Let $(a_n)_{n\ge 1}$ be satisfying Wiener's condition $A:= \sum_{n\ge 1} \big(\sum_{k\, :\, n\le \lambda_k \le n+1}|a_k|\big)^2 <\infty$. We prove that $\big\|…

Let $E$ be a semistable elliptic curve over $\mathbb{Q}$. We prove that if $E$ has non-split multiplicative reduction at at least one odd prime or split multiplicative reduction at at least two odd primes and if the rank of $E(\mathbb{Q})$…

Let $\mathrm{R}$ be a real closed field and $Q_1, \ldots, Q_{\ell} \in \mathrm{R}[X_1, \ldots,X_k]$ such that for each $i, 1 \leq i \leq \ell$, $\mathrm{deg} (Q_i) \leq d_i$. For $1 \leq i \leq \ell$, denote by $\mathcal{Q}_i = \{Q_1,…

Let $t$ be random and uniformly distributed in the interval $[T,2T]$, and consider the quantity $N(t+1/\log T) - N(t)$, a count of zeros of the Riemann zeta function in a box of height $1/\log T$. Conditioned on the Riemann hypothesis, we…

Let $n\geq 2$ and $(X_i,1\leq i\leq n)$ be a centered Gaussian random vector. The Gaussian minimum conjecture says that $E\left(\min_{1\leq i\leq n}|X_i|\right)\geq E\left(\min_{1\leq i\leq n}|Y_i|\right)$, where $Y_1,\ldots,Y_n$ are…

The $r$-uniform expansion $F^{(r)+}$ of a graph $F$ is obtained by enlarging each edge with $r-2$ new vertices such that altogether we use $(r-2)|E(F)|$ new vertices. Two simple lower bounds on the largest number $\mathrm{ex}_r(n,F^{(r)+})$…

In this paper, we introduce a variant of the Lambek calculus allowing empty antecedents. This variant uses two connecives: the left division and a unary modality that occurs only with negative polarity and allows weakening in antecedents of…

We show that if G is a finite group and f is a {0,1}-valued function on G with Fourier algebra norm at most M then f may be computed by a coset decision tree (that is a decision tree in which at each vertex we query membership of a given…

We show two results. First, a refinement of Freiman's theorem: if A is a finite set of integers and |A+A| < K|A|, then A is contained in a multidimensional progression of dimension at most O(K^{7/4} log^3K) and size at most exp(O(K^{7/4}…

This paper investigates the impossibility of certain $({n^2+n+k}_{n+1})$ configurations. Firstly, for $k=2$, the result of \cite{gropp1992non} that $\frac{n^2+n}{2}$ is even and $n+1$ is a perfect square or $\frac{n^2+n}{2}$ is odd and…

Let $E$ be an elliptic curve over the rationals which does not have complex multiplication. Serre showed that the adelic representation attached to $E/\mathbb{Q}$ has open image, and in particular there is a minimal natural number $C_E$…

We study initial cuts of models of weak two-sorted Bounded Arithmetics with respect to the strength of their theories and show that these theories are stronger than the original one. More explicitly we will see that polylogarithmic cuts of…

Let R be a commutative ring, S a module-finite R-algebra, M a right S-module, and N a finitely generated right S-module such that the intersection of Max(R) and Supp(N) is finite-dimensional and Noetherian. Working under various…

The objective of this article is to prove the necessity statement in Crawley-Boevey's conjectural solution to the (tame) Deligne-Simpson problem. We use the nonabelian Hodge correspondence, variation of parabolic weights and results of…

We prove that the Fourier cosine series $\sum_{k=1}^{\infty}(-1)^{k+1}\frac{r^k\cos{k\phi}}{k+2}$ assumes its maximum value at $\phi = 0$ for $\phi \in [0, \pi)$ regardless of $r$ if $r \in (0, 1]$. This was first proved by Arias de Reyna…

The Riemann-Lebesque Theorem is commonly proved in a few strokes using the theory of Lebesque integration. Here, the upper bound $2\pi|c_k(f)|\le S_k(f)-s_k(f)$ for the Fourier coefficients $c_k$ is proved in terms of majoring and minoring…

Let $N\geq 5$, $a>0$, $\Omega$ be a smooth bounded domain in $\mathbb{R}^{N}$, $2^*=\frac{2N}{N-2}$, $2^\#=\frac{2(N-1)}{N-2}$ and $||u||^2=|\nabla u|_{2}^2+a|u|_{2}^2$. We prove there exists an $\alpha_{0}>0$ such that, for all $u\in…